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-3451003-1307650865.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.02 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.5
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.09 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.09 c t 1.1s| 1 | 0 | 10593 | - |2664k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 4.780000e+02 | 218.98%
1.00/1.09 o 355
1.00/1.09 c r 1.1s| 1 | 0 | 10593 | - |2677k| 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 | - |2690k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 3.540000e+02 | 136.23%
1.00/1.10 o 353
1.00/1.10 c s 1.1s| 1 | 0 | 10593 | - |2704k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 3.530000e+02 | 135.56%
1.29/1.31 o 224
1.29/1.31 c y 1.3s| 1 | 0 | 10593 | - |3080k| 0 | 343 | 478 | 570 | 478 | 570 | 0 | 0 | 0 | 1.498533e+02 | 2.240000e+02 | 49.48%
1.79/1.88 c 1.9s| 1 | 0 | 15013 | - |3009k| 0 | 390 | 478 | 570 | 478 | 791 | 221 | 0 | 0 | 1.569297e+02 | 2.240000e+02 | 42.74%
2.49/2.56 c 2.6s| 1 | 0 | 18188 | - |3261k| 0 | 424 | 478 | 570 | 478 | 970 | 400 | 0 | 0 | 1.604786e+02 | 2.240000e+02 | 39.58%
3.20/3.26 c 3.3s| 1 | 0 | 20884 | - |3469k| 0 | 433 | 478 | 570 | 478 |1113 | 543 | 0 | 0 | 1.626169e+02 | 2.240000e+02 | 37.75%
3.79/3.86 c 3.9s| 1 | 0 | 22665 | - |3598k| 0 | 442 | 478 | 570 | 478 |1212 | 642 | 0 | 0 | 1.635069e+02 | 2.240000e+02 | 37.00%
4.40/4.44 c 4.4s| 1 | 0 | 23869 | - |3670k| 0 | 448 | 478 | 570 | 478 |1282 | 712 | 0 | 0 | 1.639810e+02 | 2.240000e+02 | 36.60%
4.89/4.95 c 5.0s| 1 | 0 | 24586 | - |3716k| 0 | 446 | 478 | 570 | 478 |1324 | 754 | 0 | 0 | 1.642741e+02 | 2.240000e+02 | 36.36%
5.40/5.42 c 5.4s| 1 | 0 | 24942 | - |3739k| 0 | 448 | 478 | 570 | 478 |1348 | 778 | 0 | 0 | 1.643771e+02 | 2.240000e+02 | 36.27%
5.69/5.77 c 5.8s| 1 | 0 | 24970 | - |3746k| 0 | 453 | 478 | 570 | 478 |1351 | 781 | 0 | 0 | 1.643808e+02 | 2.240000e+02 | 36.27%
6.09/6.19 c 6.2s| 1 | 0 | 25224 | - |3758k| 0 | 449 | 478 | 570 | 478 |1360 | 790 | 0 | 0 | 1.644220e+02 | 2.240000e+02 | 36.23%
6.50/6.55 c 6.5s| 1 | 0 | 25247 | - |3766k| 0 | 449 | 478 | 570 | 478 |1362 | 792 | 0 | 0 | 1.644225e+02 | 2.240000e+02 | 36.23%
10.29/10.37 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.37 c 10.4s| 1 | 2 | 25247 | - |3786k| 0 | 449 | 478 | 570 | 478 |1362 | 792 | 0 | 24 | 1.644225e+02 | 2.240000e+02 | 36.23%
30.50/30.52 o 223
30.50/30.52 c c30.5s| 15 | 16 | 41257 |1143.6 |4570k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.230000e+02 | 35.49%
30.50/30.52 o 222
30.50/30.52 c c30.5s| 15 | 16 | 41258 |1143.6 |4571k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.220000e+02 | 34.88%
30.50/30.52 o 222
30.50/30.52 c c30.5s| 15 | 16 | 41259 |1143.7 |4573k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.220000e+02 | 34.88%
30.50/30.53 o 221
30.50/30.53 c c30.5s| 15 | 16 | 41268 |1144.4 |4575k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.210000e+02 | 34.28%
30.50/30.53 o 221
30.50/30.53 c c30.5s| 15 | 16 | 41290 |1145.9 |4578k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.210000e+02 | 34.28%
30.50/30.53 o 220
30.50/30.53 c c30.5s| 15 | 16 | 41301 |1146.7 |4581k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.200000e+02 | 33.67%
30.50/30.53 o 219
30.50/30.53 c c30.5s| 15 | 16 | 41344 |1149.8 |4585k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.190000e+02 | 33.06%
30.50/30.54 o 219
30.50/30.54 c c30.5s| 15 | 16 | 41396 |1153.5 |4599k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.190000e+02 | 33.06%
30.50/30.56 o 216
30.50/30.56 c b30.6s| 16 | 15 | 41489 |1082.8 |4489k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.645868e+02 | 2.160000e+02 | 31.24%
32.09/32.17 o 215
32.09/32.17 c p32.2s| 27 | 28 | 52949 |1065.5 |4683k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.150000e+02 | 30.56%
32.09/32.17 o 213
32.09/32.17 c p32.2s| 27 | 28 | 52953 |1065.6 |4684k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.130000e+02 | 29.34%
32.09/32.17 o 212
32.09/32.17 c p32.2s| 27 | 28 | 52955 |1065.7 |4685k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.120000e+02 | 28.74%
32.09/32.17 o 209
32.09/32.17 c p32.2s| 27 | 28 | 52962 |1066.0 |4687k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.090000e+02 | 26.91%
32.09/32.17 o 208
32.09/32.17 c p32.2s| 27 | 28 | 52965 |1066.1 |4688k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.080000e+02 | 26.31%
32.09/32.17 o 207
32.09/32.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.09/32.17 c p32.2s| 27 | 28 | 52970 |1066.3 |4689k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.070000e+02 | 25.70%
32.09/32.18 o 206
32.09/32.18 c p32.2s| 27 | 28 | 52981 |1066.7 |4691k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.060000e+02 | 25.09%
32.09/32.18 o 205
32.09/32.18 c p32.2s| 27 | 28 | 52991 |1067.1 |4693k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.050000e+02 | 24.49%
32.09/32.18 o 204
32.09/32.18 c p32.2s| 27 | 28 | 52992 |1067.1 |4694k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.040000e+02 | 23.88%
32.09/32.18 o 203
32.09/32.18 c p32.2s| 27 | 28 | 52995 |1067.2 |4695k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.030000e+02 | 23.27%
32.09/32.18 o 202
32.09/32.18 c p32.2s| 27 | 28 | 53007 |1067.7 |4701k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.020000e+02 | 22.66%
32.09/32.18 o 201
32.09/32.18 c p32.2s| 27 | 28 | 53008 |1067.7 |4702k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.010000e+02 | 22.06%
32.09/32.18 o 200
32.09/32.18 c p32.2s| 27 | 28 | 53011 |1067.8 |4703k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 2.000000e+02 | 21.45%
32.09/32.18 o 199
32.09/32.18 c p32.2s| 27 | 28 | 53014 |1068.0 |4705k| 14 | - | 478 | 570 | 478 | 985 | 792 | 0 | 234 | 1.646779e+02 | 1.990000e+02 | 20.84%
71.79/71.81 o 199
71.79/71.81 c p71.8s| 227 | 228 |365925 |1507.4 |4936k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 292 | 1.647264e+02 | 1.990000e+02 | 20.81%
80.90/80.94 o 198
80.90/80.94 c p80.9s| 245 | 246 |436441 |1685.2 |4952k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 302 | 1.647356e+02 | 1.980000e+02 | 20.19%
122.40/122.47 o 198
122.40/122.47 c p 122s| 398 | 399 |728410 |1771.2 |5052k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 411 | 1.649512e+02 | 1.980000e+02 | 20.04%
128.19/128.26 o 197
128.19/128.26 c p 128s| 413 | 414 |771547 |1811.4 |5058k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 420 | 1.650030e+02 | 1.970000e+02 | 19.39%
128.19/128.26 o 197
128.19/128.26 c p 128s| 413 | 414 |771554 |1811.4 |5058k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 420 | 1.650030e+02 | 1.970000e+02 | 19.39%
128.19/128.26 o 196
128.19/128.26 c p 128s| 413 | 414 |771560 |1811.4 |5060k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 420 | 1.650030e+02 | 1.960000e+02 | 18.79%
182.60/182.61 o 195
182.60/182.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.60/182.61 c l 183s| 593 | 594 | 1187k|1962.9 |5187k| 27 | - | 478 | 570 | 478 | 985 | 792 | 0 | 492 | 1.650630e+02 | 1.950000e+02 | 18.14%
182.60/182.68 o 193
182.60/182.68 c b 183s| 594 | 595 | 1187k|1960.3 |5023k| 27 | 381 | 478 | 570 | 478 | 985 | 792 | 0 | 492 | 1.650630e+02 | 1.930000e+02 | 16.93%
435.40/435.49 o 191
435.40/435.49 c C 435s| 5472 | 2732 | 3075k| 557.6 |6570k| 122 | 405 | 478 | 577 | 478 | 985 | 792 | 7 |1070 | 1.654259e+02 | 1.910000e+02 | 15.46%
559.21/559.24 c 559s| 10000 | 4446 | 4072k| 404.8 |7966k| 122 | 147 | 478 | 577 | 478 | 985 | 792 | 7 |1211 | 1.655405e+02 | 1.910000e+02 | 15.38%
874.31/874.38 c 874s| 20000 | 7278 | 6546k| 326.1 | 10M| 122 | 144 | 478 | 576 | 478 | 985 | 792 | 9 |1854 | 1.657003e+02 | 1.910000e+02 | 15.27%
1150.32/1150.35 c 1150s| 30000 | 10088 | 8729k| 290.2 | 12M| 122 | 124 | 478 | 576 | 478 | 985 | 792 | 12 |2384 | 1.658020e+02 | 1.910000e+02 | 15.20%
1430.42/1430.41 c 1430s| 40000 | 12946 | 11010k| 274.6 | 14M| 122 | 143 | 478 | 576 | 478 | 985 | 792 | 13 |2794 | 1.658703e+02 | 1.910000e+02 | 15.15%
1673.63/1673.65 c 1674s| 50000 | 15634 | 12953k| 258.6 | 16M| 122 | - | 478 | 574 | 478 | 985 | 792 | 13 |3148 | 1.659202e+02 | 1.910000e+02 | 15.12%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1800.01
1800.04/1800.01 c Solving Nodes : 55076
1800.04/1800.01 c Primal Bound : +1.91000000000000e+02 (690 solutions)
1800.04/1800.01 c Dual Bound : +1.65946950032593e+02
1800.04/1800.01 c Gap : 15.10 %
1800.04/1800.01 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/1800.01 v -x16 x15 x14 -x13 x12 -x11 -x10 -x9 x8 x7 x6 -x5 -x4 -x3 -x2 x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Total Time : 1800.01
1800.04/1800.01 c solving : 1800.01
1800.04/1800.01 c presolving : 0.02 (included in solving)
1800.04/1800.01 c reading : 0.01 (included in solving)
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-3451003-1307650865.opb
1800.04/1800.01 c Variables : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 478 initial, 478 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-3451003-1307650865.opb
1800.04/1800.01 c Variables : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 570 initial, 579 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c knapsack : 0.01 0 0 0 0 0 29 201 336 751
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 80 0 0 0
1800.04/1800.01 c linear : 0.01 0 0 0 0 0 0 0 0 21
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 36221 0 695 0 0 22 0 0 72410
1800.04/1800.01 c knapsack : 445 11 314209 0 2 690 0 0 230039 763 0 0
1800.04/1800.01 c setppc : 122 11 314111 0 2 689 0 0 35222 0 0 0
1800.04/1800.01 c logicor : 3+ 11 20725 0 2 689 0 0 119 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 2 693 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.01 c integral : 108.16 0.00 0.00 108.16 0.00 0.00 0.00
1800.04/1800.01 c knapsack : 3.16 0.04 3.12 0.00 0.00 0.01 0.00
1800.04/1800.01 c setppc : 0.39 0.00 0.39 0.00 0.00 0.00 0.00
1800.04/1800.01 c logicor : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.01 c vbounds : 0 0 0 0
1800.04/1800.01 c rootredcost : 26 0 0 0
1800.04/1800.01 c pseudoobj : 314916 0 0 0
1800.04/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.01 c vbounds : 0.06 0.06 0.00
1800.04/1800.01 c rootredcost : 0.07 0.07 0.00
1800.04/1800.01 c pseudoobj : 2.42 2.42 0.00
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c infeasible LP : 0.00 13 13 13 4.6 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 13 4.6 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 10 - - 294 - (maximal pool size: 1429)
1800.04/1800.01 c redcost : 1.46 69571 0 800504 0 0
1800.04/1800.01 c impliedbounds : 0.00 11 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 1.55 11 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 1.45 11 0 0 0 0
1800.04/1800.01 c cmir : 0.23 10 0 0 862 0
1800.04/1800.01 c flowcover : 0.25 10 0 0 1008 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.06 1 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 108.14 36221 0 22 0 0 72410
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 0.00 2 0 0 0 0 4
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c oneopt : 0.02 11 2
1800.04/1800.01 c objpscostdiving : 33.13 5 75
1800.04/1800.01 c crossover : 1.08 5 5
1800.04/1800.01 c rootsoldiving : 12.46 14 0
1800.04/1800.01 c fracdiving : 51.00 45 0
1800.04/1800.01 c veclendiving : 72.91 84 73
1800.04/1800.01 c linesearchdiving : 101.65 140 66
1800.04/1800.01 c coefdiving : 217.06 187 185
1800.04/1800.01 c pscostdiving : 308.08 359 241
1800.04/1800.01 c trivial : 0.00 2 1
1800.04/1800.01 c shiftandpropagate: 0.00 0 0
1800.04/1800.01 c simplerounding : 1.04 61559 25
1800.04/1800.01 c zirounding : 0.41 1000 14
1800.04/1800.01 c rounding : 11.58 11535 1
1800.04/1800.01 c shifting : 3.06 3282 1
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c clique : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c guideddiving : 51.83 43 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.01 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c vbounds : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c subnlp : 0.01 0 0
1800.04/1800.01 c trysol : 0.02 0 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 802.94 80404 6874921 85.50 8562.16
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 822.82 129247 7098926 54.93 8627.59
1800.04/1800.01 c strong branching : 106.37 3276 732683 223.65 6888.28
1800.04/1800.01 c (at root node) : - 24 20688 862.00 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 55076
1800.04/1800.01 c nodes (total) : 55076
1800.04/1800.01 c nodes left : 16918
1800.04/1800.01 c max depth : 122
1800.04/1800.01 c max depth (total): 122
1800.04/1800.01 c backtracks : 9251 (16.8%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 6.62
1800.04/1800.01 c switching time : 2.41
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 690 (37 improvements)
1800.04/1800.01 c First Solution : +4.78000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +1.91000000000000e+02 (in run 1, after 5472 nodes, 435.49 seconds, depth 9, found by <crossover>)
1800.04/1800.01 c Dual Bound : +1.65946950032593e+02
1800.04/1800.01 c Gap : 15.10 %
1800.04/1800.01 c Root Dual Bound : +1.64422542324259e+02
1800.04/1800.01 c Root Iterations : 25247
1800.04/1800.03 c Time complete: 1800.07.
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-3451003-1307650865/watcher-3451003-1307650865 -o /tmp/evaluation-result-3451003-1307650865/solver-3451003-1307650865 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451003-1307650865.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: 1.00 1.00 1.04 4/176 12119
/proc/meminfo: memFree=32044048/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=13020 CPUtime=0 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 2245 0 0 0 0 0 0 0 20 0 1 0 857501875 13332480 2199 33554432000 4194304 9163163 140734741622192 18446744073709551615 6167890 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/12119/statm: 3255 2199 389 1214 0 2037 0
[startup+0.060243 s]
/proc/loadavg: 1.00 1.00 1.04 4/176 12119
/proc/meminfo: memFree=32044048/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=22596 CPUtime=0.05 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 4793 0 0 0 5 0 0 0 20 0 1 0 857501875 23138304 4485 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 5649 4485 644 1214 0 4431 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 22596
[startup+0.100236 s]
/proc/loadavg: 1.00 1.00 1.04 4/176 12119
/proc/meminfo: memFree=32044048/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=22596 CPUtime=0.09 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 4816 0 0 0 8 1 0 0 20 0 1 0 857501875 23138304 4508 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 5649 4508 644 1214 0 4431 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22596
[startup+0.3002 s]
/proc/loadavg: 1.00 1.00 1.04 4/176 12119
/proc/meminfo: memFree=32044048/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=22596 CPUtime=0.29 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 4841 0 0 0 27 2 0 0 21 0 1 0 857501875 23138304 4533 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 5649 4533 645 1214 0 4431 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22596
[startup+0.700139 s]
/proc/loadavg: 1.00 1.00 1.04 4/176 12119
/proc/meminfo: memFree=32044048/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=22864 CPUtime=0.68 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 4897 0 0 0 65 3 0 0 22 0 1 0 857501875 23412736 4589 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 5716 4589 645 1214 0 4498 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22864
[startup+1.501 s]
/proc/loadavg: 1.00 1.00 1.04 4/178 12122
/proc/meminfo: memFree=32010724/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=31540 CPUtime=1.49 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 8506 0 0 0 143 6 0 0 25 0 1 0 857501875 32296960 6780 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 7885 6780 714 1214 0 6667 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31540
[startup+3.10071 s]
/proc/loadavg: 1.08 1.02 1.04 3/178 12122
/proc/meminfo: memFree=32000804/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=31788 CPUtime=3.09 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 8567 0 0 0 299 10 0 0 25 0 1 0 857501875 32550912 6841 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 7947 6841 715 1214 0 6729 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31788
[startup+6.30115 s]
/proc/loadavg: 1.08 1.02 1.04 4/178 12122
/proc/meminfo: memFree=31999008/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=32124 CPUtime=6.29 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 8643 0 0 0 614 15 0 0 25 0 1 0 857501875 32894976 6917 33554432000 4194304 9163163 140734741622192 18446744073709551615 6674637 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8031 6917 715 1214 0 6813 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32124
[startup+12.701 s]
/proc/loadavg: 1.22 1.05 1.05 3/178 12122
/proc/meminfo: memFree=31996804/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=33148 CPUtime=12.69 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 9000 0 0 0 1238 31 0 0 25 0 1 0 857501875 33943552 7274 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8287 7274 721 1214 0 7069 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33148
[startup+25.5007 s]
/proc/loadavg: 1.34 1.08 1.06 3/178 12122
/proc/meminfo: memFree=31997244/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=33148 CPUtime=25.49 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 9001 0 0 0 2482 67 0 0 25 0 1 0 857501875 33943552 7275 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8287 7275 722 1214 0 7069 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33148
[startup+51.1002 s]
/proc/loadavg: 1.56 1.15 1.08 3/178 12123
/proc/meminfo: memFree=31997032/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=33148 CPUtime=51.09 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 9004 0 0 0 4951 158 0 0 25 0 1 0 857501875 33943552 7278 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8287 7278 725 1214 0 7069 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 33148
[startup+102.306 s]
/proc/loadavg: 1.82 1.29 1.13 3/178 12124
/proc/meminfo: memFree=31996416/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=32124 CPUtime=102.3 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 10356 0 0 0 9905 325 0 0 25 0 1 0 857501875 32894976 7040 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8031 7040 726 1214 0 6813 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 32124
[startup+162.301 s]
/proc/loadavg: 1.93 1.41 1.18 3/178 12126
/proc/meminfo: memFree=31996248/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=32124 CPUtime=162.29 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 10356 0 0 0 15711 518 0 0 25 0 1 0 857501875 32894976 7040 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8031 7040 726 1214 0 6813 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 32124
[startup+222.301 s]
/proc/loadavg: 1.97 1.52 1.23 4/178 12127
/proc/meminfo: memFree=31995724/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=32124 CPUtime=222.29 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 10357 0 0 0 21516 713 0 0 25 0 1 0 857501875 32894976 7041 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8031 7041 726 1214 0 6813 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 32124
[startup+282.3 s]
/proc/loadavg: 1.99 1.60 1.28 3/178 12132
/proc/meminfo: memFree=31995548/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=32124 CPUtime=282.29 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 12710 0 0 0 27320 909 0 0 25 0 1 0 857501875 32894976 7045 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8031 7045 727 1214 0 6813 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 32124
[startup+342.301 s]
/proc/loadavg: 1.99 1.67 1.32 3/178 12134
/proc/meminfo: memFree=31995200/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=32124 CPUtime=342.3 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 12717 0 0 0 33126 1104 0 0 25 0 1 0 857501875 32894976 7052 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8031 7052 730 1214 0 6813 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 32124
[startup+402.3 s]
/proc/loadavg: 1.99 1.73 1.36 3/178 12135
/proc/meminfo: memFree=31994420/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=32124 CPUtime=402.3 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 12718 0 0 0 38921 1309 0 0 25 0 1 0 857501875 32894976 7053 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8031 7053 730 1214 0 6813 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 32124
[startup+462.301 s]
/proc/loadavg: 2.08 1.81 1.41 3/178 12137
/proc/meminfo: memFree=31993736/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=32124 CPUtime=462.3 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 16441 0 0 0 44714 1516 0 0 25 0 1 0 857501875 32894976 7060 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8031 7060 734 1214 0 6813 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 32124
[startup+522.301 s]
/proc/loadavg: 2.03 1.84 1.44 3/178 12138
/proc/meminfo: memFree=31993564/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=32124 CPUtime=522.31 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 18521 0 0 0 50501 1730 0 0 25 0 1 0 857501875 32894976 7061 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8031 7061 734 1214 0 6813 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 32124
[startup+582.3 s]
/proc/loadavg: 2.01 1.87 1.47 3/178 12140
/proc/meminfo: memFree=31992408/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=32980 CPUtime=582.31 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 21673 0 0 0 56305 1926 0 0 25 0 1 0 857501875 33771520 7254 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8245 7254 734 1214 0 7027 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 32980
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.93 1.58 3/178 12146
/proc/meminfo: memFree=31988772/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=33908 CPUtime=822.31 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 26059 0 0 0 79710 2521 0 0 25 0 1 0 857501875 34721792 7499 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8477 7499 734 1214 0 7259 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 33908
[startup+882.3 s]
/proc/loadavg: 2.00 1.94 1.61 3/178 12148
/proc/meminfo: memFree=31988248/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=33908 CPUtime=882.31 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 26062 0 0 0 85565 2666 0 0 25 0 1 0 857501875 34721792 7502 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8477 7502 734 1214 0 7259 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 33908
[startup+942.301 s]
/proc/loadavg: 2.00 1.95 1.63 3/178 12150
/proc/meminfo: memFree=31987340/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=35184 CPUtime=942.32 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 26369 0 0 0 91415 2817 0 0 25 0 1 0 857501875 36028416 7809 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 8796 7809 734 1214 0 7578 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 35184
[startup+1002.3 s]
/proc/loadavg: 2.12 1.99 1.66 3/178 12151
/proc/meminfo: memFree=31983204/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=37252 CPUtime=1002.31 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 27755 0 0 0 97272 2959 0 0 25 0 1 0 857501875 38146048 8363 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 9313 8363 734 1214 0 8095 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 37252
[startup+1062.3 s]
/proc/loadavg: 2.05 1.99 1.68 3/178 12153
/proc/meminfo: memFree=31981924/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=37252 CPUtime=1062.31 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 27756 0 0 0 103123 3108 0 0 25 0 1 0 857501875 38146048 8364 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 9313 8364 734 1214 0 8095 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 37252
[startup+1122.3 s]
/proc/loadavg: 2.01 1.99 1.69 3/178 12154
/proc/meminfo: memFree=31981760/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=37252 CPUtime=1122.32 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 27760 0 0 0 108967 3265 0 0 25 0 1 0 857501875 38146048 8368 33554432000 4194304 9163163 140734741622192 18446744073709551615 7447768 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 9313 8368 734 1214 0 8095 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 37252
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.71 3/178 12156
/proc/meminfo: memFree=31981860/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=37656 CPUtime=1182.32 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 27825 0 0 0 114818 3414 0 0 25 0 1 0 857501875 38559744 8433 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 9414 8433 734 1214 0 8196 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 37656
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/178 12158
/proc/meminfo: memFree=31981584/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=37656 CPUtime=1242.32 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 27827 0 0 0 120650 3582 0 0 25 0 1 0 857501875 38559744 8435 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 9414 8435 734 1214 0 8196 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 37656
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/178 12159
/proc/meminfo: memFree=31979936/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=38860 CPUtime=1302.33 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 28136 0 0 0 126497 3736 0 0 25 0 1 0 857501875 39792640 8744 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 9715 8744 734 1214 0 8497 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 38860
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/178 12161
/proc/meminfo: memFree=31979400/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=38600 CPUtime=1362.32 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 29581 0 0 0 132342 3890 0 0 25 0 1 0 857501875 39526400 8697 33554432000 4194304 9163163 140734741622192 18446744073709551615 6889503 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 9650 8697 734 1214 0 8432 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 38600
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.76 4/178 12162
/proc/meminfo: memFree=31976516/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=39868 CPUtime=1422.33 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 29886 0 0 0 138196 4037 0 0 25 0 1 0 857501875 40824832 9002 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 9967 9002 734 1214 0 8749 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 39868
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/178 12164
/proc/meminfo: memFree=31976088/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=40236 CPUtime=1482.33 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 29976 0 0 0 144047 4186 0 0 25 0 1 0 857501875 41201664 9092 33554432000 4194304 9163163 140734741622192 18446744073709551615 7379358 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 10059 9092 734 1214 0 8841 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 40236
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/178 12166
/proc/meminfo: memFree=31975936/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=40236 CPUtime=1542.33 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 29980 0 0 0 149904 4329 0 0 25 0 1 0 857501875 41201664 9096 33554432000 4194304 9163163 140734741622192 18446744073709551615 7375866 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 10059 9096 734 1214 0 8841 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 40236
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 1.81 3/178 12167
/proc/meminfo: memFree=31975272/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=40908 CPUtime=1602.33 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 30130 0 0 0 155755 4478 0 0 25 0 1 0 857501875 41889792 9246 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 10227 9246 734 1214 0 9009 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 40908
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.82 3/178 12169
/proc/meminfo: memFree=31974128/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=41476 CPUtime=1662.33 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 30294 0 0 0 161602 4631 0 0 25 0 1 0 857501875 42471424 9410 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 10369 9410 734 1214 0 9151 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 41476
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.83 3/178 12170
/proc/meminfo: memFree=31972464/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=41620 CPUtime=1722.33 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 30325 0 0 0 167453 4780 0 0 25 0 1 0 857501875 42618880 9441 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 10405 9441 734 1214 0 9187 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 41620
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/178 12172
/proc/meminfo: memFree=31971944/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=41828 CPUtime=1782.34 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 30376 0 0 0 173306 4928 0 0 25 0 1 0 857501875 42831872 9492 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 10457 9492 734 1214 0 9239 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 41828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.83 4/178 12172
/proc/meminfo: memFree=31971312/32951124 swapFree=67057920/67111528
[pid=12119] ppid=12115 vsize=41828 CPUtime=1800.04 cores=1,3,5,7
/proc/12119/stat : 12119 (scip-2.0.1.4b.l) R 12115 12119 11688 0 -1 4202496 30377 0 0 0 175031 4973 0 0 25 0 1 0 857501875 42831872 9493 33554432000 4194304 9163163 140734741622192 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/12119/statm: 10457 9493 734 1214 0 9239 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 41828
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1750.34
CPU system time (s): 49.7394
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 45276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1750.34
system time used= 49.7394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30382
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= 3129
runsolver used 2.86756 second user time and 6.62499 second system time
The end