0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3452666-1307075337.opb>
0.00/0.01 c original problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.00/0.01 c problem read
0.00/0.01 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.05 c (0.0s) probing: 101/163 (62.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (4 rounds):
0.00/0.05 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.05 c 200 implications, 0 cliques
0.00/0.05 c presolved problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 163 constraints
0.00/0.05 c 63 constraints of type <knapsack>
0.00/0.05 c 100 constraints of type <setppc>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 2.0.1.4
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1800
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 13950
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.04/0.05 o 20480
0.04/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.04/0.05 c T 0.1s| 1 | 0 | 0 | - |1687k| 0 | - | 163 | 163 | 163 | 163 | 0 | 0 | 0 | -- | 2.048000e+04 | Inf
0.04/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.04/0.06 o 19456
0.04/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.04/0.06 o 17408
0.04/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.38/0.46 o 16384
0.38/0.46 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.38/0.47 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.54 c 0.5s| 1 | 2 | 89 | - |1691k| 0 | 36 | 163 | 203 | 163 | 163 | 0 | 0 | 10 | 1.331200e+04 | 1.638400e+04 | 23.08%
2.29/2.30 o 16384
2.29/2.30 c z 2.3s| 227 | 228 | 10597 | 46.5 |2026k| 29 | 31 | 163 | 207 | 163 | 163 | 0 | 4 | 529 | 1.408000e+04 | 1.638400e+04 | 16.36%
19.70/19.81 o 15872
19.70/19.81 c p19.8s| 8038 | 7249 |430750 | 53.6 |5136k| 37 | - | 163 | 254 | 163 | 163 | 0 | 78 |2058 | 1.420800e+04 | 1.587200e+04 | 11.71%
24.29/24.39 c 24.4s| 10000 | 8863 |533930 | 53.4 |6047k| 37 | 8 | 163 | 220 | 163 | 163 | 0 | 90 |2331 | 1.420800e+04 | 1.587200e+04 | 11.71%
24.68/24.74 o 15360
24.68/24.74 c v24.7s| 10194 | 8252 |542319 | 53.2 |5762k| 37 | - | 163 | 219 | 163 | 163 | 0 | 91 |2359 | 1.420800e+04 | 1.536000e+04 | 8.11%
42.09/42.19 c 42.2s| 20000 | 14736 |957773 | 47.9 |9910k| 37 | 13 | 163 | 199 | 163 | 163 | 0 | 130 |3574 | 1.420800e+04 | 1.536000e+04 | 8.11%
58.69/58.77 c 58.8s| 30000 | 21262 | 1352k| 45.1 | 14M| 37 | 22 | 163 | 184 | 163 | 163 | 0 | 160 |4523 | 1.425067e+04 | 1.536000e+04 | 7.78%
71.99/72.08 c 72.1s| 40000 | 27492 | 1662k| 41.6 | 18M| 37 | 12 | 163 | 180 | 163 | 163 | 0 | 178 |5265 | 1.430400e+04 | 1.536000e+04 | 7.38%
84.09/84.12 c 84.1s| 50000 | 33778 | 1938k| 38.8 | 22M| 37 | 22 | 163 | 173 | 163 | 163 | 0 | 192 |5819 | 1.433600e+04 | 1.536000e+04 | 7.14%
96.09/96.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.09/96.10 c 96.1s| 60000 | 39998 | 2213k| 36.9 | 26M| 38 | - | 163 | 172 | 163 | 163 | 0 | 206 |6409 | 1.433600e+04 | 1.536000e+04 | 7.14%
107.29/107.33 c 107s| 70000 | 46118 | 2469k| 35.3 | 30M| 39 | 18 | 163 | 174 | 163 | 163 | 0 | 219 |6836 | 1.433600e+04 | 1.536000e+04 | 7.14%
118.70/118.78 c 119s| 80000 | 52198 | 2727k| 34.1 | 34M| 41 | 13 | 163 | 172 | 163 | 163 | 0 | 233 |7325 | 1.433600e+04 | 1.536000e+04 | 7.14%
129.09/129.10 c 129s| 90000 | 57458 | 2962k| 32.9 | 37M| 41 | 5 | 163 | 174 | 163 | 163 | 0 | 247 |7708 | 1.433600e+04 | 1.536000e+04 | 7.14%
139.39/139.45 c 139s|100000 | 62818 | 3201k| 32.0 | 41M| 41 | 20 | 163 | 173 | 163 | 163 | 0 | 260 |8156 | 1.433600e+04 | 1.536000e+04 | 7.14%
149.39/149.46 c 149s|110000 | 67722 | 3424k| 31.1 | 44M| 41 | 16 | 163 | 170 | 163 | 163 | 0 | 272 |8622 | 1.433600e+04 | 1.536000e+04 | 7.14%
158.79/158.83 c 159s|120000 | 72738 | 3640k| 30.3 | 48M| 44 | 24 | 163 | 170 | 163 | 163 | 0 | 279 |8897 | 1.433600e+04 | 1.536000e+04 | 7.14%
168.79/168.86 c 169s|130000 | 77810 | 3867k| 29.7 | 51M| 44 | 19 | 163 | 173 | 163 | 163 | 0 | 295 |9349 | 1.433600e+04 | 1.536000e+04 | 7.14%
178.39/178.47 c 178s|140000 | 82708 | 4087k| 29.2 | 54M| 44 | 19 | 163 | 181 | 163 | 163 | 0 | 314 |9654 | 1.433600e+04 | 1.536000e+04 | 7.14%
188.19/188.22 c 188s|150000 | 87392 | 4306k| 28.7 | 58M| 44 | 8 | 163 | 175 | 163 | 163 | 0 | 333 |9898 | 1.433600e+04 | 1.536000e+04 | 7.14%
197.79/197.91 c 198s|160000 | 92212 | 4527k| 28.3 | 61M| 44 | - | 163 | 181 | 163 | 163 | 0 | 359 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
207.69/207.74 c 208s|170000 | 97196 | 4752k| 28.0 | 64M| 44 | 27 | 163 | 174 | 163 | 163 | 0 | 371 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
217.59/217.60 c 218s|180000 |102308 | 4976k| 27.6 | 68M| 44 | - | 163 | 167 | 163 | 163 | 0 | 378 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
227.80/227.89 c 228s|190000 |107976 | 5213k| 27.4 | 71M| 44 | 26 | 163 | 176 | 163 | 163 | 0 | 392 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
237.29/237.35 c 237s|200000 |112866 | 5426k| 27.1 | 75M| 44 | 26 | 163 | 178 | 163 | 163 | 0 | 408 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
247.00/247.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.00/247.07 c 247s|210000 |118174 | 5649k| 26.9 | 78M| 44 | - | 163 | 176 | 163 | 163 | 0 | 422 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
255.89/255.93 c 256s|220000 |122498 | 5846k| 26.6 | 81M| 44 | 24 | 163 | 167 | 163 | 163 | 0 | 435 | 11k| 1.437257e+04 | 1.536000e+04 | 6.87%
265.40/265.45 c 265s|230000 |126018 | 6029k| 26.2 | 84M| 44 | - | 163 | 169 | 163 | 163 | 0 | 455 | 12k| 1.437867e+04 | 1.536000e+04 | 6.82%
273.91/274.00 c 274s|240000 |129600 | 6216k| 25.9 | 87M| 44 | 21 | 163 | 171 | 163 | 163 | 0 | 473 | 12k| 1.438720e+04 | 1.536000e+04 | 6.76%
282.49/282.55 c 283s|250000 |133114 | 6404k| 25.6 | 90M| 44 | 18 | 163 | 182 | 163 | 163 | 0 | 498 | 12k| 1.440000e+04 | 1.536000e+04 | 6.67%
290.69/290.73 c 291s|260000 |136470 | 6587k| 25.3 | 93M| 44 | - | 163 | 174 | 163 | 163 | 0 | 520 | 12k| 1.440000e+04 | 1.536000e+04 | 6.67%
298.89/298.96 c 299s|270000 |139776 | 6764k| 25.1 | 95M| 44 | - | 163 | 172 | 163 | 163 | 0 | 531 | 12k| 1.440914e+04 | 1.536000e+04 | 6.60%
307.00/307.07 c 307s|280000 |142884 | 6941k| 24.8 | 98M| 44 | 7 | 163 | 178 | 163 | 163 | 0 | 557 | 13k| 1.442133e+04 | 1.536000e+04 | 6.51%
315.00/315.08 c 315s|290000 |145892 | 7116k| 24.5 | 100M| 44 | - | 163 | 181 | 163 | 163 | 0 | 584 | 13k| 1.442133e+04 | 1.536000e+04 | 6.51%
322.99/323.00 c 323s|300000 |149032 | 7288k| 24.3 | 103M| 44 | 7 | 163 | 176 | 163 | 163 | 0 | 610 | 13k| 1.443200e+04 | 1.536000e+04 | 6.43%
330.80/330.82 c 331s|310000 |151992 | 7456k| 24.1 | 106M| 44 | - | 163 | 169 | 163 | 163 | 0 | 628 | 13k| 1.443840e+04 | 1.536000e+04 | 6.38%
338.59/338.71 c 339s|320000 |154886 | 7630k| 23.8 | 108M| 44 | - | 163 | 168 | 163 | 163 | 0 | 638 | 13k| 1.444571e+04 | 1.536000e+04 | 6.33%
346.19/346.22 c 346s|330000 |157658 | 7789k| 23.6 | 110M| 44 | - | 163 | 169 | 163 | 163 | 0 | 649 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
353.50/353.50 c 353s|340000 |160290 | 7940k| 23.4 | 113M| 44 | 19 | 163 | 168 | 163 | 163 | 0 | 659 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
360.89/360.94 c 361s|350000 |163104 | 8095k| 23.1 | 115M| 44 | 15 | 163 | 165 | 163 | 163 | 0 | 663 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
368.19/368.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.19/368.24 c 368s|360000 |165766 | 8249k| 22.9 | 118M| 44 | - | 163 | 177 | 163 | 163 | 0 | 688 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
375.39/375.45 c 375s|370000 |168410 | 8403k| 22.7 | 120M| 44 | 21 | 163 | 169 | 163 | 163 | 0 | 703 | 14k| 1.446400e+04 | 1.536000e+04 | 6.19%
382.89/382.93 c 383s|380000 |171062 | 8557k| 22.5 | 122M| 44 | 13 | 163 | 169 | 163 | 163 | 0 | 717 | 14k| 1.448229e+04 | 1.536000e+04 | 6.06%
390.09/390.13 c 390s|390000 |173522 | 8708k| 22.3 | 124M| 44 | 16 | 163 | 181 | 163 | 163 | 0 | 743 | 15k| 1.448960e+04 | 1.536000e+04 | 6.01%
397.29/397.33 c 397s|400000 |175934 | 8854k| 22.1 | 126M| 44 | - | 163 | 169 | 163 | 163 | 0 | 765 | 15k| 1.448960e+04 | 1.536000e+04 | 6.01%
404.49/404.51 c 405s|410000 |178334 | 9004k| 22.0 | 129M| 44 | 14 | 163 | 177 | 163 | 163 | 0 | 794 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
411.80/411.84 c 412s|420000 |180736 | 9157k| 21.8 | 131M| 44 | 22 | 163 | 166 | 163 | 163 | 0 | 802 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
419.00/419.07 c 419s|430000 |183050 | 9308k| 21.6 | 133M| 44 | - | 163 | 175 | 163 | 163 | 0 | 824 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
426.09/426.18 c 426s|440000 |185210 | 9457k| 21.5 | 135M| 44 | 13 | 163 | 171 | 163 | 163 | 0 | 841 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
433.00/433.01 c 433s|450000 |187456 | 9600k| 21.3 | 137M| 44 | - | 163 | 178 | 163 | 163 | 0 | 866 | 15k| 1.450667e+04 | 1.536000e+04 | 5.88%
440.10/440.10 c 440s|460000 |189694 | 9749k| 21.2 | 139M| 44 | - | 163 | 182 | 163 | 163 | 0 | 891 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
447.20/447.22 c 447s|470000 |191904 | 9900k| 21.1 | 141M| 44 | 25 | 163 | 176 | 163 | 163 | 0 | 904 | 16k| 1.450667e+04 | 1.536000e+04 | 5.88%
454.10/454.14 c 454s|480000 |194054 | 10047k| 20.9 | 143M| 44 | 13 | 163 | 172 | 163 | 163 | 0 | 917 | 16k| 1.452800e+04 | 1.536000e+04 | 5.73%
460.70/460.75 c 461s|490000 |196142 | 10182k| 20.8 | 145M| 44 | - | 163 | 175 | 163 | 163 | 0 | 929 | 16k| 1.452800e+04 | 1.536000e+04 | 5.73%
467.70/467.74 c 468s|500000 |198382 | 10325k| 20.7 | 147M| 44 | 11 | 163 | 169 | 163 | 163 | 0 | 940 | 16k| 1.452800e+04 | 1.536000e+04 | 5.73%
474.40/474.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
474.40/474.45 c 474s|510000 |200446 | 10463k| 20.5 | 149M| 44 | - | 163 | 164 | 163 | 163 | 0 | 949 | 16k| 1.452800e+04 | 1.536000e+04 | 5.73%
480.90/480.96 c 481s|520000 |202428 | 10596k| 20.4 | 151M| 44 | 14 | 163 | 169 | 163 | 163 | 0 | 966 | 16k| 1.454080e+04 | 1.536000e+04 | 5.63%
487.40/487.45 c 487s|530000 |204406 | 10729k| 20.2 | 153M| 44 | - | 163 | 166 | 163 | 163 | 0 | 970 | 16k| 1.454080e+04 | 1.536000e+04 | 5.63%
494.00/494.05 c 494s|540000 |206336 | 10864k| 20.1 | 155M| 44 | - | 163 | 167 | 163 | 163 | 0 | 988 | 17k| 1.454080e+04 | 1.536000e+04 | 5.63%
500.30/500.41 c 500s|550000 |208124 | 10991k| 20.0 | 157M| 44 | - | 163 | 170 | 163 | 163 | 0 |1000 | 17k| 1.454933e+04 | 1.536000e+04 | 5.57%
506.90/506.91 c 507s|560000 |209984 | 11123k| 19.9 | 159M| 44 | - | 163 | 168 | 163 | 163 | 0 |1013 | 17k| 1.455543e+04 | 1.536000e+04 | 5.53%
513.19/513.26 c 513s|570000 |211834 | 11251k| 19.7 | 161M| 44 | 7 | 163 | 170 | 163 | 163 | 0 |1040 | 17k| 1.457694e+04 | 1.536000e+04 | 5.37%
520.00/520.07 c 520s|580000 |213836 | 11389k| 19.6 | 162M| 44 | 17 | 163 | 171 | 163 | 163 | 0 |1054 | 17k| 1.459200e+04 | 1.536000e+04 | 5.26%
526.92/526.94 c 527s|590000 |215850 | 11532k| 19.5 | 164M| 44 | - | 163 | 176 | 163 | 163 | 0 |1070 | 17k| 1.459200e+04 | 1.536000e+04 | 5.26%
533.60/533.60 c 534s|600000 |217710 | 11671k| 19.5 | 166M| 44 | 15 | 163 | 178 | 163 | 163 | 0 |1088 | 17k| 1.459200e+04 | 1.536000e+04 | 5.26%
540.30/540.30 c 540s|610000 |219520 | 11813k| 19.4 | 168M| 44 | 15 | 163 | 175 | 163 | 163 | 0 |1102 | 17k| 1.459200e+04 | 1.536000e+04 | 5.26%
547.00/547.01 c 547s|620000 |221444 | 11955k| 19.3 | 170M| 44 | 19 | 163 | 170 | 163 | 163 | 0 |1126 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
553.40/553.41 c 553s|630000 |223058 | 12089k| 19.2 | 172M| 44 | 29 | 163 | 171 | 163 | 163 | 0 |1136 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
560.20/560.22 c 560s|640000 |225004 | 12234k| 19.1 | 173M| 44 | - | 163 | 171 | 163 | 163 | 0 |1147 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
566.80/566.88 c 567s|650000 |226932 | 12376k| 19.0 | 175M| 44 | 22 | 163 | 169 | 163 | 163 | 0 |1165 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
573.30/573.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.30/573.31 c 573s|660000 |228806 | 12509k| 19.0 | 177M| 44 | 12 | 163 | 173 | 163 | 163 | 0 |1182 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
579.61/579.67 c 580s|670000 |230576 | 12640k| 18.9 | 179M| 44 | - | 163 | 167 | 163 | 163 | 0 |1193 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
586.21/586.24 c 586s|680000 |232426 | 12776k| 18.8 | 181M| 44 | - | 163 | 172 | 163 | 163 | 0 |1205 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
593.00/593.08 c 593s|690000 |234378 | 12925k| 18.7 | 183M| 44 | 18 | 163 | 170 | 163 | 163 | 0 |1215 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
599.80/599.89 c 600s|700000 |236360 | 13069k| 18.7 | 184M| 44 | - | 163 | 172 | 163 | 163 | 0 |1222 | 18k| 1.459200e+04 | 1.536000e+04 | 5.26%
606.31/606.31 c 606s|710000 |238122 | 13201k| 18.6 | 186M| 44 | - | 163 | 165 | 163 | 163 | 0 |1224 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
612.61/612.63 c 613s|720000 |239780 | 13331k| 18.5 | 188M| 44 | 12 | 163 | 164 | 163 | 163 | 0 |1226 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
619.01/619.05 c 619s|730000 |241560 | 13462k| 18.4 | 190M| 44 | 16 | 163 | 163 | 163 | 163 | 0 |1238 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
625.40/625.47 c 625s|740000 |243348 | 13592k| 18.4 | 191M| 44 | 16 | 163 | 164 | 163 | 163 | 0 |1248 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
632.10/632.10 c 632s|750000 |245238 | 13731k| 18.3 | 193M| 44 | - | 163 | 163 | 163 | 163 | 0 |1251 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
638.80/638.88 c 639s|760000 |247180 | 13874k| 18.3 | 195M| 44 | - | 163 | 173 | 163 | 163 | 0 |1265 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
645.51/645.53 c 646s|770000 |248978 | 14011k| 18.2 | 197M| 44 | - | 163 | 172 | 163 | 163 | 0 |1275 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
652.10/652.15 c 652s|780000 |250776 | 14149k| 18.1 | 199M| 44 | 15 | 163 | 167 | 163 | 163 | 0 |1277 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
658.92/658.99 c 659s|790000 |252636 | 14293k| 18.1 | 200M| 44 | - | 163 | 172 | 163 | 163 | 0 |1287 | 19k| 1.459200e+04 | 1.536000e+04 | 5.26%
665.52/665.55 c 666s|800000 |254390 | 14431k| 18.0 | 202M| 44 | 12 | 163 | 173 | 163 | 163 | 0 |1300 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
671.90/671.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
671.90/671.96 c 672s|810000 |256260 | 14565k| 18.0 | 204M| 44 | 13 | 163 | 175 | 163 | 163 | 0 |1310 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
678.51/678.51 c 679s|820000 |258204 | 14699k| 17.9 | 206M| 44 | - | 163 | 168 | 163 | 163 | 0 |1321 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
685.40/685.41 c 685s|830000 |260338 | 14843k| 17.9 | 208M| 44 | 14 | 163 | 169 | 163 | 163 | 0 |1327 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
692.40/692.48 c 692s|840000 |262798 | 14993k| 17.8 | 210M| 44 | 16 | 163 | 170 | 163 | 163 | 0 |1337 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
698.81/698.81 c 699s|850000 |264424 | 15121k| 17.8 | 212M| 44 | 16 | 163 | 167 | 163 | 163 | 0 |1342 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
705.70/705.77 c 706s|860000 |266520 | 15268k| 17.8 | 214M| 44 | - | 163 | 165 | 163 | 163 | 0 |1350 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
712.20/712.24 c 712s|870000 |268408 | 15403k| 17.7 | 215M| 44 | - | 163 | 167 | 163 | 163 | 0 |1358 | 20k| 1.459200e+04 | 1.536000e+04 | 5.26%
718.32/718.39 c 718s|880000 |270026 | 15526k| 17.6 | 217M| 44 | 13 | 163 | 165 | 163 | 163 | 0 |1363 | 20k| 1.461760e+04 | 1.536000e+04 | 5.08%
724.21/724.21 c 724s|890000 |271142 | 15640k| 17.6 | 218M| 44 | - | 163 | 168 | 163 | 163 | 0 |1370 | 20k| 1.462400e+04 | 1.536000e+04 | 5.03%
729.90/729.94 c 730s|900000 |272352 | 15753k| 17.5 | 220M| 44 | 13 | 163 | 166 | 163 | 163 | 0 |1372 | 21k| 1.463138e+04 | 1.536000e+04 | 4.98%
735.60/735.67 c 736s|910000 |273326 | 15862k| 17.4 | 221M| 44 | 10 | 163 | 167 | 163 | 163 | 0 |1376 | 21k| 1.463467e+04 | 1.536000e+04 | 4.96%
741.21/741.31 c 741s|920000 |274316 | 15973k| 17.4 | 222M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |1376 | 21k| 1.464320e+04 | 1.536000e+04 | 4.90%
746.92/746.93 c 747s|930000 |275412 | 16086k| 17.3 | 224M| 44 | 11 | 163 | 164 | 163 | 163 | 0 |1377 | 21k| 1.464320e+04 | 1.536000e+04 | 4.90%
752.42/752.49 c 752s|940000 |276466 | 16195k| 17.2 | 225M| 44 | - | 163 | 163 | 163 | 163 | 0 |1378 | 21k| 1.464320e+04 | 1.536000e+04 | 4.90%
757.92/757.97 c 758s|950000 |277452 | 16304k| 17.2 | 226M| 44 | 11 | 163 | 164 | 163 | 163 | 0 |1380 | 21k| 1.464320e+04 | 1.536000e+04 | 4.90%
763.50/763.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.50/763.50 c 763s|960000 |278414 | 16412k| 17.1 | 228M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |1382 | 21k| 1.465224e+04 | 1.536000e+04 | 4.83%
769.10/769.15 c 769s|970000 |279436 | 16524k| 17.0 | 229M| 44 | 15 | 163 | 164 | 163 | 163 | 0 |1384 | 21k| 1.465600e+04 | 1.536000e+04 | 4.80%
774.81/774.82 c 775s|980000 |280494 | 16634k| 17.0 | 230M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |1387 | 21k| 1.465600e+04 | 1.536000e+04 | 4.80%
780.40/780.49 c 780s|990000 |281438 | 16746k| 16.9 | 232M| 44 | - | 163 | 164 | 163 | 163 | 0 |1389 | 21k| 1.466027e+04 | 1.536000e+04 | 4.77%
786.00/786.04 c 786s| 1000k|282434 | 16854k| 16.9 | 233M| 44 | 12 | 163 | 163 | 163 | 163 | 0 |1389 | 21k| 1.466880e+04 | 1.536000e+04 | 4.71%
791.51/791.58 c 792s| 1010k|283316 | 16961k| 16.8 | 234M| 44 | - | 163 | 163 | 163 | 163 | 0 |1389 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
797.11/797.12 c 797s| 1020k|284160 | 17072k| 16.7 | 235M| 44 | - | 163 | 164 | 163 | 163 | 0 |1394 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
802.71/802.70 c 803s| 1030k|285000 | 17178k| 16.7 | 236M| 44 | - | 163 | 163 | 163 | 163 | 0 |1395 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
808.11/808.19 c 808s| 1040k|285832 | 17283k| 16.6 | 238M| 44 | - | 163 | 166 | 163 | 163 | 0 |1398 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
813.71/813.78 c 814s| 1050k|286720 | 17389k| 16.6 | 239M| 44 | 14 | 163 | 164 | 163 | 163 | 0 |1401 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
819.21/819.25 c 819s| 1060k|287534 | 17495k| 16.5 | 240M| 44 | - | 163 | 163 | 163 | 163 | 0 |1401 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
824.81/824.89 c 825s| 1070k|288522 | 17603k| 16.5 | 241M| 44 | 18 | 163 | 165 | 163 | 163 | 0 |1404 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
830.31/830.38 c 830s| 1080k|289458 | 17709k| 16.4 | 242M| 44 | - | 163 | 165 | 163 | 163 | 0 |1406 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
835.71/835.76 c 836s| 1090k|290210 | 17813k| 16.3 | 243M| 44 | - | 163 | 163 | 163 | 163 | 0 |1406 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
841.10/841.14 c 841s| 1100k|291070 | 17921k| 16.3 | 245M| 44 | 11 | 163 | 163 | 163 | 163 | 0 |1410 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
846.80/846.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
846.80/846.84 c 847s| 1110k|292026 | 18030k| 16.2 | 246M| 44 | 12 | 163 | 169 | 163 | 163 | 0 |1421 | 22k| 1.467733e+04 | 1.536000e+04 | 4.65%
852.11/852.14 c 852s| 1120k|292836 | 18133k| 16.2 | 247M| 44 | - | 163 | 166 | 163 | 163 | 0 |1424 | 23k| 1.467733e+04 | 1.536000e+04 | 4.65%
857.40/857.41 c 857s| 1130k|293452 | 18236k| 16.1 | 248M| 44 | 21 | 163 | 163 | 163 | 163 | 0 |1425 | 23k| 1.469440e+04 | 1.536000e+04 | 4.53%
862.71/862.76 c 863s| 1140k|294188 | 18339k| 16.1 | 249M| 44 | 11 | 163 | 165 | 163 | 163 | 0 |1427 | 23k| 1.469440e+04 | 1.536000e+04 | 4.53%
868.01/868.08 c 868s| 1150k|294822 | 18443k| 16.0 | 250M| 44 | 23 | 163 | 163 | 163 | 163 | 0 |1430 | 23k| 1.469867e+04 | 1.536000e+04 | 4.50%
873.21/873.28 c 873s| 1160k|295414 | 18543k| 16.0 | 251M| 44 | 17 | 163 | 163 | 163 | 163 | 0 |1430 | 23k| 1.470171e+04 | 1.536000e+04 | 4.48%
878.60/878.66 c 879s| 1170k|296106 | 18647k| 15.9 | 252M| 44 | 21 | 163 | 163 | 163 | 163 | 0 |1442 | 23k| 1.470836e+04 | 1.536000e+04 | 4.43%
884.10/884.14 c 884s| 1180k|296804 | 18754k| 15.9 | 253M| 44 | 20 | 163 | 163 | 163 | 163 | 0 |1444 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
889.61/889.67 c 890s| 1190k|297612 | 18862k| 15.9 | 254M| 44 | - | 163 | 163 | 163 | 163 | 0 |1444 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
895.21/895.24 c 895s| 1200k|298550 | 18976k| 15.8 | 256M| 44 | - | 163 | 167 | 163 | 163 | 0 |1448 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
900.61/900.64 c 901s| 1210k|299216 | 19081k| 15.8 | 257M| 44 | - | 163 | 163 | 163 | 163 | 0 |1451 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
906.20/906.20 c 906s| 1220k|300044 | 19187k| 15.7 | 258M| 44 | 16 | 163 | 164 | 163 | 163 | 0 |1453 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
911.31/911.38 c 911s| 1230k|300688 | 19286k| 15.7 | 259M| 44 | - | 163 | 163 | 163 | 163 | 0 |1453 | 23k| 1.472000e+04 | 1.536000e+04 | 4.35%
916.81/916.81 c 917s| 1240k|301640 | 19396k| 15.6 | 260M| 44 | - | 163 | 167 | 163 | 163 | 0 |1459 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
922.41/922.49 c 922s| 1250k|302706 | 19508k| 15.6 | 261M| 44 | 21 | 163 | 168 | 163 | 163 | 0 |1466 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
927.81/927.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.81/927.87 c 928s| 1260k|303632 | 19612k| 15.6 | 263M| 44 | 17 | 163 | 166 | 163 | 163 | 0 |1469 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
933.21/933.27 c 933s| 1270k|304380 | 19719k| 15.5 | 264M| 44 | 11 | 163 | 164 | 163 | 163 | 0 |1470 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
938.61/938.62 c 939s| 1280k|304990 | 19821k| 15.5 | 265M| 44 | - | 163 | 164 | 163 | 163 | 0 |1471 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
943.83/943.88 c 944s| 1290k|305610 | 19925k| 15.4 | 266M| 44 | 16 | 163 | 166 | 163 | 163 | 0 |1476 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
949.22/949.23 c 949s| 1300k|306260 | 20027k| 15.4 | 267M| 44 | - | 163 | 164 | 163 | 163 | 0 |1476 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
954.51/954.51 c 955s| 1310k|306862 | 20128k| 15.4 | 268M| 44 | - | 163 | 165 | 163 | 163 | 0 |1480 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
960.01/960.01 c 960s| 1320k|307620 | 20233k| 15.3 | 269M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |1482 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
965.41/965.44 c 965s| 1330k|308280 | 20337k| 15.3 | 270M| 44 | - | 163 | 163 | 163 | 163 | 0 |1483 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
970.91/970.95 c 971s| 1340k|309152 | 20446k| 15.3 | 271M| 44 | 13 | 163 | 167 | 163 | 163 | 0 |1487 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
976.41/976.48 c 976s| 1350k|309806 | 20552k| 15.2 | 272M| 44 | - | 163 | 165 | 163 | 163 | 0 |1487 | 24k| 1.472000e+04 | 1.536000e+04 | 4.35%
982.01/982.00 c 982s| 1360k|310530 | 20660k| 15.2 | 273M| 44 | 21 | 163 | 165 | 163 | 163 | 0 |1489 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
987.51/987.55 c 988s| 1370k|311326 | 20769k| 15.2 | 274M| 44 | 34 | 163 | 165 | 163 | 163 | 0 |1490 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
992.81/992.89 c 993s| 1380k|311942 | 20873k| 15.1 | 275M| 44 | 16 | 163 | 165 | 163 | 163 | 0 |1492 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
998.31/998.37 c 998s| 1390k|312844 | 20980k| 15.1 | 276M| 44 | - | 163 | 165 | 163 | 163 | 0 |1500 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1004.11/1004.13 c 1004s| 1400k|313898 | 21093k| 15.1 | 278M| 44 | 20 | 163 | 169 | 163 | 163 | 0 |1512 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1009.31/1009.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1009.31/1009.39 c 1009s| 1410k|314656 | 21199k| 15.0 | 279M| 44 | 19 | 163 | 164 | 163 | 163 | 0 |1517 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1014.61/1014.68 c 1015s| 1420k|315304 | 21303k| 15.0 | 280M| 44 | - | 163 | 163 | 163 | 163 | 0 |1517 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1020.01/1020.08 c 1020s| 1430k|315968 | 21406k| 15.0 | 281M| 44 | - | 163 | 164 | 163 | 163 | 0 |1523 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1025.31/1025.38 c 1025s| 1440k|316636 | 21508k| 14.9 | 282M| 44 | - | 163 | 165 | 163 | 163 | 0 |1527 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1030.91/1030.99 c 1031s| 1450k|317402 | 21617k| 14.9 | 283M| 44 | - | 163 | 164 | 163 | 163 | 0 |1533 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1036.41/1036.49 c 1036s| 1460k|318260 | 21723k| 14.9 | 284M| 44 | 11 | 163 | 165 | 163 | 163 | 0 |1537 | 25k| 1.472000e+04 | 1.536000e+04 | 4.35%
1042.21/1042.24 c 1042s| 1470k|319202 | 21837k| 14.9 | 285M| 44 | 24 | 163 | 163 | 163 | 163 | 0 |1542 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1047.61/1047.68 c 1048s| 1480k|319962 | 21944k| 14.8 | 286M| 44 | 22 | 163 | 169 | 163 | 163 | 0 |1550 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1053.51/1053.52 c 1054s| 1490k|320972 | 22059k| 14.8 | 287M| 44 | 11 | 163 | 167 | 163 | 163 | 0 |1561 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1058.92/1058.93 c 1059s| 1500k|321496 | 22160k| 14.8 | 288M| 44 | - | 163 | 165 | 163 | 163 | 0 |1564 | 26k| 1.472000e+04 | 1.536000e+04 | 4.35%
1064.02/1064.07 c 1064s| 1510k|321938 | 22258k| 14.7 | 289M| 44 | 12 | 163 | 164 | 163 | 163 | 0 |1565 | 26k| 1.473422e+04 | 1.536000e+04 | 4.25%
1068.92/1068.99 c 1069s| 1520k|322296 | 22351k| 14.7 | 290M| 44 | 17 | 163 | 165 | 163 | 163 | 0 |1566 | 26k| 1.474133e+04 | 1.536000e+04 | 4.20%
1074.01/1074.08 c 1074s| 1530k|322488 | 22447k| 14.7 | 291M| 44 | 19 | 163 | 163 | 163 | 163 | 0 |1566 | 26k| 1.474560e+04 | 1.536000e+04 | 4.17%
1079.02/1079.06 c 1079s| 1540k|322678 | 22542k| 14.6 | 291M| 44 | - | 163 | 163 | 163 | 163 | 0 |1568 | 26k| 1.474560e+04 | 1.536000e+04 | 4.17%
1084.31/1084.30 c 1084s| 1550k|323006 | 22638k| 14.6 | 292M| 44 | 6 | 163 | 167 | 163 | 163 | 0 |1576 | 26k| 1.474560e+04 | 1.536000e+04 | 4.17%
1089.51/1089.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.51/1089.58 c 1090s| 1560k|323288 | 22733k| 14.6 | 293M| 44 | 23 | 163 | 163 | 163 | 163 | 0 |1576 | 26k| 1.475200e+04 | 1.536000e+04 | 4.12%
1094.53/1094.58 c 1095s| 1570k|323424 | 22826k| 14.5 | 293M| 44 | - | 163 | 166 | 163 | 163 | 0 |1580 | 26k| 1.476267e+04 | 1.536000e+04 | 4.05%
1099.71/1099.76 c 1100s| 1580k|323696 | 22925k| 14.5 | 294M| 44 | 13 | 163 | 165 | 163 | 163 | 0 |1583 | 26k| 1.476267e+04 | 1.536000e+04 | 4.05%
1104.81/1104.88 c 1105s| 1590k|323824 | 23021k| 14.5 | 295M| 44 | 21 | 163 | 167 | 163 | 163 | 0 |1586 | 26k| 1.476267e+04 | 1.536000e+04 | 4.05%
1110.01/1110.06 c 1110s| 1600k|324038 | 23112k| 14.4 | 295M| 44 | - | 163 | 167 | 163 | 163 | 0 |1586 | 26k| 1.476267e+04 | 1.536000e+04 | 4.05%
1115.12/1115.15 c 1115s| 1610k|324068 | 23206k| 14.4 | 296M| 44 | 22 | 163 | 163 | 163 | 163 | 0 |1588 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1120.02/1120.09 c 1120s| 1620k|324158 | 23296k| 14.4 | 296M| 44 | - | 163 | 164 | 163 | 163 | 0 |1589 | 27k| 1.476267e+04 | 1.536000e+04 | 4.05%
1125.12/1125.18 c 1125s| 1630k|324444 | 23392k| 14.4 | 297M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |1590 | 27k| 1.476800e+04 | 1.536000e+04 | 4.01%
1130.01/1130.03 c 1130s| 1640k|324468 | 23480k| 14.3 | 298M| 44 | - | 163 | 163 | 163 | 163 | 0 |1594 | 27k| 1.477486e+04 | 1.536000e+04 | 3.96%
1135.12/1135.12 c 1135s| 1650k|324808 | 23579k| 14.3 | 298M| 44 | - | 163 | 163 | 163 | 163 | 0 |1595 | 27k| 1.477486e+04 | 1.536000e+04 | 3.96%
1140.21/1140.23 c 1140s| 1660k|325040 | 23678k| 14.3 | 299M| 44 | 15 | 163 | 164 | 163 | 163 | 0 |1601 | 27k| 1.478400e+04 | 1.536000e+04 | 3.90%
1145.32/1145.31 c 1145s| 1670k|325170 | 23773k| 14.2 | 300M| 44 | - | 163 | 165 | 163 | 163 | 0 |1607 | 27k| 1.478400e+04 | 1.536000e+04 | 3.90%
1150.31/1150.36 c 1150s| 1680k|325314 | 23866k| 14.2 | 300M| 44 | 15 | 163 | 163 | 163 | 163 | 0 |1607 | 27k| 1.478400e+04 | 1.536000e+04 | 3.90%
1155.41/1155.40 c 1155s| 1690k|325362 | 23957k| 14.2 | 301M| 44 | - | 163 | 163 | 163 | 163 | 0 |1607 | 27k| 1.478400e+04 | 1.536000e+04 | 3.90%
1160.32/1160.40 c 1160s| 1700k|325398 | 24051k| 14.1 | 301M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |1608 | 27k| 1.479111e+04 | 1.536000e+04 | 3.85%
1165.32/1165.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1165.32/1165.38 c 1165s| 1710k|325494 | 24145k| 14.1 | 302M| 44 | - | 163 | 163 | 163 | 163 | 0 |1608 | 27k| 1.479680e+04 | 1.536000e+04 | 3.81%
1170.33/1170.41 c 1170s| 1720k|325722 | 24241k| 14.1 | 303M| 44 | 16 | 163 | 163 | 163 | 163 | 0 |1610 | 27k| 1.479680e+04 | 1.536000e+04 | 3.81%
1175.61/1175.64 c 1176s| 1730k|325944 | 24338k| 14.1 | 303M| 44 | 10 | 163 | 163 | 163 | 163 | 0 |1612 | 28k| 1.480533e+04 | 1.536000e+04 | 3.75%
1180.71/1180.73 c 1181s| 1740k|325962 | 24433k| 14.0 | 304M| 44 | 27 | 163 | 163 | 163 | 163 | 0 |1613 | 28k| 1.480862e+04 | 1.536000e+04 | 3.72%
1185.52/1185.59 c 1186s| 1750k|325764 | 24521k| 14.0 | 304M| 44 | 16 | 163 | 163 | 163 | 163 | 0 |1618 | 28k| 1.481600e+04 | 1.536000e+04 | 3.67%
1190.51/1190.50 c 1190s| 1760k|325768 | 24611k| 14.0 | 305M| 44 | - | 163 | 164 | 163 | 163 | 0 |1619 | 28k| 1.483337e+04 | 1.536000e+04 | 3.55%
1195.81/1195.85 c 1196s| 1770k|326254 | 24713k| 14.0 | 306M| 44 | - | 163 | 166 | 163 | 163 | 0 |1621 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1201.31/1201.30 c 1201s| 1780k|326792 | 24822k| 13.9 | 306M| 44 | - | 163 | 165 | 163 | 163 | 0 |1628 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1206.52/1206.58 c 1207s| 1790k|327062 | 24928k| 13.9 | 307M| 44 | 16 | 163 | 165 | 163 | 163 | 0 |1635 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1211.61/1211.61 c 1212s| 1800k|327256 | 25025k| 13.9 | 307M| 44 | 23 | 163 | 164 | 163 | 163 | 0 |1635 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1216.92/1216.94 c 1217s| 1810k|327622 | 25136k| 13.9 | 308M| 44 | 15 | 163 | 163 | 163 | 163 | 0 |1636 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1222.13/1222.15 c 1222s| 1820k|328074 | 25239k| 13.9 | 309M| 44 | - | 163 | 163 | 163 | 163 | 0 |1641 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1227.21/1227.25 c 1227s| 1830k|328300 | 25334k| 13.8 | 309M| 44 | - | 163 | 168 | 163 | 163 | 0 |1648 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1232.32/1232.35 c 1232s| 1840k|328466 | 25436k| 13.8 | 310M| 44 | 14 | 163 | 163 | 163 | 163 | 0 |1648 | 28k| 1.484800e+04 | 1.536000e+04 | 3.45%
1238.02/1238.05 c 1238s| 1850k|329460 | 25554k| 13.8 | 311M| 44 | 6 | 163 | 163 | 163 | 163 | 0 |1652 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1243.12/1243.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1243.12/1243.16 c 1243s| 1860k|329738 | 25651k| 13.8 | 312M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |1652 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1248.22/1248.22 c 1248s| 1870k|330060 | 25750k| 13.8 | 312M| 44 | 13 | 163 | 164 | 163 | 163 | 0 |1654 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1253.52/1253.55 c 1254s| 1880k|330428 | 25852k| 13.8 | 313M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |1662 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1258.72/1258.70 c 1259s| 1890k|330674 | 25954k| 13.7 | 314M| 44 | - | 163 | 163 | 163 | 163 | 0 |1663 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1263.71/1263.71 c 1264s| 1900k|330930 | 26052k| 13.7 | 314M| 44 | - | 163 | 163 | 163 | 163 | 0 |1666 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1268.72/1268.76 c 1269s| 1910k|331404 | 26151k| 13.7 | 315M| 44 | 15 | 163 | 163 | 163 | 163 | 0 |1667 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1273.83/1273.84 c 1274s| 1920k|331472 | 26245k| 13.7 | 316M| 44 | - | 163 | 163 | 163 | 163 | 0 |1669 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1278.92/1278.92 c 1279s| 1930k|331712 | 26345k| 13.7 | 316M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |1674 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1283.91/1283.92 c 1284s| 1940k|331916 | 26441k| 13.6 | 317M| 44 | - | 163 | 166 | 163 | 163 | 0 |1677 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1289.02/1289.00 c 1289s| 1950k|332054 | 26541k| 13.6 | 317M| 44 | - | 163 | 164 | 163 | 163 | 0 |1680 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1294.32/1294.32 c 1294s| 1960k|332534 | 26643k| 13.6 | 318M| 44 | - | 163 | 166 | 163 | 163 | 0 |1686 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1299.32/1299.34 c 1299s| 1970k|332700 | 26737k| 13.6 | 319M| 44 | - | 163 | 166 | 163 | 163 | 0 |1689 | 29k| 1.484800e+04 | 1.536000e+04 | 3.45%
1304.32/1304.32 c 1304s| 1980k|332788 | 26831k| 13.6 | 319M| 44 | - | 163 | 165 | 163 | 163 | 0 |1692 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1309.52/1309.59 c 1310s| 1990k|333304 | 26934k| 13.5 | 320M| 44 | 15 | 163 | 166 | 163 | 163 | 0 |1697 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1314.72/1314.70 c 1315s| 2000k|333716 | 27036k| 13.5 | 320M| 44 | 10 | 163 | 166 | 163 | 163 | 0 |1701 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1320.21/1320.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.21/1320.25 c 1320s| 2010k|334648 | 27149k| 13.5 | 322M| 44 | 19 | 163 | 164 | 163 | 163 | 0 |1703 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1325.43/1325.48 c 1325s| 2020k|335406 | 27256k| 13.5 | 322M| 44 | 7 | 163 | 163 | 163 | 163 | 0 |1706 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1330.52/1330.50 c 1330s| 2030k|335672 | 27356k| 13.5 | 323M| 44 | - | 163 | 168 | 163 | 163 | 0 |1712 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1335.44/1335.43 c 1335s| 2040k|335862 | 27450k| 13.5 | 324M| 44 | - | 163 | 164 | 163 | 163 | 0 |1713 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1340.32/1340.35 c 1340s| 2050k|336168 | 27548k| 13.4 | 324M| 44 | - | 163 | 163 | 163 | 163 | 0 |1715 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1345.23/1345.31 c 1345s| 2060k|336410 | 27643k| 13.4 | 325M| 44 | - | 163 | 163 | 163 | 163 | 0 |1715 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1350.32/1350.30 c 1350s| 2070k|336526 | 27739k| 13.4 | 325M| 44 | 13 | 163 | 163 | 163 | 163 | 0 |1718 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1355.32/1355.32 c 1355s| 2080k|336600 | 27834k| 13.4 | 326M| 44 | 14 | 163 | 165 | 163 | 163 | 0 |1722 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1360.73/1360.77 c 1361s| 2090k|337216 | 27943k| 13.4 | 327M| 44 | 11 | 163 | 166 | 163 | 163 | 0 |1726 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1366.02/1366.10 c 1366s| 2100k|337702 | 28047k| 13.4 | 327M| 44 | - | 163 | 166 | 163 | 163 | 0 |1731 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1371.22/1371.26 c 1371s| 2110k|338160 | 28147k| 13.3 | 328M| 44 | - | 163 | 165 | 163 | 163 | 0 |1733 | 30k| 1.484800e+04 | 1.536000e+04 | 3.45%
1376.22/1376.23 c 1376s| 2120k|338442 | 28243k| 13.3 | 329M| 44 | - | 163 | 168 | 163 | 163 | 0 |1742 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1381.32/1381.31 c 1381s| 2130k|338798 | 28341k| 13.3 | 329M| 44 | - | 163 | 166 | 163 | 163 | 0 |1744 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1386.42/1386.41 c 1386s| 2140k|339120 | 28440k| 13.3 | 330M| 44 | - | 163 | 163 | 163 | 163 | 0 |1744 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1391.62/1391.61 c 1392s| 2150k|339356 | 28541k| 13.3 | 331M| 44 | - | 163 | 163 | 163 | 163 | 0 |1746 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1396.72/1396.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1396.72/1396.77 c 1397s| 2160k|339664 | 28646k| 13.3 | 331M| 44 | - | 163 | 167 | 163 | 163 | 0 |1757 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1402.22/1402.20 c 1402s| 2170k|340170 | 28757k| 13.3 | 332M| 44 | - | 163 | 168 | 163 | 163 | 0 |1762 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1407.52/1407.55 c 1408s| 2180k|341022 | 28868k| 13.2 | 333M| 44 | - | 163 | 167 | 163 | 163 | 0 |1767 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1412.82/1412.87 c 1413s| 2190k|341798 | 28975k| 13.2 | 334M| 44 | - | 163 | 164 | 163 | 163 | 0 |1768 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1418.22/1418.22 c 1418s| 2200k|342678 | 29083k| 13.2 | 335M| 44 | - | 163 | 166 | 163 | 163 | 0 |1771 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1423.44/1423.42 c 1423s| 2210k|343422 | 29190k| 13.2 | 336M| 44 | 16 | 163 | 166 | 163 | 163 | 0 |1774 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1428.52/1428.53 c 1429s| 2220k|343958 | 29293k| 13.2 | 337M| 44 | 13 | 163 | 164 | 163 | 163 | 0 |1775 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1433.82/1433.85 c 1434s| 2230k|344774 | 29402k| 13.2 | 338M| 44 | - | 163 | 163 | 163 | 163 | 0 |1778 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1439.02/1439.05 c 1439s| 2240k|345624 | 29511k| 13.2 | 339M| 44 | 13 | 163 | 166 | 163 | 163 | 0 |1784 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1444.12/1444.14 c 1444s| 2250k|345884 | 29610k| 13.2 | 339M| 44 | 23 | 163 | 164 | 163 | 163 | 0 |1790 | 31k| 1.484800e+04 | 1.536000e+04 | 3.45%
1449.43/1449.47 c 1449s| 2260k|346280 | 29714k| 13.1 | 340M| 44 | 17 | 163 | 170 | 163 | 163 | 0 |1803 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1454.52/1454.52 c 1455s| 2270k|346620 | 29812k| 13.1 | 341M| 44 | - | 163 | 166 | 163 | 163 | 0 |1804 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1460.02/1460.02 c 1460s| 2280k|347326 | 29925k| 13.1 | 342M| 44 | - | 163 | 167 | 163 | 163 | 0 |1809 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1465.32/1465.31 c 1465s| 2290k|348094 | 30029k| 13.1 | 342M| 44 | 10 | 163 | 166 | 163 | 163 | 0 |1814 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1470.42/1470.48 c 1470s| 2300k|348454 | 30129k| 13.1 | 343M| 44 | - | 163 | 163 | 163 | 163 | 0 |1815 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1475.93/1475.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1475.93/1475.93 c 1476s| 2310k|349352 | 30237k| 13.1 | 344M| 44 | - | 163 | 166 | 163 | 163 | 0 |1821 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1481.12/1481.19 c 1481s| 2320k|350256 | 30346k| 13.1 | 345M| 44 | - | 163 | 165 | 163 | 163 | 0 |1825 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1486.83/1486.83 c 1487s| 2330k|351412 | 30460k| 13.1 | 346M| 44 | - | 163 | 163 | 163 | 163 | 0 |1832 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1492.12/1492.13 c 1492s| 2340k|352026 | 30567k| 13.1 | 347M| 44 | 17 | 163 | 165 | 163 | 163 | 0 |1837 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1497.52/1497.53 c 1498s| 2350k|352526 | 30677k| 13.1 | 348M| 44 | - | 163 | 169 | 163 | 163 | 0 |1843 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1502.83/1502.83 c 1503s| 2360k|353278 | 30784k| 13.0 | 349M| 44 | 11 | 163 | 167 | 163 | 163 | 0 |1848 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1508.03/1508.03 c 1508s| 2370k|353754 | 30889k| 13.0 | 350M| 44 | 17 | 163 | 166 | 163 | 163 | 0 |1855 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1514.02/1514.09 c 1514s| 2380k|355086 | 31022k| 13.0 | 351M| 44 | 9 | 163 | 174 | 163 | 163 | 0 |1867 | 32k| 1.484800e+04 | 1.536000e+04 | 3.45%
1519.92/1519.90 c 1520s| 2390k|356324 | 31138k| 13.0 | 352M| 44 | - | 163 | 172 | 163 | 163 | 0 |1873 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1525.23/1525.24 c 1525s| 2400k|356898 | 31249k| 13.0 | 353M| 44 | 15 | 163 | 166 | 163 | 163 | 0 |1875 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1530.62/1530.60 c 1531s| 2410k|357558 | 31361k| 13.0 | 354M| 44 | - | 163 | 165 | 163 | 163 | 0 |1876 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1536.12/1536.13 c 1536s| 2420k|358170 | 31473k| 13.0 | 355M| 44 | - | 163 | 166 | 163 | 163 | 0 |1880 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1541.22/1541.24 c 1541s| 2430k|358536 | 31574k| 13.0 | 355M| 44 | - | 163 | 166 | 163 | 163 | 0 |1884 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1546.64/1546.69 c 1547s| 2440k|359364 | 31688k| 13.0 | 356M| 44 | - | 163 | 165 | 163 | 163 | 0 |1886 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1551.92/1551.90 c 1552s| 2450k|359736 | 31796k| 13.0 | 357M| 44 | 15 | 163 | 169 | 163 | 163 | 0 |1891 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1557.13/1557.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1557.13/1557.16 c 1557s| 2460k|360056 | 31903k| 13.0 | 358M| 44 | 16 | 163 | 170 | 163 | 163 | 0 |1893 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1562.43/1562.42 c 1562s| 2470k|360708 | 32009k| 13.0 | 358M| 44 | 17 | 163 | 165 | 163 | 163 | 0 |1899 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1567.32/1567.33 c 1567s| 2480k|360770 | 32102k| 12.9 | 359M| 44 | - | 163 | 163 | 163 | 163 | 0 |1900 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1572.52/1572.59 c 1573s| 2490k|361298 | 32210k| 12.9 | 359M| 44 | 8 | 163 | 164 | 163 | 163 | 0 |1902 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1578.03/1578.09 c 1578s| 2500k|362072 | 32326k| 12.9 | 360M| 44 | 16 | 163 | 167 | 163 | 163 | 0 |1909 | 33k| 1.484800e+04 | 1.536000e+04 | 3.45%
1583.52/1583.56 c 1584s| 2510k|362896 | 32438k| 12.9 | 361M| 44 | - | 163 | 167 | 163 | 163 | 0 |1911 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1588.63/1588.60 c 1589s| 2520k|362854 | 32536k| 12.9 | 362M| 44 | 14 | 163 | 165 | 163 | 163 | 0 |1913 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1593.62/1593.63 c 1594s| 2530k|362890 | 32632k| 12.9 | 362M| 44 | - | 163 | 163 | 163 | 163 | 0 |1915 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1598.73/1598.70 c 1599s| 2540k|362884 | 32729k| 12.9 | 362M| 44 | 15 | 163 | 168 | 163 | 163 | 0 |1920 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1603.92/1603.98 c 1604s| 2550k|363428 | 32836k| 12.9 | 363M| 44 | 23 | 163 | 164 | 163 | 163 | 0 |1921 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1608.92/1608.95 c 1609s| 2560k|363378 | 32931k| 12.9 | 363M| 44 | - | 163 | 164 | 163 | 163 | 0 |1925 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1613.92/1613.95 c 1614s| 2570k|363460 | 33027k| 12.9 | 364M| 44 | - | 163 | 163 | 163 | 163 | 0 |1925 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1618.92/1618.91 c 1619s| 2580k|363464 | 33123k| 12.8 | 364M| 44 | 17 | 163 | 165 | 163 | 163 | 0 |1927 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1623.92/1623.91 c 1624s| 2590k|363610 | 33222k| 12.8 | 365M| 44 | - | 163 | 165 | 163 | 163 | 0 |1930 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1629.14/1629.14 c 1629s| 2600k|363674 | 33331k| 12.8 | 365M| 44 | - | 163 | 164 | 163 | 163 | 0 |1931 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1634.23/1634.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.23/1634.23 c 1634s| 2610k|364022 | 33431k| 12.8 | 366M| 44 | 16 | 163 | 164 | 163 | 163 | 0 |1931 | 34k| 1.484800e+04 | 1.536000e+04 | 3.45%
1639.33/1639.31 c 1639s| 2620k|364310 | 33531k| 12.8 | 366M| 44 | 18 | 163 | 164 | 163 | 163 | 0 |1933 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1644.43/1644.45 c 1644s| 2630k|364554 | 33634k| 12.8 | 367M| 44 | - | 163 | 164 | 163 | 163 | 0 |1934 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1649.72/1649.75 c 1650s| 2640k|365042 | 33740k| 12.8 | 367M| 44 | 16 | 163 | 166 | 163 | 163 | 0 |1937 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1654.44/1654.46 c 1654s| 2650k|364776 | 33830k| 12.8 | 368M| 44 | 15 | 163 | 164 | 163 | 163 | 0 |1939 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1659.63/1659.60 c 1660s| 2660k|365198 | 33937k| 12.8 | 368M| 44 | 11 | 163 | 166 | 163 | 163 | 0 |1943 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1664.73/1664.75 c 1665s| 2670k|365438 | 34040k| 12.7 | 369M| 44 | - | 163 | 164 | 163 | 163 | 0 |1945 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1669.53/1669.56 c 1670s| 2680k|365560 | 34136k| 12.7 | 369M| 44 | - | 163 | 164 | 163 | 163 | 0 |1946 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1674.72/1674.74 c 1675s| 2690k|365822 | 34240k| 12.7 | 370M| 44 | - | 163 | 167 | 163 | 163 | 0 |1951 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1679.83/1679.80 c 1680s| 2700k|365920 | 34337k| 12.7 | 370M| 44 | - | 163 | 164 | 163 | 163 | 0 |1951 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1684.72/1684.74 c 1685s| 2710k|365814 | 34434k| 12.7 | 371M| 44 | 14 | 163 | 165 | 163 | 163 | 0 |1954 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1689.82/1689.87 c 1690s| 2720k|366248 | 34541k| 12.7 | 371M| 44 | 12 | 163 | 165 | 163 | 163 | 0 |1957 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1695.15/1695.17 c 1695s| 2730k|366904 | 34649k| 12.7 | 372M| 44 | 10 | 163 | 167 | 163 | 163 | 0 |1962 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1700.54/1700.58 c 1701s| 2740k|367428 | 34757k| 12.7 | 373M| 44 | - | 163 | 169 | 163 | 163 | 0 |1966 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1705.73/1705.73 c 1706s| 2750k|367758 | 34860k| 12.7 | 373M| 44 | 12 | 163 | 169 | 163 | 163 | 0 |1973 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1710.63/1710.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1710.63/1710.67 c 1711s| 2760k|367794 | 34957k| 12.7 | 374M| 44 | - | 163 | 164 | 163 | 163 | 0 |1976 | 35k| 1.484800e+04 | 1.536000e+04 | 3.45%
1715.83/1715.82 c 1716s| 2770k|367990 | 35059k| 12.7 | 374M| 44 | - | 163 | 164 | 163 | 163 | 0 |1979 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1720.53/1720.55 c 1721s| 2780k|367724 | 35149k| 12.6 | 374M| 44 | - | 163 | 164 | 163 | 163 | 0 |1981 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1725.42/1725.50 c 1725s| 2790k|367774 | 35249k| 12.6 | 375M| 44 | - | 163 | 163 | 163 | 163 | 0 |1981 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1730.83/1730.86 c 1731s| 2800k|368278 | 35354k| 12.6 | 375M| 44 | - | 163 | 163 | 163 | 163 | 0 |1984 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1735.85/1735.87 c 1736s| 2810k|368666 | 35455k| 12.6 | 376M| 44 | 14 | 163 | 164 | 163 | 163 | 0 |1991 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1740.73/1740.78 c 1741s| 2820k|368686 | 35550k| 12.6 | 376M| 44 | - | 163 | 163 | 163 | 163 | 0 |1992 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1746.03/1746.01 c 1746s| 2830k|368986 | 35654k| 12.6 | 377M| 44 | - | 163 | 164 | 163 | 163 | 0 |1997 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1751.73/1751.76 c 1752s| 2840k|370234 | 35775k| 12.6 | 378M| 44 | 13 | 163 | 164 | 163 | 163 | 0 |1997 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1757.43/1757.47 c 1757s| 2850k|371084 | 35898k| 12.6 | 379M| 44 | - | 163 | 171 | 163 | 163 | 0 |2009 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1762.33/1762.36 c 1762s| 2860k|371108 | 35993k| 12.6 | 379M| 44 | 16 | 163 | 164 | 163 | 163 | 0 |2009 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1767.33/1767.36 c 1767s| 2870k|371198 | 36093k| 12.6 | 380M| 44 | 22 | 163 | 164 | 163 | 163 | 0 |2010 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1772.43/1772.43 c 1772s| 2880k|370994 | 36191k| 12.6 | 380M| 44 | - | 163 | 163 | 163 | 163 | 0 |2010 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1777.33/1777.31 c 1777s| 2890k|371202 | 36288k| 12.6 | 380M| 44 | - | 163 | 163 | 163 | 163 | 0 |2010 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1782.73/1782.73 c 1783s| 2900k|371982 | 36395k| 12.6 | 381M| 44 | - | 163 | 165 | 163 | 163 | 0 |2015 | 36k| 1.484800e+04 | 1.536000e+04 | 3.45%
1788.23/1788.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1788.23/1788.27 c 1788s| 2910k|372862 | 36507k| 12.5 | 382M| 44 | - | 163 | 164 | 163 | 163 | 0 |2021 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1793.73/1793.70 c 1794s| 2920k|373760 | 36614k| 12.5 | 383M| 44 | - | 163 | 164 | 163 | 163 | 0 |2022 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1799.13/1799.15 c 1799s| 2930k|374314 | 36726k| 12.5 | 384M| 44 | 18 | 163 | 163 | 163 | 163 | 0 |2031 | 37k| 1.484800e+04 | 1.536000e+04 | 3.45%
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 2931626
1800.03/1800.00 c Primal Bound : +1.53600000000000e+04 (353 solutions)
1800.03/1800.00 c Dual Bound : +1.48480000000000e+04
1800.03/1800.00 c Gap : 3.45 %
1800.03/1800.00 s SATISFIABLE
1800.03/1800.00 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1800.03/1800.00 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
1800.03/1800.00 v -x118 -x117 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96
1800.03/1800.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
1800.03/1800.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
1800.03/1800.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
1800.03/1800.00 v -x15 -x14 -x13 -x11 x10 -x9 -x8 x7 x6 -x5 -x4 -x3 x2 -x163 -x162 x161 -x116 -x45 -x34 -x23 -x12 x1
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Total Time : 1800.00
1800.03/1800.00 c solving : 1800.00
1800.03/1800.00 c presolving : 0.04 (included in solving)
1800.03/1800.00 c reading : 0.01 (included in solving)
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-3452666-1307075337.opb
1800.03/1800.00 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 73 initial, 73 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-3452666-1307075337.opb
1800.03/1800.00 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 163 initial, 256 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.02 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c knapsack : 0.01 0 0 0 0 0 10 100 100 200
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 0 0 0 0 0 0 0 10 10
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 1664366 0 359 0 1 12468 0 0 3307606
1800.03/1800.00 c knapsack : 63 1 4578865 0 2 356 497 1867 8959 0 0 0
1800.03/1800.00 c setppc : 100 1 4407538 0 2 355 529 0 0 0 0 0
1800.03/1800.00 c linear : 0+ 1 13099 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c logicor : 0+ 0 351693 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 2 355 0 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.00 c integral : 32.38 0.00 0.00 32.37 0.00 0.00 0.00
1800.03/1800.00 c knapsack : 216.10 0.03 216.06 0.00 0.00 0.01 0.00
1800.03/1800.00 c setppc : 5.33 0.00 5.33 0.00 0.00 0.00 0.00
1800.03/1800.00 c linear : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1800.03/1800.00 c logicor : 0.37 0.00 0.37 0.00 0.00 0.00 0.00
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.00 c vbounds : 0 0 0 0
1800.03/1800.00 c rootredcost : 2 0 0 0
1800.03/1800.00 c pseudoobj : 4579325 23763 207 0
1800.03/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.00 c vbounds : 1.03 1.03 0.00
1800.03/1800.00 c rootredcost : 1.13 1.13 0.00
1800.03/1800.00 c pseudoobj : 17.95 17.89 0.06
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 0.09 2074 2031 2174 35.0 0 0.0 -
1800.03/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 1025 26.9 - - -
1800.03/1800.00 c applied locally : - - - 1006 40.6 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.00 c redcost : 16.97 2341128 0 3578576 0 0
1800.03/1800.00 c impliedbounds : 0.00 2 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.00 2 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.00 2 0 0 0 0
1800.03/1800.00 c cmir : 0.00 2 0 0 0 0
1800.03/1800.00 c flowcover : 0.10 2 0 0 0 0
1800.03/1800.00 c clique : 0.00 1 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 1 0 0 0 0
1800.03/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.03 1 0 0 0 40
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 31.47 1664366 1 12468 0 0 3307606
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 0.00 2 0 0 0 0 4
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c feaspump : 0.05 0 0
1800.03/1800.00 c oneopt : 0.69 6 1
1800.03/1800.00 c crossover : 3.40 17 1
1800.03/1800.00 c objpscostdiving : 8.96 672 7
1800.03/1800.00 c rootsoldiving : 9.37 1427 2
1800.03/1800.00 c linesearchdiving : 22.77 7613 1
1800.03/1800.00 c pscostdiving : 49.60 7613 24
1800.03/1800.00 c guideddiving : 58.98 7613 0
1800.03/1800.00 c fracdiving : 49.93 7613 6
1800.03/1800.00 c veclendiving : 30.17 7613 4
1800.03/1800.00 c coefdiving : 43.34 7614 14
1800.03/1800.00 c trivial : 0.00 2 0
1800.03/1800.00 c shiftandpropagate: 0.01 1 1
1800.03/1800.00 c simplerounding : 4.57 1664367 5
1800.03/1800.00 c zirounding : 1.01 12801 256
1800.03/1800.00 c rounding : 2.24 62503 1
1800.03/1800.00 c shifting : 1.26 29531 29
1800.03/1800.00 c intshifting : 0.05 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c clique : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.28 1 1
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c vbounds : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c subnlp : 0.40 0 0
1800.03/1800.00 c trysol : 0.64 0 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 1051.85 2942188 31175190 10.60 29638.50
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 191.96 933089 5569150 5.97 29011.88
1800.03/1800.00 c strong branching : 18.19 37242 333902 8.97 18355.83
1800.03/1800.00 c (at root node) : - 10 594 59.40 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 2931626
1800.03/1800.00 c nodes (total) : 2931626
1800.03/1800.00 c nodes left : 374448
1800.03/1800.00 c max depth : 44
1800.03/1800.00 c max depth (total): 44
1800.03/1800.00 c backtracks : 596222 (20.3%)
1800.03/1800.00 c delayed cutoffs : 0
1800.03/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.03/1800.00 c avg switch length: 7.16
1800.03/1800.00 c switching time : 75.65
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 353 (7 improvements)
1800.03/1800.00 c First Solution : +2.04800000000000e+04 (in run 1, after 1 nodes, 0.05 seconds, depth 56, found by <shiftandpropagate>)
1800.03/1800.00 c Primal Bound : +1.53600000000000e+04 (in run 1, after 10194 nodes, 24.74 seconds, depth 27, found by <veclendiving>)
1800.03/1800.00 c Dual Bound : +1.48480000000000e+04
1800.03/1800.00 c Gap : 3.45 %
1800.03/1800.00 c Root Dual Bound : +1.33120000000000e+04
1800.03/1800.00 c Root Iterations : 89
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3452666-1307075337/watcher-3452666-1307075337 -o /tmp/evaluation-result-3452666-1307075337/solver-3452666-1307075337 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452666-1307075337.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.95 1.99 1.99 3/446 8468
/proc/meminfo: memFree=31260992/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=10116 CPUtime=0 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 1518 0 0 0 0 0 0 0 25 0 1 0 819132493 10358784 1472 33554432000 4194304 9128323 140735279995648 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8468/statm: 2529 1472 400 1205 0 1320 0
[startup+0.0528099 s]
/proc/loadavg: 1.95 1.99 1.99 3/446 8468
/proc/meminfo: memFree=31260992/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=17904 CPUtime=0.04 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 3582 0 0 0 4 0 0 0 25 0 1 0 819132493 18333696 3278 33554432000 4194304 9128323 140735279995648 18446744073709551615 4897569 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 4476 3280 584 1205 0 3267 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17904
[startup+0.100816 s]
/proc/loadavg: 1.95 1.99 1.99 3/446 8468
/proc/meminfo: memFree=31260992/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=19448 CPUtime=0.09 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 4107 0 0 0 9 0 0 0 25 0 1 0 819132493 19914752 3780 33554432000 4194304 9128323 140735279995648 18446744073709551615 6286036 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 4862 3780 671 1205 0 3653 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19448
[startup+0.300768 s]
/proc/loadavg: 1.95 1.99 1.99 3/446 8468
/proc/meminfo: memFree=31260992/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=34916 CPUtime=0.29 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 8073 0 0 0 28 1 0 0 25 0 1 0 819132493 35753984 7393 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 8729 7393 729 1205 0 7520 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34916
[startup+0.700583 s]
/proc/loadavg: 1.95 1.99 1.99 3/446 8468
/proc/meminfo: memFree=31260992/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=35204 CPUtime=0.68 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 8104 0 0 0 65 3 0 0 25 0 1 0 819132493 36048896 7424 33554432000 4194304 9128323 140735279995648 18446744073709551615 7357675 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 8801 7424 733 1205 0 7592 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 35204
[startup+1.50044 s]
/proc/loadavg: 1.95 1.99 1.99 3/447 8469
/proc/meminfo: memFree=31232836/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=35204 CPUtime=1.49 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 8104 0 0 0 143 6 0 0 25 0 1 0 819132493 36048896 7424 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 8801 7424 733 1205 0 7592 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35204
[startup+3.10023 s]
/proc/loadavg: 1.95 1.99 1.99 3/447 8469
/proc/meminfo: memFree=31230480/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=35976 CPUtime=3.09 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 8487 0 0 0 297 12 0 0 25 0 1 0 819132493 36839424 7806 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 8994 7806 733 1205 0 7785 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35976
[startup+6.30072 s]
/proc/loadavg: 1.95 1.99 1.99 3/447 8469
/proc/meminfo: memFree=31230580/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=35976 CPUtime=6.29 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 8491 0 0 0 608 21 0 0 25 0 1 0 819132493 36839424 7810 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 8994 7810 733 1205 0 7785 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35976
[startup+12.7006 s]
/proc/loadavg: 1.96 1.99 1.99 3/447 8469
/proc/meminfo: memFree=31230504/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=33424 CPUtime=12.68 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 9071 0 0 0 1233 35 0 0 25 0 1 0 819132493 34226176 7291 33554432000 4194304 9128323 140735279995648 18446744073709551615 6506601 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 8356 7291 733 1205 0 7147 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33424
[startup+25.5003 s]
/proc/loadavg: 1.96 1.99 1.99 3/447 8469
/proc/meminfo: memFree=31230108/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=33424 CPUtime=25.48 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 10556 0 0 0 2476 72 0 0 25 0 1 0 819132493 34226176 7307 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 8356 7307 733 1205 0 7147 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33424
[startup+51.1008 s]
/proc/loadavg: 1.97 1.99 1.99 3/447 8470
/proc/meminfo: memFree=31229636/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=34740 CPUtime=51.09 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 17006 0 0 0 4965 144 0 0 25 0 1 0 819132493 35573760 7578 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 8685 7578 734 1205 0 7476 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34740
[startup+102.317 s]
/proc/loadavg: 1.99 1.99 1.99 3/447 8471
/proc/meminfo: memFree=31209880/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=52732 CPUtime=102.31 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 31284 0 0 0 9942 289 0 0 25 0 1 0 819132493 53997568 12198 33554432000 4194304 9128323 140735279995648 18446744073709551615 4683772 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 13183 12198 734 1205 0 11974 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 52732
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/447 8473
/proc/meminfo: memFree=31186504/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=77492 CPUtime=162.29 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 39598 0 0 0 15785 444 0 0 25 0 1 0 819132493 79351808 18027 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 19373 18027 734 1205 0 18164 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 77492
[startup+222.301 s]
/proc/loadavg: 2.09 2.02 2.00 3/447 8474
/proc/meminfo: memFree=31162860/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=99796 CPUtime=222.29 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 47695 0 0 0 21623 606 0 0 25 0 1 0 819132493 102191104 23656 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 24949 23656 734 1205 0 23740 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 99796
[startup+282.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/447 8476
/proc/meminfo: memFree=31139480/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=121456 CPUtime=282.3 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 55660 0 0 0 27462 768 0 0 25 0 1 0 819132493 124370944 29197 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 30364 29197 734 1205 0 29155 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 121456
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/447 8478
/proc/meminfo: memFree=31119212/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=139768 CPUtime=342.3 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 60339 0 0 0 33308 922 0 0 25 0 1 0 819132493 143122432 33873 33554432000 4194304 9128323 140735279995648 18446744073709551615 5135370 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 34942 33873 734 1205 0 33733 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 139768
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 8479
/proc/meminfo: memFree=31096332/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=161684 CPUtime=402.3 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 65917 0 0 0 39144 1086 0 0 25 0 1 0 819132493 165564416 39446 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 40421 39446 734 1205 0 39212 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 161684
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 8481
/proc/meminfo: memFree=31074688/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=181388 CPUtime=462.29 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 72153 0 0 0 44984 1245 0 0 25 0 1 0 819132493 185741312 43413 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 45347 43413 734 1205 0 44138 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 181388
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 8482
/proc/meminfo: memFree=31052056/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=200872 CPUtime=522.29 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 77084 0 0 0 50830 1399 0 0 25 0 1 0 819132493 205692928 48344 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 50218 48344 734 1205 0 49009 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 200872
[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/447 8484
/proc/meminfo: memFree=31036000/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=214124 CPUtime=582.3 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 82956 0 0 0 56665 1565 0 0 25 0 1 0 819132493 219262976 51707 33554432000 4194304 9128323 140735279995648 18446744073709551615 5135102 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 53531 51707 734 1205 0 52322 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 214124
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 8517
/proc/meminfo: memFree=30937808/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=276184 CPUtime=822.31 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 101193 0 0 0 80036 2195 0 0 25 0 1 0 819132493 282812416 67468 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 69046 67468 734 1205 0 67837 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 276184
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8519
/proc/meminfo: memFree=30917564/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=285204 CPUtime=882.31 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 103485 0 0 0 85888 2343 0 0 25 0 1 0 819132493 292048896 69760 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 71301 69760 734 1205 0 70092 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 285204
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8575
/proc/meminfo: memFree=31136284/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=299084 CPUtime=942.31 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 106976 0 0 0 91731 2500 0 0 25 0 1 0 819132493 306262016 73251 33554432000 4194304 9128323 140735279995648 18446744073709551615 6521264 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 74771 73251 734 1205 0 73562 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 299084
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8576
/proc/meminfo: memFree=31120140/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=314196 CPUtime=1002.31 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 110780 0 0 0 97581 2650 0 0 25 0 1 0 819132493 321736704 77055 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 78549 77055 734 1205 0 77340 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 314196
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8578
/proc/meminfo: memFree=31110792/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=323284 CPUtime=1062.31 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 113082 0 0 0 103431 2800 0 0 25 0 1 0 819132493 331042816 79355 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 80821 79355 734 1205 0 79612 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 323284
[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/447 8579
/proc/meminfo: memFree=31104772/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=329496 CPUtime=1122.31 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 114637 0 0 0 109287 2944 0 0 25 0 1 0 819132493 337403904 80910 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 82374 80910 734 1205 0 81165 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 329496
[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/447 8581
/proc/meminfo: memFree=31095032/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=337560 CPUtime=1182.32 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 116661 0 0 0 115143 3089 0 0 25 0 1 0 819132493 345661440 82934 33554432000 4194304 9128323 140735279995648 18446744073709551615 6889317 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 84390 82934 734 1205 0 83181 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 337560
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 8583
/proc/meminfo: memFree=31086036/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=345292 CPUtime=1242.31 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 118629 0 0 0 120993 3238 0 0 25 0 1 0 819132493 353579008 84902 33554432000 4194304 9128323 140735279995648 18446744073709551615 5134050 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 86323 84902 735 1205 0 85114 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 345292
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/447 8584
/proc/meminfo: memFree=31063512/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=351748 CPUtime=1302.33 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 120256 0 0 0 126844 3389 0 0 25 0 1 0 819132493 360189952 86528 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 87937 86528 734 1205 0 86728 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 351748
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 8586
/proc/meminfo: memFree=31054528/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=359988 CPUtime=1362.32 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 122335 0 0 0 132694 3538 0 0 25 0 1 0 819132493 368627712 88607 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 89997 88607 734 1205 0 88788 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 359988
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 8587
/proc/meminfo: memFree=31044052/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=370676 CPUtime=1422.34 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 125026 0 0 0 138550 3684 0 0 25 0 1 0 819132493 379572224 91298 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 92669 91298 734 1205 0 91460 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 370676
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/447 8589
/proc/meminfo: memFree=31037040/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=376884 CPUtime=1482.32 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 126609 0 0 0 144386 3846 0 0 25 0 1 0 819132493 385929216 92881 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 94221 92881 734 1205 0 93012 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 376884
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/447 8591
/proc/meminfo: memFree=31026180/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=387640 CPUtime=1542.32 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 131809 0 0 0 150224 4008 0 0 25 0 1 0 819132493 396943360 95596 33554432000 4194304 9128323 140735279995648 18446744073709551615 7342763 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 96910 95596 734 1205 0 95701 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 387640
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/447 8592
/proc/meminfo: memFree=31018420/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=393912 CPUtime=1602.32 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 133431 0 0 0 156080 4152 0 0 25 0 1 0 819132493 403365888 97218 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 98478 97218 734 1205 0 97269 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 393912
[startup+1662.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/447 8594
/proc/meminfo: memFree=31011912/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=402296 CPUtime=1662.33 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 135487 0 0 0 161925 4308 0 0 25 0 1 0 819132493 411951104 99274 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 100574 99274 734 1205 0 99365 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 402296
[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/447 8595
/proc/meminfo: memFree=31007384/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=407672 CPUtime=1722.33 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 136842 0 0 0 167774 4459 0 0 25 0 1 0 819132493 417456128 100629 33554432000 4194304 9128323 140735279995648 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 101918 100629 734 1205 0 100709 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 407672
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/447 8597
/proc/meminfo: memFree=30998528/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=414332 CPUtime=1782.33 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 138522 0 0 0 173620 4613 0 0 25 0 1 0 819132493 424275968 102309 33554432000 4194304 9128323 140735279995648 18446744073709551615 6890632 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8468/statm: 103583 102309 734 1205 0 102374 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 414332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.03 2.00 3/447 8598
/proc/meminfo: memFree=30996156/32950928 swapFree=34365992/67111528
[pid=8468] ppid=8466 vsize=417148 CPUtime=1800.04 cores=0,2,4,6
/proc/8468/stat : 8468 (scip-2.0.1.4.li) R 8466 8468 6518 0 -1 4202496 139240 0 0 0 175344 4660 0 0 25 0 1 0 819132493 427159552 103027 33554432000 4194304 9128323 140735279995648 18446744073709551615 4745671 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8468/statm: 104287 103027 737 1205 0 103078 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 417148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1753.45
CPU system time (s): 46.6279
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 417148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1753.45
system time used= 46.6279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139240
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= 5
involuntary context switches= 5205
runsolver used 8.35573 second user time and 17.7833 second system time
The end