API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Sep 19th, 2023
65
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 12.88 KB | None | 0 0
raw download clone embed print report
  1. Starting CP-SAT solver v9.7.2996
  2. Parameters: log_search_progress: true num_search_workers: 8
  3.  
  4. Initial optimization model '': (model_fingerprint: 0x61be30bb78b303ba)
  5. #Variables: 2'903 (#bools: 695 #ints: 13 in objective)
  6. - 2'877 Booleans in [0,1]
  7. - 26 in [-100,100]
  8. #kAtMostOne: 714 (#literals: 2'856)
  9. #kBoolOr: 1'036 (#literals: 5'845)
  10. #kExactlyOne: 780 (#literals: 4'940)
  11. #kLinMax: 13 (#expressions: 26)
  12. #kLinear3: 1'750
  13. #kLinearN: 435 (#terms: 7'323)
  14.  
  15. Starting presolve at 0.00s
  16. [ExtractEncodingFromLinear] #potential_supersets=1494 #potential_subsets=0 #at_most_one_encodings=0 #exactly_one_encodings=0 #unique_terms=0 #multiple_terms=0 #literals=0 time=4.66e-05s
  17. [Symmetry] Graph for symmetry has 11648 nodes and 31232 arcs.
  18. [Symmetry] Symmetry computation done. time: 0.0053637 dtime: 0.0111779
  19. [Symmetry] #generators: 3, average support size: 826
  20. [Symmetry] 413 orbits with sizes: 4,4,4,4,4,4,4,4,4,4,...
  21. [Symmetry] Num fixable by binary propagation in orbit: 3 / 4
  22. [Symmetry] Found orbitope of size 413 x 4
  23. [SAT presolve] num removable Booleans: 13 / 2903
  24. [SAT presolve] num trivial clauses: 0
  25. [SAT presolve] [0s] clauses:2774 literals:11059 vars:2865 one_side_vars:2501 simple_definition:0 singleton_clauses:0
  26. [SAT presolve] [0.000215s] clauses:2431 literals:7986 vars:2522 one_side_vars:2522 simple_definition:0 singleton_clauses:0
  27. [SAT presolve] [0.0003573s] clauses:2431 literals:7986 vars:2522 one_side_vars:2522 simple_definition:0 singleton_clauses:0
  28. [Probing] implications and bool_or (work_done=83824).
  29. [DetectDuplicateConstraints] #duplicates=156 #without_enforcements=0 time=0.0018296s
  30. [DetectDominatedLinearConstraints] #relevant_constraints=448 #work_done=126984 #num_inclusions=395 #num_redundant=7 time=0.0140966s
  31. [ProcessSetPPC] #relevant_constraints=3710 #num_inclusions=814 work=217992 time=0.0034385s
  32. [FindBigHorizontalLinearOverlap] #blocks=6 #saved_nz=1224 #linears=441 #work_done=735133/1e+09 time=0.0019706s
  33. [FindBigVerticalLinearOverlap] #blocks=0 #nz_reduction=0 #work_done=554467 time=0.0006741s
  34. [MergeClauses] #num_collisions=353 #num_merges=353 #num_saved_literals=1049 work=6486/100000000 time=0.0005026s
  35. [Symmetry] Graph for symmetry has 10194 nodes and 22670 arcs.
  36. [Symmetry] Symmetry computation done. time: 0.0023592 dtime: 0.00599779
  37. [SAT presolve] num removable Booleans: 518 / 2909
  38. [SAT presolve] num trivial clauses: 0
  39. [SAT presolve] [0s] clauses:2281 literals:7186 vars:2359 one_side_vars:2359 simple_definition:0 singleton_clauses:0
  40. [SAT presolve] [0.0001843s] clauses:2281 literals:7186 vars:2359 one_side_vars:2359 simple_definition:0 singleton_clauses:0
  41. [SAT presolve] [0.0003894s] clauses:2281 literals:7186 vars:2359 one_side_vars:2359 simple_definition:0 singleton_clauses:0
  42. [Probing] implications and bool_or (work_done=76596).
  43. [MaxClique] Merged 962(3142 literals) into 612(2442 literals) at_most_ones. time=0.0010658s
  44. [AllDiffInference] #different=6 #cliques=0 #size=0 time=0.0005027s
  45. [DetectDuplicateConstraints] #duplicates=0 #without_enforcements=0 time=0.0024704s
  46. [DetectDominatedLinearConstraints] #relevant_constraints=441 #work_done=112505 #num_inclusions=370 #num_redundant=0 time=0.0082921s
  47. [ProcessSetPPC] #relevant_constraints=3596 #num_inclusions=712 work=212788 time=0.0029213s
  48. [FindBigHorizontalLinearOverlap] #blocks=0 #saved_nz=0 #linears=429 #work_done=985621/1e+09 time=0.0022806s
  49. [FindBigVerticalLinearOverlap] #blocks=0 #nz_reduction=0 #work_done=553761 time=0.0007747s
  50. [MergeClauses] #num_collisions=353 #num_merges=353 #num_saved_literals=1049 work=6486/100000000 time=0.0003762s
  51. [Symmetry] Graph for symmetry has 9480 nodes and 21256 arcs.
  52. [Symmetry] Symmetry computation done. time: 0.0021655 dtime: 0.00559192
  53. [SAT presolve] num removable Booleans: 518 / 2909
  54. [SAT presolve] num trivial clauses: 0
  55. [SAT presolve] [0s] clauses:1931 literals:6486 vars:2002 one_side_vars:2002 simple_definition:0 singleton_clauses:0
  56. [SAT presolve] [0.0002223s] clauses:1931 literals:6486 vars:2002 one_side_vars:2002 simple_definition:0 singleton_clauses:0
  57. [SAT presolve] [0.0004467s] clauses:1931 literals:6486 vars:2002 one_side_vars:2002 simple_definition:0 singleton_clauses:0
  58. [Probing] implications and bool_or (work_done=75196).
  59. [AllDiffInference] #different=6 #cliques=0 #size=0 time=0.0004722s
  60. [DetectDuplicateConstraints] #duplicates=0 #without_enforcements=0 time=0.002339s
  61. [DetectDominatedLinearConstraints] #relevant_constraints=441 #work_done=112505 #num_inclusions=370 #num_redundant=0 time=0.0081665s
  62. [ProcessSetPPC] #relevant_constraints=3596 #num_inclusions=712 work=212788 time=0.0027301s
  63. [FindBigHorizontalLinearOverlap] #blocks=0 #saved_nz=0 #linears=429 #work_done=985621/1e+09 time=0.0022482s
  64. [FindBigVerticalLinearOverlap] #blocks=0 #nz_reduction=0 #work_done=553761 time=0.0006679s
  65. [MergeClauses] #num_collisions=353 #num_merges=353 #num_saved_literals=1049 work=6486/100000000 time=0.0004541s
  66. [ExpandObjective] #propagations=0 #entries=18388 #tight_variables=3680 #tight_constraints=624 #expands=2 #issues=0 time=0.0007874s
  67.  
  68. Presolve summary:
  69. - 0 affine relations were detected.
  70. - rule 'TODO dual: only one blocking constraint?' was applied 3199 times.
  71. - rule 'TODO dual: only one unspecified blocking constraint?' was applied 4336 times.
  72. - rule 'at_most_one: removed literals' was applied 210 times.
  73. - rule 'at_most_one: transformed into max clique.' was applied 1 time.
  74. - rule 'bool_or: always true' was applied 162 times.
  75. - rule 'bool_or: implications' was applied 350 times.
  76. - rule 'dual: fix variable' was applied 343 times.
  77. - rule 'dual: reduced domain' was applied 9 times.
  78. - rule 'duplicate: removed constraint' was applied 156 times.
  79. - rule 'exactly_one: removed literals' was applied 269 times.
  80. - rule 'lin_max: rewrite with precedences' was applied 13 times.
  81. - rule 'lin_max: target domain reduced' was applied 13 times.
  82. - rule 'linear inclusion: redundant containing constraint' was applied 7 times.
  83. - rule 'linear matrix: common horizontal rectangle' was applied 6 times.
  84. - rule 'linear1: without enforcement' was applied 6 times.
  85. - rule 'linear: fixed or dup variables' was applied 76 times.
  86. - rule 'linear: negative clause' was applied 1750 times.
  87. - rule 'linear: reduced variable domains' was applied 19 times.
  88. - rule 'linear: reduced variable domains in derived constraint' was applied 13 times.
  89. - rule 'linear: simplified rhs' was applied 59 times.
  90. - rule 'linear: variable substitution 1' was applied 13 times.
  91. - rule 'objective: expanded via tight equality' was applied 2 times.
  92. - rule 'objective: shifted cost with exactly ones' was applied 2 times.
  93. - rule 'objective: variable not used elsewhere' was applied 343 times.
  94. - rule 'presolve: 505 unused variables removed.' was applied 1 time.
  95. - rule 'presolve: iteration' was applied 3 times.
  96. - rule 'probing: bool_or reduced to implication' was applied 350 times.
  97. - rule 'setppc: removed dominated constraints' was applied 102 times.
  98. - rule 'symmetry: fixed to false' was applied 6 times.
  99.  
  100. Presolved optimization model '': (model_fingerprint: 0xc1f09601b551037a)
  101. #Variables: 2'391 (#bools: 352 #ints: 13 in objective)
  102. - 2'372 Booleans in [0,1]
  103. - 6 in [-3,4]
  104. - 1 in [0,42]
  105. - 1 in [0,43]
  106. - 1 in [0,44]
  107. - 4 in [0,45]
  108. - 6 in [14,21]
  109. #kAtMostOne: 612 (#literals: 2'442)
  110. #kBoolAnd: 185 (#enforced: 185 #multi: 185) (#literals: 1'083)
  111. #kBoolOr: 1'393 (#literals: 4'354)
  112. #kExactlyOne: 624 (#literals: 3'680)
  113. #kLinear2: 12
  114. #kLinearN: 429 (#terms: 6'357)
  115.  
  116. Preloading model.
  117. #Bound 0.22s best:inf next:[-94,4960] initial_domain
  118. [Symmetry] Graph for symmetry has 8962 nodes and 21256 arcs.
  119. [Symmetry] Symmetry computation done. time: 0.0022709 dtime: 0.00556084
  120. #Model 0.22s var:2391/2391 constraints:3255/3255
  121.  
  122. Starting search at 0.22s with 8 workers.
  123. 6 full problem subsolvers: [core, default_lp, max_lp, no_lp, pseudo_costs, reduced_costs]
  124. 1 first solution subsolver: [jump]
  125. 8 incomplete subsolvers: [feasibility_pump, graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, rins/rens, rnd_cst_lns, rnd_var_lns]
  126. 3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]
  127. #Bound 0.37s best:inf next:[-14,4960] default_lp initial_propagation
  128. #Bound 0.47s best:inf next:[60,4960] max_lp initial_propagation
  129. #Bound 0.74s best:inf next:[349,4960] max_lp
  130. #1 5.72s best:373 next:[349,372] pseudo_costs fixed_bools:0/2385
  131. Stop search after 1 solutions
  132.  
  133. Task timing n [ min, max] avg dev time n [ min, max] avg dev dtime
  134. 'synchronization_agent': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  135. 'neighborhood_helper': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  136. 'default_lp': 1 [ 5.51s, 5.51s] 5.51s 0.00ns 5.51s 1 [ 2.36s, 2.36s] 2.36s 0.00ns 2.36s
  137. 'no_lp': 1 [ 5.50s, 5.50s] 5.50s 0.00ns 5.50s 1 [ 16.83s, 16.83s] 16.83s 0.00ns 16.83s
  138. 'max_lp': 1 [ 5.50s, 5.50s] 5.50s 0.00ns 5.50s 1 [ 2.02s, 2.02s] 2.02s 0.00ns 2.02s
  139. 'core': 1 [ 5.50s, 5.50s] 5.50s 0.00ns 5.50s 1 [ 12.93s, 12.93s] 12.93s 0.00ns 12.93s
  140. 'reduced_costs': 1 [ 5.51s, 5.51s] 5.51s 0.00ns 5.51s 1 [ 1.53s, 1.53s] 1.53s 0.00ns 1.53s
  141. 'pseudo_costs': 1 [ 5.50s, 5.50s] 5.50s 0.00ns 5.50s 1 [ 1.40s, 1.40s] 1.40s 0.00ns 1.40s
  142. 'feasibility_pump': 41 [382.60us, 141.87ms] 4.20ms 21.82ms 172.07ms 40 [171.83us, 203.21ms] 5.25ms 31.70ms 209.91ms
  143. 'rins/rens': 41 [ 3.75ms, 796.63ms] 237.50ms 214.66ms 9.74s 23 [ 36.25ms, 100.56ms] 96.46ms 13.28ms 2.22s
  144. 'rnd_var_lns': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  145. 'rnd_cst_lns': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  146. 'graph_var_lns': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  147. 'graph_arc_lns': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  148. 'graph_cst_lns': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  149. 'graph_dec_lns': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  150. 'update_gap_integral': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  151.  
  152. Search stats Bools Conflicts Branches Restarts BoolPropag IntegerPropag
  153. 'default_lp': 2'372 450 6'584 4'746 42'203 36'841
  154. 'no_lp': 2'372 207'791 637'173 6'640 25'221'620 4'908'163
  155. 'max_lp': 2'372 0 5'180 4'744 21'870 30'859
  156. 'core': 2'385 366'860 547'295 4'751 27'026'157 4'990'961
  157. 'reduced_costs': 2'388 4 4'975 4'744 21'754 30'520
  158. 'pseudo_costs': 2'385 10 5'576 4'745 23'418 33'435
  159.  
  160. LNS stats Improv/Calls Closed Difficulty TimeLimit
  161. 'rins/rens': 41/41 46% 0.69 0.10
  162. 'rnd_var_lns': 0/0 0% 0.50 0.10
  163. 'rnd_cst_lns': 0/0 0% 0.50 0.10
  164. 'graph_var_lns': 0/0 0% 0.50 0.10
  165. 'graph_arc_lns': 0/0 0% 0.50 0.10
  166. 'graph_cst_lns': 0/0 0% 0.50 0.10
  167. 'graph_dec_lns': 0/0 0% 0.50 0.10
  168.  
  169. Solutions (1) Num Rank
  170. 'pseudo_costs': 1 [1,1]
  171.  
  172. Objective bounds Num
  173. 'default_lp': 1
  174. 'initial_domain': 1
  175. 'max_lp': 2
  176.  
  177. Solution repositories Added Queried Ignored Synchro
  178. 'feasible solutions': 1 0 0 1
  179. 'lp solutions': 14 3 0 8
  180. 'pump': 40 38
  181.  
  182. Improving bounds shared Num
  183. 'core': 6
  184. 'default_lp': 4
  185. 'max_lp': 1
  186. 'reduced_costs': 1
  187.  
  188. CpSolverResponse summary:
  189. status: FEASIBLE
  190. objective: 373
  191. best_bound: 349
  192. integers: 2476
  193. booleans: 2372
  194. conflicts: 450
  195. branches: 6584
  196. propagations: 42203
  197. integer_propagations: 36841
  198. restarts: 4746
  199. lp_iterations: 20635
  200. walltime: 5.79271
  201. usertime: 5.79271
  202. deterministic_time: 39.8709
  203. gap_integral: 229.355
  204. solution_fingerprint: 0x9446b3040c448d9f
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!