0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666644-1276657828.opb>
0.02/0.09 c original problem has 6816 variables (6816 bin, 0 int, 0 impl, 0 cont) and 6816 constraints
0.02/0.09 c problem read
0.02/0.09 c presolving settings loaded
0.09/0.18 c presolving:
0.49/0.54 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 184196 impls, 0 clqs
0.89/0.97 c (0.7s) probing: 101/6816 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.97 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.97 c presolving (2 rounds):
0.89/0.97 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.97 c 184196 implications, 0 cliques
0.89/0.97 c presolved problem has 6816 variables (6816 bin, 0 int, 0 impl, 0 cont) and 6816 constraints
0.89/0.97 c 6316 constraints of type <and>
0.89/0.97 c 500 constraints of type <logicor>
0.89/0.97 c transformed objective value is always integral (scale: 1)
0.89/0.97 c Presolving Time: 0.65
0.89/0.97 c - non default parameters ----------------------------------------------------------------------
0.89/0.97 c # SCIP version 1.2.1.2
0.89/0.97 c
0.89/0.97 c # frequency for displaying node information lines
0.89/0.97 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.97 c display/freq = 10000
0.89/0.97 c
0.89/0.97 c # maximal time in seconds to run
0.89/0.97 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.97 c limits/time = 1799.92
0.89/0.97 c
0.89/0.97 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.97 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.97 c limits/memory = 1620
0.89/0.97 c
0.89/0.97 c # should presolving try to simplify inequalities
0.89/0.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.97 c constraints/linear/simplifyinequalities = TRUE
0.89/0.97 c
0.89/0.97 c # should presolving try to simplify knapsacks
0.89/0.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.97 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.97 c
0.89/0.97 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.89/0.97 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.97 c heuristics/undercover/freq = 0
0.89/0.97 c
0.89/0.97 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.97 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.97 c separating/rapidlearning/freq = 0
0.89/0.97 c
0.89/0.97 c -----------------------------------------------------------------------------------------------
0.89/0.97 c start solving
0.89/0.98 c
1.19/1.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.23 c 0.9s| 1 | 0 | 1000 | - | 34M| 0 |1000 |6816 |6816 |6816 | 13k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.31 o 114
1.29/1.31 c s 1.0s| 1 | 0 | 1000 | - | 34M| 0 |1000 |6816 |6816 |6816 | 13k| 0 | 0 | 0 | 0.000000e+00 | 1.140000e+02 | Inf
5.40/5.40 c 4.7s| 1 | 0 | 2500 | - | 34M| 0 |1000 |6816 |6816 |6816 | 14k|1001 | 0 | 0 | 0.000000e+00 | 1.140000e+02 | Inf
5.40/5.49 o 110
5.40/5.49 c s 4.8s| 1 | 0 | 2500 | - | 34M| 0 |1000 |6816 |6816 |6816 | 14k|1001 | 0 | 0 | 0.000000e+00 | 1.100000e+02 | Inf
7.19/7.26 c 6.6s| 1 | 0 | 4000 | - | 35M| 0 |1000 |6816 |6816 |6816 | 15k|2003 | 0 | 0 | 0.000000e+00 | 1.100000e+02 | Inf
7.29/7.36 o 105
7.29/7.36 c s 6.7s| 1 | 0 | 4000 | - | 35M| 0 |1000 |6816 |6816 |6816 | 15k|2003 | 0 | 0 | 0.000000e+00 | 1.050000e+02 | Inf
9.29/9.38 c 8.7s| 1 | 0 | 5500 | - | 35M| 0 |1000 |6816 |6816 |6816 | 16k|3006 | 0 | 0 | 0.000000e+00 | 1.050000e+02 | Inf
9.39/9.48 o 99
9.39/9.48 c s 8.8s| 1 | 0 | 5500 | - | 35M| 0 |1000 |6816 |6816 |6816 | 16k|3006 | 0 | 0 | 0.000000e+00 | 9.900000e+01 | Inf
11.49/11.59 c 10.9s| 1 | 0 | 7001 | - | 36M| 0 |1000 |6816 |6816 |6816 | 17k|4007 | 0 | 0 | 0.000000e+00 | 9.900000e+01 | Inf
11.59/11.69 o 92
11.59/11.69 c s11.0s| 1 | 0 | 7001 | - | 36M| 0 |1000 |6816 |6816 |6816 | 17k|4007 | 0 | 0 | 0.000000e+00 | 9.200000e+01 | Inf
19.19/19.22 c 18.5s| 1 | 0 | 10230 | - | 36M| 0 |2442 |6816 |6816 |6816 | 18k|5007 | 0 | 0 | 2.588923e+01 | 9.200000e+01 | 255.36%
39.38/39.43 c 38.6s| 1 | 0 | 13327 | - | 38M| 0 |3145 |6816 |6816 |6816 | 18k|5558 | 0 | 0 | 3.316622e+01 | 9.200000e+01 | 177.39%
81.57/81.68 c 80.6s| 1 | 0 | 15102 | - | 39M| 0 |3564 |6816 |6816 |6816 | 18k|5848 | 0 | 0 | 3.489796e+01 | 9.200000e+01 | 163.63%
99.96/100.03 c 98.9s| 1 | 0 | 16303 | - | 39M| 0 |3988 |6816 |6816 |6816 | 19k|5958 | 0 | 0 | 3.564770e+01 | 9.200000e+01 | 158.08%
119.45/119.51 c 118s| 1 | 0 | 16890 | - | 39M| 0 |4179 |6816 |6816 |6816 | 19k|6013 | 0 | 0 | 3.578797e+01 | 9.200000e+01 | 157.07%
140.55/140.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.55/140.65 c 139s| 1 | 0 | 17409 | - | 39M| 0 |4208 |6816 |6816 |6816 | 19k|6051 | 0 | 0 | 3.592540e+01 | 9.200000e+01 | 156.09%
160.94/161.02 c 160s| 1 | 0 | 17874 | - | 36M| 0 |4285 |6816 |6816 |6816 |6776 |6073 | 0 | 0 | 3.601145e+01 | 9.200000e+01 | 155.47%
165.14/165.22 c 164s| 1 | 0 | 18057 | - | 36M| 0 |4290 |6816 |6816 |6816 |6793 |6090 | 0 | 0 | 3.602564e+01 | 9.200000e+01 | 155.37%
169.25/169.36 c 168s| 1 | 0 | 18190 | - | 36M| 0 |4286 |6816 |6816 |6816 |6807 |6104 | 0 | 0 | 3.603886e+01 | 9.200000e+01 | 155.28%
173.04/173.17 c 172s| 1 | 0 | 18240 | - | 36M| 0 |4344 |6816 |6816 |6816 |6822 |6119 | 0 | 0 | 3.604033e+01 | 9.200000e+01 | 155.27%
177.15/177.27 c 176s| 1 | 0 | 18344 | - | 36M| 0 |4319 |6816 |6816 |6816 |6825 |6122 | 0 | 0 | 3.604428e+01 | 9.200000e+01 | 155.24%
181.04/181.15 c 180s| 1 | 0 | 18367 | - | 36M| 0 |4348 |6816 |6816 |6816 |6830 |6127 | 0 | 0 | 3.604462e+01 | 9.200000e+01 | 155.24%
184.84/184.97 c 183s| 1 | 0 | 18370 | - | 36M| 0 |4350 |6816 |6816 |6816 |6589 |6129 | 0 | 0 | 3.604462e+01 | 9.200000e+01 | 155.24%
188.43/188.57 c 187s| 1 | 0 | 18371 | - | 36M| 0 |4350 |6816 |6816 |6816 |6590 |6130 | 0 | 0 | 3.604462e+01 | 9.200000e+01 | 155.24%
192.13/192.20 c 191s| 1 | 0 | 18379 | - | 36M| 0 |4358 |6816 |6816 |6816 |6591 |6131 | 0 | 0 | 3.604465e+01 | 9.200000e+01 | 155.24%
230.73/230.89 c 229s| 1 | 2 | 18379 | - | 36M| 0 |4358 |6816 |6816 |6816 |6591 |6131 | 0 | 19 | 3.604465e+01 | 9.200000e+01 | 155.24%
1800.09/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1801.19/1801.76 c
1801.19/1801.76 c SCIP Status : solving was interrupted [user interrupt]
1801.19/1801.76 c Solving Time (sec) : 1785.37
1801.19/1801.76 c Solving Nodes : 157
1801.19/1801.76 c Primal Bound : +9.20000000000000e+01 (5 solutions)
1801.19/1801.76 c Dual Bound : +3.67032688079317e+01
1801.19/1801.76 c Gap : 150.66 %
1801.19/1801.78 s SATISFIABLE
1801.19/1801.78 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1801.19/1801.78 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459
1801.19/1801.78 v -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438
1801.19/1801.78 v -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417
1801.19/1801.78 v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396
1801.19/1801.78 v -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375
1801.19/1801.78 v -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354
1801.19/1801.78 v -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333
1801.19/1801.78 v -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 -x314 -x313 -x312
1801.19/1801.78 v -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291
1801.19/1801.78 v x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270
1801.19/1801.78 v -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
1801.19/1801.78 v x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228
1801.19/1801.78 v -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207
1801.19/1801.78 v -x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186
1801.19/1801.78 v -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165
1801.19/1801.78 v -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144
1801.19/1801.78 v x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 x124 -x123 -x122
1801.19/1801.78 v -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 x103 -x102 -x101
1801.19/1801.78 v x100 x99 -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
1801.19/1801.78 v -x73 -x72 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
1801.19/1801.78 v x44 x43 x42 -x41 -x40 x39 x38 x37 -x36 x35 -x34 x33 x32 x31 x30 x29 x28 x27 x26 x25 x24 x23 x22 x21 x20 x19 x18 x17 x16 x15
1801.19/1801.78 v x14 x13 x12 x11 x10 x9 x8 x7 -x6 x5 x4 x3 x2 x1
1801.19/1801.78 c SCIP Status : solving was interrupted [user interrupt]
1801.19/1801.78 c Solving Time : 1785.37
1801.19/1801.78 c Original Problem :
1801.19/1801.78 c Problem name : HOME/instance-2666644-1276657828.opb
1801.19/1801.78 c Variables : 6816 (6816 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.19/1801.78 c Constraints : 6816 initial, 6816 maximal
1801.19/1801.78 c Presolved Problem :
1801.19/1801.78 c Problem name : t_HOME/instance-2666644-1276657828.opb
1801.19/1801.78 c Variables : 6816 (6816 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.19/1801.78 c Constraints : 6816 initial, 6816 maximal
1801.19/1801.78 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.19/1801.78 c trivial : 0.00 0 0 0 0 0 0 0 0
1801.19/1801.78 c dualfix : 0.01 0 0 0 0 0 0 0 0
1801.19/1801.78 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.19/1801.78 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.19/1801.78 c implics : 0.00 0 0 0 0 0 0 0 0
1801.19/1801.78 c probing : 0.23 0 0 0 0 0 0 0 0
1801.19/1801.78 c and : 0.34 0 0 0 0 0 0 0 0
1801.19/1801.78 c logicor : 0.01 0 0 0 0 0 0 0 0
1801.19/1801.78 c root node : - 0 - - 0 - - - -
1801.19/1801.78 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.19/1801.78 c integral : 0 0 0 157 0 0 0 0 0 314
1801.19/1801.78 c and : 6316 734 6447 0 0 0 2548 11144 0 0
1801.19/1801.78 c logicor : 500 20 2757 0 0 0 0 0 0 0
1801.19/1801.78 c countsols : 0 0 0 0 0 0 0 0 0 0
1801.19/1801.78 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.19/1801.78 c integral : 508.19 0.00 0.00 508.19 0.00
1801.19/1801.78 c and : 8.33 5.68 2.65 0.00 0.00
1801.19/1801.78 c logicor : 0.05 0.00 0.05 0.00 0.00
1801.19/1801.78 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.19/1801.78 c Propagators : Time Calls Cutoffs DomReds
1801.19/1801.78 c vbounds : 0.00 2 0 0
1801.19/1801.78 c rootredcost : 0.00 0 0 0
1801.19/1801.78 c pseudoobj : 0.29 6267 0 0
1801.19/1801.78 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.19/1801.78 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1801.19/1801.78 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1801.19/1801.78 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.19/1801.78 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.19/1801.78 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.19/1801.78 c applied globally : - - - 0 0.0 - - -
1801.19/1801.78 c applied locally : - - - 0 0.0 - - -
1801.19/1801.78 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.19/1801.78 c cut pool : 0.05 19 - - 0 - (maximal pool size: 6234)
1801.19/1801.78 c redcost : 0.53 734 0 0 0 0
1801.19/1801.78 c impliedbounds : 0.20 20 0 0 6470 0
1801.19/1801.78 c intobj : 0.00 0 0 0 0 0
1801.19/1801.78 c cgmip : 0.00 0 0 0 0 0
1801.19/1801.78 c gomory : 71.22 20 0 0 3004 0
1801.19/1801.78 c strongcg : 65.40 20 0 0 3124 0
1801.19/1801.78 c cmir : 6.96 10 0 0 2500 0
1801.19/1801.78 c flowcover : 3.77 10 0 0 0 0
1801.19/1801.78 c clique : 0.37 20 0 0 14 0
1801.19/1801.78 c zerohalf : 0.00 0 0 0 0 0
1801.19/1801.78 c mcf : 0.03 1 0 0 0 0
1801.19/1801.78 c rapidlearning : 1.97 1 0 0 0 0
1801.19/1801.78 c Pricers : Time Calls Vars
1801.19/1801.78 c problem variables: 0.00 0 0
1801.19/1801.78 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.19/1801.78 c relpscost : 508.19 157 0 0 0 0 314
1801.19/1801.78 c pscost : 0.00 0 0 0 0 0 0
1801.19/1801.78 c inference : 0.00 0 0 0 0 0 0
1801.19/1801.78 c mostinf : 0.00 0 0 0 0 0 0
1801.19/1801.78 c leastinf : 0.00 0 0 0 0 0 0
1801.19/1801.78 c fullstrong : 0.00 0 0 0 0 0 0
1801.19/1801.78 c allfullstrong : 0.00 0 0 0 0 0 0
1801.19/1801.78 c random : 0.00 0 0 0 0 0 0
1801.19/1801.78 c Primal Heuristics : Time Calls Found
1801.19/1801.78 c LP solutions : 0.00 - 0
1801.19/1801.78 c pseudo solutions : 0.00 - 0
1801.19/1801.78 c crossover : 0.00 0 0
1801.19/1801.78 c oneopt : 0.05 4 0
1801.19/1801.78 c linesearchdiving : 31.83 1 0
1801.19/1801.78 c guideddiving : 35.51 1 0
1801.19/1801.78 c objpscostdiving : 348.56 1 0
1801.19/1801.78 c rootsoldiving : 8.48 1 0
1801.19/1801.78 c coefdiving : 66.46 2 0
1801.19/1801.78 c pscostdiving : 101.03 2 0
1801.19/1801.78 c fracdiving : 66.56 2 0
1801.19/1801.78 c trivial : 0.03 2 0
1801.19/1801.78 c simplerounding : 0.00 0 0
1801.19/1801.78 c zirounding : 0.21 157 0
1801.19/1801.78 c rounding : 35.06 350 0
1801.19/1801.78 c shifting : 9.43 89 5
1801.19/1801.78 c intshifting : 0.00 0 0
1801.19/1801.78 c twoopt : 0.00 0 0
1801.19/1801.78 c fixandinfer : 0.00 0 0
1801.19/1801.78 c feaspump : 0.00 0 0
1801.19/1801.78 c veclendiving : 57.90 2 0
1801.19/1801.78 c intdiving : 0.00 0 0
1801.19/1801.78 c actconsdiving : 0.00 0 0
1801.19/1801.78 c octane : 0.00 0 0
1801.19/1801.78 c rens : 0.02 0 0
1801.19/1801.78 c rins : 0.00 0 0
1801.19/1801.78 c localbranching : 0.00 0 0
1801.19/1801.78 c mutation : 0.00 0 0
1801.19/1801.78 c dins : 0.00 0 0
1801.19/1801.78 c undercover : 0.02 1 0
1801.19/1801.78 c nlp : 0.00 0 0
1801.19/1801.78 c trysol : 0.00 0 0
1801.19/1801.78 c LP : Time Calls Iterations Iter/call Iter/sec
1801.19/1801.78 c primal LP : 6.57 0 0 0.00 0.00
1801.19/1801.78 c dual LP : 344.82 806 118433 146.94 343.46
1801.19/1801.78 c lex dual LP : 0.00 0 0 0.00 -
1801.19/1801.78 c barrier LP : 0.00 0 0 0.00 -
1801.19/1801.78 c diving/probing LP: 694.83 3325 268263 80.68 386.08
1801.19/1801.78 c strong branching : 507.83 302 172512 571.23 339.70
1801.19/1801.78 c (at root node) : - 19 11890 625.79 -
1801.19/1801.78 c conflict analysis: 0.00 0 0 0.00 -
1801.19/1801.78 c B&B Tree :
1801.19/1801.78 c number of runs : 1
1801.19/1801.78 c nodes : 157
1801.19/1801.78 c nodes (total) : 157
1801.19/1801.78 c nodes left : 158
1801.19/1801.78 c max depth : 21
1801.19/1801.78 c max depth (total): 21
1801.19/1801.78 c backtracks : 12 (7.6%)
1801.19/1801.78 c delayed cutoffs : 0
1801.19/1801.78 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1801.19/1801.78 c avg switch length: 2.30
1801.19/1801.78 c switching time : 6.75
1801.19/1801.78 c Solution :
1801.19/1801.78 c Solutions found : 5 (5 improvements)
1801.19/1801.78 c First Solution : +1.14000000000000e+02 (in run 1, after 1 nodes, 0.91 seconds, depth 0, found by <shifting>)
1801.19/1801.78 c Primal Bound : +9.20000000000000e+01 (in run 1, after 1 nodes, 10.88 seconds, depth 0, found by <shifting>)
1801.19/1801.78 c Dual Bound : +3.67032688079317e+01
1801.19/1801.78 c Gap : 150.66 %
1801.19/1801.78 c Root Dual Bound : +3.60446483629169e+01
1801.19/1801.78 c Root Iterations : 18379
1801.38/1801.94 c Time complete: 1801.42.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666644-1276657828/watcher-2666644-1276657828 -o /tmp/evaluation-result-2666644-1276657828/solver-2666644-1276657828 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666644-1276657828.opb -t 1800 -m 1800
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.99 0.98 0.99 3/106 5759
/proc/meminfo: memFree=1830296/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=7724 CPUtime=0
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 1030 0 0 0 0 0 0 0 20 0 1 0 41386785 7909376 950 1992294400 4194304 8223781 140735123137472 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5759/statm: 1931 960 348 984 0 944 0
[startup+0.0375929 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 5759
/proc/meminfo: memFree=1830296/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=12652 CPUtime=0.02
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 2402 0 0 0 2 0 0 0 20 0 1 0 41386785 12955648 2322 1992294400 4194304 8223781 140735123137472 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5759/statm: 3163 2337 366 984 0 2176 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12652
[startup+0.101582 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 5759
/proc/meminfo: memFree=1830296/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=20944 CPUtime=0.09
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 4830 0 0 0 8 1 0 0 20 0 1 0 41386785 21446656 4386 1992294400 4194304 8223781 140735123137472 18446744073709551615 7224664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 5236 4386 381 984 0 4249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20944
[startup+0.301598 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 5759
/proc/meminfo: memFree=1830296/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=40308 CPUtime=0.3
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 9345 0 0 0 26 4 0 0 20 0 1 0 41386785 41275392 8901 1992294400 4194304 8223781 140735123137472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 10077 8901 427 984 0 9090 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 40308
[startup+0.70163 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 5759
/proc/meminfo: memFree=1830296/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=42496 CPUtime=0.69
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 10957 0 0 0 49 20 0 0 21 0 1 0 41386785 43515904 9485 1992294400 4194304 8223781 140735123137472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 10624 9485 447 984 0 9637 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42496
[startup+1.50169 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5760
/proc/meminfo: memFree=1789244/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=69496 CPUtime=1.49
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 20389 0 0 0 123 26 0 0 23 0 1 0 41386785 71163904 16072 1992294400 4194304 8223781 140735123137472 18446744073709551615 6054105 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 17374 16072 555 984 0 16387 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69496
[startup+3.10183 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5760
/proc/meminfo: memFree=1767172/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=98124 CPUtime=3.09
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 27382 0 0 0 260 49 0 0 25 0 1 0 41386785 100478976 22651 1992294400 4194304 8223781 140735123137472 18446744073709551615 4408811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 24531 22651 590 984 0 23544 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98124
[startup+6.30108 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5760
/proc/meminfo: memFree=1757252/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=80568 CPUtime=6.29
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 29507 0 0 0 569 60 0 0 25 0 1 0 41386785 82501632 18718 1992294400 4194304 8223781 140735123137472 18446744073709551615 5716550 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 20142 18718 613 984 0 19155 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80568
[startup+12.7006 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5760
/proc/meminfo: memFree=1754648/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=83124 CPUtime=12.69
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 30268 0 0 0 1205 64 0 0 25 0 1 0 41386785 85118976 19338 1992294400 4194304 8223781 140735123137472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 20781 19338 605 984 0 19794 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83124
[startup+25.5006 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5762
/proc/meminfo: memFree=1752788/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=86700 CPUtime=25.48
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 34856 0 0 0 2477 71 0 0 25 0 1 0 41386785 88780800 19783 1992294400 4194304 8223781 140735123137472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 21675 19783 609 984 0 20688 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86700
[startup+51.1007 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5762
/proc/meminfo: memFree=1744852/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=95568 CPUtime=51.07
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 43481 0 0 0 5024 83 0 0 25 0 1 0 41386785 97861632 21759 1992294400 4194304 8223781 140735123137472 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23892 21759 607 984 0 22905 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 95568
[startup+102.309 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5764
/proc/meminfo: memFree=1744356/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=96280 CPUtime=102.27
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 52681 0 0 0 10123 104 0 0 25 0 1 0 41386785 98590720 21889 1992294400 4194304 8223781 140735123137472 18446744073709551615 6300048 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 24070 21889 596 984 0 23083 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 96280
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5764
/proc/meminfo: memFree=1746340/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=91096 CPUtime=162.24
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 63726 0 0 0 16095 129 0 0 25 0 1 0 41386785 93282304 21302 1992294400 4194304 8223781 140735123137472 18446744073709551615 6043686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 22774 21302 596 984 0 21787 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 91096
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5769
/proc/meminfo: memFree=1745348/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=91252 CPUtime=222.22
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 92907 0 0 0 22059 163 0 0 25 0 1 0 41386785 93442048 21332 1992294400 4194304 8223781 140735123137472 18446744073709551615 6590360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 22813 21332 593 984 0 21826 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 91252
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5771
/proc/meminfo: memFree=1745472/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=91408 CPUtime=282.21
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 146695 0 0 0 28021 200 0 0 25 0 1 0 41386785 93601792 21351 1992294400 4194304 8223781 140735123137472 18446744073709551615 6567432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 22852 21351 593 984 0 21865 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 91408
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5773
/proc/meminfo: memFree=1744852/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=91960 CPUtime=342.19
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 214141 0 0 0 33973 246 0 0 25 0 1 0 41386785 94167040 21444 1992294400 4194304 8223781 140735123137472 18446744073709551615 6590364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 22990 21444 593 984 0 22003 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 91960
[startup+402.301 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 5775
/proc/meminfo: memFree=1745348/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=92568 CPUtime=402.17
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 279751 0 0 0 39930 287 0 0 25 0 1 0 41386785 94789632 21652 1992294400 4194304 8223781 140735123137472 18446744073709551615 6567440 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23142 21652 593 984 0 22155 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 92568
[startup+462.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 5775
/proc/meminfo: memFree=1745224/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=92568 CPUtime=462.16
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 343569 0 0 0 45883 333 0 0 25 0 1 0 41386785 94789632 21622 1992294400 4194304 8223781 140735123137472 18446744073709551615 6502720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23142 21622 593 984 0 22155 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 92568
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5777
/proc/meminfo: memFree=1744356/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=91772 CPUtime=522.15
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 401855 0 0 0 51838 377 0 0 25 0 1 0 41386785 93974528 21477 1992294400 4194304 8223781 140735123137472 18446744073709551615 6568504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 22943 21477 593 984 0 21956 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 91772
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5779
/proc/meminfo: memFree=1744852/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=92832 CPUtime=582.13
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 457192 0 0 0 57795 418 0 0 25 0 1 0 41386785 95059968 21667 1992294400 4194304 8223781 140735123137472 18446744073709551615 6590693 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23208 21667 593 984 0 22221 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 92832
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5781
/proc/meminfo: memFree=1744604/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=92360 CPUtime=642.12
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 519615 0 0 0 63756 456 0 0 25 0 1 0 41386785 94576640 21548 1992294400 4194304 8223781 140735123137472 18446744073709551615 6569869 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23090 21548 593 984 0 22103 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 92360
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5791
/proc/meminfo: memFree=1743240/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=93808 CPUtime=1002.01
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 1175232 0 0 0 99388 813 0 0 25 0 1 0 41386785 96059392 21962 1992294400 4194304 8223781 140735123137472 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23452 21962 596 984 0 22465 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 93808
[startup+1062.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 5791
/proc/meminfo: memFree=1743116/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=93808 CPUtime=1061.99
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 1210680 0 0 0 105357 842 0 0 25 0 1 0 41386785 96059392 21967 1992294400 4194304 8223781 140735123137472 18446744073709551615 6612661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23452 21967 596 984 0 22465 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 93808
[startup+1122.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 5793
/proc/meminfo: memFree=1742992/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=93808 CPUtime=1121.97
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 1247396 0 0 0 111324 873 0 0 25 0 1 0 41386785 96059392 21960 1992294400 4194304 8223781 140735123137472 18446744073709551615 6504323 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23452 21960 596 984 0 22465 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 93808
[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 5795
/proc/meminfo: memFree=1742992/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=93808 CPUtime=1181.95
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 1285909 0 0 0 117293 902 0 0 25 0 1 0 41386785 96059392 21928 1992294400 4194304 8223781 140735123137472 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23452 21928 596 984 0 22465 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 93808
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5797
/proc/meminfo: memFree=1742868/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=93808 CPUtime=1241.93
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 1326221 0 0 0 123260 933 0 0 25 0 1 0 41386785 96059392 21907 1992294400 4194304 8223781 140735123137472 18446744073709551615 6599225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23452 21907 596 984 0 22465 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 93808
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5799
/proc/meminfo: memFree=1743240/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=93576 CPUtime=1301.92
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 1387009 0 0 0 129218 974 0 0 25 0 1 0 41386785 95821824 21899 1992294400 4194304 8223781 140735123137472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23394 21899 596 984 0 22407 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 93576
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5799
/proc/meminfo: memFree=1743240/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=94320 CPUtime=1361.9
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 1512612 0 0 0 135150 1040 0 0 25 0 1 0 41386785 96583680 22019 1992294400 4194304 8223781 140735123137472 18446744073709551615 6559527 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23580 22019 596 984 0 22593 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 94320
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5801
/proc/meminfo: memFree=1742620/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=94404 CPUtime=1421.89
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 1658050 0 0 0 141075 1114 0 0 25 0 1 0 41386785 96669696 22125 1992294400 4194304 8223781 140735123137472 18446744073709551615 6560154 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23601 22125 596 984 0 22614 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 94404
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5803
/proc/meminfo: memFree=1742372/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=94392 CPUtime=1481.86
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 1850190 0 0 0 146986 1200 0 0 25 0 1 0 41386785 96657408 22028 1992294400 4194304 8223781 140735123137472 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23598 22028 596 984 0 22611 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 94392
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5805
/proc/meminfo: memFree=1741132/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=95664 CPUtime=1541.85
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 1979557 0 0 0 152916 1269 0 0 25 0 1 0 41386785 97959936 22440 1992294400 4194304 8223781 140735123137472 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23916 22440 596 984 0 22929 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 95664
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5807
/proc/meminfo: memFree=1741752/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=95372 CPUtime=1601.84
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 2103660 0 0 0 158846 1338 0 0 25 0 1 0 41386785 97660928 22224 1992294400 4194304 8223781 140735123137472 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23843 22224 596 984 0 22856 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 95372
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5807
/proc/meminfo: memFree=1740636/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=95940 CPUtime=1661.82
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 2220434 0 0 0 164779 1403 0 0 25 0 1 0 41386785 98242560 22572 1992294400 4194304 8223781 140735123137472 18446744073709551615 6569915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23985 22572 596 984 0 22998 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 95940
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5809
/proc/meminfo: memFree=1741256/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=95576 CPUtime=1721.8
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 2420880 0 0 0 170681 1499 0 0 25 0 1 0 41386785 97869824 22272 1992294400 4194304 8223781 140735123137472 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23894 22272 596 984 0 22907 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 95576
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5811
/proc/meminfo: memFree=1740636/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=95740 CPUtime=1781.78
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 2544757 0 0 0 176612 1566 0 0 25 0 1 0 41386785 98037760 22420 1992294400 4194304 8223781 140735123137472 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23935 22420 596 984 0 22948 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 95740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5811
/proc/meminfo: memFree=1741256/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=95568 CPUtime=1800.09
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 2561750 0 0 0 178431 1578 0 0 25 0 1 0 41386785 97861632 22359 1992294400 4194304 8223781 140735123137472 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23892 22359 596 984 0 22905 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 95568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5811
/proc/meminfo: memFree=1741256/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=95528 CPUtime=1800.88
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 2564432 0 0 0 178508 1580 0 0 25 0 1 0 41386785 97820672 22329 1992294400 4194304 8223781 140735123137472 18446744073709551615 6562478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5759/statm: 23882 22329 596 984 0 22895 0
Current children cumulated CPU time (s) 1800.88
Current children cumulated vsize (KiB) 95528
[startup+1801.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5812
/proc/meminfo: memFree=1741124/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=96188 CPUtime=1801.29
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 2567301 0 0 0 178548 1581 0 0 25 0 1 0 41386785 98496512 22429 1992294400 4194304 8223781 140735123137472 18446744073709551615 6590666 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5759/statm: 24047 22429 598 984 0 23060 0
Current children cumulated CPU time (s) 1801.29
Current children cumulated vsize (KiB) 96188
[startup+1801.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 5812
/proc/meminfo: memFree=1741124/2059040 swapFree=4140244/4192956
[pid=5759] ppid=5757 vsize=90576 CPUtime=1801.38
/proc/5759/stat : 5759 (pbscip.linux.x8) R 5757 5759 4944 0 -1 4202496 2567656 0 0 0 178557 1581 0 0 25 0 1 0 41386785 92749824 21089 1992294400 4194304 8223781 140735123137472 18446744073709551615 6207239 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5759/statm: 22644 21089 598 984 0 21657 0
Current children cumulated CPU time (s) 1801.38
Current children cumulated vsize (KiB) 90576
Child status: 0
Real time (s): 1801.95
CPU time (s): 1801.44
CPU user time (s): 1785.61
CPU system time (s): 15.8286
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 100028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.61
system time used= 15.8286
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2567660
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= 2
involuntary context switches= 3291
runsolver used 2.96155 second user time and 8.5297 second system time
The end