0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3488910-1307761323.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.01/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.01/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.01/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.01/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.01/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.01/0.03 c (0.0s) probing: 101/479 (21.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.03 c presolving (7 rounds):
0.01/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.01/0.03 c 276 implications, 0 cliques
0.01/0.03 c presolved problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 579 constraints
0.01/0.03 c 441 constraints of type <knapsack>
0.01/0.03 c 136 constraints of type <setppc>
0.01/0.03 c 2 constraints of type <logicor>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.02
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 2.0.1.5
0.01/0.03 c
0.01/0.03 c # frequency for displaying node information lines
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.03 c display/freq = 10000
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1797
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 13950
0.01/0.03 c
0.01/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.03 c # [type: int, range: [1,2], default: 1]
0.01/0.03 c timing/clocktype = 2
0.01/0.03 c
0.01/0.03 c # belongs reading time to solving time?
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c timing/reading = TRUE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify inequalities
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/linear/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/indicator/addCouplingCons = TRUE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify knapsacks
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/rapidlearning/freq = 0
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.99/1.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.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%
0.99/1.10 o 339
0.99/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.09/1.10 o 338
1.09/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.09/1.11 o 337
1.09/1.11 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.32 o 222
1.28/1.32 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.79 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.46 c 2.5s| 1 | 0 | 17438 | - |3257k| 0 | 422 | 479 | 579 | 479 | 973 | 394 | 0 | 0 | 1.643317e+02 | 2.220000e+02 | 35.09%
2.98/3.04 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.63 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.16 c 4.2s| 1 | 0 | 22187 | - |3635k| 0 | 443 | 479 | 579 | 479 |1263 | 684 | 0 | 0 | 1.673808e+02 | 2.220000e+02 | 32.63%
4.49/4.54 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.88/4.98 c 5.0s| 1 | 0 | 23029 | - |3680k| 0 | 443 | 479 | 579 | 479 |1313 | 734 | 0 | 0 | 1.676367e+02 | 2.220000e+02 | 32.43%
5.39/5.41 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.79/5.80 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.37 c 8.4s| 1 | 2 | 23432 | - |3730k| 0 | 440 | 479 | 579 | 479 |1335 | 756 | 0 | 16 | 1.677634e+02 | 2.220000e+02 | 32.33%
27.88/27.92 o 221
27.88/27.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.88/27.92 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.88/27.92 o 219
27.88/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.90 o 213
29.89/29.90 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.90 o 211
29.89/29.90 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.90 o 210
29.89/29.90 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.90 o 210
29.89/29.90 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.90 o 209
29.89/29.90 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.91 o 206
29.89/29.91 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.49/70.59 o 205
70.49/70.59 c p70.6s| 196 | 197 |375610 |1806.0 |4863k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 259 | 1.682957e+02 | 2.050000e+02 | 21.81%
70.59/70.67 o 203
70.59/70.67 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.09/92.14 o 203
92.09/92.14 c p92.1s| 250 | 251 |537269 |2063.6 |4904k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.030000e+02 | 20.56%
92.09/92.14 o 202
92.09/92.14 c p92.1s| 250 | 251 |537270 |2063.6 |4905k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.020000e+02 | 19.96%
92.09/92.14 o 201
92.09/92.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.09/92.14 c p92.1s| 250 | 251 |537272 |2063.6 |4906k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.010000e+02 | 19.37%
92.09/92.14 o 200
92.09/92.14 c p92.1s| 250 | 251 |537285 |2063.7 |4910k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.000000e+02 | 18.78%
225.60/225.64 o 199
225.60/225.64 c p 226s| 950 | 951 | 1519k|1576.5 |5341k| 31 | - | 479 | 579 | 479 | 970 | 756 | 0 | 531 | 1.688168e+02 | 1.990000e+02 | 17.88%
254.00/254.07 o 195
254.00/254.07 c C 254s| 1230 | 1231 | 1717k|1378.7 |5380k| 74 | 274 | 479 | 579 | 479 | 970 | 756 | 0 | 633 | 1.688460e+02 | 1.950000e+02 | 15.49%
254.30/254.31 o 194
254.30/254.31 c b 254s| 1231 | 1232 | 1718k|1377.8 |5388k| 74 | 403 | 479 | 579 | 479 | 970 | 756 | 0 | 639 | 1.688489e+02 | 1.940000e+02 | 14.90%
528.71/528.78 c 529s| 10000 | 3687 | 3853k| 383.1 |7348k| 118 | 359 | 479 | 582 | 479 | 970 | 756 | 3 |1264 | 1.691998e+02 | 1.940000e+02 | 14.66%
861.33/861.37 c 861s| 20000 | 6749 | 6471k| 322.4 |9681k| 118 | 163 | 479 | 582 | 479 | 970 | 756 | 4 |2024 | 1.693888e+02 | 1.940000e+02 | 14.53%
1139.13/1139.16 c 1139s| 30000 | 9497 | 8704k| 289.4 | 11M| 119 | - | 479 | 589 | 479 | 970 | 756 | 11 |2553 | 1.694868e+02 | 1.940000e+02 | 14.46%
1399.74/1399.71 c 1400s| 40000 | 12023 | 10830k| 270.2 | 13M| 119 | 161 | 479 | 593 | 479 | 970 | 756 | 19 |2948 | 1.695630e+02 | 1.940000e+02 | 14.41%
1673.16/1673.14 c 1673s| 50000 | 14487 | 13061k| 260.8 | 15M| 119 | 170 | 479 | 589 | 479 | 970 | 756 | 19 |3356 | 1.696391e+02 | 1.940000e+02 | 14.36%
1797.05/1797.01 c
1797.05/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.01 c Solving Time (sec) : 1797.00
1797.05/1797.01 c Solving Nodes : 55008
1797.05/1797.01 c Primal Bound : +1.94000000000000e+02 (669 solutions)
1797.05/1797.01 c Dual Bound : +1.69664182352765e+02
1797.05/1797.01 c Gap : 14.34 %
1797.05/1797.01 s SATISFIABLE
1797.05/1797.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
1797.05/1797.01 v -x456 x455 x454 -x453 -x452 x451 x450 -x449 x448 -x447 -x446 -x445 -x444 x443 x442 x441 -x440 -x439 -x438 -x437 -x436 x435 -x434
1797.05/1797.01 v -x433 -x432 -x431 x430 -x429 -x428 x427 -x426 x425 x424 -x423 -x422 x421 -x420 x419 x418 -x417 -x416 -x415 -x414 -x413 -x412
1797.05/1797.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
1797.05/1797.01 v x388 -x387 -x386 x385 x384 x383 -x382 x381 x380 x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369 -x368 x367
1797.05/1797.01 v -x366 -x365 x364 -x363 -x362 x361 x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 x352 -x351 -x350 -x349 x348 -x347 -x346 -x345
1797.05/1797.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
1797.05/1797.01 v x321 x320 -x319 x318 -x317 x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 x308 x307 -x306 x305 -x304 -x303 -x302 x301 -x300
1797.05/1797.01 v -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278
1797.05/1797.01 v -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 x267 x266 -x265 x264 -x263 -x262 x261 x260 x259 x258 -x257 x256
1797.05/1797.01 v -x255 -x254 -x253 -x252 -x251 x250 -x249 x248 -x247 -x246 -x245 x244 x243 -x242 x241 -x240 x239 x238 x237 x236 -x235 x234 -x233
1797.05/1797.01 v -x232 -x231 x230 x229 x228 x227 -x226 x225 -x224 x223 -x222 x221 x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 x212 x211
1797.05/1797.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
1797.05/1797.01 v -x187 x186 -x185 x184 -x183 x182 x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 x172 x171 x170 x169 x168 -x167 -x166
1797.05/1797.01 v -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 x147 -x146 x145 x144
1797.05/1797.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
1797.05/1797.01 v -x120 -x119 -x118 x117 x116 -x115 x114 -x113 x112 x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 x99
1797.05/1797.01 v -x98 -x97 x96 x95 x94 -x93 x92 -x91 x90 x89 -x88 -x87 -x86 -x85 x84 -x83 x82 x81 x80 -x79 -x78 -x77 -x76 x75 x74 -x73 x72 -x71
1797.05/1797.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
1797.05/1797.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
1797.05/1797.01 v -x17 -x16 -x15 x14 x13 x12 x11 -x10 x9 x8 -x7 -x6 x5 -x4 x3 -x2 -x1
1797.05/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.01 c Total Time : 1797.00
1797.05/1797.01 c solving : 1797.00
1797.05/1797.01 c presolving : 0.02 (included in solving)
1797.05/1797.01 c reading : 0.01 (included in solving)
1797.05/1797.01 c Original Problem :
1797.05/1797.01 c Problem name : HOME/instance-3488910-1307761323.opb
1797.05/1797.01 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01 c Constraints : 479 initial, 479 maximal
1797.05/1797.01 c Presolved Problem :
1797.05/1797.01 c Problem name : t_HOME/instance-3488910-1307761323.opb
1797.05/1797.01 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.01 c Constraints : 579 initial, 595 maximal
1797.05/1797.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c knapsack : 0.01 0 0 0 0 0 36 234 345 720
1797.05/1797.01 c setppc : 0.00 0 0 0 0 0 98 0 0 0
1797.05/1797.01 c linear : 0.01 0 0 0 0 0 0 0 0 21
1797.05/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.01 c root node : - 0 - - 0 - - - - -
1797.05/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.01 c integral : 0 0 0 35483 0 674 0 0 117 0 0 70862
1797.05/1797.01 c knapsack : 441 10 307155 0 2 669 0 0 236759 798 0 0
1797.05/1797.01 c setppc : 136 10 307155 0 2 668 0 0 47631 0 0 0
1797.05/1797.01 c logicor : 2+ 10 14486 0 2 668 0 0 17 0 0 0
1797.05/1797.01 c countsols : 0 0 0 0 2 672 0 0 0 0 0 0
1797.05/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.01 c integral : 111.80 0.00 0.00 111.80 0.00 0.00 0.00
1797.05/1797.01 c knapsack : 3.16 0.03 3.12 0.00 0.00 0.01 0.00
1797.05/1797.01 c setppc : 0.44 0.00 0.44 0.00 0.00 0.00 0.00
1797.05/1797.01 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1797.05/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.01 c vbounds : 0 0 0 0
1797.05/1797.01 c rootredcost : 17 0 0 0
1797.05/1797.01 c pseudoobj : 308032 0 0 0
1797.05/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.01 c vbounds : 0.06 0.06 0.00
1797.05/1797.01 c rootredcost : 0.06 0.06 0.00
1797.05/1797.01 c pseudoobj : 2.34 2.34 0.00
1797.05/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.01 c infeasible LP : 0.00 19 19 19 4.3 0 0.0 0
1797.05/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.01 c applied globally : - - - 19 4.3 - - -
1797.05/1797.01 c applied locally : - - - 0 0.0 - - -
1797.05/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.01 c cut pool : 0.00 9 - - 306 - (maximal pool size: 1345)
1797.05/1797.01 c redcost : 1.49 74341 0 738906 0 0
1797.05/1797.01 c impliedbounds : 0.00 10 0 0 0 0
1797.05/1797.01 c intobj : 0.00 0 0 0 0 0
1797.05/1797.01 c gomory : 1.34 10 0 0 6 0
1797.05/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.01 c strongcg : 1.28 10 0 0 6 0
1797.05/1797.01 c cmir : 0.21 10 0 0 789 0
1797.05/1797.01 c flowcover : 0.25 10 0 0 965 0
1797.05/1797.01 c clique : 0.00 1 0 0 0 0
1797.05/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.01 c mcf : 0.00 1 0 0 0 0
1797.05/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.01 c rapidlearning : 0.07 1 0 0 0 0
1797.05/1797.01 c Pricers : Time Calls Vars
1797.05/1797.01 c problem variables: 0.00 0 0
1797.05/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.01 c relpscost : 111.78 35483 0 117 0 0 70862
1797.05/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.01 c inference : 0.00 2 0 0 0 0 4
1797.05/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.01 c random : 0.00 0 0 0 0 0 0
1797.05/1797.01 c Primal Heuristics : Time Calls Found
1797.05/1797.01 c LP solutions : 0.00 - 0
1797.05/1797.01 c pseudo solutions : 0.00 - 0
1797.05/1797.01 c feaspump : 0.00 0 0
1797.05/1797.01 c oneopt : 0.02 10 3
1797.05/1797.01 c crossover : 0.52 8 7
1797.05/1797.01 c fracdiving : 54.94 49 0
1797.05/1797.01 c guideddiving : 55.11 50 0
1797.05/1797.01 c veclendiving : 90.45 105 103
1797.05/1797.01 c linesearchdiving : 83.38 112 76
1797.05/1797.01 c coefdiving : 130.71 113 161
1797.05/1797.01 c pscostdiving : 284.21 330 256
1797.05/1797.01 c trivial : 0.00 2 1
1797.05/1797.01 c shiftandpropagate: 0.00 0 0
1797.05/1797.01 c simplerounding : 1.12 63391 24
1797.05/1797.01 c zirounding : 0.49 1301 26
1797.05/1797.01 c rounding : 12.06 11829 1
1797.05/1797.01 c shifting : 3.26 3144 1
1797.05/1797.01 c intshifting : 0.00 0 0
1797.05/1797.01 c twoopt : 0.00 0 0
1797.05/1797.01 c fixandinfer : 0.00 0 0
1797.05/1797.01 c clique : 0.00 0 0
1797.05/1797.01 c intdiving : 0.00 0 0
1797.05/1797.01 c actconsdiving : 0.00 0 0
1797.05/1797.01 c objpscostdiving : 35.80 7 9
1797.05/1797.01 c rootsoldiving : 13.49 14 0
1797.05/1797.01 c octane : 0.00 0 0
1797.05/1797.01 c rens : 0.01 0 0
1797.05/1797.01 c rins : 0.00 0 0
1797.05/1797.01 c localbranching : 0.00 0 0
1797.05/1797.01 c mutation : 0.00 0 0
1797.05/1797.01 c dins : 0.00 0 0
1797.05/1797.01 c vbounds : 0.00 0 0
1797.05/1797.01 c undercover : 0.00 0 0
1797.05/1797.01 c subnlp : 0.01 0 0
1797.05/1797.01 c trysol : 0.02 0 0
1797.05/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.05/1797.01 c dual LP : 894.71 82940 7712453 92.99 8620.10
1797.05/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.01 c diving/probing LP: 725.06 117445 6382735 54.35 8803.05
1797.05/1797.01 c strong branching : 109.97 3504 794055 226.61 7220.47
1797.05/1797.01 c (at root node) : - 16 14506 906.62 -
1797.05/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.01 c B&B Tree :
1797.05/1797.01 c number of runs : 1
1797.05/1797.01 c nodes : 55008
1797.05/1797.01 c nodes (total) : 55008
1797.05/1797.01 c nodes left : 15859
1797.05/1797.01 c max depth : 119
1797.05/1797.01 c max depth (total): 119
1797.05/1797.01 c backtracks : 10153 (18.5%)
1797.05/1797.01 c delayed cutoffs : 0
1797.05/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.01 c avg switch length: 7.17
1797.05/1797.01 c switching time : 2.43
1797.05/1797.01 c Solution :
1797.05/1797.01 c Solutions found : 669 (25 improvements)
1797.05/1797.01 c First Solution : +4.79000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.05/1797.01 c Primal Bound : +1.94000000000000e+02 (in run 1, after 1231 nodes, 254.28 seconds, depth 6, found by <oneopt>)
1797.05/1797.01 c Dual Bound : +1.69664182352765e+02
1797.05/1797.01 c Gap : 14.34 %
1797.05/1797.01 c Root Dual Bound : +1.67763362772140e+02
1797.05/1797.01 c Root Iterations : 23432
1797.05/1797.03 c Time complete: 1797.1.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488910-1307761323/watcher-3488910-1307761323 -o /tmp/evaluation-result-3488910-1307761323/solver-3488910-1307761323 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488910-1307761323.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.00 1.97 1.91 3/177 27121
/proc/meminfo: memFree=30354444/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=9316 CPUtime=0 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 1465 0 0 0 0 0 0 0 25 0 1 0 887729343 9539584 1419 33554432000 4194304 9016284 140736238753760 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27121/statm: 2329 1421 310 1178 0 1147 0
[startup+0.018418 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 27121
/proc/meminfo: memFree=30354444/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=18168 CPUtime=0.01 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 3585 0 0 0 1 0 0 0 25 0 1 0 887729343 18604032 3282 33554432000 4194304 9016284 140736238753760 18446744073709551615 4202661 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 4542 3282 479 1178 0 3360 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18168
[startup+0.100394 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 27121
/proc/meminfo: memFree=30354444/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=22340 CPUtime=0.08 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 4762 0 0 0 8 0 0 0 18 0 1 0 887729343 22876160 4459 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 5585 4459 629 1178 0 4403 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22340
[startup+0.300361 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 27121
/proc/meminfo: memFree=30354444/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=22672 CPUtime=0.28 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 4839 0 0 0 28 0 0 0 18 0 1 0 887729343 23216128 4532 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 5668 4532 625 1178 0 4486 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22672
[startup+0.700279 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 27121
/proc/meminfo: memFree=30354444/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=22672 CPUtime=0.69 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 4866 0 0 0 68 1 0 0 18 0 1 0 887729343 23216128 4559 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 5668 4559 625 1178 0 4486 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22672
[startup+1.50113 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 27122
/proc/meminfo: memFree=30337588/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=24412 CPUtime=1.48 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 8435 0 0 0 147 1 0 0 19 0 1 0 887729343 24997888 5085 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 6103 5085 694 1178 0 4921 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 24412
[startup+3.10082 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 27122
/proc/meminfo: memFree=30335480/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=25872 CPUtime=3.08 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 8805 0 0 0 306 2 0 0 25 0 1 0 887729343 26492928 5455 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 6468 5455 696 1178 0 5286 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 25872
[startup+6.30022 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 27161
/proc/meminfo: memFree=31735764/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=26748 CPUtime=6.28 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 10545 0 0 0 624 4 0 0 25 0 1 0 887729343 27389952 5680 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 6687 5680 697 1178 0 5505 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 26748
[startup+12.701 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 27162
/proc/meminfo: memFree=31729812/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=26900 CPUtime=12.69 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 10561 0 0 0 1260 9 0 0 25 0 1 0 887729343 27545600 5696 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 6725 5696 699 1178 0 5543 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26900
[startup+25.5005 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 27162
/proc/meminfo: memFree=31729712/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=26900 CPUtime=25.49 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 10563 0 0 0 2530 19 0 0 25 0 1 0 887729343 27545600 5698 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 6725 5698 701 1178 0 5543 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26900
[startup+51.1007 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 27163
/proc/meminfo: memFree=31729396/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=27544 CPUtime=51.09 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 10733 0 0 0 5068 41 0 0 25 0 1 0 887729343 28205056 5868 33554432000 4194304 9016284 140736238753760 18446744073709551615 7198985 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 6886 5868 701 1178 0 5704 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27544
[startup+102.306 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 27164
/proc/meminfo: memFree=31728468/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=27700 CPUtime=102.3 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 10758 0 0 0 10144 86 0 0 25 0 1 0 887729343 28364800 5893 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 6925 5893 702 1178 0 5743 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27700
[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 27169
/proc/meminfo: memFree=31727364/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=27844 CPUtime=162.3 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 13432 0 0 0 16093 137 0 0 25 0 1 0 887729343 28512256 5934 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 6961 5934 706 1178 0 5779 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 27844
[startup+222.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 27170
/proc/meminfo: memFree=31726768/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=28604 CPUtime=222.3 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 16402 0 0 0 22041 189 0 0 25 0 1 0 887729343 29290496 6109 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 7151 6109 706 1178 0 5969 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 28604
[startup+282.3 s]
/proc/loadavg: 2.13 2.00 1.92 3/178 27172
/proc/meminfo: memFree=31726212/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=29152 CPUtime=282.29 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 19722 0 0 0 27989 240 0 0 25 0 1 0 887729343 29851648 6262 33554432000 4194304 9016284 140736238753760 18446744073709551615 4777360 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 7288 6262 708 1178 0 6106 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 29152
[startup+342.301 s]
/proc/loadavg: 2.05 2.00 1.92 3/178 27173
/proc/meminfo: memFree=31725528/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=29384 CPUtime=342.31 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 19788 0 0 0 33940 291 0 0 25 0 1 0 887729343 30089216 6328 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 7346 6328 708 1178 0 6164 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 29384
[startup+402.301 s]
/proc/loadavg: 2.02 2.00 1.92 3/178 27175
/proc/meminfo: memFree=31723620/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=30024 CPUtime=402.31 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 19958 0 0 0 39887 344 0 0 25 0 1 0 887729343 30744576 6498 33554432000 4194304 9016284 140736238753760 18446744073709551615 7103671 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 7506 6498 708 1178 0 6324 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 30024
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27177
/proc/meminfo: memFree=31720352/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=30568 CPUtime=462.31 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 24729 0 0 0 45835 396 0 0 25 0 1 0 887729343 31301632 6630 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 7642 6630 708 1178 0 6460 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 30568
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27178
/proc/meminfo: memFree=31720048/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=30704 CPUtime=522.31 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 24764 0 0 0 51784 447 0 0 25 0 1 0 887729343 31440896 6665 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 7676 6665 708 1178 0 6494 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 30704
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 27180
/proc/meminfo: memFree=31716236/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=31912 CPUtime=582.31 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 31364 0 0 0 57727 504 0 0 25 0 1 0 887729343 32677888 6980 33554432000 4194304 9016284 140736238753760 18446744073709551615 7201619 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 7978 6980 708 1178 0 6796 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 31912
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31706948/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=36744 CPUtime=1122.33 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 38059 0 0 0 111260 973 0 0 25 0 1 0 887729343 37625856 8219 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 9186 8219 708 1178 0 8004 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 36744
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27196
/proc/meminfo: memFree=31706500/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=36744 CPUtime=1182.33 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 38061 0 0 0 117208 1025 0 0 25 0 1 0 887729343 37625856 8221 33554432000 4194304 9016284 140736238753760 18446744073709551615 7214134 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 9186 8221 708 1178 0 8004 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 36744
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27197
/proc/meminfo: memFree=31704724/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=37192 CPUtime=1242.34 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 39775 0 0 0 123153 1081 0 0 25 0 1 0 887729343 38084608 8318 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 9298 8318 708 1178 0 8116 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 37192
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 27199
/proc/meminfo: memFree=31701696/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=37524 CPUtime=1302.34 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 39859 0 0 0 129102 1132 0 0 25 0 1 0 887729343 38424576 8402 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 9381 8402 708 1178 0 8199 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 37524
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/178 27201
/proc/meminfo: memFree=31701392/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=37816 CPUtime=1362.34 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 39941 0 0 0 135048 1186 0 0 25 0 1 0 887729343 38723584 8484 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 9454 8484 708 1178 0 8272 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 37816
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 27202
/proc/meminfo: memFree=31700704/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=38596 CPUtime=1422.35 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 40132 0 0 0 140994 1241 0 0 25 0 1 0 887729343 39522304 8675 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 9649 8675 708 1178 0 8467 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 38596
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27204
/proc/meminfo: memFree=31698920/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=39756 CPUtime=1482.34 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 40425 0 0 0 146943 1291 0 0 25 0 1 0 887729343 40710144 8968 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 9939 8968 708 1178 0 8757 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 39756
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27205
/proc/meminfo: memFree=31697636/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=40068 CPUtime=1542.34 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 40515 0 0 0 152888 1346 0 0 25 0 1 0 887729343 41029632 9058 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 10017 9058 708 1178 0 8835 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 40068
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27207
/proc/meminfo: memFree=31697356/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=40284 CPUtime=1602.35 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 40563 0 0 0 158836 1399 0 0 25 0 1 0 887729343 41250816 9106 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 10071 9106 708 1178 0 8889 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 40284
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27209
/proc/meminfo: memFree=31697152/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=40516 CPUtime=1662.36 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 40623 0 0 0 164779 1457 0 0 25 0 1 0 887729343 41488384 9166 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 10129 9166 708 1178 0 8947 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 40516
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27210
/proc/meminfo: memFree=31694860/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=40996 CPUtime=1722.36 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 40745 0 0 0 170725 1511 0 0 25 0 1 0 887729343 41979904 9288 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 10249 9288 708 1178 0 9067 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 40996
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27212
/proc/meminfo: memFree=31693184/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=41560 CPUtime=1782.36 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 40873 0 0 0 176670 1566 0 0 25 0 1 0 887729343 42557440 9416 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 10390 9416 708 1178 0 9208 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 41560
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27212
/proc/meminfo: memFree=31693184/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=41560 CPUtime=1785.56 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 40873 0 0 0 176987 1569 0 0 25 0 1 0 887729343 42557440 9416 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 10390 9416 708 1178 0 9208 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (KiB) 41560
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27212
/proc/meminfo: memFree=31693180/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=41560 CPUtime=1791.97 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 40874 0 0 0 177622 1575 0 0 25 0 1 0 887729343 42557440 9417 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 10390 9417 708 1178 0 9208 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 41560
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27212
/proc/meminfo: memFree=31693176/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=41560 CPUtime=1795.16 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 40874 0 0 0 177939 1577 0 0 25 0 1 0 887729343 42557440 9417 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 10390 9417 708 1178 0 9208 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 41560
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27212
/proc/meminfo: memFree=31693176/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=41560 CPUtime=1795.96 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 40874 0 0 0 178018 1578 0 0 25 0 1 0 887729343 42557440 9417 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 10390 9417 708 1178 0 9208 0
Current children cumulated CPU time (s) 1795.96
Current children cumulated vsize (KiB) 41560
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27212
/proc/meminfo: memFree=31693176/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=41560 CPUtime=1796.76 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 40874 0 0 0 178097 1579 0 0 25 0 1 0 887729343 42557440 9417 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 10390 9417 708 1178 0 9208 0
Current children cumulated CPU time (s) 1796.76
Current children cumulated vsize (KiB) 41560
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27212
/proc/meminfo: memFree=31693176/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=41560 CPUtime=1796.95 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 40874 0 0 0 178116 1579 0 0 25 0 1 0 887729343 42557440 9417 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 10390 9417 708 1178 0 9208 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (KiB) 41560
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 27212
/proc/meminfo: memFree=31693176/32950928 swapFree=67055428/67111528
[pid=27121] ppid=27119 vsize=41560 CPUtime=1797.05 cores=0,2,4,6
/proc/27121/stat : 27121 (scip-2.0.1.4b_2) R 27119 27121 26980 0 -1 4202496 40874 0 0 0 178126 1579 0 0 25 0 1 0 887729343 42557440 9417 33554432000 4194304 9016284 140736238753760 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27121/statm: 10390 9417 708 1178 0 9208 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 41560
Child status: 0
Real time (s): 1797.04
CPU time (s): 1797.1
CPU user time (s): 1781.3
CPU system time (s): 15.8016
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 44204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.3
system time used= 15.8016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40881
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= 11
involuntary context switches= 4441
runsolver used 2.73458 second user time and 5.43817 second system time
The end