0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485484-1307756092.opb>
0.00/0.00 c original problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 10 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 10 chg sides, 10 chg coeffs, 73 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 10 del conss, 100 add conss, 0 chg bounds, 110 chg sides, 210 chg coeffs, 73 upgd conss, 200 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/163 (62.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (4 rounds):
0.00/0.04 c 0 deleted vars, 10 deleted constraints, 100 added constraints, 0 tightened bounds, 0 added holes, 110 changed sides, 210 changed coefficients
0.00/0.04 c 200 implications, 0 cliques
0.00/0.04 c presolved problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 163 constraints
0.00/0.04 c 63 constraints of type <knapsack>
0.00/0.04 c 100 constraints of type <setppc>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.04
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.4
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.05 c
0.00/0.05 o 20480
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c T 0.1s| 1 | 0 | 0 | - |1687k| 0 | - | 163 | 163 | 163 | 163 | 0 | 0 | 0 | -- | 2.048000e+04 | Inf
0.00/0.06 c 0.1s| 1 | 0 | 89 | - |1634k| 0 | 36 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 2.048000e+04 | 53.85%
0.00/0.06 o 19456
0.00/0.06 c R 0.1s| 1 | 0 | 89 | - |1636k| 0 | 36 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.945600e+04 | 46.15%
0.00/0.06 o 17408
0.00/0.06 c b 0.1s| 1 | 0 | 89 | - |1640k| 0 | 36 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.740800e+04 | 30.77%
0.39/0.48 o 16384
0.39/0.48 c E 0.5s| 1 | 0 | 89 | - |1690k| 0 | 36 | 163 | 203 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
0.39/0.48 c 0.5s| 1 | 0 | 89 | - |1690k| 0 | 36 | 163 | 203 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
0.49/0.58 c 0.6s| 1 | 2 | 89 | - |1691k| 0 | 36 | 163 | 203 | 163 | 163 | 0 | 0 | 10 | 1.331200e+04 | 1.638400e+04 | 23.08%
2.49/2.50 o 16384
2.49/2.50 c z 2.5s| 227 | 228 | 10597 | 46.5 |2026k| 29 | 31 | 163 | 207 | 163 | 163 | 0 | 4 | 529 | 1.408000e+04 | 1.638400e+04 | 16.36%
20.99/21.06 o 15872
20.99/21.06 c p21.1s| 8038 | 7249 |430750 | 53.6 |5136k| 37 | - | 163 | 254 | 163 | 163 | 0 | 78 |2058 | 1.420800e+04 | 1.587200e+04 | 11.71%
26.09/26.12 c 26.1s| 10000 | 8863 |533930 | 53.4 |6047k| 37 | 8 | 163 | 220 | 163 | 163 | 0 | 90 |2331 | 1.420800e+04 | 1.587200e+04 | 11.71%
26.40/26.48 o 15360
26.40/26.48 c v26.5s| 10194 | 8252 |542319 | 53.2 |5762k| 37 | - | 163 | 219 | 163 | 163 | 0 | 91 |2359 | 1.420800e+04 | 1.536000e+04 | 8.11%
44.89/44.92 c 44.9s| 20000 | 14744 |955308 | 47.8 |9928k| 37 | 18 | 163 | 198 | 163 | 163 | 0 | 131 |3564 | 1.420800e+04 | 1.536000e+04 | 8.11%
62.60/62.68 c 62.7s| 30000 | 21420 | 1355k| 45.2 | 14M| 37 | 25 | 163 | 190 | 163 | 163 | 0 | 168 |4558 | 1.420800e+04 | 1.536000e+04 | 8.11%
77.20/77.24 c 77.2s| 40000 | 27638 | 1678k| 42.0 | 18M| 37 | 21 | 163 | 184 | 163 | 163 | 0 | 195 |5264 | 1.428945e+04 | 1.536000e+04 | 7.49%
90.49/90.58 c 90.6s| 50000 | 34126 | 1961k| 39.2 | 22M| 37 | 18 | 163 | 180 | 163 | 163 | 0 | 220 |5867 | 1.433600e+04 | 1.536000e+04 | 7.14%
103.10/103.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.10/103.19 c 103s| 60000 | 40550 | 2231k| 37.2 | 26M| 39 | 23 | 163 | 172 | 163 | 163 | 0 | 230 |6409 | 1.433600e+04 | 1.536000e+04 | 7.14%
116.00/116.08 c 116s| 70000 | 47072 | 2511k| 35.9 | 30M| 39 | 17 | 163 | 171 | 163 | 163 | 0 | 244 |6868 | 1.433600e+04 | 1.536000e+04 | 7.14%
127.80/127.86 c 128s| 80000 | 52888 | 2756k| 34.5 | 34M| 39 | 17 | 163 | 171 | 163 | 163 | 0 | 268 |7319 | 1.433600e+04 | 1.536000e+04 | 7.14%
139.50/139.60 c 140s| 90000 | 58662 | 3009k| 33.4 | 38M| 41 | - | 163 | 174 | 163 | 163 | 0 | 280 |7739 | 1.433600e+04 | 1.536000e+04 | 7.14%
150.40/150.48 c 150s|100000 | 63790 | 3243k| 32.4 | 41M| 41 | 11 | 163 | 173 | 163 | 163 | 0 | 290 |8148 | 1.433600e+04 | 1.536000e+04 | 7.14%
161.09/161.14 c 161s|110000 | 68616 | 3470k| 31.6 | 45M| 41 | 25 | 163 | 171 | 163 | 163 | 0 | 307 |8532 | 1.433600e+04 | 1.536000e+04 | 7.14%
172.00/172.02 c 172s|120000 | 74208 | 3699k| 30.8 | 48M| 41 | 21 | 163 | 179 | 163 | 163 | 0 | 322 |8953 | 1.433600e+04 | 1.536000e+04 | 7.14%
182.40/182.40 c 182s|130000 | 78922 | 3922k| 30.2 | 52M| 42 | - | 163 | 172 | 163 | 163 | 0 | 342 |9283 | 1.433600e+04 | 1.536000e+04 | 7.14%
192.40/192.42 c 192s|140000 | 83464 | 4136k| 29.5 | 55M| 42 | 22 | 163 | 173 | 163 | 163 | 0 | 353 |9645 | 1.433600e+04 | 1.536000e+04 | 7.14%
203.10/203.15 c 203s|150000 | 88764 | 4369k| 29.1 | 58M| 42 | 13 | 163 | 181 | 163 | 163 | 0 | 377 |9941 | 1.433600e+04 | 1.536000e+04 | 7.14%
213.50/213.51 c 214s|160000 | 93776 | 4589k| 28.7 | 62M| 42 | 17 | 163 | 183 | 163 | 163 | 0 | 400 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
226.00/226.01 c 226s|170000 | 99066 | 4842k| 28.5 | 65M| 42 | 18 | 163 | 179 | 163 | 163 | 0 | 411 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
236.70/236.78 c 237s|180000 |104272 | 5074k| 28.2 | 69M| 42 | 13 | 163 | 175 | 163 | 163 | 0 | 430 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
247.00/247.07 c 247s|190000 |109386 | 5293k| 27.9 | 72M| 42 | - | 163 | 173 | 163 | 163 | 0 | 439 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
258.00/258.07 c 258s|200000 |115162 | 5528k| 27.6 | 76M| 42 | 22 | 163 | 181 | 163 | 163 | 0 | 464 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
268.31/268.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.31/268.40 c 268s|210000 |120280 | 5750k| 27.4 | 79M| 42 | 22 | 163 | 174 | 163 | 163 | 0 | 474 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
278.61/278.61 c 279s|220000 |125438 | 5970k| 27.1 | 83M| 42 | 21 | 163 | 174 | 163 | 163 | 0 | 481 | 12k| 1.435927e+04 | 1.536000e+04 | 6.97%
287.50/287.59 c 288s|230000 |128804 | 6156k| 26.8 | 85M| 42 | - | 163 | 173 | 163 | 163 | 0 | 499 | 12k| 1.437867e+04 | 1.536000e+04 | 6.82%
296.51/296.54 c 297s|240000 |132330 | 6343k| 26.4 | 88M| 42 | 18 | 163 | 170 | 163 | 163 | 0 | 514 | 12k| 1.438720e+04 | 1.536000e+04 | 6.76%
305.91/305.99 c 306s|250000 |136114 | 6538k| 26.2 | 91M| 42 | - | 163 | 173 | 163 | 163 | 0 | 536 | 12k| 1.439289e+04 | 1.536000e+04 | 6.72%
314.80/314.87 c 315s|260000 |139670 | 6723k| 25.9 | 94M| 42 | 20 | 163 | 173 | 163 | 163 | 0 | 559 | 12k| 1.440000e+04 | 1.536000e+04 | 6.67%
324.10/324.11 c 324s|270000 |143094 | 6915k| 25.6 | 97M| 42 | 22 | 163 | 177 | 163 | 163 | 0 | 584 | 13k| 1.440000e+04 | 1.536000e+04 | 6.67%
332.90/332.95 c 333s|280000 |146448 | 7095k| 25.3 | 99M| 43 | - | 163 | 175 | 163 | 163 | 0 | 604 | 13k| 1.442133e+04 | 1.536000e+04 | 6.51%
341.91/341.96 c 342s|290000 |149736 | 7284k| 25.1 | 102M| 43 | 11 | 163 | 173 | 163 | 163 | 0 | 634 | 13k| 1.442133e+04 | 1.536000e+04 | 6.51%
350.71/350.76 c 351s|300000 |152876 | 7463k| 24.9 | 105M| 43 | 16 | 163 | 177 | 163 | 163 | 0 | 653 | 13k| 1.442133e+04 | 1.536000e+04 | 6.51%
359.31/359.30 c 359s|310000 |155950 | 7636k| 24.6 | 107M| 43 | 13 | 163 | 177 | 163 | 163 | 0 | 672 | 13k| 1.443200e+04 | 1.536000e+04 | 6.43%
368.00/368.03 c 368s|320000 |159074 | 7812k| 24.4 | 110M| 43 | - | 163 | 175 | 163 | 163 | 0 | 696 | 14k| 1.443840e+04 | 1.536000e+04 | 6.38%
376.31/376.38 c 376s|330000 |162090 | 7980k| 24.2 | 113M| 43 | 6 | 163 | 170 | 163 | 163 | 0 | 711 | 14k| 1.443840e+04 | 1.536000e+04 | 6.38%
384.71/384.78 c 385s|340000 |165108 | 8146k| 24.0 | 115M| 44 | 22 | 163 | 170 | 163 | 163 | 0 | 733 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
393.01/393.09 c 393s|350000 |167850 | 8311k| 23.7 | 117M| 44 | 18 | 163 | 174 | 163 | 163 | 0 | 750 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
401.31/401.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.31/401.31 c 401s|360000 |170756 | 8474k| 23.5 | 120M| 44 | 10 | 163 | 172 | 163 | 163 | 0 | 762 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
409.31/409.35 c 409s|370000 |173608 | 8632k| 23.3 | 122M| 44 | 12 | 163 | 166 | 163 | 163 | 0 | 772 | 15k| 1.446400e+04 | 1.536000e+04 | 6.19%
417.51/417.51 c 418s|380000 |176400 | 8793k| 23.1 | 125M| 44 | - | 163 | 171 | 163 | 163 | 0 | 785 | 15k| 1.446400e+04 | 1.536000e+04 | 6.19%
425.51/425.57 c 426s|390000 |179180 | 8953k| 23.0 | 127M| 44 | 11 | 163 | 168 | 163 | 163 | 0 | 808 | 15k| 1.447153e+04 | 1.536000e+04 | 6.14%
433.21/433.26 c 433s|400000 |181594 | 9106k| 22.8 | 129M| 44 | 13 | 163 | 175 | 163 | 163 | 0 | 825 | 15k| 1.448229e+04 | 1.536000e+04 | 6.06%
441.01/441.05 c 441s|410000 |184154 | 9255k| 22.6 | 132M| 44 | - | 163 | 173 | 163 | 163 | 0 | 846 | 15k| 1.448960e+04 | 1.536000e+04 | 6.01%
448.41/448.45 c 448s|420000 |186348 | 9399k| 22.4 | 134M| 44 | - | 163 | 168 | 163 | 163 | 0 | 855 | 15k| 1.449600e+04 | 1.536000e+04 | 5.96%
456.31/456.35 c 456s|430000 |189040 | 9555k| 22.2 | 136M| 44 | - | 163 | 186 | 163 | 163 | 0 | 878 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
463.81/463.82 c 464s|440000 |191344 | 9703k| 22.1 | 138M| 44 | - | 163 | 171 | 163 | 163 | 0 | 892 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
471.52/471.57 c 472s|450000 |193736 | 9858k| 21.9 | 140M| 44 | - | 163 | 171 | 163 | 163 | 0 | 901 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
479.31/479.34 c 479s|460000 |196110 | 10012k| 21.8 | 143M| 44 | 7 | 163 | 177 | 163 | 163 | 0 | 921 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
486.91/486.92 c 487s|470000 |198434 | 10160k| 21.6 | 145M| 44 | - | 163 | 168 | 163 | 163 | 0 | 932 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
494.12/494.19 c 494s|480000 |200692 | 10304k| 21.5 | 147M| 44 | 16 | 163 | 171 | 163 | 163 | 0 | 952 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
501.71/501.73 c 502s|490000 |202924 | 10450k| 21.3 | 149M| 44 | - | 163 | 174 | 163 | 163 | 0 | 977 | 16k| 1.451886e+04 | 1.536000e+04 | 5.79%
509.22/509.23 c 509s|500000 |205182 | 10594k| 21.2 | 151M| 44 | - | 163 | 168 | 163 | 163 | 0 | 991 | 16k| 1.452800e+04 | 1.536000e+04 | 5.73%
516.41/516.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.41/516.44 c 516s|510000 |207164 | 10733k| 21.0 | 153M| 44 | 18 | 163 | 165 | 163 | 163 | 0 | 997 | 17k| 1.452800e+04 | 1.536000e+04 | 5.73%
523.91/523.93 c 524s|520000 |209352 | 10876k| 20.9 | 155M| 44 | - | 163 | 170 | 163 | 163 | 0 |1009 | 17k| 1.452800e+04 | 1.536000e+04 | 5.73%
531.01/531.02 c 531s|530000 |211268 | 11013k| 20.8 | 157M| 44 | 10 | 163 | 171 | 163 | 163 | 0 |1021 | 17k| 1.452800e+04 | 1.536000e+04 | 5.73%
538.12/538.15 c 538s|540000 |213212 | 11151k| 20.7 | 159M| 44 | 15 | 163 | 170 | 163 | 163 | 0 |1039 | 17k| 1.454080e+04 | 1.536000e+04 | 5.63%
545.22/545.24 c 545s|550000 |215196 | 11286k| 20.5 | 161M| 44 | - | 163 | 170 | 163 | 163 | 0 |1058 | 17k| 1.454080e+04 | 1.536000e+04 | 5.63%
552.41/552.41 c 552s|560000 |217254 | 11421k| 20.4 | 163M| 44 | - | 163 | 167 | 163 | 163 | 0 |1073 | 17k| 1.454080e+04 | 1.536000e+04 | 5.63%
559.42/559.46 c 559s|570000 |219124 | 11553k| 20.3 | 164M| 44 | - | 163 | 168 | 163 | 163 | 0 |1089 | 17k| 1.455543e+04 | 1.536000e+04 | 5.53%
566.11/566.19 c 566s|580000 |220728 | 11683k| 20.1 | 166M| 44 | - | 163 | 165 | 163 | 163 | 0 |1092 | 17k| 1.455787e+04 | 1.536000e+04 | 5.51%
573.12/573.19 c 573s|590000 |222656 | 11815k| 20.0 | 168M| 44 | 15 | 163 | 172 | 163 | 163 | 0 |1116 | 17k| 1.457694e+04 | 1.536000e+04 | 5.37%
580.22/580.21 c 580s|600000 |224450 | 11950k| 19.9 | 170M| 44 | - | 163 | 173 | 163 | 163 | 0 |1133 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
587.11/587.17 c 587s|610000 |226306 | 12085k| 19.8 | 172M| 44 | 11 | 163 | 171 | 163 | 163 | 0 |1147 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
594.42/594.41 c 594s|620000 |228222 | 12227k| 19.7 | 174M| 44 | 11 | 163 | 175 | 163 | 163 | 0 |1168 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
601.62/601.69 c 602s|630000 |230138 | 12370k| 19.6 | 175M| 44 | - | 163 | 171 | 163 | 163 | 0 |1177 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
608.92/608.94 c 609s|640000 |232138 | 12509k| 19.5 | 177M| 44 | 12 | 163 | 171 | 163 | 163 | 0 |1194 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
616.32/616.38 c 616s|650000 |234270 | 12656k| 19.5 | 179M| 44 | 13 | 163 | 168 | 163 | 163 | 0 |1199 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
623.73/623.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
623.73/623.75 c 624s|660000 |236282 | 12801k| 19.4 | 181M| 44 | 21 | 163 | 172 | 163 | 163 | 0 |1213 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
630.52/630.56 c 631s|670000 |238052 | 12931k| 19.3 | 183M| 44 | 12 | 163 | 167 | 163 | 163 | 0 |1220 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
637.72/637.70 c 638s|680000 |239882 | 13065k| 19.2 | 185M| 44 | 23 | 163 | 166 | 163 | 163 | 0 |1226 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
645.02/645.02 c 645s|690000 |241844 | 13205k| 19.1 | 187M| 44 | - | 163 | 177 | 163 | 163 | 0 |1251 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
651.92/651.94 c 652s|700000 |243536 | 13338k| 19.1 | 189M| 44 | - | 163 | 168 | 163 | 163 | 0 |1258 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
658.92/658.96 c 659s|710000 |245368 | 13473k| 19.0 | 190M| 44 | - | 163 | 168 | 163 | 163 | 0 |1265 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
665.82/665.87 c 666s|720000 |247138 | 13603k| 18.9 | 192M| 44 | 19 | 163 | 167 | 163 | 163 | 0 |1271 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
673.42/673.46 c 673s|730000 |249206 | 13756k| 18.8 | 194M| 44 | - | 163 | 173 | 163 | 163 | 0 |1288 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
680.42/680.46 c 680s|740000 |250958 | 13894k| 18.8 | 196M| 45 | - | 163 | 176 | 163 | 163 | 0 |1303 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
687.43/687.49 c 687s|750000 |252696 | 14027k| 18.7 | 198M| 45 | 25 | 163 | 166 | 163 | 163 | 0 |1306 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
694.33/694.37 c 694s|760000 |254468 | 14158k| 18.6 | 199M| 45 | 20 | 163 | 164 | 163 | 163 | 0 |1307 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
701.52/701.54 c 702s|770000 |256276 | 14300k| 18.6 | 201M| 45 | 16 | 163 | 168 | 163 | 163 | 0 |1317 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
708.62/708.60 c 709s|780000 |258044 | 14435k| 18.5 | 203M| 45 | 21 | 163 | 171 | 163 | 163 | 0 |1323 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
715.92/715.97 c 716s|790000 |260148 | 14579k| 18.5 | 205M| 45 | - | 163 | 175 | 163 | 163 | 0 |1336 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
723.32/723.35 c 723s|800000 |262288 | 14723k| 18.4 | 207M| 45 | - | 163 | 170 | 163 | 163 | 0 |1344 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
730.43/730.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.43/730.45 c 730s|810000 |264294 | 14862k| 18.3 | 209M| 45 | - | 163 | 169 | 163 | 163 | 0 |1351 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
737.72/737.75 c 738s|820000 |266192 | 15004k| 18.3 | 211M| 45 | - | 163 | 175 | 163 | 163 | 0 |1364 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
744.73/744.78 c 745s|830000 |268082 | 15141k| 18.2 | 212M| 45 | - | 163 | 175 | 163 | 163 | 0 |1381 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
751.62/751.66 c 752s|840000 |269812 | 15273k| 18.2 | 214M| 45 | - | 163 | 170 | 163 | 163 | 0 |1389 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
758.93/758.96 c 759s|850000 |271758 | 15419k| 18.1 | 216M| 45 | - | 163 | 171 | 163 | 163 | 0 |1395 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
766.12/766.12 c 766s|860000 |273702 | 15558k| 18.1 | 218M| 45 | - | 163 | 167 | 163 | 163 | 0 |1401 | 21k| 1.459200e+04 | 1.536000e+04 | 5.26%
773.62/773.60 c 774s|870000 |276018 | 15705k| 18.1 | 220M| 45 | - | 163 | 171 | 163 | 163 | 0 |1420 | 21k| 1.459200e+04 | 1.536000e+04 | 5.26%
781.22/781.23 c 781s|880000 |278100 | 15854k| 18.0 | 222M| 45 | - | 163 | 180 | 163 | 163 | 0 |1437 | 21k| 1.459200e+04 | 1.536000e+04 | 5.26%
788.13/788.19 c 788s|890000 |279710 | 15986k| 18.0 | 223M| 45 | - | 163 | 170 | 163 | 163 | 0 |1450 | 21k| 1.459200e+04 | 1.536000e+04 | 5.26%
795.73/795.76 c 796s|900000 |281794 | 16138k| 17.9 | 225M| 45 | 23 | 163 | 174 | 163 | 163 | 0 |1469 | 21k| 1.459200e+04 | 1.536000e+04 | 5.26%
802.13/802.17 c 802s|910000 |283282 | 16256k| 17.9 | 227M| 45 | - | 163 | 170 | 163 | 163 | 0 |1473 | 21k| 1.461760e+04 | 1.536000e+04 | 5.08%
808.43/808.50 c 808s|920000 |284382 | 16370k| 17.8 | 228M| 45 | 7 | 163 | 164 | 163 | 163 | 0 |1474 | 21k| 1.462613e+04 | 1.536000e+04 | 5.02%
814.72/814.72 c 815s|930000 |285500 | 16483k| 17.7 | 230M| 45 | 7 | 163 | 163 | 163 | 163 | 0 |1477 | 21k| 1.462857e+04 | 1.536000e+04 | 5.00%
821.03/821.09 c 821s|940000 |286710 | 16597k| 17.7 | 231M| 45 | - | 163 | 163 | 163 | 163 | 0 |1478 | 21k| 1.463467e+04 | 1.536000e+04 | 4.96%
827.42/827.41 c 827s|950000 |287780 | 16711k| 17.6 | 232M| 45 | 15 | 163 | 165 | 163 | 163 | 0 |1481 | 22k| 1.464320e+04 | 1.536000e+04 | 4.90%
833.53/833.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.53/833.59 c 834s|960000 |288830 | 16822k| 17.5 | 234M| 45 | 18 | 163 | 164 | 163 | 163 | 0 |1483 | 22k| 1.464320e+04 | 1.536000e+04 | 4.90%
839.82/839.89 c 840s|970000 |290038 | 16935k| 17.5 | 235M| 45 | - | 163 | 163 | 163 | 163 | 0 |1493 | 22k| 1.464320e+04 | 1.536000e+04 | 4.90%
846.23/846.23 c 846s|980000 |291176 | 17052k| 17.4 | 237M| 45 | - | 163 | 163 | 163 | 163 | 0 |1495 | 22k| 1.464320e+04 | 1.536000e+04 | 4.90%
852.33/852.32 c 852s|990000 |292178 | 17162k| 17.3 | 238M| 45 | 13 | 163 | 163 | 163 | 163 | 0 |1496 | 22k| 1.464889e+04 | 1.536000e+04 | 4.85%
858.53/858.52 c 859s| 1000k|293074 | 17274k| 17.3 | 239M| 45 | 11 | 163 | 166 | 163 | 163 | 0 |1499 | 22k| 1.465600e+04 | 1.536000e+04 | 4.80%
864.63/864.66 c 865s| 1010k|294226 | 17385k| 17.2 | 241M| 45 | - | 163 | 163 | 163 | 163 | 0 |1503 | 22k| 1.465600e+04 | 1.536000e+04 | 4.80%
870.72/870.70 c 871s| 1020k|295100 | 17495k| 17.2 | 242M| 45 | - | 163 | 165 | 163 | 163 | 0 |1505 | 22k| 1.465600e+04 | 1.536000e+04 | 4.80%
876.64/876.67 c 877s| 1030k|295980 | 17599k| 17.1 | 243M| 45 | - | 163 | 164 | 163 | 163 | 0 |1508 | 22k| 1.466514e+04 | 1.536000e+04 | 4.74%
882.82/882.80 c 883s| 1040k|297004 | 17713k| 17.0 | 244M| 45 | 17 | 163 | 163 | 163 | 163 | 0 |1516 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
888.84/888.85 c 889s| 1050k|297868 | 17823k| 17.0 | 245M| 45 | - | 163 | 163 | 163 | 163 | 0 |1518 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
894.83/894.87 c 895s| 1060k|298748 | 17930k| 16.9 | 247M| 45 | 23 | 163 | 166 | 163 | 163 | 0 |1522 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
900.93/900.97 c 901s| 1070k|299624 | 18039k| 16.9 | 248M| 45 | 14 | 163 | 164 | 163 | 163 | 0 |1528 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
907.03/907.00 c 907s| 1080k|300620 | 18145k| 16.8 | 249M| 45 | 19 | 163 | 163 | 163 | 163 | 0 |1530 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
913.13/913.17 c 913s| 1090k|301546 | 18255k| 16.7 | 250M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1531 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
919.23/919.21 c 919s| 1100k|302426 | 18363k| 16.7 | 252M| 45 | - | 163 | 163 | 163 | 163 | 0 |1531 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
925.43/925.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
925.43/925.42 c 925s| 1110k|303492 | 18474k| 16.6 | 253M| 45 | 35 | 163 | 167 | 163 | 163 | 0 |1541 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
931.33/931.32 c 931s| 1120k|304326 | 18579k| 16.6 | 254M| 45 | - | 163 | 163 | 163 | 163 | 0 |1542 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
937.33/937.30 c 937s| 1130k|305284 | 18685k| 16.5 | 255M| 45 | - | 163 | 163 | 163 | 163 | 0 |1542 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
943.24/943.24 c 943s| 1140k|306128 | 18792k| 16.5 | 256M| 45 | 11 | 163 | 163 | 163 | 163 | 0 |1544 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
949.43/949.43 c 949s| 1150k|307190 | 18905k| 16.4 | 258M| 45 | 16 | 163 | 164 | 163 | 163 | 0 |1547 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
955.53/955.55 c 956s| 1160k|308184 | 19014k| 16.4 | 259M| 45 | 21 | 163 | 164 | 163 | 163 | 0 |1549 | 23k| 1.468800e+04 | 1.536000e+04 | 4.58%
961.54/961.50 c 962s| 1170k|308964 | 19119k| 16.3 | 260M| 45 | 18 | 163 | 163 | 163 | 163 | 0 |1549 | 23k| 1.469440e+04 | 1.536000e+04 | 4.53%
967.33/967.32 c 967s| 1180k|309554 | 19221k| 16.3 | 261M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1550 | 24k| 1.469440e+04 | 1.536000e+04 | 4.53%
973.14/973.15 c 973s| 1190k|310252 | 19322k| 16.2 | 262M| 45 | - | 163 | 165 | 163 | 163 | 0 |1552 | 24k| 1.470171e+04 | 1.536000e+04 | 4.48%
978.84/978.87 c 979s| 1200k|310968 | 19422k| 16.2 | 263M| 45 | - | 163 | 166 | 163 | 163 | 0 |1554 | 24k| 1.470171e+04 | 1.536000e+04 | 4.48%
984.64/984.66 c 985s| 1210k|311654 | 19524k| 16.1 | 264M| 45 | - | 163 | 164 | 163 | 163 | 0 |1561 | 24k| 1.471015e+04 | 1.536000e+04 | 4.42%
990.64/990.60 c 991s| 1220k|312482 | 19633k| 16.1 | 265M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1561 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
996.54/996.55 c 997s| 1230k|313276 | 19741k| 16.1 | 266M| 45 | - | 163 | 163 | 163 | 163 | 0 |1562 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
1002.73/1002.73 c 1003s| 1240k|314270 | 19857k| 16.0 | 268M| 45 | - | 163 | 165 | 163 | 163 | 0 |1568 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
1008.84/1008.86 c 1009s| 1250k|315192 | 19969k| 16.0 | 269M| 45 | 11 | 163 | 164 | 163 | 163 | 0 |1570 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
1014.74/1014.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.74/1014.79 c 1015s| 1260k|315976 | 20077k| 15.9 | 270M| 45 | - | 163 | 164 | 163 | 163 | 0 |1571 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
1020.53/1020.57 c 1021s| 1270k|316704 | 20179k| 15.9 | 271M| 45 | - | 163 | 163 | 163 | 163 | 0 |1571 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
1026.34/1026.35 c 1026s| 1280k|317346 | 20284k| 15.8 | 272M| 45 | 18 | 163 | 164 | 163 | 163 | 0 |1576 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
1032.24/1032.23 c 1032s| 1290k|318150 | 20388k| 15.8 | 273M| 45 | - | 163 | 166 | 163 | 163 | 0 |1582 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
1038.14/1038.16 c 1038s| 1300k|318890 | 20495k| 15.8 | 275M| 45 | 14 | 163 | 163 | 163 | 163 | 0 |1582 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1044.54/1044.55 c 1045s| 1310k|319922 | 20613k| 15.7 | 276M| 45 | 16 | 163 | 168 | 163 | 163 | 0 |1592 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1050.44/1050.50 c 1050s| 1320k|320782 | 20719k| 15.7 | 277M| 45 | - | 163 | 165 | 163 | 163 | 0 |1596 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1056.64/1056.60 c 1057s| 1330k|321734 | 20829k| 15.7 | 278M| 45 | 19 | 163 | 166 | 163 | 163 | 0 |1601 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1062.64/1062.63 c 1063s| 1340k|322692 | 20942k| 15.6 | 279M| 45 | - | 163 | 168 | 163 | 163 | 0 |1607 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1068.43/1068.47 c 1068s| 1350k|323318 | 21046k| 15.6 | 280M| 45 | 12 | 163 | 166 | 163 | 163 | 0 |1607 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1074.44/1074.40 c 1074s| 1360k|323966 | 21153k| 15.6 | 281M| 45 | - | 163 | 164 | 163 | 163 | 0 |1610 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1080.25/1080.29 c 1080s| 1370k|324630 | 21259k| 15.5 | 282M| 45 | 25 | 163 | 164 | 163 | 163 | 0 |1612 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1086.24/1086.21 c 1086s| 1380k|325316 | 21366k| 15.5 | 283M| 45 | 16 | 163 | 166 | 163 | 163 | 0 |1617 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1091.94/1091.97 c 1092s| 1390k|325960 | 21472k| 15.4 | 284M| 45 | 10 | 163 | 169 | 163 | 163 | 0 |1622 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1097.85/1097.87 c 1098s| 1400k|326562 | 21577k| 15.4 | 285M| 45 | 17 | 163 | 165 | 163 | 163 | 0 |1624 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1103.64/1103.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.64/1103.67 c 1104s| 1410k|327054 | 21683k| 15.4 | 286M| 45 | - | 163 | 164 | 163 | 163 | 0 |1624 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1109.54/1109.52 c 1110s| 1420k|327664 | 21791k| 15.3 | 287M| 45 | 20 | 163 | 165 | 163 | 163 | 0 |1626 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1115.74/1115.75 c 1116s| 1430k|328532 | 21903k| 15.3 | 289M| 45 | - | 163 | 166 | 163 | 163 | 0 |1634 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1121.54/1121.53 c 1122s| 1440k|329192 | 22006k| 15.3 | 290M| 45 | - | 163 | 166 | 163 | 163 | 0 |1638 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1127.34/1127.31 c 1127s| 1450k|329772 | 22109k| 15.2 | 291M| 45 | 17 | 163 | 165 | 163 | 163 | 0 |1640 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1133.14/1133.15 c 1133s| 1460k|330526 | 22214k| 15.2 | 292M| 45 | - | 163 | 167 | 163 | 163 | 0 |1643 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1139.44/1139.40 c 1139s| 1470k|331548 | 22328k| 15.2 | 293M| 45 | - | 163 | 168 | 163 | 163 | 0 |1651 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1145.54/1145.56 c 1146s| 1480k|332390 | 22440k| 15.2 | 294M| 45 | 10 | 163 | 165 | 163 | 163 | 0 |1659 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1151.65/1151.69 c 1152s| 1490k|333274 | 22550k| 15.1 | 295M| 45 | 32 | 163 | 166 | 163 | 163 | 0 |1665 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1157.64/1157.69 c 1158s| 1500k|334132 | 22657k| 15.1 | 296M| 45 | - | 163 | 167 | 163 | 163 | 0 |1667 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1163.54/1163.59 c 1164s| 1510k|335010 | 22762k| 15.1 | 297M| 45 | - | 163 | 166 | 163 | 163 | 0 |1672 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1169.64/1169.65 c 1170s| 1520k|335810 | 22873k| 15.0 | 299M| 45 | - | 163 | 171 | 163 | 163 | 0 |1685 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1175.64/1175.69 c 1176s| 1530k|336754 | 22983k| 15.0 | 300M| 45 | 14 | 163 | 167 | 163 | 163 | 0 |1691 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1181.84/1181.85 c 1182s| 1540k|337708 | 23096k| 15.0 | 301M| 45 | 13 | 163 | 164 | 163 | 163 | 0 |1697 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1187.94/1187.97 c 1188s| 1550k|338434 | 23208k| 15.0 | 302M| 45 | 23 | 163 | 164 | 163 | 163 | 0 |1701 | 27k| 1.472000e+04 | 1.536000e+04 | 4.35%
1193.55/1193.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1193.55/1193.55 c 1194s| 1560k|338874 | 23305k| 14.9 | 303M| 45 | - | 163 | 163 | 163 | 163 | 0 |1702 | 27k| 1.473422e+04 | 1.536000e+04 | 4.25%
1199.14/1199.17 c 1199s| 1570k|339200 | 23401k| 14.9 | 304M| 45 | - | 163 | 163 | 163 | 163 | 0 |1703 | 27k| 1.473829e+04 | 1.536000e+04 | 4.22%
1204.85/1204.82 c 1205s| 1580k|339452 | 23498k| 14.9 | 304M| 45 | - | 163 | 166 | 163 | 163 | 0 |1708 | 27k| 1.474560e+04 | 1.536000e+04 | 4.17%
1210.34/1210.39 c 1210s| 1590k|339728 | 23595k| 14.8 | 305M| 45 | - | 163 | 164 | 163 | 163 | 0 |1709 | 27k| 1.474560e+04 | 1.536000e+04 | 4.17%
1215.94/1215.96 c 1216s| 1600k|339950 | 23690k| 14.8 | 306M| 45 | - | 163 | 165 | 163 | 163 | 0 |1710 | 27k| 1.474560e+04 | 1.536000e+04 | 4.17%
1221.44/1221.48 c 1221s| 1610k|340198 | 23787k| 14.8 | 307M| 45 | - | 163 | 166 | 163 | 163 | 0 |1712 | 27k| 1.474560e+04 | 1.536000e+04 | 4.17%
1226.95/1226.93 c 1227s| 1620k|340358 | 23882k| 14.7 | 307M| 45 | 16 | 163 | 165 | 163 | 163 | 0 |1714 | 27k| 1.475048e+04 | 1.536000e+04 | 4.13%
1232.35/1232.37 c 1232s| 1630k|340460 | 23975k| 14.7 | 308M| 45 | - | 163 | 169 | 163 | 163 | 0 |1720 | 27k| 1.475840e+04 | 1.536000e+04 | 4.08%
1237.85/1237.83 c 1238s| 1640k|340726 | 24067k| 14.7 | 309M| 45 | - | 163 | 163 | 163 | 163 | 0 |1720 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1243.44/1243.45 c 1243s| 1650k|340940 | 24164k| 14.6 | 309M| 45 | 22 | 163 | 163 | 163 | 163 | 0 |1721 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1249.15/1249.19 c 1249s| 1660k|341388 | 24266k| 14.6 | 310M| 45 | - | 163 | 166 | 163 | 163 | 0 |1726 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1254.85/1254.83 c 1255s| 1670k|341548 | 24363k| 14.6 | 311M| 45 | 11 | 163 | 163 | 163 | 163 | 0 |1727 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1260.25/1260.28 c 1260s| 1680k|341808 | 24458k| 14.6 | 311M| 45 | 12 | 163 | 164 | 163 | 163 | 0 |1730 | 28k| 1.476267e+04 | 1.536000e+04 | 4.05%
1265.65/1265.67 c 1266s| 1690k|342128 | 24552k| 14.5 | 312M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1730 | 28k| 1.476267e+04 | 1.536000e+04 | 4.05%
1271.05/1271.01 c 1271s| 1700k|342174 | 24639k| 14.5 | 313M| 45 | - | 163 | 163 | 163 | 163 | 0 |1731 | 28k| 1.477486e+04 | 1.536000e+04 | 3.96%
1276.55/1276.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1276.55/1276.51 c 1277s| 1710k|342346 | 24734k| 14.5 | 313M| 45 | - | 163 | 163 | 163 | 163 | 0 |1734 | 28k| 1.477486e+04 | 1.536000e+04 | 3.96%
1282.04/1282.07 c 1282s| 1720k|342444 | 24828k| 14.4 | 314M| 45 | - | 163 | 163 | 163 | 163 | 0 |1736 | 28k| 1.478400e+04 | 1.536000e+04 | 3.90%
1287.54/1287.56 c 1288s| 1730k|342458 | 24921k| 14.4 | 314M| 45 | 20 | 163 | 163 | 163 | 163 | 0 |1740 | 28k| 1.478400e+04 | 1.536000e+04 | 3.90%
1293.15/1293.11 c 1293s| 1740k|342598 | 25016k| 14.4 | 315M| 45 | - | 163 | 165 | 163 | 163 | 0 |1742 | 28k| 1.478400e+04 | 1.536000e+04 | 3.90%
1298.55/1298.56 c 1299s| 1750k|342634 | 25108k| 14.3 | 315M| 45 | 11 | 163 | 163 | 163 | 163 | 0 |1742 | 28k| 1.478400e+04 | 1.536000e+04 | 3.90%
1303.95/1303.96 c 1304s| 1760k|342664 | 25201k| 14.3 | 316M| 45 | 11 | 163 | 163 | 163 | 163 | 0 |1742 | 28k| 1.478400e+04 | 1.536000e+04 | 3.90%
1309.45/1309.49 c 1309s| 1770k|342828 | 25295k| 14.3 | 317M| 45 | - | 163 | 163 | 163 | 163 | 0 |1742 | 28k| 1.479111e+04 | 1.536000e+04 | 3.85%
1314.75/1314.77 c 1315s| 1780k|342714 | 25383k| 14.3 | 317M| 45 | 14 | 163 | 163 | 163 | 163 | 0 |1742 | 28k| 1.479680e+04 | 1.536000e+04 | 3.81%
1320.25/1320.21 c 1320s| 1790k|342620 | 25476k| 14.2 | 317M| 45 | - | 163 | 165 | 163 | 163 | 0 |1747 | 28k| 1.479680e+04 | 1.536000e+04 | 3.81%
1325.75/1325.70 c 1326s| 1800k|342776 | 25573k| 14.2 | 318M| 45 | - | 163 | 163 | 163 | 163 | 0 |1749 | 28k| 1.480533e+04 | 1.536000e+04 | 3.75%
1331.15/1331.10 c 1331s| 1810k|342722 | 25665k| 14.2 | 319M| 45 | 13 | 163 | 163 | 163 | 163 | 0 |1750 | 28k| 1.480862e+04 | 1.536000e+04 | 3.72%
1336.46/1336.46 c 1336s| 1820k|342748 | 25754k| 14.2 | 319M| 45 | - | 163 | 164 | 163 | 163 | 0 |1752 | 29k| 1.481600e+04 | 1.536000e+04 | 3.67%
1341.75/1341.75 c 1342s| 1830k|342612 | 25843k| 14.1 | 319M| 45 | - | 163 | 163 | 163 | 163 | 0 |1753 | 29k| 1.482667e+04 | 1.536000e+04 | 3.60%
1347.46/1347.48 c 1347s| 1840k|342960 | 25945k| 14.1 | 320M| 45 | 15 | 163 | 166 | 163 | 163 | 0 |1763 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1353.15/1353.18 c 1353s| 1850k|343460 | 26050k| 14.1 | 321M| 45 | 16 | 163 | 169 | 163 | 163 | 0 |1767 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1358.95/1358.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1358.95/1358.96 c 1359s| 1860k|343874 | 26157k| 14.1 | 322M| 45 | 10 | 163 | 168 | 163 | 163 | 0 |1774 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1364.55/1364.50 c 1365s| 1870k|344232 | 26258k| 14.0 | 322M| 45 | 12 | 163 | 166 | 163 | 163 | 0 |1777 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1370.15/1370.14 c 1370s| 1880k|344850 | 26361k| 14.0 | 323M| 45 | 17 | 163 | 168 | 163 | 163 | 0 |1780 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1375.95/1375.91 c 1376s| 1890k|345350 | 26468k| 14.0 | 324M| 45 | - | 163 | 163 | 163 | 163 | 0 |1784 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1381.35/1381.34 c 1381s| 1900k|345594 | 26563k| 14.0 | 324M| 45 | 23 | 163 | 163 | 163 | 163 | 0 |1785 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1386.95/1386.97 c 1387s| 1910k|346028 | 26668k| 14.0 | 325M| 45 | - | 163 | 163 | 163 | 163 | 0 |1785 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1392.66/1392.68 c 1393s| 1920k|346648 | 26777k| 13.9 | 326M| 45 | 10 | 163 | 164 | 163 | 163 | 0 |1792 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1398.25/1398.24 c 1398s| 1930k|346990 | 26880k| 13.9 | 327M| 45 | - | 163 | 165 | 163 | 163 | 0 |1796 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1403.85/1403.85 c 1404s| 1940k|347348 | 26983k| 13.9 | 327M| 45 | - | 163 | 164 | 163 | 163 | 0 |1796 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1409.45/1409.41 c 1409s| 1950k|347714 | 27084k| 13.9 | 328M| 45 | - | 163 | 163 | 163 | 163 | 0 |1803 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1414.86/1414.83 c 1415s| 1960k|347920 | 27180k| 13.9 | 329M| 45 | - | 163 | 164 | 163 | 163 | 0 |1805 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1420.45/1420.41 c 1420s| 1970k|348172 | 27280k| 13.8 | 329M| 45 | 10 | 163 | 164 | 163 | 163 | 0 |1807 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1426.05/1426.01 c 1426s| 1980k|348716 | 27386k| 13.8 | 330M| 45 | - | 163 | 164 | 163 | 163 | 0 |1812 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1431.45/1431.45 c 1431s| 1990k|348770 | 27481k| 13.8 | 330M| 45 | 14 | 163 | 167 | 163 | 163 | 0 |1817 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1437.15/1437.14 c 1437s| 2000k|349360 | 27582k| 13.8 | 331M| 45 | 15 | 163 | 167 | 163 | 163 | 0 |1820 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1442.76/1442.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.76/1442.71 c 1443s| 2010k|349582 | 27680k| 13.8 | 332M| 45 | - | 163 | 165 | 163 | 163 | 0 |1823 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1448.06/1448.07 c 1448s| 2020k|349716 | 27775k| 13.8 | 332M| 45 | - | 163 | 163 | 163 | 163 | 0 |1823 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1453.86/1453.88 c 1454s| 2030k|350264 | 27880k| 13.7 | 333M| 45 | 12 | 163 | 163 | 163 | 163 | 0 |1826 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1459.66/1459.70 c 1460s| 2040k|350706 | 27990k| 13.7 | 334M| 45 | 12 | 163 | 163 | 163 | 163 | 0 |1829 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1465.26/1465.26 c 1465s| 2050k|350926 | 28089k| 13.7 | 335M| 45 | - | 163 | 163 | 163 | 163 | 0 |1830 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1470.86/1470.89 c 1471s| 2060k|351204 | 28190k| 13.7 | 335M| 45 | 11 | 163 | 167 | 163 | 163 | 0 |1834 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1476.76/1476.70 c 1477s| 2070k|351796 | 28302k| 13.7 | 336M| 45 | - | 163 | 163 | 163 | 163 | 0 |1836 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1482.15/1482.14 c 1482s| 2080k|351808 | 28398k| 13.7 | 336M| 45 | - | 163 | 163 | 163 | 163 | 0 |1837 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1487.85/1487.81 c 1488s| 2090k|352120 | 28504k| 13.6 | 337M| 45 | 13 | 163 | 163 | 163 | 163 | 0 |1837 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1493.55/1493.50 c 1493s| 2100k|352458 | 28606k| 13.6 | 338M| 45 | 12 | 163 | 164 | 163 | 163 | 0 |1841 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1499.36/1499.35 c 1499s| 2110k|353146 | 28717k| 13.6 | 338M| 45 | 17 | 163 | 166 | 163 | 163 | 0 |1849 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1504.96/1504.94 c 1505s| 2120k|353374 | 28817k| 13.6 | 339M| 45 | 16 | 163 | 165 | 163 | 163 | 0 |1850 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1510.56/1510.54 c 1511s| 2130k|353676 | 28917k| 13.6 | 340M| 45 | - | 163 | 166 | 163 | 163 | 0 |1853 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1515.95/1515.93 c 1516s| 2140k|353912 | 29011k| 13.6 | 340M| 45 | - | 163 | 165 | 163 | 163 | 0 |1856 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1521.26/1521.24 c 1521s| 2150k|353892 | 29104k| 13.5 | 341M| 45 | 16 | 163 | 164 | 163 | 163 | 0 |1856 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1526.76/1526.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1526.76/1526.75 c 1527s| 2160k|354166 | 29203k| 13.5 | 341M| 45 | - | 163 | 164 | 163 | 163 | 0 |1858 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1532.37/1532.39 c 1532s| 2170k|354562 | 29303k| 13.5 | 342M| 45 | 21 | 163 | 165 | 163 | 163 | 0 |1860 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1537.96/1537.95 c 1538s| 2180k|354826 | 29405k| 13.5 | 343M| 45 | - | 163 | 165 | 163 | 163 | 0 |1865 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1543.36/1543.38 c 1543s| 2190k|355034 | 29502k| 13.5 | 343M| 45 | - | 163 | 163 | 163 | 163 | 0 |1868 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1548.76/1548.79 c 1549s| 2200k|355186 | 29597k| 13.5 | 344M| 45 | - | 163 | 163 | 163 | 163 | 0 |1868 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1554.16/1554.18 c 1554s| 2210k|355136 | 29691k| 13.4 | 344M| 45 | 18 | 163 | 165 | 163 | 163 | 0 |1875 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1559.66/1559.68 c 1560s| 2220k|355340 | 29794k| 13.4 | 345M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1876 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1565.36/1565.32 c 1565s| 2230k|355892 | 29897k| 13.4 | 345M| 45 | - | 163 | 165 | 163 | 163 | 0 |1878 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1571.16/1571.11 c 1571s| 2240k|356404 | 30004k| 13.4 | 346M| 45 | - | 163 | 167 | 163 | 163 | 0 |1885 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1576.46/1576.47 c 1576s| 2250k|356520 | 30096k| 13.4 | 347M| 45 | 25 | 163 | 163 | 163 | 163 | 0 |1889 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1581.87/1581.82 c 1582s| 2260k|356520 | 30189k| 13.4 | 347M| 45 | 15 | 163 | 163 | 163 | 163 | 0 |1890 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1587.36/1587.34 c 1587s| 2270k|356572 | 30290k| 13.3 | 348M| 45 | 19 | 163 | 165 | 163 | 163 | 0 |1896 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1592.77/1592.71 c 1593s| 2280k|356690 | 30383k| 13.3 | 348M| 45 | - | 163 | 163 | 163 | 163 | 0 |1897 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1598.26/1598.25 c 1598s| 2290k|357092 | 30481k| 13.3 | 349M| 45 | - | 163 | 164 | 163 | 163 | 0 |1902 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1604.06/1604.09 c 1604s| 2300k|357936 | 30592k| 13.3 | 350M| 45 | 11 | 163 | 164 | 163 | 163 | 0 |1902 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1609.96/1609.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1609.96/1609.92 c 1610s| 2310k|358680 | 30700k| 13.3 | 351M| 45 | 18 | 163 | 165 | 163 | 163 | 0 |1906 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1615.56/1615.59 c 1616s| 2320k|359326 | 30806k| 13.3 | 352M| 45 | - | 163 | 163 | 163 | 163 | 0 |1908 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1621.66/1621.68 c 1622s| 2330k|360302 | 30921k| 13.3 | 353M| 45 | 21 | 163 | 163 | 163 | 163 | 0 |1909 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1627.36/1627.38 c 1627s| 2340k|360864 | 31026k| 13.3 | 353M| 45 | - | 163 | 165 | 163 | 163 | 0 |1913 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1633.26/1633.22 c 1633s| 2350k|361790 | 31137k| 13.3 | 355M| 45 | 14 | 163 | 165 | 163 | 163 | 0 |1914 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1639.07/1639.09 c 1639s| 2360k|362644 | 31249k| 13.2 | 356M| 45 | - | 163 | 165 | 163 | 163 | 0 |1920 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1644.76/1644.77 c 1645s| 2370k|363238 | 31353k| 13.2 | 356M| 45 | - | 163 | 166 | 163 | 163 | 0 |1924 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1650.46/1650.45 c 1650s| 2380k|363862 | 31457k| 13.2 | 357M| 45 | 11 | 163 | 170 | 163 | 163 | 0 |1930 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1656.26/1656.20 c 1656s| 2390k|364566 | 31563k| 13.2 | 358M| 45 | 18 | 163 | 165 | 163 | 163 | 0 |1937 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1661.86/1661.83 c 1662s| 2400k|365180 | 31662k| 13.2 | 359M| 45 | - | 163 | 167 | 163 | 163 | 0 |1942 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1667.56/1667.57 c 1668s| 2410k|365908 | 31773k| 13.2 | 360M| 45 | 18 | 163 | 164 | 163 | 163 | 0 |1943 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1673.76/1673.72 c 1674s| 2420k|366880 | 31893k| 13.2 | 361M| 45 | 12 | 163 | 166 | 163 | 163 | 0 |1947 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1679.56/1679.59 c 1680s| 2430k|367664 | 32003k| 13.2 | 362M| 45 | 16 | 163 | 163 | 163 | 163 | 0 |1958 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1686.06/1686.01 c 1686s| 2440k|368774 | 32130k| 13.2 | 363M| 45 | - | 163 | 173 | 163 | 163 | 0 |1969 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1692.76/1692.71 c 1693s| 2450k|370218 | 32265k| 13.2 | 364M| 45 | 21 | 163 | 168 | 163 | 163 | 0 |1973 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1698.77/1698.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.77/1698.70 c 1699s| 2460k|371076 | 32380k| 13.2 | 365M| 45 | 6 | 163 | 173 | 163 | 163 | 0 |1981 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1704.66/1704.61 c 1705s| 2470k|372014 | 32495k| 13.2 | 367M| 45 | 6 | 163 | 175 | 163 | 163 | 0 |1990 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1710.97/1710.93 c 1711s| 2480k|373446 | 32618k| 13.2 | 368M| 45 | 10 | 163 | 170 | 163 | 163 | 0 |2001 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1717.26/1717.27 c 1717s| 2490k|374990 | 32740k| 13.1 | 369M| 45 | 17 | 163 | 171 | 163 | 163 | 0 |2009 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1723.77/1723.75 c 1724s| 2500k|376526 | 32864k| 13.1 | 371M| 45 | 13 | 163 | 174 | 163 | 163 | 0 |2024 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1729.87/1729.82 c 1730s| 2510k|377718 | 32978k| 13.1 | 372M| 45 | 16 | 163 | 168 | 163 | 163 | 0 |2038 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1735.46/1735.45 c 1735s| 2520k|378476 | 33078k| 13.1 | 373M| 45 | - | 163 | 165 | 163 | 163 | 0 |2050 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1741.07/1741.09 c 1741s| 2530k|378914 | 33185k| 13.1 | 374M| 45 | - | 163 | 163 | 163 | 163 | 0 |2051 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1746.56/1746.59 c 1747s| 2540k|379276 | 33288k| 13.1 | 374M| 45 | - | 163 | 163 | 163 | 163 | 0 |2051 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1752.27/1752.23 c 1752s| 2550k|379826 | 33391k| 13.1 | 375M| 45 | 10 | 163 | 169 | 163 | 163 | 0 |2057 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1757.97/1757.91 c 1758s| 2560k|380230 | 33494k| 13.1 | 376M| 45 | 14 | 163 | 166 | 163 | 163 | 0 |2063 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1763.87/1763.82 c 1764s| 2570k|381086 | 33608k| 13.1 | 377M| 45 | - | 163 | 170 | 163 | 163 | 0 |2072 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1769.36/1769.31 c 1769s| 2580k|381346 | 33706k| 13.1 | 377M| 45 | 15 | 163 | 168 | 163 | 163 | 0 |2076 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1775.37/1775.32 c 1775s| 2590k|382202 | 33822k| 13.1 | 378M| 45 | 17 | 163 | 166 | 163 | 163 | 0 |2081 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1780.97/1780.96 c 1781s| 2600k|382680 | 33926k| 13.0 | 379M| 45 | - | 163 | 163 | 163 | 163 | 0 |2084 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1786.47/1786.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1786.47/1786.44 c 1786s| 2610k|382754 | 34025k| 13.0 | 380M| 45 | 17 | 163 | 165 | 163 | 163 | 0 |2089 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1791.97/1791.96 c 1792s| 2620k|382916 | 34127k| 13.0 | 380M| 45 | - | 163 | 163 | 163 | 163 | 0 |2089 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1797.07/1797.00 c
1797.07/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.07/1797.00 c Solving Time (sec) : 1797.00
1797.07/1797.00 c Solving Nodes : 2628775
1797.07/1797.00 c Primal Bound : +1.53600000000000e+04 (349 solutions)
1797.07/1797.00 c Dual Bound : +1.48480000000000e+04
1797.07/1797.00 c Gap : 3.45 %
1797.07/1797.00 s SATISFIABLE
1797.07/1797.00 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1797.07/1797.00 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
1797.07/1797.00 v -x118 -x117 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96
1797.07/1797.00 v -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1797.07/1797.00 v x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x44
1797.07/1797.00 v -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x33 x32 x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x22 -x21 x20 -x19 x18 -x17 x16
1797.07/1797.00 v -x15 -x14 -x13 -x11 x10 -x9 -x8 x7 x6 -x5 -x4 -x3 x2 -x163 -x162 x161 -x116 -x45 -x34 -x23 -x12 x1
1797.07/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.07/1797.00 c Total Time : 1797.00
1797.07/1797.00 c solving : 1797.00
1797.07/1797.00 c presolving : 0.04 (included in solving)
1797.07/1797.00 c reading : 0.00 (included in solving)
1797.07/1797.00 c Original Problem :
1797.07/1797.00 c Problem name : HOME/instance-3485484-1307756092.opb
1797.07/1797.00 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.07/1797.00 c Constraints : 73 initial, 73 maximal
1797.07/1797.00 c Presolved Problem :
1797.07/1797.00 c Problem name : t_HOME/instance-3485484-1307756092.opb
1797.07/1797.00 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.07/1797.00 c Constraints : 163 initial, 256 maximal
1797.07/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.07/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c knapsack : 0.02 0 0 0 0 0 10 100 100 200
1797.07/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c linear : 0.00 0 0 0 0 0 0 0 10 10
1797.07/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c root node : - 0 - - 0 - - - - -
1797.07/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.07/1797.00 c integral : 0 0 0 1516496 0 355 0 0 11314 0 0 3013760
1797.07/1797.00 c knapsack : 63 1 4197222 0 1 352 497 1942 7657 0 0 0
1797.07/1797.00 c setppc : 100 1 4039035 0 1 351 481 0 0 0 0 0
1797.07/1797.00 c linear : 0+ 1 13038 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c logicor : 0+ 0 345793 0 0 0 0 0 0 0 0 0
1797.07/1797.00 c countsols : 0 0 0 0 1 351 0 0 0 0 0 0
1797.07/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.07/1797.00 c integral : 31.71 0.00 0.00 31.71 0.00 0.00 0.00
1797.07/1797.00 c knapsack : 256.20 0.03 256.16 0.00 0.00 0.01 0.00
1797.07/1797.00 c setppc : 5.05 0.00 5.04 0.00 0.00 0.00 0.00
1797.07/1797.00 c linear : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1797.07/1797.00 c logicor : 0.42 0.00 0.42 0.00 0.00 0.00 0.00
1797.07/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.07/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.07/1797.00 c vbounds : 0 0 0 0
1797.07/1797.00 c rootredcost : 2 0 0 0
1797.07/1797.00 c pseudoobj : 4197713 24960 197 0
1797.07/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.07/1797.00 c vbounds : 0.79 0.79 0.00
1797.07/1797.00 c rootredcost : 0.88 0.88 0.00
1797.07/1797.00 c pseudoobj : 17.05 16.98 0.07
1797.07/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.07/1797.00 c propagation : 0.10 2138 2093 2239 34.9 0 0.0 -
1797.07/1797.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.07/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.07/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.07/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.07/1797.00 c applied globally : - - - 1109 27.0 - - -
1797.07/1797.00 c applied locally : - - - 984 40.9 - - -
1797.07/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.07/1797.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.07/1797.00 c redcost : 16.19 2141482 0 3355844 0 0
1797.07/1797.00 c impliedbounds : 0.00 2 0 0 0 0
1797.07/1797.00 c intobj : 0.00 0 0 0 0 0
1797.07/1797.00 c gomory : 0.00 2 0 0 0 0
1797.07/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.07/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.07/1797.00 c strongcg : 0.00 2 0 0 0 0
1797.07/1797.00 c cmir : 0.00 2 0 0 0 0
1797.07/1797.00 c flowcover : 0.12 2 0 0 0 0
1797.07/1797.00 c clique : 0.00 1 0 0 0 0
1797.07/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.07/1797.00 c mcf : 0.00 1 0 0 0 0
1797.07/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.07/1797.00 c rapidlearning : 0.04 1 0 0 0 40
1797.07/1797.00 c Pricers : Time Calls Vars
1797.07/1797.00 c problem variables: 0.00 0 0
1797.07/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.07/1797.00 c relpscost : 30.75 1516496 0 11314 0 0 3013760
1797.07/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.07/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.07/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.07/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.07/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.07/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.07/1797.00 c random : 0.00 0 0 0 0 0 0
1797.07/1797.00 c Primal Heuristics : Time Calls Found
1797.07/1797.00 c LP solutions : 0.00 - 0
1797.07/1797.00 c pseudo solutions : 0.00 - 0
1797.07/1797.00 c oneopt : 0.70 6 1
1797.07/1797.00 c crossover : 3.31 17 1
1797.07/1797.00 c pscostdiving : 53.68 7511 24
1797.07/1797.00 c fracdiving : 52.35 7511 6
1797.07/1797.00 c coefdiving : 46.96 7511 14
1797.07/1797.00 c veclendiving : 31.43 7511 4
1797.07/1797.00 c guideddiving : 63.34 7512 0
1797.07/1797.00 c linesearchdiving : 24.15 7512 1
1797.07/1797.00 c trivial : 0.00 2 0
1797.07/1797.00 c shiftandpropagate: 0.01 1 1
1797.07/1797.00 c simplerounding : 4.17 1516497 5
1797.07/1797.00 c zirounding : 0.97 12801 256
1797.07/1797.00 c rounding : 2.12 59513 1
1797.07/1797.00 c shifting : 1.16 27153 26
1797.07/1797.00 c intshifting : 0.04 0 0
1797.07/1797.00 c twoopt : 0.00 0 0
1797.07/1797.00 c fixandinfer : 0.00 0 0
1797.07/1797.00 c feaspump : 0.04 0 0
1797.07/1797.00 c clique : 0.00 0 0
1797.07/1797.00 c intdiving : 0.00 0 0
1797.07/1797.00 c actconsdiving : 0.00 0 0
1797.07/1797.00 c objpscostdiving : 8.55 583 6
1797.07/1797.00 c rootsoldiving : 9.12 1368 2
1797.07/1797.00 c octane : 0.00 0 0
1797.07/1797.00 c rens : 0.29 1 1
1797.07/1797.00 c rins : 0.00 0 0
1797.07/1797.00 c localbranching : 0.00 0 0
1797.07/1797.00 c mutation : 0.00 0 0
1797.07/1797.00 c dins : 0.00 0 0
1797.07/1797.00 c vbounds : 0.00 0 0
1797.07/1797.00 c undercover : 0.00 0 0
1797.07/1797.00 c subnlp : 0.40 0 0
1797.07/1797.00 c trysol : 0.60 0 0
1797.07/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.07/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.07/1797.00 c dual LP : 1016.05 2638391 28772744 10.91 28318.38
1797.07/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.07/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.07/1797.00 c diving/probing LP: 197.32 903772 5451112 6.03 27625.08
1797.07/1797.00 c strong branching : 18.33 35119 320725 9.13 17501.62
1797.07/1797.00 c (at root node) : - 10 594 59.40 -
1797.07/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.07/1797.00 c B&B Tree :
1797.07/1797.00 c number of runs : 1
1797.07/1797.00 c nodes : 2628775
1797.07/1797.00 c nodes (total) : 2628775
1797.07/1797.00 c nodes left : 383451
1797.07/1797.00 c max depth : 45
1797.07/1797.00 c max depth (total): 45
1797.07/1797.00 c backtracks : 527150 (20.1%)
1797.07/1797.00 c delayed cutoffs : 0
1797.07/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.07/1797.00 c avg switch length: 7.14
1797.07/1797.00 c switching time : 71.96
1797.07/1797.00 c Solution :
1797.07/1797.00 c Solutions found : 349 (7 improvements)
1797.07/1797.00 c First Solution : +2.04800000000000e+04 (in run 1, after 1 nodes, 0.05 seconds, depth 56, found by <shiftandpropagate>)
1797.07/1797.00 c Primal Bound : +1.53600000000000e+04 (in run 1, after 10194 nodes, 26.48 seconds, depth 27, found by <veclendiving>)
1797.07/1797.00 c Dual Bound : +1.48480000000000e+04
1797.07/1797.00 c Gap : 3.45 %
1797.07/1797.00 c Root Dual Bound : +1.33120000000000e+04
1797.07/1797.00 c Root Iterations : 89
1798.17/1798.11 c Time complete: 1798.17.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485484-1307756092/watcher-3485484-1307756092 -o /tmp/evaluation-result-3485484-1307756092/solver-3485484-1307756092 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485484-1307756092.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.93 2/177 18701
/proc/meminfo: memFree=31398024/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=9840 CPUtime=0 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 1458 0 0 0 0 0 0 0 25 0 1 0 887205872 10076160 1413 33554432000 4194304 8979876 140733432759088 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18701/statm: 2460 1423 358 1169 0 1287 0
[startup+0.097134 s]
/proc/loadavg: 1.92 1.98 1.93 2/177 18701
/proc/meminfo: memFree=31398024/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=19300 CPUtime=0.09 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 4097 0 0 0 9 0 0 0 25 0 1 0 887205872 19763200 3772 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 4825 3772 658 1169 0 3652 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19300
[startup+0.10113 s]
/proc/loadavg: 1.92 1.98 1.93 2/177 18701
/proc/meminfo: memFree=31398024/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=21740 CPUtime=0.09 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 4399 0 0 0 9 0 0 0 25 0 1 0 887205872 22261760 4074 33554432000 4194304 8979876 140733432759088 18446744073709551615 5230975 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 5435 4074 665 1169 0 4262 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21740
[startup+0.301098 s]
/proc/loadavg: 1.92 1.98 1.93 2/177 18701
/proc/meminfo: memFree=31398024/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=34772 CPUtime=0.29 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 8056 0 0 0 28 1 0 0 25 0 1 0 887205872 35606528 7378 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 8693 7378 712 1169 0 7520 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34772
[startup+0.701008 s]
/proc/loadavg: 1.92 1.98 1.93 2/177 18701
/proc/meminfo: memFree=31398024/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=35060 CPUtime=0.69 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 8087 0 0 0 67 2 0 0 25 0 1 0 887205872 35901440 7409 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 8765 7409 714 1169 0 7592 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35060
[startup+1.50085 s]
/proc/loadavg: 1.92 1.98 1.93 3/178 18702
/proc/meminfo: memFree=31371132/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=35060 CPUtime=1.49 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 8087 0 0 0 145 4 0 0 25 0 1 0 887205872 35901440 7409 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 8765 7409 714 1169 0 7592 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35060
[startup+3.10053 s]
/proc/loadavg: 1.92 1.98 1.93 3/178 18702
/proc/meminfo: memFree=31369768/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=35852 CPUtime=3.09 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 8458 0 0 0 298 11 0 0 25 0 1 0 887205872 36712448 7775 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 8963 7775 715 1169 0 7790 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35852
[startup+6.3009 s]
/proc/loadavg: 1.93 1.98 1.93 3/178 18702
/proc/meminfo: memFree=31368664/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=35852 CPUtime=6.29 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 8462 0 0 0 611 18 0 0 25 0 1 0 887205872 36712448 7779 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 8963 7779 715 1169 0 7790 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35852
[startup+12.7006 s]
/proc/loadavg: 1.93 1.98 1.93 3/178 18703
/proc/meminfo: memFree=31369412/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=33280 CPUtime=12.69 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 9027 0 0 0 1230 39 0 0 25 0 1 0 887205872 34078720 7274 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 8320 7274 715 1169 0 7147 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33280
[startup+25.5011 s]
/proc/loadavg: 1.95 1.98 1.93 3/178 18703
/proc/meminfo: memFree=31369144/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=33280 CPUtime=25.49 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 10522 0 0 0 2474 75 0 0 25 0 1 0 887205872 34078720 7290 33554432000 4194304 8979876 140733432759088 18446744073709551615 6546930 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 8320 7290 715 1169 0 7147 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33280
[startup+51.101 s]
/proc/loadavg: 1.96 1.98 1.93 3/178 18704
/proc/meminfo: memFree=31371376/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=34380 CPUtime=51.1 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 16779 0 0 0 4961 149 0 0 25 0 1 0 887205872 35205120 7599 33554432000 4194304 8979876 140733432759088 18446744073709551615 6004028 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 8595 7599 716 1169 0 7422 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 34380
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.93 3/178 18705
/proc/meminfo: memFree=31346648/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=50872 CPUtime=102.3 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 30349 0 0 0 9946 284 0 0 25 0 1 0 887205872 52092928 11738 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 12718 11738 716 1169 0 11545 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 50872
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/178 18707
/proc/meminfo: memFree=31316968/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=74756 CPUtime=162.29 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 38399 0 0 0 15795 434 0 0 25 0 1 0 887205872 76550144 17281 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 18689 17281 716 1169 0 17516 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 74756
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.93 3/178 18708
/proc/meminfo: memFree=31297952/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=94752 CPUtime=222.3 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 48233 0 0 0 21635 595 0 0 25 0 1 0 887205872 97026048 22494 33554432000 4194304 8979876 140733432759088 18446744073709551615 7179778 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 23688 22494 716 1169 0 22515 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 94752
[startup+282.301 s]
/proc/loadavg: 2.04 2.00 1.94 3/178 18710
/proc/meminfo: memFree=31271228/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=117452 CPUtime=282.3 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 53905 0 0 0 27471 759 0 0 25 0 1 0 887205872 120270848 28163 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 29363 28163 716 1169 0 28190 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 117452
[startup+342.301 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 18711
/proc/meminfo: memFree=31252304/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=133124 CPUtime=342.3 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 57965 0 0 0 33327 903 0 0 25 0 1 0 887205872 136318976 32198 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 33281 32198 716 1169 0 32108 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 133124
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18713
/proc/meminfo: memFree=31221988/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=153796 CPUtime=402.31 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 63224 0 0 0 39172 1059 0 0 25 0 1 0 887205872 157487104 37449 33554432000 4194304 8979876 140733432759088 18446744073709551615 6702944 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 38449 37449 716 1169 0 37276 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 153796
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18715
/proc/meminfo: memFree=31207184/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=169280 CPUtime=462.31 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 69412 0 0 0 45025 1206 0 0 25 0 1 0 887205872 173342720 41406 33554432000 4194304 8979876 140733432759088 18446744073709551615 5211240 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 42320 41406 716 1169 0 41147 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 169280
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18716
/proc/meminfo: memFree=31191376/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=190124 CPUtime=522.31 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 73662 0 0 0 50882 1349 0 0 25 0 1 0 887205872 194686976 45656 33554432000 4194304 8979876 140733432759088 18446744073709551615 6546280 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 47531 45656 716 1169 0 46358 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 190124
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18718
/proc/meminfo: memFree=31168612/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=205484 CPUtime=582.32 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 77602 0 0 0 56730 1502 0 0 25 0 1 0 887205872 210415616 49596 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 51371 49596 716 1169 0 50198 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 205484
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31050672/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=317296 CPUtime=1062.34 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 108195 0 0 0 103590 2644 0 0 25 0 1 0 887205872 324911104 77881 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 79324 77881 716 1169 0 78151 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 317296
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 18732
/proc/meminfo: memFree=31045280/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=323316 CPUtime=1122.34 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 109723 0 0 0 109447 2787 0 0 25 0 1 0 887205872 331075584 79409 33554432000 4194304 8979876 140733432759088 18446744073709551615 6440719 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 80829 79409 716 1169 0 79656 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 323316
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 18734
/proc/meminfo: memFree=31037020/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=332396 CPUtime=1182.34 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 112052 0 0 0 115307 2927 0 0 25 0 1 0 887205872 340373504 81738 33554432000 4194304 8979876 140733432759088 18446744073709551615 6619493 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 83099 81738 716 1169 0 81926 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 332396
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 18773
/proc/meminfo: memFree=31359200/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=342900 CPUtime=1242.34 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 116933 0 0 0 121164 3070 0 0 25 0 1 0 887205872 351129600 84363 33554432000 4194304 8979876 140733432759088 18446744073709551615 6443787 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 85725 84363 716 1169 0 84552 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 342900
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18775
/proc/meminfo: memFree=31351652/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=349748 CPUtime=1302.36 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 118667 0 0 0 127027 3209 0 0 25 0 1 0 887205872 358141952 86097 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 87437 86097 716 1169 0 86264 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 349748
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18777
/proc/meminfo: memFree=31344764/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=356148 CPUtime=1362.35 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 120272 0 0 0 132888 3347 0 0 25 0 1 0 887205872 364695552 87702 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 89037 87702 716 1169 0 87864 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 356148
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18778
/proc/meminfo: memFree=31337744/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=362424 CPUtime=1422.36 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 121839 0 0 0 138740 3496 0 0 25 0 1 0 887205872 371122176 89269 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 90606 89269 716 1169 0 89433 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 362424
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18780
/proc/meminfo: memFree=31332324/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=367096 CPUtime=1482.35 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 123060 0 0 0 144598 3637 0 0 25 0 1 0 887205872 375906304 90490 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 91774 90490 716 1169 0 90601 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 367096
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18781
/proc/meminfo: memFree=31324928/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=374392 CPUtime=1542.36 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 124875 0 0 0 150459 3777 0 0 25 0 1 0 887205872 383377408 92305 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 93598 92305 716 1169 0 92425 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 374392
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 18792
/proc/meminfo: memFree=31316236/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=381624 CPUtime=1602.37 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 126667 0 0 0 156317 3920 0 0 25 0 1 0 887205872 390782976 94097 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 95406 94097 716 1169 0 94233 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 381624
[startup+1662.3 s]
/proc/loadavg: 2.50 2.12 1.99 3/183 20974
/proc/meminfo: memFree=31195684/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=390460 CPUtime=1662.36 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 128927 0 0 0 162172 4064 0 0 25 0 1 0 887205872 399831040 96357 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 97615 96357 716 1169 0 96442 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 390460
[startup+1722.3 s]
/proc/loadavg: 2.21 2.11 2.00 3/178 21050
/proc/meminfo: memFree=31172548/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=401908 CPUtime=1722.37 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 134078 0 0 0 168030 4207 0 0 25 0 1 0 887205872 411553792 99249 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 100477 99249 716 1169 0 99304 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 401908
[startup+1782.3 s]
/proc/loadavg: 2.08 2.09 2.00 3/178 21054
/proc/meminfo: memFree=31162296/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=410940 CPUtime=1782.36 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 136366 0 0 0 173887 4349 0 0 25 0 1 0 887205872 420802560 101537 33554432000 4194304 8979876 140733432759088 18446744073709551615 4326176 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 102735 101537 716 1169 0 101562 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 410940
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.06 2.09 2.00 3/178 21055
/proc/meminfo: memFree=31162280/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=411112 CPUtime=1791.97 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 136414 0 0 0 174826 4371 0 0 25 0 1 0 887205872 420978688 101585 33554432000 4194304 8979876 140733432759088 18446744073709551615 4841970 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 102778 101585 716 1169 0 101605 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 411112
[startup+1795.1 s]
/proc/loadavg: 2.06 2.08 2.00 3/178 21055
/proc/meminfo: memFree=31161788/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=411580 CPUtime=1795.16 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 136523 0 0 0 175137 4379 0 0 25 0 1 0 887205872 421457920 101694 33554432000 4194304 8979876 140733432759088 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 102895 101694 716 1169 0 101722 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 411580
[startup+1796.7 s]
/proc/loadavg: 2.06 2.08 2.00 3/178 21055
/proc/meminfo: memFree=31161788/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=411580 CPUtime=1796.76 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 136528 0 0 0 175293 4383 0 0 25 0 1 0 887205872 421457920 101699 33554432000 4194304 8979876 140733432759088 18446744073709551615 6438792 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18701/statm: 102895 101699 716 1169 0 101722 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 411580
[startup+1797.5 s]
/proc/loadavg: 2.06 2.08 2.00 3/178 21055
/proc/meminfo: memFree=31161780/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=411580 CPUtime=1797.57 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 136531 0 0 0 175373 4384 0 0 18 0 1 0 887205872 421457920 101702 33554432000 4194304 8979876 140733432759088 18446744073709551615 6783150 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18701/statm: 102895 101702 719 1169 0 101722 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 411580
[startup+1797.9 s]
/proc/loadavg: 2.06 2.08 2.00 3/178 21055
/proc/meminfo: memFree=31161780/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=411580 CPUtime=1797.97 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 136531 0 0 0 175413 4384 0 0 19 0 1 0 887205872 421457920 101702 33554432000 4194304 8979876 140733432759088 18446744073709551615 4330208 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18701/statm: 102895 101702 719 1169 0 101722 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 411580
[startup+1798.1 s]
/proc/loadavg: 2.06 2.08 2.00 3/178 21055
/proc/meminfo: memFree=31161780/32950928 swapFree=67053888/67111528
[pid=18701] ppid=18699 vsize=284152 CPUtime=1798.17 cores=0,2,4,6
/proc/18701/stat : 18701 (scip-2.0.1.4_2.) R 18699 18701 16800 0 -1 4202496 136531 0 0 0 175432 4385 0 0 19 0 1 0 887205872 290971648 56606 33554432000 4194304 8979876 140733432759088 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18701/statm: 71038 56606 719 1169 0 69865 0
Current children cumulated CPU time (s) 1798.17
Current children cumulated vsize (KiB) 284152
Child status: 0
Real time (s): 1798.11
CPU time (s): 1798.18
CPU user time (s): 1754.32
CPU system time (s): 43.8593
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 411580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754.32
system time used= 43.8593
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136536
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= 8
involuntary context switches= 23541
runsolver used 2.71359 second user time and 5.50516 second system time
The end