0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4485009-1751308612.opb>
0.00/0.08 c original problem has 945 variables (945 bin, 0 int, 0 cont) and 58245 constraints
0.00/0.08 c problem read in 0.080 seconds
0.10/0.15 o 0
0.10/0.15 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.10/0.15 c presolving:
0.20/0.27 c (0.3s) running MILP presolver
0.30/0.34 c (0.3s) MILP presolver found nothing
0.40/0.44 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58245 upgd conss, 0 impls, 58245 clqs
0.69/0.74 c (0.7s) probing: 51/945 (5.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.74 c (0.7s) probing aborted: 50/50 successive totally useless probings
1.09/1.14 c (1.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.09/1.16 c (1.2s) no symmetry present (symcode time: 0.01)
1.09/1.17 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
1.09/1.17 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.09/1.17 c 0 implications, 58245 cliques
1.09/1.17 c presolved problem has 945 variables (945 bin, 0 int, 0 cont) and 58245 constraints
1.09/1.17 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1.09/1.17 c 58245 constraints of type <setppc>
1.09/1.17 c transformed objective value is always integral (scale: 1)
1.09/1.17 c Presolving Time: 1.03
1.09/1.17 c
1.09/1.17 c - non default parameters ----------------------------------------------------------------------
1.09/1.17 c
1.09/1.17 c # SCIP version 10.0.0
1.09/1.17 c
1.09/1.17 c # maximal time in seconds to run
1.09/1.17 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.09/1.17 c limits/time = 3596.998362
1.09/1.17 c
1.09/1.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.17 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.09/1.17 c limits/memory = 27900
1.09/1.17 c
1.09/1.17 c # belongs reading time to solving time?
1.09/1.17 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.09/1.17 c timing/reading = TRUE
1.09/1.17 c
1.09/1.17 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
1.09/1.17 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
1.09/1.17 c reading/opbreader/maxintsize = 47
1.09/1.17 c
1.09/1.17 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
1.09/1.17 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
1.09/1.17 c propagating/genvbounds/timingmask = 0
1.09/1.17 c
1.09/1.17 c -----------------------------------------------------------------------------------------------
1.09/1.17 c transformed 1/1 original solutions to the transformed problem space
1.09/1.17 c
1.18/1.28 o -28
1.18/1.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.18/1.28 c p 1.3s| 1 | 0 | 0 | - | clique| 0 | 945 | 58k| 58k| 0 | 0 | 0 | 0 |-9.450000e+02 |-2.800000e+01 |3275.00%| unknown
1.39/1.45 o -31
1.39/1.45 c p 1.4s| 1 | 0 | 0 | - | vbounds| 0 | 945 | 58k| 58k| 0 | 0 | 0 | 0 |-9.450000e+02 |-3.100000e+01 |2948.39%| unknown
1.68/1.71 c 1.7s| 1 | 0 | 945 | - | 317M | 0 | 945 | 58k| 58k| 0 | 0 | 0 | 0 |-4.725000e+02 |-3.100000e+01 |1424.19%| unknown
2.19/2.29 c 2.3s| 1 | 0 | 1144 | - | 334M | 0 | 945 | 58k| 58k| 11 | 1 | 0 | 0 |-4.405000e+02 |-3.100000e+01 |1320.97%| unknown
3.48/3.59 c 3.6s| 1 | 0 | 1274 | - | 341M | 0 | 945 | 58k| 58k| 29 | 2 | 0 | 0 |-4.150000e+02 |-3.100000e+01 |1238.71%| unknown
5.27/5.36 c 5.4s| 1 | 0 | 1423 | - | 348M | 0 | 945 | 58k| 58k| 48 | 3 | 0 | 0 |-3.900000e+02 |-3.100000e+01 |1158.06%| unknown
7.57/7.63 c 7.6s| 1 | 0 | 1609 | - | 354M | 0 | 945 | 58k| 58k| 73 | 4 | 0 | 0 |-3.625000e+02 |-3.100000e+01 |1069.35%| unknown
8.46/8.54 c 8.5s| 1 | 0 | 2011 | - | 361M | 0 | 945 | 58k| 58k| 98 | 5 | 0 | 0 |-3.365000e+02 |-3.100000e+01 | 985.48%| unknown
8.97/9.08 c 9.1s| 1 | 0 | 2491 | - | 368M | 0 | 945 | 58k| 58k| 125 | 6 | 0 | 0 |-3.140000e+02 |-3.100000e+01 | 912.90%| unknown
9.56/9.60 c 9.6s| 1 | 0 | 3095 | - | 374M | 0 | 945 | 58k| 58k| 150 | 7 | 0 | 0 |-2.867500e+02 |-3.100000e+01 | 825.00%| unknown
10.06/10.19 c 10.2s| 1 | 0 | 3991 | - | 381M | 0 | 945 | 58k| 58k| 180 | 8 | 0 | 0 |-2.657500e+02 |-3.100000e+01 | 757.26%| unknown
10.66/10.74 c 10.7s| 1 | 0 | 4822 | - | 389M | 0 | 945 | 58k| 58k| 208 | 9 | 0 | 0 |-2.347500e+02 |-3.100000e+01 | 657.26%| unknown
11.07/11.17 c 11.2s| 1 | 0 | 5457 | - | 396M | 0 | 945 | 58k| 58k| 245 | 10 | 0 | 0 |-2.112500e+02 |-3.100000e+01 | 581.45%| unknown
11.36/11.47 c 11.5s| 1 | 0 | 6204 | - | 402M | 0 | 945 | 58k| 58k| 271 | 11 | 0 | 0 |-1.812500e+02 |-3.100000e+01 | 484.68%| unknown
11.86/11.95 c 12.0s| 1 | 0 | 7742 | - | 408M | 0 | 945 | 58k| 58k| 293 | 12 | 0 | 0 |-1.628333e+02 |-3.100000e+01 | 425.27%| unknown
12.16/12.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.16/12.23 c 12.2s| 1 | 0 | 8417 | - | 415M | 0 | 945 | 58k| 58k| 321 | 13 | 0 | 0 |-1.460833e+02 |-3.100000e+01 | 371.24%| unknown
12.46/12.51 c 12.5s| 1 | 0 | 9174 | - | 421M | 0 | 945 | 58k| 58k| 347 | 14 | 0 | 0 |-1.371667e+02 |-3.100000e+01 | 342.47%| unknown
12.75/12.89 c 12.9s| 1 | 0 | 10342 | - | 427M | 0 | 945 | 58k| 58k| 368 | 15 | 0 | 0 |-1.167917e+02 |-3.100000e+01 | 276.75%| unknown
13.06/13.12 c 13.1s| 1 | 0 | 11019 | - | 432M | 0 | 945 | 58k| 58k| 385 | 16 | 0 | 0 |-1.025000e+02 |-3.100000e+01 | 230.65%| unknown
13.15/13.23 c 13.2s| 1 | 0 | 11212 | - | 438M | 0 | 945 | 58k| 58k| 402 | 17 | 0 | 0 |-9.481250e+01 |-3.100000e+01 | 205.85%| unknown
13.25/13.35 c 13.4s| 1 | 0 | 11443 | - | 444M | 0 | 945 | 58k| 58k| 413 | 18 | 0 | 0 |-8.317241e+01 |-3.100000e+01 | 168.30%| unknown
13.35/13.44 c 13.4s| 1 | 0 | 11668 | - | 450M | 0 | 945 | 58k| 58k| 426 | 19 | 0 | 0 |-7.458333e+01 |-3.100000e+01 | 140.59%| unknown
13.55/13.63 c 13.6s| 1 | 0 | 12356 | - | 456M | 0 | 945 | 58k| 58k| 438 | 20 | 0 | 0 |-6.108333e+01 |-3.100000e+01 | 97.04%| unknown
13.65/13.70 c 13.7s| 1 | 0 | 12413 | - | 456M | 0 | 945 | 58k| 58k| 442 | 21 | 0 | 0 |-5.408333e+01 |-3.100000e+01 | 74.46%| unknown
13.65/13.77 c 13.8s| 1 | 0 | 12457 | - | 456M | 0 | 945 | 58k| 58k| 445 | 22 | 0 | 0 |-4.800000e+01 |-3.100000e+01 | 54.84%| unknown
13.75/13.84 c 13.8s| 1 | 0 | 12496 | - | 457M | 0 | 945 | 58k| 58k| 448 | 23 | 0 | 0 |-4.783333e+01 |-3.100000e+01 | 54.30%| unknown
13.85/13.90 c 13.9s| 1 | 0 | 12533 | - | 457M | 0 | 945 | 58k| 58k| 452 | 24 | 0 | 0 |-4.700000e+01 |-3.100000e+01 | 51.61%| unknown
13.85/13.97 c 14.0s| 1 | 0 | 12572 | - | 457M | 0 | 945 | 58k| 58k| 456 | 25 | 0 | 0 |-4.700000e+01 |-3.100000e+01 | 51.61%| unknown
13.95/14.03 c 14.0s| 1 | 0 | 12598 | - | 458M | 0 | 945 | 58k| 58k| 459 | 26 | 0 | 0 |-4.700000e+01 |-3.100000e+01 | 51.61%| unknown
13.95/14.08 c 14.1s| 1 | 0 | 12632 | - | 458M | 0 | 945 | 58k| 58k| 462 | 27 | 0 | 0 |-4.650000e+01 |-3.100000e+01 | 50.00%| unknown
14.06/14.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.06/14.14 c 14.1s| 1 | 0 | 12657 | - | 459M | 0 | 945 | 58k| 58k| 466 | 28 | 0 | 0 |-4.650000e+01 |-3.100000e+01 | 50.00%| unknown
14.16/14.20 c 14.2s| 1 | 0 | 12685 | - | 459M | 0 | 945 | 58k| 58k| 470 | 29 | 0 | 0 |-4.650000e+01 |-3.100000e+01 | 50.00%| unknown
14.16/14.25 c 14.3s| 1 | 0 | 12711 | - | 459M | 0 | 945 | 58k| 58k| 475 | 30 | 0 | 0 |-4.650000e+01 |-3.100000e+01 | 50.00%| unknown
14.26/14.30 c 14.3s| 1 | 0 | 12754 | - | 460M | 0 | 945 | 58k| 58k| 480 | 31 | 0 | 0 |-4.650000e+01 |-3.100000e+01 | 50.00%| unknown
14.26/14.36 c 14.4s| 1 | 0 | 12787 | - | 460M | 0 | 945 | 58k| 58k| 486 | 32 | 0 | 0 |-4.650000e+01 |-3.100000e+01 | 50.00%| unknown
14.36/14.43 c 14.4s| 1 | 0 | 12833 | - | 461M | 0 | 945 | 58k| 58k| 495 | 33 | 0 | 0 |-4.550000e+01 |-3.100000e+01 | 46.77%| unknown
14.36/14.49 c 14.5s| 1 | 0 | 12866 | - | 461M | 0 | 945 | 58k| 58k| 499 | 34 | 0 | 0 |-4.550000e+01 |-3.100000e+01 | 46.77%| unknown
14.46/14.57 c 14.6s| 1 | 0 | 12926 | - | 462M | 0 | 945 | 58k| 58k| 504 | 35 | 0 | 0 |-4.550000e+01 |-3.100000e+01 | 46.77%| unknown
14.56/14.64 c 14.6s| 1 | 0 | 12994 | - | 462M | 0 | 945 | 58k| 58k| 512 | 36 | 0 | 0 |-4.550000e+01 |-3.100000e+01 | 46.77%| unknown
14.66/14.70 c 14.7s| 1 | 0 | 13062 | - | 462M | 0 | 945 | 58k| 58k| 520 | 37 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown
14.66/14.78 c 14.8s| 1 | 0 | 13127 | - | 463M | 0 | 945 | 58k| 58k| 526 | 38 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown
14.75/14.85 c 14.9s| 1 | 0 | 13187 | - | 463M | 0 | 945 | 58k| 58k| 534 | 39 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown
14.85/14.93 c 14.9s| 1 | 0 | 13260 | - | 464M | 0 | 945 | 58k| 58k| 540 | 40 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown
14.96/15.02 c 15.0s| 1 | 0 | 13336 | - | 465M | 0 | 945 | 58k| 58k| 549 | 41 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown
14.96/15.09 c 15.1s| 1 | 0 | 13399 | - | 465M | 0 | 945 | 58k| 58k| 557 | 42 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown
15.05/15.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.05/15.17 c 15.2s| 1 | 0 | 13457 | - | 465M | 0 | 945 | 58k| 58k| 564 | 43 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown
15.15/15.25 c 15.3s| 1 | 0 | 13516 | - | 466M | 0 | 945 | 58k| 58k| 572 | 44 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown
15.25/15.33 c 15.3s| 1 | 0 | 13570 | - | 466M | 0 | 945 | 58k| 58k| 581 | 45 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown
15.35/15.41 c 15.4s| 1 | 0 | 13628 | - | 467M | 0 | 945 | 58k| 58k| 589 | 46 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown
15.45/15.50 c 15.5s| 1 | 0 | 13675 | - | 467M | 0 | 945 | 58k| 58k| 598 | 47 | 0 | 0 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown
19.44/19.58 c 19.6s| 1 | 2 | 13685 | - | 467M | 0 | 945 | 58k| 58k| 598 | 47 | 0 | 21 |-4.533333e+01 |-3.100000e+01 | 46.24%| unknown
32.50/32.64 o -33
32.50/32.64 c d32.6s| 23 | 24 | 15536 | 84.6 |pscostdi| 13 | 945 | 58k| 58k| 0 | 1 | 0 | 194 |-4.533333e+01 |-3.300000e+01 | 37.37%| unknown
32.50/32.65 o -34
32.50/32.65 c d32.6s| 23 | 24 | 15538 | 84.7 |pscostdi| 13 | 945 | 58k| 58k| 0 | 1 | 0 | 194 |-4.533333e+01 |-3.400000e+01 | 33.33%| unknown
38.89/39.01 o -35
38.89/39.01 c d39.0s| 47 | 48 | 17636 | 86.1 |conflict| 13 | 945 | 58k| 58k| 0 | 1 | 3 | 232 |-4.533333e+01 |-3.500000e+01 | 29.52%| unknown
79.96/80.29 c 80.3s| 100 | 93 | 23060 | 94.8 | 583M | 19 | 945 | 58k| 58k| 864 | 4 | 5 |1098 |-4.533333e+01 |-3.500000e+01 | 29.52%| unknown
80.96/81.21 o -36
80.96/81.21 c *81.2s| 105 | 93 | 23261 | 92.2 | LP | 21 | 945 | 58k| 58k| 868 | 1 | 5 |1130 |-4.533333e+01 |-3.600000e+01 | 25.93%| unknown
111.97/112.39 c 112s| 200 | 170 | 30030 | 82.2 | 612M | 21 | 945 | 58k| 58k|1037 | 0 | 15 |1714 |-4.533333e+01 |-3.600000e+01 | 25.93%| unknown
132.52/132.94 c 133s| 300 | 250 | 36834 | 77.5 | 628M | 22 | 945 | 58k| 58k|1203 | 1 | 15 |1847 |-4.533333e+01 |-3.600000e+01 | 25.93%| unknown
133.02/133.46 o -38
133.02/133.46 c L 133s| 305 | 217 | 37091 | 77.0 | rins| 22 | 945 | 58k| 58k|1204 | 2 | 15 |1857 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
150.08/150.51 c 151s| 400 | 288 | 43494 | 74.7 | 655M | 22 | 945 | 58k| 58k|1362 | 2 | 30 |1901 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
152.97/153.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
152.97/153.40 c 153s| 500 | 338 | 47406 | 67.6 | 657M | 30 | 945 | 58k| 58k|1391 | 0 | 30 |1925 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
155.76/156.24 c 156s| 600 | 394 | 49501 | 59.8 | 658M | 38 | 945 | 58k| 58k|1401 | 1 | 30 |1939 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
159.85/160.37 c 160s| 700 | 432 | 51996 | 54.8 | 659M | 40 | 945 | 58k| 58k|1433 | 1 | 30 |1948 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
169.63/170.19 c 170s| 800 | 474 | 55155 | 51.9 | 672M | 46 | 945 | 58k| 58k|1490 | 1 | 30 |1992 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
178.71/179.28 c 179s| 900 | 544 | 59670 | 51.2 | 675M | 46 | 945 | 58k| 58k|1577 | 1 | 40 |2040 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
183.79/184.38 c 184s| 1000 | 604 | 64650 | 51.0 | 677M | 46 | 945 | 58k| 58k|1603 | 1 | 40 |2082 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
187.97/188.53 c 189s| 1100 | 648 | 68036 | 49.5 | 683M | 46 | 945 | 58k| 58k|1644 | 1 | 40 |2101 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
191.37/191.97 c 192s| 1200 | 676 | 70485 | 47.4 | 684M | 46 | 945 | 58k| 58k|1662 | 0 | 44 |2120 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
196.85/197.46 c 197s| 1300 | 716 | 73726 | 46.2 | 691M | 46 | 945 | 58k| 58k|1686 | 2 | 44 |2148 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
227.48/228.18 c 228s| 1400 | 806 | 85937 | 51.7 | 776M | 46 | 945 | 58k| 58k|1945 | 2 | 90 |2166 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
241.34/242.02 c 242s| 1500 | 902 | 94468 | 53.9 | 818M | 46 | 945 | 58k| 58k|2155 | 1 | 137 |2177 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
249.61/250.39 c 250s| 1600 | 1000 |102950 | 55.8 | 831M | 46 | 945 | 58k| 58k|2299 | 1 | 211 |2187 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
256.89/257.62 c 258s| 1700 | 1098 |111222 | 57.4 | 848M | 46 | 945 | 58k| 58k|2424 | 1 | 280 |2191 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
264.27/265.10 c 265s| 1800 | 1196 |120678 | 59.5 | 868M | 46 | 945 | 58k| 58k|2550 | 4 | 373 |2194 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
277.03/277.88 c 278s| 1900 | 1290 |132028 | 62.3 | 881M | 46 | 945 | 58k| 58k|2754 | 1 | 420 |2263 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
293.19/294.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
293.19/294.04 c 294s| 2000 | 1390 |144523 | 65.5 | 891M | 46 | 945 | 58k| 58k|2957 | 1 | 498 |2303 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
303.55/304.41 c 304s| 2100 | 1486 |154137 | 66.9 | 895M | 46 | 945 | 58k| 58k|3135 | 1 | 534 |2318 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
311.92/312.85 c 313s| 2200 | 1578 |163190 | 68.0 | 913M | 46 | 945 | 58k| 58k|3249 | 1 | 588 |2319 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
325.48/326.45 c 326s| 2300 | 1672 |172787 | 69.2 | 927M | 46 | 945 | 58k| 58k|3356 | 1 | 664 |2357 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
331.76/332.75 c 333s| 2400 | 1768 |181029 | 69.8 | 931M | 46 | 945 | 58k| 58k|3405 | 1 | 729 |2396 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
335.15/336.15 c 336s| 2500 | 1866 |189704 | 70.4 | 933M | 46 | 945 | 59k| 58k|3412 | 1 | 794 |2405 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
354.88/355.93 c 356s| 2600 | 1956 |199990 | 71.7 | 956M | 46 | 945 | 59k| 58k|3558 | 1 | 843 |2416 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
360.56/361.64 c 362s| 2700 | 2056 |208272 | 72.1 | 959M | 46 | 945 | 59k| 58k|3636 | 4 | 920 |2416 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
378.19/379.36 c 379s| 2800 | 2148 |216627 | 72.5 | 971M | 46 | 945 | 59k| 58k|3769 | 1 | 976 |2421 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
385.27/386.43 c 386s| 2900 | 2246 |226778 | 73.5 | 974M | 46 | 945 | 59k| 58k|3815 | 1 |1024 |2425 |-4.533333e+01 |-3.800000e+01 | 19.30%| unknown
387.56/388.73 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
387.66/388.85 c (run 1, node 2920) performing user restart
387.66/388.85 c
387.66/388.86 c (restart) converted 157 cuts from the global cut pool into linear constraints
387.66/388.86 c
387.76/388.94 c presolving:
387.86/389.05 c (round 1, exhaustive) 0 del vars, 3 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 0 chg coeffs, 154 upgd conss, 0 impls, 58401 clqs
387.96/389.18 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
387.96/389.18 c 0 deleted vars, 37 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 3 changed sides, 9 changed coefficients
387.96/389.18 c 0 implications, 58401 cliques
387.96/389.18 c presolved problem has 945 variables (945 bin, 0 int, 0 cont) and 59398 constraints
387.96/389.18 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
387.96/389.18 c 1 constraints of type <knapsack>
387.96/389.18 c 58398 constraints of type <setppc>
387.96/389.18 c 999 constraints of type <logicor>
387.96/389.18 c transformed objective value is always integral (scale: 1)
387.96/389.18 c Presolving Time: 1.28
388.16/389.35 c transformed 81/100 original solutions to the transformed problem space
388.16/389.35 c
388.35/389.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
388.35/389.54 c 390s| 1 | 0 |230714 | - | 952M | 0 | 945 | 59k| 58k| 0 | 0 |1036 |2425 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
389.65/390.87 c 391s| 1 | 0 |230770 | - | 952M | 0 | 945 | 59k| 58k| 8 | 1 |1036 |2425 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
391.04/392.25 c 392s| 1 | 0 |230846 | - | 952M | 0 | 945 | 59k| 58k| 19 | 2 |1036 |2425 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
393.04/394.22 c 394s| 1 | 0 |230902 | - | 952M | 0 | 945 | 59k| 58k| 30 | 3 |1036 |2425 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
394.13/395.31 c 395s| 1 | 0 |230962 | - | 958M | 0 | 945 | 59k| 58k| 41 | 4 |1036 |2425 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
394.63/395.86 c 396s| 1 | 0 |231025 | - | 958M | 0 | 945 | 59k| 58k| 50 | 5 |1036 |2425 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
395.73/396.99 c 397s| 1 | 0 |231086 | - | 965M | 0 | 945 | 59k| 58k| 60 | 6 |1036 |2425 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
396.72/397.95 c 398s| 1 | 0 |231166 | - | 971M | 0 | 945 | 59k| 58k| 69 | 7 |1036 |2425 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
397.72/398.94 c 399s| 1 | 0 |231222 | - | 978M | 0 | 945 | 59k| 58k| 80 | 8 |1036 |2425 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
398.62/399.87 c 400s| 1 | 0 |231282 | - | 984M | 0 | 945 | 59k| 58k| 93 | 9 |1036 |2425 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
399.12/400.33 c 400s| 1 | 0 |231349 | - | 991M | 0 | 945 | 59k| 58k| 104 | 10 |1036 |2425 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
399.22/400.42 c 400s| 1 | 0 |231410 | - | 997M | 0 | 945 | 59k| 58k| 114 | 11 |1036 |2425 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
401.71/402.97 c 403s| 1 | 2 |232056 | - | 997M | 0 | 945 | 59k| 58k| 114 | 11 |1059 |2447 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
418.85/420.15 c 420s| 100 | 93 |241148 | 74.8 | 1012M | 33 | 945 | 59k| 58k| 129 | 1 |1230 |2972 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
428.11/429.45 c 429s| 200 | 193 |256235 | 77.2 | 1038M | 35 | 945 | 59k| 58k| 149 | 1 |1308 |3093 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
441.16/442.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
441.16/442.52 c 443s| 300 | 291 |267138 | 78.2 | 1076M | 44 | 945 | 59k| 58k| 222 | 1 |1397 |3155 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
446.14/447.59 c 448s| 400 | 387 |275944 | 78.5 | 1079M | 44 | 945 | 59k| 58k| 293 | 3 |1471 |3201 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
453.21/454.61 c 455s| 500 | 483 |283493 | 78.4 | 1085M | 44 | 945 | 59k| 58k| 352 | 1 |1522 |3249 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
458.99/460.44 c 460s| 600 | 581 |292231 | 78.7 | 1086M | 44 | 945 | 59k| 58k| 400 | 2 |1544 |3304 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
471.94/473.46 c 473s| 700 | 679 |304161 | 79.8 | 1110M | 44 | 945 | 59k| 58k| 447 | 1 |1626 |3357 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
489.49/491.01 c 491s| 800 | 779 |317447 | 81.2 | 1139M | 44 | 945 | 60k| 58k| 505 | 5 |1700 |3399 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
500.15/501.78 c 502s| 900 | 879 |329434 | 82.2 | 1166M | 44 | 945 | 60k| 58k| 580 | 1 |1776 |3452 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
508.82/510.40 c 510s| 1000 | 977 |339861 | 82.8 | 1179M | 44 | 945 | 60k| 58k| 617 | 1 |1841 |3504 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
542.60/544.35 c 544s| 1100 | 1071 |351500 | 83.6 | 1203M | 44 | 945 | 60k| 58k|1102 | 3 |1865 |3524 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
556.16/557.93 c 558s| 1200 | 1169 |362724 | 84.3 | 1220M | 44 | 945 | 60k| 58k|1269 | 1 |1900 |3542 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
571.21/573.03 c 573s| 1300 | 1267 |372330 | 84.6 | 1253M | 44 | 945 | 60k| 58k|1625 | 1 |1943 |3559 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
582.76/584.66 c 585s| 1400 | 1365 |386866 | 86.0 | 1254M | 44 | 945 | 60k| 58k|1726 | 1 |1975 |3674 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
594.52/596.46 c 596s| 1500 | 1465 |397789 | 86.5 | 1271M | 44 | 945 | 60k| 58k|1801 | 1 |2029 |3751 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
622.63/624.62 c 625s| 1600 | 1563 |410155 | 87.4 | 1274M | 44 | 945 | 60k| 58k|2015 | 1 |2084 |3763 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
646.55/648.66 c 649s| 1700 | 1663 |424036 | 88.5 | 1284M | 44 | 945 | 60k| 58k|2342 | 1 |2120 |3770 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
678.26/680.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
678.26/680.48 c 680s| 1800 | 1757 |435778 | 89.1 | 1315M | 44 | 945 | 60k| 58k|2751 | 1 |2164 |3777 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
703.39/705.67 c 706s| 1900 | 1855 |447540 | 89.7 | 1316M | 44 | 945 | 60k| 58k|3221 | 1 |2195 |3787 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
716.25/718.50 c 719s| 2000 | 1955 |458430 | 90.1 | 1318M | 44 | 945 | 60k| 58k|3444 | 1 |2245 |3798 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
744.98/747.39 c 747s| 2100 | 2051 |469914 | 90.6 | 1325M | 45 | 945 | 60k| 58k|3842 | 1 |2274 |3802 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
753.65/756.02 c 756s| 2200 | 2147 |480242 | 90.8 | 1328M | 45 | 945 | 60k| 58k|3923 | 1 |2300 |3806 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
768.51/770.93 c 771s| 2300 | 2245 |492713 | 91.5 | 1335M | 45 | 945 | 60k| 58k|4134 | 4 |2351 |3807 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
774.09/776.59 c 777s| 2400 | 2341 |502479 | 91.6 | 1347M | 45 | 945 | 60k| 58k|4246 | 1 |2392 |3818 |-4.500000e+01 |-3.800000e+01 | 18.42%| unknown
788.56/791.04 o -39
788.56/791.05 c * 791s| 2437 | 2227 |505859 | 91.6 | LP | 45 | 945 | 60k| 58k|4338 | 1 |2398 |3818 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
795.03/797.52 c 798s| 2500 | 2276 |512038 | 91.6 | 1351M | 45 | 945 | 60k| 58k|4392 | 0 |2418 |3820 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
812.79/815.37 c 815s| 2600 | 2346 |521116 | 91.6 | 1374M | 45 | 945 | 60k| 58k|4603 | 1 |2457 |3823 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
818.27/820.82 c 821s| 2700 | 2440 |530481 | 91.7 | 1376M | 45 | 945 | 60k| 58k|4638 | 0 |2516 |3883 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
829.34/831.91 c 832s| 2800 | 2512 |538126 | 91.4 | 1377M | 45 | 945 | 60k| 58k|4711 | 0 |2565 |3905 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
841.51/844.15 c 844s| 2900 | 2584 |545742 | 91.1 | 1378M | 45 | 945 | 60k| 58k|4901 | 1 |2601 |3907 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
871.03/873.71 c 874s| 3000 | 2654 |553628 | 90.9 | 1380M | 45 | 945 | 60k| 58k|5121 | 2 |2622 |3910 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
879.12/881.81 c 882s| 3100 | 2744 |563391 | 91.0 | 1382M | 45 | 945 | 60k| 58k|5242 | 1 |2701 |3922 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
893.67/896.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
893.67/896.48 c 896s| 3200 | 2836 |572080 | 91.0 | 1384M | 45 | 945 | 61k| 58k|5317 | 1 |2732 |3931 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
909.34/912.17 c 912s| 3300 | 2924 |581186 | 91.0 | 1399M | 45 | 945 | 61k| 58k|5421 | 1 |2799 |3940 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
921.60/924.49 c 924s| 3400 | 3018 |590332 | 91.0 | 1401M | 45 | 945 | 61k| 58k|5483 | 1 |2886 |3949 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
935.96/938.88 c 939s| 3500 | 3104 |599923 | 91.1 | 1429M | 45 | 945 | 61k| 58k|5568 | 2 |2921 |3987 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
954.51/957.43 c 957s| 3600 | 3184 |608565 | 91.0 | 1430M | 45 | 945 | 61k| 58k|5722 | 1 |2941 |4021 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
974.06/977.09 c 977s| 3700 | 3272 |617683 | 91.0 | 1431M | 45 | 945 | 61k| 58k|5893 | 1 |2987 |4066 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
982.54/985.57 c 986s| 3800 | 3362 |627094 | 91.0 | 1442M | 45 | 945 | 61k| 58k|5957 | 1 |3050 |4090 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1001.00/1004.10 c 1004s| 3900 | 3454 |636699 | 91.1 | 1443M | 45 | 945 | 61k| 58k|6128 | 1 |3088 |4139 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1014.55/1017.69 c 1018s| 4000 | 3534 |643739 | 90.8 | 1445M | 46 | 945 | 61k| 58k|6229 | 0 |3114 |4160 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1035.10/1038.23 c 1038s| 4100 | 3616 |651423 | 90.6 | 1447M | 46 | 945 | 61k| 58k|6406 | 1 |3179 |4216 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1060.53/1063.78 c 1064s| 4200 | 3700 |660279 | 90.6 | 1448M | 46 | 945 | 61k| 58k|6603 | 1 |3194 |4253 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1069.61/1072.80 c 1073s| 4300 | 3776 |666550 | 90.2 | 1466M | 47 | 945 | 61k| 58k|6675 | 1 |3246 |4304 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1083.47/1086.70 c 1087s| 4400 | 3860 |676646 | 90.3 | 1474M | 47 | 945 | 61k| 58k|6835 | 1 |3309 |4352 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1089.76/1093.05 c 1093s| 4500 | 3948 |684284 | 90.2 | 1476M | 47 | 945 | 61k| 58k|6878 | 1 |3352 |4389 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1099.33/1102.69 c 1103s| 4600 | 4030 |692105 | 90.0 | 1477M | 47 | 945 | 61k| 58k|6968 | 1 |3426 |4415 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1111.49/1114.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1111.49/1114.83 c 1115s| 4700 | 4122 |700842 | 90.0 | 1483M | 47 | 945 | 61k| 58k|7079 | 0 |3464 |4458 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1130.75/1134.19 c 1134s| 4800 | 4214 |710764 | 90.1 | 1519M | 47 | 945 | 61k| 58k|7239 | 1 |3514 |4487 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1140.62/1144.03 c 1144s| 4900 | 4298 |718677 | 89.9 | 1520M | 47 | 945 | 61k| 58k|7311 | 1 |3558 |4496 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1148.10/1151.57 c 1152s| 5000 | 4384 |726121 | 89.7 | 1521M | 47 | 945 | 61k| 58k|7354 | 1 |3610 |4522 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1161.16/1164.63 c 1165s| 5100 | 4472 |735098 | 89.7 | 1522M | 47 | 945 | 61k| 58k|7467 | 0 |3674 |4537 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1173.33/1176.88 c 1177s| 5200 | 4558 |742587 | 89.6 | 1530M | 47 | 945 | 61k| 58k|7566 | 1 |3716 |4556 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1182.30/1185.82 c 1186s| 5300 | 4648 |751484 | 89.6 | 1532M | 47 | 945 | 61k| 58k|7640 | 1 |3759 |4585 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1193.77/1197.37 c 1197s| 5400 | 4730 |759271 | 89.4 | 1534M | 47 | 945 | 61k| 58k|7739 | 1 |3785 |4586 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1197.26/1200.81 c 1201s| 5500 | 4812 |766854 | 89.3 | 1538M | 47 | 945 | 61k| 58k|7774 | 1 |3843 |4601 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1209.24/1212.87 c 1213s| 5600 | 4892 |775258 | 89.2 | 1539M | 47 | 945 | 61k| 58k|7874 | 1 |3901 |4606 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1221.81/1225.47 c 1225s| 5700 | 4974 |783555 | 89.1 | 1540M | 47 | 945 | 61k| 58k|7957 | 1 |3922 |4625 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1230.28/1233.90 c 1234s| 5800 | 5054 |790415 | 88.9 | 1542M | 47 | 945 | 61k| 58k|8025 | 1 |3961 |4631 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1248.93/1252.69 c 1253s| 5900 | 5136 |798855 | 88.8 | 1543M | 47 | 945 | 61k| 58k|8164 | 1 |4004 |4634 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1260.90/1264.66 c 1265s| 6000 | 5218 |805220 | 88.6 | 1564M | 47 | 945 | 61k| 58k|8264 | 1 |4023 |4634 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1263.79/1267.57 c 1268s| 6100 | 5300 |812627 | 88.4 | 1566M | 47 | 945 | 61k| 58k|8299 | 1 |4075 |4634 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1285.35/1289.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1285.35/1289.14 c 1289s| 6200 | 5384 |821704 | 88.4 | 1567M | 47 | 945 | 61k| 58k|8441 | 1 |4107 |4636 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1291.63/1295.42 c 1295s| 6300 | 5468 |829606 | 88.3 | 1568M | 47 | 945 | 61k| 58k|8485 | 1 |4155 |4637 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1299.51/1303.39 c 1303s| 6400 | 5550 |836414 | 88.1 | 1570M | 47 | 945 | 61k| 58k|8532 | 1 |4193 |4665 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1307.59/1311.45 c 1311s| 6500 | 5642 |844281 | 88.0 | 1572M | 47 | 945 | 61k| 58k|8614 | 1 |4231 |4665 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1322.34/1326.28 c 1326s| 6600 | 5716 |852027 | 87.9 | 1611M | 47 | 945 | 61k| 58k|8690 | 1 |4284 |4666 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1335.41/1339.31 c 1339s| 6700 | 5800 |860949 | 87.9 | 1612M | 47 | 945 | 61k| 58k|8797 | 0 |4323 |4666 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1354.07/1358.04 c 1358s| 6800 | 5884 |868778 | 87.8 | 1617M | 47 | 945 | 61k| 58k|8899 | 1 |4391 |4666 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1366.83/1370.87 c 1371s| 6900 | 5964 |875350 | 87.6 | 1620M | 47 | 945 | 61k| 58k|8967 | 1 |4436 |4671 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1371.82/1375.85 c 1376s| 7000 | 6044 |883006 | 87.5 | 1622M | 47 | 945 | 62k| 58k|8993 | 1 |4480 |4675 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1378.50/1382.59 c 1383s| 7100 | 6136 |892845 | 87.6 | 1622M | 47 | 945 | 62k| 58k|9080 | 1 |4551 |4677 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1391.08/1395.11 c 1395s| 7200 | 6224 |901658 | 87.6 | 1628M | 47 | 945 | 62k| 58k|9156 | 2 |4660 |4677 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1406.54/1410.66 c 1411s| 7300 | 6306 |911240 | 87.7 | 1630M | 47 | 945 | 62k| 58k|9254 | 0 |4702 |4684 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1409.63/1413.77 c 1414s| 7400 | 6390 |918700 | 87.5 | 1633M | 47 | 945 | 62k| 58k|9282 | 1 |4728 |4687 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1414.32/1418.47 c 1418s| 7500 | 6474 |926416 | 87.4 | 1635M | 47 | 945 | 62k| 58k|9318 | 0 |4756 |4689 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1420.50/1424.61 c 1425s| 7600 | 6558 |934971 | 87.4 | 1637M | 47 | 945 | 62k| 58k|9368 | 2 |4799 |4699 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1437.96/1442.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1437.96/1442.14 c 1442s| 7700 | 6620 |941805 | 87.2 | 1638M | 47 | 945 | 62k| 58k|9469 | 1 |4804 |4701 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1445.94/1450.13 c 1450s| 7800 | 6702 |948670 | 87.1 | 1639M | 47 | 945 | 62k| 58k|9516 | 0 |4858 |4707 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1463.39/1467.69 c 1468s| 7900 | 6778 |955800 | 86.9 | 1641M | 47 | 945 | 62k| 58k|9612 | 1 |4886 |4724 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1472.87/1477.12 c 1477s| 8000 | 6854 |962465 | 86.7 | 1641M | 47 | 945 | 62k| 58k|9694 | 1 |4913 |4725 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1488.63/1492.99 c 1493s| 8100 | 6938 |971195 | 86.7 | 1666M | 47 | 945 | 62k| 58k|9794 | 1 |4983 |4749 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1494.91/1499.29 c 1499s| 8200 | 7026 |978297 | 86.6 | 1667M | 47 | 945 | 62k| 58k|9832 | 1 |5033 |4776 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1505.49/1509.87 c 1510s| 8300 | 7106 |985524 | 86.5 | 1669M | 47 | 945 | 62k| 58k|9924 | 1 |5057 |4807 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1516.86/1521.23 c 1521s| 8400 | 7190 |993232 | 86.4 | 1674M | 47 | 945 | 62k| 58k|9978 | 1 |5089 |4844 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1531.63/1536.07 c 1536s| 8500 | 7270 | 1001k| 86.3 | 1674M | 47 | 945 | 62k| 58k| 10k| 0 |5144 |4855 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1538.30/1542.76 c 1543s| 8600 | 7366 | 1010k| 86.4 | 1724M | 47 | 945 | 62k| 58k| 10k| 1 |5256 |4889 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1553.06/1557.52 c 1558s| 8700 | 7456 | 1020k| 86.5 | 1725M | 47 | 945 | 62k| 58k| 10k| 1 |5347 |4916 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1559.15/1563.64 c 1564s| 8800 | 7532 | 1029k| 86.5 | 1727M | 47 | 945 | 62k| 58k| 10k| 2 |5391 |4956 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1566.23/1570.72 c 1571s| 8900 | 7614 | 1037k| 86.5 | 1728M | 47 | 945 | 62k| 58k| 10k| 0 |5430 |4989 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1573.52/1578.06 c 1578s| 9000 | 7712 | 1046k| 86.5 | 1733M | 47 | 945 | 62k| 58k| 10k| 1 |5491 |5040 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1576.90/1581.48 c 1581s| 9100 | 7808 | 1055k| 86.5 | 1735M | 47 | 945 | 62k| 58k| 10k| 0 |5540 |5045 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1584.28/1588.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1584.28/1588.89 c 1589s| 9200 | 7896 | 1063k| 86.5 | 1737M | 47 | 945 | 62k| 58k| 10k| 1 |5594 |5085 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1590.17/1594.70 c 1595s| 9300 | 7994 | 1073k| 86.6 | 1739M | 47 | 945 | 62k| 58k| 10k| 1 |5666 |5098 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1595.06/1599.68 c 1600s| 9400 | 8092 | 1084k| 86.8 | 1742M | 47 | 945 | 62k| 58k| 10k| 1 |5732 |5138 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1598.15/1602.70 c 1603s| 9500 | 8168 | 1091k| 86.7 | 1742M | 47 | 945 | 62k| 58k| 10k| 1 |5755 |5159 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1612.53/1617.16 c 1617s| 9600 | 8236 | 1099k| 86.6 | 1743M | 47 | 945 | 62k| 58k| 10k| 1 |5811 |5189 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1640.15/1644.86 c 1645s| 9700 | 8306 | 1109k| 86.7 | 1747M | 47 | 945 | 62k| 58k| 10k| 1 |5841 |5213 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1658.32/1663.06 c 1663s| 9800 | 8380 | 1116k| 86.6 | 1751M | 47 | 945 | 62k| 58k| 10k| 1 |5872 |5243 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1662.10/1666.85 c 1667s| 9900 | 8466 | 1125k| 86.6 | 1755M | 47 | 945 | 62k| 58k| 10k| 1 |5901 |5266 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1665.39/1670.13 c 1670s| 10000 | 8538 | 1133k| 86.5 | 1756M | 47 | 945 | 62k| 58k| 10k| 1 |5909 |5275 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1675.06/1679.89 c 1680s| 10100 | 8616 | 1139k| 86.3 | 1757M | 47 | 945 | 62k| 58k| 10k| 1 |5939 |5276 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1687.53/1692.34 c 1692s| 10200 | 8708 | 1148k| 86.4 | 1760M | 47 | 945 | 62k| 58k| 11k| 1 |6026 |5290 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1695.11/1699.97 c 1700s| 10300 | 8792 | 1156k| 86.3 | 1762M | 47 | 945 | 62k| 58k| 11k| 2 |6051 |5294 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1710.67/1715.56 c 1716s| 10400 | 8876 | 1164k| 86.3 | 1764M | 47 | 945 | 62k| 58k| 11k| 1 |6080 |5294 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1733.73/1738.68 c 1739s| 10500 | 8934 | 1170k| 86.1 | 1766M | 47 | 945 | 62k| 58k| 11k| 1 |6110 |5296 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1746.99/1751.93 c 1752s| 10600 | 9020 | 1178k| 86.1 | 1769M | 47 | 945 | 62k| 58k| 11k| 0 |6149 |5299 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1754.27/1759.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1754.27/1759.20 c 1759s| 10700 | 9110 | 1187k| 86.0 | 1772M | 47 | 945 | 62k| 58k| 11k| 0 |6189 |5312 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1758.86/1763.84 c 1764s| 10800 | 9210 | 1197k| 86.2 | 1774M | 47 | 945 | 62k| 58k| 11k| 1 |6269 |5347 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1762.65/1767.65 c 1768s| 10900 | 9304 | 1205k| 86.1 | 1776M | 47 | 945 | 62k| 58k| 11k| 1 |6353 |5364 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1768.14/1773.17 c 1773s| 11000 | 9390 | 1212k| 86.0 | 1779M | 47 | 945 | 62k| 58k| 11k| 1 |6408 |5367 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1783.10/1788.15 c 1788s| 11100 | 9480 | 1223k| 86.1 | 1780M | 47 | 945 | 62k| 58k| 11k| 3 |6460 |5372 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1795.26/1800.38 c 1800s| 11200 | 9560 | 1231k| 86.1 | 1809M | 47 | 945 | 63k| 58k| 11k| 1 |6505 |5375 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1811.42/1816.52 c 1817s| 11300 | 9646 | 1241k| 86.2 | 1811M | 47 | 945 | 63k| 58k| 12k| 1 |6574 |5378 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1819.91/1825.01 c 1825s| 11400 | 9728 | 1248k| 86.1 | 1812M | 47 | 945 | 63k| 58k| 12k| 1 |6631 |5393 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1829.18/1834.35 c 1834s| 11500 | 9814 | 1254k| 86.0 | 1814M | 47 | 945 | 63k| 58k| 12k| 1 |6672 |5400 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1835.37/1840.57 c 1841s| 11600 | 9906 | 1262k| 85.9 | 1816M | 47 | 945 | 63k| 58k| 12k| 1 |6721 |5405 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1840.55/1845.70 c 1846s| 11700 | 10002 | 1273k| 86.1 | 1818M | 47 | 945 | 63k| 58k| 12k| 0 |6808 |5411 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1864.29/1869.52 c 1870s| 11800 | 10080 | 1281k| 86.0 | 1876M | 47 | 945 | 63k| 58k| 12k| 1 |6848 |5415 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1869.88/1875.15 c 1875s| 11900 | 10158 | 1287k| 85.9 | 1876M | 47 | 945 | 63k| 58k| 12k| 1 |6884 |5421 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1875.96/1881.20 c 1881s| 12000 | 10236 | 1293k| 85.7 | 1878M | 47 | 945 | 63k| 58k| 12k| 1 |6900 |5426 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1892.23/1897.56 c 1898s| 12100 | 10312 | 1299k| 85.5 | 1880M | 47 | 945 | 63k| 58k| 12k| 0 |6922 |5433 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1914.68/1920.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1914.68/1920.08 c 1920s| 12200 | 10390 | 1308k| 85.5 | 1881M | 47 | 945 | 63k| 58k| 12k| 1 |6971 |5436 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1938.82/1944.27 c 1944s| 12300 | 10456 | 1314k| 85.4 | 1885M | 48 | 945 | 63k| 58k| 12k| 0 |6994 |5438 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1961.57/1967.01 c 1967s| 12400 | 10524 | 1322k| 85.3 | 1889M | 48 | 945 | 63k| 58k| 13k| 1 |7013 |5439 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1965.16/1970.61 c 1971s| 12500 | 10616 | 1332k| 85.4 | 1891M | 48 | 945 | 63k| 58k| 13k| 1 |7082 |5441 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1970.55/1976.03 c 1976s| 12600 | 10714 | 1341k| 85.4 | 1893M | 48 | 945 | 63k| 58k| 13k| 1 |7160 |5442 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1977.72/1983.26 c 1983s| 12700 | 10786 | 1346k| 85.2 | 1894M | 48 | 945 | 63k| 58k| 13k| 1 |7174 |5442 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1983.31/1988.82 c 1989s| 12800 | 10862 | 1354k| 85.2 | 1896M | 48 | 945 | 63k| 58k| 13k| 1 |7207 |5444 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1994.98/2000.59 c 2001s| 12900 | 10940 | 1361k| 85.1 | 1898M | 48 | 945 | 63k| 58k| 13k| 1 |7239 |5444 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
1999.97/2005.51 c 2006s| 13000 | 11024 | 1369k| 85.0 | 1900M | 48 | 945 | 63k| 58k| 13k| 1 |7315 |5445 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
2007.95/2013.59 c 2014s| 13100 | 11104 | 1375k| 84.9 | 1900M | 48 | 945 | 63k| 58k| 13k| 3 |7457 |5445 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
2020.12/2025.79 c 2026s| 13200 | 11182 | 1382k| 84.8 | 1901M | 48 | 945 | 63k| 58k| 13k| 1 |7490 |5445 |-4.500000e+01 |-3.900000e+01 | 15.38%| unknown
2022.21/2027.88 o -40
2022.21/2027.89 c *2028s| 13261 | 9389 | 1388k| 84.8 | LP | 48 | 945 | 63k| 58k| 13k| 1 |7527 |5445 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2029.99/2035.67 c 2036s| 13300 | 9410 | 1391k| 84.9 | 1902M | 48 | 945 | 63k| 58k| 13k| 1 |7536 |5445 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2039.48/2045.17 c 2045s| 13400 | 9468 | 1397k| 84.7 | 1902M | 48 | 945 | 63k| 58k| 13k| 1 |7563 |5450 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2051.95/2057.64 c 2058s| 13500 | 9546 | 1406k| 84.7 | 1903M | 48 | 945 | 63k| 58k| 13k| 0 |7605 |5484 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2068.11/2073.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2068.11/2073.86 c 2074s| 13600 | 9610 | 1413k| 84.6 | 1903M | 48 | 945 | 63k| 58k| 13k| 1 |7679 |5502 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2077.98/2083.72 c 2084s| 13700 | 9672 | 1420k| 84.5 | 1903M | 48 | 945 | 63k| 58k| 13k| 1 |7735 |5539 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2084.27/2090.01 c 2090s| 13800 | 9752 | 1429k| 84.6 | 1904M | 48 | 945 | 63k| 58k| 13k| 1 |7786 |5557 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2092.65/2098.49 c 2098s| 13900 | 9834 | 1437k| 84.6 | 1904M | 48 | 945 | 63k| 58k| 13k| 1 |7860 |5601 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2096.03/2101.83 c 2102s| 14000 | 9910 | 1444k| 84.5 | 1904M | 48 | 945 | 63k| 58k| 13k| 1 |7913 |5612 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2103.91/2109.77 c 2110s| 14100 | 9978 | 1450k| 84.3 | 1904M | 48 | 945 | 63k| 58k| 13k| 1 |7934 |5614 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2116.58/2122.42 c 2122s| 14200 | 10058 | 1457k| 84.2 | 1906M | 48 | 945 | 63k| 58k| 13k| 1 |7970 |5637 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2119.78/2125.64 c 2126s| 14300 | 10122 | 1462k| 84.0 | 1907M | 48 | 945 | 63k| 58k| 13k| 1 |7999 |5647 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2134.64/2140.56 c 2141s| 14400 | 10194 | 1470k| 84.0 | 1910M | 48 | 945 | 63k| 58k| 14k| 0 |8093 |5696 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2151.30/2157.29 c 2157s| 14500 | 10256 | 1475k| 83.8 | 1910M | 48 | 945 | 63k| 58k| 14k| 1 |8152 |5706 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2156.59/2162.50 c 2163s| 14600 | 10320 | 1482k| 83.7 | 1910M | 48 | 945 | 63k| 58k| 14k| 1 |8197 |5738 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2160.09/2166.09 c 2166s| 14700 | 10382 | 1489k| 83.6 | 1944M | 48 | 945 | 63k| 58k| 14k| 1 |8269 |5763 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2162.97/2168.98 c 2169s| 14800 | 10452 | 1495k| 83.5 | 1945M | 48 | 945 | 63k| 58k| 14k| 1 |8301 |5780 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2171.16/2177.13 c 2177s| 14900 | 10522 | 1502k| 83.4 | 1946M | 48 | 945 | 63k| 58k| 14k| 1 |8345 |5792 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2174.55/2180.56 c 2181s| 15000 | 10566 | 1505k| 83.2 | 1946M | 52 | 945 | 63k| 58k| 14k| 1 |8349 |5800 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2180.83/2186.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2180.83/2186.85 c 2187s| 15100 | 10620 | 1510k| 83.0 | 1947M | 55 | 945 | 63k| 58k| 14k| 0 |8360 |5819 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2201.78/2207.88 c 2208s| 15200 | 10670 | 1514k| 82.7 | 1947M | 55 | 945 | 63k| 58k| 14k| 0 |8378 |5829 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2204.68/2210.73 c 2211s| 15300 | 10744 | 1520k| 82.6 | 1948M | 55 | 945 | 64k| 58k| 14k| 1 |8426 |5836 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2208.97/2215.07 c 2215s| 15400 | 10792 | 1526k| 82.5 | 1949M | 55 | 945 | 64k| 58k| 14k| 1 |8442 |5841 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2211.46/2217.51 c 2218s| 15500 | 10846 | 1532k| 82.4 | 1950M | 55 | 945 | 64k| 58k| 14k| 1 |8459 |5844 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2213.85/2219.98 c 2220s| 15600 | 10914 | 1539k| 82.3 | 1950M | 55 | 945 | 64k| 58k| 14k| 1 |8506 |5845 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2216.55/2222.67 c 2223s| 15700 | 10972 | 1545k| 82.2 | 1951M | 55 | 945 | 64k| 58k| 14k| 1 |8538 |5848 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2218.14/2224.26 c 2224s| 15800 | 11018 | 1549k| 82.0 | 1953M | 55 | 945 | 64k| 58k| 14k| 1 |8546 |5848 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2228.32/2234.41 c 2234s| 15900 | 11084 | 1555k| 81.8 | 1954M | 55 | 945 | 64k| 58k| 14k| 3 |8601 |5856 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2236.40/2242.55 c 2243s| 16000 | 11136 | 1562k| 81.8 | 1957M | 55 | 945 | 64k| 58k| 14k| 1 |8612 |5862 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2248.37/2254.56 c 2255s| 16100 | 11184 | 1566k| 81.6 | 1958M | 55 | 945 | 64k| 58k| 15k| 1 |8642 |5865 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2270.32/2276.52 c 2277s| 16200 | 11224 | 1571k| 81.4 | 1958M | 55 | 945 | 64k| 58k| 15k| 1 |8666 |5867 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2274.60/2280.89 c 2281s| 16300 | 11282 | 1578k| 81.3 | 2026M | 57 | 945 | 64k| 58k| 15k| 1 |8669 |5880 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2283.08/2289.36 c 2289s| 16400 | 11368 | 1586k| 81.3 | 2029M | 57 | 945 | 64k| 58k| 15k| 1 |8752 |5884 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2292.26/2298.50 c 2298s| 16500 | 11446 | 1593k| 81.3 | 2032M | 57 | 945 | 64k| 58k| 15k| 0 |8818 |5887 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2296.25/2302.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2296.25/2302.55 c 2303s| 16600 | 11518 | 1601k| 81.2 | 2034M | 57 | 945 | 64k| 58k| 15k| 1 |8858 |5891 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2300.64/2306.98 c 2307s| 16700 | 11590 | 1608k| 81.2 | 2036M | 57 | 945 | 64k| 58k| 15k| 1 |8877 |5896 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2303.13/2309.43 c 2309s| 16800 | 11640 | 1613k| 81.1 | 2036M | 62 | 945 | 64k| 58k| 15k| 0 |8887 |5900 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2305.03/2311.39 c 2311s| 16900 | 11688 | 1619k| 80.9 | 2036M | 65 | 945 | 64k| 58k| 15k| 0 |8901 |5900 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2306.52/2312.84 c 2313s| 17000 | 11724 | 1622k| 80.7 | 2036M | 74 | 945 | 64k| 58k| 15k| 0 |8913 |5901 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2308.22/2314.51 c 2315s| 17100 | 11756 | 1626k| 80.5 | 2036M | 74 | 945 | 64k| 58k| 15k| 1 |8913 |5904 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2309.61/2315.97 c 2316s| 17200 | 11778 | 1629k| 80.2 | 2037M | 74 | 945 | 64k| 58k| 15k| 1 |8913 |5904 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2311.31/2317.69 c 2318s| 17300 | 11822 | 1633k| 80.0 | 2037M | 74 | 945 | 64k| 58k| 15k| 2 |8923 |5905 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2313.10/2319.46 c 2319s| 17400 | 11866 | 1638k| 79.9 | 2037M | 74 | 945 | 64k| 58k| 15k| 1 |8927 |5909 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2315.01/2321.30 c 2321s| 17500 | 11900 | 1642k| 79.7 | 2037M | 74 | 945 | 64k| 58k| 15k| 0 |8930 |5911 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2325.27/2331.65 c 2332s| 17600 | 11940 | 1647k| 79.5 | 2038M | 74 | 945 | 64k| 58k| 15k| 1 |8930 |5912 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2335.35/2341.75 c 2342s| 17700 | 11970 | 1651k| 79.4 | 2039M | 74 | 945 | 64k| 58k| 15k| 1 |8933 |5912 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2339.04/2345.49 c 2345s| 17800 | 11998 | 1656k| 79.2 | 2040M | 74 | 945 | 64k| 58k| 15k| 0 |8933 |5913 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2341.23/2347.65 c 2348s| 17900 | 12040 | 1661k| 79.1 | 2041M | 74 | 945 | 64k| 58k| 15k| 1 |8936 |5915 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2344.03/2350.40 c 2350s| 18000 | 12068 | 1666k| 78.9 | 2042M | 74 | 945 | 64k| 58k| 15k| 1 |8942 |5917 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2351.71/2358.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2351.71/2358.19 c 2358s| 18100 | 12108 | 1670k| 78.7 | 2043M | 74 | 945 | 64k| 58k| 16k| 1 |8950 |5924 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2353.72/2360.14 c 2360s| 18200 | 12144 | 1675k| 78.6 | 2043M | 74 | 945 | 64k| 58k| 16k| 1 |8950 |5924 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2364.98/2371.43 c 2371s| 18300 | 12186 | 1680k| 78.5 | 2043M | 74 | 945 | 64k| 58k| 16k| 1 |8958 |5926 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2366.68/2373.15 c 2373s| 18400 | 12218 | 1684k| 78.3 | 2044M | 74 | 945 | 64k| 58k| 16k| 1 |8958 |5930 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2368.47/2374.98 c 2375s| 18500 | 12250 | 1688k| 78.1 | 2045M | 74 | 945 | 64k| 58k| 16k| 0 |8970 |5933 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2385.23/2391.73 c 2392s| 18600 | 12292 | 1694k| 78.0 | 2046M | 74 | 945 | 64k| 58k| 16k| 1 |8970 |5933 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2394.71/2401.26 c 2401s| 18700 | 12318 | 1698k| 77.8 | 2049M | 74 | 945 | 64k| 58k| 16k| 1 |8976 |5943 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2408.08/2414.69 c 2415s| 18800 | 12348 | 1702k| 77.7 | 2049M | 74 | 945 | 64k| 58k| 16k| 6 |8983 |5944 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2428.23/2434.82 c 2435s| 18900 | 12390 | 1707k| 77.6 | 2050M | 74 | 945 | 64k| 58k| 16k| 3 |9005 |5944 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2436.01/2442.63 c 2443s| 19000 | 12422 | 1711k| 77.4 | 2051M | 74 | 945 | 64k| 58k| 17k| 1 |9012 |5945 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2447.09/2453.74 c 2454s| 19100 | 12450 | 1716k| 77.2 | 2052M | 74 | 945 | 64k| 58k| 17k| 1 |9022 |5946 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2471.33/2478.07 c 2478s| 19200 | 12480 | 1720k| 77.1 | 2052M | 74 | 945 | 64k| 58k| 17k| 1 |9022 |5946 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2481.70/2488.40 c 2488s| 19300 | 12518 | 1724k| 76.9 | 2053M | 74 | 945 | 64k| 58k| 17k| 0 |9022 |5950 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2494.47/2501.27 c 2501s| 19400 | 12558 | 1729k| 76.8 | 2054M | 74 | 945 | 64k| 58k| 17k| 1 |9030 |5955 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2498.16/2504.93 c 2505s| 19500 | 12610 | 1734k| 76.7 | 2055M | 74 | 945 | 64k| 58k| 17k| 1 |9035 |5956 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2507.04/2513.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2507.04/2513.88 c 2514s| 19600 | 12650 | 1738k| 76.5 | 2056M | 74 | 945 | 64k| 58k| 17k| 1 |9051 |5957 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2516.33/2523.12 c 2523s| 19700 | 12686 | 1742k| 76.4 | 2056M | 74 | 945 | 64k| 58k| 17k| 1 |9055 |5957 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2534.48/2541.35 c 2541s| 19800 | 12730 | 1747k| 76.3 | 2058M | 74 | 945 | 64k| 58k| 17k| 1 |9062 |5959 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2544.45/2551.31 c 2551s| 19900 | 12780 | 1752k| 76.1 | 2059M | 74 | 945 | 64k| 58k| 17k| 1 |9062 |5961 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2554.93/2561.89 c 2562s| 20000 | 12820 | 1757k| 76.0 | 2059M | 74 | 945 | 64k| 58k| 17k| 0 |9068 |5961 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2581.76/2588.78 c 2589s| 20100 | 12858 | 1761k| 75.9 | 2061M | 74 | 945 | 64k| 58k| 18k| 0 |9073 |5961 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2603.01/2610.04 c 2610s| 20200 | 12890 | 1767k| 75.8 | 2181M | 74 | 945 | 64k| 58k| 18k| 1 |9084 |5961 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2611.10/2618.16 c 2618s| 20300 | 12932 | 1772k| 75.7 | 2181M | 74 | 945 | 64k| 58k| 18k| 1 |9091 |5961 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2624.86/2632.00 c 2632s| 20400 | 12974 | 1776k| 75.5 | 2183M | 74 | 945 | 64k| 58k| 18k| 1 |9096 |5962 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2639.62/2646.77 c 2647s| 20500 | 13012 | 1781k| 75.4 | 2184M | 74 | 945 | 64k| 58k| 18k| 1 |9115 |5962 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2657.48/2664.66 c 2665s| 20600 | 13054 | 1786k| 75.3 | 2187M | 74 | 945 | 64k| 58k| 19k| 1 |9118 |5962 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2677.63/2684.88 c 2685s| 20700 | 13102 | 1792k| 75.2 | 2189M | 74 | 945 | 64k| 58k| 19k| 1 |9131 |5962 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2704.77/2712.03 c 2712s| 20800 | 13146 | 1798k| 75.2 | 2191M | 74 | 945 | 64k| 58k| 19k| 1 |9145 |5962 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2729.41/2736.74 c 2737s| 20900 | 13194 | 1804k| 75.1 | 2191M | 74 | 945 | 64k| 58k| 19k| 1 |9157 |5963 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2753.06/2760.43 c 2760s| 21000 | 13246 | 1810k| 75.0 | 2192M | 74 | 945 | 64k| 58k| 19k| 1 |9168 |5965 |-4.500000e+01 |-4.000000e+01 | 12.50%| unknown
2764.33/2771.79 o -41
2764.43/2771.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2764.43/2771.82 c *2772s| 21076 | 9897 | 1816k| 75.1 | LP | 74 | 945 | 63k| 58k| 20k| 1 |9168 |5965 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2764.83/2772.28 c 2772s| 21100 | 9907 | 1817k| 75.0 | 2193M | 74 | 945 | 63k| 58k| 20k| 1 |9168 |5965 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2766.63/2774.03 c 2774s| 21200 | 9931 | 1822k| 74.9 | 2193M | 74 | 945 | 63k| 58k| 20k| 1 |9179 |5966 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2777.00/2784.41 c 2784s| 21300 | 9953 | 1826k| 74.8 | 2193M | 74 | 945 | 63k| 58k| 20k| 0 |9179 |5967 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2799.25/2806.76 c 2807s| 21400 | 9983 | 1832k| 74.7 | 2193M | 74 | 945 | 63k| 58k| 20k| 0 |9197 |5968 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2813.72/2821.28 c 2821s| 21500 | 10027 | 1839k| 74.7 | 2194M | 74 | 945 | 63k| 58k| 20k| 0 |9208 |5969 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2822.69/2830.24 c 2830s| 21600 | 10061 | 1843k| 74.6 | 2200M | 74 | 945 | 63k| 58k| 21k| 1 |9212 |5969 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2824.89/2832.40 c 2832s| 21700 | 10099 | 1847k| 74.4 | 2200M | 74 | 945 | 63k| 58k| 21k| 1 |9237 |5974 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2832.07/2839.66 c 2840s| 21800 | 10131 | 1850k| 74.2 | 2200M | 74 | 945 | 63k| 58k| 21k| 0 |9237 |5974 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2837.76/2845.32 c 2845s| 21900 | 10161 | 1853k| 74.1 | 2200M | 74 | 945 | 63k| 58k| 21k| 2 |9250 |5979 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2853.92/2861.51 c 2862s| 22000 | 10187 | 1857k| 73.9 | 2200M | 74 | 945 | 63k| 58k| 21k| 1 |9265 |5983 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2858.51/2866.17 c 2866s| 22100 | 10211 | 1860k| 73.7 | 2200M | 74 | 945 | 63k| 58k| 21k| 1 |9268 |5984 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2863.30/2870.91 c 2871s| 22200 | 10233 | 1863k| 73.6 | 2201M | 74 | 945 | 63k| 58k| 21k| 0 |9275 |5984 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2882.05/2889.79 c 2890s| 22300 | 10259 | 1868k| 73.5 | 2201M | 74 | 945 | 63k| 58k| 21k| 1 |9280 |5987 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2888.44/2896.13 c 2896s| 22400 | 10285 | 1871k| 73.3 | 2201M | 74 | 945 | 63k| 58k| 21k| 0 |9291 |5987 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2892.13/2899.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2892.13/2899.83 c 2900s| 22500 | 10307 | 1874k| 73.1 | 2201M | 74 | 945 | 63k| 58k| 21k| 0 |9294 |5987 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2894.53/2902.26 c 2902s| 22600 | 10333 | 1878k| 73.0 | 2201M | 74 | 945 | 63k| 58k| 21k| 1 |9294 |5987 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2901.32/2909.08 c 2909s| 22700 | 10363 | 1883k| 72.9 | 2201M | 74 | 945 | 63k| 58k| 22k| 1 |9299 |5989 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2913.08/2920.82 c 2921s| 22800 | 10395 | 1887k| 72.8 | 2201M | 74 | 945 | 63k| 58k| 22k| 1 |9333 |5992 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2928.15/2935.94 c 2936s| 22900 | 10423 | 1892k| 72.7 | 2201M | 74 | 945 | 63k| 58k| 22k| 1 |9341 |5992 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2930.04/2937.83 c 2938s| 23000 | 10465 | 1897k| 72.6 | 2201M | 74 | 945 | 63k| 58k| 22k| 2 |9357 |5997 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2938.82/2946.60 c 2947s| 23100 | 10501 | 1901k| 72.5 | 2201M | 74 | 945 | 63k| 58k| 22k| 0 |9387 |6000 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2940.81/2948.64 c 2949s| 23200 | 10553 | 1906k| 72.4 | 2201M | 74 | 945 | 63k| 58k| 22k| 1 |9429 |6005 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2956.88/2964.71 c 2965s| 23300 | 10589 | 1912k| 72.3 | 2201M | 74 | 945 | 63k| 58k| 22k| 2 |9462 |6009 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2959.57/2967.48 c 2967s| 23400 | 10619 | 1915k| 72.2 | 2201M | 74 | 945 | 63k| 58k| 22k| 0 |9471 |6009 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2978.43/2986.33 c 2986s| 23500 | 10643 | 1921k| 72.1 | 2201M | 74 | 945 | 63k| 58k| 22k| 0 |9482 |6010 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2988.60/2996.52 c 2997s| 23600 | 10679 | 1925k| 72.0 | 2201M | 74 | 945 | 63k| 58k| 22k| 1 |9505 |6010 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2991.80/2999.71 c 3000s| 23700 | 10713 | 1930k| 71.9 | 2201M | 74 | 945 | 63k| 58k| 22k| 2 |9505 |6010 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
2993.10/3001.05 c 3001s| 23800 | 10741 | 1933k| 71.8 | 2201M | 74 | 945 | 63k| 58k| 22k| 0 |9508 |6010 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3003.97/3011.92 c 3012s| 23900 | 10775 | 1936k| 71.6 | 2247M | 74 | 945 | 63k| 58k| 23k| 1 |9521 |6011 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3017.54/3025.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3017.54/3025.53 c 3026s| 24000 | 10799 | 1940k| 71.5 | 2247M | 74 | 945 | 63k| 58k| 23k| 1 |9527 |6015 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3018.94/3026.95 c 3027s| 24100 | 10815 | 1943k| 71.3 | 2247M | 74 | 945 | 63k| 58k| 23k| 1 |9527 |6015 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3025.22/3033.21 c 3033s| 24200 | 10849 | 1946k| 71.2 | 2248M | 74 | 945 | 63k| 58k| 23k| 2 |9547 |6015 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3036.30/3044.31 c 3044s| 24300 | 10881 | 1950k| 71.1 | 2248M | 74 | 945 | 63k| 58k| 23k| 1 |9553 |6015 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3043.78/3051.84 c 3052s| 24400 | 10915 | 1954k| 71.0 | 2248M | 74 | 945 | 63k| 58k| 23k| 0 |9555 |6015 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3057.55/3065.60 c 3066s| 24500 | 10951 | 1958k| 70.9 | 2248M | 74 | 945 | 63k| 58k| 23k| 1 |9564 |6015 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3080.70/3088.86 c 3089s| 24600 | 10977 | 1962k| 70.7 | 2249M | 74 | 945 | 63k| 58k| 23k| 1 |9578 |6015 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3104.05/3112.24 c 3112s| 24700 | 11007 | 1968k| 70.7 | 2344M | 74 | 945 | 63k| 58k| 24k| 0 |9591 |6016 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3113.93/3122.17 c 3122s| 24800 | 11045 | 1973k| 70.6 | 2344M | 74 | 945 | 63k| 58k| 24k| 1 |9619 |6018 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3139.77/3148.01 c 3148s| 24900 | 11069 | 1979k| 70.6 | 2346M | 74 | 945 | 63k| 58k| 24k| 0 |9624 |6044 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3144.55/3152.81 c 3153s| 25000 | 11113 | 1986k| 70.6 | 2347M | 74 | 945 | 63k| 58k| 24k| 1 |9640 |6059 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3161.31/3169.65 c 3170s| 25100 | 11149 | 1992k| 70.6 | 2347M | 74 | 945 | 63k| 58k| 24k| 1 |9694 |6084 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3180.47/3188.85 c 3189s| 25200 | 11173 | 1997k| 70.5 | 2347M | 74 | 945 | 63k| 58k| 24k| 0 |9757 |6112 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3194.24/3202.64 c 3203s| 25300 | 11195 | 2002k| 70.4 | 2347M | 74 | 945 | 63k| 58k| 24k| 1 |9767 |6119 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3207.81/3216.21 c 3216s| 25400 | 11233 | 2006k| 70.3 | 2347M | 74 | 945 | 63k| 58k| 25k| 0 |9773 |6132 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3220.28/3228.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3220.28/3228.75 c 3229s| 25500 | 11273 | 2012k| 70.3 | 2347M | 74 | 945 | 63k| 58k| 25k| 0 |9822 |6171 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3222.27/3230.79 c 3231s| 25600 | 11301 | 2016k| 70.2 | 2347M | 74 | 945 | 63k| 58k| 25k| 1 |9831 |6183 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3228.76/3237.25 c 3237s| 25700 | 11317 | 2019k| 70.0 | 2347M | 74 | 945 | 63k| 58k| 25k| 1 |9840 |6194 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3252.30/3260.86 c 3261s| 25800 | 11341 | 2025k| 70.0 | 2347M | 74 | 945 | 63k| 58k| 25k| 1 |9865 |6214 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3265.48/3274.10 c 3274s| 25900 | 11357 | 2030k| 69.9 | 2347M | 74 | 945 | 63k| 58k| 25k| 1 |9894 |6244 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3268.47/3277.00 c 3277s| 26000 | 11395 | 2034k| 69.8 | 2349M | 74 | 945 | 63k| 58k| 25k| 1 |9894 |6246 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3271.56/3280.19 c 3280s| 26100 | 11429 | 2038k| 69.7 | 2349M | 74 | 945 | 63k| 58k| 25k| 1 |9902 |6264 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3282.54/3291.13 c 3291s| 26200 | 11459 | 2043k| 69.7 | 2350M | 74 | 945 | 63k| 58k| 25k| 2 |9943 |6290 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3287.72/3296.31 c 3296s| 26300 | 11489 | 2048k| 69.6 | 2350M | 74 | 945 | 63k| 58k| 25k| 1 |9995 |6314 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3296.70/3305.39 c 3305s| 26400 | 11513 | 2052k| 69.5 | 2350M | 74 | 945 | 63k| 58k| 25k| 2 | 10k|6352 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3308.68/3317.38 c 3317s| 26500 | 11529 | 2056k| 69.4 | 2350M | 74 | 945 | 63k| 58k| 25k| 0 | 10k|6378 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3316.36/3325.04 c 3325s| 26600 | 11557 | 2061k| 69.3 | 2350M | 74 | 945 | 63k| 58k| 26k| 1 | 10k|6411 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3326.13/3334.86 c 3335s| 26700 | 11583 | 2065k| 69.2 | 2350M | 74 | 945 | 63k| 58k| 26k| 1 | 10k|6431 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3327.53/3336.28 c 3336s| 26800 | 11607 | 2068k| 69.1 | 2351M | 74 | 945 | 63k| 58k| 26k| 2 | 10k|6434 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3331.12/3339.80 c 3340s| 26900 | 11621 | 2071k| 68.9 | 2351M | 74 | 945 | 63k| 58k| 26k| 1 | 10k|6453 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3347.48/3356.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3347.48/3356.27 c 3356s| 27000 | 11645 | 2075k| 68.8 | 2351M | 74 | 945 | 63k| 58k| 26k| 2 | 10k|6465 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3359.66/3368.45 c 3368s| 27100 | 11665 | 2078k| 68.7 | 2351M | 74 | 945 | 63k| 58k| 26k| 2 | 10k|6484 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3372.13/3380.90 c 3381s| 27200 | 11681 | 2082k| 68.6 | 2351M | 74 | 945 | 64k| 58k| 26k| 1 | 10k|6504 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3384.50/3393.36 c 3393s| 27300 | 11713 | 2088k| 68.6 | 2351M | 74 | 945 | 64k| 58k| 26k| 1 | 10k|6518 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3390.19/3399.09 c 3399s| 27400 | 11737 | 2092k| 68.5 | 2351M | 74 | 945 | 64k| 58k| 26k| 1 | 10k|6528 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3402.46/3411.32 c 3411s| 27500 | 11769 | 2096k| 68.4 | 2351M | 74 | 945 | 64k| 58k| 26k| 0 | 10k|6560 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3413.83/3422.73 c 3423s| 27600 | 11789 | 2100k| 68.3 | 2351M | 74 | 945 | 64k| 58k| 26k| 1 | 10k|6592 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3424.61/3433.54 c 3434s| 27700 | 11831 | 2106k| 68.3 | 2351M | 74 | 945 | 64k| 58k| 27k| 4 | 10k|6608 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3434.39/3443.34 c 3443s| 27800 | 11855 | 2110k| 68.2 | 2351M | 74 | 945 | 64k| 58k| 27k| 1 | 10k|6617 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3442.97/3451.99 c 3452s| 27900 | 11891 | 2115k| 68.1 | 2351M | 74 | 945 | 64k| 58k| 27k| 1 | 10k|6627 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3454.94/3463.96 c 3464s| 28000 | 11913 | 2119k| 68.0 | 2351M | 74 | 945 | 64k| 58k| 27k| 1 | 10k|6633 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3466.51/3475.58 c 3476s| 28100 | 11933 | 2123k| 68.0 | 2351M | 74 | 945 | 64k| 58k| 27k| 1 | 10k|6641 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3469.50/3478.57 c 3479s| 28200 | 11957 | 2127k| 67.9 | 2351M | 74 | 945 | 64k| 58k| 27k| 1 | 10k|6652 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3473.40/3482.40 c 3482s| 28300 | 11991 | 2130k| 67.7 | 2351M | 74 | 945 | 64k| 58k| 27k| 1 | 10k|6654 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3477.19/3486.22 c 3486s| 28400 | 12031 | 2134k| 67.7 | 2352M | 74 | 945 | 64k| 58k| 27k| 1 | 10k|6660 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3478.88/3487.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3478.88/3487.94 c 3488s| 28500 | 12063 | 2137k| 67.5 | 2352M | 74 | 945 | 64k| 58k| 27k| 0 | 10k|6665 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3480.48/3489.54 c 3490s| 28600 | 12089 | 2140k| 67.4 | 2352M | 74 | 945 | 64k| 58k| 27k| 2 | 10k|6665 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3484.07/3493.18 c 3493s| 28700 | 12125 | 2145k| 67.4 | 2352M | 74 | 945 | 64k| 58k| 27k| 1 | 10k|6665 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3496.84/3505.94 c 3506s| 28800 | 12157 | 2150k| 67.3 | 2352M | 74 | 945 | 64k| 58k| 27k| 0 | 10k|6670 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3520.68/3529.86 c 3530s| 28900 | 12175 | 2155k| 67.3 | 2352M | 74 | 945 | 64k| 58k| 27k| 1 | 10k|6671 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3531.66/3540.81 c 3541s| 29000 | 12195 | 2158k| 67.1 | 2353M | 74 | 945 | 64k| 58k| 28k| 1 | 10k|6672 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3549.01/3558.25 c 3558s| 29100 | 12223 | 2163k| 67.1 | 2408M | 74 | 945 | 64k| 58k| 28k| 1 | 10k|6680 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3557.20/3566.46 c 3566s| 29200 | 12257 | 2168k| 67.0 | 2408M | 74 | 945 | 64k| 58k| 28k| 1 | 10k|6680 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3562.79/3572.03 c 3572s| 29300 | 12283 | 2172k| 67.0 | 2408M | 74 | 945 | 64k| 58k| 28k| 2 | 10k|6691 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3570.87/3580.16 c 3580s| 29400 | 12308 | 2176k| 66.9 | 2408M | 74 | 945 | 64k| 58k| 28k| 1 | 10k|6705 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3578.05/3587.31 c 3587s| 29500 | 12335 | 2180k| 66.8 | 2408M | 74 | 945 | 64k| 58k| 28k| 1 | 10k|6720 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3585.53/3594.89 c 3595s| 29600 | 12377 | 2184k| 66.7 | 2408M | 74 | 945 | 64k| 58k| 28k| 0 | 10k|6736 |-4.500000e+01 |-4.100000e+01 | 9.76%| unknown
3587.62/3597.00 c
3587.62/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.62/3597.00 c Solving Time (sec) : 3597.00
3587.62/3597.00 c Solving Nodes : 29700 (total of 32620 nodes in 2 runs)
3587.62/3597.00 c Primal Bound : -4.10000000000000e+01 (834 solutions)
3587.62/3597.00 c Dual Bound : -4.50000000000000e+01
3587.62/3597.00 c Gap : 9.76 %
3587.73/3597.01 s SATISFIABLE
3587.73/3597.01 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924
3587.73/3597.01 v -x923 -x922 x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902
3587.73/3597.01 v -x901 -x900 x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880
3587.73/3597.01 v -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 x865 -x864 -x863 -x862 -x861 x860 -x859 -x858
3587.73/3597.01 v -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836
3587.73/3597.01 v -x835 -x834 -x833 x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814
3587.73/3597.01 v -x813 -x812 -x811 -x810 x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792
3587.73/3597.01 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
3587.73/3597.01 v -x769 -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748
3587.73/3597.01 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
3587.73/3597.01 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704
3587.73/3597.01 v -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 x682
3587.73/3597.01 v -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660
3587.73/3597.01 v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 x638
3587.73/3597.01 v -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616
3587.73/3597.01 v -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594
3587.73/3597.01 v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572
3587.73/3597.01 v x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550
3587.73/3597.01 v -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528
3587.73/3597.01 v -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506
3587.73/3597.01 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484
3587.73/3597.01 v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462
3587.73/3597.01 v -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440
3587.73/3597.01 v -x439 -x438 -x437 -x436 -x435 -x434 x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 -x418
3587.73/3597.01 v -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396
3587.73/3597.01 v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374
3587.73/3597.01 v x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
3587.73/3597.01 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
3587.73/3597.01 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308
3587.73/3597.01 v -x307 -x306 -x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286
3587.73/3597.01 v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264
3587.73/3597.01 v -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 -x243 -x242
3587.73/3597.01 v -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220
3587.73/3597.01 v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
3587.73/3597.01 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
3587.73/3597.01 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154
3587.73/3597.01 v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132
3587.73/3597.01 v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110
3587.73/3597.01 v -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86
3587.73/3597.01 v -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
3587.73/3597.01 v -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34
3587.73/3597.01 v -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 x7
3587.73/3597.01 v -x6 -x5 -x4 -x3 -x2 -x1
3587.73/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.73/3597.01 c Total Time : 3597.00
3587.73/3597.01 c solving : 3597.00
3587.73/3597.01 c presolving : 1.28 (included in solving)
3587.73/3597.01 c reading : 0.08 (included in solving)
3587.73/3597.01 c copying : 2.42 (42 #copies) (minimal 0.05, maximal 0.07, average 0.06)
3587.73/3597.01 c Original Problem :
3587.73/3597.01 c Problem name : HOME/instance-4485009-1751308612.opb
3587.73/3597.01 c Variables : 945 (945 binary, 0 integer, 0 continuous)
3587.73/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.73/3597.01 c Constraints : 58245 initial, 58245 maximal
3587.73/3597.01 c Objective : minimize, 945 non-zeros (abs.min = 1, abs.max = 1)
3587.73/3597.01 c Presolved Problem :
3587.73/3597.01 c Problem name : t_HOME/instance-4485009-1751308612.opb
3587.73/3597.01 c Variables : 945 (945 binary, 0 integer, 0 continuous)
3587.73/3597.01 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.73/3597.01 c Constraints : 59398 initial, 64353 maximal
3587.73/3597.01 c Objective : minimize, 945 non-zeros (abs.min = 1, abs.max = 1)
3587.73/3597.01 c Nonzeros : 145730 constraint, 118183 clique table
3587.73/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.73/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c domcol : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c dualsparsify : 0.40 0.00 1 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c gateextraction : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c implics : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c milp : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c dualfix : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c probing : 0.20 0.00 1 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c knapsack : 0.00 0.00 3 0 0 0 0 0 0 0 0 2
3587.73/3597.01 c setppc : 0.14 0.00 9 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c linear : 0.16 0.01 4 0 0 0 0 0 3 0 3 0
3587.73/3597.01 c logicor : 0.07 0.01 5 0 0 0 0 0 34 0 0 7
3587.73/3597.01 c components : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.73/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.73/3597.01 c integral : 0 0 0 0 26856 0 0 6119 0 0 1004 0 0 1681 52724
3587.73/3597.01 c knapsack : 1+ 13 11 13887 0 0 0 0 0 4 0 0 0 0 0
3587.73/3597.01 c setppc : 58398 58398 58 159556 4 0 0 6113 490104 0 713541 0 0 0 0
3587.73/3597.01 c linear : 0+ 19 0 4487 0 0 0 2 4 3 10 0 0 0 0
3587.73/3597.01 c logicor : 999+ 5940 11 43077 0 0 0 0 131 454 197 0 0 0 0
3587.73/3597.01 c fixedvar : 0 0 0 0 4 0 0 1244 0 0 0 0 0 0 0
3587.73/3597.01 c countsols : 0 0 0 0 4 0 0 1244 0 0 0 0 0 0 0
3587.73/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.73/3597.01 c integral : 222.24 0.00 0.00 0.00 222.22 0.00 0.00 0.02 0.00 0.00
3587.73/3597.01 c knapsack : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c setppc : 16.94 0.00 0.13 10.27 0.00 0.00 0.00 3.61 0.10 2.82
3587.73/3597.01 c linear : 0.03 0.01 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c logicor : 1.23 0.01 0.00 1.11 0.00 0.00 0.00 0.00 0.00 0.11
3587.73/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.73/3597.01 c dualfix : 3 0 0 0
3587.73/3597.01 c genvbounds : 0 0 0 0
3587.73/3597.01 c nlobbt : 0 0 0 0
3587.73/3597.01 c obbt : 0 0 0 0
3587.73/3597.01 c probing : 0 0 0 0
3587.73/3597.01 c pseudoobj : 86425 0 0 0
3587.73/3597.01 c redcost : 3303 0 0 8
3587.73/3597.01 c rootredcost : 5 0 0 0
3587.73/3597.01 c symmetry : 0 0 0 0
3587.73/3597.01 c vbounds : 52243 0 0 0
3587.73/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.73/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.73/3597.01 c probing : 0.20 0.00 0.20 0.00 0.00 0.00
3587.73/3597.01 c pseudoobj : 3.86 0.00 0.00 3.85 0.00 0.00
3587.73/3597.01 c redcost : 0.12 0.00 0.00 0.11 0.00 0.00
3587.73/3597.01 c rootredcost : 0.04 0.00 0.00 0.04 0.00 0.01
3587.73/3597.01 c symmetry : 0.07 0.00 0.02 0.04 0.00 0.01
3587.73/3597.01 c vbounds : 0.09 0.00 0.01 0.07 0.00 0.01
3587.73/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.73/3597.01 c propagation : 0.00 460 266 - 355 34.9 0 0.0 - - -
3587.73/3597.01 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.73/3597.01 c bound exceed. LP : 7.52 4611 2377 - 32267 157.6 0 0.0 64 127.7 8938
3587.73/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.73/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.73/3597.01 c applied globally : 1.76 - - 0 10847 26.7 - - 64 - -
3587.73/3597.01 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.73/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.73/3597.01 c cut pool : 5.34 - 10591 114 - - 166576 261601 - - - - - (maximal pool size: 4125)
3587.73/3597.01 c aggregation : 13.06 0.00 3682 58 0 0 36 166 0 14 14 0 0
3587.73/3597.01 c > cmir : - - - - - - - 125 0 11 11 0 -
3587.73/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.73/3597.01 c > knapsackcover : - - - - - - - 41 0 3 3 0 -
3587.73/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c clique : 0.40 0.00 58 58 0 0 504 1408 0 518 518 0 0
3587.73/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c gomory : 2499.15 0.00 3490 20 0 0 154156 211507 1038 9594 9585 9 0
3587.73/3597.01 c > gomorymi : - - - - - - - 71698 532 983 980 3 -
3587.73/3597.01 c > strongcg : - - - - - - - 139809 506 8611 8605 6 -
3587.73/3597.01 c impliedbounds : 3.48 0.00 3682 58 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c mcf : 0.04 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c multilinear : 0.00 0.00 338 58 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3587.73/3597.01 c zerohalf : 12.17 0.00 3501 31 0 0 13153 48520 235 22253 22134 119 0
3587.73/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.73/3597.01 c hybrid : 0.16 0.00 5995 58 32379 0 230495 712 0 3962
3587.73/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.73/3597.01 c problem variables: 0.00 - 0 0
3587.73/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.73/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c relpscost : 222.18 0.00 26852 0 0 0 1004 0 1702 52724
3587.73/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.73/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.73/3597.01 c LP solutions : 0.04 - - 4 4
3587.73/3597.01 c relax solutions : 0.00 - - 0 0
3587.73/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.73/3597.01 c strong branching : 1.06 - - 317 0
3587.73/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c adaptivediving : 2.22 0.00 75 0 0
3587.73/3597.01 c alns : 1.04 0.00 5 0 0
3587.73/3597.01 c bound : 0.00 0.00 0 0 0
3587.73/3597.01 c clique : 0.11 0.00 1 1 1
3587.73/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c completesol : 0.00 0.00 0 0 0
3587.73/3597.01 c conflictdiving : 10.34 0.00 295 4 1
3587.73/3597.01 c crossover : 4.08 0.00 21 3 0
3587.73/3597.01 c dins : 0.00 0.00 0 0 0
3587.73/3597.01 c distributiondivin: 33.19 0.00 295 0 0
3587.73/3597.01 c dks : 0.00 0.00 0 0 0
3587.73/3597.01 c dps : 0.00 0.00 0 0 0
3587.73/3597.01 c dualval : 0.00 0.00 0 0 0
3587.73/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c feaspump : 0.00 0.00 0 0 0
3587.73/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.73/3597.01 c fracdiving : 10.95 0.00 296 0 0
3587.73/3597.01 c gins : 0.10 0.00 0 0 0
3587.73/3597.01 c guideddiving : 8.75 0.00 295 0 0
3587.73/3597.01 c indicator : 0.00 0.00 0 0 0
3587.73/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.73/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.73/3597.01 c linesearchdiving : 11.59 0.00 295 1 0
3587.73/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.73/3597.01 c locks : 0.05 0.00 1 0 0
3587.73/3597.01 c lpface : 0.03 0.00 0 0 0
3587.73/3597.01 c mpec : 0.00 0.00 0 0 0
3587.73/3597.01 c multistart : 0.00 0.00 0 0 0
3587.73/3597.01 c mutation : 0.00 0.00 0 0 0
3587.73/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.73/3597.01 c objpscostdiving : 23.11 0.00 148 177 0
3587.73/3597.01 c octane : 0.00 0.00 0 0 0
3587.73/3597.01 c ofins : 0.00 0.00 0 0 0
3587.73/3597.01 c oneopt : 0.04 0.00 8 0 0
3587.73/3597.01 c padm : 0.00 0.00 0 0 0
3587.73/3597.01 c proximity : 0.00 0.00 0 0 0
3587.73/3597.01 c pscostdiving : 15.94 0.00 296 12 2
3587.73/3597.01 c randrounding : 3.74 0.00 5048 48 0
3587.73/3597.01 c rens : 2.90 0.00 2 1 0
3587.73/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.73/3597.01 c repair : 0.00 0.00 0 0 0
3587.73/3597.01 c rins : 2.95 0.00 14 6 1
3587.73/3597.01 c rootsoldiving : 25.13 0.00 148 97 0
3587.73/3597.01 c rounding : 5.02 0.00 2541 0 0
3587.73/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.73/3597.01 c shiftandpropagate: 0.00 0.00 0 0 0
3587.73/3597.01 c shifting : 2.91 0.00 1254 0 0
3587.73/3597.01 c simplerounding : 0.39 0.00 32852 28 0
3587.73/3597.01 c subnlp : 0.00 0.00 0 0 0
3587.73/3597.01 c trivial : 0.00 0.00 4 1 1
3587.73/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.73/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.73/3597.01 c trysol : 0.01 0.00 0 0 0
3587.73/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.73/3597.01 c undercover : 0.00 0.00 0 0 0
3587.73/3597.01 c vbounds : 0.12 0.00 2 1 1
3587.73/3597.01 c veclendiving : 7.74 0.00 295 0 0
3587.73/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.73/3597.01 c zirounding : 14.89 0.00 6651 133 0
3587.73/3597.01 c other solutions : - - - 0 -
3587.73/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.73/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.73/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.73/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.73/3597.01 c primal LP : 12.18 3185 0 0.00 0.00 12.18 3185
3587.73/3597.01 c dual LP : 430.16 39111 1813400 46.45 4215.62 0.37 75
3587.73/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.73/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.73/3597.01 c resolve instable : 0.00 0 0 0.00 -
3587.73/3597.01 c diving/probing LP: 106.79 11658 374301 32.11 3505.12
3587.73/3597.01 c strong branching : 114.07 6740 437212 64.87 3832.92 - - 1801
3587.73/3597.01 c (at root node) : - 43 4839 112.53 -
3587.73/3597.01 c conflict analysis: 2.72 904 8938 9.89 3287.47
3587.73/3597.01 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.73/3597.01 c benders : 0.00 0 0 0 0.00 0 0 0
3587.73/3597.01 c B&B Tree :
3587.73/3597.01 c number of runs : 2
3587.73/3597.01 c nodes : 29700 (23750 internal, 5950 leaves)
3587.73/3597.01 c feasible leaves : 3
3587.73/3597.01 c infeas. leaves : 5
3587.73/3597.01 c objective leaves : 5941
3587.73/3597.01 c nodes (total) : 32620 (26362 internal, 6258 leaves)
3587.73/3597.01 c nodes left : 12412
3587.73/3597.01 c max depth : 74
3587.73/3597.01 c max depth (total): 74
3587.73/3597.01 c backtracks : 4603 (15.5%)
3587.73/3597.01 c early backtracks : 0 (0.0%)
3587.73/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.73/3597.01 c delayed cutoffs : 2
3587.73/3597.01 c repropagations : 186 (259 domain reductions, 2 cutoffs)
3587.73/3597.01 c avg switch length: 5.16
3587.73/3597.01 c switching time : 44.61
3587.73/3597.01 c Root Node :
3587.73/3597.01 c First LP value : -4.72500000000000e+02
3587.73/3597.01 c First LP Iters : 945 (4003.03 Iter/sec)
3587.73/3597.01 c First LP Time : 0.24
3587.73/3597.01 c Final Dual Bound : -4.50000000000000e+01
3587.73/3597.01 c Final Root Iters : 15409
3587.73/3597.01 c Root LP Estimate : -3.84907324263694e+01
3587.73/3597.01 c Solution :
3587.73/3597.01 c Solutions found : 834 (11 improvements)
3587.73/3597.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.15 seconds, depth 0, found by <trivial>)
3587.73/3597.01 c Gap First Sol. : infinite
3587.73/3597.01 c Gap Last Sol. : 9.76 %
3587.73/3597.01 c Primal Bound : -4.10000000000000e+01 (in run 2, after 21076 nodes, 2771.79 seconds, depth 47, found by <relaxation>)
3587.73/3597.01 c Dual Bound : -4.50000000000000e+01
3587.73/3597.01 c Gap : 9.76 %
3587.73/3597.01 c Integrals : Total Avg%
3587.73/3597.01 c primal-dual : 46505.80 12.93
3587.73/3597.01 c primal-ref : - - (not evaluated)
3587.73/3597.01 c dual-ref : - - (not evaluated)
3587.92/3597.25 c Time complete (sec): 3587.988
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: 63665 MiB (62913 MiB free)
memory of node 1: 64507 MiB (59070 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485009-1751308612/watcher-4485009-1751308612 -o /tmp/evaluation-result-4485009-1751308612/solver-4485009-1751308612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751301413-37232 --watchdog 3760 pbsolver -f HOME/instance-4485009-1751308612.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=38592, runsolver pid=38588
[startup+0.100065 s]*
/proc/loadavg: 4.11 4.16 4.12 5/263 38597
/proc/meminfo: memFree=124815604/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=65436 memory=56512 CPUtime=0.1 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 12190 0 0 0 8 2 0 0 20 0 1 0 46540773 67006464 14128 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 16359 14128 2368 2575 0 13266 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 65436 KiB
Current children cumulated memory: 56512 KiB
[startup+0.205841 s]*
/proc/loadavg: 4.11 4.16 4.12 5/263 38597
/proc/meminfo: memFree=124758652/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=97400 memory=87104 CPUtime=0.2 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 19792 0 0 0 17 3 0 0 20 0 1 0 46540773 99737600 21776 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 24350 21776 2400 2575 0 21257 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 97400 KiB
Current children cumulated memory: 87104 KiB
[startup+0.305687 s]*
/proc/loadavg: 4.11 4.16 4.12 5/263 38597
/proc/meminfo: memFree=124730364/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=131028 memory=120932 CPUtime=0.3 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 29118 0 0 0 26 4 0 0 20 0 1 0 46540773 134172672 30233 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 32757 30233 2496 2575 0 29664 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 131028 KiB
Current children cumulated memory: 120932 KiB
[startup+0.700174 s]
/proc/loadavg: 4.10 4.16 4.12 5/263 38597
/proc/meminfo: memFree=124654192/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=114092 memory=103452 CPUtime=0.69 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 35854 0 0 0 64 5 0 0 20 0 1 0 46540773 116830208 25863 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 28523 25863 2528 2575 0 25430 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 114092 KiB
Current children cumulated memory: 103452 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.16 4.12 5/263 38597
/proc/meminfo: memFree=124544744/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=358452 memory=329964 CPUtime=1.49 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 64418 0 0 0 137 12 0 0 20 0 1 0 46540773 367054848 82491 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 89613 82491 2688 2575 0 86520 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 358452 KiB
Current children cumulated memory: 329964 KiB
[startup+3.10552 s]
/proc/loadavg: 4.10 4.16 4.12 5/263 38597
/proc/meminfo: memFree=124383220/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=388680 memory=352108 CPUtime=3.08 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 69462 0 0 0 295 13 0 0 20 0 1 0 46540773 398008320 88027 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 97170 88027 2688 2575 0 94077 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 388680 KiB
Current children cumulated memory: 352108 KiB
[startup+6.3001 s]
/proc/loadavg: 4.09 4.15 4.12 5/263 38597
/proc/meminfo: memFree=124375676/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=401712 memory=355180 CPUtime=6.27 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 70221 0 0 0 614 13 0 0 20 0 1 0 46540773 411353088 88795 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 100428 88795 2688 2575 0 97335 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 401712 KiB
Current children cumulated memory: 355180 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.17 4.12 5/263 38597
/proc/meminfo: memFree=124308324/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=477328 memory=372336 CPUtime=12.65 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 72984 0 0 0 1251 14 0 0 20 0 1 0 46540773 488783872 93084 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 119332 93084 2688 2575 0 116239 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 477328 KiB
Current children cumulated memory: 372336 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.16 4.12 5/263 38597
/proc/meminfo: memFree=124150016/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=582100 memory=451184 CPUtime=25.42 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 92698 0 0 0 2525 17 0 0 20 0 1 0 46540773 596070400 112796 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 145525 112796 2688 2575 0 142432 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 582100 KiB
Current children cumulated memory: 451184 KiB
[startup+51.1058 s]
/proc/loadavg: 4.08 4.14 4.12 5/263 38598
/proc/meminfo: memFree=124142140/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=631188 memory=455832 CPUtime=50.95 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 92835 0 0 0 5078 17 0 0 20 0 1 0 46540773 646336512 113958 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 157797 113958 2688 2575 0 154704 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 631188 KiB
Current children cumulated memory: 455832 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/263 38600
/proc/meminfo: memFree=124038852/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=702144 memory=508340 CPUtime=102 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 109454 0 0 0 10180 20 0 0 20 0 1 0 46540773 718995456 127085 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 175536 127085 2688 2575 0 172443 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 702144 KiB
Current children cumulated memory: 508340 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.12 4.11 5/264 38605
/proc/meminfo: memFree=123881440/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=768172 memory=575368 CPUtime=161.85 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 124702 0 0 0 16162 23 0 0 20 0 1 0 46540773 786608128 143842 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 192043 143842 2688 2575 0 188950 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 768172 KiB
Current children cumulated memory: 575368 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.11 4.10 5/264 38611
/proc/meminfo: memFree=123744288/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=835000 memory=623716 CPUtime=221.69 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 130151 0 0 0 22145 24 0 0 20 0 1 0 46540773 855040000 155929 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 208750 155929 2688 2575 0 205657 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 835000 KiB
Current children cumulated memory: 623716 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.10 4/261 38627
/proc/meminfo: memFree=125611772/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=955784 memory=644048 CPUtime=281.52 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 142269 0 0 0 28127 25 0 0 20 0 1 0 46540773 978722816 161012 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 238946 161012 2688 2575 0 235853 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 955784 KiB
Current children cumulated memory: 644048 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 38659
/proc/meminfo: memFree=125243676/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=1017144 memory=700340 CPUtime=341.32 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 155318 0 0 0 34105 27 0 0 20 0 1 0 46540773 1041555456 175085 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 254286 175085 2688 2575 0 251193 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 1017144 KiB
Current children cumulated memory: 700340 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 38661
/proc/meminfo: memFree=125089880/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=1101428 memory=745888 CPUtime=401.11 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 165447 0 0 0 40082 29 0 0 20 0 1 0 46540773 1127862272 186472 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 275357 186472 2688 2575 0 272264 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 1101428 KiB
Current children cumulated memory: 745888 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 38664
/proc/meminfo: memFree=124947988/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=1150136 memory=756564 CPUtime=460.88 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 166594 0 0 0 46059 29 0 0 20 0 1 0 46540773 1177739264 189141 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 287534 189141 2688 2575 0 284441 0
Current children cumulated CPU time: 460.88 s
################
# More data... #
################
/proc/loadavg: 3.17 3.39 3.74 4/258 38968
/proc/meminfo: memFree=123527348/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2400432 memory=1998212 CPUtime=3154.03 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 349354 0 0 0 315331 72 0 0 20 0 1 0 46540773 2458042368 499553 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 600108 499553 2944 2575 0 597015 0
Current children cumulated CPU time: 3154.03 s
Current children cumulated vsize: 2400432 KiB
Current children cumulated memory: 1998212 KiB
[startup+3222.3 s]
/proc/loadavg: 3.11 3.34 3.70 4/257 38972
/proc/meminfo: memFree=123528348/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2400432 memory=1998212 CPUtime=3213.89 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 349602 0 0 0 321317 72 0 0 20 0 1 0 46540773 2458042368 499553 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 600108 499553 2944 2575 0 597015 0
Current children cumulated CPU time: 3213.89 s
Current children cumulated vsize: 2400432 KiB
Current children cumulated memory: 1998212 KiB
[startup+3282.3 s]
/proc/loadavg: 3.16 3.30 3.66 4/258 38978
/proc/meminfo: memFree=123491448/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2409876 memory=2007404 CPUtime=3273.75 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 355564 0 0 0 327302 73 0 0 20 0 1 0 46540773 2467713024 501851 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 602469 501851 2944 2575 0 599376 0
Current children cumulated CPU time: 3273.75 s
Current children cumulated vsize: 2409876 KiB
Current children cumulated memory: 2007404 KiB
[startup+3342.3 s]
/proc/loadavg: 3.12 3.26 3.63 4/258 38980
/proc/meminfo: memFree=123438784/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2409876 memory=2040172 CPUtime=3333.62 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 355712 0 0 0 333288 74 0 0 20 0 1 0 46540773 2467713024 510043 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 602469 510043 2944 2575 0 599376 0
Current children cumulated CPU time: 3333.62 s
Current children cumulated vsize: 2409876 KiB
Current children cumulated memory: 2040172 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.23 3.59 4/258 38982
/proc/meminfo: memFree=123204728/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2413364 memory=2043912 CPUtime=3393.48 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 360494 0 0 0 339273 75 0 0 20 0 1 0 46540773 2471284736 510978 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 603341 510978 2944 2575 0 600248 0
Current children cumulated CPU time: 3393.48 s
Current children cumulated vsize: 2413364 KiB
Current children cumulated memory: 2043912 KiB
[startup+3462.3 s]
/proc/loadavg: 3.13 3.21 3.56 4/258 38984
/proc/meminfo: memFree=123204324/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2413364 memory=2043912 CPUtime=3453.34 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 360660 0 0 0 345259 75 0 0 20 0 1 0 46540773 2471284736 510978 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 603341 510978 2944 2575 0 600248 0
Current children cumulated CPU time: 3453.34 s
Current children cumulated vsize: 2413364 KiB
Current children cumulated memory: 2043912 KiB
[startup+3522.3 s]
/proc/loadavg: 3.10 3.19 3.53 4/257 38986
/proc/meminfo: memFree=123179816/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2413364 memory=2043912 CPUtime=3513.2 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 360663 0 0 0 351245 75 0 0 20 0 1 0 46540773 2471284736 510978 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 603341 510978 2944 2575 0 600248 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 2413364 KiB
Current children cumulated memory: 2043912 KiB
[startup+3582.3 s]
/proc/loadavg: 3.08 3.17 3.50 4/256 38988
/proc/meminfo: memFree=123078572/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3573.06 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362515 0 0 0 357230 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB
[startup+3597.27 s]
# the end of solver process 38592 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.21 s, system=0.795892 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.08 3.17 3.50 4/256 38988
/proc/meminfo: memFree=123078572/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3574.76 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362517 0 0 0 357400 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3574.76 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB
[startup+3590.4 s]
/proc/loadavg: 3.15 3.18 3.50 4/256 38989
/proc/meminfo: memFree=123043100/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3581.14 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362519 0 0 0 358038 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3581.14 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB
[startup+3593.6 s]
/proc/loadavg: 3.14 3.18 3.50 4/256 38989
/proc/meminfo: memFree=123043100/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3584.33 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362520 0 0 0 358357 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3584.33 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB
[startup+3595.2 s]
/proc/loadavg: 3.14 3.18 3.50 4/256 38989
/proc/meminfo: memFree=123043100/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3585.93 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362521 0 0 0 358517 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3585.93 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB
[startup+3596 s]*
/proc/loadavg: 3.14 3.18 3.50 4/256 38989
/proc/meminfo: memFree=123039004/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3586.73 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362521 0 0 0 358597 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3586.73 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB
[startup+3596.8 s]
/proc/loadavg: 3.14 3.18 3.50 4/256 38989
/proc/meminfo: memFree=123039004/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3587.52 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362522 0 0 0 358676 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3587.52 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB
[startup+3597.2 s]
/proc/loadavg: 3.13 3.17 3.50 4/256 38989
/proc/meminfo: memFree=123039004/131249996 swapFree=33010416/33010684
[pid=38592] ppid=38588 vsize=2467244 memory=2123828 CPUtime=3587.92 cores=4,6
/proc/38592/stat : 38592 (pbsolver) R 38588 38592 37216 0 -1 4194304 362549 0 0 0 358716 76 0 0 20 0 1 0 46540773 2526457856 530957 18446744073709551615 4198400 14743177 140726798615040 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33492992 140726798621066 140726798621162 140726798621162 140726798626764 0
/proc/38592/statm: 616811 530957 2944 2575 0 613718 0
Current children cumulated CPU time: 3587.92 s
Current children cumulated vsize: 2467244 KiB
Current children cumulated memory: 2123828 KiB
Child status: 0
Real time (s): 3597.27
CPU time (s): 3588
CPU user time (s): 3587.21
CPU system time (s): 0.795892
CPU usage (%): 99.7425
Max. virtual memory (cumulated for all children) (KiB): 2467244
Max. memory (cumulated for all children) (KiB): 2123828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.21
system time used= 0.795892
maximum resident set size= 2123828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362617
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= 107
involuntary context switches= 1782
# summary of solver processes directly reported to runsolver:
# pid: 38592
# total CPU time (s): 3588
# total CPU user time (s): 3587.21
# total CPU system time (s): 0.795892
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89428 second user time and 15.3852 second system time
The end