0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3450990-1307077124.opb>
0.00/0.01 c original problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 479 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 o 479
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.790000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 479 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 97 del conss, 212 add conss, 0 chg bounds, 255 chg sides, 582 chg coeffs, 479 upgd conss, 276 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 126 del conss, 228 add conss, 0 chg bounds, 324 chg sides, 692 chg coeffs, 479 upgd conss, 276 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 134 del conss, 234 add conss, 0 chg bounds, 342 chg sides, 733 chg coeffs, 479 upgd conss, 276 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 134 del conss, 234 add conss, 0 chg bounds, 345 chg sides, 741 chg coeffs, 479 upgd conss, 276 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/479 (21.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (7 rounds):
0.00/0.03 c 0 deleted vars, 134 deleted constraints, 234 added constraints, 0 tightened bounds, 0 added holes, 345 changed sides, 741 changed coefficients
0.00/0.03 c 276 implications, 0 cliques
0.00/0.03 c presolved problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 579 constraints
0.00/0.03 c 441 constraints of type <knapsack>
0.00/0.03 c 136 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
1.00/1.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.00/1.10 c t 1.1s| 1 | 0 | 10589 | - |2671k| 0 | 323 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 4.790000e+02 | 208.78%
1.00/1.10 o 339
1.00/1.10 c r 1.1s| 1 | 0 | 10589 | - |2684k| 0 | 323 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 3.390000e+02 | 118.53%
1.00/1.10 o 338
1.00/1.10 c R 1.1s| 1 | 0 | 10589 | - |2697k| 0 | 323 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 3.380000e+02 | 117.89%
1.00/1.10 o 337
1.00/1.10 c s 1.1s| 1 | 0 | 10589 | - |2711k| 0 | 323 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 3.370000e+02 | 117.24%
1.28/1.31 o 222
1.28/1.31 c y 1.3s| 1 | 0 | 10589 | - |3082k| 0 | 323 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 2.220000e+02 | 43.11%
1.69/1.78 c 1.8s| 1 | 0 | 14209 | - |3010k| 0 | 385 | 479 | 579 | 479 | 797 | 218 | 0 | 0 | 1.607757e+02 | 2.220000e+02 | 38.08%
2.39/2.44 c 2.4s| 1 | 0 | 17438 | - |3257k| 0 | 422 | 479 | 579 | 479 | 973 | 394 | 0 | 0 | 1.643317e+02 | 2.220000e+02 | 35.09%
2.99/3.02 c 3.0s| 1 | 0 | 19498 | - |3448k| 0 | 432 | 479 | 579 | 479 |1115 | 536 | 0 | 0 | 1.659610e+02 | 2.220000e+02 | 33.77%
3.59/3.61 c 3.6s| 1 | 0 | 21100 | - |3561k| 0 | 439 | 479 | 579 | 479 |1200 | 621 | 0 | 0 | 1.669243e+02 | 2.220000e+02 | 32.99%
4.09/4.14 c 4.1s| 1 | 0 | 22187 | - |3635k| 0 | 443 | 479 | 579 | 479 |1263 | 684 | 0 | 0 | 1.673808e+02 | 2.220000e+02 | 32.63%
4.49/4.51 c 4.5s| 1 | 0 | 22595 | - |3653k| 0 | 447 | 479 | 579 | 479 |1291 | 712 | 0 | 0 | 1.675252e+02 | 2.220000e+02 | 32.52%
4.89/4.94 c 4.9s| 1 | 0 | 23029 | - |3680k| 0 | 443 | 479 | 579 | 479 |1313 | 734 | 0 | 0 | 1.676367e+02 | 2.220000e+02 | 32.43%
5.29/5.37 c 5.4s| 1 | 0 | 23297 | - |3699k| 0 | 436 | 479 | 579 | 479 |1327 | 748 | 0 | 0 | 1.677285e+02 | 2.220000e+02 | 32.36%
5.68/5.76 c 5.8s| 1 | 0 | 23432 | - |3710k| 0 | 440 | 479 | 579 | 479 |1335 | 756 | 0 | 0 | 1.677634e+02 | 2.220000e+02 | 32.33%
8.29/8.33 c 8.3s| 1 | 2 | 23432 | - |3730k| 0 | 440 | 479 | 579 | 479 |1335 | 756 | 0 | 16 | 1.677634e+02 | 2.220000e+02 | 32.33%
27.89/27.91 o 221
27.89/27.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.89/27.91 c c27.9s| 15 | 16 | 41761 |1309.2 |4535k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.678177e+02 | 2.210000e+02 | 31.69%
27.89/27.92 o 219
27.89/27.92 c c27.9s| 15 | 16 | 41780 |1310.6 |4539k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.678177e+02 | 2.190000e+02 | 30.50%
29.89/29.90 o 219
29.89/29.90 c p29.9s| 27 | 28 | 56907 |1287.5 |4631k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.190000e+02 | 30.24%
29.89/29.90 o 215
29.89/29.90 c p29.9s| 27 | 28 | 56913 |1287.7 |4632k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.150000e+02 | 27.86%
29.89/29.90 o 214
29.89/29.90 c p29.9s| 27 | 28 | 56914 |1287.8 |4633k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.140000e+02 | 27.26%
29.89/29.91 o 213
29.89/29.91 c p29.9s| 27 | 28 | 56917 |1287.9 |4635k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.130000e+02 | 26.67%
29.89/29.91 o 211
29.89/29.91 c p29.9s| 27 | 28 | 56921 |1288.0 |4636k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.110000e+02 | 25.48%
29.89/29.91 o 210
29.89/29.91 c p29.9s| 27 | 28 | 56936 |1288.6 |4640k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.100000e+02 | 24.89%
29.89/29.91 o 210
29.89/29.91 c p29.9s| 27 | 28 | 56944 |1288.9 |4641k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.100000e+02 | 24.89%
29.89/29.91 o 209
29.89/29.91 c p29.9s| 27 | 28 | 56945 |1289.0 |4643k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.090000e+02 | 24.29%
29.89/29.92 o 206
29.89/29.92 c b29.9s| 27 | 28 | 56976 |1290.2 |4494k| 14 | 414 | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.060000e+02 | 22.51%
70.59/70.65 o 205
70.59/70.65 c p70.7s| 196 | 197 |375610 |1806.0 |4863k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 259 | 1.682957e+02 | 2.050000e+02 | 21.81%
70.68/70.73 o 203
70.68/70.73 c b70.7s| 197 | 198 |376189 |1799.8 |4711k| 27 | 412 | 479 | 579 | 479 | 970 | 756 | 0 | 259 | 1.682957e+02 | 2.030000e+02 | 20.62%
92.19/92.24 o 203
92.19/92.24 c p92.2s| 250 | 251 |537269 |2063.6 |4904k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.030000e+02 | 20.56%
92.19/92.24 o 202
92.19/92.24 c p92.2s| 250 | 251 |537270 |2063.6 |4905k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.020000e+02 | 19.96%
92.19/92.24 o 201
92.19/92.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.19/92.24 c p92.2s| 250 | 251 |537272 |2063.6 |4906k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.010000e+02 | 19.37%
92.19/92.24 o 200
92.19/92.24 c p92.2s| 250 | 251 |537285 |2063.7 |4910k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.000000e+02 | 18.78%
260.80/260.82 o 199
260.80/260.82 c p 261s| 1703 | 1465 | 1770k|1026.7 |5716k| 124 | - | 479 | 579 | 479 | 970 | 756 | 0 | 641 | 1.688882e+02 | 1.990000e+02 | 17.83%
399.60/399.61 o 199
399.60/399.61 c p 400s| 6333 | 2903 | 2819k| 441.6 |6857k| 124 | - | 479 | 579 | 479 | 970 | 756 | 0 |1004 | 1.691029e+02 | 1.990000e+02 | 17.68%
399.60/399.61 o 198
399.60/399.61 c p 400s| 6333 | 2826 | 2819k| 441.6 |6767k| 124 | - | 479 | 579 | 479 | 970 | 756 | 0 |1004 | 1.691029e+02 | 1.980000e+02 | 17.09%
446.70/446.71 o 193
446.70/446.71 c C 447s| 7720 | 2612 | 3167k| 407.3 |6362k| 124 | - | 479 | 579 | 479 | 970 | 756 | 0 |1116 | 1.691434e+02 | 1.930000e+02 | 14.10%
519.50/519.58 c 520s| 10000 | 3296 | 3766k| 374.3 |6906k| 124 | 178 | 479 | 579 | 479 | 970 | 756 | 0 |1164 | 1.691958e+02 | 1.930000e+02 | 14.07%
729.70/729.70 o 192
729.70/729.70 c C 730s| 15963 | 4765 | 5446k| 339.8 |7960k| 124 | - | 479 | 579 | 479 | 970 | 756 | 0 |1653 | 1.692999e+02 | 1.920000e+02 | 13.41%
729.70/729.72 o 191
729.70/729.72 c b 730s| 15964 | 4541 | 5447k| 339.8 |7746k| 124 | - | 479 | 579 | 479 | 970 | 756 | 0 |1653 | 1.692999e+02 | 1.910000e+02 | 12.82%
880.91/881.00 c 881s| 20000 | 5629 | 6636k| 330.7 |8525k| 124 | 218 | 479 | 579 | 479 | 970 | 756 | 0 |1988 | 1.693638e+02 | 1.910000e+02 | 12.77%
1222.03/1222.08 c 1222s| 30000 | 7955 | 9384k| 312.1 | 10M| 124 | 207 | 479 | 579 | 479 | 970 | 756 | 0 |2660 | 1.694713e+02 | 1.910000e+02 | 12.70%
1567.53/1567.54 c 1568s| 40000 | 10613 | 12146k| 303.1 | 12M| 124 | 383 | 479 | 579 | 479 | 970 | 756 | 0 |3214 | 1.695567e+02 | 1.910000e+02 | 12.65%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1800.01
1800.04/1800.01 c Solving Nodes : 47075
1800.04/1800.01 c Primal Bound : +1.91000000000000e+02 (726 solutions)
1800.04/1800.01 c Dual Bound : +1.69595461181360e+02
1800.04/1800.01 c Gap : 12.62 %
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v -x479 -x478 x477 -x476 x475 x474 x473 -x472 x471 x470 x469 -x468 -x467 x466 -x465 -x464 x463 -x462 x461 -x460 -x459 -x458 x457
1800.04/1800.01 v -x456 x455 x454 -x453 -x452 x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 x442 x441 -x440 -x439 -x438 -x437 -x436 x435
1800.04/1800.01 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 x427 x426 x425 x424 -x423 -x422 x421 x420 x419 x418 -x417 -x416 -x415 -x414 x413 -x412
1800.04/1800.01 v -x411 x410 -x409 x408 x407 x406 -x405 -x404 x403 x402 x401 x400 x399 x398 x397 x396 -x395 x394 -x393 -x392 -x391 x390 -x389
1800.04/1800.01 v x388 -x387 -x386 x385 -x384 x383 -x382 x381 x380 x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 x367
1800.04/1800.01 v -x366 -x365 x364 -x363 -x362 x361 x360 -x359 -x358 -x357 x356 -x355 x354 -x353 x352 -x351 -x350 -x349 x348 -x347 -x346 -x345
1800.04/1800.01 v -x344 x343 -x342 -x341 x340 x339 x338 x337 -x336 x335 x334 x333 -x332 x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 x323 x322
1800.04/1800.01 v x321 x320 -x319 x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 x308 x307 -x306 x305 -x304 -x303 -x302 x301 -x300
1800.04/1800.01 v -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278
1800.04/1800.01 v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 x266 -x265 -x264 -x263 -x262 -x261 x260 x259 x258 -x257
1800.04/1800.01 v x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 x247 -x246 x245 x244 x243 -x242 x241 x240 x239 x238 x237 x236 -x235 x234
1800.04/1800.01 v -x233 -x232 -x231 x230 x229 x228 -x227 x226 x225 -x224 x223 -x222 x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 x212 x211
1800.04/1800.01 v -x210 -x209 -x208 x207 x206 x205 -x204 -x203 x202 -x201 x200 -x199 x198 -x197 x196 x195 -x194 -x193 x192 x191 x190 x189 -x188
1800.04/1800.01 v -x187 x186 -x185 x184 -x183 x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 x173 x172 x171 x170 x169 x168 -x167 -x166
1800.04/1800.01 v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 x156 x155 -x154 -x153 x152 -x151 -x150 -x149 x148 x147 -x146 x145 x144
1800.04/1800.01 v x143 -x142 -x141 x140 -x139 -x138 x137 -x136 -x135 x134 -x133 -x132 -x131 x130 x129 x128 -x127 -x126 -x125 x124 x123 x122 x121
1800.04/1800.01 v -x120 -x119 -x118 x117 x116 -x115 x114 -x113 x112 x111 -x110 -x109 x108 -x107 -x106 x105 -x104 -x103 x102 -x101 x100 x99 x98
1800.04/1800.01 v -x97 -x96 x95 x94 -x93 x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 x84 x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 x75 x74 -x73 x72 -x71
1800.04/1800.01 v -x70 x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 x53 -x52 x51 -x50 -x49 x48 -x47 -x46 -x45
1800.04/1800.01 v x44 -x43 -x42 x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 x23 x22 x21 x20 -x19 -x18
1800.04/1800.01 v -x17 -x16 -x15 -x14 x13 x12 x11 -x10 x9 -x8 -x7 -x6 x5 x4 -x3 -x2 -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Total Time : 1800.01
1800.04/1800.01 c solving : 1800.01
1800.04/1800.01 c presolving : 0.02 (included in solving)
1800.04/1800.01 c reading : 0.01 (included in solving)
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-3450990-1307077124.opb
1800.04/1800.01 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 479 initial, 479 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-3450990-1307077124.opb
1800.04/1800.01 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 579 initial, 579 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c knapsack : 0.01 0 0 0 0 0 36 234 345 720
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 98 0 0 0
1800.04/1800.01 c linear : 0.01 0 0 0 0 0 0 0 0 21
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 30222 0 731 0 0 125 0 0 60300
1800.04/1800.01 c knapsack : 441 10 291486 0 1 726 0 0 216185 798 0 0
1800.04/1800.01 c setppc : 136 10 291486 0 1 725 0 0 17165 0 0 0
1800.04/1800.01 c logicor : 2 10 7253 0 1 725 0 0 1601 0 0 0
1800.04/1800.01 c countsols : 0 0 0 0 1 729 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.01 c integral : 112.29 0.00 0.00 112.29 0.00 0.00 0.00
1800.04/1800.01 c knapsack : 3.21 0.03 3.17 0.00 0.00 0.01 0.00
1800.04/1800.01 c setppc : 0.40 0.00 0.40 0.00 0.00 0.00 0.00
1800.04/1800.01 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.01 c vbounds : 0 0 0 0
1800.04/1800.01 c rootredcost : 19 0 0 0
1800.04/1800.01 c pseudoobj : 292227 0 0 0
1800.04/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.01 c vbounds : 0.05 0.05 0.00
1800.04/1800.01 c rootredcost : 0.06 0.06 0.00
1800.04/1800.01 c pseudoobj : 2.28 2.28 0.00
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 0 0.0 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 9 - - 306 - (maximal pool size: 1345)
1800.04/1800.01 c redcost : 1.20 63124 0 606702 0 0
1800.04/1800.01 c impliedbounds : 0.00 10 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 1.34 10 0 0 6 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 1.23 10 0 0 6 0
1800.04/1800.01 c cmir : 0.21 10 0 0 789 0
1800.04/1800.01 c flowcover : 0.24 10 0 0 965 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.06 1 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 112.27 30222 0 125 0 0 60300
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c oneopt : 0.02 12 3
1800.04/1800.01 c objpscostdiving : 36.55 6 9
1800.04/1800.01 c crossover : 2.07 5 4
1800.04/1800.01 c rootsoldiving : 14.88 14 0
1800.04/1800.01 c guideddiving : 54.05 49 0
1800.04/1800.01 c fracdiving : 54.28 50 0
1800.04/1800.01 c veclendiving : 83.47 97 95
1800.04/1800.01 c coefdiving : 128.33 113 161
1800.04/1800.01 c linesearchdiving : 80.94 114 76
1800.04/1800.01 c pscostdiving : 299.30 355 324
1800.04/1800.01 c trivial : 0.00 2 1
1800.04/1800.01 c shiftandpropagate: 0.00 0 0
1800.04/1800.01 c simplerounding : 1.13 53356 24
1800.04/1800.01 c zirounding : 0.48 1301 26
1800.04/1800.01 c rounding : 13.90 10698 1
1800.04/1800.01 c shifting : 3.62 2589 1
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c clique : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.01 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c vbounds : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c subnlp : 0.01 0 0
1800.04/1800.01 c trysol : 0.01 0 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 893.18 70267 7616899 108.40 8527.80
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 728.35 119524 6450187 53.97 8855.92
1800.04/1800.01 c strong branching : 110.51 3561 809647 227.37 7326.42
1800.04/1800.01 c (at root node) : - 16 14506 906.62 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 47075
1800.04/1800.01 c nodes (total) : 47075
1800.04/1800.01 c nodes left : 12286
1800.04/1800.01 c max depth : 124
1800.04/1800.01 c max depth (total): 124
1800.04/1800.01 c backtracks : 8503 (18.1%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 6.05
1800.04/1800.01 c switching time : 1.98
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 726 (28 improvements)
1800.04/1800.01 c First Solution : +4.79000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +1.91000000000000e+02 (in run 1, after 15964 nodes, 729.72 seconds, depth 86, found by <oneopt>)
1800.04/1800.01 c Dual Bound : +1.69595461181360e+02
1800.04/1800.01 c Gap : 12.62 %
1800.04/1800.01 c Root Dual Bound : +1.67763362772140e+02
1800.04/1800.01 c Root Iterations : 23432
1800.04/1800.03 c Time complete: 1800.06.
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-3450990-1307077124/watcher-3450990-1307077124 -o /tmp/evaluation-result-3450990-1307077124/solver-3450990-1307077124 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450990-1307077124.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.01 1.99 3/327 17734
/proc/meminfo: memFree=23054672/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=13252 CPUtime=0 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 2303 0 0 0 0 0 0 0 25 0 1 0 897942981 13570048 2257 33554432000 4194304 9163163 140733763968592 18446744073709551615 8013931 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17734/statm: 3313 2257 395 1214 0 2095 0
[startup+0.048896 s]
/proc/loadavg: 1.92 2.01 1.99 3/327 17734
/proc/meminfo: memFree=23054672/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=22276 CPUtime=0.03 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 4720 0 0 0 3 0 0 0 25 0 1 0 897942981 22810624 4416 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 5569 4416 642 1214 0 4351 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 22276
[startup+0.100899 s]
/proc/loadavg: 1.92 2.01 1.99 3/327 17734
/proc/meminfo: memFree=23054672/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=22480 CPUtime=0.08 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 4781 0 0 0 8 0 0 0 25 0 1 0 897942981 23019520 4477 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 5620 4477 646 1214 0 4402 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22480
[startup+0.300852 s]
/proc/loadavg: 1.92 2.01 1.99 3/327 17734
/proc/meminfo: memFree=23054672/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=22808 CPUtime=0.29 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 4858 0 0 0 27 2 0 0 25 0 1 0 897942981 23355392 4550 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 5702 4550 642 1214 0 4484 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22808
[startup+0.700778 s]
/proc/loadavg: 1.92 2.01 1.99 3/327 17734
/proc/meminfo: memFree=23054672/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=22808 CPUtime=0.68 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 4885 0 0 0 66 2 0 0 25 0 1 0 897942981 23355392 4577 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 5702 4577 642 1214 0 4484 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22808
[startup+1.50064 s]
/proc/loadavg: 1.92 2.01 1.99 3/328 17735
/proc/meminfo: memFree=23037056/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=24552 CPUtime=1.49 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 8457 0 0 0 144 5 0 0 25 0 1 0 897942981 25141248 5106 33554432000 4194304 9163163 140733763968592 18446744073709551615 7389816 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 6138 5106 714 1214 0 4920 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24552
[startup+3.10034 s]
/proc/loadavg: 1.92 2.01 1.99 3/328 17735
/proc/meminfo: memFree=23031972/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=26012 CPUtime=3.09 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 8826 0 0 0 301 8 0 0 25 0 1 0 897942981 26636288 5475 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 6503 5475 715 1214 0 5285 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26012
[startup+6.30075 s]
/proc/loadavg: 1.93 2.01 1.99 3/328 17735
/proc/meminfo: memFree=23026708/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=26888 CPUtime=6.29 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 10570 0 0 0 616 13 0 0 25 0 1 0 897942981 27533312 5704 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 6722 5704 720 1214 0 5504 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26888
[startup+12.7006 s]
/proc/loadavg: 1.93 2.01 1.99 3/328 17735
/proc/meminfo: memFree=23017544/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=27040 CPUtime=12.69 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 10585 0 0 0 1241 28 0 0 25 0 1 0 897942981 27688960 5719 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 6760 5719 721 1214 0 5542 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27040
[startup+25.5002 s]
/proc/loadavg: 1.95 2.00 1.99 3/328 17735
/proc/meminfo: memFree=22997704/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=27040 CPUtime=25.49 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 10586 0 0 0 2490 59 0 0 25 0 1 0 897942981 27688960 5720 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 6760 5720 722 1214 0 5542 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27040
[startup+51.1005 s]
/proc/loadavg: 1.96 2.00 1.99 3/328 17736
/proc/meminfo: memFree=22967584/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=27684 CPUtime=51.09 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 10758 0 0 0 4979 130 0 0 25 0 1 0 897942981 28348416 5892 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 6921 5892 724 1214 0 5703 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27684
[startup+102.312 s]
/proc/loadavg: 1.98 2.00 1.99 3/328 17737
/proc/meminfo: memFree=22901788/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=27840 CPUtime=102.3 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 10783 0 0 0 9947 283 0 0 25 0 1 0 897942981 28508160 5917 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 6960 5917 725 1214 0 5742 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27840
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/328 17748
/proc/meminfo: memFree=22824516/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=27984 CPUtime=162.29 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 13458 0 0 0 15777 452 0 0 25 0 1 0 897942981 28655616 5959 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 6996 5959 730 1214 0 5778 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 27984
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 4/328 17750
/proc/meminfo: memFree=22744248/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=28744 CPUtime=222.29 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 16432 0 0 0 21611 618 0 0 25 0 1 0 897942981 29433856 6137 33554432000 4194304 9163163 140733763968592 18446744073709551615 5797341 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 7186 6137 730 1214 0 5968 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 28744
[startup+282.3 s]
/proc/loadavg: 2.11 2.03 2.00 3/328 17751
/proc/meminfo: memFree=22662744/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=29652 CPUtime=282.29 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 19805 0 0 0 27434 795 0 0 25 0 1 0 897942981 30363648 6361 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 7413 6361 730 1214 0 6195 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 29652
[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/328 17753
/proc/meminfo: memFree=22579504/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=29892 CPUtime=342.29 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 22188 0 0 0 33252 977 0 0 25 0 1 0 897942981 30609408 6456 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 7473 6456 730 1214 0 6255 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 29892
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/328 17754
/proc/meminfo: memFree=22497000/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=30420 CPUtime=402.3 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 22315 0 0 0 39078 1152 0 0 25 0 1 0 897942981 31150080 6583 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 7605 6583 730 1214 0 6387 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 30420
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/328 17756
/proc/meminfo: memFree=22416988/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=30412 CPUtime=462.3 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 26901 0 0 0 44894 1336 0 0 25 0 1 0 897942981 31141888 6591 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 7603 6591 731 1214 0 6385 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 30412
[startup+522.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/328 17758
/proc/meminfo: memFree=22336860/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=30388 CPUtime=522.3 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 28376 0 0 0 50713 1517 0 0 25 0 1 0 897942981 31117312 6580 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 7597 6580 731 1214 0 6379 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 30388
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/328 17759
/proc/meminfo: memFree=22257224/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=30652 CPUtime=582.3 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 31525 0 0 0 56534 1696 0 0 25 0 1 0 897942981 31387648 6636 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 7663 6636 731 1214 0 6445 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 30652
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/328 17766
/proc/meminfo: memFree=21937792/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=32916 CPUtime=822.31 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 36731 0 0 0 79785 2446 0 0 25 0 1 0 897942981 33705984 7220 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 8229 7220 731 1214 0 7011 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 32916
[startup+882.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 17767
/proc/meminfo: memFree=21858892/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=33104 CPUtime=882.31 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 36777 0 0 0 85603 2628 0 0 25 0 1 0 897942981 33898496 7266 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 8276 7266 731 1214 0 7058 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 33104
[startup+942.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/328 17769
/proc/meminfo: memFree=21783472/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=33652 CPUtime=942.31 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 38362 0 0 0 91418 2813 0 0 25 0 1 0 897942981 34459648 7392 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 8413 7392 731 1214 0 7195 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 33652
[startup+1002.3 s]
/proc/loadavg: 1.97 1.99 1.99 3/328 17798
/proc/meminfo: memFree=22712024/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=33668 CPUtime=1002.31 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 41420 0 0 0 97133 3098 0 0 25 0 1 0 897942981 34476032 7399 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 8417 7399 731 1214 0 7199 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 33668
[startup+1062.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/328 17800
/proc/meminfo: memFree=22708656/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=33820 CPUtime=1062.31 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 41467 0 0 0 102846 3385 0 0 25 0 1 0 897942981 34631680 7446 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 8455 7446 731 1214 0 7237 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 33820
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/328 17802
/proc/meminfo: memFree=22702320/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=33820 CPUtime=1122.31 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 41470 0 0 0 108576 3655 0 0 25 0 1 0 897942981 34631680 7449 33554432000 4194304 9163163 140733763968592 18446744073709551615 7390865 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 8455 7449 731 1214 0 7237 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 33820
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17803
/proc/meminfo: memFree=22686556/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=33644 CPUtime=1182.31 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 42884 0 0 0 114285 3946 0 0 25 0 1 0 897942981 34451456 7406 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 8411 7406 731 1214 0 7193 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 33644
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17805
/proc/meminfo: memFree=22662612/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=33640 CPUtime=1242.32 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 44355 0 0 0 120011 4221 0 0 25 0 1 0 897942981 34447360 7405 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 8410 7405 731 1214 0 7192 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 33640
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17806
/proc/meminfo: memFree=22654792/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=34852 CPUtime=1302.33 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 44658 0 0 0 125756 4477 0 0 25 0 1 0 897942981 35688448 7708 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 8713 7708 731 1214 0 7495 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 34852
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17808
/proc/meminfo: memFree=22649052/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=36292 CPUtime=1362.32 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 46543 0 0 0 131482 4750 0 0 25 0 1 0 897942981 37163008 8093 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 9073 8093 731 1214 0 7855 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 36292
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/328 17810
/proc/meminfo: memFree=22621992/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=36292 CPUtime=1422.33 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 46546 0 0 0 137207 5026 0 0 25 0 1 0 897942981 37163008 8096 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 9073 8096 731 1214 0 7855 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 36292
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 17811
/proc/meminfo: memFree=22622068/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=36292 CPUtime=1482.32 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 46547 0 0 0 142922 5310 0 0 25 0 1 0 897942981 37163008 8097 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 9073 8097 731 1214 0 7855 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 36292
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/328 17813
/proc/meminfo: memFree=22613120/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=36528 CPUtime=1542.32 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 48114 0 0 0 148637 5595 0 0 25 0 1 0 897942981 37404672 8127 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 9132 8127 731 1214 0 7914 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 36528
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/328 17814
/proc/meminfo: memFree=22612328/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=37208 CPUtime=1602.33 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 48296 0 0 0 154339 5894 0 0 25 0 1 0 897942981 38100992 8309 33554432000 4194304 9163163 140733763968592 18446744073709551615 7376005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 9302 8309 731 1214 0 8084 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 37208
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/328 17816
/proc/meminfo: memFree=22612660/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=37208 CPUtime=1662.33 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 48304 0 0 0 160046 6187 0 0 25 0 1 0 897942981 38100992 8317 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 9302 8317 731 1214 0 8084 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 37208
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/328 17818
/proc/meminfo: memFree=22612648/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=37432 CPUtime=1722.33 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 48373 0 0 0 165737 6496 0 0 25 0 1 0 897942981 38330368 8386 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 9358 8386 731 1214 0 8140 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 37432
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17819
/proc/meminfo: memFree=22612100/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=37432 CPUtime=1782.33 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 48374 0 0 0 171449 6784 0 0 25 0 1 0 897942981 38330368 8387 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 9358 8387 731 1214 0 8140 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 37432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17820
/proc/meminfo: memFree=22611848/32951124 swapFree=67056304/67111528
[pid=17734] ppid=17732 vsize=37708 CPUtime=1800.04 cores=1,3,5,7
/proc/17734/stat : 17734 (scip-2.0.1.4b.l) R 17732 17734 15734 0 -1 4202496 48410 0 0 0 173135 6869 0 0 25 0 1 0 897942981 38612992 8423 33554432000 4194304 9163163 140733763968592 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17734/statm: 9427 8423 731 1214 0 8209 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 37708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1731.38
CPU system time (s): 68.7006
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 47080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1731.38
system time used= 68.7006
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 22005
runsolver used 5.15222 second user time and 12.869 second system time
The end