API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Sep 19th, 2023
51
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 12.50 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: 0xb33248803595e6db)
  5. #Variables: 3'239 (#bools: 1'031 #ints: 13 in objective)
  6. - 3'213 Booleans in [0,1]
  7. - 26 in [-100,100]
  8. #kAtMostOne: 714 (#literals: 2'856)
  9. #kBoolOr: 1'365 (#literals: 8'827)
  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=7.67e-05s
  17. [Symmetry] Graph for symmetry has 12313 nodes and 34214 arcs.
  18. [Symmetry] Symmetry computation done. time: 0.0056249 dtime: 0.0117702
  19. [Symmetry] #generators: 3, average support size: 922
  20. [Symmetry] 461 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 461 x 4
  23. [SAT presolve] num removable Booleans: 13 / 3239
  24. [SAT presolve] num trivial clauses: 0
  25. [SAT presolve] [0s] clauses:3103 literals:14041 vars:3201 one_side_vars:2837 simple_definition:0 singleton_clauses:0
  26. [SAT presolve] [0.0002507s] clauses:2767 literals:10695 vars:2865 one_side_vars:2501 simple_definition:42 singleton_clauses:0
  27. [SAT presolve] [0.0004072s] clauses:2767 literals:10695 vars:2865 one_side_vars:2501 simple_definition:42 singleton_clauses:0
  28. [Probing] implications and bool_or (work_done=118768).
  29. [DetectDuplicateConstraints] #duplicates=156 #without_enforcements=0 time=0.0020565s
  30. [DetectDominatedLinearConstraints] #relevant_constraints=448 #work_done=126984 #num_inclusions=395 #num_redundant=7 time=0.0141722s
  31. [ProcessSetPPC] #relevant_constraints=4046 #num_inclusions=814 work=226145 time=0.0033507s
  32. [FindBigHorizontalLinearOverlap] #blocks=6 #saved_nz=1224 #linears=441 #work_done=735133/1e+09 time=0.0019591s
  33. [FindBigVerticalLinearOverlap] #blocks=0 #nz_reduction=0 #work_done=557519 time=0.0006925s
  34. [MergeClauses] #num_collisions=346 #num_merges=346 #num_saved_literals=1364 work=9195/100000000 time=0.0005762s
  35. [Symmetry] Graph for symmetry has 10880 nodes and 25071 arcs.
  36. [Symmetry] Symmetry computation done. time: 0.0025934 dtime: 0.00622156
  37. [SAT presolve] num removable Booleans: 511 / 3245
  38. [SAT presolve] num trivial clauses: 0
  39. [SAT presolve] [0s] clauses:2617 literals:9895 vars:2702 one_side_vars:2338 simple_definition:42 singleton_clauses:0
  40. [SAT presolve] [0.0002524s] clauses:2617 literals:9895 vars:2702 one_side_vars:2338 simple_definition:42 singleton_clauses:0
  41. [SAT presolve] [0.0005484s] clauses:2617 literals:9895 vars:2702 one_side_vars:2338 simple_definition:42 singleton_clauses:0
  42. [Probing] implications and bool_or (work_done=111554).
  43. [MaxClique] Merged 962(3142 literals) into 612(2442 literals) at_most_ones. time=0.0013015s
  44. [AllDiffInference] #different=6 #cliques=0 #size=0 time=0.000609s
  45. [DetectDuplicateConstraints] #duplicates=0 #without_enforcements=0 time=0.0027359s
  46. [DetectDominatedLinearConstraints] #relevant_constraints=441 #work_done=112505 #num_inclusions=370 #num_redundant=0 time=0.008512s
  47. [ProcessSetPPC] #relevant_constraints=3932 #num_inclusions=712 work=220966 time=0.0031229s
  48. [FindBigHorizontalLinearOverlap] #blocks=0 #saved_nz=0 #linears=429 #work_done=985621/1e+09 time=0.0022382s
  49. [FindBigVerticalLinearOverlap] #blocks=0 #nz_reduction=0 #work_done=556813 time=0.0007062s
  50. [MergeClauses] #num_collisions=346 #num_merges=346 #num_saved_literals=1364 work=9195/100000000 time=0.000457s
  51. [Symmetry] Graph for symmetry has 10166 nodes and 23657 arcs.
  52. [Symmetry] Symmetry computation done. time: 0.0023981 dtime: 0.00578166
  53. [SAT presolve] num removable Booleans: 511 / 3245
  54. [SAT presolve] num trivial clauses: 0
  55. [SAT presolve] [0s] clauses:2267 literals:9195 vars:2345 one_side_vars:1981 simple_definition:42 singleton_clauses:0
  56. [SAT presolve] [0.0002445s] clauses:2267 literals:9195 vars:2345 one_side_vars:1981 simple_definition:42 singleton_clauses:0
  57. [SAT presolve] [0.0005111s] clauses:2267 literals:9195 vars:2345 one_side_vars:1981 simple_definition:42 singleton_clauses:0
  58. [Probing] implications and bool_or (work_done=110154).
  59. [AllDiffInference] #different=6 #cliques=0 #size=0 time=0.0005793s
  60. [DetectDuplicateConstraints] #duplicates=0 #without_enforcements=0 time=0.0026599s
  61. [DetectDominatedLinearConstraints] #relevant_constraints=441 #work_done=112505 #num_inclusions=370 #num_redundant=0 time=0.0081841s
  62. [ProcessSetPPC] #relevant_constraints=3932 #num_inclusions=712 work=220966 time=0.0028542s
  63. [FindBigHorizontalLinearOverlap] #blocks=0 #saved_nz=0 #linears=429 #work_done=985621/1e+09 time=0.002261s
  64. [FindBigVerticalLinearOverlap] #blocks=0 #nz_reduction=0 #work_done=556813 time=0.0006929s
  65. [MergeClauses] #num_collisions=346 #num_merges=346 #num_saved_literals=1364 work=9195/100000000 time=0.000426s
  66. [ExpandObjective] #propagations=0 #entries=18388 #tight_variables=3680 #tight_constraints=624 #expands=2 #issues=0 time=0.0008745s
  67.  
  68. Presolve summary:
  69. - 0 affine relations were detected.
  70. - rule 'TODO dual: only one blocking constraint?' was applied 7007 times.
  71. - rule 'TODO dual: only one unspecified blocking constraint?' was applied 8102 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 336 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 336 times.
  94. - rule 'presolve: 498 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: 0xea0cd0c1fbc24180)
  101. #Variables: 2'734 (#bools: 695 #ints: 13 in objective)
  102. - 2'715 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: 178 (#enforced: 178 #multi: 178) (#literals: 1'216)
  111. #kBoolOr: 1'743 (#literals: 6'615)
  112. #kExactlyOne: 624 (#literals: 3'680)
  113. #kLinear2: 12
  114. #kLinearN: 429 (#terms: 6'357)
  115.  
  116. Preloading model.
  117. #Bound 0.24s best:inf next:[-94,8390] initial_domain
  118. [Symmetry] Graph for symmetry has 9655 nodes and 23657 arcs.
  119. [Symmetry] Symmetry computation done. time: 0.0022627 dtime: 0.005751
  120. #Model 0.24s var:2734/2734 constraints:3598/3598
  121.  
  122. Starting search at 0.24s 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. #1 0.26s best:1783 next:[-94,1782] jump(batch:1 #lin_moves:2'060/5'383 #weight_updates:242)
  128. Stop search after 1 solutions
  129.  
  130. Task timing n [ min, max] avg dev time n [ min, max] avg dev dtime
  131. 'synchronization_agent': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  132. 'neighborhood_helper': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  133. 'default_lp': 1 [ 32.98ms, 32.98ms] 32.98ms 0.00ns 32.98ms 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  134. 'no_lp': 1 [ 21.20ms, 21.20ms] 21.20ms 0.00ns 21.20ms 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  135. 'max_lp': 1 [ 39.30ms, 39.30ms] 39.30ms 0.00ns 39.30ms 1 [ 50.18us, 50.18us] 50.18us 0.00ns 50.18us
  136. 'core': 1 [ 21.46ms, 21.46ms] 21.46ms 0.00ns 21.46ms 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  137. 'reduced_costs': 1 [ 28.42ms, 28.42ms] 28.42ms 0.00ns 28.42ms 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  138. 'pseudo_costs': 1 [ 36.58ms, 36.58ms] 36.58ms 0.00ns 36.58ms 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  139. 'feasibility_pump': 2 [ 9.40ms, 10.47ms] 9.93ms 538.95us 19.87ms 1 [ 9.63ms, 9.63ms] 9.63ms 0.00ns 9.63ms
  140. 'rins/rens': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
  141. '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
  142. '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
  143. '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
  144. '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
  145. '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
  146. '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
  147. '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
  148.  
  149. Search stats Bools Conflicts Branches Restarts BoolPropag IntegerPropag
  150. 'default_lp': 2'715 0 0 0 0 2
  151. 'no_lp': 2'715 0 3'972 3'972 21'243 28'774
  152. 'max_lp': 2'715 0 0 0 0 1
  153. 'core': 2'728 0 3'958 3'958 21'171 28'680
  154. 'reduced_costs': 2'715 0 5'430 5'430 21'640 30'669
  155. 'pseudo_costs': 2'715 0 576 576 2'669 3'497
  156.  
  157. LNS stats Improv/Calls Closed Difficulty TimeLimit
  158. 'rins/rens': 0/0 0% 0.50 0.10
  159. 'rnd_var_lns': 0/0 0% 0.50 0.10
  160. 'rnd_cst_lns': 0/0 0% 0.50 0.10
  161. 'graph_var_lns': 0/0 0% 0.50 0.10
  162. 'graph_arc_lns': 0/0 0% 0.50 0.10
  163. 'graph_cst_lns': 0/0 0% 0.50 0.10
  164. 'graph_dec_lns': 0/0 0% 0.50 0.10
  165.  
  166. Solutions (1) Num Rank
  167. 'jump': 1 [1,1]
  168.  
  169. Objective bounds Num
  170. 'initial_domain': 1
  171.  
  172. Solution repositories Added Queried Ignored Synchro
  173. 'feasible solutions': 1 0 0 1
  174. 'lp solutions': 0 0 0 0
  175. 'pump': 0 0
  176.  
  177. CpSolverResponse summary:
  178. status: FEASIBLE
  179. objective: 1783
  180. best_bound: -94
  181. integers: 2826
  182. booleans: 2715
  183. conflicts: 0
  184. branches: 0
  185. propagations: 0
  186. integer_propagations: 2
  187. restarts: 0
  188. lp_iterations: 0
  189. walltime: 0.303335
  190. usertime: 0.303335
  191. deterministic_time: 0.0322881
  192. gap_integral: 0.129054
  193. solution_fingerprint: 0x3d4f6b923dae8e0a
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!