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-2666605-1276653127.opb>
0.01/0.09 c original problem has 6826 variables (6826 bin, 0 int, 0 impl, 0 cont) and 6826 constraints
0.01/0.09 c problem read
0.01/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, 184678 impls, 0 clqs
0.89/0.97 c (0.7s) probing: 101/6826 (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.98 c presolving (2 rounds):
0.89/0.98 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.98 c 184678 implications, 0 cliques
0.89/0.98 c presolved problem has 6826 variables (6826 bin, 0 int, 0 impl, 0 cont) and 6826 constraints
0.89/0.98 c 6326 constraints of type <and>
0.89/0.98 c 500 constraints of type <logicor>
0.89/0.98 c transformed objective value is always integral (scale: 1)
0.89/0.98 c Presolving Time: 0.64
0.89/0.98 c - non default parameters ----------------------------------------------------------------------
0.89/0.98 c # SCIP version 1.2.1.2
0.89/0.98 c
0.89/0.98 c # frequency for displaying node information lines
0.89/0.98 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.98 c display/freq = 10000
0.89/0.98 c
0.89/0.98 c # maximal time in seconds to run
0.89/0.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.98 c limits/time = 1799.92
0.89/0.98 c
0.89/0.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.98 c limits/memory = 1620
0.89/0.98 c
0.89/0.98 c # should presolving try to simplify inequalities
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/linear/simplifyinequalities = TRUE
0.89/0.98 c
0.89/0.98 c # should presolving try to simplify knapsacks
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.98 c
0.89/0.98 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.89/0.98 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.98 c heuristics/undercover/freq = 0
0.89/0.98 c
0.89/0.98 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.98 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.98 c separating/rapidlearning/freq = 0
0.89/0.98 c
0.89/0.98 c -----------------------------------------------------------------------------------------------
0.89/0.98 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 |6826 |6826 |6826 | 13k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.31 o 113
1.29/1.31 c s 1.0s| 1 | 0 | 1000 | - | 34M| 0 |1000 |6826 |6826 |6826 | 13k| 0 | 0 | 0 | 0.000000e+00 | 1.130000e+02 | Inf
5.19/5.28 c 4.6s| 1 | 0 | 2500 | - | 34M| 0 |1000 |6826 |6826 |6826 | 14k|1001 | 0 | 0 | 0.000000e+00 | 1.130000e+02 | Inf
7.09/7.13 c 6.4s| 1 | 0 | 4000 | - | 35M| 0 |1000 |6826 |6826 |6826 | 15k|2003 | 0 | 0 | 0.000000e+00 | 1.130000e+02 | Inf
7.19/7.22 o 103
7.19/7.22 c s 6.5s| 1 | 0 | 4000 | - | 35M| 0 |1000 |6826 |6826 |6826 | 15k|2003 | 0 | 0 | 0.000000e+00 | 1.030000e+02 | Inf
9.09/9.16 c 8.4s| 1 | 0 | 5500 | - | 35M| 0 |1000 |6826 |6826 |6826 | 16k|3007 | 0 | 0 | 0.000000e+00 | 1.030000e+02 | Inf
9.19/9.26 o 97
9.19/9.26 c s 8.5s| 1 | 0 | 5500 | - | 35M| 0 |1000 |6826 |6826 |6826 | 16k|3007 | 0 | 0 | 0.000000e+00 | 9.700000e+01 | Inf
11.28/11.38 c 10.6s| 1 | 0 | 7002 | - | 36M| 0 |1000 |6826 |6826 |6826 | 17k|4011 | 0 | 0 | 0.000000e+00 | 9.700000e+01 | Inf
11.38/11.48 o 95
11.38/11.48 c s10.7s| 1 | 0 | 7002 | - | 36M| 0 |1000 |6826 |6826 |6826 | 17k|4011 | 0 | 0 | 0.000000e+00 | 9.500000e+01 | Inf
18.39/18.49 c 17.6s| 1 | 0 | 10009 | - | 36M| 0 |2318 |6826 |6826 |6826 | 18k|5014 | 0 | 0 | 2.671183e+01 | 9.500000e+01 | 255.65%
36.28/36.36 c 35.3s| 1 | 0 | 12662 | - | 39M| 0 |3103 |6826 |6826 |6826 | 18k|5549 | 0 | 0 | 3.296381e+01 | 9.500000e+01 | 188.19%
80.46/80.56 c 76.6s| 1 | 0 | 14481 | - | 39M| 0 |3453 |6826 |6826 |6826 | 18k|5808 | 0 | 0 | 3.506169e+01 | 9.500000e+01 | 170.95%
136.54/136.68 c 129s| 1 | 0 | 15837 | - | 39M| 0 |3724 |6826 |6826 |6826 | 19k|5930 | 0 | 0 | 3.578901e+01 | 9.500000e+01 | 165.44%
155.75/155.88 c 149s| 1 | 0 | 16554 | - | 39M| 0 |4069 |6826 |6826 |6826 | 19k|6030 | 0 | 0 | 3.598101e+01 | 9.500000e+01 | 164.03%
177.54/177.68 c 170s| 1 | 0 | 17082 | - | 39M| 0 |4285 |6826 |6826 |6826 | 19k|6082 | 0 | 0 | 3.611041e+01 | 9.500000e+01 | 163.08%
203.44/203.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.44/203.58 c 193s| 1 | 0 | 17506 | - | 37M| 0 |4288 |6826 |6826 |6826 |6830 |6112 | 0 | 0 | 3.617330e+01 | 9.500000e+01 | 162.62%
208.63/208.74 c 198s| 1 | 0 | 17842 | - | 37M| 0 |4359 |6826 |6826 |6826 |6849 |6131 | 0 | 0 | 3.622621e+01 | 9.500000e+01 | 162.24%
213.53/213.64 c 203s| 1 | 0 | 18017 | - | 37M| 0 |4446 |6826 |6826 |6826 |6876 |6158 | 0 | 0 | 3.623656e+01 | 9.500000e+01 | 162.17%
218.74/218.90 c 208s| 1 | 0 | 18171 | - | 37M| 0 |4518 |6826 |6826 |6826 |6894 |6176 | 0 | 0 | 3.624513e+01 | 9.500000e+01 | 162.10%
223.93/224.07 c 214s| 1 | 0 | 18272 | - | 37M| 0 |4511 |6826 |6826 |6826 |6900 |6182 | 0 | 0 | 3.624807e+01 | 9.500000e+01 | 162.08%
229.02/229.14 c 219s| 1 | 0 | 18293 | - | 37M| 0 |4521 |6826 |6826 |6826 |6906 |6188 | 0 | 0 | 3.624820e+01 | 9.500000e+01 | 162.08%
234.13/234.25 c 224s| 1 | 0 | 18302 | - | 37M| 0 |4510 |6826 |6826 |6826 |6672 |6194 | 0 | 0 | 3.624820e+01 | 9.500000e+01 | 162.08%
238.82/238.92 c 228s| 1 | 0 | 18305 | - | 37M| 0 |4510 |6826 |6826 |6826 |6674 |6196 | 0 | 0 | 3.624820e+01 | 9.500000e+01 | 162.08%
243.62/243.76 c 233s| 1 | 0 | 18329 | - | 37M| 0 |4543 |6826 |6826 |6826 |6676 |6198 | 0 | 0 | 3.624866e+01 | 9.500000e+01 | 162.08%
264.92/265.03 c 254s| 1 | 2 | 18329 | - | 37M| 0 |4543 |6826 |6826 |6826 |6676 |6198 | 0 | 12 | 3.624866e+01 | 9.500000e+01 | 162.08%
1800.06/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.90 c
1800.06/1800.90 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.90 c Solving Time (sec) : 1776.39
1800.06/1800.90 c Solving Nodes : 121
1800.06/1800.90 c Primal Bound : +9.50000000000000e+01 (4 solutions)
1800.06/1800.90 c Dual Bound : +3.67060314057181e+01
1800.06/1800.90 c Gap : 158.81 %
1800.16/1800.92 s SATISFIABLE
1800.16/1800.92 v -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
1800.16/1800.92 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459
1800.16/1800.92 v -x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
1800.16/1800.92 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417
1800.16/1800.92 v -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396
1800.16/1800.92 v -x395 -x394 -x393 -x392 -x391 x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 x380 x379 -x378 -x377 -x376 -x375 x374
1800.16/1800.92 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353
1800.16/1800.92 v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332
1800.16/1800.92 v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311
1800.16/1800.92 v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290
1800.16/1800.92 v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269
1800.16/1800.92 v -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249
1800.16/1800.92 v -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228
1800.16/1800.92 v -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207
1800.16/1800.92 v -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 x190 -x189 -x188 -x187 -x186
1800.16/1800.92 v -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165
1800.16/1800.92 v -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144
1800.16/1800.92 v x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122
1800.16/1800.92 v x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101
1800.16/1800.92 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
1800.16/1800.92 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
1800.16/1800.92 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 x14
1800.16/1800.92 v x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1800.16/1800.92 c SCIP Status : solving was interrupted [user interrupt]
1800.16/1800.92 c Solving Time : 1776.39
1800.16/1800.92 c Original Problem :
1800.16/1800.92 c Problem name : HOME/instance-2666605-1276653127.opb
1800.16/1800.92 c Variables : 6826 (6826 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.16/1800.92 c Constraints : 6826 initial, 6826 maximal
1800.16/1800.92 c Presolved Problem :
1800.16/1800.92 c Problem name : t_HOME/instance-2666605-1276653127.opb
1800.16/1800.92 c Variables : 6826 (6826 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.16/1800.92 c Constraints : 6826 initial, 6826 maximal
1800.16/1800.92 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.16/1800.92 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.16/1800.92 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.16/1800.92 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.16/1800.92 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.16/1800.92 c implics : 0.00 0 0 0 0 0 0 0 0
1800.16/1800.92 c probing : 0.22 0 0 0 0 0 0 0 0
1800.16/1800.92 c and : 0.34 0 0 0 0 0 0 0 0
1800.16/1800.92 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.16/1800.92 c root node : - 0 - - 0 - - - -
1800.16/1800.92 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.16/1800.92 c integral : 0 0 0 121 0 0 0 0 0 242
1800.16/1800.92 c and : 6326 504 4609 0 0 0 1989 9172 0 0
1800.16/1800.92 c logicor : 500 19 2024 0 0 0 0 0 0 0
1800.16/1800.92 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.16/1800.92 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.16/1800.92 c integral : 447.34 0.00 0.00 447.34 0.00
1800.16/1800.92 c and : 5.54 3.63 1.91 0.00 0.00
1800.16/1800.92 c logicor : 0.01 0.00 0.01 0.00 0.00
1800.16/1800.92 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.16/1800.92 c Propagators : Time Calls Cutoffs DomReds
1800.16/1800.92 c vbounds : 0.00 2 0 0
1800.16/1800.92 c rootredcost : 0.00 0 0 0
1800.16/1800.92 c pseudoobj : 0.29 4426 0 0
1800.16/1800.92 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.16/1800.92 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.16/1800.92 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.16/1800.92 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.16/1800.92 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.16/1800.92 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.16/1800.92 c applied globally : - - - 0 0.0 - - -
1800.16/1800.92 c applied locally : - - - 0 0.0 - - -
1800.16/1800.92 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.16/1800.92 c cut pool : 0.05 18 - - 0 - (maximal pool size: 6309)
1800.16/1800.92 c redcost : 0.33 504 0 0 0 0
1800.16/1800.92 c impliedbounds : 0.17 19 0 0 6531 0
1800.16/1800.92 c intobj : 0.00 0 0 0 0 0
1800.16/1800.92 c cgmip : 0.00 0 0 0 0 0
1800.16/1800.92 c gomory : 90.93 19 0 0 2918 0
1800.16/1800.92 c strongcg : 86.28 19 0 0 3114 0
1800.16/1800.92 c cmir : 6.80 10 0 0 2500 0
1800.16/1800.92 c flowcover : 3.68 10 0 0 0 0
1800.16/1800.92 c clique : 0.39 19 0 0 22 0
1800.16/1800.92 c zerohalf : 0.00 0 0 0 0 0
1800.16/1800.92 c mcf : 0.04 1 0 0 0 0
1800.16/1800.92 c rapidlearning : 1.81 1 0 0 0 0
1800.16/1800.92 c Pricers : Time Calls Vars
1800.16/1800.92 c problem variables: 0.00 0 0
1800.16/1800.92 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.16/1800.92 c relpscost : 447.34 121 0 0 0 0 242
1800.16/1800.92 c pscost : 0.00 0 0 0 0 0 0
1800.16/1800.92 c inference : 0.00 0 0 0 0 0 0
1800.16/1800.92 c mostinf : 0.00 0 0 0 0 0 0
1800.16/1800.92 c leastinf : 0.00 0 0 0 0 0 0
1800.16/1800.92 c fullstrong : 0.00 0 0 0 0 0 0
1800.16/1800.92 c allfullstrong : 0.00 0 0 0 0 0 0
1800.16/1800.92 c random : 0.00 0 0 0 0 0 0
1800.16/1800.92 c Primal Heuristics : Time Calls Found
1800.16/1800.92 c LP solutions : 0.00 - 0
1800.16/1800.92 c pseudo solutions : 0.00 - 0
1800.16/1800.92 c crossover : 0.00 0 0
1800.16/1800.92 c oneopt : 0.06 4 0
1800.16/1800.92 c fracdiving : 41.57 1 0
1800.16/1800.92 c veclendiving : 33.38 1 0
1800.16/1800.92 c linesearchdiving : 33.45 1 0
1800.16/1800.92 c guideddiving : 37.46 1 0
1800.16/1800.92 c objpscostdiving : 548.60 1 0
1800.16/1800.92 c rootsoldiving : 10.44 1 0
1800.16/1800.92 c coefdiving : 60.17 2 0
1800.16/1800.92 c trivial : 0.03 2 0
1800.16/1800.92 c simplerounding : 0.00 0 0
1800.16/1800.92 c zirounding : 0.16 121 0
1800.16/1800.92 c rounding : 30.08 288 0
1800.16/1800.92 c shifting : 7.71 67 4
1800.16/1800.92 c intshifting : 0.00 0 0
1800.16/1800.92 c twoopt : 0.00 0 0
1800.16/1800.92 c fixandinfer : 0.00 0 0
1800.16/1800.92 c feaspump : 0.00 0 0
1800.16/1800.92 c pscostdiving : 58.29 2 0
1800.16/1800.92 c intdiving : 0.00 0 0
1800.16/1800.92 c actconsdiving : 0.00 0 0
1800.16/1800.92 c octane : 0.00 0 0
1800.16/1800.92 c rens : 0.02 0 0
1800.16/1800.92 c rins : 0.00 0 0
1800.16/1800.92 c localbranching : 0.00 0 0
1800.16/1800.92 c mutation : 0.00 0 0
1800.16/1800.92 c dins : 0.00 0 0
1800.16/1800.92 c undercover : 0.01 1 0
1800.16/1800.92 c nlp : 0.00 0 0
1800.16/1800.92 c trysol : 0.00 0 0
1800.16/1800.92 c LP : Time Calls Iterations Iter/call Iter/sec
1800.16/1800.92 c primal LP : 5.28 0 0 0.00 0.00
1800.16/1800.92 c dual LP : 261.69 542 88705 163.66 338.97
1800.16/1800.92 c lex dual LP : 0.00 0 0 0.00 -
1800.16/1800.92 c barrier LP : 0.00 0 0 0.00 -
1800.16/1800.92 c diving/probing LP: 807.70 2531 268202 105.97 332.06
1800.16/1800.92 c strong branching : 447.01 240 152816 636.73 341.86
1800.16/1800.92 c (at root node) : - 12 6752 562.67 -
1800.16/1800.92 c conflict analysis: 0.00 0 0 0.00 -
1800.16/1800.92 c B&B Tree :
1800.16/1800.92 c number of runs : 1
1800.16/1800.92 c nodes : 121
1800.16/1800.92 c nodes (total) : 121
1800.16/1800.92 c nodes left : 122
1800.16/1800.92 c max depth : 17
1800.16/1800.92 c max depth (total): 17
1800.16/1800.92 c backtracks : 9 (7.4%)
1800.16/1800.92 c delayed cutoffs : 0
1800.16/1800.92 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.16/1800.92 c avg switch length: 2.14
1800.16/1800.92 c switching time : 5.27
1800.16/1800.92 c Solution :
1800.16/1800.92 c Solutions found : 4 (4 improvements)
1800.16/1800.92 c First Solution : +1.13000000000000e+02 (in run 1, after 1 nodes, 0.90 seconds, depth 0, found by <shifting>)
1800.16/1800.92 c Primal Bound : +9.50000000000000e+01 (in run 1, after 1 nodes, 10.62 seconds, depth 0, found by <shifting>)
1800.16/1800.92 c Dual Bound : +3.67060314057181e+01
1800.16/1800.92 c Gap : 158.81 %
1800.16/1800.92 c Root Dual Bound : +3.62486635409283e+01
1800.16/1800.92 c Root Iterations : 18329
1800.25/1801.02 c Time complete: 1800.28.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666605-1276653127/watcher-2666605-1276653127 -o /tmp/evaluation-result-2666605-1276653127/solver-2666605-1276653127 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666605-1276653127.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: 1.00 1.00 1.00 2/106 13085
/proc/meminfo: memFree=1797076/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=6696 CPUtime=0
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 997 0 0 0 0 0 0 0 24 0 1 0 6605234 6856704 917 1992294400 4194304 8223781 140734743459408 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13085/statm: 1931 927 348 984 0 944 0
[startup+0.0270841 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13085
/proc/meminfo: memFree=1797076/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=11400 CPUtime=0.01
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 2164 0 0 0 1 0 0 0 24 0 1 0 6605234 11673600 2084 1992294400 4194304 8223781 140734743459408 18446744073709551615 4908217 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13085/statm: 2850 2084 366 984 0 1863 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11400
[startup+0.102094 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13085
/proc/meminfo: memFree=1797076/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=21436 CPUtime=0.09
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 4879 0 0 0 8 1 0 0 24 0 1 0 6605234 21950464 4436 1992294400 4194304 8223781 140734743459408 18446744073709551615 6205568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 5359 4449 381 984 0 4372 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21436
[startup+0.301115 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13085
/proc/meminfo: memFree=1797076/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=40272 CPUtime=0.29
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 9350 0 0 0 26 3 0 0 25 0 1 0 6605234 41238528 8906 1992294400 4194304 8223781 140734743459408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 10068 8906 427 984 0 9081 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40272
[startup+0.70016 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13085
/proc/meminfo: memFree=1797076/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=42584 CPUtime=0.69
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 10965 0 0 0 50 19 0 0 25 0 1 0 6605234 43606016 9493 1992294400 4194304 8223781 140734743459408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 10646 9493 447 984 0 9659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42584
[startup+1.50025 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13086
/proc/meminfo: memFree=1757760/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=69648 CPUtime=1.49
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 20446 0 0 0 122 27 0 0 25 0 1 0 6605234 71319552 16057 1992294400 4194304 8223781 140734743459408 18446744073709551615 6054124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 17412 16057 553 984 0 16425 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69648
[startup+3.10042 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13086
/proc/meminfo: memFree=1733952/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=98304 CPUtime=3.09
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 27468 0 0 0 261 48 0 0 25 0 1 0 6605234 100663296 22661 1992294400 4194304 8223781 140734743459408 18446744073709551615 4223052 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 24576 22661 578 984 0 23589 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98304
[startup+6.30077 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13086
/proc/meminfo: memFree=1730356/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=74596 CPUtime=6.29
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 30443 0 0 0 566 63 0 0 25 0 1 0 6605234 76386304 17196 1992294400 4194304 8223781 140734743459408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 18649 17196 606 984 0 17662 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 74596
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13088
/proc/meminfo: memFree=1724900/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=81440 CPUtime=12.68
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 67082 0 0 0 1189 79 0 0 25 0 1 0 6605234 83394560 18427 1992294400 4194304 8223781 140734743459408 18446744073709551615 5719176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 20360 18427 598 984 0 19373 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 81440
[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13088
/proc/meminfo: memFree=1722668/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=84184 CPUtime=25.48
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 72970 0 0 0 2462 86 0 0 25 0 1 0 6605234 86204416 19010 1992294400 4194304 8223781 140734743459408 18446744073709551615 6054173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 21046 19010 601 984 0 20059 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84184
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13088
/proc/meminfo: memFree=1714980/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=93264 CPUtime=51.07
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 373986 0 0 0 4890 217 0 0 25 0 1 0 6605234 95502336 20899 1992294400 4194304 8223781 140734743459408 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23316 20910 601 984 0 22329 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 93264
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13090
/proc/meminfo: memFree=1714112/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=93876 CPUtime=102.27
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 1131902 0 0 0 9698 529 0 0 25 0 1 0 6605234 96129024 21124 1992294400 4194304 8223781 140734743459408 18446744073709551615 6299725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23469 21124 596 984 0 22482 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 93876
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13092
/proc/meminfo: memFree=1713492/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=94548 CPUtime=162.24
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 1574231 0 0 0 15505 719 0 0 25 0 1 0 6605234 96817152 21291 1992294400 4194304 8223781 140734743459408 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23637 21291 596 984 0 22650 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 94548
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13092
/proc/meminfo: memFree=1714856/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=89900 CPUtime=222.23
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 2490401 0 0 0 21195 1028 0 0 25 0 1 0 6605234 92057600 20896 1992294400 4194304 8223781 140734743459408 18446744073709551615 6054156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 22475 20896 596 984 0 21488 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 89900
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13094
/proc/meminfo: memFree=1714360/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=89264 CPUtime=282.21
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 2559582 0 0 0 27146 1075 0 0 25 0 1 0 6605234 91406336 20763 1992294400 4194304 8223781 140734743459408 18446744073709551615 6614966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 22316 20763 592 984 0 21329 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 89264
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13096
/proc/meminfo: memFree=1714484/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=89524 CPUtime=342.19
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 2647768 0 0 0 33091 1128 0 0 25 0 1 0 6605234 91672576 20802 1992294400 4194304 8223781 140734743459408 18446744073709551615 6536439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 22381 20802 592 984 0 21394 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 89524
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13098
/proc/meminfo: memFree=1715228/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=90620 CPUtime=402.17
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 2731121 0 0 0 39037 1180 0 0 25 0 1 0 6605234 92794880 21059 1992294400 4194304 8223781 140734743459408 18446744073709551615 6567149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 22655 21059 592 984 0 21668 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 90620
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13100
/proc/meminfo: memFree=1715352/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=89692 CPUtime=462.16
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 2816154 0 0 0 44985 1231 0 0 25 0 1 0 6605234 91844608 20860 1992294400 4194304 8223781 140734743459408 18446744073709551615 6614978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 22423 20860 592 984 0 21436 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 89692
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13100
/proc/meminfo: memFree=1714608/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=89724 CPUtime=522.14
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 2909094 0 0 0 50928 1286 0 0 25 0 1 0 6605234 91877376 20947 1992294400 4194304 8223781 140734743459408 18446744073709551615 6560108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 22431 20947 592 984 0 21444 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 89724
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13111
/proc/meminfo: memFree=1715104/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=89924 CPUtime=582.12
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 2990249 0 0 0 56874 1338 0 0 25 0 1 0 6605234 92082176 20906 1992294400 4194304 8223781 140734743459408 18446744073709551615 6562466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 22481 20906 592 984 0 21494 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 89924
[startup+642.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 13613
/proc/meminfo: memFree=1704224/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=89360 CPUtime=641.87
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 3080974 0 0 0 62790 1397 0 0 25 0 1 0 6605234 91504640 20770 1992294400 4194304 8223781 140734743459408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 22340 20770 592 984 0 21353 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 89360
[startup+702.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13619
/proc/meminfo: memFree=1701744/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=91940 CPUtime=881.8
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 3625832 0 0 0 86501 1679 0 0 25 0 1 0 6605234 94146560 21448 1992294400 4194304 8223781 140734743459408 18446744073709551615 4561255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 22985 21448 593 984 0 21998 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 91940
[startup+942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13621
/proc/meminfo: memFree=1702372/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=91824 CPUtime=941.79
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 3721173 0 0 0 92444 1735 0 0 25 0 1 0 6605234 94027776 21347 1992294400 4194304 8223781 140734743459408 18446744073709551615 6446774 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 22956 21347 593 984 0 21969 0
Current children cumulated CPU time (s) 941.79
Current children cumulated vsize (KiB) 91824
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13623
/proc/meminfo: memFree=1701628/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=92396 CPUtime=1001.77
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 3774516 0 0 0 98405 1772 0 0 25 0 1 0 6605234 94613504 21538 1992294400 4194304 8223781 140734743459408 18446744073709551615 6564623 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23099 21538 595 984 0 22112 0
Current children cumulated CPU time (s) 1001.77
Current children cumulated vsize (KiB) 92396
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13625
/proc/meminfo: memFree=1701380/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=92396 CPUtime=1061.75
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 3807341 0 0 0 104378 1797 0 0 25 0 1 0 6605234 94613504 21535 1992294400 4194304 8223781 140734743459408 18446744073709551615 6564623 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23099 21535 595 984 0 22112 0
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (KiB) 92396
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13625
/proc/meminfo: memFree=1701752/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=92396 CPUtime=1121.73
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 3838003 0 0 0 110349 1824 0 0 25 0 1 0 6605234 94613504 21548 1992294400 4194304 8223781 140734743459408 18446744073709551615 6565994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23099 21548 595 984 0 22112 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 92396
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13627
/proc/meminfo: memFree=1701752/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=92396 CPUtime=1181.72
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 3869480 0 0 0 116322 1850 0 0 25 0 1 0 6605234 94613504 21513 1992294400 4194304 8223781 140734743459408 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23099 21513 595 984 0 22112 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 92396
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13629
/proc/meminfo: memFree=1701752/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=92396 CPUtime=1241.7
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 3901023 0 0 0 122296 1874 0 0 25 0 1 0 6605234 94613504 21504 1992294400 4194304 8223781 140734743459408 18446744073709551615 6563318 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23099 21504 595 984 0 22112 0
Current children cumulated CPU time (s) 1241.7
Current children cumulated vsize (KiB) 92396
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13631
/proc/meminfo: memFree=1701752/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=92396 CPUtime=1301.69
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 3934534 0 0 0 128269 1900 0 0 25 0 1 0 6605234 94613504 21454 1992294400 4194304 8223781 140734743459408 18446744073709551615 6562978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23099 21454 595 984 0 22112 0
Current children cumulated CPU time (s) 1301.69
Current children cumulated vsize (KiB) 92396
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13633
/proc/meminfo: memFree=1701752/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=92396 CPUtime=1361.67
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 3965777 0 0 0 134240 1927 0 0 25 0 1 0 6605234 94613504 21424 1992294400 4194304 8223781 140734743459408 18446744073709551615 6563306 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23099 21424 595 984 0 22112 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 92396
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13633
/proc/meminfo: memFree=1701752/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=92396 CPUtime=1421.66
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 4000997 0 0 0 140212 1954 0 0 25 0 1 0 6605234 94613504 21409 1992294400 4194304 8223781 140734743459408 18446744073709551615 6618062 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23099 21409 595 984 0 22112 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 92396
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13635
/proc/meminfo: memFree=1701752/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=92396 CPUtime=1481.64
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 4032928 0 0 0 146180 1984 0 0 25 0 1 0 6605234 94613504 21399 1992294400 4194304 8223781 140734743459408 18446744073709551615 6563261 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23099 21399 595 984 0 22112 0
Current children cumulated CPU time (s) 1481.64
Current children cumulated vsize (KiB) 92396
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13637
/proc/meminfo: memFree=1702124/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=91528 CPUtime=1541.62
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 4142258 0 0 0 152116 2046 0 0 25 0 1 0 6605234 93724672 21257 1992294400 4194304 8223781 140734743459408 18446744073709551615 6560187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 22882 21257 595 984 0 21895 0
Current children cumulated CPU time (s) 1541.62
Current children cumulated vsize (KiB) 91528
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13639
/proc/meminfo: memFree=1701876/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=91904 CPUtime=1601.61
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 4278360 0 0 0 158040 2121 0 0 25 0 1 0 6605234 94109696 21412 1992294400 4194304 8223781 140734743459408 18446744073709551615 6251384 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 22976 21412 595 984 0 21989 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 91904
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13641
/proc/meminfo: memFree=1701504/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=92812 CPUtime=1661.59
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 4440033 0 0 0 163955 2204 0 0 25 0 1 0 6605234 95039488 21533 1992294400 4194304 8223781 140734743459408 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23203 21533 595 984 0 22216 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 92812
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13641
/proc/meminfo: memFree=1700016/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=94632 CPUtime=1721.57
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 4610029 0 0 0 169870 2287 0 0 25 0 1 0 6605234 96903168 22067 1992294400 4194304 8223781 140734743459408 18446744073709551615 6568504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23658 22067 595 984 0 22671 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 94632
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13643
/proc/meminfo: memFree=1699272/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=94684 CPUtime=1781.56
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 4712976 0 0 0 175809 2347 0 0 25 0 1 0 6605234 96956416 22098 1992294400 4194304 8223781 140734743459408 18446744073709551615 6358975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23671 22098 595 984 0 22684 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 94684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13643
/proc/meminfo: memFree=1698900/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=94884 CPUtime=1800.06
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 4753673 0 0 0 177637 2369 0 0 25 0 1 0 6605234 97161216 22143 1992294400 4194304 8223781 140734743459408 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13085/statm: 23721 22143 595 984 0 22734 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 94884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13643
/proc/meminfo: memFree=1698900/2059040 swapFree=4192956/4192956
[pid=13085] ppid=13083 vsize=83324 CPUtime=1800.25
/proc/13085/stat : 13085 (pbscip.linux.x8) R 13083 13085 11955 0 -1 4202496 4754640 0 0 0 177655 2370 0 0 25 0 1 0 6605234 85323776 19182 1992294400 4194304 8223781 140734743459408 18446744073709551615 5953338 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13085/statm: 20831 19182 597 984 0 19844 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 83324
Child status: 0
Real time (s): 1801.03
CPU time (s): 1800.29
CPU user time (s): 1776.57
CPU system time (s): 23.7184
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 100672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.57
system time used= 23.7184
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4754644
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= 1
involuntary context switches= 16289
runsolver used 2.99554 second user time and 8.50371 second system time
The end