Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | SAT | -41 | 3587.49 | 3597.28 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb |
| MD5SUM | 950817fdcb39f28dd0871c21ea836071 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -45 |
| Best CPU time to get the best result obtained on this benchmark | 1120.33 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 945 |
| Total number of constraints | 59186 |
| Number of constraints which are clauses | 59186 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 945 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 945 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 945 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4432700-1721054823.opb>
0.10/0.10 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 59186 constraints
0.10/0.10 c problem read in 0.10
0.10/0.18 o 0
0.10/0.18 c feasible solution found by trivial heuristic after 0.2 seconds, objective value 0.000000e+00
0.10/0.18 c presolving:
0.30/0.32 c (0.3s) running MILP presolver
0.40/0.44 c (0.4s) MILP presolver found nothing
0.50/0.56 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 59186 upgd conss, 0 impls, 59186 clqs
0.88/0.96 c (1.0s) probing: 51/945 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.88/0.96 c (1.0s) probing aborted: 50/50 successive totally useless probings
1.39/1.44 c (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.39/1.47 c (1.5s) no symmetry present (symcode time: 0.01)
1.39/1.48 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1.39/1.48 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.39/1.48 c 0 implications, 59186 cliques
1.39/1.48 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 59186 constraints
1.39/1.48 c 59186 constraints of type <setppc>
1.39/1.48 c transformed objective value is always integral (scale: 1)
1.39/1.48 c Presolving Time: 1.30
1.39/1.48 c - non default parameters ----------------------------------------------------------------------
1.39/1.48 c # SCIP version 10.0.0
1.39/1.48 c
1.39/1.48 c # maximal time in seconds to run
1.39/1.48 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.39/1.48 c limits/time = 3596.997087
1.39/1.48 c
1.39/1.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.39/1.48 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.39/1.48 c limits/memory = 27900
1.39/1.48 c
1.39/1.48 c # belongs reading time to solving time?
1.39/1.48 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.39/1.48 c timing/reading = TRUE
1.39/1.48 c
1.39/1.48 c -----------------------------------------------------------------------------------------------
1.39/1.48 c start solving
1.39/1.48 c transformed 1/1 original solutions to the transformed problem space
1.39/1.49 c
1.59/1.62 o -27
1.59/1.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.59/1.62 c p 1.6s| 1 | 0 | 0 | - | clique| 0 | 945 | 59k| 59k| 0 | 0 | 0 | 0 |-9.450000e+02 |-2.700000e+01 |3400.00%| unknown
1.59/1.67 o -33
1.59/1.67 c p 1.7s| 1 | 0 | 0 | - | locks| 0 | 945 | 59k| 59k| 0 | 0 | 0 | 0 |-9.450000e+02 |-3.300000e+01 |2763.64%| unknown
2.09/2.14 c 2.1s| 1 | 0 | 945 | - | 321M | 0 | 945 | 59k| 59k| 0 | 0 | 0 | 0 |-4.725000e+02 |-3.300000e+01 |1331.82%| unknown
2.78/2.80 c 2.8s| 1 | 0 | 1159 | - | 339M | 0 | 945 | 59k| 59k| 13 | 1 | 0 | 0 |-4.395000e+02 |-3.300000e+01 |1231.82%| unknown
4.08/4.19 c 4.2s| 1 | 0 | 1354 | - | 345M | 0 | 945 | 59k| 59k| 36 | 2 | 0 | 0 |-4.110000e+02 |-3.300000e+01 |1145.45%| unknown
6.27/6.32 c 6.3s| 1 | 0 | 1699 | - | 353M | 0 | 945 | 59k| 59k| 82 | 3 | 0 | 0 |-3.770000e+02 |-3.300000e+01 |1042.42%| unknown
9.17/9.22 c 9.2s| 1 | 0 | 2213 | - | 359M | 0 | 945 | 59k| 59k| 106 | 4 | 0 | 0 |-3.455000e+02 |-3.300000e+01 | 946.97%| unknown
9.67/9.73 c 9.7s| 1 | 0 | 2963 | - | 367M | 0 | 945 | 59k| 59k| 146 | 5 | 0 | 0 |-3.155000e+02 |-3.300000e+01 | 856.06%| unknown
10.16/10.23 c 10.2s| 1 | 0 | 3615 | - | 373M | 0 | 945 | 59k| 59k| 189 | 6 | 0 | 0 |-2.870000e+02 |-3.300000e+01 | 769.70%| unknown
10.86/10.91 c 10.9s| 1 | 0 | 4654 | - | 379M | 0 | 945 | 59k| 59k| 222 | 7 | 0 | 0 |-2.662500e+02 |-3.300000e+01 | 706.82%| unknown
13.65/13.70 c 13.7s| 1 | 0 | 5763 | - | 386M | 0 | 945 | 59k| 59k| 250 | 8 | 0 | 0 |-2.415000e+02 |-3.300000e+01 | 631.82%| unknown
14.06/14.19 c 14.2s| 1 | 0 | 6639 | - | 392M | 0 | 945 | 59k| 59k| 282 | 9 | 0 | 0 |-2.290000e+02 |-3.300000e+01 | 593.94%| unknown
14.55/14.67 c 14.7s| 1 | 0 | 7269 | - | 399M | 0 | 945 | 59k| 59k| 318 | 10 | 0 | 0 |-2.175000e+02 |-3.300000e+01 | 559.09%| unknown
15.24/15.31 c 15.3s| 1 | 0 | 8749 | - | 406M | 0 | 945 | 59k| 59k| 336 | 11 | 0 | 0 |-2.032500e+02 |-3.300000e+01 | 515.91%| unknown
15.95/16.07 c 16.1s| 1 | 0 | 10218 | - | 411M | 0 | 945 | 59k| 59k| 367 | 12 | 0 | 0 |-1.847500e+02 |-3.300000e+01 | 459.85%| unknown
16.74/16.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.74/16.80 c 16.8s| 1 | 0 | 12525 | - | 418M | 0 | 945 | 59k| 59k| 398 | 13 | 0 | 0 |-1.653750e+02 |-3.300000e+01 | 401.14%| unknown
17.34/17.42 c 17.4s| 1 | 0 | 14250 | - | 424M | 0 | 945 | 59k| 59k| 424 | 14 | 0 | 0 |-1.519583e+02 |-3.300000e+01 | 360.48%| unknown
17.84/17.94 c 17.9s| 1 | 0 | 15821 | - | 430M | 0 | 945 | 59k| 59k| 447 | 15 | 0 | 0 |-1.385000e+02 |-3.300000e+01 | 319.70%| unknown
18.23/18.36 c 18.4s| 1 | 0 | 17006 | - | 436M | 0 | 945 | 59k| 59k| 466 | 16 | 0 | 0 |-1.300833e+02 |-3.300000e+01 | 294.19%| unknown
18.53/18.68 c 18.7s| 1 | 0 | 17676 | - | 442M | 0 | 945 | 59k| 59k| 483 | 17 | 0 | 0 |-1.209583e+02 |-3.300000e+01 | 266.54%| unknown
18.83/18.99 c 19.0s| 1 | 0 | 18549 | - | 448M | 0 | 945 | 59k| 59k| 505 | 18 | 0 | 0 |-1.059667e+02 |-3.300000e+01 | 221.11%| unknown
19.23/19.39 c 19.4s| 1 | 0 | 19961 | - | 454M | 0 | 945 | 59k| 59k| 527 | 19 | 0 | 0 |-9.933333e+01 |-3.300000e+01 | 201.01%| unknown
19.53/19.63 c 19.6s| 1 | 0 | 20769 | - | 460M | 0 | 945 | 59k| 59k| 542 | 20 | 0 | 0 |-8.850000e+01 |-3.300000e+01 | 168.18%| unknown
19.73/19.84 c 19.8s| 1 | 0 | 21566 | - | 460M | 0 | 945 | 59k| 59k| 550 | 21 | 0 | 0 |-7.383333e+01 |-3.300000e+01 | 123.74%| unknown
19.83/19.93 c 19.9s| 1 | 0 | 21766 | - | 460M | 0 | 945 | 59k| 59k| 554 | 22 | 0 | 0 |-6.650000e+01 |-3.300000e+01 | 101.52%| unknown
19.93/20.01 c 20.0s| 1 | 0 | 21936 | - | 461M | 0 | 945 | 59k| 59k| 558 | 23 | 0 | 0 |-5.325000e+01 |-3.300000e+01 | 61.36%| unknown
19.93/20.08 c 20.1s| 1 | 0 | 22008 | - | 461M | 0 | 945 | 59k| 59k| 561 | 24 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%| unknown
20.03/20.13 c 20.1s| 1 | 0 | 22030 | - | 461M | 0 | 945 | 59k| 59k| 566 | 25 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%| unknown
20.03/20.19 c 20.2s| 1 | 0 | 22093 | - | 462M | 0 | 945 | 59k| 59k| 571 | 26 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%| unknown
20.13/20.25 c 20.2s| 1 | 0 | 22128 | - | 462M | 0 | 945 | 59k| 59k| 576 | 27 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%| unknown
20.23/20.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.23/20.31 c 20.3s| 1 | 0 | 22171 | - | 463M | 0 | 945 | 59k| 59k| 583 | 28 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%| unknown
20.23/20.38 c 20.4s| 1 | 0 | 22204 | - | 463M | 0 | 945 | 59k| 59k| 589 | 29 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%| unknown
20.33/20.44 c 20.4s| 1 | 0 | 22236 | - | 463M | 0 | 945 | 59k| 59k| 595 | 30 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%| unknown
20.43/20.51 c 20.5s| 1 | 0 | 22280 | - | 464M | 0 | 945 | 59k| 59k| 601 | 31 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%| unknown
20.43/20.58 c 20.6s| 1 | 0 | 22334 | - | 464M | 0 | 945 | 59k| 59k| 609 | 32 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%| unknown
20.53/20.65 c 20.7s| 1 | 0 | 22395 | - | 465M | 0 | 945 | 59k| 59k| 617 | 33 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%| unknown
20.63/20.73 c 20.7s| 1 | 0 | 22462 | - | 465M | 0 | 945 | 59k| 59k| 624 | 34 | 0 | 0 |-4.550000e+01 |-3.300000e+01 | 37.88%| unknown
23.82/23.91 c 23.9s| 1 | 2 | 22481 | - | 466M | 0 | 945 | 59k| 59k| 624 | 34 | 0 | 20 |-4.500000e+01 |-3.300000e+01 | 36.36%| unknown
24.22/24.38 o -36
24.22/24.38 c d24.4s| 11 | 12 | 23232 | 77.0 |pscostdi| 9 | 945 | 59k| 59k| 0 | 1 | 0 | 20 |-4.500000e+01 |-3.600000e+01 | 25.00%| unknown
50.03/50.24 c 50.2s| 100 | 93 | 30262 | 78.8 | 490M | 37 | 945 | 59k| 59k| 649 | 1 | 9 | 823 |-4.500000e+01 |-3.600000e+01 | 25.00%| unknown
72.77/73.05 o -37
72.77/73.05 c *73.0s| 187 | 136 | 35762 | 71.5 | LP | 42 | 945 | 59k| 59k| 720 | 1 | 12 |1297 |-4.500000e+01 |-3.700000e+01 | 21.62%| unknown
74.36/74.63 c 74.6s| 200 | 147 | 36562 | 70.9 | 566M | 42 | 945 | 59k| 59k| 725 | 1 | 12 |1349 |-4.500000e+01 |-3.700000e+01 | 21.62%| unknown
87.61/87.98 c 88.0s| 300 | 211 | 42316 | 66.4 | 576M | 42 | 945 | 59k| 59k| 763 | 2 | 22 |1746 |-4.500000e+01 |-3.700000e+01 | 21.62%| unknown
97.28/97.65 c 97.7s| 400 | 263 | 46212 | 59.5 | 587M | 42 | 945 | 59k| 59k| 797 | 0 | 31 |2008 |-4.500000e+01 |-3.700000e+01 | 21.62%| unknown
101.06/101.40 o -38
101.06/101.40 c L 101s| 451 | 265 | 48350 | 57.5 | rins| 42 | 945 | 59k| 59k| 811 | 1 | 34 |2036 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
102.06/102.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
102.06/102.48 c 102s| 500 | 290 | 49929 | 55.0 | 593M | 42 | 945 | 59k| 59k| 814 | 1 | 37 |2052 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
104.55/104.95 c 105s| 600 | 328 | 53638 | 52.0 | 594M | 42 | 945 | 59k| 59k| 827 | 1 | 40 |2090 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
106.75/107.16 c 107s| 700 | 360 | 56417 | 48.6 | 594M | 42 | 945 | 59k| 59k| 830 | 1 | 47 |2107 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
108.75/109.12 c 109s| 800 | 390 | 59098 | 45.9 | 595M | 42 | 945 | 59k| 59k| 831 | 1 | 47 |2127 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
110.64/111.03 c 111s| 900 | 434 | 61531 | 43.5 | 596M | 42 | 945 | 59k| 59k| 833 | 1 | 47 |2142 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
114.73/115.10 c 115s| 1000 | 484 | 64993 | 42.6 | 612M | 42 | 945 | 59k| 59k| 849 | 0 | 51 |2178 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
119.80/120.22 c 120s| 1100 | 536 | 68462 | 41.9 | 614M | 42 | 945 | 59k| 59k| 867 | 1 | 54 |2205 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
121.50/121.99 c 122s| 1200 | 570 | 71016 | 40.5 | 614M | 42 | 945 | 59k| 59k| 869 | 0 | 54 |2221 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
126.39/126.83 c 127s| 1300 | 624 | 75393 | 40.7 | 618M | 42 | 945 | 59k| 59k| 884 | 1 | 63 |2244 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
132.07/132.51 c 133s| 1400 | 716 | 81657 | 42.3 | 624M | 42 | 945 | 59k| 59k| 902 | 1 | 99 |2251 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
157.60/158.19 c 158s| 1500 | 798 | 88222 | 43.9 | 719M | 43 | 945 | 59k| 59k|1067 | 0 | 127 |2285 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
170.26/170.84 c 171s| 1600 | 880 | 93477 | 44.4 | 747M | 44 | 945 | 59k| 59k|1196 | 1 | 146 |2290 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
188.13/188.70 c 189s| 1700 | 968 |101074 | 46.3 | 756M | 44 | 945 | 59k| 59k|1385 | 1 | 181 |2294 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
218.54/219.29 c 219s| 1800 | 1050 |107554 | 47.3 | 807M | 44 | 945 | 59k| 59k|1655 | 1 | 200 |2300 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
236.90/237.69 c 238s| 1900 | 1142 |114359 | 48.4 | 838M | 44 | 945 | 59k| 59k|1850 | 1 | 228 |2316 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
253.75/254.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
253.75/254.52 c 255s| 2000 | 1228 |121169 | 49.4 | 852M | 44 | 945 | 59k| 59k|2042 | 1 | 253 |2328 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
263.02/263.85 c 264s| 2100 | 1314 |127707 | 50.1 | 854M | 44 | 945 | 59k| 59k|2190 | 1 | 291 |2331 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
268.31/269.13 c 269s| 2200 | 1400 |133281 | 50.4 | 866M | 44 | 945 | 59k| 59k|2230 | 1 | 347 |2332 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
285.96/286.81 c 287s| 2300 | 1476 |138784 | 50.6 | 874M | 44 | 945 | 59k| 59k|2358 | 1 | 350 |2335 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
295.63/296.56 c 297s| 2400 | 1564 |144137 | 50.7 | 877M | 44 | 945 | 59k| 59k|2478 | 1 | 392 |2347 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
299.42/300.39 c 300s| 2500 | 1660 |153555 | 52.5 | 879M | 44 | 945 | 59k| 59k|2553 | 1 | 480 |2357 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
308.69/309.69 c 310s| 2600 | 1756 |160626 | 53.2 | 887M | 44 | 945 | 59k| 59k|2653 | 1 | 524 |2358 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
322.37/323.32 c 323s| 2700 | 1834 |166637 | 53.4 | 900M | 44 | 945 | 59k| 59k|2844 | 1 | 551 |2359 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
329.34/330.36 c 330s| 2800 | 1922 |173000 | 53.8 | 912M | 44 | 945 | 59k| 59k|2896 | 1 | 590 |2369 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
331.04/332.09 o -39
331.04/332.09 c d 332s| 2815 | 1646 |174413 | 54.0 |linesear| 44 | 945 | 59k| 59k| 0 | 1 | 590 |2386 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
334.93/335.92 c 336s| 2900 | 1719 |178919 | 54.0 | 912M | 44 | 945 | 59k| 59k|2947 | 1 | 652 |2396 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
337.52/338.52 c 339s| 3000 | 1795 |184138 | 53.9 | 912M | 44 | 945 | 59k| 59k|2947 | 1 | 670 |2405 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
339.81/340.87 c 341s| 3100 | 1863 |188851 | 53.7 | 913M | 44 | 945 | 59k| 59k|2950 | 1 | 724 |2409 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
343.01/344.03 c 344s| 3200 | 1943 |194683 | 53.8 | 915M | 44 | 945 | 59k| 59k|2951 | 1 | 797 |2436 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
348.68/349.70 c 350s| 3300 | 2021 |202299 | 54.5 | 916M | 44 | 945 | 59k| 59k|2961 | 1 | 829 |2493 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
378.01/379.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
378.01/379.13 c 379s| 3400 | 2091 |210946 | 55.5 | 919M | 44 | 945 | 60k| 59k|3177 | 1 | 866 |2529 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
391.37/392.55 c 393s| 3500 | 2179 |220360 | 56.6 | 940M | 44 | 945 | 60k| 59k|3283 | 1 | 916 |2573 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
411.61/412.82 c 413s| 3600 | 2255 |228561 | 57.3 | 942M | 44 | 945 | 60k| 59k|3437 | 1 | 965 |2613 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
429.47/430.79 c 431s| 3700 | 2331 |235061 | 57.5 | 956M | 44 | 945 | 60k| 59k|3555 | 1 | 998 |2668 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
435.25/436.55 c 437s| 3800 | 2405 |241353 | 57.6 | 969M | 44 | 945 | 60k| 59k|3597 | 1 |1015 |2689 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
453.31/454.62 c 455s| 3900 | 2475 |247080 | 57.6 | 970M | 44 | 945 | 60k| 59k|3754 | 1 |1051 |2715 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
470.67/472.03 c 472s| 4000 | 2557 |254156 | 57.9 | 971M | 44 | 945 | 60k| 59k|3901 | 1 |1093 |2760 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
485.92/487.33 c 487s| 4100 | 2641 |261822 | 58.4 | 975M | 44 | 945 | 60k| 59k|4032 | 1 |1128 |2797 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
503.47/504.93 c 505s| 4200 | 2725 |268208 | 58.5 | 1004M | 44 | 945 | 60k| 59k|4163 | 1 |1190 |2827 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
521.13/522.63 c 523s| 4300 | 2801 |275535 | 58.9 | 1012M | 44 | 945 | 60k| 59k|4309 | 1 |1212 |2855 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
536.29/537.80 c 538s| 4400 | 2883 |281170 | 58.8 | 1013M | 44 | 945 | 60k| 59k|4415 | 1 |1251 |2876 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
552.35/553.91 c 554s| 4500 | 2963 |289857 | 59.4 | 1026M | 44 | 945 | 60k| 59k|4565 | 1 |1302 |2901 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
569.91/571.56 c 572s| 4600 | 3033 |295965 | 59.5 | 1048M | 44 | 945 | 60k| 59k|4689 | 0 |1350 |2920 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
585.77/587.49 c 587s| 4700 | 3109 |301234 | 59.3 | 1048M | 44 | 945 | 60k| 59k|4794 | 0 |1393 |2922 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
602.62/604.35 c 604s| 4800 | 3183 |307898 | 59.5 | 1051M | 44 | 945 | 60k| 59k|4941 | 0 |1450 |2938 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
616.99/618.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
616.99/618.73 c 619s| 4900 | 3245 |313640 | 59.4 | 1054M | 44 | 945 | 60k| 59k|5074 | 1 |1500 |2940 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
623.27/625.07 c 625s| 5000 | 3327 |320838 | 59.7 | 1055M | 44 | 945 | 60k| 59k|5132 | 1 |1578 |2952 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
637.03/638.85 c 639s| 5100 | 3419 |329023 | 60.1 | 1058M | 44 | 945 | 60k| 59k|5252 | 1 |1616 |2969 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
645.31/647.14 c 647s| 5200 | 3501 |335627 | 60.2 | 1060M | 45 | 945 | 60k| 59k|5314 | 1 |1671 |2972 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
665.06/667.00 c 667s| 5300 | 3571 |342705 | 60.4 | 1064M | 45 | 945 | 60k| 59k|5482 | 0 |1699 |2986 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
673.74/675.67 c 676s| 5400 | 3659 |350164 | 60.7 | 1098M | 45 | 945 | 60k| 59k|5574 | 1 |1812 |2999 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
676.53/678.42 c 678s| 5500 | 3735 |356648 | 60.8 | 1101M | 45 | 945 | 60k| 59k|5576 | 1 |1851 |3001 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
683.01/684.92 c 685s| 5600 | 3805 |363107 | 60.8 | 1103M | 45 | 945 | 61k| 59k|5623 | 1 |1897 |3007 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
692.28/694.25 c 694s| 5700 | 3901 |372125 | 61.4 | 1104M | 45 | 945 | 61k| 59k|5678 | 1 |1957 |3014 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
705.16/707.19 c 707s| 5800 | 3995 |381292 | 61.9 | 1106M | 45 | 945 | 61k| 59k|5801 | 0 |2004 |3031 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
723.30/725.31 c 725s| 5900 | 4089 |390743 | 62.4 | 1110M | 45 | 945 | 61k| 59k|5952 | 1 |2108 |3036 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
726.39/728.49 c 728s| 6000 | 4181 |397899 | 62.6 | 1111M | 45 | 945 | 61k| 59k|5960 | 1 |2200 |3038 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
731.37/733.48 c 733s| 6100 | 4245 |401970 | 62.2 | 1113M | 45 | 945 | 61k| 59k|5990 | 0 |2225 |3040 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
733.97/736.06 c 736s| 6200 | 4317 |407707 | 62.1 | 1113M | 45 | 945 | 61k| 59k|6009 | 1 |2271 |3040 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
736.65/738.78 c 739s| 6300 | 4407 |413383 | 62.1 | 1116M | 45 | 945 | 61k| 59k|6018 | 1 |2307 |3042 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
746.23/748.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
746.23/748.31 c 748s| 6400 | 4483 |418427 | 61.9 | 1118M | 45 | 945 | 61k| 59k|6070 | 1 |2332 |3042 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
757.99/760.18 c 760s| 6500 | 4545 |423784 | 61.8 | 1118M | 45 | 945 | 61k| 59k|6158 | 1 |2386 |3042 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
760.78/762.96 c 763s| 6600 | 4637 |429559 | 61.7 | 1119M | 45 | 945 | 61k| 59k|6163 | 1 |2466 |3053 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
763.77/765.97 c 766s| 6700 | 4727 |436366 | 61.8 | 1122M | 45 | 945 | 61k| 59k|6166 | 1 |2530 |3071 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
767.36/769.59 c 770s| 6800 | 4817 |442640 | 61.8 | 1123M | 45 | 945 | 61k| 59k|6168 | 0 |2592 |3117 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
770.95/773.17 c 773s| 6900 | 4915 |449947 | 62.0 | 1125M | 45 | 945 | 61k| 59k|6182 | 1 |2680 |3135 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
773.54/775.71 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
773.54/775.71 o -40
773.54/775.71 c d 776s| 6970 | 4142 |454837 | 62.0 |pscostdi| 45 | 945 | 61k| 59k| 0 | 1 |2733 |3147 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
773.54/775.72 c (run 1, node 6970) performing user restart
773.54/775.72 c
773.54/775.73 c (restart) converted 93 cuts from the global cut pool into linear constraints
773.54/775.73 c
773.64/775.81 c presolving:
773.74/775.96 c (round 1, exhaustive) 0 del vars, 9 del conss, 1 add conss, 0 chg bounds, 3 chg sides, 11 chg coeffs, 93 upgd conss, 0 impls, 59279 clqs
773.94/776.11 c (round 2, exhaustive) 0 del vars, 107 del conss, 1 add conss, 0 chg bounds, 3 chg sides, 35 chg coeffs, 93 upgd conss, 0 impls, 59280 clqs
774.14/776.30 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
774.14/776.30 c 0 deleted vars, 107 deleted constraints, 1 added constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 137 changed coefficients
774.14/776.30 c 0 implications, 59280 cliques
774.14/776.30 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 61315 constraints
774.14/776.30 c 2 constraints of type <knapsack>
774.14/776.30 c 59280 constraints of type <setppc>
774.14/776.30 c 2033 constraints of type <logicor>
774.14/776.30 c transformed objective value is always integral (scale: 1)
774.14/776.30 c Presolving Time: 1.80
774.24/776.42 c transformed 72/100 original solutions to the transformed problem space
774.24/776.42 c
774.44/776.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
774.44/776.60 c 777s| 1 | 0 |455808 | - | 1065M | 0 | 945 | 61k| 59k| 0 | 0 |2733 |3147 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
775.73/777.95 c 778s| 1 | 0 |455848 | - | 1065M | 0 | 945 | 61k| 59k| 9 | 1 |2733 |3147 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
777.03/779.28 c 779s| 1 | 0 |455878 | - | 1065M | 0 | 945 | 61k| 59k| 18 | 2 |2733 |3147 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
778.33/780.57 c 781s| 1 | 0 |455975 | - | 1065M | 0 | 945 | 61k| 59k| 29 | 3 |2733 |3147 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
780.42/782.63 c 783s| 1 | 0 |456046 | - | 1065M | 0 | 945 | 61k| 59k| 36 | 4 |2733 |3147 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
781.02/783.20 c 783s| 1 | 0 |456107 | - | 1065M | 0 | 945 | 61k| 59k| 44 | 5 |2733 |3147 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
784.11/786.34 c 786s| 1 | 0 |456170 | - | 1065M | 0 | 945 | 61k| 59k| 51 | 6 |2733 |3147 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
784.82/787.08 c 787s| 1 | 0 |456218 | - | 1066M | 0 | 945 | 61k| 59k| 58 | 7 |2733 |3147 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
786.41/788.60 c 789s| 1 | 0 |456304 | - | 1068M | 0 | 945 | 61k| 59k| 69 | 8 |2733 |3147 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
787.00/789.25 c 789s| 1 | 0 |456364 | - | 1075M | 0 | 945 | 61k| 59k| 80 | 9 |2733 |3147 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
787.60/789.87 c 790s| 1 | 0 |456422 | - | 1082M | 0 | 945 | 61k| 59k| 88 | 10 |2733 |3147 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
787.70/789.96 c 790s| 1 | 0 |456506 | - | 1082M | 0 | 945 | 61k| 59k| 98 | 11 |2733 |3147 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
787.81/790.04 c 790s| 1 | 0 |456599 | - | 1088M | 0 | 945 | 61k| 59k| 106 | 12 |2733 |3147 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
790.60/792.81 c 793s| 1 | 2 |457222 | - | 1089M | 0 | 945 | 61k| 59k| 106 | 12 |2748 |3175 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
808.85/811.11 c 811s| 100 | 81 |464468 | 62.3 | 1090M | 33 | 945 | 61k| 59k| 121 | 1 |2936 |3774 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
814.43/816.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
814.43/816.74 c 817s| 200 | 157 |474180 | 62.8 | 1092M | 39 | 945 | 61k| 59k| 135 | 1 |2981 |3853 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
826.00/828.30 c 828s| 300 | 231 |479763 | 62.7 | 1095M | 44 | 945 | 61k| 59k| 178 | 1 |3125 |3992 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
840.86/843.21 c 843s| 400 | 305 |485490 | 62.6 | 1095M | 44 | 945 | 61k| 59k| 254 | 1 |3296 |4257 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
849.23/851.67 c 852s| 500 | 383 |491811 | 62.6 | 1096M | 44 | 945 | 61k| 59k| 318 | 1 |3398 |4347 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
855.81/858.26 c 858s| 600 | 469 |497492 | 62.5 | 1097M | 44 | 945 | 62k| 59k| 343 | 1 |3565 |4495 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
859.10/861.57 c 862s| 700 | 545 |502603 | 62.4 | 1098M | 44 | 945 | 62k| 59k| 348 | 1 |3628 |4532 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
862.99/865.47 c 865s| 800 | 631 |510519 | 62.6 | 1099M | 44 | 945 | 62k| 59k| 361 | 1 |3728 |4565 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
864.98/867.48 c 867s| 900 | 691 |514803 | 62.3 | 1100M | 44 | 945 | 62k| 59k| 366 | 1 |3763 |4570 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
875.75/878.26 c 878s| 1000 | 779 |523391 | 62.6 | 1101M | 44 | 945 | 62k| 59k| 445 | 1 |3826 |4578 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
896.70/899.25 c 899s| 1100 | 857 |531434 | 62.9 | 1120M | 44 | 945 | 62k| 59k| 626 | 1 |3884 |4583 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
911.76/914.36 c 914s| 1200 | 927 |538227 | 62.9 | 1178M | 44 | 945 | 62k| 59k| 815 | 1 |3964 |4586 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
931.90/934.58 c 935s| 1300 | 1019 |548911 | 63.5 | 1187M | 44 | 945 | 62k| 59k| 971 | 0 |4120 |4632 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
955.14/957.88 c 958s| 1400 | 1103 |557221 | 63.7 | 1212M | 44 | 945 | 62k| 59k|1244 | 2 |4211 |4668 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
959.33/962.04 c 962s| 1500 | 1185 |563437 | 63.7 | 1213M | 44 | 945 | 62k| 59k|1436 | 1 |4296 |4669 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
962.11/964.89 c 965s| 1600 | 1243 |568097 | 63.5 | 1214M | 44 | 945 | 62k| 59k|1497 | 0 |4336 |4694 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
970.99/973.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
970.99/973.78 c 974s| 1700 | 1309 |574988 | 63.5 | 1214M | 44 | 945 | 62k| 59k|1672 | 1 |4365 |4718 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
982.06/984.88 c 985s| 1800 | 1379 |582495 | 63.7 | 1237M | 44 | 945 | 62k| 59k|1889 | 1 |4396 |4722 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1000.41/1003.20 c 1003s| 1900 | 1451 |588942 | 63.7 | 1238M | 44 | 945 | 62k| 59k|2098 | 1 |4459 |4724 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1009.38/1012.22 c 1012s| 2000 | 1525 |595758 | 63.7 | 1271M | 44 | 945 | 62k| 59k|2231 | 1 |4490 |4726 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1017.76/1020.63 c 1021s| 2100 | 1599 |602226 | 63.7 | 1271M | 44 | 945 | 62k| 59k|2407 | 1 |4542 |4728 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1038.60/1041.53 c 1042s| 2200 | 1675 |610030 | 63.9 | 1284M | 44 | 945 | 63k| 59k|2642 | 1 |4602 |4763 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1044.38/1047.33 c 1047s| 2300 | 1771 |618546 | 64.1 | 1285M | 44 | 945 | 63k| 59k|2658 | 1 |4674 |4860 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1062.34/1065.33 c 1065s| 2400 | 1859 |626415 | 64.3 | 1287M | 44 | 945 | 63k| 59k|2798 | 1 |4758 |4900 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1068.52/1071.50 c 1071s| 2500 | 1939 |632401 | 64.2 | 1288M | 44 | 945 | 63k| 59k|2830 | 1 |4817 |4910 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1071.61/1074.62 c 1075s| 2600 | 2031 |638681 | 64.2 | 1289M | 44 | 945 | 63k| 59k|2843 | 1 |4936 |4935 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1074.20/1077.24 c 1077s| 2700 | 2123 |644190 | 64.1 | 1290M | 44 | 945 | 63k| 59k|2850 | 1 |5043 |4938 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1088.97/1092.07 c 1092s| 2800 | 2209 |651138 | 64.2 | 1291M | 44 | 945 | 63k| 59k|2963 | 1 |5119 |4954 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1092.06/1095.13 c 1095s| 2900 | 2307 |658224 | 64.2 | 1292M | 45 | 945 | 63k| 59k|3024 | 1 |5233 |4957 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1097.44/1100.51 c 1101s| 3000 | 2395 |665037 | 64.3 | 1294M | 46 | 945 | 63k| 59k|3108 | 1 |5303 |4959 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1100.43/1103.51 c 1104s| 3100 | 2479 |671055 | 64.2 | 1295M | 46 | 945 | 63k| 59k|3181 | 0 |5395 |4966 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1115.69/1118.84 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1115.69/1118.84 c 1119s| 3200 | 2555 |677432 | 64.2 | 1295M | 46 | 945 | 63k| 59k|3313 | 1 |5425 |4991 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1134.14/1137.32 c 1137s| 3300 | 2613 |682396 | 64.1 | 1314M | 46 | 945 | 63k| 59k|3450 | 1 |5452 |5013 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1139.83/1143.02 c 1143s| 3400 | 2695 |688818 | 64.1 | 1315M | 46 | 945 | 63k| 59k|3511 | 1 |5507 |5050 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1144.21/1147.40 c 1147s| 3500 | 2769 |694534 | 64.0 | 1316M | 46 | 945 | 63k| 59k|3569 | 1 |5584 |5087 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1156.58/1159.86 c 1160s| 3600 | 2833 |699919 | 63.9 | 1319M | 46 | 945 | 63k| 59k|3697 | 1 |5613 |5120 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1162.06/1165.37 c 1165s| 3700 | 2913 |706380 | 63.9 | 1320M | 46 | 945 | 63k| 59k|3810 | 1 |5674 |5149 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1174.73/1178.04 c 1178s| 3800 | 2973 |711587 | 63.8 | 1338M | 47 | 945 | 63k| 59k|3983 | 1 |5782 |5177 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1181.01/1184.32 c 1184s| 3900 | 3051 |718229 | 63.9 | 1340M | 47 | 945 | 64k| 59k|4107 | 1 |5874 |5222 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1192.17/1195.56 c 1196s| 4000 | 3145 |726446 | 64.0 | 1342M | 47 | 945 | 64k| 59k|4253 | 2 |6011 |5247 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1211.52/1214.91 c 1215s| 4100 | 3217 |732210 | 64.0 | 1345M | 47 | 945 | 64k| 59k|4408 | 0 |6072 |5256 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1215.62/1219.05 c 1219s| 4200 | 3279 |737113 | 63.8 | 1345M | 47 | 945 | 64k| 59k|4490 | 1 |6092 |5274 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1219.40/1222.81 c 1223s| 4300 | 3367 |744301 | 63.9 | 1385M | 47 | 945 | 64k| 59k|4568 | 1 |6214 |5287 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1234.66/1238.17 c 1238s| 4400 | 3441 |751420 | 64.0 | 1386M | 47 | 945 | 64k| 59k|4747 | 1 |6278 |5302 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1252.11/1255.69 c 1256s| 4500 | 3505 |757910 | 64.0 | 1387M | 47 | 945 | 64k| 59k|4905 | 1 |6343 |5328 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1255.50/1259.05 c 1259s| 4600 | 3583 |764781 | 64.0 | 1388M | 47 | 945 | 64k| 59k|5003 | 1 |6414 |5344 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1273.64/1277.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1273.64/1277.23 c 1277s| 4700 | 3677 |771752 | 64.1 | 1413M | 47 | 945 | 64k| 59k|5231 | 1 |6535 |5348 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1287.81/1291.41 c 1291s| 4800 | 3763 |778760 | 64.1 | 1421M | 47 | 945 | 64k| 59k|5359 | 1 |6653 |5373 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1293.79/1297.43 c 1297s| 4900 | 3861 |787364 | 64.3 | 1442M | 47 | 945 | 64k| 59k|5433 | 1 |6707 |5405 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1298.27/1301.94 c 1302s| 5000 | 3959 |796363 | 64.5 | 1443M | 47 | 945 | 64k| 59k|5443 | 1 |6774 |5433 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1313.93/1317.67 c 1318s| 5100 | 4041 |805069 | 64.7 | 1446M | 47 | 945 | 64k| 59k|5585 | 1 |6831 |5455 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1325.50/1329.23 c 1329s| 5200 | 4125 |812166 | 64.8 | 1447M | 47 | 945 | 64k| 59k|5751 | 1 |6865 |5459 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1339.16/1342.92 c 1343s| 5300 | 4223 |822573 | 65.1 | 1450M | 47 | 945 | 64k| 59k|5940 | 1 |6959 |5470 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1354.02/1357.82 c 1358s| 5400 | 4311 |831891 | 65.3 | 1454M | 47 | 945 | 64k| 59k|6181 | 1 |7016 |5474 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1365.30/1369.18 c 1369s| 5500 | 4375 |838432 | 65.3 | 1457M | 47 | 945 | 64k| 59k|6357 | 4 |7066 |5478 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1381.15/1385.01 c 1385s| 5600 | 4455 |847077 | 65.5 | 1459M | 47 | 945 | 64k| 59k|6542 | 1 |7118 |5479 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1408.97/1412.95 c 1413s| 5700 | 4525 |855216 | 65.6 | 1493M | 47 | 945 | 64k| 59k|6869 | 1 |7164 |5482 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1439.11/1443.19 c 1443s| 5800 | 4607 |863748 | 65.7 | 1508M | 47 | 945 | 64k| 59k|7093 | 0 |7227 |5483 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1445.28/1449.36 c 1449s| 5900 | 4683 |869672 | 65.7 | 1557M | 47 | 945 | 64k| 59k|7204 | 0 |7293 |5489 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1457.35/1461.47 c 1461s| 6000 | 4777 |880773 | 66.0 | 1559M | 47 | 945 | 64k| 59k|7339 | 1 |7383 |5493 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1467.42/1471.51 c 1472s| 6100 | 4869 |889544 | 66.2 | 1567M | 47 | 945 | 64k| 59k|7478 | 1 |7458 |5499 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1477.19/1481.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1477.19/1481.31 c 1481s| 6200 | 4947 |898285 | 66.4 | 1569M | 47 | 945 | 64k| 59k|7597 | 0 |7532 |5500 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1488.36/1492.51 c 1493s| 6300 | 5031 |905308 | 66.4 | 1575M | 47 | 945 | 64k| 59k|7794 | 1 |7600 |5505 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1501.43/1505.65 c 1506s| 6400 | 5101 |911495 | 66.4 | 1584M | 49 | 945 | 64k| 59k|7898 | 1 |7651 |5505 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1527.55/1531.89 c 1532s| 6500 | 5175 |919034 | 66.4 | 1604M | 49 | 945 | 64k| 59k|8099 | 3 |7686 |5505 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1571.04/1575.48 c 1575s| 6600 | 5237 |926518 | 66.5 | 1625M | 49 | 945 | 64k| 59k|8483 | 3 |7704 |5509 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1591.78/1596.28 c 1596s| 6700 | 5307 |934911 | 66.6 | 1634M | 49 | 945 | 64k| 59k|8719 | 1 |7790 |5516 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1603.96/1608.42 c 1608s| 6800 | 5371 |940382 | 66.5 | 1634M | 52 | 945 | 64k| 59k|8815 | 1 |7827 |5522 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1609.65/1614.15 c 1614s| 6900 | 5433 |945872 | 66.5 | 1635M | 52 | 945 | 64k| 59k|8859 | 1 |7833 |5528 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1612.93/1617.42 c 1617s| 7000 | 5505 |951807 | 66.4 | 1663M | 54 | 945 | 64k| 59k|8898 | 1 |7880 |5532 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1615.12/1619.63 c 1620s| 7100 | 5565 |956426 | 66.3 | 1663M | 54 | 945 | 64k| 59k|8903 | 0 |7901 |5543 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1644.84/1649.45 c 1649s| 7200 | 5633 |963366 | 66.3 | 1665M | 54 | 945 | 64k| 59k|9145 | 1 |7932 |5545 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1661.60/1666.26 c 1666s| 7300 | 5699 |969838 | 66.3 | 1667M | 54 | 945 | 64k| 59k|9270 | 1 |7952 |5546 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1673.27/1677.97 c 1678s| 7400 | 5757 |974918 | 66.2 | 1667M | 54 | 945 | 64k| 59k|9359 | 1 |7990 |5547 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1686.24/1690.93 c 1691s| 7500 | 5809 |979965 | 66.1 | 1723M | 54 | 945 | 64k| 59k|9509 | 1 |8010 |5585 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1689.22/1693.99 c 1694s| 7600 | 5873 |986124 | 66.0 | 1724M | 54 | 945 | 64k| 59k|9545 | 1 |8082 |5599 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1700.90/1705.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1700.90/1705.70 c 1706s| 7700 | 5959 |993953 | 66.1 | 1728M | 54 | 945 | 64k| 59k|9611 | 0 |8161 |5632 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1730.91/1735.78 c 1736s| 7800 | 6045 | 1003k| 66.3 | 1730M | 54 | 945 | 64k| 59k|9907 | 1 |8236 |5689 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1745.58/1750.42 c 1750s| 7900 | 6121 | 1010k| 66.3 | 1732M | 54 | 945 | 64k| 59k| 10k| 1 |8262 |5718 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1756.35/1761.28 c 1761s| 8000 | 6167 | 1015k| 66.2 | 1732M | 54 | 945 | 64k| 59k| 10k| 0 |8300 |5740 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1770.32/1775.28 c 1775s| 8100 | 6225 | 1021k| 66.2 | 1734M | 54 | 945 | 64k| 59k| 10k| 0 |8373 |5794 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1792.96/1797.90 c 1798s| 8200 | 6289 | 1027k| 66.1 | 1735M | 54 | 945 | 64k| 59k| 10k| 1 |8408 |5795 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1799.64/1804.65 c 1805s| 8300 | 6355 | 1033k| 66.1 | 1737M | 54 | 945 | 64k| 59k| 10k| 1 |8501 |5829 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1819.09/1824.11 c 1824s| 8400 | 6417 | 1040k| 66.2 | 1738M | 54 | 945 | 64k| 59k| 10k| 1 |8552 |5869 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1830.85/1835.91 c 1836s| 8500 | 6485 | 1046k| 66.1 | 1739M | 54 | 945 | 64k| 59k| 10k| 1 |8614 |5900 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1839.03/1844.12 c 1844s| 8600 | 6561 | 1052k| 66.0 | 1742M | 54 | 945 | 64k| 59k| 10k| 1 |8678 |5928 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1859.88/1865.08 c 1865s| 8700 | 6631 | 1057k| 66.0 | 1742M | 54 | 945 | 64k| 59k| 11k| 1 |8700 |5950 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1864.76/1869.94 c 1870s| 8800 | 6701 | 1063k| 65.9 | 1744M | 54 | 945 | 64k| 59k| 11k| 1 |8761 |5978 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1874.33/1879.51 c 1880s| 8900 | 6765 | 1068k| 65.8 | 1745M | 54 | 945 | 64k| 59k| 11k| 1 |8828 |6002 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1886.70/1891.90 c 1892s| 9000 | 6837 | 1075k| 65.8 | 1746M | 54 | 945 | 64k| 59k| 11k| 0 |8848 |6013 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1913.53/1918.81 c 1919s| 9100 | 6917 | 1084k| 66.0 | 1788M | 54 | 945 | 64k| 59k| 11k| 1 |8911 |6016 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1930.49/1935.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1930.49/1935.87 c 1936s| 9200 | 6999 | 1092k| 66.0 | 1790M | 54 | 945 | 64k| 59k| 11k| 1 |8974 |6019 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1940.16/1945.59 c 1946s| 9300 | 7055 | 1097k| 66.0 | 1790M | 54 | 945 | 64k| 59k| 11k| 0 |8992 |6027 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1954.02/1959.41 c 1959s| 9400 | 7115 | 1102k| 65.9 | 1792M | 54 | 945 | 64k| 59k| 11k| 1 |9031 |6039 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1979.06/1984.53 c 1985s| 9500 | 7169 | 1108k| 65.9 | 1792M | 54 | 945 | 64k| 59k| 12k| 1 |9042 |6046 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
1995.21/2000.73 c 2001s| 9600 | 7229 | 1115k| 65.9 | 1859M | 54 | 945 | 64k| 59k| 12k| 0 |9083 |6048 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2014.36/2019.90 c 2020s| 9700 | 7285 | 1122k| 65.9 | 1863M | 54 | 945 | 64k| 59k| 12k| 1 |9093 |6050 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2030.53/2036.18 c 2036s| 9800 | 7331 | 1126k| 65.7 | 1863M | 54 | 945 | 64k| 59k| 12k| 0 |9100 |6054 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2033.61/2039.28 c 2039s| 9900 | 7399 | 1132k| 65.7 | 1864M | 54 | 945 | 64k| 59k| 12k| 1 |9142 |6057 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2047.67/2053.37 c 2053s| 10000 | 7467 | 1138k| 65.7 | 1865M | 54 | 945 | 64k| 59k| 12k| 1 |9169 |6066 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2068.63/2074.38 c 2074s| 10100 | 7523 | 1144k| 65.6 | 1866M | 54 | 945 | 64k| 59k| 13k| 1 |9208 |6068 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2083.98/2089.73 c 2090s| 10200 | 7585 | 1150k| 65.6 | 1869M | 54 | 945 | 64k| 59k| 13k| 0 |9230 |6071 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2099.25/2105.08 c 2105s| 10300 | 7643 | 1156k| 65.6 | 1871M | 54 | 945 | 64k| 59k| 13k| 0 |9246 |6071 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2111.91/2117.77 c 2118s| 10400 | 7689 | 1161k| 65.5 | 1872M | 54 | 945 | 64k| 59k| 13k| 1 |9246 |6078 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2121.29/2127.19 o -41
2121.29/2127.19 c *2127s| 10478 | 5985 | 1165k| 65.4 | LP | 54 | 945 | 62k| 59k| 13k| 1 |9252 |6080 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2121.79/2127.68 c 2128s| 10500 | 5995 | 1166k| 65.4 | 1874M | 54 | 945 | 62k| 59k| 13k| 1 |9252 |6080 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2138.14/2144.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2138.14/2144.01 c 2144s| 10600 | 6031 | 1171k| 65.3 | 1874M | 55 | 945 | 62k| 59k| 13k| 1 |9276 |6083 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2148.51/2154.49 c 2154s| 10700 | 6065 | 1176k| 65.2 | 1874M | 55 | 945 | 62k| 59k| 13k| 2 |9280 |6087 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2153.10/2159.08 c 2159s| 10800 | 6145 | 1186k| 65.4 | 1875M | 55 | 945 | 62k| 59k| 13k| 1 |9336 |6097 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2169.06/2175.08 c 2175s| 10900 | 6215 | 1196k| 65.6 | 1875M | 55 | 945 | 62k| 59k| 14k| 2 |9373 |6097 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2181.92/2187.91 c 2188s| 11000 | 6291 | 1207k| 65.9 | 1878M | 55 | 945 | 62k| 59k| 14k| 1 |9432 |6099 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2187.21/2193.25 c 2193s| 11100 | 6359 | 1216k| 66.0 | 1878M | 55 | 945 | 62k| 59k| 14k| 1 |9443 |6099 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2203.07/2209.14 c 2209s| 11200 | 6401 | 1223k| 66.0 | 1878M | 55 | 945 | 62k| 59k| 14k| 1 |9450 |6100 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2218.33/2224.43 c 2224s| 11300 | 6447 | 1226k| 65.8 | 1878M | 55 | 945 | 62k| 59k| 14k| 1 |9477 |6105 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2234.99/2241.12 c 2241s| 11400 | 6491 | 1231k| 65.7 | 1916M | 55 | 945 | 62k| 59k| 14k| 1 |9508 |6106 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2241.46/2247.60 c 2248s| 11500 | 6549 | 1236k| 65.6 | 1917M | 55 | 945 | 62k| 59k| 14k| 0 |9518 |6114 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2244.96/2251.14 c 2251s| 11600 | 6603 | 1240k| 65.5 | 1918M | 55 | 945 | 62k| 59k| 14k| 1 |9568 |6118 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2249.24/2255.41 c 2255s| 11700 | 6645 | 1245k| 65.4 | 1918M | 55 | 945 | 62k| 59k| 14k| 0 |9568 |6124 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2253.23/2259.45 c 2259s| 11800 | 6695 | 1249k| 65.3 | 1918M | 55 | 945 | 62k| 59k| 14k| 0 |9606 |6128 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2273.68/2279.92 c 2280s| 11900 | 6743 | 1255k| 65.3 | 1918M | 55 | 945 | 62k| 59k| 14k| 2 |9630 |6129 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2284.76/2291.05 c 2291s| 12000 | 6791 | 1260k| 65.2 | 1918M | 55 | 945 | 62k| 59k| 15k| 0 |9666 |6130 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2296.52/2302.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2296.52/2302.83 c 2303s| 12100 | 6825 | 1265k| 65.1 | 1918M | 55 | 945 | 62k| 59k| 15k| 1 |9666 |6130 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2298.51/2304.85 c 2305s| 12200 | 6863 | 1269k| 65.0 | 1918M | 61 | 945 | 62k| 59k| 15k| 0 |9694 |6131 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2300.20/2306.59 c 2307s| 12300 | 6893 | 1273k| 64.8 | 1919M | 67 | 945 | 62k| 59k| 15k| 0 |9702 |6131 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2306.58/2312.91 c 2313s| 12400 | 6925 | 1277k| 64.7 | 1919M | 67 | 945 | 62k| 59k| 15k| 0 |9702 |6133 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2315.76/2322.19 c 2322s| 12500 | 6955 | 1281k| 64.6 | 1919M | 67 | 945 | 62k| 59k| 15k| 1 |9702 |6134 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2321.54/2327.93 c 2328s| 12600 | 6997 | 1286k| 64.5 | 1919M | 67 | 945 | 62k| 59k| 15k| 0 |9720 |6137 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2339.89/2346.33 c 2346s| 12700 | 7023 | 1291k| 64.4 | 1919M | 67 | 945 | 62k| 59k| 15k| 0 |9744 |6138 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2342.69/2349.12 c 2349s| 12800 | 7075 | 1295k| 64.3 | 2000M | 67 | 945 | 62k| 59k| 15k| 0 |9804 |6170 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2344.88/2351.31 c 2351s| 12900 | 7103 | 1298k| 64.2 | 2000M | 67 | 945 | 62k| 59k| 15k| 1 |9827 |6200 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2346.17/2352.69 c 2353s| 13000 | 7131 | 1302k| 64.0 | 2000M | 67 | 945 | 62k| 59k| 15k| 0 |9832 |6200 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2350.76/2357.28 c 2357s| 13100 | 7165 | 1305k| 63.8 | 2000M | 67 | 945 | 62k| 59k| 15k| 1 |9832 |6206 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2356.05/2362.56 c 2363s| 13200 | 7201 | 1309k| 63.7 | 2000M | 67 | 945 | 62k| 59k| 15k| 0 |9891 |6230 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2373.51/2380.08 c 2380s| 13300 | 7241 | 1314k| 63.7 | 2000M | 67 | 945 | 62k| 59k| 15k| 0 |9965 |6263 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2389.56/2396.17 c 2396s| 13400 | 7271 | 1319k| 63.6 | 2001M | 67 | 945 | 62k| 59k| 15k| 1 | 10k|6283 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2407.42/2414.06 c 2414s| 13500 | 7305 | 1323k| 63.5 | 2002M | 67 | 945 | 62k| 59k| 16k| 1 | 10k|6312 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2413.59/2420.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2413.59/2420.27 c 2420s| 13600 | 7341 | 1327k| 63.4 | 2002M | 67 | 945 | 62k| 59k| 16k| 0 | 10k|6345 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2432.46/2439.12 c 2439s| 13700 | 7381 | 1332k| 63.3 | 2004M | 67 | 945 | 62k| 59k| 16k| 1 | 10k|6356 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2442.62/2449.39 c 2449s| 13800 | 7419 | 1336k| 63.2 | 2004M | 67 | 945 | 62k| 59k| 16k| 1 | 10k|6373 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2453.58/2460.32 c 2460s| 13900 | 7465 | 1341k| 63.1 | 2005M | 67 | 945 | 62k| 59k| 16k| 0 | 10k|6411 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2455.67/2462.49 c 2462s| 14000 | 7503 | 1345k| 63.0 | 2006M | 67 | 945 | 62k| 59k| 16k| 1 | 10k|6432 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2458.06/2464.80 c 2465s| 14100 | 7539 | 1349k| 62.9 | 2006M | 67 | 945 | 62k| 59k| 16k| 1 | 10k|6452 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2462.26/2469.03 c 2469s| 14200 | 7577 | 1352k| 62.7 | 2007M | 67 | 945 | 62k| 59k| 16k| 2 | 10k|6477 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2469.73/2476.55 c 2477s| 14300 | 7625 | 1357k| 62.7 | 2008M | 67 | 945 | 62k| 59k| 16k| 1 | 10k|6500 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2474.72/2481.52 c 2482s| 14400 | 7657 | 1360k| 62.6 | 2009M | 67 | 945 | 62k| 59k| 16k| 0 | 10k|6519 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2479.10/2485.96 c 2486s| 14500 | 7691 | 1365k| 62.5 | 2009M | 67 | 945 | 62k| 59k| 16k| 1 | 10k|6540 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2491.97/2498.80 c 2499s| 14600 | 7727 | 1370k| 62.4 | 2010M | 67 | 945 | 62k| 59k| 16k| 1 | 10k|6572 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2497.86/2504.70 c 2505s| 14700 | 7779 | 1375k| 62.4 | 2015M | 68 | 945 | 62k| 59k| 16k| 1 | 10k|6598 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2502.15/2509.06 c 2509s| 14800 | 7829 | 1381k| 62.3 | 2016M | 68 | 945 | 62k| 59k| 16k| 1 | 10k|6628 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2520.69/2527.65 c 2528s| 14900 | 7861 | 1385k| 62.3 | 2016M | 68 | 945 | 62k| 59k| 16k| 0 | 10k|6651 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2545.33/2552.32 c 2552s| 15000 | 7887 | 1389k| 62.2 | 2016M | 68 | 945 | 62k| 59k| 17k| 0 | 10k|6653 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2560.29/2567.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2560.29/2567.39 c 2567s| 15100 | 7909 | 1394k| 62.1 | 2016M | 68 | 945 | 62k| 59k| 17k| 0 | 10k|6675 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2575.15/2582.25 c 2582s| 15200 | 7953 | 1398k| 62.0 | 2017M | 68 | 945 | 62k| 59k| 17k| 1 | 10k|6689 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2585.52/2592.66 c 2593s| 15300 | 7989 | 1403k| 61.9 | 2017M | 68 | 945 | 62k| 59k| 17k| 0 | 10k|6707 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2596.30/2603.42 c 2603s| 15400 | 8013 | 1407k| 61.8 | 2018M | 68 | 945 | 62k| 59k| 17k| 0 | 11k|6715 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2602.88/2610.04 c 2610s| 15500 | 8045 | 1410k| 61.7 | 2018M | 68 | 945 | 62k| 59k| 17k| 2 | 11k|6719 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2608.76/2615.90 c 2616s| 15600 | 8091 | 1415k| 61.6 | 2018M | 68 | 945 | 62k| 59k| 17k| 0 | 11k|6724 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2610.86/2618.03 c 2618s| 15700 | 8139 | 1419k| 61.5 | 2019M | 68 | 945 | 62k| 59k| 17k| 1 | 11k|6729 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2622.93/2630.13 c 2630s| 15800 | 8175 | 1423k| 61.4 | 2020M | 68 | 945 | 62k| 59k| 17k| 1 | 11k|6734 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2631.00/2638.25 c 2638s| 15900 | 8221 | 1428k| 61.4 | 2021M | 68 | 945 | 62k| 59k| 17k| 2 | 11k|6742 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2637.58/2644.88 c 2645s| 16000 | 8267 | 1432k| 61.3 | 2021M | 68 | 945 | 62k| 59k| 17k| 1 | 11k|6744 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2645.86/2653.12 c 2653s| 16100 | 8309 | 1437k| 61.2 | 2024M | 68 | 945 | 62k| 59k| 17k| 1 | 11k|6751 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2652.34/2659.69 c 2660s| 16200 | 8343 | 1441k| 61.2 | 2024M | 68 | 945 | 62k| 59k| 17k| 0 | 11k|6754 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2654.13/2661.45 c 2661s| 16300 | 8377 | 1445k| 61.1 | 2072M | 68 | 945 | 62k| 59k| 17k| 1 | 11k|6761 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2664.81/2672.19 c 2672s| 16400 | 8433 | 1449k| 61.0 | 2073M | 68 | 945 | 62k| 59k| 17k| 0 | 11k|6763 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2692.24/2699.67 c 2700s| 16500 | 8475 | 1454k| 61.0 | 2074M | 68 | 945 | 62k| 59k| 18k| 1 | 11k|6763 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2713.39/2720.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2713.39/2720.80 c 2721s| 16600 | 8521 | 1459k| 60.9 | 2078M | 68 | 945 | 62k| 59k| 18k| 1 | 11k|6764 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2726.86/2734.39 c 2734s| 16700 | 8555 | 1462k| 60.8 | 2079M | 68 | 945 | 62k| 59k| 18k| 1 | 11k|6764 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2728.95/2736.43 c 2736s| 16800 | 8591 | 1466k| 60.7 | 2079M | 68 | 945 | 62k| 59k| 18k| 1 | 11k|6767 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2739.22/2746.77 c 2747s| 16900 | 8645 | 1471k| 60.6 | 2175M | 68 | 945 | 62k| 59k| 18k| 1 | 11k|6768 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2750.89/2758.42 c 2758s| 17000 | 8701 | 1475k| 60.6 | 2177M | 68 | 945 | 62k| 59k| 18k| 1 | 11k|6773 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2761.76/2769.30 c 2769s| 17100 | 8731 | 1479k| 60.5 | 2178M | 68 | 945 | 62k| 59k| 18k| 0 | 11k|6780 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2766.95/2774.53 c 2775s| 17200 | 8771 | 1483k| 60.4 | 2179M | 68 | 945 | 62k| 59k| 18k| 0 | 11k|6782 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2783.11/2790.73 c 2791s| 17300 | 8809 | 1488k| 60.3 | 2180M | 68 | 945 | 62k| 59k| 18k| 1 | 11k|6784 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2791.09/2798.76 c 2799s| 17400 | 8845 | 1492k| 60.3 | 2180M | 68 | 945 | 62k| 59k| 18k| 0 | 11k|6785 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2797.97/2805.62 c 2806s| 17500 | 8887 | 1496k| 60.2 | 2180M | 68 | 945 | 62k| 59k| 18k| 1 | 11k|6792 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2803.05/2810.74 c 2811s| 17600 | 8919 | 1499k| 60.1 | 2181M | 68 | 945 | 62k| 59k| 18k| 1 | 11k|6797 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2808.94/2816.61 c 2817s| 17700 | 8969 | 1504k| 60.0 | 2182M | 68 | 945 | 62k| 59k| 18k| 2 | 11k|6797 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2829.58/2837.39 c 2837s| 17800 | 9015 | 1510k| 60.0 | 2184M | 68 | 945 | 62k| 59k| 19k| 0 | 11k|6799 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2835.46/2843.24 c 2843s| 17900 | 9049 | 1514k| 59.9 | 2185M | 68 | 945 | 62k| 59k| 19k| 1 | 11k|6799 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2845.24/2853.06 c 2853s| 18000 | 9079 | 1519k| 59.9 | 2185M | 68 | 945 | 62k| 59k| 19k| 0 | 11k|6799 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2848.02/2855.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2848.02/2855.89 c 2856s| 18100 | 9133 | 1524k| 59.8 | 2186M | 68 | 945 | 62k| 59k| 19k| 1 | 11k|6799 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2862.59/2870.40 c 2870s| 18200 | 9175 | 1528k| 59.8 | 2187M | 68 | 945 | 62k| 59k| 19k| 1 | 11k|6807 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2866.87/2874.77 c 2875s| 18300 | 9229 | 1533k| 59.7 | 2188M | 68 | 945 | 62k| 59k| 19k| 0 | 11k|6808 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2879.64/2887.54 c 2888s| 18400 | 9263 | 1537k| 59.7 | 2190M | 68 | 945 | 62k| 59k| 19k| 1 | 11k|6811 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2898.49/2906.44 c 2906s| 18500 | 9291 | 1541k| 59.6 | 2190M | 68 | 945 | 62k| 59k| 19k| 0 | 11k|6811 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2907.27/2915.28 c 2915s| 18600 | 9327 | 1545k| 59.5 | 2190M | 68 | 945 | 62k| 59k| 19k| 0 | 11k|6811 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2921.44/2929.41 c 2929s| 18700 | 9367 | 1549k| 59.4 | 2191M | 68 | 945 | 62k| 59k| 19k| 0 | 11k|6812 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2927.72/2935.76 c 2936s| 18800 | 9403 | 1553k| 59.4 | 2191M | 68 | 945 | 62k| 59k| 19k| 0 | 11k|6813 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2931.91/2939.93 c 2940s| 18900 | 9441 | 1558k| 59.3 | 2192M | 68 | 945 | 62k| 59k| 19k| 1 | 11k|6813 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2934.80/2942.87 c 2943s| 19000 | 9487 | 1562k| 59.2 | 2193M | 68 | 945 | 62k| 59k| 19k| 0 | 11k|6815 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2942.88/2950.95 c 2951s| 19100 | 9527 | 1566k| 59.2 | 2193M | 68 | 945 | 62k| 59k| 20k| 1 | 11k|6818 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2950.35/2958.49 c 2958s| 19200 | 9571 | 1571k| 59.1 | 2195M | 68 | 945 | 62k| 59k| 20k| 1 | 11k|6820 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2955.83/2963.99 c 2964s| 19300 | 9611 | 1576k| 59.1 | 2195M | 68 | 945 | 62k| 59k| 20k| 1 | 11k|6822 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2963.02/2971.13 c 2971s| 19400 | 9645 | 1580k| 59.0 | 2196M | 68 | 945 | 62k| 59k| 20k| 1 | 11k|6823 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2968.01/2976.17 c 2976s| 19500 | 9683 | 1584k| 58.9 | 2196M | 68 | 945 | 62k| 59k| 20k| 1 | 11k|6823 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2975.89/2984.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2975.89/2984.01 c 2984s| 19600 | 9719 | 1587k| 58.9 | 2197M | 68 | 945 | 62k| 59k| 20k| 1 | 11k|6823 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2997.13/3005.34 c 3005s| 19700 | 9755 | 1593k| 58.9 | 2201M | 68 | 945 | 62k| 59k| 20k| 1 | 11k|6823 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3010.80/3019.08 c 3019s| 19800 | 9792 | 1598k| 58.8 | 2202M | 68 | 945 | 62k| 59k| 20k| 2 | 11k|6826 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3019.17/3027.40 c 3027s| 19900 | 9822 | 1601k| 58.7 | 2203M | 68 | 945 | 62k| 59k| 20k| 0 | 11k|6827 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3028.85/3037.19 c 3037s| 20000 | 9860 | 1606k| 58.7 | 2205M | 68 | 945 | 62k| 59k| 20k| 2 | 11k|6827 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3030.64/3038.90 c 3039s| 20100 | 9900 | 1610k| 58.6 | 2206M | 68 | 945 | 62k| 59k| 20k| 1 | 11k|6827 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3033.13/3041.49 c 3041s| 20200 | 9926 | 1614k| 58.5 | 2207M | 68 | 945 | 62k| 59k| 20k| 0 | 11k|6827 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3048.09/3056.48 c 3056s| 20300 | 9954 | 1617k| 58.4 | 2207M | 68 | 945 | 62k| 59k| 20k| 0 | 11k|6829 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3069.24/3077.65 c 3078s| 20400 | 9992 | 1622k| 58.4 | 2207M | 68 | 945 | 62k| 59k| 21k| 3 | 11k|6830 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3074.32/3082.74 c 3083s| 20500 | 10020 | 1626k| 58.3 | 2208M | 68 | 945 | 62k| 59k| 21k| 1 | 11k|6830 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3093.07/3101.58 c 3102s| 20600 | 10058 | 1631k| 58.3 | 2220M | 68 | 945 | 62k| 59k| 21k| 1 | 11k|6831 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3100.05/3108.58 c 3109s| 20700 | 10094 | 1635k| 58.2 | 2220M | 68 | 945 | 62k| 59k| 21k| 0 | 11k|6831 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3108.02/3116.55 c 3117s| 20800 | 10140 | 1639k| 58.2 | 2220M | 68 | 945 | 62k| 59k| 21k| 0 | 11k|6831 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3116.20/3124.76 c 3125s| 20900 | 10176 | 1643k| 58.1 | 2221M | 68 | 945 | 62k| 59k| 21k| 1 | 11k|6832 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3124.68/3133.24 c 3133s| 21000 | 10216 | 1648k| 58.1 | 2221M | 68 | 945 | 62k| 59k| 21k| 1 | 11k|6832 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3132.35/3140.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3132.35/3140.92 c 3141s| 21100 | 10250 | 1652k| 58.0 | 2221M | 68 | 945 | 62k| 59k| 21k| 1 | 11k|6832 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3136.65/3145.26 c 3145s| 21200 | 10294 | 1657k| 58.0 | 2279M | 68 | 945 | 62k| 59k| 21k| 1 | 11k|6834 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3143.13/3151.77 c 3152s| 21300 | 10334 | 1662k| 57.9 | 2279M | 68 | 945 | 62k| 59k| 21k| 1 | 11k|6837 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3148.32/3156.97 c 3157s| 21400 | 10378 | 1666k| 57.9 | 2282M | 68 | 945 | 62k| 59k| 21k| 1 | 11k|6837 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3154.00/3162.60 c 3163s| 21500 | 10420 | 1670k| 57.8 | 2282M | 68 | 945 | 62k| 59k| 21k| 0 | 11k|6837 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3160.38/3169.08 c 3169s| 21600 | 10464 | 1674k| 57.8 | 2283M | 68 | 945 | 62k| 59k| 21k| 1 | 11k|6837 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3162.07/3170.72 c 3171s| 21700 | 10510 | 1677k| 57.7 | 2284M | 68 | 945 | 62k| 59k| 21k| 1 | 12k|6837 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3164.56/3173.29 c 3173s| 21800 | 10552 | 1680k| 57.6 | 2284M | 68 | 945 | 62k| 59k| 21k| 1 | 12k|6837 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3178.53/3187.24 c 3187s| 21900 | 10578 | 1684k| 57.5 | 2284M | 68 | 945 | 62k| 59k| 22k| 1 | 12k|6837 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3193.88/3202.64 c 3203s| 22000 | 10612 | 1689k| 57.5 | 2285M | 68 | 945 | 62k| 59k| 22k| 1 | 12k|6839 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3203.06/3211.80 c 3212s| 22100 | 10654 | 1693k| 57.4 | 2285M | 68 | 945 | 62k| 59k| 22k| 0 | 12k|6842 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3207.75/3216.52 c 3217s| 22200 | 10694 | 1698k| 57.4 | 2286M | 68 | 945 | 62k| 59k| 22k| 1 | 12k|6843 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3215.83/3224.64 c 3225s| 22300 | 10722 | 1701k| 57.3 | 2286M | 68 | 945 | 62k| 59k| 22k| 0 | 12k|6843 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3236.07/3244.91 c 3245s| 22400 | 10762 | 1706k| 57.3 | 2288M | 68 | 945 | 62k| 59k| 22k| 1 | 12k|6843 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3251.84/3260.72 c 3261s| 22500 | 10798 | 1711k| 57.2 | 2288M | 68 | 945 | 62k| 59k| 22k| 1 | 12k|6843 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3267.59/3276.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3267.59/3276.52 c 3277s| 22600 | 10832 | 1715k| 57.2 | 2290M | 68 | 945 | 62k| 59k| 22k| 1 | 12k|6843 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3278.67/3287.62 c 3288s| 22700 | 10864 | 1718k| 57.1 | 2290M | 68 | 945 | 62k| 59k| 22k| 1 | 12k|6844 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3285.95/3294.91 c 3295s| 22800 | 10894 | 1722k| 57.1 | 2290M | 68 | 945 | 62k| 59k| 22k| 0 | 12k|6844 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3298.22/3307.25 c 3307s| 22900 | 10924 | 1726k| 57.0 | 2291M | 68 | 945 | 62k| 59k| 23k| 1 | 12k|6845 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3299.81/3308.89 c 3309s| 23000 | 10964 | 1730k| 56.9 | 2292M | 68 | 945 | 62k| 59k| 23k| 1 | 12k|6845 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3301.61/3310.66 c 3311s| 23100 | 11000 | 1732k| 56.8 | 2407M | 68 | 945 | 62k| 59k| 23k| 1 | 12k|6845 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3305.39/3314.48 c 3314s| 23200 | 11030 | 1736k| 56.7 | 2408M | 68 | 945 | 62k| 59k| 23k| 0 | 12k|6845 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3319.65/3328.77 c 3329s| 23300 | 11080 | 1741k| 56.7 | 2408M | 68 | 945 | 62k| 59k| 23k| 1 | 12k|6845 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3323.14/3332.21 c 3332s| 23400 | 11112 | 1744k| 56.6 | 2410M | 68 | 945 | 62k| 59k| 23k| 1 | 12k|6846 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3336.50/3345.63 c 3346s| 23500 | 11146 | 1748k| 56.6 | 2410M | 68 | 945 | 62k| 59k| 23k| 1 | 12k|6846 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3345.98/3355.16 c 3355s| 23600 | 11168 | 1752k| 56.5 | 2413M | 68 | 945 | 62k| 59k| 23k| 2 | 12k|6846 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3361.63/3370.82 c 3371s| 23700 | 11196 | 1757k| 56.5 | 2414M | 68 | 945 | 62k| 59k| 23k| 1 | 12k|6846 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3366.22/3375.46 c 3375s| 23800 | 11220 | 1760k| 56.4 | 2414M | 68 | 945 | 62k| 59k| 23k| 0 | 12k|6846 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3371.51/3380.77 c 3381s| 23900 | 11252 | 1763k| 56.3 | 2414M | 68 | 945 | 62k| 59k| 23k| 1 | 12k|6846 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3380.88/3390.12 c 3390s| 24000 | 11274 | 1767k| 56.3 | 2416M | 68 | 945 | 62k| 59k| 23k| 1 | 12k|6846 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3404.81/3414.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3404.81/3414.15 c 3414s| 24100 | 11302 | 1771k| 56.2 | 2417M | 68 | 945 | 62k| 59k| 23k| 1 | 12k|6846 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3414.38/3423.73 c 3424s| 24200 | 11350 | 1775k| 56.2 | 2418M | 68 | 945 | 62k| 59k| 23k| 0 | 12k|6846 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3417.87/3427.29 c 3427s| 24300 | 11380 | 1779k| 56.1 | 2418M | 68 | 945 | 62k| 59k| 24k| 0 | 12k|6846 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3427.24/3436.69 c 3437s| 24400 | 11420 | 1783k| 56.1 | 2418M | 68 | 945 | 62k| 59k| 24k| 1 | 12k|6846 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3438.21/3447.63 c 3448s| 24500 | 11444 | 1786k| 56.0 | 2419M | 68 | 945 | 62k| 59k| 24k| 1 | 12k|6846 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3456.06/3465.51 c 3466s| 24600 | 11476 | 1791k| 56.0 | 2419M | 68 | 945 | 62k| 59k| 24k| 1 | 12k|6847 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3463.44/3472.94 c 3473s| 24700 | 11502 | 1794k| 55.9 | 2420M | 68 | 945 | 62k| 59k| 24k| 0 | 12k|6848 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3467.13/3476.61 c 3477s| 24800 | 11530 | 1797k| 55.8 | 2421M | 70 | 945 | 62k| 59k| 24k| 1 | 12k|6848 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3478.51/3488.04 c 3488s| 24900 | 11554 | 1800k| 55.8 | 2421M | 70 | 945 | 62k| 59k| 24k| 1 | 12k|6848 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3485.08/3494.61 c 3495s| 25000 | 11586 | 1805k| 55.7 | 2422M | 70 | 945 | 62k| 59k| 24k| 0 | 12k|6848 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3498.74/3508.38 c 3508s| 25100 | 11614 | 1809k| 55.7 | 2423M | 70 | 945 | 62k| 59k| 24k| 1 | 12k|6848 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3512.01/3521.68 c 3522s| 25200 | 11636 | 1815k| 55.7 | 2424M | 70 | 945 | 62k| 59k| 24k| 0 | 12k|6848 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3515.30/3524.91 c 3525s| 25300 | 11670 | 1820k| 55.7 | 2424M | 70 | 945 | 62k| 59k| 24k| 0 | 12k|6848 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3522.38/3532.01 c 3532s| 25400 | 11708 | 1824k| 55.6 | 2425M | 70 | 945 | 62k| 59k| 24k| 1 | 12k|6848 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3534.04/3543.71 c 3544s| 25500 | 11750 | 1829k| 55.6 | 2427M | 70 | 945 | 62k| 59k| 24k| 1 | 12k|6848 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3549.90/3559.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3549.90/3559.63 c 3560s| 25600 | 11778 | 1833k| 55.6 | 2428M | 70 | 945 | 62k| 59k| 24k| 2 | 12k|6848 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3551.70/3561.48 c 3561s| 25700 | 11824 | 1838k| 55.5 | 2428M | 70 | 945 | 62k| 59k| 24k| 1 | 12k|6848 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3556.88/3566.65 c 3567s| 25800 | 11854 | 1841k| 55.5 | 2428M | 70 | 945 | 62k| 59k| 25k| 1 | 12k|6848 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3564.66/3574.44 c 3574s| 25900 | 11892 | 1845k| 55.4 | 2429M | 70 | 945 | 62k| 59k| 25k| 1 | 12k|6869 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3566.95/3576.73 c 3577s| 26000 | 11914 | 1849k| 55.4 | 2431M | 70 | 945 | 62k| 59k| 25k| 1 | 12k|6880 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3582.61/3592.41 c 3592s| 26100 | 11938 | 1853k| 55.3 | 2431M | 70 | 945 | 62k| 59k| 25k| 0 | 12k|6893 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3587.20/3597.00 c
3587.20/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.20/3597.00 c Solving Time (sec) : 3597.00
3587.20/3597.00 c Solving Nodes : 26131 (total of 33101 nodes in 2 runs)
3587.20/3597.00 c Primal Bound : -4.10000000000000e+01 (940 solutions)
3587.20/3597.00 c Dual Bound : -4.50000000000000e+01
3587.20/3597.00 c Gap : 9.76 %
3587.20/3597.02 s SATISFIABLE
3587.20/3597.02 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
3587.20/3597.02 v -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53
3587.20/3597.02 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78
3587.20/3597.02 v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
3587.20/3597.02 v -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
3587.20/3597.02 v -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3587.20/3597.02 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
3587.20/3597.02 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
3587.20/3597.02 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
3587.20/3597.02 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229
3587.20/3597.02 v -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
3587.20/3597.02 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271
3587.20/3597.02 v -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
3587.20/3597.02 v -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
3587.20/3597.02 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
3587.20/3597.02 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355
3587.20/3597.02 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
3587.20/3597.02 v -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397
3587.20/3597.02 v -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
3587.20/3597.02 v -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
3587.20/3597.02 v -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460
3587.20/3597.02 v -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481
3587.20/3597.02 v -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
3587.20/3597.02 v -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523
3587.20/3597.02 v -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544
3587.20/3597.02 v -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565
3587.20/3597.02 v -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
3587.20/3597.02 v x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607
3587.20/3597.02 v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 -x626 -x627 -x628
3587.20/3597.02 v -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649
3587.20/3597.02 v -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670
3587.20/3597.02 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691
3587.20/3597.02 v -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712
3587.20/3597.02 v -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733
3587.20/3597.02 v -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754
3587.20/3597.02 v -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775
3587.20/3597.02 v -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796
3587.20/3597.02 v -x797 -x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817
3587.20/3597.02 v -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
3587.20/3597.02 v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858
3587.20/3597.02 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879
3587.20/3597.02 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
3587.20/3597.02 v -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
3587.20/3597.02 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942
3587.20/3597.02 v -x943 -x944 -x945
3587.20/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.20/3597.02 c Total Time : 3597.00
3587.20/3597.02 c solving : 3597.00
3587.20/3597.02 c presolving : 1.80 (included in solving)
3587.20/3597.02 c reading : 0.10 (included in solving)
3587.20/3597.02 c copying : 2.58 (39 #copies) (minimal 0.06, maximal 0.08, average 0.07)
3587.20/3597.02 c Original Problem :
3587.20/3597.02 c Problem name : HOME/instance-4432700-1721054823.opb
3587.20/3597.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.20/3597.02 c Constraints : 59186 initial, 59186 maximal
3587.20/3597.02 c Objective : minimize, 945 non-zeros (abs.min = 1, abs.max = 1)
3587.20/3597.02 c Presolved Problem :
3587.20/3597.02 c Problem name : t_HOME/instance-4432700-1721054823.opb
3587.20/3597.02 c Variables : 945 (945 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.20/3597.02 c Constraints : 61315 initial, 64831 maximal
3587.20/3597.02 c Objective : minimize, 945 non-zeros (abs.min = 1, abs.max = 1)
3587.20/3597.02 c Nonzeros : 176864 constraint, 119671 clique table
3587.20/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.20/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c domcol : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c dualsparsify : 0.47 0.00 1 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c gateextraction : 0.09 0.00 3 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c milp : 0.18 0.00 1 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c sparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c probing : 0.30 0.00 1 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c symmetry : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c knapsack : 0.01 0.00 9 0 0 0 0 0 0 1 3 17
3587.20/3597.02 c setppc : 0.16 0.00 12 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c linear : 0.17 0.02 4 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c logicor : 0.24 0.01 8 0 0 0 0 0 107 0 0 120
3587.20/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c components : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c root node : - - - 0 - - 0 - - - - -
3587.20/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.20/3597.02 c benderslp : 0 0 0 0 26639 0 0 6467 0 0 0 0 0 0 0
3587.20/3597.02 c integral : 0 0 0 0 26639 0 0 6467 0 0 1129 0 0 2487 52102
3587.20/3597.02 c knapsack : 2+ 32 0 55248 0 0 0 0 10134 11 284 0 0 0 0
3587.20/3597.02 c setppc : 59280 59280 46 145264 2 0 0 6461 414989 7 620763 0 0 0 0
3587.20/3597.02 c linear : 0+ 39 0 43823 0 0 0 2 8 10 5 0 0 0 0
3587.20/3597.02 c logicor : 2033+ 5504 12 39438 0 0 0 0 135 304 268 0 0 0 0
3587.20/3597.02 c benders : 0 0 0 0 2 0 0 1205 0 0 0 0 0 0 0
3587.20/3597.02 c fixedvar : 0 0 0 0 2 0 0 1205 0 0 0 0 0 0 0
3587.20/3597.02 c countsols : 0 0 0 0 2 0 0 1205 0 0 0 0 0 0 0
3587.20/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.20/3597.02 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3587.20/3597.02 c integral : 212.33 0.00 0.00 0.00 212.30 0.00 0.00 0.02 0.00 0.00
3587.20/3597.02 c knapsack : 0.12 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.00 0.01
3587.20/3597.02 c setppc : 20.03 0.00 0.12 14.03 0.00 0.00 0.00 2.44 0.09 3.35
3587.20/3597.02 c linear : 0.12 0.02 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.01
3587.20/3597.02 c logicor : 1.24 0.01 0.01 1.08 0.00 0.00 0.00 0.00 0.00 0.13
3587.20/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.20/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.20/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.20/3597.02 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.20/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.20/3597.02 c dualfix : 3 0 0 0
3587.20/3597.02 c genvbounds : 0 0 0 0
3587.20/3597.02 c nlobbt : 0 0 0 0
3587.20/3597.02 c obbt : 0 0 0 0
3587.20/3597.02 c probing : 0 0 0 0
3587.20/3597.02 c pseudoobj : 84738 0 0 0
3587.20/3597.02 c redcost : 10761 0 0 48
3587.20/3597.02 c rootredcost : 5 0 0 0
3587.20/3597.02 c symmetry : 0 0 0 0
3587.20/3597.02 c vbounds : 48489 0 0 0
3587.20/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.20/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.20/3597.02 c genvbounds : 0.05 0.00 0.00 0.04 0.00 0.01
3587.20/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.20/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.20/3597.02 c probing : 0.30 0.00 0.30 0.00 0.00 0.00
3587.20/3597.02 c pseudoobj : 5.07 0.00 0.00 5.07 0.00 0.00
3587.20/3597.02 c redcost : 0.19 0.00 0.00 0.19 0.00 0.00
3587.20/3597.02 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3587.20/3597.02 c symmetry : 0.09 0.00 0.03 0.05 0.00 0.01
3587.20/3597.02 c vbounds : 0.09 0.00 0.01 0.07 0.00 0.01
3587.20/3597.02 c Symmetry :
3587.20/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.20/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.20/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.20/3597.02 c shadow tree time : 0.00 s
3587.20/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.20/3597.02 c propagation : 0.00 332 199 - 490 61.4 1 121.0 - - -
3587.20/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.20/3597.02 c bound exceed. LP : 7.42 3795 2153 - 31377 146.1 2 129.0 189 125.5 7608
3587.20/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.20/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.20/3597.02 c applied globally : 2.04 - - 0 12315 27.7 - - 189 - -
3587.20/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.20/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.20/3597.02 c cut pool : 5.34 - 10586 90 - - 160781 242704 - - - - - (maximal pool size: 3817)
3587.20/3597.02 c aggregation : 13.75 0.00 3739 46 0 0 46 97 0 4 4 0 0
3587.20/3597.02 c > cmir : - - - - - - - 78 0 3 3 0 -
3587.20/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.20/3597.02 c > knapsackcover : - - - - - - - 19 0 1 1 0 -
3587.20/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c clique : 0.34 0.00 46 46 0 0 408 932 0 337 337 0 0
3587.20/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c gomory : 2576.57 0.00 3562 20 0 0 148522 198586 1463 9390 9377 13 0
3587.20/3597.02 c > gomorymi : - - - - - - - 65988 719 903 894 9 -
3587.20/3597.02 c > strongcg : - - - - - - - 132598 744 8487 8483 4 -
3587.20/3597.02 c impliedbounds : 3.22 0.00 3739 46 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c mcf : 0.04 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c multilinear : 0.00 0.00 369 46 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c rapidlearning : 0.99 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c rlt : 0.01 0.00 1351 20 0 0 0 0 0 0 0 0 0
3587.20/3597.02 c zerohalf : 13.65 0.00 3574 32 0 0 13594 43089 326 21780 21631 149 0
3587.20/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.20/3597.02 c hybrid : 0.15 0.00 5901 46 31511 0 212982 730 0 3490
3587.20/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3587.20/3597.02 c problem variables: 0.00 - 0 0
3587.20/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.20/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c relpscost : 212.26 0.00 26637 0 0 0 1129 0 2533 52102
3587.20/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.20/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.20/3597.02 c LP solutions : 0.01 - - 2 2
3587.20/3597.02 c relax solutions : 0.00 - - 0 0
3587.20/3597.02 c pseudo solutions : 0.00 - - 0 0
3587.20/3597.02 c strong branching : 1.17 - - 351 0
3587.20/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3587.20/3597.02 c adaptivediving : 3.18 0.00 124 1 0
3587.20/3597.02 c alns : 2.13 0.00 5 0 0
3587.20/3597.02 c bound : 0.00 0.00 0 0 0
3587.20/3597.02 c clique : 0.13 0.00 1 1 1
3587.20/3597.02 c coefdiving : 0.00 0.00 0 0 0
3587.20/3597.02 c completesol : 0.00 0.00 0 0 0
3587.20/3597.02 c conflictdiving : 6.53 0.00 230 0 0
3587.20/3597.02 c crossover : 3.48 0.00 18 6 0
3587.20/3597.02 c dins : 0.00 0.00 0 0 0
3587.20/3597.02 c distributiondivin: 24.92 0.00 229 0 0
3587.20/3597.02 c dps : 0.00 0.00 0 0 0
3587.20/3597.02 c dualval : 0.00 0.00 0 0 0
3587.20/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3587.20/3597.02 c feasjump : 0.00 0.00 0 0 0
3587.20/3597.02 c feaspump : 0.00 0.00 0 0 0
3587.20/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3587.20/3597.02 c fracdiving : 6.81 0.00 229 1 0
3587.20/3597.02 c gins : 0.09 0.00 0 0 0
3587.20/3597.02 c guideddiving : 5.77 0.00 229 0 0
3587.20/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3587.20/3597.02 c indicator : 0.02 0.00 0 0 0
3587.20/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3587.20/3597.02 c indoneopt : 0.02 0.00 0 0 0
3587.20/3597.02 c indrounding : 0.00 0.00 0 0 0
3587.20/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3587.20/3597.02 c intdiving : 0.00 0.00 0 0 0
3587.20/3597.02 c intshifting : 0.00 0.00 0 0 0
3587.20/3597.02 c linesearchdiving : 7.16 0.00 229 1 1
3587.20/3597.02 c localbranching : 0.00 0.00 0 0 0
3587.20/3597.02 c locks : 0.05 0.00 1 1 1
3587.20/3597.02 c lpface : 0.04 0.00 0 0 0
3587.20/3597.02 c mpec : 0.00 0.00 0 0 0
3587.20/3597.02 c multistart : 0.00 0.00 0 0 0
3587.20/3597.02 c mutation : 0.00 0.00 0 0 0
3587.20/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3587.20/3597.02 c objpscostdiving : 16.48 0.00 115 164 0
3587.20/3597.02 c octane : 0.00 0.00 0 0 0
3587.20/3597.02 c ofins : 0.01 0.00 0 0 0
3587.20/3597.02 c oneopt : 0.10 0.00 7 0 0
3587.20/3597.02 c padm : 0.00 0.00 0 0 0
3587.20/3597.02 c proximity : 0.00 0.00 0 0 0
3587.20/3597.02 c pscostdiving : 11.14 0.00 229 14 2
3587.20/3597.02 c randrounding : 2.39 0.00 5406 35 0
3587.20/3597.02 c rens : 1.96 0.00 2 1 0
3587.20/3597.02 c reoptsols : 0.00 0.00 0 0 0
3587.20/3597.02 c repair : 0.00 0.00 0 0 0
3587.20/3597.02 c rins : 3.11 0.00 14 7 1
3587.20/3597.02 c rootsoldiving : 18.32 0.00 115 86 0
3587.20/3597.02 c rounding : 5.40 0.00 2514 0 0
3587.20/3597.02 c scheduler : 0.00 0.00 0 0 0
3587.20/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3587.20/3597.02 c shifting : 3.30 0.00 1281 0 0
3587.20/3597.02 c simplerounding : 0.42 0.00 32540 40 0
3587.20/3597.02 c smallcard : 0.00 0.00 0 0 0
3587.20/3597.02 c subnlp : 0.03 0.00 0 0 0
3587.20/3597.02 c trivial : 0.00 0.00 4 1 1
3587.20/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3587.20/3597.02 c trustregion : 0.00 0.00 0 0 0
3587.20/3597.02 c trysol : 0.01 0.00 0 0 0
3587.20/3597.02 c twoopt : 0.00 0.00 0 0 0
3587.20/3597.02 c undercover : 0.00 0.00 0 0 0
3587.20/3597.02 c vbounds : 0.16 0.00 2 0 0
3587.20/3597.02 c veclendiving : 5.54 0.00 229 0 0
3587.20/3597.02 c zeroobj : 0.00 0.00 0 0 0
3587.20/3597.02 c zirounding : 24.79 0.00 11401 228 0
3587.20/3597.02 c other solutions : - - - 0 -
3587.20/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.20/3597.02 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.20/3597.02 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.20/3597.02 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.20/3597.02 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.20/3597.02 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.20/3597.02 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.20/3597.02 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.20/3597.02 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.20/3597.02 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.20/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.20/3597.02 c primal LP : 11.68 2916 0 0.00 0.00 11.68 2916
3587.20/3597.02 c dual LP : 384.88 39635 1611173 40.77 4186.13 0.55 115
3587.20/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3587.20/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.20/3597.02 c resolve instable : 0.00 0 0 0.00 -
3587.20/3597.02 c diving/probing LP: 73.00 8913 243939 27.37 3341.59
3587.20/3597.02 c strong branching : 104.75 6894 402795 58.43 3845.38 - - 1728
3587.20/3597.02 c (at root node) : - 48 5329 111.02 -
3587.20/3597.02 c conflict analysis: 2.62 784 7608 9.70 2902.47
3587.20/3597.02 c B&B Tree :
3587.20/3597.02 c number of runs : 2
3587.20/3597.02 c nodes : 26131 (19913 internal, 6218 leaves)
3587.20/3597.02 c feasible leaves : 1
3587.20/3597.02 c infeas. leaves : 6
3587.20/3597.02 c objective leaves : 6210
3587.20/3597.02 c nodes (total) : 33101 (26051 internal, 7050 leaves)
3587.20/3597.02 c nodes left : 11944
3587.20/3597.02 c max depth : 70
3587.20/3597.02 c max depth (total): 70
3587.20/3597.02 c backtracks : 3809 (14.6%)
3587.20/3597.02 c early backtracks : 0 (0.0%)
3587.20/3597.02 c nodes exc. ref. : 0 (0.0%)
3587.20/3597.02 c delayed cutoffs : 1
3587.20/3597.02 c repropagations : 200 (317 domain reductions, 1 cutoffs)
3587.20/3597.02 c avg switch length: 4.91
3587.20/3597.02 c switching time : 45.35
3587.20/3597.02 c Root Node :
3587.20/3597.02 c First LP value : -4.72500000000000e+02
3587.20/3597.02 c First LP Iters : 945 (3348.77 Iter/sec)
3587.20/3597.02 c First LP Time : 0.28
3587.20/3597.02 c Final Dual Bound : -4.50000000000000e+01
3587.20/3597.02 c Final Root Iters : 24206
3587.20/3597.02 c Root LP Estimate : -3.93691683747519e+01
3587.20/3597.02 c Solution :
3587.20/3597.02 c Solutions found : 940 (9 improvements)
3587.20/3597.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.18 seconds, depth 0, found by <trivial>)
3587.20/3597.02 c Gap First Sol. : infinite
3587.20/3597.02 c Gap Last Sol. : 9.76 %
3587.20/3597.02 c Primal Bound : -4.10000000000000e+01 (in run 2, after 10478 nodes, 2127.18 seconds, depth 31, found by <relaxation>)
3587.20/3597.02 c Dual Bound : -4.50000000000000e+01
3587.20/3597.02 c Gap : 9.76 %
3587.20/3597.02 c Integrals : Total Avg%
3587.20/3597.02 c primal-dual : 40936.33 11.38
3587.20/3597.02 c primal-ref : - - (not evaluated)
3587.20/3597.02 c dual-ref : - - (not evaluated)
3587.40/3597.26 c Time complete: 3587.47.
OK -41
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (58231 MiB free)
memory of node 1: 64510 MiB (61876 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432700-1721054823/watcher-4432700-1721054823 -o /tmp/evaluation-result-4432700-1721054823/solver-4432700-1721054823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830874 --watchdog 3760 pbscip -f HOME/instance-4432700-1721054823.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=833739, runsolver pid=833736
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 4.08 4.13 4.12 5/256 833740
/proc/meminfo: memFree=122959988/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=87916 memory=45584 CPUtime=0.1 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 8500 0 0 0 9 1 0 0 20 0 1 0 157647640 90025984 11396 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 21979 11396 3198 3540 0 10236 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 87916 KiB
Current children cumulated memory: 45584 KiB
[startup+0.206284 s]*
/proc/loadavg: 4.08 4.13 4.12 5/256 833740
/proc/meminfo: memFree=122912080/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=132584 memory=92196 CPUtime=0.2 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 20193 0 0 0 18 2 0 0 20 0 1 0 157647640 135766016 23049 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 33146 23049 3549 3540 0 21403 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 132584 KiB
Current children cumulated memory: 92196 KiB
[startup+0.306102 s]*
/proc/loadavg: 4.08 4.13 4.12 5/256 833740
/proc/meminfo: memFree=122896004/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=149260 memory=108424 CPUtime=0.3 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 23743 0 0 0 27 3 0 0 20 0 1 0 157647640 152842240 27106 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 37315 27106 3549 3540 0 25572 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 149260 KiB
Current children cumulated memory: 108424 KiB
[startup+0.700247 s]
/proc/loadavg: 4.08 4.13 4.12 5/256 833740
/proc/meminfo: memFree=122883824/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=154368 memory=114332 CPUtime=0.68 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 38022 0 0 0 63 5 0 0 20 0 1 0 157647640 158072832 28583 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 38592 28583 3724 3540 0 26849 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 154368 KiB
Current children cumulated memory: 114332 KiB
[startup+1.50027 s]
/proc/loadavg: 4.08 4.13 4.12 5/256 833740
/proc/meminfo: memFree=122868528/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=344308 memory=287496 CPUtime=1.49 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 52900 0 0 0 139 10 0 0 20 0 1 0 157647640 352571392 71874 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 86077 71874 3772 3540 0 74334 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 344308 KiB
Current children cumulated memory: 287496 KiB
[startup+3.10623 s]
/proc/loadavg: 4.08 4.13 4.12 5/256 833742
/proc/meminfo: memFree=122635916/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=427688 memory=362724 CPUtime=3.08 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 71617 0 0 0 295 13 0 0 20 0 1 0 157647640 437952512 90681 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 106922 90681 3932 3540 0 95179 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 427688 KiB
Current children cumulated memory: 362724 KiB
[startup+6.30019 s]
/proc/loadavg: 4.08 4.13 4.12 5/256 833742
/proc/meminfo: memFree=122631060/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=441336 memory=367336 CPUtime=6.27 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 71735 0 0 0 614 13 0 0 20 0 1 0 157647640 451928064 91834 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 110334 91834 3932 3540 0 98591 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 441336 KiB
Current children cumulated memory: 367336 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 4.13 5/256 833744
/proc/meminfo: memFree=122623128/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=466192 memory=369952 CPUtime=12.65 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 72411 0 0 0 1251 14 0 0 20 0 1 0 157647640 477380608 92488 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 116548 92488 3932 3540 0 104805 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 466192 KiB
Current children cumulated memory: 369952 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.13 4.13 5/256 833746
/proc/meminfo: memFree=122532880/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=616896 memory=454052 CPUtime=25.42 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 93396 0 0 0 2525 17 0 0 20 0 1 0 157647640 631701504 113513 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 154224 113513 3979 3540 0 142481 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 616896 KiB
Current children cumulated memory: 454052 KiB
[startup+51.1061 s]
/proc/loadavg: 4.08 4.12 4.12 5/255 833749
/proc/meminfo: memFree=122533908/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=616896 memory=454052 CPUtime=50.93 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 93423 0 0 0 5076 17 0 0 20 0 1 0 157647640 631701504 113513 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 154224 113513 3979 3540 0 142481 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 616896 KiB
Current children cumulated memory: 454052 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/255 833760
/proc/meminfo: memFree=122326444/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=741932 memory=547948 CPUtime=101.96 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 116855 0 0 0 10176 20 0 0 20 0 1 0 157647640 759738368 136987 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 185483 136987 3979 3540 0 173740 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 741932 KiB
Current children cumulated memory: 547948 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/254 833770
/proc/meminfo: memFree=122135120/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=852016 memory=587080 CPUtime=161.78 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 128466 0 0 0 16156 22 0 0 20 0 1 0 157647640 872464384 146770 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 213004 146770 3979 3540 0 201261 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 852016 KiB
Current children cumulated memory: 587080 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.10 5/257 833786
/proc/meminfo: memFree=121970348/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=939284 memory=623388 CPUtime=221.63 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 132643 0 0 0 22140 23 0 0 20 0 1 0 157647640 961826816 155847 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 234821 155847 3979 3540 0 223078 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 939284 KiB
Current children cumulated memory: 623388 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.10 4.10 5/257 833797
/proc/meminfo: memFree=121842656/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=1007360 memory=674964 CPUtime=281.47 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 140930 0 0 0 28122 25 0 0 20 0 1 0 157647640 1031536640 168741 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 251840 168741 3979 3540 0 240097 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1007360 KiB
Current children cumulated memory: 674964 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/257 833808
/proc/meminfo: memFree=121728864/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=1052296 memory=725860 CPUtime=341.31 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 151610 0 0 0 34104 27 0 0 20 0 1 0 157647640 1077551104 181465 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 263074 181465 3979 3540 0 251331 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 1052296 KiB
Current children cumulated memory: 725860 KiB
[startup+402.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/257 833819
/proc/meminfo: memFree=121620696/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=1071676 memory=737876 CPUtime=401.14 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 153617 0 0 0 40087 27 0 0 20 0 1 0 157647640 1097396224 184469 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 267919 184469 3979 3540 0 256176 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 1071676 KiB
Current children cumulated memory: 737876 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/257 833830
/proc/meminfo: memFree=121567412/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=1088752 memory=755984 CPUtime=460.99 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 159562 0 0 0 46071 28 0 0 20 0 1 0 157647640 1114882048 188996 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 272188 188996 3979 3540 0 260445 0
################
# More data... #
################
/proc/loadavg: 4.34 4.17 4.11 5/256 835661
/proc/meminfo: memFree=118871524/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2370080 memory=1783556 CPUtime=3153.7 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 306686 0 0 0 315302 68 0 0 20 0 1 0 157647640 2426961920 445889 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 592520 445889 4135 3540 0 580777 0
Current children cumulated CPU time: 3153.7 s
Current children cumulated vsize: 2370080 KiB
Current children cumulated memory: 1783556 KiB
[startup+3222.3 s]
/proc/loadavg: 4.27 4.19 4.12 5/259 835678
/proc/meminfo: memFree=118841704/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2370080 memory=1796968 CPUtime=3213.53 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 307115 0 0 0 321285 68 0 0 20 0 1 0 157647640 2426961920 449242 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 592520 449242 4135 3540 0 580777 0
Current children cumulated CPU time: 3213.53 s
Current children cumulated vsize: 2370080 KiB
Current children cumulated memory: 1796968 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/258 835688
/proc/meminfo: memFree=118776632/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2370080 memory=1807076 CPUtime=3273.38 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 307814 0 0 0 327269 69 0 0 20 0 1 0 157647640 2426961920 451769 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 592520 451769 4135 3540 0 580777 0
Current children cumulated CPU time: 3273.38 s
Current children cumulated vsize: 2370080 KiB
Current children cumulated memory: 1807076 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.11 5/258 835699
/proc/meminfo: memFree=118621980/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2498708 memory=1846832 CPUtime=3333.21 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 316563 0 0 0 333250 71 0 0 20 0 1 0 157647640 2558676992 461708 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 624677 461708 4135 3540 0 612934 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 2498708 KiB
Current children cumulated memory: 1846832 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/258 835710
/proc/meminfo: memFree=118555320/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2498708 memory=1877932 CPUtime=3393.04 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 316838 0 0 0 339232 72 0 0 20 0 1 0 157647640 2558676992 469483 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 624677 469483 4135 3540 0 612934 0
Current children cumulated CPU time: 3393.04 s
Current children cumulated vsize: 2498708 KiB
Current children cumulated memory: 1877932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.18 4.12 5/258 835816
/proc/meminfo: memFree=122564092/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2498708 memory=1901440 CPUtime=3452.87 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 317186 0 0 0 345215 72 0 0 20 0 1 0 157647640 2558676992 475360 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 624677 475360 4135 3540 0 612934 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 2498708 KiB
Current children cumulated memory: 1901440 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/255 835826
/proc/meminfo: memFree=122370124/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=1972132 CPUtime=3512.7 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 325712 0 0 0 351196 74 0 0 20 0 1 0 157647640 2593533952 493033 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 493033 4135 3540 0 621444 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 1972132 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/255 835836
/proc/meminfo: memFree=122185408/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2022272 CPUtime=3572.54 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326067 0 0 0 357179 75 0 0 20 0 1 0 157647640 2593533952 505568 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 505568 4135 3540 0 621444 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2022272 KiB
[startup+3597.28 s]
# the end of solver process 833739 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.7 s, system=0.793616 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.18 4.16 4.11 5/255 835836
/proc/meminfo: memFree=122185212/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2022272 CPUtime=3574.24 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326067 0 0 0 357349 75 0 0 20 0 1 0 157647640 2593533952 505568 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 505568 4135 3540 0 621444 0
Current children cumulated CPU time: 3574.24 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2022272 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.15 4.11 5/255 835836
/proc/meminfo: memFree=122169960/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2030472 CPUtime=3580.61 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326067 0 0 0 357986 75 0 0 20 0 1 0 157647640 2593533952 507618 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 507618 4135 3540 0 621444 0
Current children cumulated CPU time: 3580.61 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2030472 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.15 4.11 5/255 835837
/proc/meminfo: memFree=122147744/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2030472 CPUtime=3583.81 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326067 0 0 0 358306 75 0 0 20 0 1 0 157647640 2593533952 507618 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 507618 4135 3540 0 621444 0
Current children cumulated CPU time: 3583.81 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2030472 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 835837
/proc/meminfo: memFree=122147520/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2030472 CPUtime=3585.4 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326067 0 0 0 358465 75 0 0 20 0 1 0 157647640 2593533952 507618 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 507618 4135 3540 0 621444 0
Current children cumulated CPU time: 3585.4 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2030472 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.15 4.11 5/255 835837
/proc/meminfo: memFree=122145476/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2030472 CPUtime=3586.21 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326067 0 0 0 358546 75 0 0 20 0 1 0 157647640 2593533952 507618 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 507618 4135 3540 0 621444 0
Current children cumulated CPU time: 3586.21 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2030472 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 835837
/proc/meminfo: memFree=122145476/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2030472 CPUtime=3587 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326067 0 0 0 358625 75 0 0 20 0 1 0 157647640 2593533952 507618 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 507618 4135 3540 0 621444 0
Current children cumulated CPU time: 3587 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2030472 KiB
[startup+3597.2 s]
/proc/loadavg: 4.14 4.15 4.11 5/255 835837
/proc/meminfo: memFree=122145364/131524600 swapFree=131071996/131071996
[pid=833739] ppid=833736 vsize=2532748 memory=2030472 CPUtime=3587.4 cores=5,7
/proc/833739/stat : 833739 (pbscip) R 833736 833739 812346 0 -1 4194304 326388 0 0 0 358664 76 0 0 20 0 1 0 157647640 2593533952 507618 134679101440 4194304 18693293 140728483459984 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54689792 140728483464196 140728483464295 140728483464295 140728483471310 0
/proc/833739/statm: 633187 507618 4135 3540 0 621444 0
Current children cumulated CPU time: 3587.4 s
Current children cumulated vsize: 2532748 KiB
Current children cumulated memory: 2030472 KiB
Child status: 0
Real time (s): 3597.28
CPU time (s): 3587.49
CPU user time (s): 3586.7
CPU system time (s): 0.793616
CPU usage (%): 99.7279
Max. virtual memory (cumulated for all children) (KiB): 2532748
Max. memory (cumulated for all children) (KiB): 2030472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.7
system time used= 0.793616
maximum resident set size= 2030472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326415
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53
involuntary context switches= 3528
# summary of solver processes directly reported to runsolver:
# pid: 833739
# total CPU time (s): 3587.49
# total CPU user time (s): 3586.7
# total CPU system time (s): 0.793616
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.08966 second user time and 16.5426 second system time
The end
Begin job on nodeC025 at 2024-07-15 16:47:15 IDJOB=4432700 IDBENCH=146680 IDSOLVER=3059 FILE ID=nodeC025/4432700-1721054823 RUNJOBID= nodeC025-1721051059-830874 SLURM_JOB_ID= 7505483 Free space on /tmp= 889968 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432700-1721054823/watcher-4432700-1721054823 -o /tmp/evaluation-result-4432700-1721054823/solver-4432700-1721054823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830874 --watchdog 3760 pbscip -f HOME/instance-4432700-1721054823.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 950817fdcb39f28dd0871c21ea836071 RANDOM SEED=1040084209 nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.219 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3677.886 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.117 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.472 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.235 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3663.973 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.931 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3667.964 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122990608 kB MemAvailable: 126558512 kB Buffers: 377344 kB Cached: 3987976 kB SwapCached: 0 kB Active: 694396 kB Inactive: 7154348 kB Active(anon): 1528 kB Inactive(anon): 3519608 kB Active(file): 692868 kB Inactive(file): 3634740 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 20128 kB Writeback: 128 kB AnonPages: 3483324 kB Mapped: 137988 kB Shmem: 37720 kB KReclaimable: 159884 kB Slab: 272476 kB SReclaimable: 159884 kB SUnreclaim: 112592 kB KernelStack: 4128 kB PageTables: 16760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4680052 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61856 kB HardwareCorrupted: 0 kB AnonHugePages: 1484800 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 240340 kB DirectMap2M: 32038912 kB DirectMap1G: 103809024 kB Free space on /tmp at the end= 889952 MiB End job on nodeC025 at 2024-07-15 17:47:13