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-3452561-1307076708.opb>
0.00/0.01 c original problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 473 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 473
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.730000e+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, 31 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, 31 chg coeffs, 473 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 35 del conss, 112 add conss, 0 chg bounds, 170 chg sides, 443 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.00/0.02 c (round 4) 0 del vars, 47 del conss, 114 add conss, 0 chg bounds, 199 chg sides, 484 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.00/0.02 c (round 5) 0 del vars, 48 del conss, 115 add conss, 0 chg bounds, 201 chg sides, 490 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.00/0.02 c (round 6) 0 del vars, 48 del conss, 115 add conss, 0 chg bounds, 202 chg sides, 491 chg coeffs, 473 upgd conss, 168 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/473 (21.4%) - 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 (7 rounds):
0.00/0.03 c 0 deleted vars, 48 deleted constraints, 115 added constraints, 0 tightened bounds, 0 added holes, 202 changed sides, 491 changed coefficients
0.00/0.03 c 168 implications, 0 cliques
0.00/0.03 c presolved problem has 473 variables (473 bin, 0 int, 0 impl, 0 cont) and 540 constraints
0.00/0.03 c 454 constraints of type <knapsack>
0.00/0.03 c 84 constraints of type <setppc>
0.00/0.03 c 2 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
0.99/1.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.00 c t 1.0s| 1 | 0 | 10541 | - |2575k| 0 | 312 | 473 | 540 | 473 | 540 | 0 | 0 | 0 | 1.473786e+02 | 4.730000e+02 | 220.94%
0.99/1.00 o 324
0.99/1.00 c r 1.0s| 1 | 0 | 10541 | - |2588k| 0 | 312 | 473 | 540 | 473 | 540 | 0 | 0 | 0 | 1.473786e+02 | 3.240000e+02 | 119.84%
0.99/1.01 o 323
0.99/1.01 c R 1.0s| 1 | 0 | 10541 | - |2602k| 0 | 312 | 473 | 540 | 473 | 540 | 0 | 0 | 0 | 1.473786e+02 | 3.230000e+02 | 119.16%
0.99/1.01 o 322
0.99/1.01 c s 1.0s| 1 | 0 | 10541 | - |2615k| 0 | 312 | 473 | 540 | 473 | 540 | 0 | 0 | 0 | 1.473786e+02 | 3.220000e+02 | 118.48%
1.21/1.21 o 226
1.21/1.21 c y 1.2s| 1 | 0 | 10541 | - |2988k| 0 | 312 | 473 | 540 | 473 | 540 | 0 | 0 | 0 | 1.473786e+02 | 2.260000e+02 | 53.35%
1.59/1.67 c 1.7s| 1 | 0 | 14163 | - |2922k| 0 | 365 | 473 | 540 | 473 | 761 | 221 | 0 | 0 | 1.543399e+02 | 2.260000e+02 | 46.43%
2.31/2.36 c 2.4s| 1 | 0 | 17860 | - |3192k| 0 | 397 | 473 | 540 | 473 | 947 | 407 | 0 | 0 | 1.584154e+02 | 2.260000e+02 | 42.66%
2.89/2.98 c 3.0s| 1 | 0 | 20354 | - |3400k| 0 | 413 | 473 | 540 | 473 |1087 | 547 | 0 | 0 | 1.603739e+02 | 2.260000e+02 | 40.92%
3.59/3.61 c 3.6s| 1 | 0 | 22575 | - |3534k| 0 | 422 | 473 | 540 | 473 |1189 | 649 | 0 | 0 | 1.614918e+02 | 2.260000e+02 | 39.95%
4.09/4.17 c 4.2s| 1 | 0 | 23856 | - |3620k| 0 | 428 | 473 | 540 | 473 |1262 | 722 | 0 | 0 | 1.621125e+02 | 2.260000e+02 | 39.41%
4.59/4.68 c 4.7s| 1 | 0 | 24675 | - |3672k| 0 | 431 | 473 | 540 | 473 |1312 | 772 | 0 | 0 | 1.623981e+02 | 2.260000e+02 | 39.16%
5.09/5.15 c 5.2s| 1 | 0 | 25254 | - |3706k| 0 | 431 | 473 | 540 | 473 |1345 | 805 | 0 | 0 | 1.625333e+02 | 2.260000e+02 | 39.05%
5.50/5.59 c 5.6s| 1 | 0 | 25514 | - |3722k| 0 | 430 | 473 | 540 | 473 |1362 | 822 | 0 | 0 | 1.625993e+02 | 2.260000e+02 | 38.99%
5.99/6.00 c 6.0s| 1 | 0 | 25629 | - |3733k| 0 | 432 | 473 | 540 | 473 |1369 | 829 | 0 | 0 | 1.626172e+02 | 2.260000e+02 | 38.98%
6.29/6.34 c 6.3s| 1 | 0 | 25693 | - |3741k| 0 | 432 | 473 | 540 | 473 |1371 | 831 | 0 | 0 | 1.626401e+02 | 2.260000e+02 | 38.96%
12.49/12.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.49/12.55 c 12.5s| 1 | 2 | 25693 | - |3761k| 0 | 432 | 473 | 540 | 473 |1371 | 831 | 0 | 44 | 1.626401e+02 | 2.260000e+02 | 38.96%
30.99/31.09 o 223
30.99/31.09 c c31.1s| 15 | 16 | 40979 |1091.9 |4514k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.230000e+02 | 36.92%
30.99/31.09 o 221
30.99/31.09 c c31.1s| 15 | 16 | 40986 |1092.4 |4515k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.210000e+02 | 35.69%
30.99/31.09 o 219
30.99/31.09 c c31.1s| 15 | 16 | 40991 |1092.7 |4516k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.190000e+02 | 34.46%
30.99/31.09 o 216
30.99/31.09 c c31.1s| 15 | 16 | 41004 |1093.6 |4517k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.160000e+02 | 32.62%
30.99/31.10 o 216
30.99/31.10 c c31.1s| 15 | 16 | 41012 |1094.2 |4519k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.160000e+02 | 32.62%
31.09/31.11 o 215
31.09/31.11 c c31.1s| 15 | 16 | 41196 |1107.4 |4550k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.150000e+02 | 32.01%
31.09/31.12 o 214
31.09/31.12 c c31.1s| 15 | 16 | 41231 |1109.9 |4562k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.140000e+02 | 31.39%
31.09/31.12 o 214
31.09/31.12 c c31.1s| 15 | 16 | 41233 |1110.0 |4563k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.140000e+02 | 31.39%
31.09/31.12 o 213
31.09/31.12 c c31.1s| 15 | 16 | 41239 |1110.4 |4566k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.130000e+02 | 30.78%
31.09/31.12 o 212
31.09/31.12 c c31.1s| 15 | 16 | 41241 |1110.6 |4567k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.120000e+02 | 30.17%
31.09/31.12 o 212
31.09/31.12 c c31.1s| 15 | 16 | 41249 |1111.1 |4571k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.120000e+02 | 30.17%
31.09/31.12 o 211
31.09/31.12 c c31.1s| 15 | 16 | 41252 |1111.4 |4572k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.110000e+02 | 29.55%
32.59/32.64 o 210
32.59/32.64 c p32.6s| 27 | 28 | 52943 |1048.1 |4638k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.100000e+02 | 28.81%
32.59/32.64 o 209
32.59/32.64 c p32.6s| 27 | 28 | 52944 |1048.1 |4639k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.090000e+02 | 28.20%
32.59/32.64 o 206
32.59/32.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.59/32.64 c p32.6s| 27 | 28 | 52965 |1048.9 |4641k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.060000e+02 | 26.36%
32.59/32.65 o 205
32.59/32.65 c p32.6s| 27 | 28 | 52970 |1049.1 |4643k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.050000e+02 | 25.74%
32.59/32.65 o 204
32.59/32.65 c p32.6s| 27 | 28 | 52975 |1049.3 |4644k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.040000e+02 | 25.13%
32.59/32.65 o 203
32.59/32.65 c p32.7s| 27 | 28 | 53002 |1050.3 |4649k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.030000e+02 | 24.52%
32.59/32.65 o 202
32.59/32.65 c p32.7s| 27 | 28 | 53005 |1050.5 |4652k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.020000e+02 | 23.90%
32.59/32.65 o 201
32.59/32.65 c p32.7s| 27 | 28 | 53012 |1050.7 |4654k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.010000e+02 | 23.29%
32.59/32.65 o 200
32.59/32.65 c p32.7s| 27 | 28 | 53013 |1050.8 |4655k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.000000e+02 | 22.68%
32.59/32.66 o 200
32.59/32.66 c p32.7s| 27 | 28 | 53040 |1051.8 |4662k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.000000e+02 | 22.68%
32.59/32.66 o 199
32.59/32.66 c p32.7s| 27 | 28 | 53043 |1051.9 |4663k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 1.990000e+02 | 22.06%
32.59/32.66 o 198
32.59/32.66 c p32.7s| 27 | 28 | 53044 |1052.0 |4664k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 1.980000e+02 | 21.45%
91.19/91.28 o 198
91.19/91.28 c p91.3s| 279 | 280 |527247 |1804.2 |4939k| 27 | - | 473 | 546 | 473 | 968 | 831 | 6 | 363 | 1.632701e+02 | 1.980000e+02 | 21.27%
91.31/91.32 o 196
91.31/91.32 c b91.3s| 280 | 281 |527436 |1798.4 |4798k| 27 | 390 | 473 | 546 | 473 | 968 | 831 | 6 | 363 | 1.632701e+02 | 1.960000e+02 | 20.05%
152.39/152.42 o 189
152.39/152.42 c C 152s| 519 | 520 |986130 |1854.1 |4943k| 30 | 305 | 473 | 546 | 473 | 968 | 831 | 6 | 518 | 1.634970e+02 | 1.890000e+02 | 15.60%
487.00/487.05 c 487s| 10000 | 4207 | 3674k| 364.9 |7857k| 127 | 118 | 473 | 548 | 473 | 968 | 831 | 9 |1346 | 1.640416e+02 | 1.890000e+02 | 15.21%
723.31/723.33 c 723s| 20000 | 7419 | 5602k| 278.8 | 10M| 127 | - | 473 | 549 | 473 | 968 | 831 | 12 |1819 | 1.642060e+02 | 1.890000e+02 | 15.10%
985.92/985.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
985.92/985.94 c 986s| 30000 | 10513 | 7698k| 255.8 | 12M| 127 | - | 473 | 553 | 473 | 968 | 831 | 16 |2401 | 1.643279e+02 | 1.890000e+02 | 15.01%
1225.73/1225.75 c 1226s| 40000 | 13659 | 9650k| 240.6 | 15M| 127 | 145 | 473 | 557 | 473 | 968 | 831 | 24 |2796 | 1.644213e+02 | 1.890000e+02 | 14.95%
1465.94/1465.98 c 1466s| 50000 | 16853 | 11555k| 230.6 | 17M| 127 | - | 473 | 562 | 473 | 968 | 831 | 33 |3226 | 1.644896e+02 | 1.890000e+02 | 14.90%
1695.05/1695.07 c 1695s| 60000 | 19367 | 13421k| 223.3 | 19M| 127 | 137 | 473 | 559 | 473 | 968 | 831 | 38 |3577 | 1.645434e+02 | 1.890000e+02 | 14.86%
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 64623
1800.05/1800.00 c Primal Bound : +1.89000000000000e+02 (626 solutions)
1800.05/1800.00 c Dual Bound : +1.64567553691947e+02
1800.05/1800.00 c Gap : 14.85 %
1800.05/1800.00 s SATISFIABLE
1800.05/1800.00 v -x473 -x472 -x471 x470 x469 x468 x467 -x466 x465 -x464 -x463 x462 -x461 x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451
1800.05/1800.00 v x450 -x449 -x448 -x447 x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 x436 -x435 x434 -x433 -x432 x431 -x430 -x429
1800.05/1800.00 v -x428 -x427 x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 -x410 x409 -x408
1800.05/1800.00 v -x407 -x406 -x405 x404 x403 x402 -x401 x400 x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 x391 -x390 x389 x388 x387 -x386 -x385
1800.05/1800.00 v -x384 -x383 -x382 x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 x365 -x364 -x363
1800.05/1800.00 v x362 -x361 -x360 x359 x358 -x357 x356 -x355 x354 -x353 x352 x351 -x350 x349 x348 -x347 -x346 x345 x344 x343 x342 -x341 -x340
1800.05/1800.00 v x339 -x338 -x337 -x336 -x335 x334 x333 -x332 -x331 x330 -x329 -x328 -x327 x326 -x325 x324 -x323 -x322 -x321 -x320 -x319
1800.05/1800.00 v x318 x317 -x316 -x315 x314 x313 -x312 -x311 -x310 x309 -x308 x307 x306 x305 -x304 x303 x302 -x301 x300 x299 -x298 x297 -x296
1800.05/1800.00 v -x295 -x294 -x293 x292 x291 x290 x289 -x288 x287 -x286 -x285 x284 -x283 -x282 -x281 x280 -x279 -x278 x277 x276 -x275 -x274 -x273
1800.05/1800.00 v -x272 -x271 x270 -x269 -x268 x267 -x266 x265 x264 -x263 x262 -x261 -x260 x259 x258 x257 x256 -x255 -x254 -x253 -x252 x251
1800.05/1800.00 v -x250 -x249 -x248 -x247 x246 -x245 -x244 x243 -x242 -x241 x240 -x239 -x238 x237 x236 -x235 x234 -x233 -x232 -x231 -x230 x229
1800.05/1800.00 v -x228 x227 -x226 -x225 x224 x223 x222 -x221 -x220 -x219 -x218 -x217 x216 -x215 x214 -x213 -x212 x211 -x210 x209 x208 x207 x206
1800.05/1800.00 v -x205 x204 x203 -x202 x201 x200 x199 -x198 -x197 x196 x195 -x194 -x193 -x192 -x191 x190 -x189 x188 -x187 -x186 x185 -x184
1800.05/1800.00 v -x183 -x182 -x181 -x180 -x179 x178 x177 -x176 -x175 x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 x163 x162
1800.05/1800.00 v -x161 x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 x148 x147 x146 -x145 -x144 x143 x142 x141 -x140
1800.05/1800.00 v x139 -x138 x137 -x136 -x135 x134 x133 x132 -x131 x130 -x129 -x128 x127 x126 x125 -x124 -x123 -x122 x121 -x120 x119 -x118 x117
1800.05/1800.00 v x116 -x115 x114 x113 -x112 x111 -x110 x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 x101 x100 -x99 x98 -x97 x96 -x95 x94 -x93
1800.05/1800.00 v x92 x91 -x90 x89 -x88 x87 -x86 -x85 -x84 x83 -x82 x81 -x80 x79 x78 x77 x76 -x75 x74 x73 x72 -x71 x70 -x69 x68 -x67 x66 x65
1800.05/1800.00 v -x64 x63 -x62 -x61 -x60 -x59 x58 -x57 x56 -x55 -x54 -x53 -x52 x51 x50 x49 x48 -x47 x46 -x45 -x44 x43 -x42 -x41 -x40 x39 -x38
1800.05/1800.00 v x37 x36 -x35 x34 -x33 -x32 -x31 x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 x18 x17 x16 -x15 -x14 x13 -x12 -x11
1800.05/1800.00 v -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Total Time : 1800.00
1800.05/1800.00 c solving : 1800.00
1800.05/1800.00 c presolving : 0.02 (included in solving)
1800.05/1800.00 c reading : 0.01 (included in solving)
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-3452561-1307076708.opb
1800.05/1800.00 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 473 initial, 473 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-3452561-1307076708.opb
1800.05/1800.00 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 540 initial, 564 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c knapsack : 0.01 0 0 0 0 0 16 115 202 460
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 32 0 0 0
1800.05/1800.00 c linear : 0.01 0 0 0 0 0 0 0 0 31
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 42554 0 631 0 3 116 0 0 84958
1800.05/1800.00 c knapsack : 454 11 332341 0 0 626 0 0 258339 844 0 0
1800.05/1800.00 c setppc : 84 11 332337 0 0 625 0 0 37303 0 0 0
1800.05/1800.00 c logicor : 2+ 11 23919 0 0 625 0 0 3 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 0 629 0 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.00 c integral : 106.61 0.00 0.00 106.61 0.00 0.00 0.00
1800.05/1800.00 c knapsack : 3.41 0.03 3.37 0.00 0.00 0.01 0.00
1800.05/1800.00 c setppc : 0.32 0.00 0.32 0.00 0.00 0.00 0.00
1800.05/1800.00 c logicor : 0.02 0.00 0.02 0.00 0.00 0.00 0.00
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.00 c vbounds : 0 0 0 0
1800.05/1800.00 c rootredcost : 22 0 0 0
1800.05/1800.00 c pseudoobj : 333374 0 0 0
1800.05/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.00 c vbounds : 0.06 0.06 0.00
1800.05/1800.00 c rootredcost : 0.07 0.07 0.00
1800.05/1800.00 c pseudoobj : 2.49 2.49 0.00
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c infeasible LP : 0.00 38 38 38 4.2 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 38 4.2 - - -
1800.05/1800.00 c applied locally : - - - 0 0.0 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 10 - - 338 - (maximal pool size: 1564)
1800.05/1800.00 c redcost : 1.63 82363 0 810323 0 0
1800.05/1800.00 c impliedbounds : 0.00 11 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 1.48 11 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 1.37 11 0 0 0 0
1800.05/1800.00 c cmir : 0.25 10 0 0 940 0
1800.05/1800.00 c flowcover : 0.29 10 0 0 1111 0
1800.05/1800.00 c clique : 0.00 1 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 1 0 0 0 0
1800.05/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.07 1 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 106.58 42554 3 116 0 0 84958
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.02 6 1
1800.05/1800.00 c crossover : 0.32 4 3
1800.05/1800.00 c trivial : 0.00 2 1
1800.05/1800.00 c shiftandpropagate: 0.00 0 0
1800.05/1800.00 c simplerounding : 1.13 71226 25
1800.05/1800.00 c zirounding : 0.38 1000 17
1800.05/1800.00 c rounding : 10.90 12476 1
1800.05/1800.00 c shifting : 3.22 3946 1
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c clique : 0.00 0 0
1800.05/1800.00 c coefdiving : 254.08 234 164
1800.05/1800.00 c pscostdiving : 254.65 329 254
1800.05/1800.00 c fracdiving : 51.26 47 0
1800.05/1800.00 c veclendiving : 66.03 81 51
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 43.23 6 98
1800.05/1800.00 c rootsoldiving : 12.91 14 0
1800.05/1800.00 c linesearchdiving : 64.66 93 9
1800.05/1800.00 c guideddiving : 51.76 48 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c vbounds : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c subnlp : 0.01 0 0
1800.05/1800.00 c trysol : 0.02 0 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 852.24 93326 7271021 77.91 8531.64
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 774.84 124503 6996749 56.20 9029.88
1800.05/1800.00 c strong branching : 104.60 3714 761160 204.94 7276.84
1800.05/1800.00 c (at root node) : - 44 37350 848.86 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 64623
1800.05/1800.00 c nodes (total) : 64623
1800.05/1800.00 c nodes left : 20336
1800.05/1800.00 c max depth : 127
1800.05/1800.00 c max depth (total): 127
1800.05/1800.00 c backtracks : 11562 (17.9%)
1800.05/1800.00 c delayed cutoffs : 0
1800.05/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.00 c avg switch length: 7.58
1800.05/1800.00 c switching time : 2.81
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 626 (32 improvements)
1800.05/1800.00 c First Solution : +4.73000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.00 c Primal Bound : +1.89000000000000e+02 (in run 1, after 519 nodes, 152.42 seconds, depth 30, found by <crossover>)
1800.05/1800.00 c Dual Bound : +1.64567553691947e+02
1800.05/1800.00 c Gap : 14.85 %
1800.05/1800.00 c Root Dual Bound : +1.62640146785332e+02
1800.05/1800.00 c Root Iterations : 25693
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-3452561-1307076708/watcher-3452561-1307076708 -o /tmp/evaluation-result-3452561-1307076708/solver-3452561-1307076708 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452561-1307076708.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.92 2.00 1.99 2/429 21059
/proc/meminfo: memFree=28062616/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=18024 CPUtime=0.01 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 3192 0 0 0 1 0 0 0 25 0 1 0 819271207 18456576 3145 33554432000 4194304 9128323 140735522161184 18446744073709551615 8009021 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 4506 3159 507 1205 0 3297 0
[startup+0.105812 s]
/proc/loadavg: 1.92 2.00 1.99 2/429 21059
/proc/meminfo: memFree=28062616/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=21020 CPUtime=0.1 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 4391 0 0 0 9 1 0 0 18 0 1 0 819271207 21524480 4087 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 5255 4087 644 1205 0 4046 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 21020
[startup+0.200797 s]
/proc/loadavg: 1.92 2.00 1.99 2/429 21059
/proc/meminfo: memFree=28062616/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=21020 CPUtime=0.19 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 4439 0 0 0 18 1 0 0 18 0 1 0 819271207 21524480 4135 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 5255 4135 645 1205 0 4046 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21020
[startup+0.300778 s]
/proc/loadavg: 1.92 2.00 1.99 2/429 21059
/proc/meminfo: memFree=28062616/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=21020 CPUtime=0.29 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 4443 0 0 0 27 2 0 0 18 0 1 0 819271207 21524480 4139 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 5255 4139 645 1205 0 4046 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21020
[startup+0.700714 s]
/proc/loadavg: 1.92 2.00 1.99 2/429 21059
/proc/meminfo: memFree=28062616/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=21300 CPUtime=0.69 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 4523 0 0 0 63 6 0 0 18 0 1 0 819271207 21811200 4219 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 5325 4219 645 1205 0 4116 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21300
[startup+1.50055 s]
/proc/loadavg: 1.92 2.00 1.99 3/430 21060
/proc/meminfo: memFree=28046612/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=22696 CPUtime=1.49 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 7695 0 0 0 140 9 0 0 19 0 1 0 819271207 23240704 4694 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 5674 4694 723 1205 0 4465 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22696
[startup+3.10025 s]
/proc/loadavg: 1.92 2.00 1.99 3/430 21060
/proc/meminfo: memFree=28044260/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=24344 CPUtime=3.09 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 8032 0 0 0 294 15 0 0 25 0 1 0 819271207 24928256 5031 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 6086 5031 724 1205 0 4877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24344
[startup+6.30066 s]
/proc/loadavg: 1.93 2.00 1.99 3/430 21060
/proc/meminfo: memFree=28042388/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=25420 CPUtime=6.29 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 8299 0 0 0 607 22 0 0 25 0 1 0 819271207 26030080 5298 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 6355 5298 724 1205 0 5146 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25420
[startup+12.7005 s]
/proc/loadavg: 1.93 2.00 1.99 3/430 21060
/proc/meminfo: memFree=28042280/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=25048 CPUtime=12.69 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 9133 0 0 0 1223 46 0 0 25 0 1 0 819271207 25649152 5231 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 6262 5231 730 1205 0 5053 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25048
[startup+25.5011 s]
/proc/loadavg: 1.95 2.00 1.99 3/430 21089
/proc/meminfo: memFree=29137792/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=25048 CPUtime=25.49 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 9133 0 0 0 2462 87 0 0 25 0 1 0 819271207 25649152 5231 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 6262 5231 730 1205 0 5053 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25048
[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 1.99 3/430 21090
/proc/meminfo: memFree=29136312/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=25992 CPUtime=51.09 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 9371 0 0 0 4927 182 0 0 25 0 1 0 819271207 26615808 5469 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 6498 5469 735 1205 0 5289 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25992
[startup+102.301 s]
/proc/loadavg: 1.98 2.00 1.99 3/430 21091
/proc/meminfo: memFree=29134060/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=25936 CPUtime=102.31 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 11988 0 0 0 9871 360 0 0 25 0 1 0 819271207 26558464 5466 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 6484 5466 740 1205 0 5275 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 25936
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/430 21092
/proc/meminfo: memFree=29133924/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=26980 CPUtime=162.3 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 15268 0 0 0 15666 564 0 0 25 0 1 0 819271207 27627520 5719 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 6745 5719 741 1205 0 5536 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 26980
[startup+222.316 s]
/proc/loadavg: 1.99 2.00 1.99 3/430 21094
/proc/meminfo: memFree=29133160/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=26980 CPUtime=222.32 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 15276 0 0 0 21464 768 0 0 25 0 1 0 819271207 27627520 5727 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 6745 5727 741 1205 0 5536 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 26980
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/430 21096
/proc/meminfo: memFree=29132028/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=27624 CPUtime=282.3 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 15432 0 0 0 27253 977 0 0 25 0 1 0 819271207 28286976 5883 33554432000 4194304 9128323 140735522161184 18446744073709551615 7357729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 6906 5883 741 1205 0 5697 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27624
[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/430 21097
/proc/meminfo: memFree=29130576/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=28628 CPUtime=342.31 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 18007 0 0 0 33041 1190 0 0 25 0 1 0 819271207 29315072 6153 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 7157 6153 741 1205 0 5948 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 28628
[startup+402.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/430 21099
/proc/meminfo: memFree=29129100/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=28732 CPUtime=402.3 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 18913 0 0 0 38837 1393 0 0 25 0 1 0 819271207 29421568 6180 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 7183 6180 741 1205 0 5974 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 28732
[startup+462.301 s]
/proc/loadavg: 2.11 2.03 2.00 3/430 21100
/proc/meminfo: memFree=29128216/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=30100 CPUtime=462.31 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 20145 0 0 0 44618 1613 0 0 25 0 1 0 819271207 30822400 6510 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 7525 6510 741 1205 0 6316 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 30100
[startup+522.301 s]
/proc/loadavg: 2.08 2.03 2.00 3/430 21102
/proc/meminfo: memFree=29126952/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=31272 CPUtime=522.3 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 23282 0 0 0 50408 1822 0 0 25 0 1 0 819271207 32022528 6813 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 7818 6813 741 1205 0 6609 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 31272
[startup+582.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/430 21113
/proc/meminfo: memFree=29125960/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=31816 CPUtime=582.31 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 26241 0 0 0 56208 2023 0 0 25 0 1 0 819271207 32579584 6947 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 7954 6947 741 1205 0 6745 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 31816
[startup+642.3 s]
################
# More data... #
################
[startup+882.316 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21124
/proc/meminfo: memFree=29119984/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=35424 CPUtime=882.34 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 27170 0 0 0 85150 3084 0 0 25 0 1 0 819271207 36274176 7876 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 8856 7876 741 1205 0 7647 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 35424
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21125
/proc/meminfo: memFree=29119612/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=35896 CPUtime=942.32 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 27296 0 0 0 90938 3294 0 0 25 0 1 0 819271207 36757504 8002 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 8974 8002 741 1205 0 7765 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 35896
[startup+1002.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/430 21127
/proc/meminfo: memFree=29118728/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=35896 CPUtime=1002.33 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 27304 0 0 0 96730 3503 0 0 25 0 1 0 819271207 36757504 8010 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 8974 8010 741 1205 0 7765 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 35896
[startup+1062.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/430 21128
/proc/meminfo: memFree=29115984/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=36812 CPUtime=1062.33 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 27519 0 0 0 102516 3717 0 0 25 0 1 0 819271207 37695488 8225 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 9203 8225 741 1205 0 7994 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 36812
[startup+1122.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/430 21130
/proc/meminfo: memFree=29115476/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=37204 CPUtime=1122.33 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 27620 0 0 0 108305 3928 0 0 25 0 1 0 819271207 38096896 8326 33554432000 4194304 9128323 140735522161184 18446744073709551615 7343089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 9301 8326 741 1205 0 8092 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 37204
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 21132
/proc/meminfo: memFree=29113356/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=38284 CPUtime=1182.33 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 28649 0 0 0 114098 4135 0 0 25 0 1 0 819271207 39202816 8619 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 9571 8619 741 1205 0 8362 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 38284
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 21133
/proc/meminfo: memFree=29110872/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=39116 CPUtime=1242.33 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 28843 0 0 0 119886 4347 0 0 25 0 1 0 819271207 40054784 8813 33554432000 4194304 9128323 140735522161184 18446744073709551615 7973970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 9779 8813 741 1205 0 8570 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 39116
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 21135
/proc/meminfo: memFree=29110500/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=39404 CPUtime=1302.33 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 28914 0 0 0 125683 4550 0 0 25 0 1 0 819271207 40349696 8884 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 9851 8884 741 1205 0 8642 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 39404
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/430 21136
/proc/meminfo: memFree=29109756/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=40348 CPUtime=1362.33 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 29159 0 0 0 131484 4749 0 0 25 0 1 0 819271207 41316352 9129 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 10087 9129 741 1205 0 8878 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 40348
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21138
/proc/meminfo: memFree=29109252/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=40516 CPUtime=1422.35 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 29189 0 0 0 137291 4944 0 0 25 0 1 0 819271207 41488384 9159 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 10129 9159 741 1205 0 8920 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 40516
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/430 21140
/proc/meminfo: memFree=29107384/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=40664 CPUtime=1482.34 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 29247 0 0 0 143075 5159 0 0 25 0 1 0 819271207 41639936 9217 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 10166 9217 741 1205 0 8957 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 40664
[startup+1542.32 s]
/proc/loadavg: 2.13 2.04 2.01 3/430 21141
/proc/meminfo: memFree=29105888/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=42852 CPUtime=1542.36 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 29799 0 0 0 148869 5367 0 0 25 0 1 0 819271207 43880448 9769 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 10713 9769 741 1205 0 9504 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 42852
[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/430 21143
/proc/meminfo: memFree=29104888/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=43828 CPUtime=1602.35 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 30040 0 0 0 154658 5577 0 0 25 0 1 0 819271207 44879872 10010 33554432000 4194304 9128323 140735522161184 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 10957 10010 741 1205 0 9748 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 43828
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.01 3/430 21144
/proc/meminfo: memFree=29103760/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=44196 CPUtime=1662.35 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 30131 0 0 0 160448 5787 0 0 25 0 1 0 819271207 45256704 10101 33554432000 4194304 9128323 140735522161184 18446744073709551615 7192341 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 11049 10101 741 1205 0 9840 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 44196
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/430 21146
/proc/meminfo: memFree=29103632/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=44196 CPUtime=1722.35 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 30135 0 0 0 166242 5993 0 0 25 0 1 0 819271207 45256704 10105 33554432000 4194304 9128323 140735522161184 18446744073709551615 7192366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 11049 10105 741 1205 0 9840 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 44196
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 21148
/proc/meminfo: memFree=29101508/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=44196 CPUtime=1782.35 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 30138 0 0 0 172031 6204 0 0 25 0 1 0 819271207 45256704 10108 33554432000 4194304 9128323 140735522161184 18446744073709551615 7343089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21059/statm: 11049 10108 741 1205 0 9840 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 44196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 21148
/proc/meminfo: memFree=29100764/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=44196 CPUtime=1800.06 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 30140 0 0 0 173739 6267 0 0 25 0 1 0 819271207 45256704 10110 33554432000 4194304 9128323 140735522161184 18446744073709551615 4806706 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21059/statm: 11049 10110 743 1205 0 9840 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 44196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/430 21148
/proc/meminfo: memFree=29100764/32951124 swapFree=43324008/67111528
[pid=21059] ppid=21057 vsize=44196 CPUtime=1800.06 cores=1,3,5,7
/proc/21059/stat : 21059 (scip-2.0.1.4.li) R 21057 21059 15685 0 -1 4202496 30140 0 0 0 173739 6267 0 0 25 0 1 0 819271207 45256704 10110 33554432000 4194304 9128323 140735522161184 18446744073709551615 4806706 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21059/statm: 11049 10110 743 1205 0 9840 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 44196
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.08
CPU user time (s): 1737.4
CPU system time (s): 62.6795
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 44196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1737.4
system time used= 62.6795
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30140
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= 7
involuntary context switches= 3484
runsolver used 7.27489 second user time and 17.2834 second system time
The end