0.03/0.05 c SCIP version 1.1.0.7
0.03/0.05 c LP-Solver Clp 1.8.2
0.03/0.05 c user parameter file <scip.set> not found - using default parameters
0.03/0.05 c read problem <HOME/instance-1869157-1245161177.opb>
0.03/0.05 c original problem has 522 variables (522 bin, 0 int, 0 impl, 0 cont) and 2819 constraints
0.03/0.07 c start presolving problem
0.03/0.07 c presolving:
0.09/0.13 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2750 upgd conss, 18954 impls, 0 clqs
0.09/0.15 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2819 upgd conss, 18954 impls, 0 clqs
0.09/0.19 c (0.1s) probing: 101/522 (19.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (3 rounds):
0.09/0.19 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 18954 implications, 0 cliques
0.09/0.19 c presolved problem has 522 variables (522 bin, 0 int, 0 impl, 0 cont) and 2819 constraints
0.09/0.19 c 2819 constraints of type <logicor>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.11
0.09/0.19 c strange?!, PURESAT with obj
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = c 1620
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = c 1791
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = c 10000
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving problem
0.09/0.19 c
0.19/0.26 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.26 c 0.2s| 1 | 0 | 599 |5565k| 0 | 403 | 522 |2819 |2819 | 522 |2819 | 0 | 0 | 0 | 1.594736e+02 | -- | Inf
1.49/1.59 c 1.5s| 1 | 0 | 3913 |5996k| 0 | 313 | 522 |2819 |2819 | 522 |2828 | 9 | 0 | 0 | 1.625000e+02 | -- | Inf
1.69/1.72 c 1.6s| 1 | 0 | 3928 |6151k| 0 | 310 | 522 |2819 |2819 | 522 |2834 | 15 | 0 | 0 | 1.640000e+02 | -- | Inf
1.79/1.86 c 1.8s| 1 | 0 | 3933 |6280k| 0 | 308 | 522 |2819 |2819 | 522 |2838 | 19 | 0 | 0 | 1.650000e+02 | -- | Inf
1.99/2.00 c 1.9s| 1 | 0 | 3938 |6388k| 0 | 308 | 522 |2819 |2819 | 522 |2841 | 22 | 0 | 0 | 1.650000e+02 | -- | Inf
2.10/2.15 c 2.0s| 1 | 0 | 3967 |6505k| 0 | 311 | 522 |2819 |2819 | 522 |2844 | 25 | 0 | 0 | 1.650000e+02 | -- | Inf
2.29/2.32 c 2.2s| 1 | 0 | 4038 |6614k| 0 | 307 | 522 |2819 |2819 | 522 |2850 | 31 | 0 | 0 | 1.655000e+02 | -- | Inf
2.49/2.51 c 2.4s| 1 | 0 | 4164 |6724k| 0 | 314 | 522 |2819 |2819 | 522 |2857 | 38 | 0 | 0 | 1.670000e+02 | -- | Inf
2.59/2.67 c 2.5s| 1 | 0 | 4218 |6765k| 0 | 302 | 522 |2819 |2819 | 522 |2863 | 44 | 0 | 0 | 1.680000e+02 | -- | Inf
2.89/2.91 c 2.8s| 1 | 0 | 4384 |6905k| 0 | 302 | 522 |2819 |2819 | 522 |2869 | 50 | 0 | 0 | 1.685000e+02 | -- | Inf
3.09/3.15 c 3.0s| 1 | 0 | 4471 |7048k| 0 | 301 | 522 |2819 |2819 | 522 |2875 | 56 | 0 | 0 | 1.692500e+02 | -- | Inf
3.39/3.42 c 3.3s| 1 | 0 | 4672 |7202k| 0 | 308 | 522 |2819 |2819 | 522 |2881 | 62 | 0 | 0 | 1.705000e+02 | -- | Inf
3.59/3.69 c 3.5s| 1 | 0 | 4741 |7375k| 0 | 299 | 522 |2819 |2819 | 522 |2887 | 68 | 0 | 0 | 1.710000e+02 | -- | Inf
3.99/4.07 c 3.9s| 1 | 0 | 4996 |7565k| 0 | 298 | 522 |2819 |2819 | 522 |2894 | 75 | 0 | 0 | 1.712500e+02 | -- | Inf
4.49/4.59 c 4.5s| 1 | 0 | 5405 |7691k| 0 | 337 | 522 |2819 |2819 | 522 |2892 | 81 | 0 | 0 | 1.720000e+02 | -- | Inf
5.50/5.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.50/5.52 c 5.4s| 1 | 0 | 5901 |7791k| 0 | 333 | 522 |2819 |2819 | 522 |2897 | 86 | 0 | 0 | 1.720833e+02 | -- | Inf
5.79/5.80 c 5.7s| 1 | 0 | 6228 |7867k| 0 | 329 | 522 |2819 |2819 | 522 |2903 | 92 | 0 | 0 | 1.727500e+02 | -- | Inf
6.19/6.29 c 6.1s| 1 | 0 | 6531 |7958k| 0 | 321 | 522 |2819 |2819 | 522 |2908 | 97 | 0 | 0 | 1.735000e+02 | -- | Inf
6.79/6.87 c 6.7s| 1 | 0 | 6873 |8138k| 0 | 330 | 522 |2819 |2819 | 522 |2914 | 103 | 0 | 0 | 1.740000e+02 | -- | Inf
7.99/8.05 c 7.9s| 1 | 0 | 7448 |8352k| 0 | 338 | 522 |2819 |2819 | 522 |2918 | 107 | 0 | 0 | 1.740000e+02 | -- | Inf
9.09/9.12 c 8.9s| 1 | 0 | 8060 |8452k| 0 | 339 | 522 |2819 |2819 | 522 |2904 | 110 | 0 | 0 | 1.740000e+02 | -- | Inf
13.20/13.29 c 13.1s| 1 | 2 | 8060 |8452k| 0 | 339 | 522 |2819 |2819 | 522 |2904 | 110 | 0 | 24 | 1.740000e+02 | -- | Inf
46.17/46.24 o 259
46.17/46.24 c R45.9s| 22 | 11 | 16750 |8553k| 9 | 31 | 522 |2832 |1743 | 522 |2874 | 110 | 13 | 441 | 1.822488e+02 | 2.590000e+02 | 42.11%
46.26/46.33 o 258
46.26/46.33 c R46.0s| 22 | 11 | 16759 |8560k| 9 | 7 | 522 |2832 |1664 | 522 |2874 | 110 | 13 | 459 | 1.822488e+02 | 2.580000e+02 | 41.56%
46.26/46.34 o 255
46.26/46.34 c k46.0s| 22 | 13 | 16759 |8574k| 9 | 7 | 522 |2832 |1664 | 522 |2874 | 110 | 13 | 461 | 1.822488e+02 | 2.550000e+02 | 39.92%
46.26/46.35 o 255
46.26/46.35 c s46.0s| 23 | 12 | 16763 |8576k| 10 | 5 | 522 |2832 |1577 | 522 |2874 | 110 | 13 | 461 | 1.822488e+02 | 2.550000e+02 | 39.92%
46.26/46.37 o 254
46.26/46.37 c *46.0s| 23 | 11 | 16764 |8585k| 10 | - | 522 |2832 |1428 | 522 |2874 | 110 | 13 | 466 | 1.822488e+02 | 2.540000e+02 | 39.37%
70.46/70.55 o 253
70.46/70.55 c R70.1s| 299 | 70 | 49454 |9002k| 23 | 38 | 522 |3106 | 862 | 522 |2874 | 110 | 337 | 750 | 1.846867e+02 | 2.530000e+02 | 36.99%
119.55/119.63 o 252
119.55/119.63 c R 119s| 1630 | 139 |172470 |9621k| 35 | - | 522 |3495 | 405 | 522 |2874 | 110 |2011 |1144 | 1.920348e+02 | 2.520000e+02 | 31.23%
140.34/140.46 o 251
140.34/140.46 c R 139s| 2091 | 146 |226372 |9623k| 35 | 17 | 522 |3500 | 568 | 522 |2874 | 110 |2653 |1282 | 1.943333e+02 | 2.510000e+02 | 29.16%
140.34/140.46 o 244
140.34/140.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.34/140.46 c k 139s| 2091 | 145 |226372 |9630k| 35 | 17 | 522 |3500 | 568 | 522 |2874 | 110 |2653 |1282 | 1.943333e+02 | 2.440000e+02 | 25.56%
184.43/184.56 c
184.43/184.56 c SCIP Status : problem is solved [optimal solution found]
184.43/184.56 c Solving Time (sec) : 182.91
184.43/184.56 c Solving Nodes : 3436
184.43/184.56 c Primal Bound : +2.44000000000000e+02 (12 solutions)
184.43/184.56 c Dual Bound : +2.44000000000000e+02
184.43/184.56 c Gap : 0.00 %
184.43/184.57 c NODE 3436
184.43/184.57 c DUAL BOUND 244
184.43/184.57 c PRIMAL BOUND 244
184.43/184.57 c GAP 0
184.43/184.57 s OPTIMUM FOUND
184.43/184.57 v x522 -x521 -x520 x519 x518 -x517 -x516 x515 x514 -x513 x512 -x511 x510 -x509 x508 -x507 -x506 x505 -x504 x503 x502 -x501 x500 -x499
184.43/184.57 v -x498 x497 x496 -x495 x494 -x493 x492 -x491 x490 -x489 -x488 x487 x486 -x485 x484 -x483 -x482 x481 x480 -x479 x478 -x477
184.43/184.57 v -x476 x475 x474 -x473 x472 -x471 -x470 x469 x468 -x467 x466 -x465 -x464 x463 -x462 x461 x460 -x459 -x458 -x457 x456 -x455 x454
184.43/184.57 v -x453 -x452 x451 -x450 x449 x448 -x447 x446 -x445 -x444 x443 x442 -x441 x440 -x439 x438 -x437 x436 -x435 -x434 x433 x432 -x431
184.43/184.57 v x430 -x429 -x428 x427 x426 -x425 x424 -x423 -x422 x421 x420 -x419 -x418 x417 x416 -x415 x414 -x413 x412 -x411 -x410 x409
184.43/184.57 v x408 -x407 x406 -x405 -x404 x403 x402 -x401 x400 -x399 -x398 x397 x396 -x395 x394 -x393 -x392 x391 -x390 x389 x388 -x387 x386
184.43/184.57 v -x385 -x384 x383 x382 -x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365 -x364 x363
184.43/184.57 v -x362 x361 -x360 x359 -x358 x357 -x356 x355 -x354 x353 -x352 x351 -x350 x349 -x348 x347 -x346 x345 -x344 x343 -x342 x341
184.43/184.57 v -x340 x339 -x338 x337 x336 -x335 -x334 x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 -x322 x321 -x320 x319 -x318
184.43/184.57 v x317 -x316 x315 -x314 x313 -x312 x311 -x310 x309 -x308 x307 -x306 x305 -x304 x303 -x302 x301 -x300 x299 -x298 x297 -x296 x295
184.43/184.57 v -x294 x293 -x292 x291 -x290 x289 -x288 x287 -x286 x285 -x284 x283 -x282 x281 -x280 x279 -x278 x277 x276 -x275 -x274 x273 -x272
184.43/184.57 v x271 -x270 x269 -x268 x267 -x266 x265 -x264 x263 x262 -x261 -x260 x259 -x258 x257 -x256 x255 -x254 x253 -x252 x251 -x250
184.43/184.57 v -x249 -x248 x247 -x246 x245 -x244 x243 -x242 x241 -x240 x239 -x238 x237 -x236 x235 -x234 x233 -x232 x231 -x230 x229 -x228 -x227
184.43/184.57 v -x226 x225 -x224 x223 -x222 x221 -x220 x219 -x218 x217 -x216 x215 x214 -x213 x212 -x211 -x210 x209 -x208 x207 -x206 -x205
184.43/184.57 v -x204 -x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 x194 -x193 -x192 -x191 -x190 x189 -x188 x187 x186 -x185 -x184 -x183
184.43/184.57 v -x182 x181 -x180 x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 x161
184.43/184.57 v -x160 -x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 -x149 -x148 x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138
184.43/184.57 v -x137 -x136 x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 x127 -x126 x125 -x124 x123 -x122 x121 -x120 x119 -x118 x117 -x116
184.43/184.57 v x115 -x114 x113 -x112 x111 -x110 x109 -x108 x107 -x106 x105 -x104 x103 x102 -x101 -x100 x99 -x98 x97 -x96 x95 -x94 x93 x92
184.43/184.57 v -x91 -x90 x89 -x88 x87 -x86 x85 -x84 x83 -x82 x81 -x80 x79 -x78 x77 -x76 x75 x74 -x73 -x72 x71 -x70 x69 -x68 x67 -x66 x65 -x64
184.43/184.57 v x63 -x62 x61 -x60 x59 -x58 x57 -x56 x55 -x54 x53 -x52 x51 -x50 x49 -x48 x47 -x46 x45 -x44 x43 -x42 x41 -x40 x39 -x38 x37
184.43/184.57 v -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 -x14 x13 -x12 x11 -x10 x9
184.43/184.57 v -x8 x7 -x6 x5 -x4 x3 -x2 x1
184.43/184.57 c SCIP Status : problem is solved [optimal solution found]
184.43/184.57 c Solving Time : 182.91
184.43/184.57 c Original Problem :
184.43/184.57 c Problem name : HOME/instance-1869157-1245161177.opb
184.43/184.57 c Variables : 522 (522 binary, 0 integer, 0 implicit integer, 0 continuous)
184.43/184.57 c Constraints : 2819 initial, 2819 maximal
184.43/184.57 c Presolved Problem :
184.43/184.57 c Problem name : t_HOME/instance-1869157-1245161177.opb
184.43/184.57 c Variables : 522 (522 binary, 0 integer, 0 implicit integer, 0 continuous)
184.43/184.57 c Constraints : 2819 initial, 3641 maximal
184.43/184.57 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
184.43/184.57 c trivial : 0.00 0 0 0 0 0 0 0 0
184.43/184.57 c dualfix : 0.00 0 0 0 0 0 0 0 0
184.43/184.57 c boundshift : 0.00 0 0 0 0 0 0 0 0
184.43/184.57 c inttobinary : 0.00 0 0 0 0 0 0 0 0
184.43/184.57 c implics : 0.00 0 0 0 0 0 0 0 0
184.43/184.57 c probing : 0.03 0 0 0 0 0 0 0 0
184.43/184.57 c logicor : 0.03 0 0 0 0 0 0 0 0
184.43/184.57 c root node : - 66 - - 66 - - - -
184.43/184.57 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
184.43/184.57 c integral : 0 0 0 2042 0 13 168 0 0 3930
184.43/184.57 c logicor : 2819+ 21 30371 1 0 1599 207579 0 0 0
184.43/184.57 c countsols : 0 0 0 1 0 0 0 0 0 0
184.43/184.57 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
184.43/184.57 c integral : 79.66 0.00 0.00 79.66 0.00
184.43/184.57 c logicor : 2.17 0.01 2.16 0.00 0.00
184.43/184.57 c countsols : 0.00 0.00 0.00 0.00 0.00
184.43/184.57 c Propagators : Time Calls Cutoffs DomReds
184.43/184.57 c rootredcost : 0.02 6 0 0
184.43/184.57 c pseudoobj : 0.78 33304 38 65
184.43/184.57 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
184.43/184.57 c propagation : 0.29 1599 1588 6951 36.0 283 25.2 -
184.43/184.57 c infeasible LP : 0.02 332 0 0 0.0 0 0.0 0
184.43/184.57 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
184.43/184.57 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
184.43/184.57 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
184.43/184.57 c applied globally : - - - 3834 19.7 - - -
184.43/184.57 c applied locally : - - - 2 102.5 - - -
184.43/184.57 c Separators : Time Calls Cutoffs DomReds Cuts Conss
184.43/184.57 c cut pool : 0.01 20 - - 3 - (maximal pool size: 1219)
184.43/184.57 c redcost : 0.05 2112 0 87 0 0
184.43/184.57 c impliedbounds : 0.04 21 0 0 0 0
184.43/184.57 c intobj : 0.00 0 0 0 0 0
184.43/184.57 c gomory : 2.87 21 0 0 7530 0
184.43/184.57 c strongcg : 2.06 20 0 0 9262 0
184.43/184.57 c cmir : 0.23 10 0 0 0 0
184.43/184.57 c flowcover : 0.13 10 0 0 0 0
184.43/184.57 c clique : 0.01 1 0 0 0 0
184.43/184.57 c zerohalf : 0.00 0 0 0 0 0
184.43/184.57 c mcf : 0.01 1 0 0 0 0
184.43/184.57 c Pricers : Time Calls Vars
184.43/184.57 c problem variables: 0.00 0 0
184.43/184.57 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
184.43/184.57 c relpscost : 79.66 2041 13 168 0 0 3930
184.43/184.57 c pscost : 0.00 0 0 0 0 0 0
184.43/184.57 c inference : 0.00 0 0 0 0 0 0
184.43/184.57 c mostinf : 0.00 0 0 0 0 0 0
184.43/184.57 c leastinf : 0.00 0 0 0 0 0 0
184.43/184.57 c fullstrong : 0.00 0 0 0 0 0 0
184.43/184.57 c allfullstrong : 0.00 0 0 0 0 0 0
184.43/184.57 c random : 0.00 0 0 0 0 0 0
184.43/184.57 c Primal Heuristics : Time Calls Found
184.43/184.57 c LP solutions : 0.00 - 1
184.43/184.57 c pseudo solutions : 0.00 - 0
184.43/184.57 c intshifting : 0.00 0 0
184.43/184.57 c oneopt : 0.03 5 2
184.43/184.57 c pscostdiving : 1.01 9 0
184.43/184.57 c fracdiving : 1.20 9 0
184.43/184.57 c veclendiving : 0.44 9 0
184.43/184.57 c coefdiving : 0.47 9 0
184.43/184.57 c guideddiving : 1.14 9 0
184.43/184.57 c linesearchdiving : 0.63 9 0
184.43/184.57 c rootsoldiving : 0.63 5 0
184.43/184.57 c simplerounding : 0.01 0 0
184.43/184.57 c rounding : 1.08 2062 5
184.43/184.57 c shifting : 0.56 278 3
184.43/184.57 c fixandinfer : 0.00 0 0
184.43/184.57 c feaspump : 1.13 1 0
184.43/184.57 c intdiving : 0.00 0 0
184.43/184.57 c actconsdiving : 0.00 0 0
184.43/184.57 c objpscostdiving : 1.21 5 0
184.43/184.57 c octane : 0.00 0 0
184.43/184.57 c rens : 0.00 0 0
184.43/184.57 c rins : 0.00 0 0
184.43/184.57 c localbranching : 0.00 0 0
184.43/184.57 c mutation : 0.00 0 0
184.43/184.57 c crossover : 0.19 5 1
184.43/184.57 c dins : 0.00 0 0
184.43/184.57 c LP : Time Calls Iterations Iter/call Iter/sec
184.43/184.57 c primal LP : 0.12 0 0 0.00 0.00
184.43/184.57 c dual LP : 81.63 2378 340422 143.15 4170.31
184.43/184.57 c barrier LP : 0.00 0 0 0.00 -
184.43/184.57 c diving/probing LP: 7.21 730 18013 24.68 2498.34
184.43/184.57 c strong branching : 79.37 1518 243474 160.39 3067.58
184.43/184.57 c (at root node) : - 24 6002 250.08 -
184.43/184.57 c conflict analysis: 0.00 0 0 0.00 -
184.43/184.57 c B&B Tree :
184.43/184.57 c number of runs : 1
184.43/184.57 c nodes : 3436
184.43/184.57 c nodes (total) : 3436
184.43/184.57 c nodes left : 0
184.43/184.57 c max depth : 35
184.43/184.57 c max depth (total): 35
184.43/184.57 c backtracks : 808 (23.5%)
184.43/184.57 c delayed cutoffs : 489
184.43/184.57 c repropagations : 3344 (51932 domain reductions, 378 cutoffs)
184.43/184.57 c avg switch length: 5.25
184.43/184.57 c switching time : 1.10
184.43/184.57 c Solution :
184.43/184.57 c Solutions found : 12 (9 improvements)
184.43/184.57 c Primal Bound : +2.44000000000000e+02 (in run 1, after 2091 nodes, 139.44 seconds, depth 14, found by <oneopt>)
184.43/184.57 c Dual Bound : +2.44000000000000e+02
184.43/184.57 c Gap : 0.00 %
184.43/184.57 c Root Dual Bound : +1.74000000000000e+02
184.43/184.59 c Time complete: 184.52.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869157-1245161177/watcher-1869157-1245161177 -o /tmp/evaluation-result-1869157-1245161177/solver-1869157-1245161177 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869157-1245161177.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: 1.00 1.00 1.00 3/64 4780
/proc/meminfo: memFree=1538496/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=7616 CPUtime=0
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 554 0 0 0 0 0 0 0 18 0 1 0 183717347 7798784 538 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/4780/statm: 1904 548 353 1256 0 643 0
[startup+0.038336 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4780
/proc/meminfo: memFree=1538496/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=11572 CPUtime=0.03
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 1860 0 0 0 3 0 0 0 18 0 1 0 183717347 11849728 1844 1992294400 4194304 9342243 548682068736 18446744073709551615 8247753 0 0 4096 0 0 0 0 17 1 0 0
/proc/4780/statm: 2893 1844 378 1256 0 1632 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11572
[startup+0.101342 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4780
/proc/meminfo: memFree=1538496/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=19508 CPUtime=0.09
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 4028 0 0 0 8 1 0 0 18 0 1 0 183717347 19976192 3658 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 4877 3658 463 1256 0 3616 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19508
[startup+0.301362 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4780
/proc/meminfo: memFree=1538496/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=28844 CPUtime=0.29
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 6070 0 0 0 27 2 0 0 19 0 1 0 183717347 29536256 5680 1992294400 4194304 9342243 548682068736 18446744073709551615 8222955 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 7211 5680 634 1256 0 5950 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28844
[startup+0.701403 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4780
/proc/meminfo: memFree=1538496/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=29412 CPUtime=0.69
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 6273 0 0 0 67 2 0 0 23 0 1 0 183717347 30117888 5881 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 7353 5881 634 1256 0 6092 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29412
[startup+1.50148 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4781
/proc/meminfo: memFree=1517304/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=29672 CPUtime=1.49
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 6606 0 0 0 146 3 0 0 25 0 1 0 183717347 30384128 6212 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 7418 6212 644 1256 0 6157 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29672
[startup+3.10264 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4781
/proc/meminfo: memFree=1515128/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=35328 CPUtime=3.09
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 7485 0 0 0 302 7 0 0 25 0 1 0 183717347 36175872 7091 1992294400 4194304 9342243 548682068736 18446744073709551615 4338500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 8832 7091 662 1256 0 7571 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35328
[startup+6.30197 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4781
/proc/meminfo: memFree=1511160/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=40744 CPUtime=6.29
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 10208 0 0 0 619 10 0 0 25 0 1 0 183717347 41721856 8351 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 10186 8351 665 1256 0 8925 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40744
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4781
/proc/meminfo: memFree=1503736/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=46688 CPUtime=12.69
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 12958 0 0 0 1257 12 0 0 25 0 1 0 183717347 47808512 9255 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 11672 9255 672 1256 0 10411 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46688
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4781
/proc/meminfo: memFree=1503608/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=46292 CPUtime=25.49
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 17171 0 0 0 2532 17 0 0 25 0 1 0 183717347 47403008 9322 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 11573 9322 673 1256 0 10312 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46292
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4781
/proc/meminfo: memFree=1503096/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=46528 CPUtime=51.07
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 28643 0 0 0 5080 27 0 0 25 0 1 0 183717347 47644672 9474 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 11632 9474 680 1256 0 10371 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 46528
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4781
/proc/meminfo: memFree=1501432/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=47332 CPUtime=102.26
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 48459 0 0 0 10169 57 0 0 25 0 1 0 183717347 48467968 9944 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 11833 9944 691 1256 0 10572 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 47332
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4781
/proc/meminfo: memFree=1502136/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=45544 CPUtime=162.24
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 139940 0 0 0 16100 124 0 0 25 0 1 0 183717347 46637056 9704 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 11386 9704 704 1256 0 10125 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 45544
Solver just ended. Dumping a history of the last processes samples
[startup+166.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4781
/proc/meminfo: memFree=1502136/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=48476 CPUtime=166.23
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 147155 0 0 0 16495 128 0 0 25 0 1 0 183717347 49639424 9787 1992294400 4194304 9342243 548682068736 18446744073709551615 6040684 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 12119 9787 704 1256 0 10858 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 48476
[startup+172.707 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4781
/proc/meminfo: memFree=1502136/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=45628 CPUtime=172.64
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 158912 0 0 0 17127 137 0 0 25 0 1 0 183717347 46723072 9710 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 11407 9711 704 1256 0 10146 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 45628
[startup+179.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4781
/proc/meminfo: memFree=1502008/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=48352 CPUtime=179.03
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 173186 0 0 0 17757 146 0 0 25 0 1 0 183717347 49512448 9760 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 12088 9760 704 1256 0 10827 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 48352
[startup+182.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4781
/proc/meminfo: memFree=1501944/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=45544 CPUtime=182.23
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 180918 0 0 0 18073 150 0 0 25 0 1 0 183717347 46637056 9762 1992294400 4194304 9342243 548682068736 18446744073709551615 6974274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 11386 9762 704 1256 0 10125 0
Current children cumulated CPU time (s) 182.23
Current children cumulated vsize (KiB) 45544
[startup+183.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4781
/proc/meminfo: memFree=1502136/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=45228 CPUtime=183.83
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 183929 0 0 0 18231 152 0 0 25 0 1 0 183717347 46313472 9750 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 11307 9750 704 1256 0 10046 0
Current children cumulated CPU time (s) 183.83
Current children cumulated vsize (KiB) 45228
[startup+184.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4781
/proc/meminfo: memFree=1502136/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=45444 CPUtime=184.23
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 185195 0 0 0 18270 153 0 0 25 0 1 0 183717347 46534656 9701 1992294400 4194304 9342243 548682068736 18446744073709551615 6253393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 11361 9701 725 1256 0 10100 0
Current children cumulated CPU time (s) 184.23
Current children cumulated vsize (KiB) 45444
[startup+184.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4781
/proc/meminfo: memFree=1502136/2055920 swapFree=4192812/4192956
[pid=4780] ppid=4778 vsize=45584 CPUtime=184.43
/proc/4780/stat : 4780 (pbscip.linux.x8) R 4778 4780 4628 0 -1 4194304 186204 0 0 0 18289 154 0 0 25 0 1 0 183717347 46678016 9704 1992294400 4194304 9342243 548682068736 18446744073709551615 6976974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4780/statm: 11396 9704 704 1256 0 10135 0
Current children cumulated CPU time (s) 184.43
Current children cumulated vsize (KiB) 45584
Child status: 0
Real time (s): 184.597
CPU time (s): 184.535
CPU user time (s): 182.985
CPU system time (s): 1.54976
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 57800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.985
system time used= 1.54976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186396
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= 239
runsolver used 0.158975 second user time and 0.518921 second system time
The end