0.00/0.00 c SCIP version 2.0.1.5 [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-3450741-1307110835.opb>
0.00/0.01 c original problem has 1452 variables (1452 bin, 0 int, 0 impl, 0 cont) and 1753 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.02/0.04 c (round 1) 0 del vars, 1452 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 10216 impls, 199 clqs
0.02/0.05 c (round 2) 1252 del vars, 1452 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10216 impls, 0 clqs
0.02/0.06 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.06 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.06 c presolving (3 rounds):
0.02/0.06 c 1252 deleted vars, 1452 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.06 c 10216 implications, 0 cliques
0.02/0.06 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 301 constraints
0.02/0.06 c 200 constraints of type <knapsack>
0.02/0.06 c 100 constraints of type <setppc>
0.02/0.06 c 1 constraints of type <linear>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.04
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 2.0.1.5
0.02/0.06 c
0.02/0.06 c # frequency for displaying node information lines
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.06 c display/freq = 10000
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1800
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 13950
0.02/0.06 c
0.02/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.06 c # [type: int, range: [1,2], default: 1]
0.02/0.06 c timing/clocktype = 2
0.02/0.06 c
0.02/0.06 c # belongs reading time to solving time?
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c timing/reading = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify inequalities
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/linear/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/indicator/addCouplingCons = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify knapsacks
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/rapidlearning/freq = 0
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 c
0.09/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.12 c t 0.1s| 1 | 0 | 983 | - |4148k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.09/0.13 o -1
0.09/0.13 c R 0.1s| 1 | 0 | 983 | - |4156k| 0 | 200 | 200 | 301 | 200 | 301 | 0 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.19/0.21 c 0.2s| 1 | 0 | 1019 | - |4476k| 0 | 200 | 200 | 301 | 200 | 336 | 35 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.19/0.26 c 0.3s| 1 | 0 | 1023 | - |5152k| 0 | 200 | 200 | 301 | 200 | 338 | 37 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.29/0.31 c 0.3s| 1 | 0 | 1031 | - |5423k| 0 | 200 | 200 | 301 | 200 | 340 | 39 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.29/0.37 c 0.4s| 1 | 0 | 1037 | - |5515k| 0 | 200 | 200 | 301 | 200 | 342 | 41 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
0.39/0.42 c 0.4s| 1 | 0 | 1040 | - |5526k| 0 | 200 | 200 | 301 | 200 | 343 | 42 | 0 | 0 |-5.000000e+01 |-1.000000e+00 | 98.00%
1.69/1.74 c 1.7s| 1 | 2 | 6616 | - |5535k| 0 | 200 | 200 | 301 | 200 | 343 | 42 | 0 | 20 |-5.000000e+01 |-1.000000e+00 | 98.00%
3.20/3.24 o -2
3.20/3.24 c R 3.2s| 9 | 8 | 7124 | 760.5 |5548k| 8 | 171 | 200 | 301 | 200 | 334 | 42 | 0 | 110 |-4.963937e+01 |-2.000000e+00 | 95.97%
3.39/3.46 o -3
3.39/3.46 c R 3.5s| 10 | 9 | 7156 | 679.6 |5555k| 9 | 170 | 200 | 301 | 200 | 334 | 42 | 0 | 127 |-4.963937e+01 |-3.000000e+00 | 93.96%
3.99/4.04 o -4
3.99/4.04 c R 4.0s| 13 | 12 | 7206 | 513.8 |5571k| 12 | 167 | 200 | 301 | 200 | 334 | 42 | 0 | 166 |-4.963937e+01 |-4.000000e+00 | 91.94%
4.59/4.65 o -22
4.59/4.65 c c 4.6s| 15 | 16 | 7949 | 493.5 |5673k| 14 | - | 200 | 301 | 200 | 334 | 42 | 0 | 203 |-4.963937e+01 |-2.200000e+01 | 55.68%
8.09/8.19 o -25
8.09/8.19 c f 8.2s| 39 | 40 | 10414 | 246.7 |5707k| 14 | - | 200 | 301 | 200 | 334 | 42 | 1 | 533 |-4.963937e+01 |-2.500000e+01 | 49.64%
14.69/14.73 o -27
14.69/14.73 c f14.7s| 136 | 137 | 21708 | 153.1 |5835k| 22 | - | 200 | 303 | 200 | 334 | 42 | 5 |1226 |-4.948089e+01 |-2.700000e+01 | 45.43%
28.51/28.55 o -28
28.51/28.55 c f28.6s| 1609 | 1121 |145257 | 89.7 |7288k| 46 | - | 200 | 335 | 200 | 334 | 42 | 42 |1265 |-4.620785e+01 |-2.800000e+01 | 39.40%
73.49/73.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.49/73.53 c 73.5s| 10000 | 6248 |593966 | 59.3 | 11M| 105 | - | 200 | 431 | 200 | 334 | 42 | 168 |1270 |-4.418036e+01 |-2.800000e+01 | 36.62%
96.89/96.90 c 96.9s| 20000 | 10164 |916145 | 45.8 | 14M| 112 | 68 | 200 | 488 | 200 | 334 | 42 | 238 |1289 |-4.401518e+01 |-2.800000e+01 | 36.39%
112.21/112.30 c 112s| 30000 | 12984 | 1131k| 37.7 | 17M| 112 | 22 | 200 | 493 | 200 | 334 | 42 | 282 |1340 |-4.389068e+01 |-2.800000e+01 | 36.21%
125.70/125.76 c 126s| 40000 | 14914 | 1322k| 33.0 | 19M| 112 | 24 | 200 | 455 | 200 | 334 | 42 | 349 |1415 |-4.372391e+01 |-2.800000e+01 | 35.96%
148.41/148.46 c 148s| 50000 | 18958 | 1638k| 32.7 | 24M| 112 | - | 200 | 453 | 200 | 334 | 42 | 402 |1556 |-4.361765e+01 |-2.800000e+01 | 35.81%
161.90/161.93 c 162s| 60000 | 21902 | 1816k| 30.3 | 27M| 112 | 19 | 200 | 435 | 200 | 334 | 42 | 442 |1640 |-4.349438e+01 |-2.800000e+01 | 35.62%
172.99/173.08 c 173s| 70000 | 23714 | 1964k| 28.0 | 29M| 112 | 54 | 200 | 423 | 200 | 334 | 42 | 466 |1712 |-4.340833e+01 |-2.800000e+01 | 35.50%
185.29/185.37 c 185s| 80000 | 25754 | 2129k| 26.6 | 31M| 112 | 26 | 200 | 417 | 200 | 334 | 42 | 497 |1804 |-4.331144e+01 |-2.800000e+01 | 35.35%
198.01/198.03 c 198s| 90000 | 28324 | 2310k| 25.7 | 34M| 112 | 35 | 200 | 398 | 200 | 334 | 42 | 524 |1881 |-4.323653e+01 |-2.800000e+01 | 35.24%
209.20/209.27 c 209s|100000 | 30390 | 2470k| 24.7 | 36M| 112 | 33 | 200 | 380 | 200 | 334 | 42 | 545 |1948 |-4.317492e+01 |-2.800000e+01 | 35.15%
221.01/221.08 c 221s|110000 | 32400 | 2638k| 24.0 | 38M| 112 | 37 | 200 | 384 | 200 | 334 | 42 | 582 |1991 |-4.312430e+01 |-2.800000e+01 | 35.07%
234.10/234.12 c 234s|120000 | 34418 | 2817k| 23.5 | 41M| 112 | 154 | 200 | 369 | 200 | 334 | 42 | 594 |2058 |-4.305224e+01 |-2.800000e+01 | 34.96%
248.40/248.44 c 248s|130000 | 36806 | 3019k| 23.2 | 43M| 112 | 31 | 200 | 368 | 200 | 334 | 42 | 622 |2119 |-4.299778e+01 |-2.800000e+01 | 34.88%
261.71/261.81 c 262s|140000 | 38956 | 3208k| 22.9 | 45M| 112 | 36 | 200 | 368 | 200 | 334 | 42 | 645 |2189 |-4.294605e+01 |-2.800000e+01 | 34.80%
275.10/275.14 c 275s|150000 | 41108 | 3392k| 22.6 | 48M| 112 | 21 | 200 | 373 | 200 | 334 | 42 | 676 |2241 |-4.288668e+01 |-2.800000e+01 | 34.71%
285.70/285.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.70/285.77 c 286s|160000 | 42660 | 3548k| 22.2 | 49M| 112 | 24 | 200 | 363 | 200 | 334 | 42 | 705 |2297 |-4.284408e+01 |-2.800000e+01 | 34.65%
296.40/296.42 c 296s|170000 | 44078 | 3712k| 21.8 | 52M| 112 | 81 | 200 | 362 | 200 | 334 | 42 | 735 |2365 |-4.281436e+01 |-2.800000e+01 | 34.60%
309.02/309.07 c 309s|180000 | 46322 | 3902k| 21.7 | 54M| 112 | 46 | 200 | 366 | 200 | 334 | 42 | 758 |2434 |-4.278287e+01 |-2.800000e+01 | 34.55%
321.30/321.34 c 321s|190000 | 48666 | 4086k| 21.5 | 57M| 112 | - | 200 | 372 | 200 | 334 | 42 | 783 |2502 |-4.276100e+01 |-2.800000e+01 | 34.52%
339.82/339.86 c 340s|200000 | 52434 | 4353k| 21.8 | 61M| 112 | 29 | 200 | 386 | 200 | 334 | 42 | 825 |2605 |-4.273198e+01 |-2.800000e+01 | 34.48%
352.02/352.04 c 352s|210000 | 54912 | 4536k| 21.6 | 64M| 112 | 10 | 200 | 389 | 200 | 334 | 42 | 884 |2649 |-4.269924e+01 |-2.800000e+01 | 34.43%
362.70/362.74 c 363s|220000 | 56802 | 4689k| 21.3 | 66M| 112 | 35 | 200 | 371 | 200 | 334 | 42 | 918 |2694 |-4.265944e+01 |-2.800000e+01 | 34.36%
373.70/373.75 c 374s|230000 | 58750 | 4848k| 21.1 | 68M| 112 | - | 200 | 374 | 200 | 334 | 42 | 953 |2734 |-4.262437e+01 |-2.800000e+01 | 34.31%
386.30/386.31 c 386s|240000 | 60960 | 5027k| 20.9 | 71M| 112 | 18 | 200 | 368 | 200 | 334 | 42 | 979 |2777 |-4.258618e+01 |-2.800000e+01 | 34.25%
399.00/399.00 c 399s|250000 | 63344 | 5212k| 20.8 | 73M| 112 | 49 | 200 | 365 | 200 | 334 | 42 |1009 |2826 |-4.254985e+01 |-2.800000e+01 | 34.19%
411.90/411.98 c 412s|260000 | 66054 | 5413k| 20.8 | 76M| 112 | - | 200 | 362 | 200 | 334 | 42 |1027 |2873 |-4.252457e+01 |-2.800000e+01 | 34.16%
424.40/424.49 c 424s|270000 | 68916 | 5608k| 20.8 | 79M| 112 | 40 | 200 | 363 | 200 | 334 | 42 |1056 |2935 |-4.250183e+01 |-2.800000e+01 | 34.12%
437.30/437.38 c 437s|280000 | 71794 | 5811k| 20.8 | 83M| 112 | 41 | 200 | 364 | 200 | 334 | 42 |1086 |2984 |-4.248163e+01 |-2.800000e+01 | 34.09%
447.90/447.91 c 448s|290000 | 73906 | 5974k| 20.6 | 85M| 112 | 101 | 200 | 356 | 200 | 334 | 42 |1097 |3048 |-4.245933e+01 |-2.800000e+01 | 34.05%
458.80/458.82 c 459s|300000 | 76014 | 6142k| 20.5 | 88M| 112 | - | 200 | 348 | 200 | 334 | 42 |1119 |3089 |-4.243854e+01 |-2.800000e+01 | 34.02%
469.81/469.86 o -28
469.81/469.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.81/469.86 c s 470s|308959 | 78255 | 6312k| 20.4 | 91M| 112 | 10 | 200 | 358 | 200 | 334 | 42 |1149 |3148 |-4.242253e+01 |-2.800000e+01 | 34.00%
470.72/470.81 c 471s|310000 | 78396 | 6326k| 20.4 | 91M| 112 | 32 | 200 | 358 | 200 | 334 | 42 |1153 |3148 |-4.242190e+01 |-2.800000e+01 | 34.00%
484.01/484.01 c 484s|320000 | 81274 | 6532k| 20.4 | 94M| 112 | 41 | 200 | 350 | 200 | 334 | 42 |1167 |3193 |-4.239970e+01 |-2.800000e+01 | 33.96%
498.00/498.03 c 498s|330000 | 84302 | 6749k| 20.4 | 97M| 112 | - | 200 | 349 | 200 | 334 | 42 |1186 |3251 |-4.237579e+01 |-2.800000e+01 | 33.92%
509.71/509.77 c 510s|340000 | 86584 | 6931k| 20.4 | 100M| 112 | 55 | 200 | 345 | 200 | 334 | 42 |1211 |3303 |-4.234581e+01 |-2.800000e+01 | 33.88%
523.81/523.86 c 524s|350000 | 89608 | 7151k| 20.4 | 104M| 112 | 39 | 200 | 348 | 200 | 334 | 42 |1232 |3364 |-4.232695e+01 |-2.800000e+01 | 33.85%
535.90/535.99 c 536s|360000 | 91930 | 7342k| 20.4 | 106M| 112 | 46 | 200 | 346 | 200 | 334 | 42 |1254 |3413 |-4.231174e+01 |-2.800000e+01 | 33.82%
548.01/548.03 c 548s|370000 | 94324 | 7529k| 20.3 | 109M| 112 | 44 | 200 | 342 | 200 | 334 | 42 |1276 |3464 |-4.229772e+01 |-2.800000e+01 | 33.80%
561.02/561.09 c 561s|380000 | 96778 | 7724k| 20.3 | 112M| 112 | 53 | 200 | 347 | 200 | 334 | 42 |1300 |3513 |-4.227697e+01 |-2.800000e+01 | 33.77%
575.11/575.15 c 575s|390000 | 99626 | 7938k| 20.4 | 115M| 112 | - | 200 | 349 | 200 | 334 | 42 |1322 |3562 |-4.225899e+01 |-2.800000e+01 | 33.74%
587.10/587.18 c 587s|400000 |101820 | 8122k| 20.3 | 118M| 112 | - | 200 | 353 | 200 | 334 | 42 |1346 |3615 |-4.224248e+01 |-2.800000e+01 | 33.72%
601.30/601.37 c 601s|410000 |104854 | 8343k| 20.3 | 121M| 112 | 80 | 200 | 350 | 200 | 334 | 42 |1371 |3669 |-4.222784e+01 |-2.800000e+01 | 33.69%
610.71/610.79 o -29
610.71/610.79 c * 611s|417580 | 80741 | 8485k| 20.3 | 84M| 112 | - | 200 | 361 | 200 | 334 | 42 |1399 |3696 |-4.221706e+01 |-2.900000e+01 | 31.31%
614.41/614.48 c 614s|420000 | 81309 | 8538k| 20.3 | 85M| 112 | - | 200 | 358 | 200 | 334 | 42 |1401 |3713 |-4.221231e+01 |-2.900000e+01 | 31.30%
628.41/628.40 c 628s|430000 | 83795 | 8745k| 20.3 | 87M| 112 | 46 | 200 | 334 | 200 | 334 | 42 |1416 |3777 |-4.219213e+01 |-2.900000e+01 | 31.27%
642.60/642.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.60/642.60 c 643s|440000 | 86147 | 8957k| 20.4 | 90M| 112 | 108 | 200 | 330 | 200 | 334 | 42 |1433 |3830 |-4.217344e+01 |-2.900000e+01 | 31.24%
654.43/654.43 c 654s|450000 | 87983 | 9131k| 20.3 | 92M| 112 | 61 | 200 | 325 | 200 | 334 | 42 |1452 |3874 |-4.215803e+01 |-2.900000e+01 | 31.21%
666.81/666.86 c 667s|460000 | 89863 | 9318k| 20.3 | 94M| 112 | 58 | 200 | 318 | 200 | 334 | 42 |1458 |3927 |-4.214313e+01 |-2.900000e+01 | 31.19%
680.11/680.12 c 680s|470000 | 91993 | 9517k| 20.2 | 97M| 112 | - | 200 | 320 | 200 | 334 | 42 |1476 |3978 |-4.212192e+01 |-2.900000e+01 | 31.15%
693.81/693.88 c 694s|480000 | 94167 | 9724k| 20.3 | 100M| 112 | - | 200 | 321 | 200 | 334 | 42 |1486 |4025 |-4.210671e+01 |-2.900000e+01 | 31.13%
706.51/706.56 c 707s|490000 | 96165 | 9914k| 20.2 | 102M| 112 | 39 | 200 | 324 | 200 | 334 | 42 |1497 |4077 |-4.209225e+01 |-2.900000e+01 | 31.10%
719.81/719.85 c 720s|500000 | 98315 | 10107k| 20.2 | 104M| 112 | 84 | 200 | 321 | 200 | 334 | 42 |1509 |4144 |-4.207449e+01 |-2.900000e+01 | 31.07%
732.62/732.68 c 733s|510000 |100187 | 10293k| 20.2 | 107M| 112 | 57 | 200 | 318 | 200 | 334 | 42 |1525 |4188 |-4.206062e+01 |-2.900000e+01 | 31.05%
744.73/744.75 c 745s|520000 |102105 | 10469k| 20.1 | 109M| 112 | 55 | 200 | 316 | 200 | 334 | 42 |1531 |4236 |-4.205023e+01 |-2.900000e+01 | 31.03%
758.31/758.38 c 758s|530000 |104389 | 10671k| 20.1 | 112M| 112 | - | 200 | 322 | 200 | 334 | 42 |1543 |4303 |-4.203739e+01 |-2.900000e+01 | 31.01%
771.31/771.35 c 771s|540000 |106547 | 10862k| 20.1 | 114M| 112 | 66 | 200 | 316 | 200 | 334 | 42 |1556 |4348 |-4.202516e+01 |-2.900000e+01 | 30.99%
783.72/783.75 c 784s|550000 |108403 | 11043k| 20.1 | 116M| 112 | 82 | 200 | 325 | 200 | 334 | 42 |1575 |4414 |-4.201237e+01 |-2.900000e+01 | 30.97%
797.81/797.88 c 798s|560000 |110761 | 11252k| 20.1 | 119M| 112 | 85 | 200 | 321 | 200 | 334 | 42 |1583 |4470 |-4.200215e+01 |-2.900000e+01 | 30.96%
812.21/812.20 c 812s|570000 |113131 | 11465k| 20.1 | 122M| 112 | 64 | 200 | 318 | 200 | 334 | 42 |1589 |4530 |-4.198726e+01 |-2.900000e+01 | 30.93%
828.23/828.21 c 828s|580000 |115843 | 11700k| 20.2 | 125M| 112 | 81 | 200 | 319 | 200 | 334 | 42 |1605 |4586 |-4.197470e+01 |-2.900000e+01 | 30.91%
842.02/842.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.02/842.02 c 842s|590000 |117987 | 11909k| 20.2 | 127M| 112 | - | 200 | 321 | 200 | 334 | 42 |1623 |4647 |-4.196364e+01 |-2.900000e+01 | 30.89%
854.21/854.25 c 854s|600000 |120079 | 12093k| 20.2 | 130M| 112 | - | 200 | 316 | 200 | 334 | 42 |1626 |4695 |-4.195134e+01 |-2.900000e+01 | 30.87%
864.82/864.89 c 865s|610000 |121713 | 12245k| 20.1 | 132M| 112 | 26 | 200 | 315 | 200 | 334 | 42 |1631 |4734 |-4.193821e+01 |-2.900000e+01 | 30.85%
876.32/876.35 c 876s|620000 |123531 | 12409k| 20.0 | 134M| 112 | - | 200 | 321 | 200 | 334 | 42 |1642 |4779 |-4.192364e+01 |-2.900000e+01 | 30.83%
887.82/887.86 c 888s|630000 |125173 | 12582k| 20.0 | 136M| 112 | - | 200 | 318 | 200 | 334 | 42 |1654 |4809 |-4.191157e+01 |-2.900000e+01 | 30.81%
900.61/900.61 c 901s|640000 |127197 | 12776k| 20.0 | 139M| 112 | - | 200 | 311 | 200 | 334 | 42 |1660 |4864 |-4.190158e+01 |-2.900000e+01 | 30.79%
913.61/913.62 c 914s|650000 |129283 | 12967k| 19.9 | 141M| 112 | 36 | 200 | 317 | 200 | 334 | 42 |1673 |4908 |-4.188974e+01 |-2.900000e+01 | 30.77%
927.42/927.42 c 927s|660000 |131477 | 13172k| 20.0 | 143M| 112 | 74 | 200 | 318 | 200 | 334 | 42 |1684 |4957 |-4.187692e+01 |-2.900000e+01 | 30.75%
940.92/940.98 c 941s|670000 |133905 | 13387k| 20.0 | 147M| 112 | 79 | 200 | 316 | 200 | 334 | 42 |1706 |5015 |-4.186756e+01 |-2.900000e+01 | 30.73%
955.51/955.54 c 956s|680000 |136453 | 13601k| 20.0 | 150M| 112 | 36 | 200 | 321 | 200 | 334 | 42 |1726 |5060 |-4.185853e+01 |-2.900000e+01 | 30.72%
967.93/967.94 c 968s|690000 |138457 | 13780k| 20.0 | 152M| 112 | 53 | 200 | 320 | 200 | 334 | 42 |1740 |5105 |-4.184918e+01 |-2.900000e+01 | 30.70%
982.22/982.28 c 982s|700000 |140883 | 14000k| 20.0 | 155M| 112 | 77 | 200 | 322 | 200 | 334 | 42 |1747 |5160 |-4.183981e+01 |-2.900000e+01 | 30.69%
995.53/995.55 c 996s|710000 |143099 | 14203k| 20.0 | 157M| 112 | - | 200 | 328 | 200 | 334 | 42 |1764 |5209 |-4.183244e+01 |-2.900000e+01 | 30.68%
1008.63/1008.63 c 1009s|720000 |145209 | 14400k| 20.0 | 160M| 112 | - | 200 | 326 | 200 | 334 | 42 |1771 |5249 |-4.182017e+01 |-2.900000e+01 | 30.66%
1020.42/1020.43 c 1020s|730000 |146963 | 14575k| 20.0 | 162M| 112 | - | 200 | 328 | 200 | 334 | 42 |1788 |5295 |-4.181034e+01 |-2.900000e+01 | 30.64%
1033.12/1033.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1033.12/1033.10 c 1033s|740000 |148865 | 14769k| 20.0 | 164M| 112 | - | 200 | 317 | 200 | 334 | 42 |1794 |5346 |-4.180193e+01 |-2.900000e+01 | 30.63%
1045.03/1045.06 c 1045s|750000 |150973 | 14947k| 19.9 | 167M| 112 | - | 200 | 314 | 200 | 334 | 42 |1803 |5380 |-4.179271e+01 |-2.900000e+01 | 30.61%
1058.62/1058.69 c 1059s|760000 |153435 | 15148k| 19.9 | 169M| 112 | 42 | 200 | 317 | 200 | 334 | 42 |1815 |5442 |-4.178184e+01 |-2.900000e+01 | 30.59%
1072.12/1072.12 c 1072s|770000 |155613 | 15348k| 19.9 | 172M| 112 | 47 | 200 | 315 | 200 | 334 | 42 |1828 |5482 |-4.177024e+01 |-2.900000e+01 | 30.57%
1084.92/1084.97 c 1085s|780000 |157869 | 15540k| 19.9 | 174M| 112 | 42 | 200 | 313 | 200 | 334 | 42 |1833 |5518 |-4.176047e+01 |-2.900000e+01 | 30.56%
1096.01/1096.07 c 1096s|790000 |159805 | 15699k| 19.9 | 177M| 112 | 47 | 200 | 313 | 200 | 334 | 42 |1845 |5566 |-4.175103e+01 |-2.900000e+01 | 30.54%
1107.52/1107.53 c 1108s|800000 |161587 | 15869k| 19.8 | 179M| 112 | 48 | 200 | 316 | 200 | 334 | 42 |1861 |5603 |-4.174307e+01 |-2.900000e+01 | 30.53%
1119.02/1119.04 c 1119s|810000 |163237 | 16041k| 19.8 | 181M| 112 | 127 | 200 | 316 | 200 | 334 | 42 |1871 |5643 |-4.173559e+01 |-2.900000e+01 | 30.51%
1131.12/1131.11 c 1131s|820000 |165251 | 16219k| 19.8 | 183M| 112 | - | 200 | 315 | 200 | 334 | 42 |1875 |5669 |-4.172557e+01 |-2.900000e+01 | 30.50%
1144.22/1144.28 c 1144s|830000 |167303 | 16421k| 19.8 | 186M| 112 | - | 200 | 312 | 200 | 334 | 42 |1887 |5719 |-4.171551e+01 |-2.900000e+01 | 30.48%
1154.52/1154.57 c 1155s|840000 |168781 | 16573k| 19.7 | 188M| 112 | 73 | 200 | 313 | 200 | 334 | 42 |1896 |5740 |-4.170828e+01 |-2.900000e+01 | 30.47%
1167.13/1167.19 c 1167s|850000 |170777 | 16768k| 19.7 | 190M| 112 | 38 | 200 | 314 | 200 | 334 | 42 |1904 |5793 |-4.170149e+01 |-2.900000e+01 | 30.46%
1178.83/1178.83 c 1179s|860000 |172491 | 16953k| 19.7 | 192M| 112 | - | 200 | 314 | 200 | 334 | 42 |1911 |5823 |-4.169141e+01 |-2.900000e+01 | 30.44%
1189.32/1189.36 c 1189s|870000 |173797 | 17114k| 19.7 | 194M| 112 | 51 | 200 | 311 | 200 | 334 | 42 |1922 |5868 |-4.168280e+01 |-2.900000e+01 | 30.43%
1199.82/1199.89 c 1200s|880000 |175213 | 17270k| 19.6 | 196M| 112 | - | 200 | 308 | 200 | 334 | 42 |1930 |5902 |-4.167304e+01 |-2.900000e+01 | 30.41%
1211.13/1211.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.13/1211.11 c 1211s|890000 |176649 | 17436k| 19.6 | 198M| 112 | 53 | 200 | 311 | 200 | 334 | 42 |1938 |5929 |-4.166625e+01 |-2.900000e+01 | 30.40%
1223.92/1223.93 c 1224s|900000 |178487 | 17632k| 19.6 | 200M| 112 | - | 200 | 313 | 200 | 334 | 42 |1948 |5987 |-4.165636e+01 |-2.900000e+01 | 30.38%
1236.72/1236.76 c 1237s|910000 |180473 | 17823k| 19.6 | 202M| 112 | - | 200 | 314 | 200 | 334 | 42 |1956 |6028 |-4.164708e+01 |-2.900000e+01 | 30.37%
1249.12/1249.14 c 1249s|920000 |182383 | 18009k| 19.6 | 205M| 112 | 39 | 200 | 312 | 200 | 334 | 42 |1971 |6070 |-4.163794e+01 |-2.900000e+01 | 30.35%
1262.12/1262.17 c 1262s|930000 |184459 | 18205k| 19.6 | 207M| 112 | 42 | 200 | 307 | 200 | 334 | 42 |1976 |6110 |-4.162931e+01 |-2.900000e+01 | 30.34%
1274.42/1274.45 c 1274s|940000 |186223 | 18393k| 19.6 | 209M| 112 | 43 | 200 | 309 | 200 | 334 | 42 |1992 |6157 |-4.162235e+01 |-2.900000e+01 | 30.33%
1285.42/1285.43 c 1285s|950000 |187849 | 18559k| 19.5 | 211M| 112 | 20 | 200 | 310 | 200 | 334 | 42 |2000 |6196 |-4.161601e+01 |-2.900000e+01 | 30.32%
1297.53/1297.57 c 1298s|960000 |189465 | 18743k| 19.5 | 213M| 112 | 45 | 200 | 307 | 200 | 334 | 42 |2007 |6219 |-4.160590e+01 |-2.900000e+01 | 30.30%
1309.43/1309.40 c 1309s|970000 |191193 | 18921k| 19.5 | 216M| 112 | 42 | 200 | 307 | 200 | 334 | 42 |2010 |6273 |-4.159934e+01 |-2.900000e+01 | 30.29%
1322.63/1322.65 c 1323s|980000 |193173 | 19122k| 19.5 | 218M| 112 | 45 | 200 | 313 | 200 | 334 | 42 |2020 |6302 |-4.159081e+01 |-2.900000e+01 | 30.27%
1334.93/1334.95 c 1335s|990000 |195257 | 19302k| 19.5 | 221M| 112 | 37 | 200 | 314 | 200 | 334 | 42 |2029 |6342 |-4.158434e+01 |-2.900000e+01 | 30.26%
1346.53/1346.57 c 1347s| 1000k|197139 | 19475k| 19.5 | 223M| 112 | 43 | 200 | 316 | 200 | 334 | 42 |2039 |6389 |-4.157787e+01 |-2.900000e+01 | 30.25%
1361.02/1361.07 c 1361s| 1010k|199619 | 19693k| 19.5 | 226M| 112 | - | 200 | 317 | 200 | 334 | 42 |2046 |6436 |-4.157091e+01 |-2.900000e+01 | 30.24%
1374.43/1374.41 c 1374s| 1020k|201709 | 19893k| 19.5 | 228M| 112 | 42 | 200 | 315 | 200 | 334 | 42 |2054 |6475 |-4.156355e+01 |-2.900000e+01 | 30.23%
1387.73/1387.78 c 1388s| 1030k|203737 | 20094k| 19.5 | 231M| 112 | 34 | 200 | 314 | 200 | 334 | 42 |2063 |6512 |-4.155703e+01 |-2.900000e+01 | 30.22%
1400.02/1400.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1400.02/1400.02 c 1400s| 1040k|205515 | 20275k| 19.5 | 233M| 112 | - | 200 | 316 | 200 | 334 | 42 |2077 |6545 |-4.154934e+01 |-2.900000e+01 | 30.20%
1412.22/1412.26 c 1412s| 1050k|207387 | 20457k| 19.5 | 235M| 112 | 63 | 200 | 316 | 200 | 334 | 42 |2084 |6587 |-4.154260e+01 |-2.900000e+01 | 30.19%
1425.32/1425.36 c 1425s| 1060k|210173 | 20652k| 19.5 | 238M| 112 | - | 200 | 311 | 200 | 334 | 42 |2087 |6623 |-4.153711e+01 |-2.900000e+01 | 30.18%
1437.92/1437.99 c 1438s| 1070k|212341 | 20846k| 19.5 | 241M| 112 | 68 | 200 | 308 | 200 | 334 | 42 |2091 |6662 |-4.153027e+01 |-2.900000e+01 | 30.17%
1449.33/1449.34 c 1449s| 1080k|213837 | 21024k| 19.5 | 243M| 112 | 47 | 200 | 312 | 200 | 334 | 42 |2103 |6708 |-4.152330e+01 |-2.900000e+01 | 30.16%
1462.83/1462.84 c 1463s| 1090k|216121 | 21228k| 19.5 | 246M| 112 | 51 | 200 | 312 | 200 | 334 | 42 |2113 |6737 |-4.151715e+01 |-2.900000e+01 | 30.15%
1475.43/1475.41 c 1475s| 1100k|218589 | 21425k| 19.5 | 249M| 112 | 45 | 200 | 315 | 200 | 334 | 42 |2124 |6786 |-4.151197e+01 |-2.900000e+01 | 30.14%
1487.43/1487.44 c 1487s| 1110k|220625 | 21611k| 19.5 | 251M| 112 | 67 | 200 | 318 | 200 | 334 | 42 |2132 |6810 |-4.150679e+01 |-2.900000e+01 | 30.13%
1500.23/1500.30 c 1500s| 1120k|222687 | 21815k| 19.5 | 254M| 112 | - | 200 | 320 | 200 | 334 | 42 |2141 |6864 |-4.150087e+01 |-2.900000e+01 | 30.12%
1514.74/1514.73 c 1515s| 1130k|225223 | 22034k| 19.5 | 257M| 112 | 46 | 200 | 314 | 200 | 334 | 42 |2145 |6890 |-4.149532e+01 |-2.900000e+01 | 30.11%
1528.03/1528.01 c 1528s| 1140k|227465 | 22240k| 19.5 | 259M| 112 | 40 | 200 | 313 | 200 | 334 | 42 |2155 |6936 |-4.148692e+01 |-2.900000e+01 | 30.10%
1540.23/1540.23 c 1540s| 1150k|229091 | 22432k| 19.5 | 261M| 112 | - | 200 | 316 | 200 | 334 | 42 |2165 |6982 |-4.148068e+01 |-2.900000e+01 | 30.09%
1553.03/1553.04 c 1553s| 1160k|231065 | 22631k| 19.5 | 264M| 112 | - | 200 | 315 | 200 | 334 | 42 |2172 |7015 |-4.147457e+01 |-2.900000e+01 | 30.08%
1564.53/1564.53 c 1565s| 1170k|232761 | 22809k| 19.5 | 266M| 112 | - | 200 | 320 | 200 | 334 | 42 |2186 |7051 |-4.146833e+01 |-2.900000e+01 | 30.07%
1576.03/1576.02 c 1576s| 1180k|234419 | 22989k| 19.5 | 268M| 112 | 56 | 200 | 321 | 200 | 334 | 42 |2204 |7083 |-4.146184e+01 |-2.900000e+01 | 30.06%
1587.83/1587.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.83/1587.89 c 1588s| 1190k|236107 | 23184k| 19.5 | 270M| 112 | 26 | 200 | 318 | 200 | 334 | 42 |2216 |7116 |-4.145541e+01 |-2.900000e+01 | 30.05%
1598.93/1598.92 c 1599s| 1200k|237667 | 23361k| 19.5 | 272M| 112 | - | 200 | 314 | 200 | 334 | 42 |2244 |7149 |-4.145101e+01 |-2.900000e+01 | 30.04%
1610.34/1610.36 c 1610s| 1210k|239231 | 23543k| 19.5 | 275M| 112 | 61 | 200 | 311 | 200 | 334 | 42 |2257 |7188 |-4.144502e+01 |-2.900000e+01 | 30.03%
1622.73/1622.74 c 1623s| 1220k|240943 | 23739k| 19.5 | 277M| 112 | 43 | 200 | 310 | 200 | 334 | 42 |2268 |7238 |-4.144053e+01 |-2.900000e+01 | 30.02%
1635.13/1635.16 c 1635s| 1230k|243143 | 23933k| 19.5 | 279M| 112 | - | 200 | 307 | 200 | 334 | 42 |2280 |7264 |-4.143371e+01 |-2.900000e+01 | 30.01%
1646.13/1646.19 c 1646s| 1240k|245007 | 24099k| 19.4 | 281M| 112 | 73 | 200 | 308 | 200 | 334 | 42 |2282 |7291 |-4.142653e+01 |-2.900000e+01 | 30.00%
1658.74/1658.77 c 1659s| 1250k|247099 | 24290k| 19.4 | 284M| 112 | - | 200 | 306 | 200 | 334 | 42 |2290 |7335 |-4.142043e+01 |-2.900000e+01 | 29.99%
1672.04/1672.08 c 1672s| 1260k|249299 | 24499k| 19.4 | 287M| 112 | - | 200 | 310 | 200 | 334 | 42 |2308 |7366 |-4.141358e+01 |-2.900000e+01 | 29.97%
1683.83/1683.80 c 1684s| 1270k|251229 | 24679k| 19.4 | 289M| 112 | - | 200 | 309 | 200 | 334 | 42 |2322 |7392 |-4.140710e+01 |-2.900000e+01 | 29.96%
1694.83/1694.84 c 1695s| 1280k|252955 | 24844k| 19.4 | 291M| 112 | - | 200 | 311 | 200 | 334 | 42 |2338 |7423 |-4.140103e+01 |-2.900000e+01 | 29.95%
1707.34/1707.35 c 1707s| 1290k|254973 | 25032k| 19.4 | 294M| 112 | 47 | 200 | 312 | 200 | 334 | 42 |2348 |7454 |-4.139522e+01 |-2.900000e+01 | 29.94%
1719.14/1719.10 c 1719s| 1300k|256801 | 25211k| 19.4 | 296M| 112 | 51 | 200 | 306 | 200 | 334 | 42 |2356 |7480 |-4.138940e+01 |-2.900000e+01 | 29.93%
1732.45/1732.43 c 1732s| 1310k|259355 | 25413k| 19.4 | 299M| 112 | 57 | 200 | 304 | 200 | 334 | 42 |2367 |7516 |-4.138335e+01 |-2.900000e+01 | 29.92%
1746.23/1746.24 c 1746s| 1320k|261843 | 25625k| 19.4 | 302M| 112 | 37 | 200 | 307 | 200 | 334 | 42 |2377 |7557 |-4.137807e+01 |-2.900000e+01 | 29.91%
1759.13/1759.12 c 1759s| 1330k|263873 | 25838k| 19.4 | 305M| 112 | 30 | 200 | 311 | 200 | 334 | 42 |2390 |7606 |-4.137301e+01 |-2.900000e+01 | 29.91%
1772.15/1772.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1772.15/1772.16 c 1772s| 1340k|266013 | 26038k| 19.4 | 307M| 112 | 88 | 200 | 312 | 200 | 334 | 42 |2401 |7647 |-4.136654e+01 |-2.900000e+01 | 29.90%
1785.13/1785.11 c 1785s| 1350k|268191 | 26235k| 19.4 | 310M| 112 | - | 200 | 308 | 200 | 334 | 42 |2408 |7677 |-4.136200e+01 |-2.900000e+01 | 29.89%
1796.04/1796.07 c 1796s| 1360k|269887 | 26400k| 19.4 | 312M| 112 | - | 200 | 311 | 200 | 334 | 42 |2420 |7703 |-4.135548e+01 |-2.900000e+01 | 29.88%
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 1362812
1800.04/1800.00 c Primal Bound : -2.90000000000000e+01 (803 solutions)
1800.04/1800.00 c Dual Bound : -4.13540656550522e+01
1800.04/1800.00 c Gap : 29.87 %
1800.04/1800.00 s SATISFIABLE
1800.04/1800.00 v x148 -x139 x160 -x157 -x183 -x131 -x156 -x196 -x165 -x122 -x198 -x197 -x170 -x113 -x163 x158 -x130 -x126 -x125 -x119 -x159 x192
1800.04/1800.00 v x195 -x144 -x142 -x120 -x164 -x175 -x107 -x181 -x118 x188 -x145 -x191 -x151 x169 -x134 -x117 -x143 -x190 -x186 -x116 -x124 -x136
1800.04/1800.00 v -x104 x193 -x179 -x140 -x108 -x138 x154 x172 -x162 x200 -x109 -x103 -x194 -x178 x146 -x141 -x137 -x185 -x128 -x147 x168
1800.04/1800.00 v -x153 -x184 x180 -x102 x171 -x135 x114 x110 -x105 -x106 -x115 x187 -x129 -x199 -x161 -x127 x101 -x189 x167 x155 x152 x149 -x132
1800.04/1800.00 v -x123 -x112 -x182 -x174 x150 x121 -x133 x177 x173 -x111 x166 x176 -x100 x99 x98 x97 -x96 -x95 x94 -x93 -x92 x91 -x90 -x89
1800.04/1800.00 v -x88 -x87 x86 x85 x84 x83 -x82 x81 -x80 x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62
1800.04/1800.00 v -x61 -x60 -x59 -x58 x57 x56 -x55 -x54 x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 x36
1800.04/1800.00 v x35 x34 -x33 -x32 -x31 -x30 x29 x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9
1800.04/1800.00 v x8 -x7 x6 x5 -x4 -x3 -x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.04 (included in solving)
1800.04/1800.00 c reading : 0.01 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3450741-1307110835.opb
1800.04/1800.00 c Variables : 1452 (1452 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 1753 initial, 1753 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3450741-1307110835.opb
1800.04/1800.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 301 initial, 503 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 1252 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c pseudoboolean : 0.00 0 0 0 0 0 1452 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 830278 0 807 0 82 782 0 0 1659326
1800.04/1800.00 c knapsack : 200 6 2770753 1 1 802 46612 1189 5084971 0 0 0
1800.04/1800.00 c setppc : 100 6 2763498 1 1 801 8224 0 699257 0 0 0
1800.04/1800.00 c linear : 1 6 2769563 1 0 801 10 572 55 0 0 0
1800.04/1800.00 c logicor : 0+ 0 488891 0 0 0 0 1 1127 0 0 0
1800.04/1800.00 c countsols : 0 0 0 1 1 805 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 45.98 0.00 0.00 45.98 0.00 0.00 0.00
1800.04/1800.00 c knapsack : 17.52 0.01 17.44 0.00 0.00 0.06 0.02
1800.04/1800.00 c setppc : 2.58 0.00 2.58 0.00 0.00 0.01 0.00
1800.04/1800.00 c linear : 2.35 0.01 2.34 0.00 0.00 0.00 0.00
1800.04/1800.00 c logicor : 0.49 0.00 0.49 0.00 0.00 0.00 0.00
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 9 0 0 0
1800.04/1800.00 c pseudoobj : 2783832 2480 1116 32630
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 0.47 0.47 0.00
1800.04/1800.00 c rootredcost : 0.56 0.56 0.00
1800.04/1800.00 c pseudoobj : 9.14 9.13 0.01
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 0.09 1190 1187 10226 57.6 0 0.0 -
1800.04/1800.00 c infeasible LP : 0.07 1907 1854 6195 33.5 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 1251 9.3 - - -
1800.04/1800.00 c applied locally : - - - 1171 46.6 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 5 - - 29 - (maximal pool size: 279)
1800.04/1800.00 c redcost : 8.03 1120707 0 1399652 0 0
1800.04/1800.00 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.10 6 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.09 6 0 0 242 0
1800.04/1800.00 c cmir : 0.02 6 0 0 37 0
1800.04/1800.00 c flowcover : 0.03 6 0 0 0 0
1800.04/1800.00 c clique : 0.00 1 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.03 1 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 45.52 830277 82 782 0 0 1659326
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.06 - 1
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 0.32 10 0
1800.04/1800.00 c feaspump : 0.27 1 0
1800.04/1800.00 c crossover : 0.78 9 5
1800.04/1800.00 c coefdiving : 8.14 757 1
1800.04/1800.00 c pscostdiving : 6.39 757 0
1800.04/1800.00 c linesearchdiving : 5.25 757 0
1800.04/1800.00 c guideddiving : 4.98 757 0
1800.04/1800.00 c veclendiving : 5.09 757 0
1800.04/1800.00 c objpscostdiving : 13.25 379 18
1800.04/1800.00 c rootsoldiving : 4.39 379 9
1800.04/1800.00 c fracdiving : 8.14 758 3
1800.04/1800.00 c trivial : 0.00 2 1
1800.04/1800.00 c shiftandpropagate: 0.00 0 0
1800.04/1800.00 c simplerounding : 0.21 0 0
1800.04/1800.00 c zirounding : 19.90 0 0
1800.04/1800.00 c rounding : 17.97 91451 4
1800.04/1800.00 c shifting : 46.44 87352 761
1800.04/1800.00 c intshifting : 0.02 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c clique : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.01 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c vbounds : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c subnlp : 0.21 0 0
1800.04/1800.00 c trysol : 0.30 0 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 1448.18 1503797 25641691 17.05 17706.11
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 48.38 117501 818860 6.97 16925.85
1800.04/1800.00 c strong branching : 32.10 7713 265738 34.45 8278.70
1800.04/1800.00 c (at root node) : - 20 6965 348.25 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 1362812
1800.04/1800.00 c nodes (total) : 1362812
1800.04/1800.00 c nodes left : 270551
1800.04/1800.00 c max depth : 112
1800.04/1800.00 c max depth (total): 112
1800.04/1800.00 c backtracks : 128397 (9.4%)
1800.04/1800.00 c delayed cutoffs : 0
1800.04/1800.00 c repropagations : 1906 (1126 domain reductions, 0 cutoffs)
1800.04/1800.00 c avg switch length: 4.55
1800.04/1800.00 c switching time : 27.51
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 803 (11 improvements)
1800.04/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.00 c Primal Bound : -2.90000000000000e+01 (in run 1, after 417580 nodes, 610.73 seconds, depth 59, found by <relaxation>)
1800.04/1800.00 c Dual Bound : -4.13540656550522e+01
1800.04/1800.00 c Gap : 29.87 %
1800.04/1800.00 c Root Dual Bound : -4.99999999999998e+01
1800.04/1800.00 c Root Iterations : 1040
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-3450741-1307110835/watcher-3450741-1307110835 -o /tmp/evaluation-result-3450741-1307110835/solver-3450741-1307110835 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450741-1307110835.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: 2.09 2.04 2.01 2/386 28626
/proc/meminfo: memFree=23754728/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=16540 CPUtime=0 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 2872 0 0 0 0 0 0 0 25 0 1 0 822686232 16936960 2824 33554432000 4194304 9163163 140734688882272 18446744073709551615 8041965 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 4135 2835 439 1214 0 2917 0
[startup+0.030847 s]
/proc/loadavg: 2.09 2.04 2.01 2/386 28626
/proc/meminfo: memFree=23754728/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=22916 CPUtime=0.02 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 4737 0 0 0 2 0 0 0 25 0 1 0 822686232 23465984 4432 33554432000 4194304 9163163 140734688882272 18446744073709551615 18446744073699065959 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 5729 4432 509 1214 0 4511 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 22916
[startup+0.10087 s]
/proc/loadavg: 2.09 2.04 2.01 2/386 28626
/proc/meminfo: memFree=23754728/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=25128 CPUtime=0.09 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 5465 0 0 0 9 0 0 0 18 0 1 0 822686232 25731072 5160 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 6282 5160 659 1214 0 5064 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25128
[startup+0.300838 s]
/proc/loadavg: 2.09 2.04 2.01 2/386 28626
/proc/meminfo: memFree=23754728/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=27920 CPUtime=0.29 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 8845 0 0 0 29 0 0 0 18 0 1 0 822686232 28590080 5904 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 6980 5904 724 1214 0 5762 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27920
[startup+0.700753 s]
/proc/loadavg: 2.09 2.04 2.01 2/386 28626
/proc/meminfo: memFree=23754728/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=28464 CPUtime=0.69 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 9005 0 0 0 68 1 0 0 18 0 1 0 822686232 29147136 6064 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 7116 6064 732 1214 0 5898 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28464
[startup+1.50061 s]
/proc/loadavg: 2.09 2.04 2.01 3/387 28627
/proc/meminfo: memFree=23732056/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=28696 CPUtime=1.49 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 10684 0 0 0 148 1 0 0 19 0 1 0 822686232 29384704 6147 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 7174 6147 736 1214 0 5956 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28696
[startup+3.10033 s]
/proc/loadavg: 2.09 2.04 2.01 3/387 28627
/proc/meminfo: memFree=23731188/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=28696 CPUtime=3.09 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 10695 0 0 0 307 2 0 0 25 0 1 0 822686232 29384704 6158 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 7174 6158 736 1214 0 5956 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28696
[startup+6.30076 s]
/proc/loadavg: 2.08 2.04 2.01 3/387 28627
/proc/meminfo: memFree=23731420/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=28852 CPUtime=6.29 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 10703 0 0 0 625 4 0 0 25 0 1 0 822686232 29544448 6166 33554432000 4194304 9163163 140734688882272 18446744073709551615 7390669 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 7213 6166 736 1214 0 5995 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28852
[startup+12.7006 s]
/proc/loadavg: 2.08 2.04 2.01 3/387 28627
/proc/meminfo: memFree=23730824/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=28852 CPUtime=12.69 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 10713 0 0 0 1261 8 0 0 25 0 1 0 822686232 29544448 6176 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 7213 6176 738 1214 0 5995 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28852
[startup+25.5003 s]
/proc/loadavg: 2.06 2.04 2.00 3/387 28628
/proc/meminfo: memFree=23729452/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=30424 CPUtime=25.49 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 14357 0 0 0 2527 22 0 0 25 0 1 0 822686232 31154176 6568 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 7606 6568 738 1214 0 6388 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30424
[startup+51.1008 s]
/proc/loadavg: 2.04 2.03 2.00 3/387 28629
/proc/meminfo: memFree=23727616/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=32724 CPUtime=51.09 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 23059 0 0 0 5061 48 0 0 25 0 1 0 822686232 33509376 7152 33554432000 4194304 9163163 140734688882272 18446744073709551615 4579296 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 8181 7152 742 1214 0 6963 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 32724
[startup+102.314 s]
/proc/loadavg: 2.01 2.03 2.00 3/387 28657
/proc/meminfo: memFree=23730316/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=41224 CPUtime=102.31 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 31145 0 0 0 10114 117 0 0 25 0 1 0 822686232 42213376 9318 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 10306 9318 742 1214 0 9088 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 41224
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 28658
/proc/meminfo: memFree=23716076/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=54668 CPUtime=162.29 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 40446 0 0 0 16020 209 0 0 25 0 1 0 822686232 55980032 12737 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 13667 12737 742 1214 0 12449 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 54668
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 28660
/proc/meminfo: memFree=23701340/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=69028 CPUtime=222.29 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 47346 0 0 0 21923 306 0 0 25 0 1 0 822686232 70684672 16368 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 17257 16368 742 1214 0 16039 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 69028
[startup+282.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/387 28662
/proc/meminfo: memFree=23688408/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=81524 CPUtime=282.29 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 50482 0 0 0 27825 404 0 0 25 0 1 0 822686232 83480576 19504 33554432000 4194304 9163163 140734688882272 18446744073709551615 7390364 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 20381 19504 742 1214 0 19163 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 81524
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/387 28663
/proc/meminfo: memFree=23675080/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=93468 CPUtime=342.3 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 53469 0 0 0 33726 504 0 0 25 0 1 0 822686232 95711232 22491 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 23367 22491 742 1214 0 22149 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 93468
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 28665
/proc/meminfo: memFree=23659172/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=108680 CPUtime=402.3 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 58977 0 0 0 39626 604 0 0 25 0 1 0 822686232 111288320 26393 33554432000 4194304 9163163 140734688882272 18446744073709551615 5464832 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 27170 26393 742 1214 0 25952 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 108680
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 28666
/proc/meminfo: memFree=23639536/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=127128 CPUtime=462.31 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 64834 0 0 0 45511 720 0 0 25 0 1 0 822686232 130179072 30535 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 31782 30535 742 1214 0 30564 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 127128
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28668
/proc/meminfo: memFree=23619056/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=142200 CPUtime=522.31 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 81007 0 0 0 51402 829 0 0 25 0 1 0 822686232 145612800 34352 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 35550 34352 742 1214 0 34332 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 142200
[startup+582.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/387 28670
/proc/meminfo: memFree=23605260/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=155036 CPUtime=582.31 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 85708 0 0 0 57294 937 0 0 25 0 1 0 822686232 158756864 37585 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 38759 37585 742 1214 0 37541 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 155036
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/387 28676
/proc/meminfo: memFree=23578560/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=168836 CPUtime=822.32 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 105542 0 0 0 80894 1338 0 0 25 0 1 0 822686232 172888064 41100 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 42209 41100 743 1214 0 40991 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 168836
[startup+882.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/387 28678
/proc/meminfo: memFree=23565232/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=179188 CPUtime=882.31 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 109676 0 0 0 86790 1441 0 0 25 0 1 0 822686232 183488512 43722 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 44797 43722 743 1214 0 43579 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 179188
[startup+942.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/387 28679
/proc/meminfo: memFree=23553272/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=188364 CPUtime=942.31 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 111979 0 0 0 92693 1538 0 0 25 0 1 0 822686232 192884736 46025 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 47091 46025 743 1214 0 45873 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 188364
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28681
/proc/meminfo: memFree=23537868/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=200508 CPUtime=1002.32 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 115060 0 0 0 98591 1641 0 0 25 0 1 0 822686232 205320192 49106 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 50127 49106 743 1214 0 48909 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 200508
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 28682
/proc/meminfo: memFree=23525396/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=209660 CPUtime=1062.32 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 117389 0 0 0 104485 1747 0 0 25 0 1 0 822686232 214691840 51435 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 52415 51435 743 1214 0 51197 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 209660
[startup+1122.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/387 28684
/proc/meminfo: memFree=23513216/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=219444 CPUtime=1122.32 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 119875 0 0 0 110383 1849 0 0 25 0 1 0 822686232 224710656 53921 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 54861 53921 743 1214 0 53643 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 219444
[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/387 28686
/proc/meminfo: memFree=23494336/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=235480 CPUtime=1182.32 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 126196 0 0 0 116279 1953 0 0 25 0 1 0 822686232 241131520 57925 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 58870 57925 743 1214 0 57652 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 235480
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 28687
/proc/meminfo: memFree=23481388/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=245264 CPUtime=1242.32 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 128715 0 0 0 122173 2059 0 0 25 0 1 0 822686232 251150336 60444 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 61316 60444 743 1214 0 60098 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 245264
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 28689
/proc/meminfo: memFree=23468780/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=254572 CPUtime=1302.34 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 131078 0 0 0 128075 2159 0 0 25 0 1 0 822686232 260681728 62807 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 63643 62807 743 1214 0 62425 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 254572
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 28690
/proc/meminfo: memFree=23457972/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=267536 CPUtime=1362.32 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 133368 0 0 0 133974 2258 0 0 25 0 1 0 822686232 273956864 65096 33554432000 4194304 9163163 140734688882272 18446744073709551615 5842992 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 66884 65096 743 1214 0 65666 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 267536
[startup+1422.31 s]
/proc/loadavg: 2.08 2.03 2.01 3/387 28692
/proc/meminfo: memFree=23441324/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=280060 CPUtime=1422.34 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 136502 0 0 0 139871 2363 0 0 25 0 1 0 822686232 286781440 68183 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 70015 68183 743 1214 0 68797 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 280060
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/387 28694
/proc/meminfo: memFree=23426044/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=293592 CPUtime=1482.33 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 140034 0 0 0 145764 2469 0 0 25 0 1 0 822686232 300638208 71703 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 73398 71703 743 1214 0 72180 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 293592
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 28695
/proc/meminfo: memFree=23408984/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=306044 CPUtime=1542.33 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 143122 0 0 0 151657 2576 0 0 25 0 1 0 822686232 313389056 74777 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 76511 74777 743 1214 0 75293 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 306044
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 28697
/proc/meminfo: memFree=23394196/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=316816 CPUtime=1602.34 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 145918 0 0 0 157554 2680 0 0 25 0 1 0 822686232 324419584 77573 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 79204 77573 743 1214 0 77986 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 316816
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 28698
/proc/meminfo: memFree=23376164/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=329828 CPUtime=1662.33 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 150076 0 0 0 163448 2785 0 0 25 0 1 0 822686232 337743872 80899 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 82457 80899 743 1214 0 81239 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 329828
[startup+1722.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/387 28700
/proc/meminfo: memFree=23363468/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=341640 CPUtime=1722.34 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 152973 0 0 0 169341 2893 0 0 25 0 1 0 822686232 349839360 83784 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 85410 83784 743 1214 0 84192 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 341640
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/387 28702
/proc/meminfo: memFree=23348312/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=352972 CPUtime=1782.33 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 155923 0 0 0 175230 3003 0 0 25 0 1 0 822686232 361443328 86734 33554432000 4194304 9163163 140734688882272 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28626/statm: 88243 86734 743 1214 0 87025 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 352972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.03 2.00 3/387 28702
/proc/meminfo: memFree=23345324/32951124 swapFree=49244120/67111528
[pid=28626] ppid=28624 vsize=355236 CPUtime=1800.05 cores=0,2,4,6
/proc/28626/stat : 28626 (scip-2.0.1.4b.l) R 28624 28626 27315 0 -1 4202496 156488 0 0 0 176971 3034 0 0 18 0 1 0 822686232 363761664 87299 33554432000 4194304 9163163 140734688882272 18446744073709551615 4807035 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28626/statm: 88809 87299 746 1214 0 87591 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 355236
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.03
CPU time (s): 1800.08
CPU user time (s): 1769.72
CPU system time (s): 30.3574
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 355236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.72
system time used= 30.3574
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156488
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= 9
involuntary context switches= 1530
runsolver used 7.09392 second user time and 14.2148 second system time
The end