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-3452663-1307076744.opb>
0.00/0.01 c original problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 478 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 478
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.780000e+02
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, 0 chg sides, 21 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 478 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 72 del conss, 178 add conss, 0 chg bounds, 231 chg sides, 577 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 101 del conss, 194 add conss, 0 chg bounds, 304 chg sides, 717 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 106 del conss, 198 add conss, 0 chg bounds, 327 chg sides, 747 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 108 del conss, 200 add conss, 0 chg bounds, 333 chg sides, 768 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.00/0.03 c (round 7) 0 del vars, 109 del conss, 201 add conss, 0 chg bounds, 336 chg sides, 772 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/478 (21.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (8 rounds):
0.00/0.03 c 0 deleted vars, 109 deleted constraints, 201 added constraints, 0 tightened bounds, 0 added holes, 336 changed sides, 772 changed coefficients
0.00/0.03 c 244 implications, 0 cliques
0.00/0.03 c presolved problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 570 constraints
0.00/0.03 c 445 constraints of type <knapsack>
0.00/0.03 c 122 constraints of type <setppc>
0.00/0.03 c 3 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.4
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
1.00/1.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.08 c t 1.1s| 1 | 0 | 10593 | - |2630k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 4.780000e+02 | 218.98%
1.00/1.08 o 355
1.00/1.08 c r 1.1s| 1 | 0 | 10593 | - |2643k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 3.550000e+02 | 136.90%
1.00/1.09 o 354
1.00/1.09 c R 1.1s| 1 | 0 | 10593 | - |2656k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 3.540000e+02 | 136.23%
1.00/1.09 o 353
1.00/1.09 c s 1.1s| 1 | 0 | 10593 | - |2670k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 3.530000e+02 | 135.56%
1.29/1.30 o 224
1.29/1.30 c y 1.3s| 1 | 0 | 10593 | - |3047k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 2.240000e+02 | 49.48%
1.79/1.87 c 1.9s| 1 | 0 | 15013 | - |2975k| 0 | 390 | 478 | 570 | 478 | 791 | 221 | 0 | 0 | 1.569297e+02 | 2.240000e+02 | 42.74%
2.49/2.55 c 2.6s| 1 | 0 | 18188 | - |3228k| 0 | 424 | 478 | 570 | 478 | 970 | 400 | 0 | 0 | 1.604786e+02 | 2.240000e+02 | 39.58%
3.21/3.25 c 3.3s| 1 | 0 | 20884 | - |3435k| 0 | 433 | 478 | 570 | 478 |1113 | 543 | 0 | 0 | 1.626169e+02 | 2.240000e+02 | 37.75%
3.79/3.85 c 3.9s| 1 | 0 | 22665 | - |3565k| 0 | 442 | 478 | 570 | 478 |1212 | 642 | 0 | 0 | 1.635069e+02 | 2.240000e+02 | 37.00%
4.41/4.43 c 4.4s| 1 | 0 | 23869 | - |3636k| 0 | 448 | 478 | 570 | 478 |1282 | 712 | 0 | 0 | 1.639810e+02 | 2.240000e+02 | 36.60%
4.89/4.94 c 4.9s| 1 | 0 | 24586 | - |3683k| 0 | 446 | 478 | 570 | 478 |1324 | 754 | 0 | 0 | 1.642741e+02 | 2.240000e+02 | 36.36%
5.29/5.41 c 5.4s| 1 | 0 | 24942 | - |3706k| 0 | 448 | 478 | 570 | 478 |1348 | 778 | 0 | 0 | 1.643771e+02 | 2.240000e+02 | 36.27%
5.69/5.76 c 5.8s| 1 | 0 | 24970 | - |3713k| 0 | 453 | 478 | 570 | 478 |1351 | 781 | 0 | 0 | 1.643808e+02 | 2.240000e+02 | 36.27%
6.09/6.18 c 6.2s| 1 | 0 | 25224 | - |3725k| 0 | 449 | 478 | 570 | 478 |1360 | 790 | 0 | 0 | 1.644220e+02 | 2.240000e+02 | 36.23%
6.50/6.53 c 6.5s| 1 | 0 | 25247 | - |3733k| 0 | 449 | 478 | 570 | 478 |1362 | 792 | 0 | 0 | 1.644225e+02 | 2.240000e+02 | 36.23%
10.29/10.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.29/10.34 c 10.3s| 1 | 2 | 25247 | - |3753k| 0 | 449 | 478 | 570 | 478 |1362 | 792 | 0 | 24 | 1.644225e+02 | 2.240000e+02 | 36.23%
30.39/30.43 o 223
30.39/30.43 c c30.4s| 15 | 16 | 41257 |1143.6 |4537k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.230000e+02 | 35.49%
30.39/30.43 o 222
30.39/30.43 c c30.4s| 15 | 16 | 41258 |1143.6 |4538k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.220000e+02 | 34.88%
30.39/30.43 o 222
30.39/30.43 c c30.4s| 15 | 16 | 41259 |1143.7 |4539k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.220000e+02 | 34.88%
30.39/30.43 o 221
30.39/30.43 c c30.4s| 15 | 16 | 41268 |1144.4 |4542k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.210000e+02 | 34.28%
30.39/30.44 o 221
30.39/30.44 c c30.4s| 15 | 16 | 41290 |1145.9 |4545k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.210000e+02 | 34.28%
30.39/30.44 o 220
30.39/30.44 c c30.4s| 15 | 16 | 41301 |1146.7 |4548k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.200000e+02 | 33.67%
30.39/30.44 o 219
30.39/30.44 c c30.4s| 15 | 16 | 41344 |1149.8 |4552k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.190000e+02 | 33.06%
30.39/30.45 o 219
30.39/30.45 c c30.4s| 15 | 16 | 41396 |1153.5 |4566k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.190000e+02 | 33.06%
30.39/30.47 o 216
30.39/30.47 c b30.5s| 16 | 15 | 41489 |1082.8 |4456k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.160000e+02 | 31.24%
31.99/32.07 o 215
31.99/32.07 c p32.1s| 27 | 28 | 52949 |1065.5 |4650k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.150000e+02 | 30.56%
31.99/32.07 o 213
31.99/32.07 c p32.1s| 27 | 28 | 52953 |1065.6 |4651k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.130000e+02 | 29.34%
31.99/32.07 o 212
31.99/32.07 c p32.1s| 27 | 28 | 52955 |1065.7 |4652k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.120000e+02 | 28.74%
31.99/32.07 o 209
31.99/32.07 c p32.1s| 27 | 28 | 52962 |1066.0 |4654k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.090000e+02 | 26.91%
31.99/32.08 o 208
31.99/32.08 c p32.1s| 27 | 28 | 52965 |1066.1 |4655k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.080000e+02 | 26.31%
31.99/32.08 o 207
31.99/32.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.99/32.08 c p32.1s| 27 | 28 | 52970 |1066.3 |4656k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.070000e+02 | 25.70%
31.99/32.08 o 206
31.99/32.08 c p32.1s| 27 | 28 | 52981 |1066.7 |4658k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.060000e+02 | 25.09%
31.99/32.08 o 205
31.99/32.08 c p32.1s| 27 | 28 | 52991 |1067.1 |4660k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.050000e+02 | 24.49%
31.99/32.08 o 204
31.99/32.08 c p32.1s| 27 | 28 | 52992 |1067.1 |4661k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.040000e+02 | 23.88%
31.99/32.08 o 203
31.99/32.08 c p32.1s| 27 | 28 | 52995 |1067.2 |4662k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.030000e+02 | 23.27%
31.99/32.08 o 202
31.99/32.08 c p32.1s| 27 | 28 | 53007 |1067.7 |4668k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.020000e+02 | 22.66%
31.99/32.08 o 201
31.99/32.08 c p32.1s| 27 | 28 | 53008 |1067.7 |4669k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.010000e+02 | 22.06%
31.99/32.08 o 200
31.99/32.08 c p32.1s| 27 | 28 | 53011 |1067.8 |4670k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.000000e+02 | 21.45%
31.99/32.08 o 199
31.99/32.08 c p32.1s| 27 | 28 | 53014 |1068.0 |4672k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 1.990000e+02 | 20.84%
71.59/71.61 o 199
71.59/71.61 c p71.6s| 227 | 228 |365925 |1507.4 |4903k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 292 | 1.647264e+02 | 1.990000e+02 | 20.81%
80.69/80.73 o 198
80.69/80.73 c p80.7s| 245 | 246 |436441 |1685.2 |4919k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 302 | 1.647356e+02 | 1.980000e+02 | 20.19%
122.11/122.18 o 198
122.11/122.18 c p 122s| 398 | 399 |728410 |1771.2 |5019k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 411 | 1.649512e+02 | 1.980000e+02 | 20.04%
127.89/127.96 o 197
127.89/127.96 c p 128s| 413 | 414 |771547 |1811.4 |5024k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 420 | 1.650030e+02 | 1.970000e+02 | 19.39%
127.89/127.96 o 197
127.89/127.96 c p 128s| 413 | 414 |771554 |1811.4 |5025k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 420 | 1.650030e+02 | 1.970000e+02 | 19.39%
127.89/127.96 o 196
127.89/127.96 c p 128s| 413 | 414 |771560 |1811.4 |5027k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 420 | 1.650030e+02 | 1.960000e+02 | 18.79%
182.19/182.21 o 195
182.19/182.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.19/182.21 c l 182s| 593 | 594 | 1187k|1962.9 |5154k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 492 | 1.650630e+02 | 1.950000e+02 | 18.14%
182.19/182.28 o 193
182.19/182.28 c b 182s| 594 | 595 | 1187k|1960.3 |4990k| 27 | 381 | 478 | 570 | 478 | 985 | 792 | 0 | 492 | 1.650630e+02 | 1.930000e+02 | 16.93%
434.52/434.53 o 191
434.52/434.53 c C 435s| 5472 | 2732 | 3075k| 557.6 |6537k| 122 | 405 | 478 | 577 | 478 | 985 | 792 | 7 |1070 | 1.654259e+02 | 1.910000e+02 | 15.46%
557.89/557.93 c 558s| 10000 | 4446 | 4072k| 404.8 |7933k| 122 | 147 | 478 | 577 | 478 | 985 | 792 | 7 |1211 | 1.655405e+02 | 1.910000e+02 | 15.38%
872.60/872.60 c 873s| 20000 | 7278 | 6546k| 326.1 | 10M| 122 | 144 | 478 | 576 | 478 | 985 | 792 | 9 |1854 | 1.657003e+02 | 1.910000e+02 | 15.27%
1148.11/1148.10 c 1148s| 30000 | 10088 | 8729k| 290.2 | 12M| 122 | 124 | 478 | 576 | 478 | 985 | 792 | 12 |2384 | 1.658020e+02 | 1.910000e+02 | 15.20%
1427.72/1427.75 c 1428s| 40000 | 12946 | 11010k| 274.6 | 14M| 122 | 143 | 478 | 576 | 478 | 985 | 792 | 13 |2794 | 1.658703e+02 | 1.910000e+02 | 15.15%
1670.51/1670.59 c 1671s| 50000 | 15634 | 12953k| 258.6 | 16M| 122 | - | 478 | 574 | 478 | 985 | 792 | 13 |3148 | 1.659202e+02 | 1.910000e+02 | 15.12%
1800.01/1800.01 c
1800.01/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.01/1800.01 c Solving Time (sec) : 1800.01
1800.01/1800.01 c Solving Nodes : 55282
1800.01/1800.01 c Primal Bound : +1.91000000000000e+02 (689 solutions)
1800.01/1800.01 c Dual Bound : +1.65947862407482e+02
1800.01/1800.01 c Gap : 15.10 %
1800.01/1800.01 s SATISFIABLE
1800.01/1800.01 v -x478 x477 -x476 -x475 -x474 x473 -x472 -x471 x470 x469 -x468 x467 x466 -x465 -x464 x463 x462 x461 -x460 -x459 -x458 x457 -x456
1800.01/1800.01 v -x455 -x454 x453 -x452 -x451 x450 -x449 -x448 x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 x436 x435 -x434
1800.01/1800.01 v x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 x424 x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 x412
1800.01/1800.01 v -x411 -x410 -x409 x408 -x407 -x406 x405 -x404 x403 -x402 x401 x400 -x399 x398 -x397 -x396 x395 x394 -x393 x392 -x391 -x390 -x389
1800.01/1800.01 v x388 x387 -x386 x385 x384 -x383 x382 x381 -x380 -x379 -x378 x377 x376 x375 x374 -x373 -x372 -x371 x370 x369 -x368 x367 -x366
1800.01/1800.01 v x365 x364 -x363 x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 x348 -x347 -x346 x345 -x344
1800.01/1800.01 v -x343 x342 x341 -x340 -x339 -x338 -x337 x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 x327 -x326 -x325 -x324 -x323
1800.01/1800.01 v x322 -x321 -x320 x319 x318 -x317 x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 x304 -x303 -x302 x301 -x300
1800.01/1800.01 v -x299 -x298 -x297 x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 x284 -x283 -x282 x281 -x280 x279
1800.01/1800.01 v -x278 -x277 -x276 x275 -x274 x273 -x272 -x271 -x270 x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 x259 -x258 -x257
1800.01/1800.01 v -x256 x255 x254 -x253 x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 x243 -x242 x241 x240 -x239 x238 -x237 -x236 x235
1800.01/1800.01 v -x234 -x233 x232 -x231 x230 -x229 -x228 x227 -x226 -x225 x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 x216 x215 x214 x213 x212
1800.01/1800.01 v -x211 x210 x209 -x208 x207 -x206 x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 x192 x191 x190
1800.01/1800.01 v -x189 -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 x180 x179 -x178 -x177 x176 x175 x174 -x173 -x172 -x171 x170 x169 x168
1800.01/1800.01 v -x167 -x166 -x165 -x164 -x163 -x162 x161 x160 -x159 x158 x157 -x156 x155 -x154 -x153 -x152 -x151 x150 -x149 x148 -x147 -x146
1800.01/1800.01 v -x145 -x144 x143 -x142 x141 x140 -x139 x138 -x137 x136 x135 x134 -x133 x132 x131 x130 -x129 x128 x127 -x126 x125 -x124 -x123
1800.01/1800.01 v x122 x121 -x120 x119 x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 x107 x106 x105 x104 x103 -x102 -x101 x100
1800.01/1800.01 v -x99 x98 -x97 -x96 x95 x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 x85 -x84 x83 -x82 -x81 x80 x79 -x78 -x77 -x76 -x75 x74 x73
1800.01/1800.01 v x72 -x71 -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
1800.01/1800.01 v x45 x44 x43 -x42 -x41 x40 x39 -x38 x37 x36 -x35 -x34 x33 x32 -x31 x30 x29 x28 x27 x26 x25 x24 -x23 -x22 -x21 -x20 -x19 x18 -x17
1800.01/1800.01 v -x16 x15 x14 -x13 x12 -x11 -x10 -x9 x8 x7 x6 -x5 -x4 -x3 -x2 x1
1800.01/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.01/1800.01 c Total Time : 1800.01
1800.01/1800.01 c solving : 1800.01
1800.01/1800.01 c presolving : 0.02 (included in solving)
1800.01/1800.01 c reading : 0.01 (included in solving)
1800.01/1800.01 c Original Problem :
1800.01/1800.01 c Problem name : HOME/instance-3452663-1307076744.opb
1800.01/1800.01 c Variables : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.01 c Constraints : 478 initial, 478 maximal
1800.01/1800.01 c Presolved Problem :
1800.01/1800.01 c Problem name : t_HOME/instance-3452663-1307076744.opb
1800.01/1800.01 c Variables : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.01 c Constraints : 570 initial, 579 maximal
1800.01/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.01/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c knapsack : 0.01 0 0 0 0 0 29 201 336 751
1800.01/1800.01 c setppc : 0.00 0 0 0 0 0 80 0 0 0
1800.01/1800.01 c linear : 0.01 0 0 0 0 0 0 0 0 21
1800.01/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.01/1800.01 c root node : - 0 - - 0 - - - - -
1800.01/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c integral : 0 0 0 36350 0 694 0 0 22 0 0 72668
1800.01/1800.01 c knapsack : 445 11 315016 0 1 689 0 0 230986 763 0 0
1800.01/1800.01 c setppc : 122 11 314918 0 1 688 0 0 35387 0 0 0
1800.01/1800.01 c logicor : 3+ 11 20786 0 1 688 0 0 122 0 0 0
1800.01/1800.01 c countsols : 0 0 0 0 1 692 0 0 0 0 0 0
1800.01/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.01/1800.01 c integral : 107.92 0.00 0.00 107.92 0.00 0.00 0.00
1800.01/1800.01 c knapsack : 3.23 0.04 3.19 0.00 0.00 0.01 0.00
1800.01/1800.01 c setppc : 0.40 0.00 0.40 0.00 0.00 0.00 0.00
1800.01/1800.01 c logicor : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1800.01/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.01/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.01/1800.01 c vbounds : 0 0 0 0
1800.01/1800.01 c rootredcost : 26 0 0 0
1800.01/1800.01 c pseudoobj : 315726 0 0 0
1800.01/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.01/1800.01 c vbounds : 0.06 0.06 0.00
1800.01/1800.01 c rootredcost : 0.06 0.06 0.00
1800.01/1800.01 c pseudoobj : 2.40 2.40 0.00
1800.01/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.01 c infeasible LP : 0.00 13 13 13 4.6 0 0.0 0
1800.01/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.01 c applied globally : - - - 13 4.6 - - -
1800.01/1800.01 c applied locally : - - - 0 0.0 - - -
1800.01/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.01 c cut pool : 0.00 10 - - 294 - (maximal pool size: 1429)
1800.01/1800.01 c redcost : 1.47 69851 0 804125 0 0
1800.01/1800.01 c impliedbounds : 0.00 11 0 0 0 0
1800.01/1800.01 c intobj : 0.00 0 0 0 0 0
1800.01/1800.01 c gomory : 1.56 11 0 0 0 0
1800.01/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.01/1800.01 c strongcg : 1.44 11 0 0 0 0
1800.01/1800.01 c cmir : 0.23 10 0 0 862 0
1800.01/1800.01 c flowcover : 0.24 10 0 0 1008 0
1800.01/1800.01 c clique : 0.00 1 0 0 0 0
1800.01/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.01 c mcf : 0.00 1 0 0 0 0
1800.01/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.01/1800.01 c rapidlearning : 0.06 1 0 0 0 0
1800.01/1800.01 c Pricers : Time Calls Vars
1800.01/1800.01 c problem variables: 0.00 0 0
1800.01/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.01 c relpscost : 107.90 36350 0 22 0 0 72668
1800.01/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.01/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.01 c random : 0.00 0 0 0 0 0 0
1800.01/1800.01 c Primal Heuristics : Time Calls Found
1800.01/1800.01 c LP solutions : 0.00 - 0
1800.01/1800.01 c pseudo solutions : 0.00 - 0
1800.01/1800.01 c feaspump : 0.00 0 0
1800.01/1800.01 c intshifting : 0.00 0 0
1800.01/1800.01 c oneopt : 0.02 11 2
1800.01/1800.01 c objpscostdiving : 32.98 5 75
1800.01/1800.01 c crossover : 0.41 4 4
1800.01/1800.01 c fracdiving : 50.91 45 0
1800.01/1800.01 c veclendiving : 72.82 84 73
1800.01/1800.01 c coefdiving : 216.72 187 185
1800.01/1800.01 c pscostdiving : 307.65 359 241
1800.01/1800.01 c trivial : 0.00 2 1
1800.01/1800.01 c shiftandpropagate: 0.00 0 0
1800.01/1800.01 c simplerounding : 1.08 61810 25
1800.01/1800.01 c zirounding : 0.41 1000 14
1800.01/1800.01 c rounding : 11.65 11561 1
1800.01/1800.01 c shifting : 3.09 3295 1
1800.01/1800.01 c twoopt : 0.00 0 0
1800.01/1800.01 c fixandinfer : 0.00 0 0
1800.01/1800.01 c clique : 0.00 0 0
1800.01/1800.01 c intdiving : 0.00 0 0
1800.01/1800.01 c actconsdiving : 0.00 0 0
1800.01/1800.01 c rootsoldiving : 12.40 14 0
1800.01/1800.01 c linesearchdiving : 102.08 141 66
1800.01/1800.01 c guideddiving : 51.75 43 0
1800.01/1800.01 c octane : 0.00 0 0
1800.01/1800.01 c rens : 0.00 0 0
1800.01/1800.01 c rins : 0.00 0 0
1800.01/1800.01 c localbranching : 0.00 0 0
1800.01/1800.01 c mutation : 0.00 0 0
1800.01/1800.01 c dins : 0.00 0 0
1800.01/1800.01 c vbounds : 0.00 0 0
1800.01/1800.01 c undercover : 0.00 0 0
1800.01/1800.01 c subnlp : 0.01 0 0
1800.01/1800.01 c trysol : 0.01 0 0
1800.01/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.01 c dual LP : 804.36 80732 6898428 85.45 8576.26
1800.01/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.01 c diving/probing LP: 822.14 129427 7103602 54.89 8640.36
1800.01/1800.01 c strong branching : 106.12 3276 732683 223.65 6904.24
1800.01/1800.01 c (at root node) : - 24 20688 862.00 -
1800.01/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.01 c B&B Tree :
1800.01/1800.01 c number of runs : 1
1800.01/1800.01 c nodes : 55282
1800.01/1800.01 c nodes (total) : 55282
1800.01/1800.01 c nodes left : 16968
1800.01/1800.01 c max depth : 122
1800.01/1800.01 c max depth (total): 122
1800.01/1800.01 c backtracks : 9288 (16.8%)
1800.01/1800.01 c delayed cutoffs : 0
1800.01/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.01/1800.01 c avg switch length: 6.62
1800.01/1800.01 c switching time : 2.52
1800.01/1800.01 c Solution :
1800.01/1800.01 c Solutions found : 689 (37 improvements)
1800.01/1800.01 c First Solution : +4.78000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.01/1800.01 c Primal Bound : +1.91000000000000e+02 (in run 1, after 5472 nodes, 434.53 seconds, depth 9, found by <crossover>)
1800.01/1800.01 c Dual Bound : +1.65947862407482e+02
1800.01/1800.01 c Gap : 15.10 %
1800.01/1800.01 c Root Dual Bound : +1.64422542324259e+02
1800.01/1800.01 c Root Iterations : 25247
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-3452663-1307076744/watcher-3452663-1307076744 -o /tmp/evaluation-result-3452663-1307076744/solver-3452663-1307076744 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452663-1307076744.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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.00 2.01 2.00 2/498 9308
/proc/meminfo: memFree=29106116/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=17012 CPUtime=0.01 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 3006 0 0 0 1 0 0 0 25 0 1 0 819274063 17420288 2959 33554432000 4194304 9128323 140735289126688 18446744073709551615 4552784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 4253 2960 478 1205 0 3044 0
[startup+0.0509641 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 9308
/proc/meminfo: memFree=29106116/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=21108 CPUtime=0.04 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 4405 0 0 0 4 0 0 0 25 0 1 0 819274063 21614592 4101 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 5277 4101 644 1205 0 4068 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21108
[startup+0.100952 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 9308
/proc/meminfo: memFree=29106116/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=21108 CPUtime=0.09 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 4452 0 0 0 9 0 0 0 25 0 1 0 819274063 21614592 4148 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 5277 4148 644 1205 0 4068 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21108
[startup+0.300918 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 9308
/proc/meminfo: memFree=29106116/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=21356 CPUtime=0.29 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 4513 0 0 0 28 1 0 0 25 0 1 0 819274063 21868544 4208 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 5339 4208 645 1205 0 4130 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21356
[startup+0.700852 s]
/proc/loadavg: 2.00 2.01 2.00 2/498 9308
/proc/meminfo: memFree=29106116/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=21516 CPUtime=0.69 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 4550 0 0 0 67 2 0 0 25 0 1 0 819274063 22032384 4245 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 5379 4245 645 1205 0 4170 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21516
[startup+1.50072 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 9309
/proc/meminfo: memFree=29089244/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=23172 CPUtime=1.49 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 7849 0 0 0 145 4 0 0 25 0 1 0 819274063 23728128 4814 33554432000 4194304 9128323 140735289126688 18446744073709551615 7357384 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 5793 4814 723 1205 0 4584 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23172
[startup+3.10048 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 9309
/proc/meminfo: memFree=29086764/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=24736 CPUtime=3.09 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 8207 0 0 0 302 7 0 0 25 0 1 0 819274063 25329664 5172 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 6184 5172 724 1205 0 4975 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24736
[startup+6.30091 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 9309
/proc/meminfo: memFree=29084556/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=25556 CPUtime=6.29 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 8390 0 0 0 620 9 0 0 25 0 1 0 819274063 26169344 5355 33554432000 4194304 9128323 140735289126688 18446744073709551615 6637235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 6389 5355 724 1205 0 5180 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25556
[startup+12.7008 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 9309
/proc/meminfo: memFree=29084540/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=25444 CPUtime=12.69 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 9259 0 0 0 1250 19 0 0 25 0 1 0 819274063 26054656 5336 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 6361 5336 730 1205 0 5152 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25444
[startup+25.5007 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 9309
/proc/meminfo: memFree=29085156/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=25444 CPUtime=25.49 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 9262 0 0 0 2507 42 0 0 25 0 1 0 819274063 26054656 5339 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 6361 5339 731 1205 0 5152 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25444
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 9309
/proc/meminfo: memFree=29082580/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=26468 CPUtime=51.09 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 9533 0 0 0 4995 114 0 0 25 0 1 0 819274063 27103232 5610 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 6617 5610 733 1205 0 5408 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26468
[startup+102.319 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 9311
/proc/meminfo: memFree=29083356/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=26312 CPUtime=102.31 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 12119 0 0 0 10001 230 0 0 25 0 1 0 819274063 26943488 5572 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 6578 5572 738 1205 0 5369 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 26312
[startup+162.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/499 9313
/proc/meminfo: memFree=29080612/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=26844 CPUtime=162.29 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 12249 0 0 0 15860 369 0 0 25 0 1 0 819274063 27488256 5702 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 6711 5702 738 1205 0 5502 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 26844
[startup+222.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/499 9315
/proc/meminfo: memFree=29080848/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=27316 CPUtime=222.29 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 12371 0 0 0 21721 508 0 0 25 0 1 0 819274063 27971584 5824 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 6829 5824 738 1205 0 5620 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 27316
[startup+282.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/499 9315
/proc/meminfo: memFree=29080840/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=27368 CPUtime=282.29 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 15459 0 0 0 27571 658 0 0 25 0 1 0 819274063 28024832 5834 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 6842 5834 739 1205 0 5633 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 27368
[startup+342.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/499 9317
/proc/meminfo: memFree=29080336/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=28256 CPUtime=342.29 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 15701 0 0 0 33417 812 0 0 25 0 1 0 819274063 28934144 6076 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 7064 6076 741 1205 0 5855 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 28256
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/499 9319
/proc/meminfo: memFree=29079712/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=28720 CPUtime=402.3 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 15824 0 0 0 39267 963 0 0 25 0 1 0 819274063 29409280 6199 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 7180 6199 741 1205 0 5971 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 28720
[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 9321
/proc/meminfo: memFree=29077844/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=28984 CPUtime=462.29 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 24473 0 0 0 45112 1117 0 0 25 0 1 0 819274063 29679616 6260 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 7246 6260 741 1205 0 6037 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 28984
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9332
/proc/meminfo: memFree=29075640/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=29600 CPUtime=522.29 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 25498 0 0 0 50954 1275 0 0 25 0 1 0 819274063 30310400 6414 33554432000 4194304 9128323 140735289126688 18446744073709551615 7357564 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 7400 6414 741 1205 0 6191 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 29600
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9332
/proc/meminfo: memFree=29072600/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=31500 CPUtime=582.3 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 25981 0 0 0 56757 1473 0 0 25 0 1 0 819274063 32256000 6897 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 7875 6897 741 1205 0 6666 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 31500
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.21 2.07 2.02 3/499 9343
/proc/meminfo: memFree=29069188/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=32336 CPUtime=822.3 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 27687 0 0 0 79928 2302 0 0 25 0 1 0 819274063 33112064 7100 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 8084 7100 741 1205 0 6875 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 32336
[startup+882.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/499 9343
/proc/meminfo: memFree=29066008/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=32336 CPUtime=882.3 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 27690 0 0 0 85734 2496 0 0 25 0 1 0 819274063 33112064 7103 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 8084 7103 741 1205 0 6875 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 32336
[startup+942.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/499 9345
/proc/meminfo: memFree=29065756/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=33596 CPUtime=942.3 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 28017 0 0 0 91522 2708 0 0 25 0 1 0 819274063 34402304 7430 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 8399 7430 741 1205 0 7190 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 33596
[startup+1002.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/499 9347
/proc/meminfo: memFree=29063768/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=35000 CPUtime=1002.3 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 28371 0 0 0 97325 2905 0 0 25 0 1 0 819274063 35840000 7784 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 8750 7784 741 1205 0 7541 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 35000
[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/499 9349
/proc/meminfo: memFree=29062272/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=36116 CPUtime=1062.31 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 28646 0 0 0 103114 3117 0 0 25 0 1 0 819274063 36982784 8059 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 9029 8059 741 1205 0 7820 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 36116
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 9351
/proc/meminfo: memFree=29061516/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=36344 CPUtime=1122.3 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 28702 0 0 0 108904 3326 0 0 25 0 1 0 819274063 37216256 8115 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 9086 8115 741 1205 0 7877 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 36344
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9351
/proc/meminfo: memFree=29060148/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=37028 CPUtime=1182.31 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 29608 0 0 0 114705 3526 0 0 25 0 1 0 819274063 37916672 8285 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 9257 8285 741 1205 0 8048 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 37028
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9353
/proc/meminfo: memFree=29058648/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=37028 CPUtime=1242.31 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 29624 0 0 0 120480 3751 0 0 25 0 1 0 819274063 37916672 8301 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 9257 8301 741 1205 0 8048 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 37028
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 9355
/proc/meminfo: memFree=29057648/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=37448 CPUtime=1302.32 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 29733 0 0 0 126284 3948 0 0 25 0 1 0 819274063 38346752 8410 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 9362 8410 741 1205 0 8153 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 37448
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 9357
/proc/meminfo: memFree=29057248/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=37688 CPUtime=1362.31 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 29793 0 0 0 132075 4156 0 0 25 0 1 0 819274063 38592512 8470 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 9422 8470 741 1205 0 8213 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 37688
[startup+1422.32 s]
/proc/loadavg: 2.25 2.07 2.02 3/499 9359
/proc/meminfo: memFree=29055128/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=39052 CPUtime=1422.32 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30122 0 0 0 137878 4354 0 0 25 0 1 0 819274063 39989248 8799 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 9763 8799 741 1205 0 8554 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 39052
[startup+1482.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/499 9359
/proc/meminfo: memFree=29054620/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=39052 CPUtime=1482.31 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30126 0 0 0 143675 4556 0 0 25 0 1 0 819274063 39989248 8803 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 9763 8803 741 1205 0 8554 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 39052
[startup+1542.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/499 9361
/proc/meminfo: memFree=29056092/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=39052 CPUtime=1542.31 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30127 0 0 0 149462 4769 0 0 25 0 1 0 819274063 39989248 8804 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 9763 8804 741 1205 0 8554 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 39052
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/499 9363
/proc/meminfo: memFree=29054464/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=40308 CPUtime=1602.31 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30446 0 0 0 155257 4974 0 0 25 0 1 0 819274063 41275392 9123 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 10077 9123 741 1205 0 8868 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 40308
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 9365
/proc/meminfo: memFree=29051224/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=40308 CPUtime=1662.31 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30460 0 0 0 161049 5182 0 0 25 0 1 0 819274063 41275392 9137 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 10077 9137 741 1205 0 8868 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 40308
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 9367
/proc/meminfo: memFree=29051092/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=40308 CPUtime=1722.31 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30468 0 0 0 166851 5380 0 0 25 0 1 0 819274063 41275392 9145 33554432000 4194304 9128323 140735289126688 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 10077 9145 741 1205 0 8868 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 40308
[startup+1782.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/499 9394
/proc/meminfo: memFree=28280232/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=40480 CPUtime=1782.32 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30509 0 0 0 172635 5597 0 0 25 0 1 0 819274063 41451520 9186 33554432000 4194304 9128323 140735289126688 18446744073709551615 5984669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9308/statm: 10120 9186 741 1205 0 8911 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 40480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.10 2.05 2.01 3/499 9396
/proc/meminfo: memFree=27585544/32951132 swapFree=57925096/67111528
[pid=9308] ppid=9306 vsize=40480 CPUtime=1800.03 cores=1,3,5,7
/proc/9308/stat : 9308 (scip-2.0.1.4.li) R 9306 9308 7222 0 -1 4202496 30512 0 0 0 174326 5677 0 0 18 0 1 0 819274063 41451520 9189 33554432000 4194304 9128323 140735289126688 18446744073709551615 4746787 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9308/statm: 10120 9189 743 1205 0 8911 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 40480
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.02
CPU time (s): 1800.04
CPU user time (s): 1743.27
CPU system time (s): 56.7744
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 41936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.27
system time used= 56.7744
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30512
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= 3081
runsolver used 8.77966 second user time and 20.5059 second system time
The end