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.
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