0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-3731452-1338688346.opb>
0.00/0.01 c original problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 478 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 21 chg coeffs, 478 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 8 del conss, 0 chg bounds, 194 chg sides, 410 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.00/0.02 c (round 4) 0 del vars, 44 del conss, 0 chg bounds, 292 chg sides, 530 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.00/0.02 c (round 5) 0 del vars, 125 del conss, 0 chg bounds, 323 chg sides, 580 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.00/0.02 c (round 6) 0 del vars, 127 del conss, 0 chg bounds, 328 chg sides, 599 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.00/0.02 c (round 7) 0 del vars, 128 del conss, 0 chg bounds, 332 chg sides, 604 chg coeffs, 478 upgd conss, 244 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/478 (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 (8 rounds):
0.00/0.03 c 0 deleted vars, 128 deleted constraints, 0 tightened bounds, 0 added holes, 332 changed sides, 604 changed coefficients
0.00/0.03 c 244 implications, 0 cliques
0.00/0.03 c presolved problem has 478 variables (478 bin, 0 int, 0 impl, 0 cont) and 569 constraints
0.00/0.03 c 443 constraints of type <knapsack>
0.00/0.03 c 122 constraints of type <setppc>
0.00/0.03 c 4 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 OPT-LIN
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 = c 13950
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 = c 1791
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 = c 10000
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving problem
0.00/0.03 c
0.29/0.32 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.32 c 0.3s| 1 | 0 | 2100 |2506k| 0 | 334 | 478 | 569 | 569 | 478 | 569 | 0 | 0 | 0 | 1.496682e+02 | -- | Inf
0.29/0.32 o 348
0.29/0.32 c r 0.3s| 1 | 0 | 2100 |2519k| 0 | 334 | 478 | 569 | 569 | 478 | 569 | 0 | 0 | 0 | 1.496682e+02 | 3.480000e+02 | 132.51%
0.29/0.32 o 347
0.29/0.32 c R 0.3s| 1 | 0 | 2100 |2532k| 0 | 334 | 478 | 569 | 569 | 478 | 569 | 0 | 0 | 0 | 1.496682e+02 | 3.470000e+02 | 131.85%
0.29/0.33 o 346
0.29/0.33 c s 0.3s| 1 | 0 | 2100 |2546k| 0 | 334 | 478 | 569 | 569 | 478 | 569 | 0 | 0 | 0 | 1.496682e+02 | 3.460000e+02 | 131.18%
0.69/0.78 c 0.8s| 1 | 0 | 3005 |2877k| 0 | 394 | 478 | 569 | 569 | 478 | 805 | 236 | 0 | 0 | 1.570676e+02 | 3.460000e+02 | 120.29%
1.28/1.35 c 1.3s| 1 | 0 | 3993 |3122k| 0 | 413 | 478 | 569 | 569 | 478 | 975 | 406 | 0 | 0 | 1.612641e+02 | 3.460000e+02 | 114.55%
1.89/1.93 c 1.9s| 1 | 0 | 4889 |3317k| 0 | 434 | 478 | 569 | 569 | 478 |1111 | 542 | 0 | 0 | 1.629130e+02 | 3.460000e+02 | 112.38%
2.48/2.51 c 2.5s| 1 | 0 | 5530 |3436k| 0 | 450 | 478 | 569 | 569 | 478 |1208 | 639 | 0 | 0 | 1.636325e+02 | 3.460000e+02 | 111.45%
2.99/3.00 c 3.0s| 1 | 0 | 6029 |3470k| 0 | 442 | 478 | 569 | 569 | 478 |1258 | 689 | 0 | 0 | 1.640555e+02 | 3.460000e+02 | 110.90%
3.49/3.53 c 3.5s| 1 | 0 | 6391 |3504k| 0 | 442 | 478 | 569 | 569 | 478 |1293 | 724 | 0 | 0 | 1.642250e+02 | 3.460000e+02 | 110.69%
3.88/3.97 c 3.9s| 1 | 0 | 6585 |3519k| 0 | 445 | 478 | 569 | 569 | 478 |1307 | 738 | 0 | 0 | 1.642967e+02 | 3.460000e+02 | 110.59%
4.30/4.33 c 4.3s| 1 | 0 | 6635 |3526k| 0 | 442 | 478 | 569 | 569 | 478 |1310 | 741 | 0 | 0 | 1.643020e+02 | 3.460000e+02 | 110.59%
4.59/4.68 c 4.6s| 1 | 0 | 6669 |3534k| 0 | 444 | 478 | 569 | 569 | 478 |1314 | 745 | 0 | 0 | 1.643036e+02 | 3.460000e+02 | 110.59%
4.99/5.02 o 217
4.99/5.02 c k 5.0s| 1 | 0 | 6669 |3554k| 0 | 444 | 478 | 569 | 569 | 478 |1314 | 745 | 0 | 0 | 1.643036e+02 | 2.170000e+02 | 32.07%
4.99/5.02 c 5.0s| 1 | 0 | 6669 |3547k| 0 | 444 | 478 | 569 | 569 | 478 |1314 | 745 | 0 | 0 | 1.643036e+02 | 2.170000e+02 | 32.07%
11.19/11.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.19/11.22 c 11.2s| 1 | 2 | 6669 |3548k| 0 | 444 | 478 | 569 | 569 | 478 |1314 | 745 | 0 | 28 | 1.643036e+02 | 2.170000e+02 | 32.07%
47.58/47.69 o 214
47.58/47.69 c p47.5s| 43 | 44 | 34888 |4466k| 29 | - | 478 | 569 | 335 | 478 |1055 | 745 | 0 | 263 | 1.645553e+02 | 2.140000e+02 | 30.05%
47.67/47.70 o 213
47.67/47.70 c p47.5s| 43 | 44 | 34903 |4468k| 29 | - | 478 | 569 | 328 | 478 |1055 | 745 | 0 | 263 | 1.645553e+02 | 2.130000e+02 | 29.44%
47.67/47.70 o 212
47.67/47.70 c p47.5s| 43 | 44 | 34908 |4469k| 29 | - | 478 | 569 | 324 | 478 |1055 | 745 | 0 | 263 | 1.645553e+02 | 2.120000e+02 | 28.83%
47.67/47.70 o 210
47.67/47.70 c p47.5s| 43 | 44 | 34912 |4470k| 29 | - | 478 | 569 | 323 | 478 |1055 | 745 | 0 | 263 | 1.645553e+02 | 2.100000e+02 | 27.62%
47.67/47.70 o 209
47.67/47.70 c p47.5s| 43 | 44 | 34923 |4472k| 29 | - | 478 | 569 | 319 | 478 |1055 | 745 | 0 | 263 | 1.645553e+02 | 2.090000e+02 | 27.01%
47.67/47.70 o 209
47.67/47.70 c p47.5s| 43 | 44 | 34933 |4473k| 29 | - | 478 | 569 | 316 | 478 |1055 | 745 | 0 | 263 | 1.645553e+02 | 2.090000e+02 | 27.01%
47.67/47.70 o 208
47.67/47.70 c p47.5s| 43 | 44 | 34934 |4474k| 29 | - | 478 | 569 | 313 | 478 |1055 | 745 | 0 | 263 | 1.645553e+02 | 2.080000e+02 | 26.40%
47.67/47.70 o 205
47.67/47.70 c p47.5s| 43 | 44 | 34943 |4475k| 29 | - | 478 | 569 | 309 | 478 |1055 | 745 | 0 | 263 | 1.645553e+02 | 2.050000e+02 | 24.58%
47.67/47.70 o 204
47.67/47.70 c p47.5s| 43 | 44 | 34945 |4476k| 29 | - | 478 | 569 | 306 | 478 |1055 | 745 | 0 | 263 | 1.645553e+02 | 2.040000e+02 | 23.97%
47.67/47.71 o 201
47.67/47.71 c k47.5s| 43 | 44 | 34977 |4318k| 29 | 419 | 478 | 569 | 557 | 478 |1055 | 745 | 0 | 263 | 1.645553e+02 | 2.010000e+02 | 22.15%
119.06/119.15 o 201
119.06/119.15 c p 118s| 516 | 517 |352520 |4927k| 62 | - | 478 | 588 | 300 | 478 |1055 | 745 | 19 | 437 | 1.647130e+02 | 2.010000e+02 | 22.03%
119.06/119.15 o 200
119.06/119.15 c p 118s| 516 | 517 |352527 |4929k| 62 | - | 478 | 588 | 299 | 478 |1055 | 745 | 19 | 437 | 1.647130e+02 | 2.000000e+02 | 21.42%
165.36/165.41 o 200
165.36/165.41 c p 164s| 775 | 776 |579661 |5118k| 62 | - | 478 | 591 | 304 | 478 |1055 | 745 | 22 | 545 | 1.648309e+02 | 2.000000e+02 | 21.34%
165.36/165.41 o 199
165.36/165.41 c p 164s| 775 | 776 |579671 |5121k| 62 | - | 478 | 591 | 302 | 478 |1055 | 745 | 22 | 545 | 1.648309e+02 | 1.990000e+02 | 20.73%
417.62/417.72 o 199
417.62/417.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.62/417.72 c p 415s| 5305 | 4414 | 1776k|7891k| 146 | - | 478 | 639 | 363 | 478 |1055 | 745 | 70 |1020 | 1.652030e+02 | 1.990000e+02 | 20.46%
423.12/423.28 o 198
423.12/423.28 c p 421s| 5605 | 4434 | 1805k|7833k| 146 | - | 478 | 639 | 353 | 478 |1055 | 745 | 70 |1020 | 1.652153e+02 | 1.980000e+02 | 19.84%
524.10/524.22 o 195
524.10/524.22 c C 521s| 8605 | 4442 | 2265k|7642k| 146 | - | 478 | 655 | 508 | 478 |1055 | 745 | 86 |1206 | 1.653359e+02 | 1.950000e+02 | 17.94%
575.10/575.23 c 572s| 10000 | 5157 | 2506k|8221k| 146 | 393 | 478 | 663 | 642 | 478 |1055 | 745 | 96 |1222 | 1.653953e+02 | 1.950000e+02 | 17.90%
889.45/889.68 c 884s| 20000 | 9525 | 3969k| 11M| 146 | 86 | 478 | 688 | 491 | 478 |1055 | 745 | 134 |1643 | 1.655703e+02 | 1.950000e+02 | 17.77%
1187.50/1187.72 c 1180s| 30000 | 13205 | 5349k| 14M| 146 | - | 478 | 725 | 524 | 478 |1055 | 745 | 186 |2054 | 1.656696e+02 | 1.950000e+02 | 17.70%
1460.76/1461.05 c 1452s| 40000 | 16691 | 6631k| 17M| 146 | - | 478 | 759 | 494 | 478 |1055 | 745 | 240 |2409 | 1.657369e+02 | 1.950000e+02 | 17.66%
1719.71/1720.03 c 1709s| 50000 | 20177 | 7835k| 20M| 146 | - | 478 | 763 | 486 | 478 |1055 | 745 | 285 |2717 | 1.657889e+02 | 1.950000e+02 | 17.62%
1800.01/1800.34 c
1800.01/1800.34 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.34 c Solving Time (sec) : 1789.11
1800.01/1800.34 c Solving Nodes : 53190
1800.01/1800.34 c Primal Bound : +1.95000000000000e+02 (752 solutions)
1800.01/1800.34 c Dual Bound : +1.65805915460625e+02
1800.01/1800.34 c Gap : 17.61 %
1800.01/1800.34 c NODE 53190
1800.01/1800.34 c DUAL BOUND 165.806
1800.01/1800.34 c PRIMAL BOUND 195
1800.01/1800.34 c GAP 0.176074
1800.01/1800.34 s SATISFIABLE
1800.01/1800.34 v x478 x477 -x476 -x475 -x474 -x473 -x472 x471 x470 -x469 -x468 x467 x466 x465 -x464 -x463 x462 x461 -x460 -x459 x458 x457 -x456
1800.01/1800.34 v -x455 -x454 -x453 -x452 -x451 x450 -x449 x448 -x447 -x446 -x445 x444 -x443 x442 x441 -x440 -x439 x438 -x437 x436 x435 -x434 x433
1800.01/1800.34 v -x432 x431 -x430 -x429 x428 -x427 -x426 -x425 x424 x423 -x422 -x421 -x420 -x419 x418 x417 -x416 -x415 -x414 x413 x412 -x411
1800.01/1800.34 v -x410 -x409 x408 -x407 -x406 x405 -x404 x403 -x402 -x401 x400 -x399 x398 x397 x396 -x395 x394 -x393 -x392 x391 -x390 -x389
1800.01/1800.34 v x388 x387 x386 -x385 x384 -x383 -x382 x381 -x380 -x379 -x378 x377 x376 x375 x374 -x373 -x372 -x371 x370 x369 -x368 x367 -x366
1800.01/1800.34 v -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 x356 -x355 -x354 -x353 -x352 x351 x350 -x349 -x348 x347 -x346 x345 -x344
1800.01/1800.34 v -x343 x342 x341 -x340 x339 -x338 -x337 x336 x335 -x334 x333 -x332 x331 -x330 -x329 x328 x327 x326 -x325 -x324 -x323 -x322
1800.01/1800.34 v x321 x320 x319 x318 -x317 -x316 -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 x301 -x300
1800.01/1800.34 v -x299 -x298 x297 -x296 -x295 -x294 -x293 x292 x291 -x290 x289 -x288 -x287 x286 -x285 x284 -x283 -x282 x281 -x280 -x279 x278 x277
1800.01/1800.34 v -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 x259 -x258 -x257 -x256
1800.01/1800.34 v -x255 x254 -x253 x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 x243 -x242 x241 -x240 -x239 x238 -x237 -x236 x235 -x234
1800.01/1800.34 v -x233 x232 x231 x230 -x229 x228 x227 -x226 -x225 x224 -x223 -x222 x221 x220 -x219 -x218 -x217 x216 x215 x214 x213 x212 -x211
1800.01/1800.34 v x210 x209 -x208 x207 -x206 x205 -x204 -x203 x202 x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 x189
1800.01/1800.34 v -x188 -x187 -x186 -x185 -x184 x183 -x182 -x181 -x180 x179 -x178 -x177 x176 x175 x174 x173 x172 -x171 -x170 x169 x168 x167 x166
1800.01/1800.34 v -x165 x164 x163 -x162 x161 -x160 x159 x158 x157 x156 x155 x154 -x153 -x152 -x151 x150 -x149 x148 -x147 -x146 -x145 -x144 -x143
1800.01/1800.34 v -x142 -x141 x140 -x139 x138 -x137 x136 -x135 -x134 x133 x132 -x131 x130 -x129 -x128 x127 -x126 x125 x124 -x123 -x122 x121
1800.01/1800.34 v -x120 -x119 -x118 x117 x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 x107 -x106 -x105 -x104 x103 -x102 x101 x100 -x99
1800.01/1800.34 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
1800.01/1800.34 v -x71 -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
1800.01/1800.34 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 x17 -x16
1800.01/1800.34 v x15 x14 -x13 -x12 -x11 -x10 x9 x8 x7 x6 -x5 -x4 -x3 -x2 x1
1800.01/1800.34 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.34 c Solving Time : 1789.11
1800.01/1800.34 c Original Problem :
1800.01/1800.34 c Problem name : HOME/instance-3731452-1338688346.opb
1800.01/1800.34 c Variables : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.34 c Constraints : 478 initial, 478 maximal
1800.01/1800.34 c Presolved Problem :
1800.01/1800.34 c Problem name : t_HOME/instance-3731452-1338688346.opb
1800.01/1800.34 c Variables : 478 (478 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.34 c Constraints : 569 initial, 772 maximal
1800.01/1800.34 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.34 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.34 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.34 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.34 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.34 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.34 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.34 c knapsack : 0.00 0 0 0 0 0 31 332 583
1800.01/1800.34 c setppc : 0.00 0 0 0 0 0 97 0 0
1800.01/1800.34 c linear : 0.01 0 0 0 0 0 0 0 21
1800.01/1800.34 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.34 c root node : - 0 - - 0 - - - -
1800.01/1800.34 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.34 c integral : 0 0 0 37895 0 0 40 0 0 75748
1800.01/1800.34 c knapsack : 443 10 233857 0 0 0 160981 534 0 0
1800.01/1800.34 c setppc : 122 10 233837 0 0 0 20585 0 0 0
1800.01/1800.34 c logicor : 4+ 10 43214 0 0 0 65 0 0 0
1800.01/1800.34 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.34 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.34 c integral : 129.35 0.00 0.00 129.35 0.00
1800.01/1800.34 c knapsack : 1.82 0.01 1.81 0.00 0.00
1800.01/1800.34 c setppc : 0.24 0.00 0.24 0.00 0.00
1800.01/1800.34 c logicor : 0.08 0.00 0.08 0.00 0.00
1800.01/1800.34 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.34 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.34 c rootredcost : 0.01 13 0 0
1800.01/1800.34 c pseudoobj : 1.93 234422 0 0
1800.01/1800.34 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.34 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.34 c infeasible LP : 0.01 300 300 300 4.0 0 0.0 0
1800.01/1800.34 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.34 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.34 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.34 c applied globally : - - - 300 4.0 - - -
1800.01/1800.34 c applied locally : - - - 0 0.0 - - -
1800.01/1800.34 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.34 c cut pool : 0.00 9 - - 401 - (maximal pool size: 1709)
1800.01/1800.34 c redcost : 1.10 63309 0 543814 0 0
1800.01/1800.34 c impliedbounds : 0.00 11 0 0 0 0
1800.01/1800.34 c intobj : 0.00 0 0 0 0 0
1800.01/1800.34 c gomory : 1.54 11 0 0 0 0
1800.01/1800.34 c strongcg : 1.43 11 0 0 0 0
1800.01/1800.34 c cmir : 0.22 10 0 0 768 0
1800.01/1800.34 c flowcover : 0.21 10 0 0 864 0
1800.01/1800.34 c clique : 0.00 1 0 0 0 0
1800.01/1800.34 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.34 c mcf : 0.00 1 0 0 0 0
1800.01/1800.34 c Pricers : Time Calls Vars
1800.01/1800.34 c problem variables: 0.00 0 0
1800.01/1800.34 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.34 c relpscost : 129.34 37895 0 40 0 0 75748
1800.01/1800.34 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.34 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.34 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.34 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.34 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.34 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.34 c random : 0.00 0 0 0 0 0 0
1800.01/1800.34 c Primal Heuristics : Time Calls Found
1800.01/1800.34 c LP solutions : 0.00 - 0
1800.01/1800.34 c pseudo solutions : 0.00 - 0
1800.01/1800.34 c feaspump : 0.00 0 0
1800.01/1800.34 c intshifting : 0.00 0 0
1800.01/1800.34 c oneopt : 0.02 7 2
1800.01/1800.34 c crossover : 0.23 1 1
1800.01/1800.34 c fracdiving : 57.40 36 0
1800.01/1800.34 c guideddiving : 56.44 37 0
1800.01/1800.34 c coefdiving : 63.36 38 157
1800.01/1800.34 c veclendiving : 72.87 68 79
1800.01/1800.34 c linesearchdiving : 77.59 83 22
1800.01/1800.34 c rootsoldiving : 13.17 61 0
1800.01/1800.34 c pscostdiving : 315.82 262 347
1800.01/1800.34 c simplerounding : 0.83 55481 39
1800.01/1800.34 c rounding : 9.82 10986 1
1800.01/1800.34 c shifting : 2.74 3216 1
1800.01/1800.34 c fixandinfer : 0.00 0 0
1800.01/1800.34 c intdiving : 0.00 0 0
1800.01/1800.34 c actconsdiving : 0.00 0 0
1800.01/1800.34 c objpscostdiving : 45.37 11 103
1800.01/1800.34 c octane : 0.00 0 0
1800.01/1800.34 c rens : 0.01 0 0
1800.01/1800.34 c rins : 0.00 0 0
1800.01/1800.34 c localbranching : 0.00 0 0
1800.01/1800.34 c mutation : 0.00 0 0
1800.01/1800.34 c dins : 0.00 0 0
1800.01/1800.34 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.34 c primal LP : 0.01 0 0 0.00 0.00
1800.01/1800.34 c dual LP : 923.26 70785 4357591 61.56 4719.79
1800.01/1800.34 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.34 c diving/probing LP: 684.50 88531 3853774 43.53 5630.06
1800.01/1800.34 c strong branching : 127.63 2777 545636 196.48 4275.14
1800.01/1800.34 c (at root node) : - 28 19189 685.32 -
1800.01/1800.34 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.34 c B&B Tree :
1800.01/1800.34 c number of runs : 1
1800.01/1800.34 c nodes : 53190
1800.01/1800.34 c nodes (total) : 53190
1800.01/1800.34 c nodes left : 21073
1800.01/1800.34 c max depth : 146
1800.01/1800.34 c max depth (total): 146
1800.01/1800.34 c backtracks : 7832 (14.7%)
1800.01/1800.34 c delayed cutoffs : 0
1800.01/1800.34 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.01/1800.34 c avg switch length: 7.07
1800.01/1800.34 c switching time : 2.03
1800.01/1800.34 c Solution :
1800.01/1800.34 c Solutions found : 752 (21 improvements)
1800.01/1800.34 c Primal Bound : +1.95000000000000e+02 (in run 1, after 8605 nodes, 520.97 seconds, depth 125, found by <crossover>)
1800.01/1800.34 c Dual Bound : +1.65805915460625e+02
1800.01/1800.34 c Gap : 17.61 %
1800.01/1800.34 c Root Dual Bound : +1.64303551212026e+02
1800.01/1800.37 c Time complete: 1800.08.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3731452-1338688346/watcher-3731452-1338688346 -o /tmp/evaluation-result-3731452-1338688346/solver-3731452-1338688346 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3731452-1338688346.opb
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 2.01 2.00 3/176 2083
/proc/meminfo: memFree=27337816/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=8952 CPUtime=0 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 1591 0 0 0 0 0 0 0 20 0 1 0 334959501 9166848 1543 33554432000 4194304 7823515 140735402828672 140735851773784 6883856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 2238 1543 354 887 0 1348 0
[startup+0.0645541 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 2083
/proc/meminfo: memFree=27337816/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=16356 CPUtime=0.05 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 3646 0 0 0 5 0 0 0 20 0 1 0 334959501 16748544 3244 33554432000 4194304 7823515 140735402828672 140735851773784 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 4089 3244 518 887 0 3199 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16356
[startup+0.100283 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 2083
/proc/meminfo: memFree=27337816/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=16548 CPUtime=0.09 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 3701 0 0 0 8 1 0 0 20 0 1 0 334959501 16945152 3299 33554432000 4194304 7823515 140735402828672 140735851773784 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 4137 3300 522 887 0 3247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16548
[startup+0.300222 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 2083
/proc/meminfo: memFree=27337816/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=17892 CPUtime=0.29 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 4032 0 0 0 28 1 0 0 20 0 1 0 334959501 18321408 3630 33554432000 4194304 7823515 140735402828672 140735851773784 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 4473 3630 523 887 0 3583 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17892
[startup+0.700225 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 2083
/proc/meminfo: memFree=27337816/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=19004 CPUtime=0.69 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 4383 0 0 0 68 1 0 0 20 0 1 0 334959501 19460096 3963 33554432000 4194304 7823515 140735402828672 140735402824008 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 4751 3963 559 887 0 3861 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19004
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2084
/proc/meminfo: memFree=27323780/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=20176 CPUtime=1.48 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 4692 0 0 0 147 1 0 0 20 0 1 0 334959501 20660224 4257 33554432000 4194304 7823515 140735402828672 140735402823816 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 5044 4257 559 887 0 4154 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20176
[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2084
/proc/meminfo: memFree=27321796/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=22940 CPUtime=3.09 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 5343 0 0 0 306 3 0 0 20 0 1 0 334959501 23490560 4907 33554432000 4194304 7823515 140735402828672 140735402823816 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 5735 4907 559 887 0 4845 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22940
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2084
/proc/meminfo: memFree=27318260/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=23964 CPUtime=6.29 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 5683 0 0 0 624 5 0 0 20 0 1 0 334959501 24539136 5247 33554432000 4194304 7823515 140735402828672 140735402823368 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 5991 5247 564 887 0 5101 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23964
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2084
/proc/meminfo: memFree=27317664/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=23964 CPUtime=12.69 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 5684 0 0 0 1263 6 0 0 20 0 1 0 334959501 24539136 5248 33554432000 4194304 7823515 140735402828672 140735402823368 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 5991 5248 565 887 0 5101 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23964
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2084
/proc/meminfo: memFree=27316472/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=23964 CPUtime=25.48 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 5690 0 0 0 2536 12 0 0 20 0 1 0 334959501 24539136 5590 33554432000 4194304 7823515 140735402828672 140735402823720 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 5991 5590 566 887 0 5101 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23964
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2084
/proc/meminfo: memFree=27316720/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=23964 CPUtime=51.08 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 5691 0 0 0 5085 23 0 0 20 0 1 0 334959501 24539136 5591 33554432000 4194304 7823515 140735402828672 140735402824120 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 5991 5591 567 887 0 5101 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23964
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2085
/proc/meminfo: memFree=27316224/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=23964 CPUtime=102.27 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 5696 0 0 0 10175 52 0 0 20 0 1 0 334959501 24539136 5596 33554432000 4194304 7823515 140735402828672 140735402824136 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 5991 5596 572 887 0 5101 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 23964
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2085
/proc/meminfo: memFree=27313868/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=24256 CPUtime=162.25 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 5772 0 0 0 16138 87 0 0 20 0 1 0 334959501 24838144 5672 33554432000 4194304 7823515 140735402828672 140735402824552 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 6064 5672 572 887 0 5174 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 24256
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2085
/proc/meminfo: memFree=27313180/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=24988 CPUtime=222.25 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 5953 0 0 0 22100 125 0 0 20 0 1 0 334959501 25587712 5866 33554432000 4194304 7823515 140735402828672 140735402824008 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 6247 5866 572 887 0 5357 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 24988
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2085
/proc/meminfo: memFree=27313180/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=24988 CPUtime=282.24 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 5953 0 0 0 28063 161 0 0 20 0 1 0 334959501 25587712 5866 33554432000 4194304 7823515 140735402828672 140735402824136 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 6247 5866 572 887 0 5357 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 24988
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2085
/proc/meminfo: memFree=27312312/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=25892 CPUtime=342.23 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 6179 0 0 0 34024 199 0 0 20 0 1 0 334959501 26513408 6092 33554432000 4194304 7823515 140735402828672 140735402823880 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 6473 6092 572 887 0 5583 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 25892
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2086
/proc/meminfo: memFree=27310512/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=27576 CPUtime=402.22 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 6601 0 0 0 39984 238 0 0 20 0 1 0 334959501 28237824 6513 33554432000 4194304 7823515 140735402828672 140735402824424 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 6894 6513 572 887 0 6004 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 27576
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2089
/proc/meminfo: memFree=27308440/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=28544 CPUtime=462.22 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 6843 0 0 0 45943 279 0 0 20 0 1 0 334959501 29229056 6755 33554432000 4194304 7823515 140735402828672 140735402824424 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 7136 6755 572 887 0 6246 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 28544
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2112
/proc/meminfo: memFree=27306564/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=28984 CPUtime=522.2 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 6906 0 0 0 51906 314 0 0 20 0 1 0 334959501 29679616 6818 33554432000 4194304 7823515 140735402828672 140735402824136 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 7246 6818 572 887 0 6356 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 28984
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2112
/proc/meminfo: memFree=27304864/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=29716 CPUtime=582.19 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 9168 0 0 0 57866 353 0 0 20 0 1 0 334959501 30429184 7057 33554432000 4194304 7823515 140735402828672 140735402824104 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 7429 7057 581 887 0 6539 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 29716
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 2113
/proc/meminfo: memFree=27301760/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=31224 CPUtime=882.15 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 9545 0 0 0 87671 544 0 0 20 0 1 0 334959501 31973376 7434 33554432000 4194304 7823515 140735402828672 140735402824008 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 7806 7434 581 887 0 6916 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 31224
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2113
/proc/meminfo: memFree=27300396/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=32696 CPUtime=942.14 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 9913 0 0 0 93632 582 0 0 20 0 1 0 334959501 33480704 7802 33554432000 4194304 7823515 140735402828672 140735402823000 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 8174 7802 581 887 0 7284 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 32696
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2114
/proc/meminfo: memFree=27300272/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=32852 CPUtime=1002.13 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 9934 0 0 0 99597 616 0 0 20 0 1 0 334959501 33640448 7823 33554432000 4194304 7823515 140735402828672 140735402824008 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 8213 7823 581 887 0 7323 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 32852
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2117
/proc/meminfo: memFree=27298944/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=33028 CPUtime=1062.12 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 10009 0 0 0 105556 656 0 0 20 0 1 0 334959501 33820672 7897 33554432000 4194304 7823515 140735402828672 140735402824584 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 8257 7897 581 887 0 7367 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 33028
[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2156
/proc/meminfo: memFree=27310884/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=33300 CPUtime=1122.11 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 10063 0 0 0 111521 690 0 0 20 0 1 0 334959501 34099200 7951 33554432000 4194304 7823515 140735402828672 140735402824008 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 8325 7951 581 887 0 7435 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 33300
[startup+1182.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 2156
/proc/meminfo: memFree=27311248/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=33704 CPUtime=1182.1 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 10167 0 0 0 117482 728 0 0 20 0 1 0 334959501 34512896 8055 33554432000 4194304 7823515 140735402828672 140735402824136 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 8426 8055 581 887 0 7536 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 33704
[startup+1242.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 2156
/proc/meminfo: memFree=27309016/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=34720 CPUtime=1242.09 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 10295 0 0 0 123444 765 0 0 20 0 1 0 334959501 35553280 8183 33554432000 4194304 7823515 140735402828672 140735402824008 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 8680 8183 581 887 0 7790 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 34720
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2157
/proc/meminfo: memFree=27305852/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=35680 CPUtime=1302.09 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 10660 0 0 0 129408 801 0 0 20 0 1 0 334959501 36536320 8548 33554432000 4194304 7823515 140735402828672 140735402825160 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 8920 8548 581 887 0 8030 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 35680
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2157
/proc/meminfo: memFree=27304856/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=36172 CPUtime=1362.07 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 10742 0 0 0 135369 838 0 0 20 0 1 0 334959501 37040128 8629 33554432000 4194304 7823515 140735402828672 140735402824360 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 9043 8629 581 887 0 8153 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 36172
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2157
/proc/meminfo: memFree=27304420/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=36496 CPUtime=1422.07 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 10832 0 0 0 141338 869 0 0 20 0 1 0 334959501 37371904 8719 33554432000 4194304 7823515 140735402828672 140735402824136 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 9124 8719 581 887 0 8234 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 36496
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2157
/proc/meminfo: memFree=27303552/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=37328 CPUtime=1482.06 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 11032 0 0 0 147302 904 0 0 20 0 1 0 334959501 38223872 8919 33554432000 4194304 7823515 140735402828672 140735402824424 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 9332 8919 581 887 0 8442 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 37328
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2157
/proc/meminfo: memFree=27300632/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=38256 CPUtime=1542.04 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 11297 0 0 0 153260 944 0 0 20 0 1 0 334959501 39174144 9183 33554432000 4194304 7823515 140735402828672 140735402824472 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 9564 9183 581 887 0 8674 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 38256
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2158
/proc/meminfo: memFree=27302308/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=38856 CPUtime=1602.04 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 11415 0 0 0 159225 979 0 0 20 0 1 0 334959501 39788544 9301 33554432000 4194304 7823515 140735402828672 140735402824008 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 9714 9301 581 887 0 8824 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 38856
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2161
/proc/meminfo: memFree=27300096/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=40188 CPUtime=1662.03 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 11747 0 0 0 165189 1014 0 0 20 0 1 0 334959501 41152512 9633 33554432000 4194304 7823515 140735402828672 140735402824472 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 10047 9633 581 887 0 9157 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 40188
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2161
/proc/meminfo: memFree=27299204/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=40692 CPUtime=1722.02 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 11889 0 0 0 171154 1048 0 0 20 0 1 0 334959501 41668608 9774 33554432000 4194304 7823515 140735402828672 140735402824424 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 10173 9774 581 887 0 9283 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 40692
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2161
/proc/meminfo: memFree=27298272/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=41348 CPUtime=1782.01 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 12060 0 0 0 177116 1085 0 0 20 0 1 0 334959501 42340352 9944 33554432000 4194304 7823515 140735402828672 140735402824424 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 10337 9944 581 887 0 9447 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 41348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2161
/proc/meminfo: memFree=27298396/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=41348 CPUtime=1800.01 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 12060 0 0 0 178907 1094 0 0 20 0 1 0 334959501 42340352 9944 33554432000 4194304 7823515 140735402828672 140735402824360 6211707 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 10337 9944 581 887 0 9447 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 41348
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2161
/proc/meminfo: memFree=27298396/32873844 swapFree=6608/6608
[pid=2083] ppid=2081 vsize=41348 CPUtime=1800.01 cores=0,2,4,6
/proc/2083/stat : 2083 (pbscip.linux.x8) R 2081 2083 301 0 -1 4202496 12060 0 0 0 178907 1094 0 0 20 0 1 0 334959501 42340352 9944 33554432000 4194304 7823515 140735402828672 140735402824360 6211707 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2083/statm: 10337 9944 581 887 0 9447 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 41348
Child status: 0
Real time (s): 1800.37
CPU time (s): 1800.09
CPU user time (s): 1789.14
CPU system time (s): 10.9503
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 41348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.14
system time used= 10.9503
maximum resident set size= 39784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12065
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= 16
involuntary context switches= 2015
runsolver used 3.04154 second user time and 8.18375 second system time
The end