0.00/0.00 c SCIP version 2.0.1.4 [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-3485468-1307757384.opb>
0.00/0.00 c original problem has 479 variables (479 bin, 0 int, 0 impl, 0 cont) and 479 constraints
0.00/0.00 c problem read
0.00/0.00 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.02 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.02 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 = 1797
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 | - |2637k| 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 | - |2650k| 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 | - |2663k| 0 | 323 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 3.380000e+02 | 117.89%
1.10/1.10 o 337
1.10/1.10 c s 1.1s| 1 | 0 | 10589 | - |2677k| 0 | 323 | 479 | 579 | 479 | 579 | 0 | 0 | 0 | 1.551272e+02 | 3.370000e+02 | 117.24%
1.29/1.31 o 222
1.29/1.31 c y 1.3s| 1 | 0 | 10589 | - |3049k| 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 | - |2976k| 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 | - |3224k| 0 | 422 | 479 | 579 | 479 | 973 | 394 | 0 | 0 | 1.643317e+02 | 2.220000e+02 | 35.09%
2.99/3.01 c 3.0s| 1 | 0 | 19498 | - |3414k| 0 | 432 | 479 | 579 | 479 |1115 | 536 | 0 | 0 | 1.659610e+02 | 2.220000e+02 | 33.77%
3.59/3.60 c 3.6s| 1 | 0 | 21100 | - |3527k| 0 | 439 | 479 | 579 | 479 |1200 | 621 | 0 | 0 | 1.669243e+02 | 2.220000e+02 | 32.99%
4.09/4.13 c 4.1s| 1 | 0 | 22187 | - |3602k| 0 | 443 | 479 | 579 | 479 |1263 | 684 | 0 | 0 | 1.673808e+02 | 2.220000e+02 | 32.63%
4.49/4.50 c 4.5s| 1 | 0 | 22595 | - |3620k| 0 | 447 | 479 | 579 | 479 |1291 | 712 | 0 | 0 | 1.675252e+02 | 2.220000e+02 | 32.52%
4.90/4.93 c 4.9s| 1 | 0 | 23029 | - |3647k| 0 | 443 | 479 | 579 | 479 |1313 | 734 | 0 | 0 | 1.676367e+02 | 2.220000e+02 | 32.43%
5.29/5.36 c 5.4s| 1 | 0 | 23297 | - |3666k| 0 | 436 | 479 | 579 | 479 |1327 | 748 | 0 | 0 | 1.677285e+02 | 2.220000e+02 | 32.36%
5.69/5.74 c 5.7s| 1 | 0 | 23432 | - |3677k| 0 | 440 | 479 | 579 | 479 |1335 | 756 | 0 | 0 | 1.677634e+02 | 2.220000e+02 | 32.33%
8.29/8.30 c 8.3s| 1 | 2 | 23432 | - |3697k| 0 | 440 | 479 | 579 | 479 |1335 | 756 | 0 | 16 | 1.677634e+02 | 2.220000e+02 | 32.33%
27.79/27.85 o 221
27.79/27.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.79/27.85 c c27.8s| 15 | 16 | 41761 |1309.2 |4502k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.678177e+02 | 2.210000e+02 | 31.69%
27.79/27.85 o 219
27.79/27.85 c c27.9s| 15 | 16 | 41780 |1310.6 |4506k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.678177e+02 | 2.190000e+02 | 30.50%
29.79/29.83 o 219
29.79/29.83 c p29.8s| 27 | 28 | 56907 |1287.5 |4597k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.190000e+02 | 30.24%
29.79/29.83 o 215
29.79/29.83 c p29.8s| 27 | 28 | 56913 |1287.7 |4599k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.150000e+02 | 27.86%
29.79/29.83 o 214
29.79/29.83 c p29.8s| 27 | 28 | 56914 |1287.8 |4600k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.140000e+02 | 27.26%
29.79/29.83 o 213
29.79/29.83 c p29.8s| 27 | 28 | 56917 |1287.9 |4602k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.130000e+02 | 26.67%
29.79/29.83 o 211
29.79/29.83 c p29.8s| 27 | 28 | 56921 |1288.0 |4603k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.110000e+02 | 25.48%
29.79/29.83 o 210
29.79/29.83 c p29.8s| 27 | 28 | 56936 |1288.6 |4607k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.100000e+02 | 24.89%
29.79/29.83 o 210
29.79/29.83 c p29.8s| 27 | 28 | 56944 |1288.9 |4608k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.100000e+02 | 24.89%
29.79/29.84 o 209
29.79/29.84 c p29.8s| 27 | 28 | 56945 |1289.0 |4610k| 14 | - | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.090000e+02 | 24.29%
29.79/29.84 o 206
29.79/29.84 c b29.8s| 27 | 28 | 56976 |1290.2 |4461k| 14 | 414 | 479 | 579 | 479 | 970 | 756 | 0 | 200 | 1.681531e+02 | 2.060000e+02 | 22.51%
70.40/70.49 o 205
70.40/70.49 c p70.5s| 196 | 197 |375610 |1806.0 |4830k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 259 | 1.682957e+02 | 2.050000e+02 | 21.81%
70.49/70.57 o 203
70.49/70.57 c b70.6s| 197 | 198 |376189 |1799.8 |4678k| 27 | 412 | 479 | 579 | 479 | 970 | 756 | 0 | 259 | 1.682957e+02 | 2.030000e+02 | 20.62%
91.99/92.04 o 203
91.99/92.04 c p92.0s| 250 | 251 |537269 |2063.6 |4871k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.030000e+02 | 20.56%
91.99/92.04 o 202
91.99/92.04 c p92.0s| 250 | 251 |537270 |2063.6 |4872k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.020000e+02 | 19.96%
91.99/92.04 o 201
91.99/92.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.99/92.04 c p92.0s| 250 | 251 |537272 |2063.6 |4873k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.010000e+02 | 19.37%
91.99/92.04 o 200
91.99/92.04 c p92.0s| 250 | 251 |537285 |2063.7 |4877k| 27 | - | 479 | 579 | 479 | 970 | 756 | 0 | 296 | 1.683825e+02 | 2.000000e+02 | 18.78%
225.51/225.54 o 199
225.51/225.54 c p 226s| 950 | 951 | 1519k|1576.5 |5308k| 31 | - | 479 | 579 | 479 | 970 | 756 | 0 | 531 | 1.688168e+02 | 1.990000e+02 | 17.88%
253.90/253.91 o 195
253.90/253.91 c C 254s| 1230 | 1231 | 1717k|1378.7 |5347k| 74 | 274 | 479 | 579 | 479 | 970 | 756 | 0 | 633 | 1.688460e+02 | 1.950000e+02 | 15.49%
254.11/254.15 o 194
254.11/254.15 c b 254s| 1231 | 1232 | 1718k|1377.8 |5355k| 74 | 403 | 479 | 579 | 479 | 970 | 756 | 0 | 639 | 1.688489e+02 | 1.940000e+02 | 14.90%
528.51/528.55 c 529s| 10000 | 3687 | 3853k| 383.1 |7315k| 118 | 359 | 479 | 582 | 479 | 970 | 756 | 3 |1264 | 1.691998e+02 | 1.940000e+02 | 14.66%
861.12/861.17 c 861s| 20000 | 6749 | 6471k| 322.4 |9648k| 118 | 163 | 479 | 582 | 479 | 970 | 756 | 4 |2024 | 1.693888e+02 | 1.940000e+02 | 14.53%
863.12/863.15 o 192
863.12/863.15 c C 863s| 20044 | 5871 | 6487k| 322.5 |8727k| 118 | 174 | 479 | 582 | 479 | 970 | 756 | 4 |2025 | 1.693890e+02 | 1.920000e+02 | 13.35%
1181.93/1181.97 c 1182s| 30000 | 8751 | 9024k| 300.0 | 10M| 118 | 365 | 479 | 586 | 479 | 970 | 756 | 9 |2606 | 1.694970e+02 | 1.920000e+02 | 13.28%
1455.74/1455.79 c 1456s| 40000 | 11127 | 11237k| 280.3 | 12M| 118 | 183 | 479 | 584 | 479 | 970 | 756 | 9 |3024 | 1.695730e+02 | 1.920000e+02 | 13.23%
1718.65/1718.65 c 1719s| 50000 | 13129 | 13424k| 268.0 | 14M| 118 | - | 479 | 587 | 479 | 970 | 756 | 13 |3457 | 1.696392e+02 | 1.920000e+02 | 13.18%
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 52642
1797.05/1797.00 c Primal Bound : +1.92000000000000e+02 (663 solutions)
1797.05/1797.00 c Dual Bound : +1.69655568374455e+02
1797.05/1797.00 c Gap : 13.17 %
1797.05/1797.00 s SATISFIABLE
1797.05/1797.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
1797.05/1797.00 v -x456 x455 x454 -x453 -x452 x451 x450 -x449 x448 -x447 -x446 -x445 -x444 x443 x442 x441 -x440 -x439 -x438 -x437 -x436 -x435
1797.05/1797.00 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 x427 -x426 x425 x424 -x423 -x422 x421 -x420 x419 x418 -x417 -x416 -x415 -x414 -x413
1797.05/1797.00 v -x412 -x411 x410 x409 x408 x407 -x406 -x405 -x404 x403 x402 x401 x400 x399 x398 x397 x396 -x395 -x394 -x393 -x392 x391 x390
1797.05/1797.00 v -x389 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.00 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.00 v -x344 x343 -x342 x341 x340 -x339 x338 x337 -x336 x335 x334 x333 -x332 x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 x323
1797.05/1797.00 v x322 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.00 v -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 x286 -x285 -x284 -x283 x282 -x281 -x280 -x279
1797.05/1797.00 v -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 x267 -x266 -x265 -x264 -x263 -x262 x261 x260 x259 x258 -x257
1797.05/1797.00 v x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 x248 -x247 -x246 -x245 x244 x243 -x242 x241 -x240 x239 x238 x237 x236 -x235 x234
1797.05/1797.00 v -x233 -x232 -x231 x230 x229 x228 x227 -x226 x225 -x224 x223 -x222 x221 x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 x212
1797.05/1797.00 v x211 -x210 -x209 x208 x207 x206 x205 x204 -x203 -x202 -x201 x200 -x199 x198 -x197 x196 x195 -x194 -x193 x192 -x191 x190 -x189
1797.05/1797.00 v -x188 -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.00 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.00 v x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 x134 -x133 -x132 x131 x130 x129 x128 -x127 -x126 -x125 x124 x123 x122
1797.05/1797.00 v -x121 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.00 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.00 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.00 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.00 v -x17 -x16 -x15 x14 x13 x12 x11 -x10 x9 x8 -x7 -x6 x5 -x4 x3 -x2 -x1
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.02 (included in solving)
1797.05/1797.00 c reading : 0.01 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3485468-1307757384.opb
1797.05/1797.00 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 479 initial, 479 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3485468-1307757384.opb
1797.05/1797.00 c Variables : 479 (479 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 579 initial, 587 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c knapsack : 0.01 0 0 0 0 0 36 234 345 720
1797.05/1797.00 c setppc : 0.00 0 0 0 0 0 98 0 0 0
1797.05/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 21
1797.05/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c root node : - 0 - - 0 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 33734 0 668 0 1 108 0 0 67348
1797.05/1797.00 c knapsack : 441 10 298251 0 0 663 0 0 234804 798 0 0
1797.05/1797.00 c setppc : 136 10 298251 0 0 662 0 0 45810 0 0 0
1797.05/1797.00 c logicor : 2+ 10 9253 0 0 662 0 0 24 0 0 0
1797.05/1797.00 c countsols : 0 0 0 0 0 666 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 115.59 0.00 0.00 115.59 0.00 0.00 0.00
1797.05/1797.00 c knapsack : 3.19 0.03 3.15 0.00 0.00 0.01 0.00
1797.05/1797.00 c setppc : 0.43 0.00 0.42 0.00 0.00 0.00 0.00
1797.05/1797.00 c logicor : 0.01 0.00 0.01 0.00 0.00 0.00 0.00
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 18 0 0 0
1797.05/1797.00 c pseudoobj : 299095 0 0 0
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 0.05 0.05 0.00
1797.05/1797.00 c rootredcost : 0.05 0.05 0.00
1797.05/1797.00 c pseudoobj : 2.21 2.21 0.00
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c infeasible LP : 0.00 13 13 13 4.7 0 0.0 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 13 4.7 - - -
1797.05/1797.00 c applied locally : - - - 0 0.0 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 0.00 9 - - 306 - (maximal pool size: 1345)
1797.05/1797.00 c redcost : 1.42 71829 0 750355 0 0
1797.05/1797.00 c impliedbounds : 0.00 10 0 0 0 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 1.33 10 0 0 6 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 1.23 10 0 0 6 0
1797.05/1797.00 c cmir : 0.20 10 0 0 789 0
1797.05/1797.00 c flowcover : 0.25 10 0 0 965 0
1797.05/1797.00 c clique : 0.00 1 0 0 0 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.00 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 0.06 1 0 0 0 0
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 115.56 33734 1 108 0 0 67348
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.00 - 0
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c oneopt : 0.02 11 3
1797.05/1797.00 c crossover : 1.26 10 9
1797.05/1797.00 c trivial : 0.00 2 1
1797.05/1797.00 c shiftandpropagate: 0.00 0 0
1797.05/1797.00 c simplerounding : 1.12 61355 24
1797.05/1797.00 c zirounding : 0.49 1301 26
1797.05/1797.00 c rounding : 12.30 11627 1
1797.05/1797.00 c shifting : 3.27 3047 1
1797.05/1797.00 c intshifting : 0.00 0 0
1797.05/1797.00 c twoopt : 0.00 0 0
1797.05/1797.00 c fixandinfer : 0.00 0 0
1797.05/1797.00 c feaspump : 0.00 0 0
1797.05/1797.00 c clique : 0.00 0 0
1797.05/1797.00 c coefdiving : 130.41 114 161
1797.05/1797.00 c pscostdiving : 283.61 330 255
1797.05/1797.00 c fracdiving : 55.85 50 0
1797.05/1797.00 c veclendiving : 84.57 97 96
1797.05/1797.00 c intdiving : 0.00 0 0
1797.05/1797.00 c actconsdiving : 0.00 0 0
1797.05/1797.00 c objpscostdiving : 33.49 6 9
1797.05/1797.00 c rootsoldiving : 13.56 14 0
1797.05/1797.00 c linesearchdiving : 83.85 112 76
1797.05/1797.00 c guideddiving : 55.85 51 0
1797.05/1797.00 c octane : 0.00 0 0
1797.05/1797.00 c rens : 0.00 0 0
1797.05/1797.00 c rins : 0.00 0 0
1797.05/1797.00 c localbranching : 0.00 0 0
1797.05/1797.00 c mutation : 0.00 0 0
1797.05/1797.00 c dins : 0.00 0 0
1797.05/1797.00 c vbounds : 0.00 0 0
1797.05/1797.00 c undercover : 0.00 0 0
1797.05/1797.00 c subnlp : 0.01 0 0
1797.05/1797.00 c trysol : 0.01 0 0
1797.05/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.05/1797.00 c dual LP : 897.41 80304 7747466 96.48 8633.17
1797.05/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.00 c diving/probing LP: 718.67 114391 6316275 55.22 8788.86
1797.05/1797.00 c strong branching : 113.80 3547 821927 231.72 7222.68
1797.05/1797.00 c (at root node) : - 16 14506 906.62 -
1797.05/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.00 c B&B Tree :
1797.05/1797.00 c number of runs : 1
1797.05/1797.00 c nodes : 52642
1797.05/1797.00 c nodes (total) : 52642
1797.05/1797.00 c nodes left : 13811
1797.05/1797.00 c max depth : 118
1797.05/1797.00 c max depth (total): 118
1797.05/1797.00 c backtracks : 9923 (18.8%)
1797.05/1797.00 c delayed cutoffs : 0
1797.05/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.05/1797.00 c avg switch length: 7.00
1797.05/1797.00 c switching time : 2.40
1797.05/1797.00 c Solution :
1797.05/1797.00 c Solutions found : 663 (26 improvements)
1797.05/1797.00 c First Solution : +4.79000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1797.05/1797.00 c Primal Bound : +1.92000000000000e+02 (in run 1, after 20044 nodes, 863.15 seconds, depth 98, found by <crossover>)
1797.05/1797.00 c Dual Bound : +1.69655568374455e+02
1797.05/1797.00 c Gap : 13.17 %
1797.05/1797.00 c Root Dual Bound : +1.67763362772140e+02
1797.05/1797.00 c Root Iterations : 23432
1797.05/1797.02 c Time complete: 1797.07.
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-3485468-1307757384/watcher-3485468-1307757384 -o /tmp/evaluation-result-3485468-1307757384/solver-3485468-1307757384 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485468-1307757384.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 1.98 1.94 2/177 8167
/proc/meminfo: memFree=31086676/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=10248 CPUtime=0 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 1565 0 0 0 0 0 0 0 25 0 1 0 965969066 10493952 1520 33554432000 4194304 8979876 140736503770784 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/8167/statm: 2562 1520 366 1169 0 1389 0
[startup+0.0796369 s]
/proc/loadavg: 1.92 1.98 1.94 2/177 8167
/proc/meminfo: memFree=31086676/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=20924 CPUtime=0.07 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 4427 0 0 0 7 0 0 0 18 0 1 0 965969066 21426176 4123 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 5231 4123 638 1169 0 4058 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20924
[startup+0.100638 s]
/proc/loadavg: 1.92 1.98 1.94 2/177 8167
/proc/meminfo: memFree=31086676/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=20924 CPUtime=0.09 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 4432 0 0 0 9 0 0 0 18 0 1 0 965969066 21426176 4124 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 5231 4124 634 1169 0 4058 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20924
[startup+0.300595 s]
/proc/loadavg: 1.92 1.98 1.94 2/177 8167
/proc/meminfo: memFree=31086676/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=21228 CPUtime=0.29 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 4506 0 0 0 28 1 0 0 18 0 1 0 965969066 21737472 4198 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 5307 4198 634 1169 0 4134 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21228
[startup+0.700518 s]
/proc/loadavg: 1.92 1.98 1.94 2/177 8167
/proc/meminfo: memFree=31086676/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=21444 CPUtime=0.69 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 4565 0 0 0 66 3 0 0 18 0 1 0 965969066 21958656 4257 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 5361 4257 634 1169 0 4188 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21444
[startup+1.50038 s]
/proc/loadavg: 1.92 1.98 1.94 3/178 8168
/proc/meminfo: memFree=31071760/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=23064 CPUtime=1.49 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 7799 0 0 0 144 5 0 0 20 0 1 0 965969066 23617536 4770 33554432000 4194304 8979876 140736503770784 18446744073709551615 7184974 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 5766 4770 704 1169 0 4593 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23064
[startup+3.10107 s]
/proc/loadavg: 1.92 1.98 1.94 3/178 8168
/proc/meminfo: memFree=31069528/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=24100 CPUtime=3.09 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 8060 0 0 0 301 8 0 0 25 0 1 0 965969066 24678400 5031 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 6025 5031 705 1169 0 4852 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24100
[startup+6.30048 s]
/proc/loadavg: 1.93 1.98 1.94 3/178 8168
/proc/meminfo: memFree=31067420/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=24880 CPUtime=6.29 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 9093 0 0 0 614 15 0 0 25 0 1 0 965969066 25477120 5241 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 6220 5241 709 1169 0 5047 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24880
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.94 3/178 8168
/proc/meminfo: memFree=31066920/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=24880 CPUtime=12.69 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 9093 0 0 0 1233 36 0 0 25 0 1 0 965969066 25477120 5241 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 6220 5241 709 1169 0 5047 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24880
[startup+25.5009 s]
/proc/loadavg: 1.95 1.98 1.94 3/178 8169
/proc/meminfo: memFree=31067080/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=25044 CPUtime=25.49 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 9097 0 0 0 2476 73 0 0 25 0 1 0 965969066 25645056 5245 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 6261 5245 711 1169 0 5088 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25044
[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.94 3/178 8169
/proc/meminfo: memFree=31066656/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=25960 CPUtime=51.09 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 9358 0 0 0 4947 162 0 0 25 0 1 0 965969066 26583040 5506 33554432000 4194304 8979876 140736503770784 18446744073709551615 4786400 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 6490 5506 712 1169 0 5317 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25960
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.94 3/178 8171
/proc/meminfo: memFree=31066296/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=26116 CPUtime=102.31 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 9369 0 0 0 9853 378 0 0 25 0 1 0 965969066 26742784 5517 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 6529 5517 713 1169 0 5356 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 26116
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.94 3/178 8172
/proc/meminfo: memFree=31065868/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=26324 CPUtime=162.3 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 12083 0 0 0 15612 618 0 0 25 0 1 0 965969066 26955776 5580 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 6581 5580 718 1169 0 5408 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 26324
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/178 8174
/proc/meminfo: memFree=31064840/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=26868 CPUtime=222.29 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 14874 0 0 0 21394 835 0 0 25 0 1 0 965969066 27512832 5716 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 6717 5716 718 1169 0 5544 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 26868
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.94 3/178 8184
/proc/meminfo: memFree=31063564/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=27504 CPUtime=282.3 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 18115 0 0 0 27157 1073 0 0 25 0 1 0 965969066 28164096 5892 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 6876 5892 721 1169 0 5703 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 27504
[startup+342.3 s]
/proc/loadavg: 2.07 2.00 1.95 3/178 8652
/proc/meminfo: memFree=31058700/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=27904 CPUtime=342.3 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 18209 0 0 0 32923 1307 0 0 25 0 1 0 965969066 28573696 5986 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 6976 5986 721 1169 0 5803 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 27904
[startup+402.301 s]
/proc/loadavg: 2.09 2.02 1.95 3/178 8654
/proc/meminfo: memFree=31063016/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=28668 CPUtime=402.3 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 18384 0 0 0 38662 1568 0 0 25 0 1 0 965969066 29356032 6161 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 7167 6161 721 1169 0 5994 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 28668
[startup+462.301 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 8655
/proc/meminfo: memFree=31062856/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=28820 CPUtime=462.3 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 22064 0 0 0 44440 1790 0 0 25 0 1 0 965969066 29511680 6218 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 7205 6218 721 1169 0 6032 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 28820
[startup+522.301 s]
/proc/loadavg: 2.01 2.00 1.95 3/178 8657
/proc/meminfo: memFree=31063076/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=28820 CPUtime=522.31 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 22092 0 0 0 50212 2019 0 0 25 0 1 0 965969066 29511680 6246 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 7205 6246 721 1169 0 6032 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 28820
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 8658
/proc/meminfo: memFree=31061784/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=29904 CPUtime=582.31 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 28055 0 0 0 55963 2268 0 0 25 0 1 0 965969066 30621696 6496 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 7476 6496 721 1169 0 6303 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 29904
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30064824/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=32708 CPUtime=1122.33 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 39653 0 0 0 108160 4073 0 0 25 0 1 0 965969066 33492992 7198 33554432000 4194304 8979876 140736503770784 18446744073709551615 7184661 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 8177 7198 721 1169 0 7004 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 32708
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8712
/proc/meminfo: memFree=30025360/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=34572 CPUtime=1182.33 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 40860 0 0 0 113973 4260 0 0 25 0 1 0 965969066 35401728 7669 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 8643 7669 721 1169 0 7470 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 34572
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8714
/proc/meminfo: memFree=30024460/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=35340 CPUtime=1242.33 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 41062 0 0 0 119774 4459 0 0 25 0 1 0 965969066 36188160 7871 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 8835 7871 721 1169 0 7662 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 35340
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 8716
/proc/meminfo: memFree=30015364/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=35604 CPUtime=1302.34 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 41111 0 0 0 125577 4657 0 0 25 0 1 0 965969066 36458496 7920 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 8901 7920 721 1169 0 7728 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 35604
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 8717
/proc/meminfo: memFree=30015568/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=35568 CPUtime=1362.34 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 43712 0 0 0 131388 4846 0 0 25 0 1 0 965969066 36421632 7916 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 8892 7916 721 1169 0 7719 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 35568
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 8719
/proc/meminfo: memFree=30015520/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=35724 CPUtime=1422.34 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 43772 0 0 0 137184 5050 0 0 25 0 1 0 965969066 36581376 7976 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 8931 7976 721 1169 0 7758 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 35724
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8720
/proc/meminfo: memFree=30015240/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=36028 CPUtime=1482.34 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 43848 0 0 0 142980 5254 0 0 25 0 1 0 965969066 36892672 8052 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 9007 8052 721 1169 0 7834 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 36028
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8722
/proc/meminfo: memFree=30014936/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=36380 CPUtime=1542.34 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 43921 0 0 0 148773 5461 0 0 25 0 1 0 965969066 37253120 8125 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 9095 8125 721 1169 0 7922 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 36380
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8724
/proc/meminfo: memFree=30015140/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=36380 CPUtime=1602.35 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 43922 0 0 0 154558 5677 0 0 25 0 1 0 965969066 37253120 8126 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 9095 8126 721 1169 0 7922 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 36380
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8725
/proc/meminfo: memFree=30014096/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=36832 CPUtime=1662.35 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 44791 0 0 0 160353 5882 0 0 25 0 1 0 965969066 37715968 8258 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 9208 8258 721 1169 0 8035 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 36832
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8727
/proc/meminfo: memFree=30013552/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=38168 CPUtime=1722.35 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 45124 0 0 0 166145 6090 0 0 25 0 1 0 965969066 39084032 8591 33554432000 4194304 8979876 140736503770784 18446744073709551615 7185245 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 9542 8591 721 1169 0 8369 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 38168
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8728
/proc/meminfo: memFree=29986980/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=38584 CPUtime=1782.35 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 45211 0 0 0 171944 6291 0 0 25 0 1 0 965969066 39510016 8678 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 9646 8678 722 1169 0 8473 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 38584
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8729
/proc/meminfo: memFree=29986720/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=38584 CPUtime=1785.55 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 45245 0 0 0 172256 6299 0 0 25 0 1 0 965969066 39510016 8711 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 9646 8711 721 1169 0 8473 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 38584
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8729
/proc/meminfo: memFree=29986716/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=38584 CPUtime=1791.95 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 45245 0 0 0 172875 6320 0 0 25 0 1 0 965969066 39510016 8711 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 9646 8711 721 1169 0 8473 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 38584
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8729
/proc/meminfo: memFree=29986468/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=38848 CPUtime=1795.15 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 45291 0 0 0 173183 6332 0 0 25 0 1 0 965969066 39780352 8757 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 9712 8757 721 1169 0 8539 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 38848
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8729
/proc/meminfo: memFree=29986468/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=38848 CPUtime=1795.95 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 45291 0 0 0 173259 6336 0 0 25 0 1 0 965969066 39780352 8757 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 9712 8757 721 1169 0 8539 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 38848
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8729
/proc/meminfo: memFree=29986468/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=38848 CPUtime=1796.75 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 45291 0 0 0 173336 6339 0 0 25 0 1 0 965969066 39780352 8757 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 9712 8757 721 1169 0 8539 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 38848
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8729
/proc/meminfo: memFree=29986468/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=38848 CPUtime=1796.96 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 45291 0 0 0 173356 6340 0 0 25 0 1 0 965969066 39780352 8757 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 9712 8757 721 1169 0 8539 0
Current children cumulated CPU time (s) 1796.96
Current children cumulated vsize (KiB) 38848
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 8729
/proc/meminfo: memFree=29986468/32950928 swapFree=67051096/67111528
[pid=8167] ppid=8165 vsize=38848 CPUtime=1797.05 cores=1,3,5,7
/proc/8167/stat : 8167 (scip-2.0.1.4_2.) R 8165 8167 6496 0 -1 4202496 45291 0 0 0 173365 6340 0 0 25 0 1 0 965969066 39780352 8757 33554432000 4194304 8979876 140736503770784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/8167/statm: 9712 8757 721 1169 0 8539 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 38848
Child status: 0
Real time (s): 1797.03
CPU time (s): 1797.08
CPU user time (s): 1733.68
CPU system time (s): 63.4064
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 45956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1733.68
system time used= 63.4064
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45299
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= 6
involuntary context switches= 3208
runsolver used 2.31965 second user time and 5.86411 second system time
The end