0.05/0.07 c SCIP version 1.1.0.7
0.05/0.07 c LP-Solver Clp 1.8.2
0.05/0.07 c user parameter file <scip.set> not found - using default parameters
0.05/0.07 c read problem <HOME/instance-1868953-1245151823.opb>
0.05/0.07 c original problem has 558 variables (558 bin, 0 int, 0 impl, 0 cont) and 3551 constraints
0.05/0.09 c start presolving problem
0.05/0.09 c presolving:
0.09/0.11 c (round 1) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23412 impls, 0 clqs
0.09/0.16 c (round 2) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3460 upgd conss, 23412 impls, 0 clqs
0.09/0.18 c (round 3) 6 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3545 upgd conss, 23412 impls, 0 clqs
0.19/0.23 c (0.1s) probing: 101/552 (18.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.23 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.23 c presolving (4 rounds):
0.19/0.23 c 6 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.23 c 23412 implications, 0 cliques
0.19/0.23 c presolved problem has 552 variables (552 bin, 0 int, 0 impl, 0 cont) and 3545 constraints
0.19/0.23 c 3545 constraints of type <logicor>
0.19/0.23 c transformed objective value is always integral (scale: 1)
0.19/0.23 c Presolving Time: 0.14
0.19/0.24 c strange?!, PURESAT with obj
0.19/0.24 c -----------------------------------------------------------------------------------------------
0.19/0.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/memory = c 1620
0.19/0.24 c # maximal time in seconds to run
0.19/0.24 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.24 c limits/time = c 1791
0.19/0.24 c # frequency for displaying node information lines
0.19/0.24 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.24 c display/freq = c 10000
0.19/0.24 c -----------------------------------------------------------------------------------------------
0.19/0.24 c start solving problem
0.19/0.24 c
0.29/0.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.31 c 0.2s| 1 | 0 | 531 |6882k| 0 | 343 | 552 |3545 |3545 | 552 |3545 | 0 | 0 | 0 | 1.745000e+02 | -- | Inf
1.59/1.64 c 1.5s| 1 | 0 | 3362 |7039k| 0 | 336 | 552 |3545 |3545 | 552 |3555 | 10 | 0 | 0 | 1.780000e+02 | -- | Inf
1.69/1.79 c 1.7s| 1 | 0 | 3402 |7057k| 0 | 334 | 552 |3545 |3545 | 552 |3561 | 16 | 0 | 0 | 1.790000e+02 | -- | Inf
1.89/1.97 c 1.8s| 1 | 0 | 3415 |7078k| 0 | 332 | 552 |3545 |3545 | 552 |3566 | 21 | 0 | 0 | 1.800000e+02 | -- | Inf
2.39/2.41 c 2.3s| 1 | 0 | 3512 |7152k| 0 | 332 | 552 |3545 |3545 | 552 |3568 | 23 | 0 | 0 | 1.800000e+02 | -- | Inf
2.69/2.70 c 2.5s| 1 | 0 | 3573 |7293k| 0 | 331 | 552 |3545 |3545 | 552 |3574 | 29 | 0 | 0 | 1.805000e+02 | -- | Inf
2.99/3.04 c 2.9s| 1 | 0 | 3743 |7334k| 0 | 329 | 552 |3545 |3545 | 552 |3579 | 34 | 0 | 0 | 1.815000e+02 | -- | Inf
3.29/3.31 c 3.1s| 1 | 0 | 3839 |7372k| 0 | 327 | 552 |3545 |3545 | 552 |3585 | 40 | 0 | 0 | 1.825000e+02 | -- | Inf
3.58/3.64 c 3.5s| 1 | 0 | 3867 |7533k| 0 | 326 | 552 |3545 |3545 | 552 |3590 | 45 | 0 | 0 | 1.830000e+02 | -- | Inf
3.98/4.07 c 3.9s| 1 | 0 | 3979 |7679k| 0 | 325 | 552 |3545 |3545 | 552 |3594 | 49 | 0 | 0 | 1.835000e+02 | -- | Inf
4.58/4.68 c 4.5s| 1 | 0 | 4072 |7931k| 0 | 324 | 552 |3545 |3545 | 552 |3597 | 52 | 0 | 0 | 1.840000e+02 | -- | Inf
4.98/5.08 c 4.9s| 1 | 0 | 4298 |8173k| 0 | 322 | 552 |3545 |3545 | 552 |3602 | 57 | 0 | 0 | 1.850000e+02 | -- | Inf
5.39/5.44 c 5.3s| 1 | 0 | 4451 |8340k| 0 | 320 | 552 |3545 |3545 | 552 |3608 | 63 | 0 | 0 | 1.860000e+02 | -- | Inf
5.98/6.04 c 5.9s| 1 | 0 | 4563 |8601k| 0 | 320 | 552 |3545 |3545 | 552 |3610 | 65 | 0 | 0 | 1.860000e+02 | -- | Inf
6.78/6.82 c 6.6s| 1 | 0 | 4694 |8607k| 0 | 320 | 552 |3545 |3545 | 552 |3600 | 66 | 0 | 0 | 1.860000e+02 | -- | Inf
7.18/7.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.18/7.26 c 7.1s| 1 | 0 | 4832 |8787k| 0 | 320 | 552 |3545 |3545 | 552 |3605 | 71 | 0 | 0 | 1.860000e+02 | -- | Inf
7.69/7.76 c 7.6s| 1 | 0 | 4946 |8939k| 0 | 320 | 552 |3545 |3545 | 552 |3608 | 74 | 0 | 0 | 1.860000e+02 | -- | Inf
8.08/8.16 c 8.0s| 1 | 0 | 5139 |9052k| 0 | 327 | 552 |3545 |3545 | 552 |3612 | 78 | 0 | 0 | 1.860000e+02 | -- | Inf
9.89/9.95 c 9.7s| 1 | 2 | 5139 |9052k| 0 | 327 | 552 |3545 |3545 | 552 |3612 | 78 | 0 | 17 | 1.860000e+02 | -- | Inf
62.36/62.48 o 275
62.36/62.48 c R62.0s| 170 | 48 | 31289 |9434k| 20 | 52 | 552 |3764 | 890 | 552 |3592 | 78 | 235 | 689 | 1.972269e+02 | 2.750000e+02 | 39.43%
62.36/62.48 o 273
62.36/62.48 c k62.0s| 170 | 50 | 31289 |9451k| 20 | 52 | 552 |3764 | 890 | 552 |3592 | 78 | 235 | 689 | 1.972269e+02 | 2.730000e+02 | 38.42%
62.46/62.50 o 270
62.46/62.50 c *62.1s| 172 | 50 | 31306 |9457k| 20 | - | 552 |3764 | 577 | 552 |3592 | 78 | 235 | 689 | 1.972269e+02 | 2.700000e+02 | 36.90%
85.85/85.90 o 269
85.85/85.90 c *85.3s| 705 | 152 | 78126 | 10M| 27 | - | 552 |4112 | 529 | 552 |3592 | 78 | 895 | 835 | 1.992269e+02 | 2.690000e+02 | 35.02%
93.95/94.05 o 268
93.95/94.05 c R93.4s| 808 | 177 | 94207 | 10M| 27 | 78 | 552 |4108 | 767 | 552 |3592 | 78 |1011 | 876 | 2.042000e+02 | 2.680000e+02 | 31.24%
93.95/94.06 o 262
93.95/94.06 c k93.5s| 808 | 172 | 94207 | 10M| 27 | 78 | 552 |4108 | 767 | 552 |3592 | 78 |1011 | 876 | 2.042000e+02 | 2.620000e+02 | 28.31%
215.21/215.38 o 261
215.21/215.38 c R 214s| 3371 | 376 |370024 | 11M| 30 | - | 552 |4345 | 939 | 552 |3592 | 78 |3915 |1417 | 2.164443e+02 | 2.610000e+02 | 20.59%
338.47/338.65 c
338.47/338.65 c SCIP Status : problem is solved [optimal solution found]
338.47/338.65 c Solving Time (sec) : 337.05
338.47/338.65 c Solving Nodes : 7209
338.47/338.65 c Primal Bound : +2.61000000000000e+02 (12 solutions)
338.47/338.65 c Dual Bound : +2.61000000000000e+02
338.47/338.65 c Gap : 0.00 %
338.47/338.66 c NODE 7209
338.47/338.66 c DUAL BOUND 261
338.47/338.66 c PRIMAL BOUND 261
338.47/338.66 c GAP 0
338.47/338.66 s OPTIMUM FOUND
338.47/338.66 v x558 -x557 -x556 x555 x554 -x553 -x552 x551 x550 -x549 x548 -x547 x546 -x545 -x544 x543 x542 -x541 x540 -x539 -x538 x537 x536 -x535
338.47/338.66 v -x534 x533 x532 -x531 x530 -x529 x528 -x527 -x526 x525 x524 -x523 x522 -x521 x520 -x519 -x518 x517 x516 -x515 -x514 x513
338.47/338.66 v x512 -x511 x510 -x509 -x508 x507 x506 -x505 x504 -x503 -x502 x501 x500 -x499 x498 -x497 -x496 x495 x494 -x493 x492 -x491 -x490
338.47/338.66 v x489 x488 -x487 x486 -x485 x484 -x483 -x482 x481 x480 -x479 -x478 x477 x476 -x475 x474 -x473 -x472 x471 x470 -x469 x468 -x467
338.47/338.66 v -x466 x465 x464 -x463 -x462 x461 x460 -x459 x458 -x457 x456 -x455 -x454 x453 x452 -x451 x450 -x449 -x448 x447 x446 -x445
338.47/338.66 v x444 -x443 -x442 x441 x440 -x439 x438 -x437 -x436 x435 x434 -x433 -x432 x431 x430 -x429 x428 -x427 -x426 x425 x424 -x423 x422
338.47/338.66 v -x421 x420 -x419 -x418 x417 x416 -x415 x414 -x413 -x412 x411 x410 -x409 x408 -x407 -x406 x405 x404 -x403 x402 -x401 -x400 x399
338.47/338.66 v x398 -x397 x396 -x395 -x394 x393 x392 -x391 x390 -x389 -x388 x387 x386 -x385 -x384 x383 -x382 x381 -x380 x379 x378 -x377 x376
338.47/338.66 v -x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363 -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354
338.47/338.66 v x353 x352 -x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343 -x342 x341 -x340 x339 -x338 x337 -x336 x335 -x334 -x333 -x332 x331
338.47/338.66 v -x330 -x329 -x328 x327 -x326 -x325 -x324 x323 -x322 x321 -x320 x319 -x318 x317 -x316 x315 x314 -x313 -x312 x311 -x310 x309
338.47/338.66 v -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295 -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286
338.47/338.66 v x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 -x276 x275 -x274 x273 -x272 x271 -x270 x269 -x268 x267 x266 -x265 -x264 x263
338.47/338.66 v x262 -x261 -x260 x259 -x258 x257 -x256 x255 x254 -x253 -x252 x251 -x250 x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241
338.47/338.66 v -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 x227 -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218
338.47/338.66 v x217 -x216 x215 -x214 x213 -x212 x211 -x210 x209 x208 -x207 -x206 x205 -x204 x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195
338.47/338.66 v -x194 x193 -x192 x191 -x190 x189 -x188 x187 -x186 x185 -x184 x183 -x182 x181 -x180 x179 -x178 x177 -x176 x175 -x174 x173 -x172
338.47/338.66 v x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150
338.47/338.66 v x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 x135 x134 -x133 -x132 x131 -x130 x129 -x128 x127
338.47/338.66 v x126 -x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 x111 -x110 -x109 -x108 x107 -x106 x105 -x104
338.47/338.66 v x103 -x102 -x101 -x100 -x99 -x98 x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 x81 -x80 x79
338.47/338.66 v -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 x65 x64 -x63 -x62 x61 -x60 -x59 -x58 x57 -x56 x55 -x54 x53 -x52
338.47/338.66 v x51 -x50 x49 -x48 x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28 x27 -x26 -x25
338.47/338.66 v -x24 x23 -x22 -x21 -x20 x19 -x18 x17 x16 -x15 -x14 x13 -x12 x11 -x10 x9 -x8 x7 x6 -x5 -x4 x3 -x2 -x1
338.47/338.66 c SCIP Status : problem is solved [optimal solution found]
338.47/338.66 c Solving Time : 337.05
338.47/338.66 c Original Problem :
338.47/338.66 c Problem name : HOME/instance-1868953-1245151823.opb
338.47/338.66 c Variables : 558 (558 binary, 0 integer, 0 implicit integer, 0 continuous)
338.47/338.66 c Constraints : 3551 initial, 3551 maximal
338.47/338.66 c Presolved Problem :
338.47/338.66 c Problem name : t_HOME/instance-1868953-1245151823.opb
338.47/338.66 c Variables : 552 (552 binary, 0 integer, 0 implicit integer, 0 continuous)
338.47/338.66 c Constraints : 3545 initial, 4426 maximal
338.47/338.66 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
338.47/338.66 c trivial : 0.00 0 0 0 0 0 0 0 0
338.47/338.66 c dualfix : 0.00 0 0 0 0 0 0 0 0
338.47/338.66 c boundshift : 0.00 0 0 0 0 0 0 0 0
338.47/338.66 c inttobinary : 0.00 0 0 0 0 0 0 0 0
338.47/338.66 c implics : 0.00 0 0 0 0 0 0 0 0
338.47/338.66 c probing : 0.04 0 0 0 0 0 0 0 0
338.47/338.66 c linear : 0.05 0 6 0 0 0 6 0 0
338.47/338.66 c logicor : 0.05 0 0 0 0 0 0 0 0
338.47/338.66 c root node : - 1 - - 1 - - - -
338.47/338.66 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
338.47/338.66 c integral : 0 0 0 4087 0 14 338 0 0 7928
338.47/338.66 c logicor : 3545+ 17 62890 2 0 2646 379317 0 0 0
338.47/338.66 c countsols : 0 0 0 2 0 0 0 0 0 0
338.47/338.66 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
338.47/338.66 c integral : 110.43 0.00 0.00 110.43 0.00
338.47/338.66 c logicor : 4.75 0.01 4.74 0.00 0.00
338.47/338.66 c countsols : 0.00 0.00 0.00 0.00 0.00
338.47/338.66 c Propagators : Time Calls Cutoffs DomReds
338.47/338.66 c rootredcost : 0.01 5 0 0
338.47/338.66 c pseudoobj : 1.71 67598 96 250
338.47/338.66 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
338.47/338.66 c propagation : 0.44 2646 2642 11697 35.0 387 25.9 -
338.47/338.66 c infeasible LP : 0.23 1461 0 0 0.0 0 0.0 0
338.47/338.66 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
338.47/338.66 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
338.47/338.66 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
338.47/338.66 c applied globally : - - - 7009 21.1 - - -
338.47/338.66 c applied locally : - - - 1 62.0 - - -
338.47/338.66 c Separators : Time Calls Cutoffs DomReds Cuts Conss
338.47/338.66 c cut pool : 0.00 16 - - 0 - (maximal pool size: 697)
338.47/338.66 c redcost : 0.14 4224 0 172 0 0
338.47/338.66 c impliedbounds : 0.00 17 0 0 0 0
338.47/338.66 c intobj : 0.00 0 0 0 0 0
338.47/338.66 c gomory : 2.54 17 0 0 4197 0
338.47/338.66 c strongcg : 1.96 17 0 0 7621 0
338.47/338.66 c cmir : 0.31 10 0 0 0 0
338.47/338.66 c flowcover : 0.19 10 0 0 0 0
338.47/338.66 c clique : 0.01 1 0 0 0 0
338.47/338.66 c zerohalf : 0.00 0 0 0 0 0
338.47/338.66 c mcf : 0.01 1 0 0 0 0
338.47/338.66 c Pricers : Time Calls Vars
338.47/338.66 c problem variables: 0.00 0 0
338.47/338.66 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
338.47/338.66 c relpscost : 110.42 4085 14 338 0 0 7928
338.47/338.66 c pscost : 0.00 0 0 0 0 0 0
338.47/338.66 c inference : 0.00 0 0 0 0 0 0
338.47/338.66 c mostinf : 0.00 0 0 0 0 0 0
338.47/338.66 c leastinf : 0.00 0 0 0 0 0 0
338.47/338.66 c fullstrong : 0.00 0 0 0 0 0 0
338.47/338.66 c allfullstrong : 0.00 0 0 0 0 0 0
338.47/338.66 c random : 0.00 0 0 0 0 0 0
338.47/338.66 c Primal Heuristics : Time Calls Found
338.47/338.66 c LP solutions : 0.01 - 2
338.47/338.66 c pseudo solutions : 0.00 - 0
338.47/338.66 c oneopt : 0.04 5 2
338.47/338.66 c rootsoldiving : 3.34 12 1
338.47/338.66 c linesearchdiving : 2.54 24 0
338.47/338.66 c crossover : 0.37 8 2
338.47/338.66 c pscostdiving : 2.85 25 0
338.47/338.66 c fracdiving : 4.96 25 0
338.47/338.66 c veclendiving : 2.36 25 0
338.47/338.66 c guideddiving : 5.13 25 0
338.47/338.66 c coefdiving : 3.70 25 0
338.47/338.66 c simplerounding : 0.01 0 0
338.47/338.66 c rounding : 2.26 3712 3
338.47/338.66 c shifting : 0.50 333 1
338.47/338.66 c intshifting : 0.00 0 0
338.47/338.66 c fixandinfer : 0.00 0 0
338.47/338.66 c feaspump : 1.13 1 0
338.47/338.66 c intdiving : 0.00 0 0
338.47/338.66 c actconsdiving : 0.00 0 0
338.47/338.66 c objpscostdiving : 5.35 13 1
338.47/338.66 c octane : 0.00 0 0
338.47/338.66 c rens : 0.01 0 0
338.47/338.66 c rins : 0.00 0 0
338.47/338.66 c localbranching : 0.00 0 0
338.47/338.66 c mutation : 0.00 0 0
338.47/338.66 c dins : 0.00 0 0
338.47/338.66 c LP : Time Calls Iterations Iter/call Iter/sec
338.47/338.66 c primal LP : 0.08 0 0 0.00 0.00
338.47/338.66 c dual LP : 172.16 5491 610974 111.27 3548.87
338.47/338.66 c barrier LP : 0.00 0 0 0.00 -
338.47/338.66 c diving/probing LP: 28.58 2320 64916 27.98 2271.38
338.47/338.66 c strong branching : 109.79 2000 320183 160.09 2916.32
338.47/338.66 c (at root node) : - 17 2920 171.76 -
338.47/338.66 c conflict analysis: 0.00 0 0 0.00 -
338.47/338.66 c B&B Tree :
338.47/338.66 c number of runs : 1
338.47/338.66 c nodes : 7209
338.47/338.66 c nodes (total) : 7209
338.47/338.66 c nodes left : 0
338.47/338.66 c max depth : 37
338.47/338.66 c max depth (total): 37
338.47/338.66 c backtracks : 1892 (26.2%)
338.47/338.66 c delayed cutoffs : 708
338.47/338.66 c repropagations : 4438 (82554 domain reductions, 560 cutoffs)
338.47/338.66 c avg switch length: 5.77
338.47/338.66 c switching time : 2.76
338.47/338.66 c Solution :
338.47/338.66 c Solutions found : 12 (7 improvements)
338.47/338.66 c Primal Bound : +2.61000000000000e+02 (in run 1, after 3371 nodes, 214.30 seconds, depth 28, found by <rounding>)
338.47/338.66 c Dual Bound : +2.61000000000000e+02
338.47/338.66 c Gap : 0.00 %
338.47/338.66 c Root Dual Bound : +1.86000000000000e+02
338.47/338.68 c Time complete: 338.55.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868953-1245151823/watcher-1868953-1245151823 -o /tmp/evaluation-result-1868953-1245151823/solver-1868953-1245151823 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868953-1245151823.opb
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 6290
/proc/meminfo: memFree=1892920/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=5812 CPUtime=0
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 182778717 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 1453 512 341 1256 0 192 0
[startup+0.0612871 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 6290
/proc/meminfo: memFree=1892920/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=12548 CPUtime=0.05
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 2100 0 0 0 5 0 0 0 18 0 1 0 182778717 12849152 2084 1992294400 4194304 9342243 548682068736 18446744073709551615 8247732 0 0 4096 0 0 0 0 17 1 0 0
/proc/6290/statm: 3137 2084 378 1256 0 1876 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12548
[startup+0.101294 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 6290
/proc/meminfo: memFree=1892920/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=18944 CPUtime=0.09
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 3902 0 0 0 8 1 0 0 18 0 1 0 182778717 19398656 3532 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 4736 3532 468 1256 0 3475 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18944
[startup+0.301328 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 6290
/proc/meminfo: memFree=1892920/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=32540 CPUtime=0.29
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 6801 0 0 0 26 3 0 0 19 0 1 0 182778717 33320960 6414 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 8135 6414 613 1256 0 6874 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32540
[startup+0.701397 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 6290
/proc/meminfo: memFree=1892920/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=33984 CPUtime=0.69
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 7241 0 0 0 65 4 0 0 23 0 1 0 182778717 34799616 6853 1992294400 4194304 9342243 548682068736 18446744073709551615 6018122 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 8496 6853 640 1256 0 7235 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33984
[startup+1.50154 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 6291
/proc/meminfo: memFree=1867632/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=34184 CPUtime=1.49
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 7390 0 0 0 145 4 0 0 25 0 1 0 182778717 35004416 7002 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 8546 7002 650 1256 0 7285 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34184
[startup+3.10182 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 6291
/proc/meminfo: memFree=1866992/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=37272 CPUtime=3.09
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 8163 0 0 0 301 8 0 0 25 0 1 0 182778717 38166528 7390 1992294400 4194304 9342243 548682068736 18446744073709551615 4338438 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6290/statm: 9318 7390 668 1256 0 8057 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37272
[startup+6.30136 s]
/proc/loadavg: 0.92 0.95 0.98 2/65 6291
/proc/meminfo: memFree=1860528/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=42092 CPUtime=6.28
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 9744 0 0 0 617 11 0 0 25 0 1 0 182778717 43102208 8639 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 10523 8639 668 1256 0 9262 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42092
[startup+12.7015 s]
/proc/loadavg: 0.93 0.95 0.98 2/65 6291
/proc/meminfo: memFree=1858416/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=43056 CPUtime=12.68
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 13035 0 0 0 1254 14 0 0 25 0 1 0 182778717 44089344 9218 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 10764 9218 679 1256 0 9503 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 43056
[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.98 2/65 6291
/proc/meminfo: memFree=1857904/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=45696 CPUtime=25.48
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 18921 0 0 0 2528 20 0 0 25 0 1 0 182778717 46792704 9343 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 11424 9343 679 1256 0 10163 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45696
[startup+51.1011 s]
/proc/loadavg: 0.96 0.96 0.98 3/65 6291
/proc/meminfo: memFree=1857520/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=46320 CPUtime=51.06
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 32194 0 0 0 5077 29 0 0 25 0 1 0 182778717 47431680 9471 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 11580 9471 683 1256 0 10319 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 46320
[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.98 2/65 6291
/proc/meminfo: memFree=1843248/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=57832 CPUtime=102.25
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 48169 0 0 0 10172 53 0 0 25 0 1 0 182778717 59219968 13052 1992294400 4194304 9342243 548682068736 18446744073709551615 6896274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 14458 13052 703 1256 0 13197 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 57832
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6291
/proc/meminfo: memFree=1842864/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=57832 CPUtime=162.22
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 48260 0 0 0 16149 73 0 0 25 0 1 0 182778717 59219968 13143 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 14458 13143 703 1256 0 13197 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 57832
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6291
/proc/meminfo: memFree=1840304/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=58900 CPUtime=222.21
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 48891 0 0 0 22125 96 0 0 25 0 1 0 182778717 60313600 13774 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 14725 13774 703 1256 0 13464 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 58900
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6291
/proc/meminfo: memFree=1840176/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=58900 CPUtime=282.19
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 48904 0 0 0 28101 118 0 0 25 0 1 0 182778717 60313600 13787 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 14725 13787 703 1256 0 13464 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 58900
Solver just ended. Dumping a history of the last processes samples
[startup+307.101 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6291
/proc/meminfo: memFree=1841392/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=57364 CPUtime=306.98
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 49500 0 0 0 30568 130 0 0 25 0 1 0 182778717 58740736 13435 1992294400 4194304 9342243 548682068736 18446744073709551615 6238480 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 14341 13435 703 1256 0 13080 0
Current children cumulated CPU time (s) 306.98
Current children cumulated vsize (KiB) 57364
[startup+319.902 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6291
/proc/meminfo: memFree=1841392/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=57364 CPUtime=319.77
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 49500 0 0 0 31842 135 0 0 25 0 1 0 182778717 58740736 13435 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 14341 13435 703 1256 0 13080 0
Current children cumulated CPU time (s) 319.77
Current children cumulated vsize (KiB) 57364
[startup+326.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6291
/proc/meminfo: memFree=1841392/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=57364 CPUtime=326.17
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 49500 0 0 0 32480 137 0 0 25 0 1 0 182778717 58740736 13435 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 14341 13435 703 1256 0 13080 0
Current children cumulated CPU time (s) 326.17
Current children cumulated vsize (KiB) 57364
[startup+332.702 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6291
/proc/meminfo: memFree=1841392/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=57364 CPUtime=332.57
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 49500 0 0 0 33118 139 0 0 25 0 1 0 182778717 58740736 13435 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 14341 13435 703 1256 0 13080 0
Current children cumulated CPU time (s) 332.57
Current children cumulated vsize (KiB) 57364
[startup+335.901 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6291
/proc/meminfo: memFree=1841392/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=57364 CPUtime=335.76
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 49500 0 0 0 33436 140 0 0 25 0 1 0 182778717 58740736 13435 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 14341 13435 703 1256 0 13080 0
Current children cumulated CPU time (s) 335.76
Current children cumulated vsize (KiB) 57364
[startup+337.502 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6291
/proc/meminfo: memFree=1841392/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=57364 CPUtime=337.37
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 49500 0 0 0 33596 141 0 0 25 0 1 0 182778717 58740736 13435 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 14341 13435 703 1256 0 13080 0
Current children cumulated CPU time (s) 337.37
Current children cumulated vsize (KiB) 57364
[startup+338.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6291
/proc/meminfo: memFree=1841392/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=57364 CPUtime=338.17
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 49500 0 0 0 33676 141 0 0 25 0 1 0 182778717 58740736 13435 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 14341 13435 703 1256 0 13080 0
Current children cumulated CPU time (s) 338.17
Current children cumulated vsize (KiB) 57364
[startup+338.502 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6291
/proc/meminfo: memFree=1841392/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=57364 CPUtime=338.37
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 49500 0 0 0 33696 141 0 0 25 0 1 0 182778717 58740736 13435 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 14341 13435 703 1256 0 13080 0
Current children cumulated CPU time (s) 338.37
Current children cumulated vsize (KiB) 57364
[startup+338.602 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 6291
/proc/meminfo: memFree=1841392/2055920 swapFree=4181248/4192956
[pid=6290] ppid=6288 vsize=57364 CPUtime=338.47
/proc/6290/stat : 6290 (pbscip.linux.x8) R 6288 6290 5946 0 -1 4194304 49500 0 0 0 33706 141 0 0 25 0 1 0 182778717 58740736 13435 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6290/statm: 14341 13435 703 1256 0 13080 0
Current children cumulated CPU time (s) 338.47
Current children cumulated vsize (KiB) 57364
Child status: 0
Real time (s): 338.69
CPU time (s): 338.565
CPU user time (s): 337.14
CPU system time (s): 1.42478
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (KiB): 58900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 337.14
system time used= 1.42478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49504
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= 438
runsolver used 0.276957 second user time and 0.753885 second system time
The end