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-3452650-1307076864.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.02 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.4
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
1.19/1.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.22 c t 1.2s| 1 | 0 | 10589 | - |2637k| 0 | 323 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 4.790000e+02 | 208.78%
1.19/1.22 o 339
1.19/1.22 c r 1.2s| 1 | 0 | 10589 | - |2650k| 0 | 323 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 3.390000e+02 | 118.53%
1.19/1.22 o 338
1.19/1.22 c R 1.2s| 1 | 0 | 10589 | - |2663k| 0 | 323 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 3.380000e+02 | 117.89%
1.19/1.23 o 337
1.19/1.23 c s 1.2s| 1 | 0 | 10589 | - |2677k| 0 | 323 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 3.370000e+02 | 117.24%
1.39/1.46 o 222
1.39/1.46 c y 1.5s| 1 | 0 | 10589 | - |3049k| 0 | 323 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 2.220000e+02 | 43.11%
1.89/1.99 c 2.0s| 1 | 0 | 14209 | - |2976k| 0 | 385 | 479 | 579 | 479 | 797 | 218 | 0 | 0 | 1.607757e+02 | 2.220000e+02 | 38.08%
2.70/2.74 c 2.7s| 1 | 0 | 17438 | - |3224k| 0 | 422 | 479 | 579 | 479 | 973 | 394 | 0 | 0 | 1.643317e+02 | 2.220000e+02 | 35.09%
3.31/3.39 c 3.4s| 1 | 0 | 19498 | - |3414k| 0 | 432 | 479 | 579 | 479 |1115 | 536 | 0 | 0 | 1.659610e+02 | 2.220000e+02 | 33.77%
3.99/4.06 c 4.1s| 1 | 0 | 21100 | - |3527k| 0 | 439 | 479 | 579 | 479 |1200 | 621 | 0 | 0 | 1.669243e+02 | 2.220000e+02 | 32.99%
4.59/4.65 c 4.7s| 1 | 0 | 22187 | - |3602k| 0 | 443 | 479 | 579 | 479 |1263 | 684 | 0 | 0 | 1.673808e+02 | 2.220000e+02 | 32.63%
4.99/5.05 c 5.0s| 1 | 0 | 22595 | - |3620k| 0 | 447 | 479 | 579 | 479 |1291 | 712 | 0 | 0 | 1.675252e+02 | 2.220000e+02 | 32.52%
5.40/5.50 c 5.5s| 1 | 0 | 23029 | - |3647k| 0 | 443 | 479 | 579 | 479 |1313 | 734 | 0 | 0 | 1.676367e+02 | 2.220000e+02 | 32.43%
5.89/5.93 c 5.9s| 1 | 0 | 23297 | - |3666k| 0 | 436 | 479 | 579 | 479 |1327 | 748 | 0 | 0 | 1.677285e+02 | 2.220000e+02 | 32.36%
6.30/6.31 c 6.3s| 1 | 0 | 23432 | - |3677k| 0 | 440 | 479 | 579 | 479 |1335 | 756 | 0 | 0 | 1.677634e+02 | 2.220000e+02 | 32.33%
9.09/9.18 c 9.2s| 1 | 2 | 23432 | - |3697k| 0 | 440 | 479 | 579 | 479 |1335 | 756 | 0 | 16 | 1.677634e+02 | 2.220000e+02 | 32.33%
30.80/30.86 o 221
30.80/30.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.80/30.86 c c30.9s| 15 | 16 | 41761 |1309.2 |4502k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.678177e+02 | 2.210000e+02 | 31.69%
30.80/30.86 o 219
30.80/30.86 c c30.9s| 15 | 16 | 41780 |1310.6 |4506k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.678177e+02 | 2.190000e+02 | 30.50%
32.90/32.95 o 219
32.90/32.95 c p32.9s| 27 | 28 | 56907 |1287.5 |4597k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.190000e+02 | 30.24%
32.90/32.95 o 215
32.90/32.95 c p32.9s| 27 | 28 | 56913 |1287.7 |4599k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.150000e+02 | 27.86%
32.90/32.95 o 214
32.90/32.95 c p32.9s| 27 | 28 | 56914 |1287.8 |4600k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.140000e+02 | 27.26%
32.90/32.95 o 213
32.90/32.95 c p32.9s| 27 | 28 | 56917 |1287.9 |4602k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.130000e+02 | 26.67%
32.90/32.95 o 211
32.90/32.95 c p33.0s| 27 | 28 | 56921 |1288.0 |4603k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.110000e+02 | 25.48%
32.90/32.95 o 210
32.90/32.95 c p33.0s| 27 | 28 | 56936 |1288.6 |4607k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.100000e+02 | 24.89%
32.90/32.95 o 210
32.90/32.95 c p33.0s| 27 | 28 | 56944 |1288.9 |4608k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.100000e+02 | 24.89%
32.90/32.95 o 209
32.90/32.95 c p33.0s| 27 | 28 | 56945 |1289.0 |4610k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.090000e+02 | 24.29%
32.90/32.96 o 206
32.90/32.96 c b33.0s| 27 | 28 | 56976 |1290.2 |4461k| 14 | 414 | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.060000e+02 | 22.51%
77.89/77.91 o 205
77.89/77.91 c p77.9s| 196 | 197 |375610 |1806.0 |4830k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 259 | 1.682957e+02 | 2.050000e+02 | 21.81%
77.89/78.00 o 203
77.89/78.00 c b78.0s| 197 | 198 |376189 |1799.8 |4678k| 27 | 412 | 479 | 579 | 479 | 970 | 756 | 0 | 259 | 1.682957e+02 | 2.030000e+02 | 20.62%
101.69/101.75 o 203
101.69/101.75 c p 102s| 250 | 251 |537269 |2063.6 |4871k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.030000e+02 | 20.56%
101.69/101.75 o 202
101.69/101.75 c p 102s| 250 | 251 |537270 |2063.6 |4872k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.020000e+02 | 19.96%
101.69/101.75 o 201
101.69/101.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.69/101.75 c p 102s| 250 | 251 |537272 |2063.6 |4873k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.010000e+02 | 19.37%
101.69/101.76 o 200
101.69/101.76 c p 102s| 250 | 251 |537285 |2063.7 |4877k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.000000e+02 | 18.78%
286.39/286.42 o 199
286.39/286.42 c p 286s| 1703 | 1465 | 1770k|1026.7 |5683k| 124 | - | 479 | 579 | 479 | 970 | 756 | 0 | 641 | 1.688882e+02 | 1.990000e+02 | 17.83%
438.90/438.94 o 199
438.90/438.94 c p 439s| 6333 | 2903 | 2819k| 441.6 |6824k| 124 | - | 479 | 579 | 479 | 970 | 756 | 0 |1004 | 1.691029e+02 | 1.990000e+02 | 17.68%
438.90/438.94 o 198
438.90/438.94 c p 439s| 6333 | 2826 | 2819k| 441.6 |6733k| 124 | - | 479 | 579 | 479 | 970 | 756 | 0 |1004 | 1.691029e+02 | 1.980000e+02 | 17.09%
490.20/490.21 o 193
490.20/490.21 c C 490s| 7720 | 2612 | 3167k| 407.3 |6329k| 124 | - | 479 | 579 | 479 | 970 | 756 | 0 |1116 | 1.691434e+02 | 1.930000e+02 | 14.10%
490.20/490.27 o 192
490.20/490.27 c b 490s| 7721 | 2606 | 3168k| 407.3 |6329k| 124 | 414 | 479 | 579 | 479 | 970 | 756 | 0 |1116 | 1.691435e+02 | 1.920000e+02 | 13.51%
582.79/582.85 c 583s| 10000 | 3361 | 3856k| 383.3 |6914k| 124 | - | 479 | 579 | 479 | 970 | 756 | 0 |1210 | 1.692007e+02 | 1.920000e+02 | 13.47%
973.58/973.62 c 974s| 20000 | 5915 | 6716k| 334.7 |8804k| 124 | - | 479 | 579 | 479 | 970 | 756 | 0 |2044 | 1.693702e+02 | 1.920000e+02 | 13.36%
1361.88/1361.99 c 1362s| 30000 | 8669 | 9593k| 319.0 | 10M| 124 | - | 479 | 585 | 479 | 970 | 756 | 7 |2696 | 1.694767e+02 | 1.920000e+02 | 13.29%
1719.99/1720.02 c 1720s| 40000 | 11237 | 12239k| 305.4 | 12M| 124 | 203 | 479 | 589 | 479 | 970 | 756 | 13 |3276 | 1.695499e+02 | 1.920000e+02 | 13.24%
1799.98/1800.00 c
1799.98/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1799.98/1800.00 c Solving Time (sec) : 1800.01
1799.98/1800.00 c Solving Nodes : 42064
1799.98/1800.00 c Primal Bound : +1.92000000000000e+02 (741 solutions)
1799.98/1800.00 c Dual Bound : +1.69561811219325e+02
1799.98/1800.00 c Gap : 13.23 %
1799.98/1800.00 s SATISFIABLE
1799.98/1800.00 v -x479 -x478 x477 -x476 x475 x474 x473 -x472 x471 -x470 x469 -x468 -x467 x466 -x465 -x464 x463 -x462 x461 -x460 -x459 -x458 x457
1799.98/1800.00 v -x456 x455 x454 -x453 -x452 x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 x442 x441 -x440 -x439 -x438 -x437 -x436 x435
1799.98/1800.00 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 x427 x426 -x425 x424 -x423 -x422 x421 x420 x419 x418 x417 -x416 -x415 -x414 x413 -x412
1799.98/1800.00 v -x411 x410 -x409 x408 x407 x406 -x405 -x404 x403 x402 x401 -x400 x399 x398 x397 x396 -x395 x394 -x393 -x392 -x391 x390 -x389
1799.98/1800.00 v x388 -x387 -x386 x385 -x384 x383 -x382 x381 x380 x379 -x378 x377 -x376 x375 -x374 -x373 x372 x371 -x370 -x369 -x368 x367
1799.98/1800.00 v x366 -x365 x364 -x363 -x362 x361 x360 -x359 -x358 -x357 x356 -x355 x354 -x353 x352 x351 -x350 -x349 x348 -x347 -x346 -x345 -x344
1799.98/1800.00 v x343 -x342 -x341 x340 x339 x338 x337 x336 -x335 x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 -x323 x322
1799.98/1800.00 v x321 x320 -x319 x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 x308 x307 -x306 x305 -x304 -x303 -x302 x301 -x300
1799.98/1800.00 v -x299 -x298 x297 -x296 -x295 x294 x293 -x292 -x291 -x290 -x289 x288 x287 x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278
1799.98/1800.00 v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 x259 x258 -x257 x256
1799.98/1800.00 v -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 -x246 x245 x244 x243 -x242 x241 x240 x239 x238 x237 x236 -x235 x234 -x233
1799.98/1800.00 v -x232 -x231 x230 x229 x228 x227 x226 x225 -x224 x223 -x222 x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 x211
1799.98/1800.00 v -x210 -x209 -x208 x207 x206 x205 -x204 -x203 x202 -x201 x200 -x199 x198 -x197 -x196 x195 -x194 -x193 x192 x191 x190 x189 -x188
1799.98/1800.00 v -x187 -x186 -x185 x184 -x183 x182 -x181 -x180 -x179 x178 x177 -x176 -x175 -x174 x173 x172 x171 x170 x169 x168 -x167 -x166
1799.98/1800.00 v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 x156 x155 -x154 -x153 x152 -x151 -x150 -x149 x148 x147 -x146 x145 x144 x143
1799.98/1800.00 v -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 x134 x133 -x132 -x131 x130 x129 x128 -x127 -x126 -x125 x124 x123 x122 -x121
1799.98/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
1799.98/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
1799.98/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 x44
1799.98/1800.01 v -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
1799.98/1800.01 v -x17 -x16 -x15 -x14 x13 -x12 x11 -x10 x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1
1799.98/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1799.98/1800.01 c Total Time : 1800.01
1799.98/1800.01 c solving : 1800.01
1799.98/1800.01 c presolving : 0.02 (included in solving)
1799.98/1800.01 c reading : 0.01 (included in solving)
1799.98/1800.01 c Original Problem :
1799.98/1800.01 c Problem name : HOME/instance-3452650-1307076864.opb
1799.98/1800.01 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.98/1800.01 c Constraints : 479 initial, 479 maximal
1799.98/1800.01 c Presolved Problem :
1799.98/1800.01 c Problem name : t_HOME/instance-3452650-1307076864.opb
1799.98/1800.01 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.98/1800.01 c Constraints : 579 initial, 590 maximal
1799.98/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1799.98/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c knapsack : 0.01 0 0 0 0 0 36 234 345 720
1799.98/1800.01 c setppc : 0.00 0 0 0 0 0 98 0 0 0
1799.98/1800.01 c linear : 0.01 0 0 0 0 0 0 0 0 21
1799.98/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1799.98/1800.01 c root node : - 0 - - 0 - - - - -
1799.98/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1799.98/1800.01 c integral : 0 0 0 27244 0 746 0 2 135 0 0 54354
1799.98/1800.01 c knapsack : 441 10 263021 0 0 741 0 0 175854 798 0 0
1799.98/1800.01 c setppc : 136 10 263021 0 0 740 0 0 16930 0 0 0
1799.98/1800.01 c logicor : 2+ 10 10633 0 0 740 0 0 1227 0 0 0
1799.98/1800.01 c countsols : 0 0 0 0 0 744 0 0 0 0 0 0
1799.98/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1799.98/1800.01 c integral : 116.64 0.00 0.00 116.64 0.00 0.00 0.00
1799.98/1800.01 c knapsack : 3.10 0.03 3.05 0.00 0.00 0.01 0.00
1799.98/1800.01 c setppc : 0.41 0.00 0.40 0.00 0.00 0.00 0.00
1799.98/1800.01 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1799.98/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1799.98/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1799.98/1800.01 c vbounds : 0 0 0 0
1799.98/1800.01 c rootredcost : 18 0 0 0
1799.98/1800.01 c pseudoobj : 263703 0 0 0
1799.98/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1799.98/1800.01 c vbounds : 0.06 0.06 0.00
1799.98/1800.01 c rootredcost : 0.05 0.05 0.00
1799.98/1800.01 c pseudoobj : 2.16 2.16 0.00
1799.98/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.98/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1799.98/1800.01 c infeasible LP : 0.00 13 13 13 3.9 0 0.0 0
1799.98/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.98/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.98/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.98/1800.01 c applied globally : - - - 13 3.9 - - -
1799.98/1800.01 c applied locally : - - - 0 0.0 - - -
1799.98/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.98/1800.01 c cut pool : 0.00 9 - - 306 - (maximal pool size: 1345)
1799.98/1800.01 c redcost : 1.15 55121 0 522081 0 0
1799.98/1800.01 c impliedbounds : 0.00 10 0 0 0 0
1799.98/1800.01 c intobj : 0.00 0 0 0 0 0
1799.98/1800.01 c gomory : 1.46 10 0 0 6 0
1799.98/1800.01 c cgmip : 0.00 0 0 0 0 0
1799.98/1800.01 c closecuts : 0.00 0 0 0 0 0
1799.98/1800.01 c strongcg : 1.30 10 0 0 6 0
1799.98/1800.01 c cmir : 0.23 10 0 0 789 0
1799.98/1800.01 c flowcover : 0.26 10 0 0 965 0
1799.98/1800.01 c clique : 0.00 1 0 0 0 0
1799.98/1800.01 c zerohalf : 0.00 0 0 0 0 0
1799.98/1800.01 c mcf : 0.00 1 0 0 0 0
1799.98/1800.01 c oddcycle : 0.00 0 0 0 0 0
1799.98/1800.01 c rapidlearning : 0.07 1 0 0 0 0
1799.98/1800.01 c Pricers : Time Calls Vars
1799.98/1800.01 c problem variables: 0.00 0 0
1799.98/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.98/1800.01 c relpscost : 116.62 27244 2 135 0 0 54354
1799.98/1800.01 c pscost : 0.00 0 0 0 0 0 0
1799.98/1800.01 c inference : 0.00 0 0 0 0 0 0
1799.98/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1799.98/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1799.98/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1799.98/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1799.98/1800.01 c random : 0.00 0 0 0 0 0 0
1799.98/1800.01 c Primal Heuristics : Time Calls Found
1799.98/1800.01 c LP solutions : 0.00 - 0
1799.98/1800.01 c pseudo solutions : 0.00 - 0
1799.98/1800.01 c oneopt : 0.02 11 3
1799.98/1800.01 c objpscostdiving : 48.47 6 24
1799.98/1800.01 c crossover : 0.74 5 4
1799.98/1800.01 c rootsoldiving : 15.09 13 0
1799.98/1800.01 c fracdiving : 53.94 45 0
1799.98/1800.01 c guideddiving : 53.36 45 0
1799.98/1800.01 c veclendiving : 84.74 89 95
1799.98/1800.01 c linesearchdiving : 81.49 103 76
1799.98/1800.01 c coefdiving : 131.07 104 161
1799.98/1800.01 c pscostdiving : 310.10 330 324
1799.98/1800.01 c trivial : 0.00 2 1
1799.98/1800.01 c shiftandpropagate: 0.00 0 0
1799.98/1800.01 c simplerounding : 1.08 46514 24
1799.98/1800.01 c zirounding : 0.52 1301 26
1799.98/1800.01 c rounding : 14.03 9931 1
1799.98/1800.01 c shifting : 3.52 2267 1
1799.98/1800.01 c intshifting : 0.00 0 0
1799.98/1800.01 c twoopt : 0.00 0 0
1799.98/1800.01 c fixandinfer : 0.00 0 0
1799.98/1800.01 c feaspump : 0.00 0 0
1799.98/1800.01 c clique : 0.00 0 0
1799.98/1800.01 c intdiving : 0.00 0 0
1799.98/1800.01 c actconsdiving : 0.00 0 0
1799.98/1800.01 c octane : 0.00 0 0
1799.98/1800.01 c rens : 0.01 0 0
1799.98/1800.01 c rins : 0.00 0 0
1799.98/1800.01 c localbranching : 0.00 0 0
1799.98/1800.01 c mutation : 0.00 0 0
1799.98/1800.01 c dins : 0.00 0 0
1799.98/1800.01 c vbounds : 0.00 0 0
1799.98/1800.01 c undercover : 0.00 0 0
1799.98/1800.01 c subnlp : 0.01 0 0
1799.98/1800.01 c trysol : 0.01 0 0
1799.98/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1799.98/1800.01 c primal LP : 0.00 0 0 0.00 -
1799.98/1800.01 c dual LP : 864.39 61390 6733536 109.68 7789.95
1799.98/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1799.98/1800.01 c barrier LP : 0.00 0 0 0.00 -
1799.98/1800.01 c diving/probing LP: 754.61 111806 6130667 54.83 8124.27
1799.98/1800.01 c strong branching : 114.90 3347 760821 227.31 6621.41
1799.98/1800.01 c (at root node) : - 16 14506 906.62 -
1799.98/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1799.98/1800.01 c B&B Tree :
1799.98/1800.01 c number of runs : 1
1799.98/1800.01 c nodes : 42064
1799.98/1800.01 c nodes (total) : 42064
1799.98/1800.01 c nodes left : 11649
1799.98/1800.01 c max depth : 124
1799.98/1800.01 c max depth (total): 124
1799.98/1800.01 c backtracks : 8025 (19.1%)
1799.98/1800.01 c delayed cutoffs : 0
1799.98/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1799.98/1800.01 c avg switch length: 6.35
1799.98/1800.01 c switching time : 1.98
1799.98/1800.01 c Solution :
1799.98/1800.01 c Solutions found : 741 (27 improvements)
1799.98/1800.01 c First Solution : +4.79000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1799.98/1800.01 c Primal Bound : +1.92000000000000e+02 (in run 1, after 7721 nodes, 490.27 seconds, depth 11, found by <oneopt>)
1799.98/1800.01 c Dual Bound : +1.69561811219325e+02
1799.98/1800.01 c Gap : 13.23 %
1799.98/1800.01 c Root Dual Bound : +1.67763362772140e+02
1799.98/1800.01 c Root Iterations : 23432
1799.98/1800.02 c Time complete: 1800.
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-3452650-1307076864/watcher-3452650-1307076864 -o /tmp/evaluation-result-3452650-1307076864/solver-3452650-1307076864 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452650-1307076864.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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.12 2.05 2.01 2/481 5823
/proc/meminfo: memFree=27184192/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=10552 CPUtime=0 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 1650 0 0 0 0 0 0 0 25 0 1 0 819286120 10805248 1604 33554432000 4194304 9128323 140733468633168 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/5823/statm: 2638 1604 400 1205 0 1429 0
[startup+0.0874169 s]
/proc/loadavg: 2.12 2.05 2.01 2/481 5823
/proc/meminfo: memFree=27184192/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=21080 CPUtime=0.07 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 4445 0 0 0 7 0 0 0 25 0 1 0 819286120 21585920 4136 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 5270 4136 644 1205 0 4061 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21080
[startup+0.100415 s]
/proc/loadavg: 2.12 2.05 2.01 2/481 5823
/proc/meminfo: memFree=27184192/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=21080 CPUtime=0.09 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 4445 0 0 0 9 0 0 0 25 0 1 0 819286120 21585920 4136 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 5270 4136 644 1205 0 4061 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21080
[startup+0.300437 s]
/proc/loadavg: 2.12 2.05 2.01 2/481 5823
/proc/meminfo: memFree=27184192/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=21272 CPUtime=0.29 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 4505 0 0 0 28 1 0 0 25 0 1 0 819286120 21782528 4194 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 5318 4194 642 1205 0 4109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21272
[startup+0.700383 s]
/proc/loadavg: 2.12 2.05 2.01 2/481 5823
/proc/meminfo: memFree=27184192/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=21464 CPUtime=0.69 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 4533 0 0 0 68 1 0 0 25 0 1 0 819286120 21979136 4222 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 5366 4222 642 1205 0 4157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21464
[startup+1.50022 s]
/proc/loadavg: 2.12 2.05 2.01 3/482 5824
/proc/meminfo: memFree=27169296/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=23036 CPUtime=1.49 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 7812 0 0 0 147 2 0 0 25 0 1 0 819286120 23588864 4780 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 5759 4780 723 1205 0 4550 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23036
[startup+3.10092 s]
/proc/loadavg: 2.11 2.05 2.01 3/482 5824
/proc/meminfo: memFree=27165700/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=24400 CPUtime=3.09 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 8115 0 0 0 306 3 0 0 25 0 1 0 819286120 24985600 5083 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 6100 5083 724 1205 0 4891 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24400
[startup+6.30022 s]
/proc/loadavg: 2.11 2.05 2.01 3/482 5824
/proc/meminfo: memFree=27162944/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=25628 CPUtime=6.3 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 8405 0 0 0 626 4 0 0 25 0 1 0 819286120 26243072 5356 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 6407 5356 724 1205 0 5198 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 25628
[startup+12.701 s]
/proc/loadavg: 2.09 2.04 2.01 3/482 5824
/proc/meminfo: memFree=27161872/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=25424 CPUtime=12.7 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 9179 0 0 0 1261 9 0 0 25 0 1 0 819286120 26034176 5323 33554432000 4194304 9128323 140733468633168 18446744073709551615 6941061 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 6356 5323 730 1205 0 5147 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 25424
[startup+25.5005 s]
/proc/loadavg: 2.08 2.04 2.01 3/482 5825
/proc/meminfo: memFree=27159760/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=25424 CPUtime=25.5 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 9180 0 0 0 2532 18 0 0 25 0 1 0 819286120 26034176 5324 33554432000 4194304 9128323 140733468633168 18446744073709551615 7286031 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 6356 5324 731 1205 0 5147 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 25424
[startup+51.1007 s]
/proc/loadavg: 2.05 2.04 2.00 3/482 5825
/proc/meminfo: memFree=27156780/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=26332 CPUtime=51.09 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 9412 0 0 0 5070 39 0 0 25 0 1 0 819286120 26963968 5556 33554432000 4194304 9128323 140733468633168 18446744073709551615 7328013 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/5823/statm: 6583 5556 732 1205 0 5374 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26332
[startup+102.318 s]
/proc/loadavg: 2.08 2.04 2.00 3/482 5827
/proc/meminfo: memFree=27145952/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=26520 CPUtime=102.31 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 9459 0 0 0 10148 83 0 0 25 0 1 0 819286120 27156480 5603 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 6630 5603 733 1205 0 5421 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 26520
[startup+162.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 5856
/proc/meminfo: memFree=27408596/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=26200 CPUtime=162.29 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 12073 0 0 0 16097 132 0 0 25 0 1 0 819286120 26828800 5563 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 6550 5563 738 1205 0 5341 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 26200
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/482 5858
/proc/meminfo: memFree=27406696/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=27172 CPUtime=222.29 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 12285 0 0 0 22049 180 0 0 25 0 1 0 819286120 27824128 5775 33554432000 4194304 9128323 140733468633168 18446744073709551615 6416684 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 6793 5775 738 1205 0 5584 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 27172
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5860
/proc/meminfo: memFree=27407524/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=27636 CPUtime=282.29 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 15026 0 0 0 27998 231 0 0 25 0 1 0 819286120 28299264 5894 33554432000 4194304 9128323 140733468633168 18446744073709551615 7342969 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 6909 5894 738 1205 0 5700 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 27636
[startup+342.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/482 5861
/proc/meminfo: memFree=27407112/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=28028 CPUtime=342.29 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 17507 0 0 0 33950 279 0 0 25 0 1 0 819286120 28700672 5999 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 7007 5999 738 1205 0 5798 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 28028
[startup+402.301 s]
/proc/loadavg: 2.19 2.07 2.01 3/482 5872
/proc/meminfo: memFree=27405848/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=28480 CPUtime=402.29 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 18358 0 0 0 39898 331 0 0 25 0 1 0 819286120 29163520 6114 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 7120 6114 738 1205 0 5911 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 28480
[startup+462.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/482 5873
/proc/meminfo: memFree=27404940/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=29136 CPUtime=462.29 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 19251 0 0 0 45845 384 0 0 25 0 1 0 819286120 29835264 6271 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 7284 6271 738 1205 0 6075 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 29136
[startup+522.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/482 5875
/proc/meminfo: memFree=27404512/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=29084 CPUtime=522.29 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 22181 0 0 0 51792 437 0 0 25 0 1 0 819286120 29782016 6272 33554432000 4194304 9128323 140733468633168 18446744073709551615 7357152 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 7271 6272 739 1205 0 6062 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 29084
[startup+582.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 5879
/proc/meminfo: memFree=27404224/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=28872 CPUtime=582.3 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 24822 0 0 0 57743 487 0 0 25 0 1 0 819286120 29564928 6219 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 7218 6219 739 1205 0 6009 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 28872
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=27395560/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=31936 CPUtime=1122.29 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 29376 0 0 0 111268 961 0 0 25 0 1 0 819286120 32702464 7027 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 7984 7027 741 1205 0 6775 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 31936
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5896
/proc/meminfo: memFree=27394416/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=32196 CPUtime=1182.29 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 29410 0 0 0 117219 1010 0 0 25 0 1 0 819286120 32968704 7061 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 8049 7061 741 1205 0 6840 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 32196
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 5897
/proc/meminfo: memFree=27394140/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=32196 CPUtime=1242.28 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 29411 0 0 0 123168 1060 0 0 25 0 1 0 819286120 32968704 7062 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 8049 7062 741 1205 0 6840 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 32196
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 5899
/proc/meminfo: memFree=27393116/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=32196 CPUtime=1302.29 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 29414 0 0 0 129118 1111 0 0 25 0 1 0 819286120 32968704 7065 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 8049 7065 741 1205 0 6840 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 32196
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 5900
/proc/meminfo: memFree=27392344/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=34028 CPUtime=1362.29 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 29863 0 0 0 135063 1166 0 0 25 0 1 0 819286120 34844672 7514 33554432000 4194304 9128323 140733468633168 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 8507 7514 741 1205 0 7298 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 34028
[startup+1422.32 s]
/proc/loadavg: 2.10 2.03 2.01 3/482 5902
/proc/meminfo: memFree=27389828/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=34876 CPUtime=1422.3 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 30092 0 0 0 141009 1221 0 0 25 0 1 0 819286120 35713024 7743 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 8719 7743 741 1205 0 7510 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 34876
[startup+1482.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/482 5904
/proc/meminfo: memFree=27388444/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=34876 CPUtime=1482.28 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 30098 0 0 0 146957 1271 0 0 25 0 1 0 819286120 35713024 7749 33554432000 4194304 9128323 140733468633168 18446744073709551615 7313531 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 8719 7749 741 1205 0 7510 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 34876
[startup+1542.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/482 5905
/proc/meminfo: memFree=27388164/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=35072 CPUtime=1542.28 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 30139 0 0 0 152903 1325 0 0 25 0 1 0 819286120 35913728 7790 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 8768 7790 741 1205 0 7559 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 35072
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/482 5907
/proc/meminfo: memFree=27387520/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=35412 CPUtime=1602.28 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 33081 0 0 0 158855 1373 0 0 25 0 1 0 819286120 36261888 7880 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 8853 7880 741 1205 0 7644 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 35412
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 5908
/proc/meminfo: memFree=27387748/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=35412 CPUtime=1662.29 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 33091 0 0 0 164807 1422 0 0 25 0 1 0 819286120 36261888 7890 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 8853 7890 741 1205 0 7644 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 35412
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 5910
/proc/meminfo: memFree=27386612/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=35960 CPUtime=1722.28 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 33246 0 0 0 170751 1477 0 0 25 0 1 0 819286120 36823040 8045 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 8990 8045 741 1205 0 7781 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 35960
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5912
/proc/meminfo: memFree=27382992/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=36312 CPUtime=1782.27 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 33299 0 0 0 176698 1529 0 0 25 0 1 0 819286120 37183488 8098 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 9078 8098 741 1205 0 7869 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 36312
Solver just ended. Dumping a history of the last processes samples
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5912
/proc/meminfo: memFree=27383976/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=36312 CPUtime=1791.9 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 33303 0 0 0 177651 1539 0 0 25 0 1 0 819286120 37183488 8102 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 9078 8102 741 1205 0 7869 0
Current children cumulated CPU time (s) 1791.9
Current children cumulated vsize (KiB) 36312
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5912
/proc/meminfo: memFree=27383976/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=36312 CPUtime=1795.09 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 33303 0 0 0 177968 1541 0 0 25 0 1 0 819286120 37183488 8102 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 9078 8102 741 1205 0 7869 0
Current children cumulated CPU time (s) 1795.09
Current children cumulated vsize (KiB) 36312
[startup+1798.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5912
/proc/meminfo: memFree=27383728/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=36312 CPUtime=1798.28 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 33303 0 0 0 178283 1545 0 0 25 0 1 0 819286120 37183488 8102 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 9078 8102 741 1205 0 7869 0
Current children cumulated CPU time (s) 1798.28
Current children cumulated vsize (KiB) 36312
[startup+1799.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5912
/proc/meminfo: memFree=27383604/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=36312 CPUtime=1799.07 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 33303 0 0 0 178362 1545 0 0 25 0 1 0 819286120 37183488 8102 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 9078 8102 741 1205 0 7869 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (KiB) 36312
[startup+1799.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5912
/proc/meminfo: memFree=27383976/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=36312 CPUtime=1799.48 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 33303 0 0 0 178402 1546 0 0 25 0 1 0 819286120 37183488 8102 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 9078 8102 741 1205 0 7869 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 36312
[startup+1799.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5912
/proc/meminfo: memFree=27383976/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=36312 CPUtime=1799.88 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 33303 0 0 0 178441 1547 0 0 25 0 1 0 819286120 37183488 8102 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 9078 8102 741 1205 0 7869 0
Current children cumulated CPU time (s) 1799.88
Current children cumulated vsize (KiB) 36312
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5912
/proc/meminfo: memFree=27383976/32950928 swapFree=39617324/67111528
[pid=5823] ppid=5821 vsize=36312 CPUtime=1799.98 cores=0,2,4,6
/proc/5823/stat : 5823 (scip-2.0.1.4.li) R 5821 5823 4028 0 -1 4202496 33303 0 0 0 178451 1547 0 0 25 0 1 0 819286120 37183488 8102 33554432000 4194304 9128323 140733468633168 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5823/statm: 9078 8102 741 1205 0 7869 0
Current children cumulated CPU time (s) 1799.98
Current children cumulated vsize (KiB) 36312
Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.01
CPU user time (s): 1784.54
CPU system time (s): 15.4766
CPU usage (%): 99.9991
Max. virtual memory (cumulated for all children) (KiB): 47588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.54
system time used= 15.4766
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33307
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= 4562
runsolver used 8.95664 second user time and 18.8531 second system time
The end