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-3450901-1307077023.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.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
0.89/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.89/1.00 c t 1.0s| 1 | 0 | 10541 | - |2609k| 0 | 312 | 473 | 540 | 473 | 540 | 0 | 0 | 0 | 1.473786e+02 | 4.730000e+02 | 220.94%
0.89/1.00 o 324
0.89/1.00 c r 1.0s| 1 | 0 | 10541 | - |2622k| 0 | 312 | 473 | 540 | 473 | 540 | 0 | 0 | 0 | 1.473786e+02 | 3.240000e+02 | 119.84%
0.89/1.01 o 323
0.89/1.01 c R 1.0s| 1 | 0 | 10541 | - |2636k| 0 | 312 | 473 | 540 | 473 | 540 | 0 | 0 | 0 | 1.473786e+02 | 3.230000e+02 | 119.16%
0.89/1.01 o 322
0.89/1.01 c s 1.0s| 1 | 0 | 10541 | - |2649k| 0 | 312 | 473 | 540 | 473 | 540 | 0 | 0 | 0 | 1.473786e+02 | 3.220000e+02 | 118.48%
1.19/1.21 o 226
1.19/1.21 c y 1.2s| 1 | 0 | 10541 | - |3021k| 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 | - |2956k| 0 | 365 | 473 | 540 | 473 | 761 | 221 | 0 | 0 | 1.543399e+02 | 2.260000e+02 | 46.43%
2.29/2.36 c 2.4s| 1 | 0 | 17860 | - |3226k| 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 | - |3434k| 0 | 413 | 473 | 540 | 473 |1087 | 547 | 0 | 0 | 1.603739e+02 | 2.260000e+02 | 40.92%
3.59/3.62 c 3.6s| 1 | 0 | 22575 | - |3567k| 0 | 422 | 473 | 540 | 473 |1189 | 649 | 0 | 0 | 1.614918e+02 | 2.260000e+02 | 39.95%
4.09/4.18 c 4.2s| 1 | 0 | 23856 | - |3653k| 0 | 428 | 473 | 540 | 473 |1262 | 722 | 0 | 0 | 1.621125e+02 | 2.260000e+02 | 39.41%
4.59/4.69 c 4.7s| 1 | 0 | 24675 | - |3705k| 0 | 431 | 473 | 540 | 473 |1312 | 772 | 0 | 0 | 1.623981e+02 | 2.260000e+02 | 39.16%
5.10/5.16 c 5.2s| 1 | 0 | 25254 | - |3740k| 0 | 431 | 473 | 540 | 473 |1345 | 805 | 0 | 0 | 1.625333e+02 | 2.260000e+02 | 39.05%
5.59/5.60 c 5.6s| 1 | 0 | 25514 | - |3756k| 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 | - |3766k| 0 | 432 | 473 | 540 | 473 |1369 | 829 | 0 | 0 | 1.626172e+02 | 2.260000e+02 | 38.98%
6.30/6.34 c 6.3s| 1 | 0 | 25693 | - |3774k| 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.6s| 1 | 2 | 25693 | - |3795k| 0 | 432 | 473 | 540 | 473 |1371 | 831 | 0 | 44 | 1.626401e+02 | 2.260000e+02 | 38.96%
30.99/31.05 o 223
30.99/31.05 c c31.1s| 15 | 16 | 40979 |1091.9 |4547k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.230000e+02 | 36.92%
30.99/31.05 o 221
30.99/31.05 c c31.1s| 15 | 16 | 40986 |1092.4 |4548k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.210000e+02 | 35.69%
30.99/31.05 o 219
30.99/31.05 c c31.1s| 15 | 16 | 40991 |1092.7 |4549k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.190000e+02 | 34.46%
30.99/31.05 o 216
30.99/31.05 c c31.1s| 15 | 16 | 41004 |1093.6 |4550k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.160000e+02 | 32.62%
30.99/31.05 o 216
30.99/31.05 c c31.1s| 15 | 16 | 41012 |1094.2 |4552k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.160000e+02 | 32.62%
30.99/31.07 o 215
30.99/31.07 c c31.1s| 15 | 16 | 41196 |1107.4 |4583k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.150000e+02 | 32.01%
30.99/31.08 o 214
30.99/31.08 c c31.1s| 15 | 16 | 41231 |1109.9 |4595k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.140000e+02 | 31.39%
30.99/31.08 o 214
30.99/31.08 c c31.1s| 15 | 16 | 41233 |1110.0 |4596k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.140000e+02 | 31.39%
30.99/31.08 o 213
30.99/31.08 c c31.1s| 15 | 16 | 41239 |1110.4 |4599k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.130000e+02 | 30.78%
30.99/31.08 o 212
30.99/31.08 c c31.1s| 15 | 16 | 41241 |1110.6 |4600k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.120000e+02 | 30.17%
30.99/31.08 o 212
30.99/31.08 c c31.1s| 15 | 16 | 41249 |1111.1 |4604k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.120000e+02 | 30.17%
30.99/31.08 o 211
30.99/31.08 c c31.1s| 15 | 16 | 41252 |1111.4 |4605k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.628690e+02 | 2.110000e+02 | 29.55%
32.59/32.60 o 210
32.59/32.60 c p32.6s| 27 | 28 | 52943 |1048.1 |4671k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.100000e+02 | 28.81%
32.59/32.60 o 209
32.59/32.60 c p32.6s| 27 | 28 | 52944 |1048.1 |4672k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.090000e+02 | 28.20%
32.59/32.60 o 206
32.59/32.60 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.60 c p32.6s| 27 | 28 | 52965 |1048.9 |4674k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.060000e+02 | 26.36%
32.59/32.60 o 205
32.59/32.60 c p32.6s| 27 | 28 | 52970 |1049.1 |4676k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.050000e+02 | 25.74%
32.59/32.60 o 204
32.59/32.60 c p32.6s| 27 | 28 | 52975 |1049.3 |4678k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.040000e+02 | 25.13%
32.59/32.61 o 203
32.59/32.61 c p32.6s| 27 | 28 | 53002 |1050.3 |4682k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.030000e+02 | 24.52%
32.59/32.61 o 202
32.59/32.61 c p32.6s| 27 | 28 | 53005 |1050.5 |4685k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.020000e+02 | 23.90%
32.59/32.61 o 201
32.59/32.61 c p32.6s| 27 | 28 | 53012 |1050.7 |4687k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.010000e+02 | 23.29%
32.59/32.61 o 200
32.59/32.61 c p32.6s| 27 | 28 | 53013 |1050.8 |4688k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.000000e+02 | 22.68%
32.59/32.61 o 200
32.59/32.61 c p32.6s| 27 | 28 | 53040 |1051.8 |4695k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 2.000000e+02 | 22.68%
32.59/32.61 o 199
32.59/32.61 c p32.6s| 27 | 28 | 53043 |1051.9 |4696k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 1.990000e+02 | 22.06%
32.59/32.61 o 198
32.59/32.61 c p32.6s| 27 | 28 | 53044 |1052.0 |4697k| 14 | - | 473 | 540 | 473 | 968 | 831 | 0 | 257 | 1.630295e+02 | 1.980000e+02 | 21.45%
91.09/91.18 o 198
91.09/91.18 c p91.2s| 279 | 280 |527247 |1804.2 |4972k| 27 | - | 473 | 546 | 473 | 968 | 831 | 6 | 363 | 1.632701e+02 | 1.980000e+02 | 21.27%
91.20/91.22 o 196
91.20/91.22 c b91.2s| 280 | 281 |527436 |1798.4 |4831k| 27 | 390 | 473 | 546 | 473 | 968 | 831 | 6 | 363 | 1.632701e+02 | 1.960000e+02 | 20.05%
152.39/152.40 o 190
152.39/152.40 c C 152s| 519 | 520 |986130 |1854.1 |4976k| 30 | 305 | 473 | 546 | 473 | 968 | 831 | 6 | 518 | 1.634970e+02 | 1.900000e+02 | 16.21%
1020.41/1020.44 c 1020s| 10000 | 10001 | 7590k| 756.6 | 11M| 92 | 359 | 473 | 551 | 473 | 968 | 831 | 11 |2078 | 1.645093e+02 | 1.900000e+02 | 15.50%
1769.13/1769.10 c 1769s| 20000 | 20001 | 13337k| 665.6 | 18M| 92 | 325 | 473 | 596 | 473 | 968 | 831 | 58 |3000 | 1.647004e+02 | 1.900000e+02 | 15.36%
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 20460
1800.04/1800.00 c Primal Bound : +1.90000000000000e+02 (645 solutions)
1800.04/1800.00 c Dual Bound : +1.64707660305967e+02
1800.04/1800.00 c Gap : 15.36 %
1800.04/1800.00 s SATISFIABLE
1800.04/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.04/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.04/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.04/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
1800.04/1800.00 v -x385 -x384 -x383 -x382 x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 x365 -x364
1800.04/1800.00 v -x363 x362 -x361 x360 x359 x358 -x357 x356 -x355 x354 -x353 x352 x351 -x350 x349 x348 -x347 -x346 x345 x344 x343 x342 -x341
1800.04/1800.00 v -x340 x339 -x338 -x337 -x336 -x335 x334 x333 -x332 -x331 x330 -x329 -x328 -x327 x326 -x325 x324 -x323 -x322 -x321 -x320 -x319
1800.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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 x139
1800.04/1800.00 v -x138 x137 -x136 -x135 x134 x133 x132 -x131 x130 -x129 -x128 x127 x126 -x125 -x124 -x123 -x122 x121 -x120 x119 -x118 x117
1800.04/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.04/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 -x64
1800.04/1800.00 v 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 x37
1800.04/1800.00 v 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 -x10
1800.04/1800.00 v -x9 -x8 -x7 x6 -x5 -x4 -x3 x2 -x1
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.02 (included in solving)
1800.04/1800.00 c reading : 0.01 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3450901-1307077023.opb
1800.04/1800.00 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 473 initial, 473 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3450901-1307077023.opb
1800.04/1800.00 c Variables : 473 (473 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 540 initial, 598 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c knapsack : 0.01 0 0 0 0 0 16 115 202 460
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 32 0 0 0
1800.04/1800.00 c linear : 0.01 0 0 0 0 0 0 0 0 31
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 20458 0 650 0 0 0 0 0 40916
1800.04/1800.00 c knapsack : 454 11 201147 0 2 645 0 0 5505 844 0 0
1800.04/1800.00 c setppc : 84 11 201143 0 2 644 0 0 3427 0 0 0
1800.04/1800.00 c logicor : 2+ 11 11307 0 2 644 0 0 6 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 2 648 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 120.71 0.00 0.00 120.71 0.00 0.00 0.00
1800.04/1800.00 c knapsack : 1.59 0.03 1.55 0.00 0.00 0.01 0.00
1800.04/1800.00 c setppc : 0.20 0.00 0.20 0.00 0.00 0.00 0.00
1800.04/1800.00 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 22 0 0 0
1800.04/1800.00 c pseudoobj : 202947 0 0 0
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 0.04 0.04 0.00
1800.04/1800.00 c rootredcost : 0.04 0.04 0.00
1800.04/1800.00 c pseudoobj : 1.50 1.50 0.00
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c infeasible LP : 0.00 58 58 58 4.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 58 4.0 - - -
1800.04/1800.00 c applied locally : - - - 0 0.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 10 - - 338 - (maximal pool size: 1564)
1800.04/1800.00 c redcost : 0.15 20468 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 11 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 1.48 11 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 1.38 11 0 0 0 0
1800.04/1800.00 c cmir : 0.25 10 0 0 940 0
1800.04/1800.00 c flowcover : 0.30 10 0 0 1111 0
1800.04/1800.00 c clique : 0.00 1 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.07 1 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 120.69 20458 0 0 0 0 40916
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 0.00 2 0 0 0 0 4
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 0.01 6 1
1800.04/1800.00 c fracdiving : 49.21 43 0
1800.04/1800.00 c guideddiving : 49.34 43 0
1800.04/1800.00 c veclendiving : 66.41 79 61
1800.04/1800.00 c linesearchdiving : 61.20 85 9
1800.04/1800.00 c coefdiving : 250.45 219 164
1800.04/1800.00 c pscostdiving : 262.90 312 283
1800.04/1800.00 c trivial : 0.00 2 1
1800.04/1800.00 c shiftandpropagate: 0.00 0 0
1800.04/1800.00 c simplerounding : 0.61 20468 25
1800.04/1800.00 c zirounding : 0.38 1000 17
1800.04/1800.00 c rounding : 16.15 6412 1
1800.04/1800.00 c shifting : 4.28 1658 1
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c clique : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 32.33 4 79
1800.04/1800.00 c rootsoldiving : 12.52 13 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.01 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.29 2 2
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c vbounds : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c subnlp : 0.00 0 0
1800.04/1800.00 c trysol : 0.01 0 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 865.26 20470 6747429 329.63 7798.14
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 760.72 122652 6838972 55.76 8990.15
1800.04/1800.00 c strong branching : 119.13 3002 849102 282.85 7127.78
1800.04/1800.00 c (at root node) : - 44 37350 848.86 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 20460
1800.04/1800.00 c nodes (total) : 20460
1800.04/1800.00 c nodes left : 20461
1800.04/1800.00 c max depth : 92
1800.04/1800.00 c max depth (total): 92
1800.04/1800.00 c backtracks : 2217 (10.8%)
1800.04/1800.00 c delayed cutoffs : 0
1800.04/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.00 c avg switch length: 3.84
1800.04/1800.00 c switching time : 0.62
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 645 (32 improvements)
1800.04/1800.00 c First Solution : +4.73000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.00 c Primal Bound : +1.90000000000000e+02 (in run 1, after 519 nodes, 152.40 seconds, depth 30, found by <crossover>)
1800.04/1800.00 c Dual Bound : +1.64707660305967e+02
1800.04/1800.00 c Gap : 15.36 %
1800.04/1800.00 c Root Dual Bound : +1.62640146785332e+02
1800.04/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-3450901-1307077023/watcher-3450901-1307077023 -o /tmp/evaluation-result-3450901-1307077023/solver-3450901-1307077023 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450901-1307077023.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.18 1/493 11004
/proc/meminfo: memFree=30480924/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=13020 CPUtime=0 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 2246 0 0 0 0 0 0 0 23 0 1 0 819303253 13332480 2200 33554432000 4194304 9163163 140733689693376 18446744073709551615 6167890 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11004/statm: 3313 2203 389 1214 0 2095 0
[startup+0.074356 s]
/proc/loadavg: 2.00 2.02 2.18 1/493 11004
/proc/meminfo: memFree=30480924/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=22544 CPUtime=0.06 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 4764 0 0 0 6 0 0 0 23 0 1 0 819303253 23085056 4460 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 5636 4460 644 1214 0 4418 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22544
[startup+0.100373 s]
/proc/loadavg: 2.00 2.02 2.18 1/493 11004
/proc/meminfo: memFree=30480924/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=22544 CPUtime=0.09 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 4764 0 0 0 9 0 0 0 23 0 1 0 819303253 23085056 4460 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 5636 4460 644 1214 0 4418 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22544
[startup+0.300313 s]
/proc/loadavg: 2.00 2.02 2.18 1/493 11004
/proc/meminfo: memFree=30480924/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=22544 CPUtime=0.29 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 4816 0 0 0 27 2 0 0 25 0 1 0 819303253 23085056 4512 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 5636 4512 645 1214 0 4418 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22544
[startup+0.700242 s]
/proc/loadavg: 2.00 2.02 2.18 1/493 11004
/proc/meminfo: memFree=30480924/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=22824 CPUtime=0.69 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 4870 0 0 0 66 3 0 0 25 0 1 0 819303253 23371776 4566 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 5706 4566 645 1214 0 4488 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22824
[startup+1.5001 s]
/proc/loadavg: 2.00 2.02 2.18 3/499 11015
/proc/meminfo: memFree=30434008/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=31252 CPUtime=1.49 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 8413 0 0 0 143 6 0 0 25 0 1 0 819303253 32002048 6709 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 7813 6709 714 1214 0 6595 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31252
[startup+3.10082 s]
/proc/loadavg: 2.00 2.02 2.18 3/499 11015
/proc/meminfo: memFree=30422220/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=31500 CPUtime=3.09 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 8474 0 0 0 299 10 0 0 25 0 1 0 819303253 32256000 6770 33554432000 4194304 9163163 140733689693376 18446744073709551615 6669393 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 7875 6770 715 1214 0 6657 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31500
[startup+6.30025 s]
/proc/loadavg: 2.00 2.02 2.18 3/499 11016
/proc/meminfo: memFree=30419944/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=31900 CPUtime=6.3 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 8547 0 0 0 616 14 0 0 25 0 1 0 819303253 32665600 6843 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 7975 6843 715 1214 0 6757 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 31900
[startup+12.7001 s]
/proc/loadavg: 2.00 2.01 2.17 3/499 11016
/proc/meminfo: memFree=30416248/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=32924 CPUtime=12.69 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 8918 0 0 0 1239 30 0 0 25 0 1 0 819303253 33714176 7214 33554432000 4194304 9163163 140733689693376 18446744073709551615 7390821 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 8231 7214 721 1214 0 7013 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32924
[startup+25.5009 s]
/proc/loadavg: 2.00 2.01 2.17 3/499 11016
/proc/meminfo: memFree=30417092/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=32924 CPUtime=25.49 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 8918 0 0 0 2482 67 0 0 25 0 1 0 819303253 33714176 7214 33554432000 4194304 9163163 140733689693376 18446744073709551615 7370631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 8231 7214 721 1214 0 7013 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32924
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.17 3/499 11017
/proc/meminfo: memFree=30416484/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=32924 CPUtime=51.1 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 8925 0 0 0 4965 145 0 0 25 0 1 0 819303253 33714176 7221 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 8231 7221 728 1214 0 7013 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 32924
[startup+102.318 s]
/proc/loadavg: 2.00 2.01 2.16 3/499 11018
/proc/meminfo: memFree=30415492/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=31900 CPUtime=102.32 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 10249 0 0 0 9954 278 0 0 25 0 1 0 819303253 32665600 6971 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 7975 6971 733 1214 0 6757 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 31900
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.14 3/499 11020
/proc/meminfo: memFree=30413848/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=31900 CPUtime=162.29 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 12491 0 0 0 15796 433 0 0 25 0 1 0 819303253 32665600 6973 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 7975 6973 734 1214 0 6757 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 31900
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.13 3/499 11021
/proc/meminfo: memFree=30415308/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=31900 CPUtime=222.3 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 12491 0 0 0 21646 584 0 0 25 0 1 0 819303253 32665600 6973 33554432000 4194304 9163163 140733689693376 18446744073709551615 7447580 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 7975 6973 734 1214 0 6757 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 31900
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/499 11032
/proc/meminfo: memFree=30414924/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=31900 CPUtime=282.3 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 12495 0 0 0 27493 737 0 0 25 0 1 0 819303253 32665600 6977 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 7975 6977 734 1214 0 6757 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 31900
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.11 3/499 11033
/proc/meminfo: memFree=30414408/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=31900 CPUtime=342.3 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 12498 0 0 0 33348 882 0 0 25 0 1 0 819303253 32665600 6980 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 7975 6980 734 1214 0 6757 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 31900
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/499 11037
/proc/meminfo: memFree=30413256/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=31900 CPUtime=402.3 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 12499 0 0 0 39205 1025 0 0 25 0 1 0 819303253 32665600 6981 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 7975 6981 734 1214 0 6757 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31900
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.09 3/499 11040
/proc/meminfo: memFree=30413340/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=31900 CPUtime=462.3 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 12502 0 0 0 45058 1172 0 0 25 0 1 0 819303253 32665600 6984 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 7975 6984 734 1214 0 6757 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 31900
[startup+522.301 s]
/proc/loadavg: 2.04 2.01 2.09 3/499 11041
/proc/meminfo: memFree=30413320/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=31900 CPUtime=522.31 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 12503 0 0 0 50912 1319 0 0 25 0 1 0 819303253 32665600 6985 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 7975 6985 734 1214 0 6757 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 31900
[startup+582.3 s]
/proc/loadavg: 2.06 2.02 2.09 3/499 11043
/proc/meminfo: memFree=30413296/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=32700 CPUtime=582.3 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 12680 0 0 0 56770 1460 0 0 25 0 1 0 819303253 33484800 7162 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 8175 7162 734 1214 0 6957 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 32700
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.06 3/499 11049
/proc/meminfo: memFree=30408476/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=34048 CPUtime=822.31 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 13024 0 0 0 80201 2030 0 0 25 0 1 0 819303253 34865152 7506 33554432000 4194304 9163163 140733689693376 18446744073709551615 4347401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 8512 7506 734 1214 0 7294 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 34048
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/499 11051
/proc/meminfo: memFree=30407948/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=34048 CPUtime=882.31 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 13028 0 0 0 86054 2177 0 0 25 0 1 0 819303253 34865152 7510 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 8512 7510 734 1214 0 7294 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 34048
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.05 3/499 11052
/proc/meminfo: memFree=30404460/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=35556 CPUtime=942.31 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 13405 0 0 0 91892 2339 0 0 25 0 1 0 819303253 36409344 7887 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 8889 7887 734 1214 0 7671 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 35556
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/499 11054
/proc/meminfo: memFree=30403444/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=36748 CPUtime=1002.32 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 13701 0 0 0 97749 2483 0 0 25 0 1 0 819303253 37629952 8183 33554432000 4194304 9163163 140733689693376 18446744073709551615 7390818 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 9187 8183 734 1214 0 7969 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 36748
[startup+1062.3 s]
/proc/loadavg: 2.12 2.03 2.05 3/499 11056
/proc/meminfo: memFree=30403412/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=36748 CPUtime=1062.31 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 13704 0 0 0 103610 2621 0 0 25 0 1 0 819303253 37629952 8186 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 9187 8186 734 1214 0 7969 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 36748
[startup+1122.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/499 11057
/proc/meminfo: memFree=30402780/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=37252 CPUtime=1122.32 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 13841 0 0 0 109473 2759 0 0 25 0 1 0 819303253 38146048 8323 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 9313 8323 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.04 2.03 2.04 3/499 11059
/proc/meminfo: memFree=30401880/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=37252 CPUtime=1182.32 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 13845 0 0 0 115328 2904 0 0 25 0 1 0 819303253 38146048 8327 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 9313 8327 734 1214 0 8095 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 37252
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/499 11060
/proc/meminfo: memFree=30400116/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=37996 CPUtime=1242.32 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 14025 0 0 0 121184 3048 0 0 25 0 1 0 819303253 38907904 8507 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 9499 8507 734 1214 0 8281 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 37996
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/499 11062
/proc/meminfo: memFree=30399844/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=39004 CPUtime=1302.33 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 14291 0 0 0 127039 3194 0 0 25 0 1 0 819303253 39940096 8773 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 9751 8773 734 1214 0 8533 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 39004
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/499 11064
/proc/meminfo: memFree=30399692/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=39216 CPUtime=1362.32 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 14343 0 0 0 132892 3340 0 0 25 0 1 0 819303253 40157184 8825 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 9804 8825 734 1214 0 8586 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 39216
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.02 3/499 11065
/proc/meminfo: memFree=30399172/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=39748 CPUtime=1422.34 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 14485 0 0 0 138742 3492 0 0 25 0 1 0 819303253 40701952 8967 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 9937 8967 734 1214 0 8719 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 39748
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/499 11067
/proc/meminfo: memFree=30397284/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=40148 CPUtime=1482.33 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 14586 0 0 0 144596 3637 0 0 25 0 1 0 819303253 41111552 9068 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 10037 9068 734 1214 0 8819 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 40148
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/499 11068
/proc/meminfo: memFree=30397632/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=40864 CPUtime=1542.33 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 14766 0 0 0 150451 3782 0 0 25 0 1 0 819303253 41844736 9248 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 10216 9248 734 1214 0 8998 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 40864
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 11070
/proc/meminfo: memFree=30395740/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=41084 CPUtime=1602.33 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 14823 0 0 0 156309 3924 0 0 25 0 1 0 819303253 42070016 9305 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 10271 9305 734 1214 0 9053 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 41084
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/499 11072
/proc/meminfo: memFree=30393360/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=43192 CPUtime=1662.33 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 15357 0 0 0 162165 4068 0 0 25 0 1 0 819303253 44228608 9839 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 10798 9839 734 1214 0 9580 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 43192
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/499 11073
/proc/meminfo: memFree=30393088/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=43192 CPUtime=1722.34 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 15360 0 0 0 168017 4217 0 0 25 0 1 0 819303253 44228608 9842 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 10798 9842 734 1214 0 9580 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 43192
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/499 11075
/proc/meminfo: memFree=30390572/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=43192 CPUtime=1782.34 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 15364 0 0 0 173867 4367 0 0 25 0 1 0 819303253 44228608 9846 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 10798 9846 734 1214 0 9580 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 43192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.04 2.01 3/499 11075
/proc/meminfo: memFree=30390940/32951124 swapFree=53876548/67111528
[pid=11004] ppid=11002 vsize=43568 CPUtime=1800.04 cores=1,3,5,7
/proc/11004/stat : 11004 (scip-2.0.1.4b.l) R 11002 11004 26596 0 -1 4202496 15440 0 0 0 175593 4411 0 0 25 0 1 0 819303253 44613632 9922 33554432000 4194304 9163163 140733689693376 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11004/statm: 10892 9922 734 1214 0 9674 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 43568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1755.95
CPU system time (s): 44.1153
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 43568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.95
system time used= 44.1153
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15443
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= 2644
runsolver used 8.49771 second user time and 19.3851 second system time
The end