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-4432701-1721054646.opb>
0.09/0.12 c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81068 constraints
0.09/0.12 c problem read in 0.12
0.19/0.22 o 0
0.19/0.22 c feasible solution found by trivial heuristic after 0.2 seconds, objective value 0.000000e+00
0.19/0.22 c presolving:
0.30/0.40 c (0.4s) running MILP presolver
0.50/0.55 c (0.5s) MILP presolver found nothing
0.59/0.69 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 81068 upgd conss, 0 impls, 81068 clqs
1.09/1.15 c (1.1s) probing: 51/1150 (4.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.09/1.15 c (1.1s) probing aborted: 50/50 successive totally useless probings
1.58/1.66 c (1.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.68/1.70 c (1.7s) no symmetry present (symcode time: 0.01)
1.68/1.72 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1.68/1.72 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.68/1.72 c 0 implications, 81068 cliques
1.68/1.72 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81068 constraints
1.68/1.72 c 81068 constraints of type <setppc>
1.68/1.72 c transformed objective value is always integral (scale: 1)
1.68/1.72 c Presolving Time: 1.50
1.68/1.72 c - non default parameters ----------------------------------------------------------------------
1.68/1.72 c # SCIP version 10.0.0
1.68/1.72 c
1.68/1.72 c # maximal time in seconds to run
1.68/1.72 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.68/1.72 c limits/time = 3596.998007
1.68/1.72 c
1.68/1.72 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.68/1.72 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.68/1.72 c limits/memory = 27900
1.68/1.72 c
1.68/1.72 c # belongs reading time to solving time?
1.68/1.72 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.68/1.72 c timing/reading = TRUE
1.68/1.72 c
1.68/1.72 c -----------------------------------------------------------------------------------------------
1.68/1.72 c start solving
1.68/1.72 c transformed 1/1 original solutions to the transformed problem space
1.68/1.72 c
1.78/1.89 o -33
1.78/1.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.78/1.89 c p 1.9s| 1 | 0 | 0 | - | clique| 0 |1150 | 81k| 81k| 0 | 0 | 0 | 0 |-1.150000e+03 |-3.300000e+01 |3384.85%| unknown
2.27/2.34 o -37
2.27/2.34 c p 2.3s| 1 | 0 | 396 | - | vbounds| 0 |1150 | 81k| 81k| 0 | 0 | 0 | 0 |-1.150000e+03 |-3.700000e+01 |3008.11%| unknown
2.77/2.86 c 2.9s| 1 | 0 | 1546 | - | 411M | 0 |1150 | 81k| 81k| 0 | 0 | 0 | 0 |-5.750000e+02 |-3.700000e+01 |1454.05%| unknown
3.78/3.82 c 3.8s| 1 | 0 | 1735 | - | 432M | 0 |1150 | 81k| 81k| 10 | 1 | 0 | 0 |-5.405000e+02 |-3.700000e+01 |1360.81%| unknown
5.86/5.96 c 6.0s| 1 | 0 | 1906 | - | 441M | 0 |1150 | 81k| 81k| 26 | 2 | 0 | 0 |-5.140000e+02 |-3.700000e+01 |1289.19%| unknown
8.96/9.06 c 9.1s| 1 | 0 | 2191 | - | 451M | 0 |1150 | 81k| 81k| 44 | 3 | 0 | 0 |-4.790000e+02 |-3.700000e+01 |1194.59%| unknown
12.84/12.97 c 13.0s| 1 | 0 | 2444 | - | 461M | 0 |1150 | 81k| 81k| 65 | 4 | 0 | 0 |-4.525000e+02 |-3.700000e+01 |1122.97%| unknown
17.12/17.25 c 17.2s| 1 | 0 | 2873 | - | 471M | 0 |1150 | 81k| 81k| 83 | 5 | 0 | 0 |-4.275000e+02 |-3.700000e+01 |1055.41%| unknown
18.92/19.01 c 19.0s| 1 | 0 | 3144 | - | 480M | 0 |1150 | 81k| 81k| 107 | 6 | 0 | 0 |-4.005000e+02 |-3.700000e+01 | 982.43%| unknown
19.81/19.95 c 19.9s| 1 | 0 | 3999 | - | 489M | 0 |1150 | 81k| 81k| 138 | 7 | 0 | 0 |-3.612500e+02 |-3.700000e+01 | 876.35%| unknown
20.61/20.77 c 20.8s| 1 | 0 | 4795 | - | 498M | 0 |1150 | 81k| 81k| 186 | 8 | 0 | 0 |-3.377500e+02 |-3.700000e+01 | 812.84%| unknown
21.22/21.36 c 21.4s| 1 | 0 | 5463 | - | 506M | 0 |1150 | 81k| 81k| 229 | 9 | 0 | 0 |-3.101250e+02 |-3.700000e+01 | 738.18%| unknown
22.02/22.15 c 22.1s| 1 | 0 | 6232 | - | 516M | 0 |1150 | 81k| 81k| 263 | 10 | 0 | 0 |-2.927500e+02 |-3.700000e+01 | 691.22%| unknown
22.71/22.80 c 22.8s| 1 | 0 | 7313 | - | 524M | 0 |1150 | 81k| 81k| 286 | 11 | 0 | 0 |-2.547500e+02 |-3.700000e+01 | 588.51%| unknown
23.31/23.41 c 23.4s| 1 | 0 | 8503 | - | 532M | 0 |1150 | 81k| 81k| 317 | 12 | 0 | 0 |-2.350000e+02 |-3.700000e+01 | 535.14%| unknown
24.20/24.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.20/24.37 c 24.4s| 1 | 0 | 10249 | - | 542M | 0 |1150 | 81k| 81k| 339 | 13 | 0 | 0 |-2.160000e+02 |-3.700000e+01 | 483.78%| unknown
24.91/25.01 c 25.0s| 1 | 0 | 11298 | - | 549M | 0 |1150 | 81k| 81k| 364 | 14 | 0 | 0 |-2.046250e+02 |-3.700000e+01 | 453.04%| unknown
25.90/26.08 c 26.1s| 1 | 0 | 13281 | - | 557M | 0 |1150 | 81k| 81k| 403 | 15 | 0 | 0 |-1.929167e+02 |-3.700000e+01 | 421.40%| unknown
26.79/26.95 c 26.9s| 1 | 0 | 15089 | - | 566M | 0 |1150 | 81k| 81k| 429 | 16 | 0 | 0 |-1.757500e+02 |-3.700000e+01 | 375.00%| unknown
27.79/27.98 c 28.0s| 1 | 0 | 17622 | - | 574M | 0 |1150 | 81k| 81k| 453 | 17 | 0 | 0 |-1.617500e+02 |-3.700000e+01 | 337.16%| unknown
28.28/28.49 c 28.5s| 1 | 0 | 18742 | - | 582M | 0 |1150 | 81k| 81k| 481 | 18 | 0 | 0 |-1.522917e+02 |-3.700000e+01 | 311.60%| unknown
29.28/29.40 c 29.4s| 1 | 0 | 21267 | - | 590M | 0 |1150 | 81k| 81k| 505 | 19 | 0 | 0 |-1.371250e+02 |-3.700000e+01 | 270.61%| unknown
30.07/30.24 c 30.2s| 1 | 0 | 23717 | - | 598M | 0 |1150 | 81k| 81k| 526 | 20 | 0 | 0 |-1.280833e+02 |-3.700000e+01 | 246.17%| unknown
30.47/30.64 c 30.6s| 1 | 0 | 24812 | - | 598M | 0 |1150 | 81k| 81k| 532 | 21 | 0 | 0 |-1.130000e+02 |-3.700000e+01 | 205.41%| unknown
30.67/30.88 c 30.9s| 1 | 0 | 25278 | - | 598M | 0 |1150 | 81k| 81k| 534 | 22 | 0 | 0 |-9.750000e+01 |-3.700000e+01 | 163.51%| unknown
30.87/31.04 c 31.0s| 1 | 0 | 25587 | - | 598M | 0 |1150 | 81k| 81k| 535 | 23 | 0 | 0 |-8.900000e+01 |-3.700000e+01 | 140.54%| unknown
31.07/31.22 c 31.2s| 1 | 0 | 25989 | - | 598M | 0 |1150 | 81k| 81k| 538 | 24 | 0 | 0 |-7.300000e+01 |-3.700000e+01 | 97.30%| unknown
31.47/31.60 c 31.6s| 1 | 0 | 27301 | - | 598M | 0 |1150 | 81k| 81k| 540 | 25 | 0 | 0 |-5.800000e+01 |-3.700000e+01 | 56.76%| unknown
31.67/31.80 c 31.8s| 1 | 0 | 27764 | - | 598M | 0 |1150 | 81k| 81k| 543 | 26 | 0 | 0 |-5.100000e+01 |-3.700000e+01 | 37.84%| unknown
31.77/31.94 c 31.9s| 1 | 0 | 27852 | - | 598M | 0 |1150 | 81k| 81k| 551 | 27 | 0 | 0 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
31.87/32.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
31.87/32.06 c 32.1s| 1 | 0 | 27876 | - | 599M | 0 |1150 | 81k| 81k| 554 | 28 | 0 | 0 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
31.97/32.19 c 32.2s| 1 | 0 | 27983 | - | 599M | 0 |1150 | 81k| 81k| 560 | 29 | 0 | 0 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
32.16/32.31 c 32.3s| 1 | 0 | 28039 | - | 599M | 0 |1150 | 81k| 81k| 566 | 30 | 0 | 0 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
32.26/32.42 c 32.4s| 1 | 0 | 28082 | - | 600M | 0 |1150 | 81k| 81k| 572 | 31 | 0 | 0 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
32.37/32.55 c 32.5s| 1 | 0 | 28146 | - | 600M | 0 |1150 | 81k| 81k| 581 | 32 | 0 | 0 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
32.47/32.65 c 32.6s| 1 | 0 | 28194 | - | 601M | 0 |1150 | 81k| 81k| 587 | 33 | 0 | 0 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
32.57/32.78 c 32.8s| 1 | 0 | 28276 | - | 602M | 0 |1150 | 81k| 81k| 595 | 34 | 0 | 0 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
32.77/32.92 c 32.9s| 1 | 0 | 28398 | - | 602M | 0 |1150 | 81k| 81k| 599 | 35 | 0 | 0 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
32.87/33.05 c 33.0s| 1 | 0 | 28501 | - | 602M | 0 |1150 | 81k| 81k| 606 | 36 | 0 | 0 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
32.97/33.15 c 33.2s| 1 | 0 | 28552 | - | 602M | 0 |1150 | 81k| 81k| 611 | 37 | 0 | 0 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
37.05/37.21 c 37.2s| 1 | 2 | 28623 | - | 603M | 0 |1150 | 81k| 81k| 611 | 37 | 0 | 22 |-5.000000e+01 |-3.700000e+01 | 35.14%| unknown
46.71/46.95 o -38
46.71/46.95 c d46.9s| 19 | 20 | 30446 | 127.2 |pscostdi| 16 |1150 | 81k| 81k| 0 | 1 | 0 | 180 |-5.000000e+01 |-3.800000e+01 | 31.58%| unknown
76.71/77.07 c 77.1s| 100 | 101 | 35500 | 74.2 | 677M | 22 |1150 | 81k| 81k| 764 | 1 | 4 | 566 |-5.000000e+01 |-3.800000e+01 | 31.58%| unknown
111.94/112.45 c 112s| 200 | 193 | 41879 | 69.0 | 696M | 31 |1150 | 81k| 81k| 828 | 1 | 4 |1374 |-5.000000e+01 |-3.800000e+01 | 31.58%| unknown
113.93/114.43 o -41
113.93/114.43 c * 114s| 207 | 187 | 42295 | 68.6 |strongbr| 31 |1150 | 81k| 81k| 828 | 1 | 4 |1424 |-5.000000e+01 |-4.100000e+01 | 21.95%| unknown
114.03/114.53 o -42
114.03/114.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
114.03/114.53 c * 115s| 207 | 182 | 42308 | 68.7 |strongbr| 31 |1150 | 81k| 81k| 828 | 3 | 4 |1426 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
123.58/124.18 c 124s| 300 | 253 | 46328 | 60.8 | 725M | 33 |1150 | 81k| 81k| 875 | 1 | 4 |1539 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
146.27/146.93 c 147s| 400 | 315 | 52600 | 61.3 | 757M | 33 |1150 | 81k| 81k| 981 | 1 | 4 |1730 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
156.62/157.30 c 157s| 500 | 379 | 57683 | 59.2 | 761M | 33 |1150 | 81k| 81k|1019 | 1 | 17 |1833 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
163.60/164.31 c 164s| 600 | 443 | 62545 | 57.4 | 764M | 33 |1150 | 81k| 81k|1033 | 1 | 17 |1933 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
173.56/174.31 c 174s| 700 | 511 | 67743 | 56.6 | 775M | 33 |1150 | 81k| 81k|1103 | 1 | 17 |1961 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
177.64/178.41 c 178s| 800 | 573 | 72806 | 55.9 | 776M | 33 |1150 | 81k| 81k|1110 | 2 | 23 |2009 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
183.22/184.04 c 184s| 900 | 635 | 79204 | 56.8 | 786M | 36 |1150 | 81k| 81k|1139 | 1 | 62 |2045 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
190.77/191.62 c 192s| 1000 | 735 | 93717 | 65.6 | 790M | 36 |1150 | 81k| 81k|1143 | 1 | 133 |2084 |-5.000000e+01 |-4.200000e+01 | 19.05%| unknown
191.47/192.32 o -43
191.47/192.32 c d 192s| 1012 | 687 | 94699 | 65.8 |pscostdi| 36 |1150 | 81k| 81k| 0 | 1 | 141 |2089 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
200.32/201.28 c 201s| 1100 | 775 |105297 | 70.2 | 794M | 36 |1150 | 81k| 81k|1192 | 1 | 271 |2137 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
227.71/228.78 c 229s| 1200 | 867 |115522 | 72.9 | 903M | 50 |1150 | 81k| 81k|1365 | 0 | 328 |2167 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
250.12/251.22 c 251s| 1300 | 933 |121794 | 72.1 | 918M | 53 |1150 | 81k| 81k|1534 | 0 | 373 |2181 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
258.08/259.23 c 259s| 1400 | 1011 |129476 | 72.4 | 930M | 53 |1150 | 81k| 81k|1563 | 1 | 476 |2227 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
273.42/274.69 c 275s| 1500 | 1097 |138632 | 73.7 | 949M | 54 |1150 | 81k| 81k|1669 | 1 | 530 |2263 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
294.53/295.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
294.53/295.83 c 296s| 1600 | 1181 |146237 | 73.8 | 977M | 54 |1150 | 81k| 81k|1818 | 1 | 586 |2274 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
308.77/310.13 c 310s| 1700 | 1267 |154382 | 74.3 | 980M | 54 |1150 | 81k| 81k|1899 | 1 | 611 |2283 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
322.31/323.79 c 324s| 1800 | 1335 |161033 | 73.9 | 1007M | 54 |1150 | 81k| 81k|2034 | 1 | 630 |2292 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
335.06/336.51 c 337s| 1900 | 1417 |168765 | 74.0 | 1026M | 54 |1150 | 81k| 81k|2119 | 1 | 649 |2297 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
359.37/360.94 c 361s| 2000 | 1491 |174142 | 73.0 | 1061M | 54 |1150 | 81k| 81k|2281 | 1 | 674 |2324 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
362.36/363.95 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
362.36/363.95 c (run 1, node 2038) performing user restart
362.36/363.95 c
362.36/363.97 c (restart) converted 90 cuts from the global cut pool into linear constraints
362.36/363.97 c
362.46/364.06 c presolving:
362.66/364.20 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 90 upgd conss, 0 impls, 81158 clqs
362.76/364.39 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
362.76/364.39 c 0 deleted vars, 29 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 9 changed coefficients
362.76/364.39 c 0 implications, 81158 cliques
362.76/364.39 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 81802 constraints
362.76/364.39 c 1 constraints of type <knapsack>
362.76/364.39 c 81158 constraints of type <setppc>
362.76/364.39 c 643 constraints of type <logicor>
362.76/364.39 c transformed objective value is always integral (scale: 1)
362.76/364.39 c Presolving Time: 1.85
363.05/364.67 c transformed 100/100 original solutions to the transformed problem space
363.05/364.67 c
363.35/364.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
363.35/364.97 c 365s| 1 | 0 |178056 | - | 1047M | 0 |1150 | 81k| 81k| 0 | 0 | 677 |2342 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
365.64/367.22 c 367s| 1 | 0 |178130 | - | 1047M | 0 |1150 | 81k| 81k| 10 | 1 | 677 |2342 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
368.54/370.14 c 370s| 1 | 0 |178195 | - | 1048M | 0 |1150 | 81k| 81k| 21 | 2 | 677 |2342 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
371.82/373.48 c 373s| 1 | 0 |178252 | - | 1048M | 0 |1150 | 81k| 81k| 28 | 3 | 677 |2342 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
374.42/376.08 c 376s| 1 | 0 |178340 | - | 1048M | 0 |1150 | 81k| 81k| 41 | 4 | 677 |2342 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
377.90/379.53 c 380s| 1 | 0 |178427 | - | 1048M | 0 |1150 | 81k| 81k| 52 | 5 | 677 |2342 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
378.79/380.47 c 380s| 1 | 0 |178493 | - | 1049M | 0 |1150 | 81k| 81k| 60 | 6 | 677 |2342 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
379.69/381.31 c 381s| 1 | 0 |178564 | - | 1058M | 0 |1150 | 81k| 81k| 70 | 7 | 677 |2342 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
382.48/384.17 c 384s| 1 | 0 |178645 | - | 1067M | 0 |1150 | 81k| 81k| 78 | 8 | 677 |2342 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
385.08/386.74 c 387s| 1 | 0 |178725 | - | 1077M | 0 |1150 | 81k| 81k| 86 | 9 | 677 |2342 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
387.27/388.94 c 389s| 1 | 0 |178815 | - | 1086M | 0 |1150 | 81k| 81k| 95 | 10 | 677 |2342 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
387.37/389.05 c 389s| 1 | 0 |178900 | - | 1094M | 0 |1150 | 81k| 81k| 105 | 11 | 677 |2342 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
391.85/393.56 c 394s| 1 | 2 |179567 | - | 1094M | 0 |1150 | 81k| 81k| 105 | 11 | 687 |2378 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
414.36/416.18 c 416s| 100 | 99 |187475 | 73.6 | 1145M | 42 |1150 | 81k| 81k| 174 | 1 | 770 |2648 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
442.33/444.28 c 444s| 200 | 187 |198722 | 75.3 | 1203M | 44 |1150 | 81k| 81k| 407 | 1 | 810 |2702 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
452.58/454.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
452.58/454.56 c 455s| 300 | 281 |205456 | 75.0 | 1221M | 44 |1150 | 82k| 81k| 437 | 1 | 876 |2749 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
475.68/477.72 c 478s| 400 | 379 |214730 | 75.7 | 1236M | 44 |1150 | 82k| 81k| 604 | 1 | 931 |2801 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
501.77/503.92 c 504s| 500 | 459 |224236 | 76.5 | 1310M | 44 |1150 | 82k| 81k| 858 | 1 | 963 |2858 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
514.31/516.58 c 517s| 600 | 551 |232416 | 76.7 | 1335M | 44 |1150 | 82k| 81k| 977 | 1 |1018 |2909 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
531.14/533.41 c 533s| 700 | 651 |242822 | 77.7 | 1339M | 44 |1150 | 82k| 81k|1081 | 3 |1102 |2954 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
543.28/545.61 c 546s| 800 | 747 |251848 | 78.1 | 1341M | 44 |1150 | 82k| 81k|1194 | 1 |1139 |3007 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
556.93/559.37 c 559s| 900 | 835 |259018 | 77.9 | 1345M | 44 |1150 | 82k| 81k|1345 | 1 |1171 |3055 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
565.09/567.57 c 568s| 1000 | 929 |268886 | 78.6 | 1347M | 44 |1150 | 82k| 81k|1443 | 1 |1251 |3103 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
572.35/574.83 c 575s| 1100 | 1029 |280244 | 79.7 | 1349M | 44 |1150 | 82k| 81k|1460 | 1 |1309 |3158 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
594.15/596.74 c 597s| 1200 | 1129 |289844 | 80.2 | 1365M | 44 |1150 | 82k| 81k|1541 | 3 |1412 |3212 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
604.90/607.50 c 607s| 1300 | 1227 |300306 | 80.9 | 1381M | 46 |1150 | 82k| 81k|1605 | 1 |1494 |3264 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
616.45/619.18 c 619s| 1400 | 1325 |309264 | 81.2 | 1382M | 46 |1150 | 82k| 81k|1673 | 1 |1532 |3309 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
642.45/645.27 c 645s| 1500 | 1415 |318759 | 81.6 | 1400M | 47 |1150 | 82k| 81k|1837 | 1 |1601 |3367 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
656.88/659.77 c 660s| 1600 | 1507 |328332 | 82.0 | 1403M | 47 |1150 | 82k| 81k|1965 | 1 |1653 |3418 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
678.51/681.46 c 681s| 1700 | 1599 |336956 | 82.1 | 1405M | 47 |1150 | 82k| 81k|2117 | 4 |1754 |3457 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
691.44/694.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
691.44/694.40 c 694s| 1800 | 1695 |346485 | 82.4 | 1432M | 47 |1150 | 82k| 81k|2182 | 1 |1832 |3504 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
728.71/731.81 c 732s| 1900 | 1781 |358008 | 83.3 | 1450M | 47 |1150 | 83k| 81k|2424 | 1 |1907 |3567 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
757.39/760.67 c 761s| 2000 | 1881 |369542 | 84.1 | 1453M | 47 |1150 | 83k| 81k|2576 | 3 |2062 |3613 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
799.83/803.23 c 803s| 2100 | 1975 |382435 | 85.1 | 1465M | 47 |1150 | 83k| 81k|2847 | 1 |2100 |3672 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
818.96/822.49 c 822s| 2200 | 2071 |394019 | 85.9 | 1496M | 47 |1150 | 83k| 81k|2960 | 1 |2181 |3712 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
829.51/833.08 c 833s| 2300 | 2171 |402943 | 85.9 | 1499M | 47 |1150 | 83k| 81k|3010 | 1 |2251 |3749 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
845.94/849.58 c 850s| 2400 | 2267 |413843 | 86.5 | 1501M | 47 |1150 | 83k| 81k|3077 | 1 |2329 |3791 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
867.56/871.29 c 871s| 2500 | 2363 |422244 | 86.4 | 1503M | 47 |1150 | 83k| 81k|3159 | 1 |2371 |3847 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
888.17/891.90 c 892s| 2600 | 2461 |431997 | 86.6 | 1505M | 47 |1150 | 83k| 81k|3242 | 1 |2450 |3894 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
901.02/904.81 c 905s| 2700 | 2557 |441052 | 86.7 | 1507M | 47 |1150 | 83k| 81k|3305 | 1 |2518 |3939 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
912.07/915.94 c 916s| 2800 | 2653 |449277 | 86.6 | 1509M | 47 |1150 | 83k| 81k|3375 | 3 |2554 |3971 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
924.12/928.08 c 928s| 2900 | 2749 |458262 | 86.7 | 1511M | 47 |1150 | 83k| 81k|3431 | 1 |2619 |4021 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
932.28/936.24 c 936s| 3000 | 2845 |468297 | 87.0 | 1514M | 47 |1150 | 83k| 81k|3479 | 1 |2682 |4063 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
952.40/956.49 c 956s| 3100 | 2939 |477840 | 87.1 | 1527M | 47 |1150 | 83k| 81k|3591 | 1 |2732 |4106 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
970.73/974.87 c 975s| 3200 | 3031 |487946 | 87.4 | 1552M | 47 |1150 | 83k| 81k|3675 | 1 |2809 |4156 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
999.61/1003.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
999.61/1003.87 c 1004s| 3300 | 3127 |497700 | 87.6 | 1559M | 47 |1150 | 83k| 81k|3798 | 0 |2890 |4187 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1039.56/1044.00 c 1044s| 3400 | 3223 |509895 | 88.2 | 1561M | 47 |1150 | 84k| 81k|4055 | 1 |2961 |4238 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1066.27/1070.72 c 1071s| 3500 | 3317 |517414 | 88.0 | 1564M | 47 |1150 | 84k| 81k|4249 | 1 |3007 |4271 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1081.09/1085.65 c 1086s| 3600 | 3413 |526159 | 88.0 | 1581M | 48 |1150 | 84k| 81k|4332 | 1 |3062 |4288 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1090.15/1094.73 c 1095s| 3700 | 3507 |534403 | 87.9 | 1581M | 48 |1150 | 84k| 81k|4368 | 1 |3118 |4319 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1094.63/1099.28 c 1099s| 3800 | 3603 |542663 | 87.8 | 1585M | 48 |1150 | 84k| 81k|4377 | 1 |3194 |4329 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1098.61/1103.21 c 1103s| 3900 | 3685 |550262 | 87.6 | 1587M | 48 |1150 | 84k| 81k|4391 | 3 |3236 |4329 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1108.77/1113.44 c 1113s| 4000 | 3765 |557736 | 87.4 | 1591M | 48 |1150 | 84k| 81k|4437 | 1 |3275 |4354 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1121.91/1126.61 c 1127s| 4100 | 3857 |566467 | 87.4 | 1594M | 48 |1150 | 84k| 81k|4486 | 1 |3349 |4373 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1133.47/1138.20 c 1138s| 4200 | 3939 |573789 | 87.2 | 1621M | 48 |1150 | 84k| 81k|4553 | 1 |3416 |4378 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1141.43/1146.24 c 1146s| 4300 | 4035 |583727 | 87.3 | 1625M | 48 |1150 | 84k| 81k|4624 | 1 |3492 |4392 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1152.78/1157.66 c 1158s| 4400 | 4117 |591621 | 87.2 | 1627M | 48 |1150 | 84k| 81k|4688 | 0 |3548 |4399 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1156.76/1161.63 c 1162s| 4500 | 4201 |599124 | 87.0 | 1629M | 48 |1150 | 84k| 81k|4702 | 1 |3607 |4406 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1186.84/1191.89 c 1192s| 4600 | 4291 |608063 | 87.1 | 1631M | 48 |1150 | 84k| 81k|4892 | 1 |3663 |4407 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1212.84/1217.90 c 1218s| 4700 | 4383 |616704 | 87.1 | 1635M | 48 |1150 | 84k| 81k|5060 | 1 |3719 |4413 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1236.25/1241.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1236.25/1241.48 c 1241s| 4800 | 4469 |626654 | 87.2 | 1636M | 48 |1150 | 84k| 81k|5172 | 1 |3775 |4417 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1245.32/1250.53 c 1251s| 4900 | 4565 |637383 | 87.5 | 1640M | 48 |1150 | 84k| 81k|5193 | 1 |3844 |4444 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1256.97/1262.26 c 1262s| 5000 | 4661 |646688 | 87.6 | 1642M | 48 |1150 | 84k| 81k|5238 | 1 |3882 |4451 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1290.94/1296.38 c 1296s| 5100 | 4753 |655943 | 87.7 | 1661M | 48 |1150 | 84k| 81k|5420 | 1 |3931 |4451 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1318.33/1323.82 c 1324s| 5200 | 4843 |665578 | 87.8 | 1694M | 48 |1150 | 84k| 81k|5567 | 1 |3969 |4451 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1346.82/1352.41 c 1352s| 5300 | 4941 |675490 | 87.9 | 1698M | 48 |1150 | 85k| 81k|5716 | 1 |4055 |4465 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1387.65/1393.40 c 1393s| 5400 | 5035 |685583 | 88.1 | 1702M | 48 |1150 | 85k| 81k|5947 | 1 |4087 |4467 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1414.55/1420.47 c 1420s| 5500 | 5131 |696242 | 88.4 | 1713M | 48 |1150 | 85k| 81k|6211 | 1 |4159 |4473 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1426.81/1432.77 c 1433s| 5600 | 5229 |707079 | 88.6 | 1717M | 48 |1150 | 85k| 81k|6359 | 1 |4277 |4477 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1442.44/1448.48 c 1448s| 5700 | 5319 |716509 | 88.7 | 1719M | 48 |1150 | 85k| 81k|6493 | 1 |4331 |4479 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1466.55/1472.60 c 1473s| 5800 | 5399 |724690 | 88.6 | 1737M | 48 |1150 | 85k| 81k|6619 | 1 |4376 |4485 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1478.60/1484.71 c 1485s| 5900 | 5491 |733446 | 88.6 | 1739M | 48 |1150 | 85k| 81k|6703 | 1 |4423 |4491 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1489.55/1495.75 c 1496s| 6000 | 5581 |742464 | 88.6 | 1760M | 48 |1150 | 85k| 81k|6752 | 1 |4468 |4497 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1506.18/1512.40 c 1512s| 6100 | 5679 |751605 | 88.7 | 1765M | 48 |1150 | 85k| 81k|6831 | 1 |4526 |4499 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1532.28/1538.67 c 1539s| 6200 | 5777 |761810 | 88.8 | 1805M | 48 |1150 | 85k| 81k|6950 | 1 |4677 |4501 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1556.98/1563.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1556.98/1563.46 c 1563s| 6300 | 5861 |770467 | 88.8 | 1808M | 48 |1150 | 85k| 81k|7065 | 1 |4740 |4513 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1566.74/1573.28 c 1573s| 6400 | 5953 |779347 | 88.8 | 1809M | 48 |1150 | 85k| 81k|7116 | 1 |4778 |4550 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1578.59/1585.15 c 1585s| 6500 | 6041 |788391 | 88.8 | 1812M | 48 |1150 | 85k| 81k|7181 | 1 |4857 |4576 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1597.32/1603.96 c 1604s| 6600 | 6129 |797790 | 88.9 | 1814M | 48 |1150 | 85k| 81k|7291 | 1 |4923 |4617 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1616.44/1623.12 c 1623s| 6700 | 6215 |807856 | 89.0 | 1818M | 48 |1150 | 85k| 81k|7371 | 1 |4969 |4637 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1622.32/1629.02 c 1629s| 6800 | 6305 |815133 | 88.8 | 1820M | 48 |1150 | 85k| 81k|7377 | 1 |5042 |4694 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1629.48/1636.29 c 1636s| 6900 | 6399 |822705 | 88.7 | 1822M | 48 |1150 | 85k| 81k|7393 | 1 |5106 |4721 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1634.85/1641.69 c 1642s| 7000 | 6493 |830858 | 88.6 | 1823M | 48 |1150 | 85k| 81k|7393 | 1 |5185 |4753 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1649.79/1656.65 c 1657s| 7100 | 6581 |839389 | 88.6 | 1828M | 48 |1150 | 86k| 81k|7454 | 1 |5277 |4793 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1664.32/1671.20 c 1671s| 7200 | 6677 |848089 | 88.5 | 1831M | 48 |1150 | 86k| 81k|7509 | 1 |5359 |4820 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1677.47/1684.42 c 1684s| 7300 | 6757 |855632 | 88.4 | 1832M | 48 |1150 | 86k| 81k|7566 | 1 |5402 |4862 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1694.01/1701.03 c 1701s| 7400 | 6847 |863892 | 88.3 | 1835M | 48 |1150 | 86k| 81k|7631 | 1 |5436 |4902 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1709.24/1716.31 c 1716s| 7500 | 6935 |872235 | 88.3 | 1836M | 48 |1150 | 86k| 81k|7715 | 1 |5490 |4940 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1719.60/1726.76 c 1727s| 7600 | 7027 |880433 | 88.2 | 1838M | 48 |1150 | 86k| 81k|7750 | 0 |5544 |4977 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1730.15/1737.32 c 1737s| 7700 | 7119 |888745 | 88.2 | 1839M | 48 |1150 | 86k| 81k|7812 | 1 |5601 |5004 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1735.23/1742.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1735.23/1742.45 c 1742s| 7800 | 7219 |896677 | 88.1 | 1844M | 48 |1150 | 86k| 81k|7814 | 1 |5674 |5026 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1742.50/1749.77 c 1750s| 7900 | 7313 |906976 | 88.2 | 1849M | 48 |1150 | 86k| 81k|7838 | 1 |5738 |5056 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1751.16/1758.48 c 1758s| 8000 | 7409 |917412 | 88.4 | 1852M | 48 |1150 | 86k| 81k|7899 | 1 |5852 |5065 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1756.33/1763.63 c 1764s| 8100 | 7509 |929205 | 88.7 | 1855M | 48 |1150 | 86k| 81k|7903 | 1 |5985 |5072 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1761.11/1768.41 c 1768s| 8200 | 7607 |938904 | 88.8 | 1857M | 48 |1150 | 86k| 81k|7921 | 1 |6069 |5075 |-5.000000e+01 |-4.300000e+01 | 16.28%| unknown
1766.48/1773.80 o -44
1766.48/1773.80 c o1774s| 8298 | 7699 |949887 | 89.0 |objpscos| 48 |1150 | 86k| 81k|7922 | 1 |6135 |5090 |-5.000000e+01 |-4.400000e+01 | 13.64%| unknown
1766.48/1773.82 o -45
1766.48/1773.82 c o1774s| 8298 | 7699 |949888 | 89.0 |objpscos| 48 |1150 | 86k| 81k|7922 | 1 |6135 |5090 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1766.48/1773.89 c 1774s| 8300 | 5908 |949967 | 89.0 | 1861M | 48 |1150 | 86k| 81k|7922 | 1 |6135 |5090 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1774.35/1781.75 c 1782s| 8400 | 6002 |959793 | 89.1 | 1861M | 48 |1150 | 86k| 81k|7945 | 1 |6253 |5094 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1796.37/1803.82 c 1804s| 8500 | 6070 |967602 | 89.0 | 1862M | 48 |1150 | 86k| 81k|8024 | 0 |6351 |5098 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1810.62/1818.11 c 1818s| 8600 | 6126 |974222 | 88.7 | 1862M | 48 |1150 | 86k| 81k|8095 | 1 |6401 |5104 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1824.66/1832.29 c 1832s| 8700 | 6214 |982327 | 88.7 | 1884M | 48 |1150 | 86k| 81k|8146 | 1 |6501 |5111 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1832.03/1839.60 c 1840s| 8800 | 6288 |988947 | 88.5 | 1885M | 48 |1150 | 87k| 81k|8185 | 1 |6656 |5112 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1863.50/1871.24 c 1871s| 8900 | 6350 |998884 | 88.6 | 1885M | 48 |1150 | 87k| 81k|8318 | 1 |6687 |5117 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1878.95/1886.76 c 1887s| 9000 | 6422 | 1005k| 88.4 | 1931M | 48 |1150 | 87k| 81k|8383 | 1 |6794 |5121 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1903.85/1911.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1903.85/1911.74 c 1912s| 9100 | 6498 | 1014k| 88.4 | 1933M | 48 |1150 | 87k| 81k|8509 | 1 |6925 |5124 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1939.61/1947.64 c 1948s| 9200 | 6574 | 1025k| 88.6 | 1935M | 48 |1150 | 87k| 81k|8785 | 1 |6983 |5128 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1951.07/1959.13 c 1959s| 9300 | 6642 | 1032k| 88.4 | 1935M | 48 |1150 | 87k| 81k|8839 | 0 |7052 |5130 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1970.69/1978.83 c 1979s| 9400 | 6708 | 1039k| 88.3 | 1936M | 48 |1150 | 87k| 81k|8945 | 1 |7126 |5132 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1977.76/1985.97 c 1986s| 9500 | 6760 | 1044k| 87.9 | 1936M | 48 |1150 | 87k| 81k|8985 | 1 |7175 |5136 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1986.52/1994.78 c 1995s| 9600 | 6814 | 1049k| 87.6 | 1936M | 48 |1150 | 87k| 81k|9033 | 1 |7232 |5138 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1990.00/1998.25 c 1998s| 9700 | 6870 | 1056k| 87.4 | 1937M | 48 |1150 | 87k| 81k|9048 | 1 |7273 |5142 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1994.38/2002.60 c 2003s| 9800 | 6954 | 1065k| 87.4 | 1939M | 48 |1150 | 87k| 81k|9057 | 1 |7349 |5144 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
1997.97/2006.28 c 2006s| 9900 | 7036 | 1072k| 87.3 | 1939M | 48 |1150 | 87k| 81k|9057 | 1 |7416 |5145 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2007.93/2016.27 c 2016s| 10000 | 7098 | 1080k| 87.2 | 1940M | 48 |1150 | 87k| 81k|9118 | 1 |7451 |5147 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2014.21/2022.52 c 2023s| 10100 | 7168 | 1086k| 87.0 | 1942M | 48 |1150 | 87k| 81k|9130 | 0 |7507 |5149 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2017.19/2025.59 c 2026s| 10200 | 7240 | 1092k| 86.8 | 1943M | 48 |1150 | 87k| 81k|9130 | 1 |7545 |5149 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2030.04/2038.48 c 2038s| 10300 | 7318 | 1100k| 86.8 | 1946M | 48 |1150 | 87k| 81k|9168 | 1 |7610 |5151 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2038.81/2047.28 c 2047s| 10400 | 7390 | 1107k| 86.6 | 1947M | 48 |1150 | 87k| 81k|9215 | 1 |7671 |5152 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2041.50/2049.93 c 2050s| 10500 | 7446 | 1112k| 86.3 | 1948M | 48 |1150 | 87k| 81k|9233 | 1 |7711 |5152 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2046.18/2054.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2046.18/2054.68 c 2055s| 10600 | 7534 | 1121k| 86.3 | 1951M | 48 |1150 | 87k| 81k|9244 | 1 |7816 |5152 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2052.36/2060.81 c 2061s| 10700 | 7622 | 1131k| 86.4 | 1954M | 48 |1150 | 87k| 81k|9280 | 1 |7919 |5153 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2072.39/2080.94 c 2081s| 10800 | 7688 | 1141k| 86.5 | 1955M | 48 |1150 | 87k| 81k|9400 | 1 |7948 |5154 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2086.03/2094.68 c 2095s| 10900 | 7766 | 1150k| 86.6 | 1957M | 48 |1150 | 87k| 81k|9486 | 0 |8014 |5155 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2093.80/2102.43 c 2102s| 11000 | 7842 | 1157k| 86.4 | 1961M | 48 |1150 | 87k| 81k|9501 | 1 |8099 |5156 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2106.06/2114.77 c 2115s| 11100 | 7892 | 1162k| 86.2 | 1961M | 48 |1150 | 87k| 81k|9534 | 0 |8116 |5156 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2111.74/2120.43 c 2120s| 11200 | 7964 | 1170k| 86.1 | 1964M | 48 |1150 | 88k| 81k|9560 | 1 |8196 |5175 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2117.62/2126.30 c 2126s| 11300 | 8050 | 1180k| 86.2 | 1966M | 48 |1150 | 88k| 81k|9560 | 1 |8331 |5214 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2123.30/2132.02 c 2132s| 11400 | 8142 | 1190k| 86.4 | 1968M | 48 |1150 | 88k| 81k|9560 | 1 |8452 |5244 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2158.97/2167.80 c 2168s| 11500 | 8218 | 1200k| 86.5 | 1972M | 48 |1150 | 88k| 81k|9737 | 1 |8548 |5279 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2166.54/2175.44 c 2175s| 11600 | 8272 | 1205k| 86.2 | 2002M | 48 |1150 | 88k| 81k|9753 | 1 |8582 |5306 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2173.42/2182.30 c 2182s| 11700 | 8328 | 1212k| 86.0 | 2003M | 48 |1150 | 88k| 81k|9765 | 1 |8643 |5342 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2189.86/2198.87 c 2199s| 11800 | 8398 | 1219k| 85.9 | 2013M | 48 |1150 | 88k| 81k|9861 | 2 |8711 |5361 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2198.83/2207.80 c 2208s| 11900 | 8476 | 1228k| 85.9 | 2016M | 48 |1150 | 88k| 81k|9878 | 1 |8850 |5404 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2204.51/2213.57 c 2214s| 12000 | 8546 | 1236k| 85.9 | 2018M | 48 |1150 | 88k| 81k|9896 | 1 |8909 |5427 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2210.09/2219.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2210.09/2219.14 c 2219s| 12100 | 8624 | 1246k| 86.0 | 2020M | 48 |1150 | 88k| 81k|9912 | 1 |9010 |5459 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2221.65/2230.75 c 2231s| 12200 | 8694 | 1253k| 85.9 | 2021M | 48 |1150 | 88k| 81k|9967 | 0 |9077 |5498 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2232.31/2241.44 c 2241s| 12300 | 8770 | 1263k| 86.0 | 2024M | 48 |1150 | 88k| 81k| 10k| 1 |9172 |5517 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2242.88/2252.08 c 2252s| 12400 | 8858 | 1274k| 86.2 | 2027M | 48 |1150 | 88k| 81k| 10k| 0 |9290 |5547 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2252.74/2261.96 c 2262s| 12500 | 8914 | 1280k| 86.0 | 2028M | 48 |1150 | 88k| 81k| 10k| 1 |9398 |5585 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2278.36/2287.65 c 2288s| 12600 | 8974 | 1288k| 86.0 | 2029M | 48 |1150 | 88k| 81k| 10k| 1 |9455 |5613 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2284.04/2293.39 c 2293s| 12700 | 9036 | 1296k| 86.0 | 2085M | 48 |1150 | 88k| 81k| 10k| 1 |9523 |5642 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2293.21/2302.53 c 2303s| 12800 | 9114 | 1304k| 85.9 | 2087M | 48 |1150 | 88k| 81k| 10k| 1 |9617 |5661 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2310.75/2320.15 c 2320s| 12900 | 9172 | 1310k| 85.7 | 2088M | 48 |1150 | 88k| 81k| 10k| 1 |9674 |5680 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2320.52/2329.98 c 2330s| 13000 | 9248 | 1316k| 85.5 | 2089M | 48 |1150 | 88k| 81k| 10k| 0 |9735 |5698 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2325.80/2335.24 c 2335s| 13100 | 9298 | 1320k| 85.2 | 2092M | 48 |1150 | 88k| 81k| 10k| 1 |9784 |5703 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2340.85/2350.38 c 2350s| 13200 | 9336 | 1324k| 84.9 | 2093M | 48 |1150 | 88k| 81k| 10k| 0 |9835 |5706 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2369.85/2379.48 c 2379s| 13300 | 9380 | 1329k| 84.7 | 2093M | 48 |1150 | 88k| 81k| 10k| 1 |9861 |5722 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2394.27/2403.90 c 2404s| 13400 | 9442 | 1336k| 84.6 | 2096M | 48 |1150 | 88k| 81k| 10k| 1 | 10k|5744 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2423.08/2432.85 c 2433s| 13500 | 9502 | 1346k| 84.7 | 2100M | 48 |1150 | 88k| 81k| 10k| 1 | 10k|5756 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2436.03/2445.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2436.03/2445.81 c 2446s| 13600 | 9576 | 1354k| 84.7 | 2104M | 49 |1150 | 89k| 81k| 10k| 1 | 10k|5774 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2447.89/2457.73 c 2458s| 13700 | 9642 | 1361k| 84.6 | 2106M | 49 |1150 | 89k| 81k| 11k| 1 | 10k|5781 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2460.66/2470.52 c 2471s| 13800 | 9718 | 1369k| 84.5 | 2107M | 49 |1150 | 89k| 81k| 11k| 2 | 10k|5787 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2469.73/2479.65 c 2480s| 13900 | 9770 | 1373k| 84.3 | 2108M | 49 |1150 | 89k| 81k| 11k| 1 | 10k|5790 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2483.48/2493.41 c 2493s| 14000 | 9844 | 1380k| 84.2 | 2110M | 49 |1150 | 89k| 81k| 11k| 2 | 10k|5806 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2498.03/2508.00 c 2508s| 14100 | 9906 | 1388k| 84.2 | 2113M | 49 |1150 | 89k| 81k| 11k| 1 | 10k|5810 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2518.86/2528.92 c 2529s| 14200 | 9990 | 1396k| 84.1 | 2114M | 49 |1150 | 89k| 81k| 11k| 1 | 10k|5817 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2525.04/2535.11 c 2535s| 14300 | 10052 | 1404k| 84.1 | 2118M | 49 |1150 | 89k| 81k| 11k| 1 | 10k|5819 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2527.73/2537.87 c 2538s| 14400 | 10118 | 1410k| 84.0 | 2121M | 49 |1150 | 89k| 81k| 11k| 1 | 10k|5819 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2541.08/2551.29 c 2551s| 14500 | 10178 | 1418k| 84.0 | 2122M | 49 |1150 | 89k| 81k| 11k| 1 | 10k|5820 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2544.88/2555.03 c 2555s| 14600 | 10244 | 1425k| 83.9 | 2123M | 49 |1150 | 89k| 81k| 11k| 1 | 10k|5821 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2551.16/2561.34 c 2561s| 14700 | 10292 | 1431k| 83.7 | 2124M | 49 |1150 | 89k| 81k| 11k| 0 | 10k|5822 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2554.24/2564.48 c 2564s| 14800 | 10350 | 1437k| 83.6 | 2157M | 49 |1150 | 89k| 81k| 11k| 0 | 10k|5825 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2559.03/2569.23 c 2569s| 14900 | 10442 | 1447k| 83.7 | 2163M | 49 |1150 | 89k| 81k| 11k| 1 | 10k|5827 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2566.70/2576.95 c 2577s| 15000 | 10530 | 1455k| 83.7 | 2165M | 49 |1150 | 89k| 81k| 11k| 2 | 11k|5827 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2571.38/2581.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2571.38/2581.66 c 2582s| 15100 | 10620 | 1465k| 83.8 | 2167M | 49 |1150 | 89k| 81k| 11k| 1 | 11k|5827 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2574.78/2585.01 c 2585s| 15200 | 10698 | 1472k| 83.7 | 2168M | 49 |1150 | 89k| 81k| 11k| 0 | 11k|5827 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2578.16/2588.50 c 2588s| 15300 | 10770 | 1478k| 83.5 | 2170M | 49 |1150 | 89k| 81k| 11k| 0 | 11k|5827 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2585.53/2595.84 c 2596s| 15400 | 10828 | 1483k| 83.3 | 2171M | 49 |1150 | 89k| 81k| 11k| 1 | 11k|5827 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2592.01/2602.38 c 2602s| 15500 | 10908 | 1489k| 83.2 | 2175M | 49 |1150 | 89k| 81k| 11k| 1 | 11k|5827 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2595.09/2605.43 c 2605s| 15600 | 10972 | 1495k| 83.1 | 2177M | 49 |1150 | 89k| 81k| 11k| 1 | 11k|5827 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2598.98/2609.30 c 2609s| 15700 | 11046 | 1501k| 83.0 | 2178M | 49 |1150 | 89k| 81k| 11k| 1 | 11k|5828 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2610.95/2621.33 c 2621s| 15800 | 11102 | 1507k| 82.8 | 2188M | 49 |1150 | 89k| 81k| 12k| 1 | 11k|5829 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2614.33/2624.77 c 2625s| 15900 | 11166 | 1513k| 82.7 | 2190M | 49 |1150 | 89k| 81k| 12k| 0 | 11k|5829 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2625.50/2635.95 c 2636s| 16000 | 11224 | 1519k| 82.6 | 2191M | 49 |1150 | 89k| 81k| 12k| 1 | 11k|5829 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2647.22/2657.76 c 2658s| 16100 | 11288 | 1527k| 82.5 | 2204M | 49 |1150 | 89k| 81k| 12k| 0 | 11k|5829 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2650.31/2660.80 c 2661s| 16200 | 11344 | 1532k| 82.4 | 2206M | 49 |1150 | 89k| 81k| 12k| 1 | 11k|5829 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2655.09/2665.64 c 2666s| 16300 | 11410 | 1541k| 82.4 | 2207M | 49 |1150 | 90k| 81k| 12k| 1 | 11k|5829 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2661.17/2671.73 c 2672s| 16400 | 11468 | 1547k| 82.3 | 2208M | 49 |1150 | 90k| 81k| 12k| 1 | 11k|5830 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2664.66/2675.28 c 2675s| 16500 | 11532 | 1554k| 82.2 | 2209M | 49 |1150 | 90k| 81k| 12k| 1 | 11k|5830 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2673.92/2684.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2673.92/2684.53 c 2685s| 16600 | 11582 | 1560k| 82.1 | 2210M | 49 |1150 | 90k| 81k| 12k| 1 | 11k|5830 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2678.41/2689.09 c 2689s| 16700 | 11646 | 1566k| 82.0 | 2212M | 49 |1150 | 90k| 81k| 12k| 1 | 11k|5832 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2681.41/2692.02 c 2692s| 16800 | 11702 | 1571k| 81.8 | 2213M | 49 |1150 | 90k| 81k| 12k| 1 | 11k|5834 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2700.45/2711.19 c 2711s| 16900 | 11750 | 1577k| 81.7 | 2213M | 49 |1150 | 90k| 81k| 12k| 1 | 12k|5836 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2704.03/2714.70 c 2715s| 17000 | 11802 | 1583k| 81.6 | 2214M | 49 |1150 | 90k| 81k| 13k| 1 | 12k|5836 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2707.12/2717.84 c 2718s| 17100 | 11870 | 1589k| 81.5 | 2215M | 49 |1150 | 90k| 81k| 13k| 1 | 12k|5837 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2729.44/2740.24 c 2740s| 17200 | 11936 | 1597k| 81.5 | 2217M | 49 |1150 | 90k| 81k| 13k| 1 | 12k|5837 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2742.69/2753.54 c 2754s| 17300 | 12012 | 1606k| 81.5 | 2221M | 49 |1150 | 90k| 81k| 13k| 1 | 12k|5865 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2751.47/2762.34 c 2762s| 17400 | 12096 | 1618k| 81.7 | 2290M | 49 |1150 | 90k| 81k| 13k| 1 | 12k|5887 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2755.85/2766.74 c 2767s| 17500 | 12168 | 1626k| 81.7 | 2292M | 49 |1150 | 90k| 81k| 13k| 1 | 12k|5906 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2776.38/2787.39 c 2787s| 17600 | 12248 | 1635k| 81.7 | 2294M | 49 |1150 | 90k| 81k| 13k| 1 | 12k|5930 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2782.56/2793.54 c 2794s| 17700 | 12346 | 1646k| 81.9 | 2297M | 49 |1150 | 90k| 81k| 13k| 1 | 12k|5963 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2788.43/2799.40 c 2799s| 17800 | 12436 | 1654k| 81.9 | 2300M | 49 |1150 | 90k| 81k| 13k| 0 | 12k|5999 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2796.20/2807.23 c 2807s| 17900 | 12500 | 1663k| 81.9 | 2303M | 49 |1150 | 90k| 81k| 13k| 1 | 12k|6023 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2813.45/2824.50 c 2824s| 18000 | 12598 | 1676k| 82.1 | 2304M | 49 |1150 | 90k| 81k| 13k| 1 | 12k|6045 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2824.81/2835.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2824.81/2835.96 c 2836s| 18100 | 12696 | 1686k| 82.3 | 2307M | 49 |1150 | 90k| 81k| 13k| 1 | 13k|6073 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2839.26/2850.49 c 2850s| 18200 | 12796 | 1696k| 82.4 | 2311M | 49 |1150 | 90k| 81k| 13k| 1 | 13k|6090 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2844.04/2855.25 c 2855s| 18300 | 12884 | 1705k| 82.4 | 2313M | 49 |1150 | 90k| 81k| 13k| 1 | 13k|6106 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2850.22/2861.44 c 2861s| 18400 | 12974 | 1713k| 82.4 | 2316M | 49 |1150 | 90k| 81k| 13k| 1 | 13k|6129 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2857.49/2868.78 c 2869s| 18500 | 13048 | 1719k| 82.3 | 2317M | 49 |1150 | 91k| 81k| 13k| 1 | 13k|6158 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2872.94/2884.22 c 2884s| 18600 | 13130 | 1728k| 82.3 | 2319M | 49 |1150 | 91k| 81k| 13k| 1 | 13k|6192 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2882.21/2893.57 c 2894s| 18700 | 13230 | 1740k| 82.5 | 2321M | 49 |1150 | 91k| 81k| 13k| 1 | 13k|6220 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2888.99/2900.32 c 2900s| 18800 | 13312 | 1749k| 82.5 | 2325M | 49 |1150 | 91k| 81k| 13k| 0 | 13k|6234 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2900.25/2911.69 c 2912s| 18900 | 13394 | 1756k| 82.5 | 2328M | 49 |1150 | 91k| 81k| 13k| 0 | 13k|6250 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2919.69/2931.14 c 2931s| 19000 | 13476 | 1765k| 82.5 | 2331M | 49 |1150 | 91k| 81k| 14k| 1 | 13k|6263 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2932.14/2943.64 c 2944s| 19100 | 13554 | 1775k| 82.6 | 2333M | 49 |1150 | 91k| 81k| 14k| 1 | 14k|6264 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2935.74/2947.25 c 2947s| 19200 | 13632 | 1783k| 82.5 | 2334M | 49 |1150 | 91k| 81k| 14k| 1 | 14k|6266 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2940.72/2952.27 c 2952s| 19300 | 13690 | 1789k| 82.5 | 2337M | 49 |1150 | 91k| 81k| 14k| 1 | 14k|6288 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2957.27/2968.85 c 2969s| 19400 | 13750 | 1797k| 82.4 | 2338M | 49 |1150 | 91k| 81k| 14k| 0 | 14k|6298 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2966.34/2977.91 c 2978s| 19500 | 13818 | 1803k| 82.3 | 2338M | 49 |1150 | 91k| 81k| 14k| 0 | 14k|6337 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2977.80/2989.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2977.80/2989.45 c 2989s| 19600 | 13890 | 1810k| 82.3 | 2339M | 49 |1150 | 91k| 81k| 14k| 2 | 14k|6356 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2992.55/3004.20 c 3004s| 19700 | 13946 | 1816k| 82.2 | 2341M | 49 |1150 | 91k| 81k| 14k| 0 | 14k|6359 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
2996.74/3008.40 c 3008s| 19800 | 14000 | 1822k| 82.1 | 2342M | 49 |1150 | 91k| 81k| 14k| 1 | 14k|6360 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3000.22/3011.92 c 3012s| 19900 | 14070 | 1829k| 82.0 | 2344M | 49 |1150 | 91k| 81k| 14k| 1 | 14k|6368 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3003.71/3015.49 c 3015s| 20000 | 14132 | 1836k| 81.9 | 2345M | 49 |1150 | 91k| 81k| 14k| 1 | 14k|6378 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3022.26/3034.02 c 3034s| 20100 | 14192 | 1842k| 81.9 | 2346M | 49 |1150 | 91k| 81k| 14k| 1 | 14k|6407 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3028.54/3040.35 c 3040s| 20200 | 14266 | 1849k| 81.8 | 2348M | 49 |1150 | 91k| 81k| 14k| 1 | 14k|6424 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3037.11/3048.97 c 3049s| 20300 | 14336 | 1854k| 81.7 | 2350M | 49 |1150 | 91k| 81k| 14k| 1 | 14k|6429 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3040.60/3052.44 c 3052s| 20400 | 14400 | 1861k| 81.6 | 2351M | 49 |1150 | 91k| 81k| 14k| 1 | 14k|6436 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3047.77/3059.64 c 3060s| 20500 | 14476 | 1869k| 81.6 | 2354M | 49 |1150 | 91k| 81k| 14k| 1 | 14k|6442 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3055.55/3067.41 c 3067s| 20600 | 14548 | 1877k| 81.6 | 2359M | 49 |1150 | 91k| 81k| 14k| 0 | 14k|6445 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3070.30/3082.25 c 3082s| 20700 | 14618 | 1884k| 81.5 | 2361M | 49 |1150 | 91k| 81k| 14k| 1 | 14k|6446 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3077.19/3089.16 c 3089s| 20800 | 14686 | 1890k| 81.5 | 2363M | 49 |1150 | 91k| 81k| 14k| 0 | 15k|6452 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3087.65/3099.60 c 3100s| 20900 | 14750 | 1897k| 81.4 | 2365M | 49 |1150 | 91k| 81k| 14k| 1 | 15k|6455 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3097.32/3109.35 c 3109s| 21000 | 14816 | 1904k| 81.4 | 2367M | 49 |1150 | 91k| 81k| 14k| 1 | 15k|6457 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3108.99/3121.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3108.99/3121.09 c 3121s| 21100 | 14881 | 1911k| 81.3 | 2369M | 49 |1150 | 91k| 81k| 14k| 1 | 15k|6459 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3114.76/3126.82 c 3127s| 21200 | 14941 | 1918k| 81.3 | 2370M | 49 |1150 | 91k| 81k| 14k| 1 | 15k|6461 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3122.54/3134.62 c 3135s| 21300 | 15009 | 1926k| 81.3 | 2372M | 49 |1150 | 91k| 81k| 14k| 1 | 15k|6464 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3129.11/3141.27 c 3141s| 21400 | 15093 | 1936k| 81.3 | 2376M | 49 |1150 | 91k| 81k| 14k| 1 | 15k|6465 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3132.60/3144.76 c 3145s| 21500 | 15163 | 1944k| 81.3 | 2378M | 49 |1150 | 91k| 81k| 14k| 1 | 15k|6465 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3135.59/3147.79 c 3148s| 21600 | 15231 | 1950k| 81.3 | 2381M | 49 |1150 | 91k| 81k| 14k| 1 | 15k|6465 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3152.24/3164.45 c 3164s| 21700 | 15297 | 1958k| 81.2 | 2382M | 49 |1150 | 91k| 81k| 15k| 2 | 15k|6466 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3156.12/3168.33 c 3168s| 21800 | 15373 | 1966k| 81.2 | 2385M | 49 |1150 | 91k| 81k| 15k| 0 | 15k|6469 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3159.01/3171.29 c 3171s| 21900 | 15443 | 1973k| 81.2 | 2386M | 49 |1150 | 91k| 81k| 15k| 1 | 15k|6469 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3163.19/3175.47 c 3175s| 22000 | 15523 | 1981k| 81.2 | 2389M | 49 |1150 | 91k| 81k| 15k| 1 | 15k|6475 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3171.58/3183.86 c 3184s| 22100 | 15589 | 1989k| 81.2 | 2390M | 49 |1150 | 91k| 81k| 15k| 1 | 16k|6475 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3190.72/3203.03 c 3203s| 22200 | 15649 | 1996k| 81.1 | 2392M | 49 |1150 | 91k| 81k| 15k| 1 | 16k|6475 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3207.16/3219.59 c 3220s| 22300 | 15715 | 2005k| 81.1 | 2434M | 49 |1150 | 91k| 81k| 15k| 1 | 16k|6476 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3217.63/3230.08 c 3230s| 22400 | 15771 | 2012k| 81.1 | 2435M | 49 |1150 | 91k| 81k| 15k| 1 | 16k|6476 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3235.67/3248.13 c 3248s| 22500 | 15833 | 2020k| 81.1 | 2436M | 49 |1150 | 91k| 81k| 15k| 2 | 16k|6477 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3246.93/3259.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3246.93/3259.42 c 3259s| 22600 | 15899 | 2026k| 81.0 | 2448M | 49 |1150 | 91k| 81k| 15k| 0 | 16k|6477 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3258.09/3270.67 c 3271s| 22700 | 15977 | 2034k| 81.0 | 2451M | 49 |1150 | 91k| 81k| 15k| 1 | 16k|6477 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3277.03/3289.64 c 3290s| 22800 | 16045 | 2043k| 81.1 | 2452M | 49 |1150 | 91k| 81k| 16k| 1 | 16k|6478 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3289.60/3302.20 c 3302s| 22900 | 16105 | 2050k| 81.0 | 2534M | 49 |1150 | 91k| 81k| 16k| 1 | 16k|6478 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3301.06/3313.70 c 3314s| 23000 | 16157 | 2056k| 80.9 | 2535M | 49 |1150 | 91k| 81k| 16k| 1 | 16k|6478 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3315.22/3327.90 c 3328s| 23100 | 16233 | 2062k| 80.8 | 2540M | 49 |1150 | 91k| 81k| 16k| 0 | 16k|6478 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3323.49/3336.21 c 3336s| 23200 | 16277 | 2068k| 80.8 | 2542M | 49 |1150 | 91k| 81k| 16k| 0 | 16k|6478 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3334.46/3347.23 c 3347s| 23300 | 16341 | 2073k| 80.7 | 2544M | 49 |1150 | 91k| 81k| 16k| 1 | 16k|6478 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3337.45/3350.25 c 3350s| 23400 | 16407 | 2080k| 80.6 | 2549M | 49 |1150 | 91k| 81k| 16k| 1 | 16k|6478 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3340.04/3352.88 c 3353s| 23500 | 16471 | 2085k| 80.5 | 2550M | 49 |1150 | 91k| 81k| 16k| 1 | 16k|6478 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3343.42/3356.21 c 3356s| 23600 | 16549 | 2092k| 80.5 | 2554M | 49 |1150 | 91k| 81k| 16k| 1 | 16k|6478 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3346.61/3359.43 c 3359s| 23700 | 16619 | 2100k| 80.4 | 2557M | 49 |1150 | 91k| 81k| 16k| 1 | 16k|6478 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3349.21/3362.09 c 3362s| 23800 | 16679 | 2105k| 80.3 | 2558M | 49 |1150 | 91k| 81k| 16k| 0 | 16k|6478 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3359.97/3372.87 c 3373s| 23900 | 16747 | 2113k| 80.3 | 2559M | 49 |1150 | 91k| 81k| 16k| 1 | 16k|6478 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3389.09/3402.05 c 3402s| 24000 | 16821 | 2122k| 80.4 | 2560M | 49 |1150 | 91k| 81k| 16k| 1 | 17k|6479 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3400.54/3413.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3400.54/3413.59 c 3414s| 24100 | 16895 | 2131k| 80.4 | 2570M | 49 |1150 | 91k| 81k| 16k| 1 | 17k|6480 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3404.03/3417.01 c 3417s| 24200 | 16971 | 2137k| 80.3 | 2571M | 49 |1150 | 91k| 81k| 16k| 1 | 17k|6480 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3418.09/3431.16 c 3431s| 24300 | 17035 | 2144k| 80.3 | 2572M | 49 |1150 | 91k| 81k| 16k| 1 | 17k|6480 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3449.69/3462.87 c 3463s| 24400 | 17099 | 2152k| 80.3 | 2606M | 49 |1150 | 91k| 81k| 17k| 0 | 17k|6481 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3491.05/3504.36 c 3504s| 24500 | 17169 | 2164k| 80.4 | 2707M | 49 |1150 | 91k| 81k| 17k| 1 | 17k|6481 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3527.53/3540.98 c 3541s| 24600 | 17247 | 2176k| 80.6 | 2773M | 49 |1150 | 91k| 81k| 18k| 1 | 17k|6481 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3549.86/3563.31 c 3563s| 24700 | 17313 | 2184k| 80.6 | 2791M | 49 |1150 | 91k| 81k| 18k| 1 | 17k|6481 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3555.84/3569.30 c 3569s| 24800 | 17351 | 2189k| 80.5 | 2809M | 60 |1150 | 91k| 81k| 18k| 1 | 17k|6481 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3569.29/3582.80 c 3583s| 24900 | 17377 | 2194k| 80.3 | 2816M | 65 |1150 | 91k| 81k| 18k| 1 | 17k|6481 |-5.000000e+01 |-4.500000e+01 | 11.11%| unknown
3583.35/3597.00 c
3583.35/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3583.35/3597.00 c Solving Time (sec) : 3597.00
3583.35/3597.00 c Solving Nodes : 24976 (total of 27014 nodes in 2 runs)
3583.35/3597.00 c Primal Bound : -4.50000000000000e+01 (842 solutions)
3583.35/3597.00 c Dual Bound : -5.00000000000000e+01
3583.35/3597.00 c Gap : 11.11 %
3583.46/3597.02 s SATISFIABLE
3583.46/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
3583.46/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
3583.46/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
3583.46/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
3583.46/3597.02 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
3583.46/3597.02 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3583.46/3597.02 v -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
3583.46/3597.02 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 x185 -x186 -x187
3583.46/3597.02 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
3583.46/3597.02 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229
3583.46/3597.02 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
3583.46/3597.02 v -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
3583.46/3597.02 v -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
3583.46/3597.02 v -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313
3583.46/3597.02 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334
3583.46/3597.02 v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 -x352 -x353 -x354 -x355
3583.46/3597.02 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
3583.46/3597.02 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397
3583.46/3597.02 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
3583.46/3597.02 v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
3583.46/3597.02 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459
3583.46/3597.02 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
3583.46/3597.02 v x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
3583.46/3597.02 v -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
3583.46/3597.02 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
3583.46/3597.02 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
3583.46/3597.02 v -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
3583.46/3597.02 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606
3583.46/3597.02 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627
3583.46/3597.02 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
3583.46/3597.02 v -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
3583.46/3597.02 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690
3583.46/3597.02 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711
3583.46/3597.02 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732
3583.46/3597.02 v -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
3583.46/3597.02 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774
3583.46/3597.02 v -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795
3583.46/3597.02 v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816
3583.46/3597.02 v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 x835 -x836 -x837
3583.46/3597.02 v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858
3583.46/3597.02 v -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879
3583.46/3597.02 v -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
3583.46/3597.02 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921
3583.46/3597.02 v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942
3583.46/3597.02 v -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962
3583.46/3597.02 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983
3583.46/3597.02 v -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004
3583.46/3597.02 v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
3583.46/3597.02 v -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
3583.46/3597.02 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
3583.46/3597.02 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075
3583.46/3597.02 v -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
3583.46/3597.02 v -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
3583.46/3597.02 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
3583.46/3597.02 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
3583.46/3597.02 v -x1148 x1149 -x1150
3583.46/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3583.46/3597.02 c Total Time : 3597.00
3583.46/3597.02 c solving : 3597.00
3583.46/3597.02 c presolving : 1.85 (included in solving)
3583.46/3597.02 c reading : 0.12 (included in solving)
3583.46/3597.02 c copying : 2.85 (30 #copies) (minimal 0.08, maximal 0.13, average 0.09)
3583.46/3597.02 c Original Problem :
3583.46/3597.02 c Problem name : HOME/instance-4432701-1721054646.opb
3583.46/3597.02 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.46/3597.02 c Constraints : 81068 initial, 81068 maximal
3583.46/3597.02 c Objective : minimize, 1150 non-zeros (abs.min = 1, abs.max = 1)
3583.46/3597.02 c Presolved Problem :
3583.46/3597.02 c Problem name : t_HOME/instance-4432701-1721054646.opb
3583.46/3597.02 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.46/3597.02 c Constraints : 81802 initial, 91234 maximal
3583.46/3597.02 c Objective : minimize, 1150 non-zeros (abs.min = 1, abs.max = 1)
3583.46/3597.02 c Nonzeros : 184992 constraint, 163618 clique table
3583.46/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3583.46/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c domcol : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c dualsparsify : 0.51 0.00 1 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c gateextraction : 0.09 0.00 2 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c milp : 0.23 0.00 1 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c sparsify : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c dualfix : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c probing : 0.31 0.00 1 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c knapsack : 0.00 0.00 6 0 0 0 0 0 0 0 0 4
3583.46/3597.02 c setppc : 0.19 0.01 9 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c linear : 0.22 0.02 4 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c logicor : 0.07 0.01 5 0 0 0 0 0 29 0 0 5
3583.46/3597.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c components : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c root node : - - - 0 - - 0 - - - - -
3583.46/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3583.46/3597.02 c benderslp : 0 0 0 0 24189 0 0 4515 0 0 0 0 0 0 0
3583.46/3597.02 c integral : 0 0 0 0 24189 0 0 4515 0 1 548 0 0 902 47800
3583.46/3597.02 c knapsack : 1+ 13 0 12958 0 0 0 0 10 2 481 0 0 0 0
3583.46/3597.02 c setppc : 81158 81158 48 183455 0 0 0 4509 630644 0 636510 0 0 0 0
3583.46/3597.02 c linear : 0+ 41 0 30424 0 0 0 2 6 22 2 0 0 0 0
3583.46/3597.02 c logicor : 643+ 10033 11 41505 0 0 0 0 121 480 94 0 0 0 0
3583.46/3597.02 c benders : 0 0 0 0 0 0 0 1161 0 0 0 0 0 0 0
3583.46/3597.02 c fixedvar : 0 0 0 0 0 0 0 1161 0 0 0 0 0 0 0
3583.46/3597.02 c countsols : 0 0 0 0 0 0 0 1161 0 0 0 0 0 0 0
3583.46/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3583.46/3597.02 c benderslp : 0.01 0.00 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00
3583.46/3597.02 c integral : 285.66 0.00 0.00 0.00 285.64 0.00 0.00 0.02 0.00 0.00
3583.46/3597.02 c knapsack : 0.05 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3583.46/3597.02 c setppc : 22.76 0.01 0.17 14.85 0.00 0.00 0.00 4.10 0.13 3.51
3583.46/3597.02 c linear : 0.10 0.02 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.00
3583.46/3597.02 c logicor : 1.88 0.01 0.00 1.75 0.00 0.00 0.00 0.00 0.00 0.13
3583.46/3597.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.46/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.46/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.46/3597.02 c components : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3583.46/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3583.46/3597.02 c dualfix : 3 0 0 0
3583.46/3597.02 c genvbounds : 0 0 0 0
3583.46/3597.02 c nlobbt : 0 0 0 0
3583.46/3597.02 c obbt : 0 0 0 0
3583.46/3597.02 c probing : 0 0 0 0
3583.46/3597.02 c pseudoobj : 72333 0 0 0
3583.46/3597.02 c redcost : 2311 0 0 6
3583.46/3597.02 c rootredcost : 5 0 0 0
3583.46/3597.02 c symmetry : 0 0 0 0
3583.46/3597.02 c vbounds : 54392 0 0 0
3583.46/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3583.46/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3583.46/3597.02 c genvbounds : 0.04 0.00 0.00 0.04 0.00 0.01
3583.46/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.46/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.46/3597.02 c probing : 0.31 0.00 0.31 0.00 0.00 0.00
3583.46/3597.02 c pseudoobj : 3.80 0.00 0.00 3.79 0.00 0.00
3583.46/3597.02 c redcost : 0.10 0.00 0.00 0.10 0.00 0.00
3583.46/3597.02 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.00
3583.46/3597.02 c symmetry : 0.10 0.00 0.04 0.05 0.00 0.01
3583.46/3597.02 c vbounds : 0.09 0.00 0.01 0.07 0.00 0.01
3583.46/3597.02 c Symmetry :
3583.46/3597.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3583.46/3597.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3583.46/3597.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3583.46/3597.02 c shadow tree time : 0.00 s
3583.46/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3583.46/3597.02 c propagation : 0.01 504 299 - 584 64.7 0 0.0 - - -
3583.46/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3583.46/3597.02 c bound exceed. LP : 12.18 4377 2659 - 40933 178.2 0 0.0 289 145.0 8945
3583.46/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3583.46/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3583.46/3597.02 c applied globally : 3.65 - - 0 17150 32.6 - - 289 - -
3583.46/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3583.46/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3583.46/3597.02 c cut pool : 3.12 - 7366 94 - - 100153 155440 - - - - - (maximal pool size: 3663)
3583.46/3597.02 c aggregation : 10.64 0.00 2236 48 0 0 17 89 0 4 4 0 0
3583.46/3597.02 c > cmir : - - - - - - - 51 0 3 3 0 -
3583.46/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3583.46/3597.02 c > knapsackcover : - - - - - - - 38 0 1 1 0 -
3583.46/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c clique : 0.59 0.00 48 48 0 0 442 1410 0 450 450 0 0
3583.46/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c gomory : 2226.56 0.00 2071 20 0 0 94222 127426 2686 7132 7111 21 0
3583.46/3597.02 c > gomorymi : - - - - - - - 42262 1357 507 494 13 -
3583.46/3597.02 c > strongcg : - - - - - - - 85164 1329 6625 6617 8 -
3583.46/3597.02 c impliedbounds : 2.68 0.00 2237 48 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c mcf : 0.06 0.00 2 2 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c multilinear : 0.00 0.00 555 48 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c rapidlearning : 1.70 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c rlt : 0.00 0.00 777 20 0 0 0 0 0 0 0 0 0
3583.46/3597.02 c zerohalf : 11.59 0.00 2081 31 0 0 8853 26515 695 13917 13614 303 0
3583.46/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3583.46/3597.02 c hybrid : 0.10 0.00 3905 48 21503 0 137318 716 0 3548
3583.46/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3583.46/3597.02 c problem variables: 0.00 - 0 0
3583.46/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3583.46/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c relpscost : 285.60 0.00 24189 0 0 1 548 0 1105 47800
3583.46/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3583.46/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3583.46/3597.02 c LP solutions : 0.00 - - 0 0
3583.46/3597.02 c relax solutions : 0.00 - - 0 0
3583.46/3597.02 c pseudo solutions : 0.00 - - 0 0
3583.46/3597.02 c strong branching : 1.39 - - 318 2
3583.46/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3583.46/3597.02 c adaptivediving : 2.76 0.00 56 0 0
3583.46/3597.02 c alns : 1.22 0.00 5 0 0
3583.46/3597.02 c bound : 0.00 0.00 0 0 0
3583.46/3597.02 c clique : 0.16 0.00 1 1 1
3583.46/3597.02 c coefdiving : 0.00 0.00 0 0 0
3583.46/3597.02 c completesol : 0.00 0.00 0 0 0
3583.46/3597.02 c conflictdiving : 16.32 0.00 373 0 0
3583.46/3597.02 c crossover : 3.78 0.00 13 4 0
3583.46/3597.02 c dins : 0.00 0.00 0 0 0
3583.46/3597.02 c distributiondivin: 52.03 0.00 373 0 0
3583.46/3597.02 c dps : 0.00 0.00 0 0 0
3583.46/3597.02 c dualval : 0.00 0.00 0 0 0
3583.46/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3583.46/3597.02 c feasjump : 0.00 0.00 0 0 0
3583.46/3597.02 c feaspump : 0.00 0.00 0 0 0
3583.46/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3583.46/3597.02 c fracdiving : 15.93 0.00 373 1 0
3583.46/3597.02 c gins : 0.13 0.00 0 0 0
3583.46/3597.02 c guideddiving : 13.38 0.00 373 0 0
3583.46/3597.02 c indcoefdiving : 0.00 0.00 0 0 0
3583.46/3597.02 c indicator : 0.02 0.00 0 0 0
3583.46/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3583.46/3597.02 c indoneopt : 0.02 0.00 0 0 0
3583.46/3597.02 c indrounding : 0.00 0.00 0 0 0
3583.46/3597.02 c indtwoopt : 0.00 0.00 0 0 0
3583.46/3597.02 c intdiving : 0.00 0.00 0 0 0
3583.46/3597.02 c intshifting : 0.00 0.00 0 0 0
3583.46/3597.02 c linesearchdiving : 17.25 0.00 373 0 0
3583.46/3597.02 c localbranching : 0.00 0.00 0 0 0
3583.46/3597.02 c locks : 0.08 0.00 1 0 0
3583.46/3597.02 c lpface : 0.04 0.00 0 0 0
3583.46/3597.02 c mpec : 0.00 0.00 0 0 0
3583.46/3597.02 c multistart : 0.00 0.00 0 0 0
3583.46/3597.02 c mutation : 0.00 0.00 0 0 0
3583.46/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3583.46/3597.02 c objpscostdiving : 45.91 0.00 187 185 2
3583.46/3597.02 c octane : 0.00 0.00 0 0 0
3583.46/3597.02 c ofins : 0.01 0.00 0 0 0
3583.46/3597.02 c oneopt : 0.05 0.00 5 0 0
3583.46/3597.02 c padm : 0.00 0.00 0 0 0
3583.46/3597.02 c proximity : 0.00 0.00 0 0 0
3583.46/3597.02 c pscostdiving : 26.15 0.00 373 10 2
3583.46/3597.02 c randrounding : 4.33 0.00 3433 38 0
3583.46/3597.02 c rens : 2.37 0.00 2 1 0
3583.46/3597.02 c reoptsols : 0.00 0.00 0 0 0
3583.46/3597.02 c repair : 0.00 0.00 0 0 0
3583.46/3597.02 c rins : 2.98 0.00 10 6 0
3583.46/3597.02 c rootsoldiving : 45.46 0.00 186 93 0
3583.46/3597.02 c rounding : 7.15 0.00 2312 0 0
3583.46/3597.02 c scheduler : 0.00 0.00 0 0 0
3583.46/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3583.46/3597.02 c shifting : 4.05 0.00 1054 0 0
3583.46/3597.02 c simplerounding : 0.41 0.00 28094 32 0
3583.46/3597.02 c smallcard : 0.00 0.00 0 0 0
3583.46/3597.02 c subnlp : 0.02 0.00 0 0 0
3583.46/3597.02 c trivial : 0.00 0.00 4 1 1
3583.46/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3583.46/3597.02 c trustregion : 0.00 0.00 0 0 0
3583.46/3597.02 c trysol : 0.01 0.00 0 0 0
3583.46/3597.02 c twoopt : 0.00 0.00 0 0 0
3583.46/3597.02 c undercover : 0.00 0.00 0 0 0
3583.46/3597.02 c vbounds : 0.40 0.00 2 2 1
3583.46/3597.02 c veclendiving : 13.82 0.00 373 0 0
3583.46/3597.02 c zeroobj : 0.00 0.00 0 0 0
3583.46/3597.02 c zirounding : 23.77 0.00 7501 150 0
3583.46/3597.02 c other solutions : - - - 0 -
3583.46/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
3583.46/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
3583.46/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
3583.46/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
3583.46/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
3583.46/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
3583.46/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
3583.46/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
3583.46/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
3583.46/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
3583.46/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3583.46/3597.02 c primal LP : 11.50 2079 0 0.00 0.00 11.50 2079
3583.46/3597.02 c dual LP : 476.64 31211 1689554 54.24 3544.73 0.40 59
3583.46/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3583.46/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3583.46/3597.02 c resolve instable : 0.00 0 0 0.00 -
3583.46/3597.02 c diving/probing LP: 162.81 13756 508781 36.99 3124.94
3583.46/3597.02 c strong branching : 147.55 6481 453577 69.99 3074.14 - - 1775
3583.46/3597.02 c (at root node) : - 58 7022 121.07 -
3583.46/3597.02 c conflict analysis: 4.03 916 8945 9.77 2221.96
3583.46/3597.02 c B&B Tree :
3583.46/3597.02 c number of runs : 2
3583.46/3597.02 c nodes : 24976 (22084 internal, 2892 leaves)
3583.46/3597.02 c feasible leaves : 0
3583.46/3597.02 c infeas. leaves : 1
3583.46/3597.02 c objective leaves : 2890
3583.46/3597.02 c nodes (total) : 27014 (23900 internal, 3114 leaves)
3583.46/3597.02 c nodes left : 17400
3583.46/3597.02 c max depth : 65
3583.46/3597.02 c max depth (total): 65
3583.46/3597.02 c backtracks : 4721 (18.9%)
3583.46/3597.02 c early backtracks : 0 (0.0%)
3583.46/3597.02 c nodes exc. ref. : 0 (0.0%)
3583.46/3597.02 c delayed cutoffs : 1
3583.46/3597.02 c repropagations : 69 (69 domain reductions, 1 cutoffs)
3583.46/3597.02 c avg switch length: 6.26
3583.46/3597.02 c switching time : 64.59
3583.46/3597.02 c Root Node :
3583.46/3597.02 c First LP value : -5.75000000000000e+02
3583.46/3597.02 c First LP Iters : 1150 (2467.99 Iter/sec)
3583.46/3597.02 c First LP Time : 0.47
3583.46/3597.02 c Final Dual Bound : -5.00000000000000e+01
3583.46/3597.02 c Final Root Iters : 30209
3583.46/3597.02 c Root LP Estimate : -4.27930732650495e+01
3583.46/3597.02 c Solution :
3583.46/3597.02 c Solutions found : 842 (9 improvements)
3583.46/3597.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.21 seconds, depth 0, found by <trivial>)
3583.46/3597.02 c Gap First Sol. : infinite
3583.46/3597.02 c Gap Last Sol. : 11.11 %
3583.46/3597.02 c Primal Bound : -4.50000000000000e+01 (in run 2, after 8298 nodes, 1773.81 seconds, depth 36, found by <objpscostdiving>)
3583.46/3597.02 c Dual Bound : -5.00000000000000e+01
3583.46/3597.02 c Gap : 11.11 %
3583.46/3597.02 c Integrals : Total Avg%
3583.46/3597.02 c primal-dual : 46430.63 12.91
3583.46/3597.02 c primal-ref : - - (not evaluated)
3583.46/3597.02 c dual-ref : - - (not evaluated)
3583.75/3597.33 c Time complete: 3583.79.
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 (58964 MiB free)
memory of node 1: 64510 MiB (61272 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432701-1721054646/watcher-4432701-1721054646 -o /tmp/evaluation-result-4432701-1721054646/solver-4432701-1721054646 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721051059-830871 --watchdog 3760 pbscip -f HOME/instance-4432701-1721054646.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=833663, runsolver pid=833660
[startup+0.100938 s]*
/proc/loadavg: 4.10 4.16 4.14 5/259 833664
/proc/meminfo: memFree=123115612/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=90252 memory=49292 CPUtime=0.09 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 9325 0 0 0 8 1 0 0 20 0 1 0 157629952 92418048 12323 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 22563 12323 3277 3540 0 10820 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 90252 KiB
Current children cumulated memory: 49292 KiB
[startup+0.20558 s]*
/proc/loadavg: 4.10 4.16 4.14 5/259 833664
/proc/meminfo: memFree=123030056/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=150052 memory=110352 CPUtime=0.19 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 24712 0 0 0 16 3 0 0 20 0 1 0 157629952 153653248 27588 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 37513 27588 3581 3540 0 25770 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 150052 KiB
Current children cumulated memory: 110352 KiB
[startup+0.305605 s]*
/proc/loadavg: 4.10 4.16 4.14 5/259 833664
/proc/meminfo: memFree=123032424/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=163504 memory=123468 CPUtime=0.3 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 27927 0 0 0 26 4 0 0 20 0 1 0 157629952 167428096 30867 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 40876 30867 3629 3540 0 29133 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 163504 KiB
Current children cumulated memory: 123468 KiB
[startup+0.700188 s]
/proc/loadavg: 4.10 4.16 4.14 5/259 833664
/proc/meminfo: memFree=122989608/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=195340 memory=154764 CPUtime=0.68 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 48383 0 0 0 61 7 0 0 20 0 1 0 157629952 200028160 38691 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 48835 38691 3740 3540 0 37092 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 195340 KiB
Current children cumulated memory: 154764 KiB
[startup+1.50022 s]
/proc/loadavg: 4.10 4.15 4.14 5/259 833664
/proc/meminfo: memFree=123000492/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=355392 memory=287748 CPUtime=1.48 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 55693 0 0 0 138 10 0 0 20 0 1 0 157629952 363921408 71937 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 88848 71937 3788 3540 0 77105 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 355392 KiB
Current children cumulated memory: 287748 KiB
[startup+3.1057 s]
/proc/loadavg: 4.10 4.15 4.14 5/259 833664
/proc/meminfo: memFree=122431156/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=497944 memory=427608 CPUtime=3.07 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 80791 0 0 0 292 15 0 0 20 0 1 0 157629952 509894656 106902 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 124486 106902 3964 3540 0 112743 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 497944 KiB
Current children cumulated memory: 427608 KiB
[startup+6.30022 s]
/proc/loadavg: 4.17 4.17 4.14 5/259 833664
/proc/meminfo: memFree=122371484/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=545824 memory=457084 CPUtime=6.26 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 87087 0 0 0 609 17 0 0 20 0 1 0 157629952 558923776 114271 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 136456 114271 3980 3540 0 124713 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 545824 KiB
Current children cumulated memory: 457084 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.16 4.14 5/259 833667
/proc/meminfo: memFree=122360992/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=554692 memory=457084 CPUtime=12.64 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 87103 0 0 0 1247 17 0 0 20 0 1 0 157629952 568004608 114271 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 138673 114271 3980 3540 0 126930 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 554692 KiB
Current children cumulated memory: 457084 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.16 4.14 5/259 833668
/proc/meminfo: memFree=122343024/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=654176 memory=473808 CPUtime=25.4 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 90813 0 0 0 2522 18 0 0 20 0 1 0 157629952 669876224 118452 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 163544 118452 3980 3540 0 151801 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 654176 KiB
Current children cumulated memory: 473808 KiB
[startup+51.1052 s]
/proc/loadavg: 4.16 4.16 4.14 5/259 833673
/proc/meminfo: memFree=122118304/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=787312 memory=575764 CPUtime=50.9 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 115252 0 0 0 5067 23 0 0 20 0 1 0 157629952 806207488 143941 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 196828 143941 4006 3540 0 185085 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 787312 KiB
Current children cumulated memory: 575764 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/256 833682
/proc/meminfo: memFree=122004488/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=861712 memory=634648 CPUtime=101.9 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 143296 0 0 0 10162 28 0 0 20 0 1 0 157629952 882393088 158662 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 215428 158662 4006 3540 0 203685 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 861712 KiB
Current children cumulated memory: 634648 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/256 833692
/proc/meminfo: memFree=121906772/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=944148 memory=717164 CPUtime=161.61 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 164162 0 0 0 16129 32 0 0 20 0 1 0 157629952 966807552 179291 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 236037 179291 4006 3540 0 224294 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 944148 KiB
Current children cumulated memory: 717164 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/255 833749
/proc/meminfo: memFree=122538364/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=1002364 memory=726348 CPUtime=221.34 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 165949 0 0 0 22102 32 0 0 20 0 1 0 157629952 1026420736 181587 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 250591 181587 4006 3540 0 238848 0
Current children cumulated CPU time: 221.34 s
Current children cumulated vsize: 1002364 KiB
Current children cumulated memory: 726348 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/255 833760
/proc/meminfo: memFree=122326308/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=1084796 memory=779192 CPUtime=281.1 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 178172 0 0 0 28075 35 0 0 20 0 1 0 157629952 1110831104 194798 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 271199 194798 4006 3540 0 259456 0
Current children cumulated CPU time: 281.1 s
Current children cumulated vsize: 1084796 KiB
Current children cumulated memory: 779192 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/255 833771
/proc/meminfo: memFree=122135068/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=1159524 memory=845992 CPUtime=340.84 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 193379 0 0 0 34047 37 0 0 20 0 1 0 157629952 1187352576 211498 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 289881 211498 4006 3540 0 278138 0
Current children cumulated CPU time: 340.84 s
Current children cumulated vsize: 1159524 KiB
Current children cumulated memory: 845992 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/257 833786
/proc/meminfo: memFree=121958036/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=1272176 memory=900224 CPUtime=400.6 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 207429 0 0 0 40020 40 0 0 20 0 1 0 157629952 1302708224 225056 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 318044 225056 4006 3540 0 306301 0
Current children cumulated CPU time: 400.6 s
Current children cumulated vsize: 1272176 KiB
Current children cumulated memory: 900224 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/257 833797
/proc/meminfo: memFree=121842684/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=1345148 memory=929580 CPUtime=460.35 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 210134 0 0 0 45994 41 0 0 20 0 1 0 157629952 1377431552 232395 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 336287 232395 4006 3540 0 324544 0
################
# More data... #
################
/proc/loadavg: 4.10 4.12 4.09 5/256 835641
/proc/meminfo: memFree=119050424/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2535620 memory=2127240 CPUtime=3209.95 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 426942 0 0 0 320887 108 0 0 20 0 1 0 157629952 2596474880 531810 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 633905 531810 4141 3540 0 622162 0
Current children cumulated CPU time: 3209.95 s
Current children cumulated vsize: 2535620 KiB
Current children cumulated memory: 2127240 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 835651
/proc/meminfo: memFree=119001576/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2535620 memory=2142796 CPUtime=3269.75 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 427951 0 0 0 326867 108 0 0 20 0 1 0 157629952 2596474880 535699 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 633905 535699 4141 3540 0 622162 0
Current children cumulated CPU time: 3269.75 s
Current children cumulated vsize: 2535620 KiB
Current children cumulated memory: 2142796 KiB
[startup+3342.3 s]
/proc/loadavg: 4.48 4.20 4.12 5/256 835662
/proc/meminfo: memFree=118858284/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2613204 memory=2150988 CPUtime=3329.57 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 429036 0 0 0 332848 109 0 0 20 0 1 0 157629952 2675920896 537747 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 653301 537747 4141 3540 0 641558 0
Current children cumulated CPU time: 3329.57 s
Current children cumulated vsize: 2613204 KiB
Current children cumulated memory: 2150988 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.19 4.12 5/259 835679
/proc/meminfo: memFree=118841620/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2619540 memory=2161472 CPUtime=3389.38 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 430688 0 0 0 338828 110 0 0 20 0 1 0 157629952 2682408960 540368 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 654885 540368 4141 3540 0 643142 0
Current children cumulated CPU time: 3389.38 s
Current children cumulated vsize: 2619540 KiB
Current children cumulated memory: 2161472 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/258 835689
/proc/meminfo: memFree=118775848/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2663980 memory=2183724 CPUtime=3449.19 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 432627 0 0 0 344809 110 0 0 20 0 1 0 157629952 2727915520 545931 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 665995 545931 4141 3540 0 654252 0
Current children cumulated CPU time: 3449.19 s
Current children cumulated vsize: 2663980 KiB
Current children cumulated memory: 2183724 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/258 835700
/proc/meminfo: memFree=118621588/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2777340 memory=2211448 CPUtime=3508.99 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 435190 0 0 0 350788 111 0 0 20 0 1 0 157629952 2843996160 552862 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 694335 552862 4141 3540 0 682592 0
Current children cumulated CPU time: 3508.99 s
Current children cumulated vsize: 2777340 KiB
Current children cumulated memory: 2211448 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/258 835711
/proc/meminfo: memFree=118555036/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2869596 memory=2231924 CPUtime=3568.8 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 438561 0 0 0 356768 112 0 0 20 0 1 0 157629952 2938466304 557981 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 717399 557981 4141 3540 0 705656 0
Current children cumulated CPU time: 3568.8 s
Current children cumulated vsize: 2869596 KiB
Current children cumulated memory: 2231924 KiB
[startup+3597.34 s]
# the end of solver process 833663 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.66 s, system=1.14438 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.16 4.11 5/258 835711
/proc/meminfo: memFree=118554812/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2869596 memory=2232156 CPUtime=3570.5 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 438601 0 0 0 356938 112 0 0 20 0 1 0 157629952 2938466304 558039 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 717399 558039 4141 3540 0 705656 0
Current children cumulated CPU time: 3570.5 s
Current children cumulated vsize: 2869596 KiB
Current children cumulated memory: 2232156 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.16 4.11 5/258 835714
/proc/meminfo: memFree=118554616/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2877224 memory=2232200 CPUtime=3576.87 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 438686 0 0 0 357575 112 0 0 20 0 1 0 157629952 2946277376 558050 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 719306 558050 4141 3540 0 707563 0
Current children cumulated CPU time: 3576.87 s
Current children cumulated vsize: 2877224 KiB
Current children cumulated memory: 2232200 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.16 4.11 5/258 835714
/proc/meminfo: memFree=118553984/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2877224 memory=2232276 CPUtime=3580.06 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 438753 0 0 0 357894 112 0 0 20 0 1 0 157629952 2946277376 558069 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 719306 558069 4141 3540 0 707563 0
Current children cumulated CPU time: 3580.06 s
Current children cumulated vsize: 2877224 KiB
Current children cumulated memory: 2232276 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.16 4.11 5/258 835714
/proc/meminfo: memFree=118553900/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2884840 memory=2232396 CPUtime=3581.66 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 438816 0 0 0 358054 112 0 0 20 0 1 0 157629952 2954076160 558099 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 721210 558099 4141 3540 0 709467 0
Current children cumulated CPU time: 3581.66 s
Current children cumulated vsize: 2884840 KiB
Current children cumulated memory: 2232396 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.16 4.11 5/258 835714
/proc/meminfo: memFree=118553676/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2884840 memory=2232560 CPUtime=3582.46 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 439036 0 0 0 358134 112 0 0 20 0 1 0 157629952 2954076160 558140 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 721210 558140 4141 3540 0 709467 0
Current children cumulated CPU time: 3582.46 s
Current children cumulated vsize: 2884840 KiB
Current children cumulated memory: 2232560 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.16 4.11 5/258 835714
/proc/meminfo: memFree=118553676/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2884840 memory=2232560 CPUtime=3583.25 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 439036 0 0 0 358213 112 0 0 20 0 1 0 157629952 2954076160 558140 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 721210 558140 4141 3540 0 709467 0
Current children cumulated CPU time: 3583.25 s
Current children cumulated vsize: 2884840 KiB
Current children cumulated memory: 2232560 KiB
[startup+3597.2 s]
/proc/loadavg: 4.12 4.15 4.11 4/253 835722
/proc/meminfo: memFree=121042296/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2884840 memory=2233304 CPUtime=3583.65 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 439281 0 0 0 358253 112 0 0 20 0 1 0 157629952 2954076160 558326 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 721210 558326 4141 3540 0 709467 0
Current children cumulated CPU time: 3583.65 s
Current children cumulated vsize: 2884840 KiB
Current children cumulated memory: 2233304 KiB
[startup+3597.3 s]
/proc/loadavg: 4.12 4.15 4.11 4/253 835722
/proc/meminfo: memFree=121042296/131524600 swapFree=131071996/131071996
[pid=833663] ppid=833660 vsize=2881404 memory=2229888 CPUtime=3583.75 cores=0,2
/proc/833663/stat : 833663 (pbscip) R 833660 833663 812346 0 -1 4194304 439285 0 0 0 358263 112 0 0 20 0 1 0 157629952 2950557696 557472 134679101440 4194304 18693293 140726617339520 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 36593664 140726617342980 140726617343079 140726617343079 140726617350094 0
/proc/833663/statm: 720351 557472 4141 3540 0 708608 0
Current children cumulated CPU time: 3583.75 s
Current children cumulated vsize: 2881404 KiB
Current children cumulated memory: 2229888 KiB
Child status: 0
Real time (s): 3597.34
CPU time (s): 3583.8
CPU user time (s): 3582.66
CPU system time (s): 1.14438
CPU usage (%): 99.6237
Max. virtual memory (cumulated for all children) (KiB): 2884840
Max. memory (cumulated for all children) (KiB): 2233304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.66
system time used= 1.14438
maximum resident set size= 2233304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 439356
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= 90
involuntary context switches= 24598
# summary of solver processes directly reported to runsolver:
# pid: 833663
# total CPU time (s): 3583.8
# total CPU user time (s): 3582.66
# total CPU system time (s): 1.14438
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69968 second user time and 15.5496 second system time
The end