0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-3731045-1338686054.opb>
0.00/0.01 c original problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 1059 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 0 upgd conss, 336 impls, 0 clqs
0.00/0.03 c (round 2) 0 del vars, 168 del conss, 0 chg bounds, 81 chg sides, 81 chg coeffs, 881 upgd conss, 336 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 168 del conss, 0 chg bounds, 84 chg sides, 87 chg coeffs, 881 upgd conss, 342 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 168 del conss, 0 chg bounds, 85 chg sides, 88 chg coeffs, 881 upgd conss, 342 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/464 (21.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (5 rounds):
0.00/0.03 c 0 deleted vars, 168 deleted constraints, 0 tightened bounds, 0 added holes, 85 changed sides, 88 changed coefficients
0.00/0.03 c 342 implications, 0 cliques
0.00/0.03 c presolved problem has 464 variables (464 bin, 0 int, 0 impl, 0 cont) and 894 constraints
0.00/0.03 c 673 constraints of type <knapsack>
0.00/0.03 c 3 constraints of type <setppc>
0.00/0.03 c 10 constraints of type <linear>
0.00/0.03 c 208 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c OPT-LIN
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = c 13950
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = c 1791
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = c 10000
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving problem
0.00/0.03 c
0.03/0.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.04 c 0.0s| 1 | 0 | 304 |3010k| 0 | 196 | 464 | 894 | 894 | 464 | 894 | 0 | 0 | 0 | 9.700000e+01 | -- | Inf
0.09/0.17 c 0.1s| 1 | 0 | 1363 |3613k| 0 | 289 | 464 | 894 | 894 | 464 |1128 | 234 | 0 | 0 | 9.800000e+01 | -- | Inf
0.29/0.33 c 0.3s| 1 | 0 | 1802 |4606k| 0 | 276 | 464 | 894 | 894 | 464 |1348 | 454 | 0 | 0 | 9.900000e+01 | -- | Inf
0.39/0.49 c 0.5s| 1 | 0 | 2291 |5712k| 0 | 273 | 464 | 894 | 894 | 464 |1508 | 614 | 0 | 0 | 9.900000e+01 | -- | Inf
0.69/0.77 c 0.7s| 1 | 0 | 2979 |5871k| 0 | 267 | 464 | 894 | 894 | 464 |1620 | 726 | 0 | 0 | 9.900000e+01 | -- | Inf
0.99/1.01 c 1.0s| 1 | 0 | 3462 |6078k| 0 | 268 | 464 | 894 | 894 | 464 |1710 | 816 | 0 | 0 | 9.900000e+01 | -- | Inf
1.29/1.30 c 1.3s| 1 | 0 | 4123 |6185k| 0 | 265 | 464 | 894 | 894 | 464 |1765 | 871 | 0 | 0 | 9.900000e+01 | -- | Inf
1.49/1.58 c 1.5s| 1 | 0 | 4588 |7089k| 0 | 281 | 464 | 894 | 894 | 464 |1824 | 930 | 0 | 0 | 9.900000e+01 | -- | Inf
9.29/9.33 c 9.2s| 1 | 2 | 4588 |7090k| 0 | 281 | 464 | 894 | 894 | 464 |1824 | 930 | 0 | 56 | 9.900000e+01 | -- | Inf
314.64/314.73 c 313s| 10000 | 8032 | 2000k| 15M| 52 | 154 | 464 |1846 |1351 | 464 |1362 | 930 |5171 |3117 | 9.912500e+01 | -- | Inf
529.01/529.14 c 526s| 20000 | 15241 | 3680k| 24M| 57 | 219 | 464 |2131 |1714 | 464 |1362 | 930 | 12k|4048 | 9.921429e+01 | -- | Inf
704.27/704.44 c 700s| 30000 | 20855 | 5050k| 31M| 64 | 209 | 464 |2465 |2053 | 464 |1362 | 930 | 22k|4951 | 9.939256e+01 | -- | Inf
840.25/840.42 o 115
840.25/840.42 c * 835s| 39574 | 21939 | 6135k| 35M| 64 | - | 464 |2961 | 592 | 464 |1362 | 930 | 35k|5497 | 9.950000e+01 | 1.150000e+02 | 15.58%
845.25/845.41 c 840s| 40000 | 22094 | 6176k| 35M| 64 | 119 | 464 |2884 |1071 | 464 |1362 | 930 | 35k|5497 | 9.950000e+01 | 1.150000e+02 | 15.58%
950.53/950.71 c 945s| 50000 | 24985 | 7028k| 40M| 64 | - | 464 |2796 | 829 | 0 | 0 | 930 | 47k|6045 | 9.966667e+01 | 1.150000e+02 | 15.38%
1035.31/1035.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1035.31/1035.57 c 1029s| 60000 | 27042 | 7742k| 44M| 69 | 77 | 464 |3294 | 853 | 464 |1362 | 930 | 60k|6285 | 9.983333e+01 | 1.150000e+02 | 15.19%
1123.80/1124.01 c 1117s| 70000 | 28798 | 8456k| 47M| 69 | 138 | 464 |3164 |1053 | 464 |1362 | 930 | 73k|6717 | 1.000000e+02 | 1.150000e+02 | 15.00%
1205.59/1205.89 c 1198s| 80000 | 30363 | 9131k| 50M| 69 | - | 464 |3539 | 995 | 464 |1362 | 930 | 86k|6922 | 1.001183e+02 | 1.150000e+02 | 14.86%
1287.78/1288.01 c 1280s| 90000 | 31907 | 9802k| 53M| 69 | - | 464 |3730 |1215 | 464 |1362 | 930 | 99k|7235 | 1.002439e+02 | 1.150000e+02 | 14.72%
1365.87/1366.12 c 1357s|100000 | 33359 | 10437k| 56M| 73 | 156 | 464 |3926 |1661 | 464 |1362 | 930 | 112k|7546 | 1.003333e+02 | 1.150000e+02 | 14.62%
1432.45/1432.78 c 1423s|110000 | 34646 | 10990k| 58M| 73 | - | 464 |3584 |1269 | 464 |1362 | 930 | 125k|7781 | 1.004773e+02 | 1.150000e+02 | 14.45%
1497.85/1498.19 c 1488s|120000 | 35544 | 11535k| 61M| 73 | 54 | 464 |3985 | 855 | 464 |1362 | 930 | 139k|8006 | 1.006429e+02 | 1.150000e+02 | 14.27%
1554.43/1554.76 c 1544s|130000 | 36458 | 12007k| 63M| 73 | - | 464 |4099 |1555 | 0 | 0 | 930 | 153k|8233 | 1.008417e+02 | 1.150000e+02 | 14.04%
1616.32/1616.64 c 1606s|140000 | 37400 | 12520k| 64M| 73 | - | 464 |3949 |1640 | 464 |1362 | 930 | 167k|8482 | 1.010000e+02 | 1.150000e+02 | 13.86%
1693.21/1693.54 c 1682s|150000 | 38892 | 13155k| 67M| 73 | - | 464 |3707 | 967 | 464 |1362 | 930 | 179k|8666 | 1.010000e+02 | 1.150000e+02 | 13.86%
1769.30/1769.66 c 1758s|160000 | 40618 | 13781k| 70M| 75 | 150 | 464 |3566 |1286 | 464 |1362 | 930 | 192k|8849 | 1.010575e+02 | 1.150000e+02 | 13.80%
1800.09/1800.41 c
1800.09/1800.41 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.41 c Solving Time (sec) : 1788.48
1800.09/1800.41 c Solving Nodes : 165120
1800.09/1800.41 c Primal Bound : +1.15000000000000e+02 (1 solutions)
1800.09/1800.41 c Dual Bound : +1.01125000000000e+02
1800.09/1800.41 c Gap : 13.72 %
1800.09/1800.41 c NODE 165120
1800.09/1800.41 c DUAL BOUND 101.125
1800.09/1800.41 c PRIMAL BOUND 115
1800.09/1800.41 c GAP 0.137206
1800.09/1800.41 s SATISFIABLE
1800.09/1800.41 v x336 x335 -x334 x333 x332 x331 x330 -x329 x328 -x327 x326 x325 x324 -x323 x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 x313
1800.09/1800.41 v x312 x311 x310 x309 x308 x307 x306 x305 x304 -x303 -x302 -x301 x300 x299 -x298 -x297 -x296 -x295 -x294 x293 x292 -x291 -x290
1800.09/1800.41 v -x289 x288 x287 -x286 x285 -x284 -x283 -x282 -x281 -x280 x279 x278 -x277 x276 -x275 x274 -x273 -x272 x271 -x270 x269 -x268
1800.09/1800.41 v -x267 x266 -x265 x264 -x263 x262 -x261 x260 x259 -x258 x257 -x256 x255 x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 x245
1800.09/1800.41 v -x244 x243 -x242 -x241 -x240 x239 -x238 -x237 x236 x235 x234 x233 x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223
1800.09/1800.41 v -x222 -x221 -x220 x219 x218 x217 -x216 -x215 x214 x213 x212 x211 x210 -x209 -x208 x207 x206 x205 -x204 -x203 x202 -x201 x200
1800.09/1800.41 v x199 x198 x197 x196 -x195 -x194 x193 -x192 x191 -x190 x189 x188 -x187 x186 -x185 x184 x183 -x182 x181 -x180 x179 -x178 x177
1800.09/1800.41 v -x176 -x175 x174 -x173 x172 -x171 -x170 x169 x168 x167 -x166 x165 -x164 x163 x162 -x161 x160 x159 x158 x157 x156 x155 x154
1800.09/1800.41 v x153 x152 x151 x150 x149 x148 -x147 x146 x145 -x144 -x143 -x142 x141 x140 x139 x138 x137 x136 -x135 x134 -x133 x132 x131 x130
1800.09/1800.41 v x129 -x128 x127 x126 x125 x124 -x123 -x122 -x121 x120 x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107
1800.09/1800.41 v x106 x105 x104 -x103 x102 x101 x100 x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 x88 -x87 -x86 x85 -x84 -x83 x82
1800.09/1800.41 v -x81 x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 x60 x59 x58 -x57 -x56 -x55
1800.09/1800.41 v -x54 -x53 -x52 x51 -x50 x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 x39 x38 x37 -x36 -x35 x34 -x33 x32 x31 x30 x29 x28
1800.09/1800.41 v x27 x26 x25 -x24 x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 x14 -x13 x12 x11 x10 x9 x8 x7 -x6 x5 -x4 x3 x2 -x1 -x456 -x455
1800.09/1800.41 v -x454 x453 -x452 -x451 -x450 -x449 x448 -x447 x446 -x445 -x444 x443 x442 x441 -x440 x439 x438 x437 -x436 x435 -x434 -x433 -x432
1800.09/1800.41 v -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 -x423 x422 -x421 -x420 -x419 x418 x417 -x416 -x415 -x414 -x413 -x412 x411 x410
1800.09/1800.41 v -x409 -x408 x407 x406 x405 -x404 x403 x402 x401 -x400 x399 -x398 x397 -x396 -x395 x394 -x393 -x392 x391 -x390 x389 x388 x387
1800.09/1800.41 v -x386 -x385 x384 x383 -x382 -x381 -x380 x379 x378 -x377 x376 -x375 -x374 -x373 -x372 x371 -x370 x369 -x368 x367 -x366 x365
1800.09/1800.41 v x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 x355 x354 -x353 x352 -x351 x350 -x349 x348 x347 -x346 x345 -x344 -x343
1800.09/1800.41 v -x342 -x341 -x340 -x339 x338 x337 -x464 x463 x462 x461 -x460 -x459 x458 x457
1800.09/1800.41 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.41 c Solving Time : 1788.48
1800.09/1800.41 c Original Problem :
1800.09/1800.41 c Problem name : HOME/instance-3731045-1338686054.opb
1800.09/1800.41 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.41 c Constraints : 1059 initial, 1059 maximal
1800.09/1800.41 c Presolved Problem :
1800.09/1800.41 c Problem name : t_HOME/instance-3731045-1338686054.opb
1800.09/1800.41 c Variables : 464 (464 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.41 c Constraints : 894 initial, 4314 maximal
1800.09/1800.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.41 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.41 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.41 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.41 c implics : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.41 c probing : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.41 c knapsack : 0.00 0 0 0 0 0 0 4 7
1800.09/1800.41 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.41 c linear : 0.01 0 0 0 0 0 168 81 81
1800.09/1800.41 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.41 c root node : - 0 - - 0 - - - -
1800.09/1800.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.41 c integral : 0 0 0 116905 0 24 1783 0 0 231836
1800.09/1800.41 c knapsack : 673 7 892546 1 0 18219 1365490 802 0 0
1800.09/1800.41 c setppc : 3 7 62799 0 0 0 724 0 0 0
1800.09/1800.41 c linear : 10 7 874324 0 0 7888 204309 5 0 0
1800.09/1800.41 c logicor : 208+ 7 680551 1 0 16344 888399 0 0 0
1800.09/1800.41 c countsols : 0 0 0 1 0 0 0 0 0 0
1800.09/1800.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.41 c integral : 133.10 0.00 0.00 133.10 0.00
1800.09/1800.41 c knapsack : 11.14 0.01 11.13 0.00 0.00
1800.09/1800.41 c setppc : 0.01 0.00 0.01 0.00 0.00
1800.09/1800.41 c linear : 6.54 0.01 6.53 0.00 0.00
1800.09/1800.41 c logicor : 9.15 0.00 9.15 0.00 0.00
1800.09/1800.41 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.41 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.41 c rootredcost : 0.11 1 0 0
1800.09/1800.41 c pseudoobj : 0.34 893348 0 1260
1800.09/1800.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.41 c propagation : 1.53 42451 42359 330517 27.3 11482 11.9 -
1800.09/1800.41 c infeasible LP : 1.21 15753 15753 81152 20.7 2815 8.8 0
1800.09/1800.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.41 c applied globally : - - - 198702 19.2 - - -
1800.09/1800.41 c applied locally : - - - 0 0.0 - - -
1800.09/1800.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.41 c cut pool : 0.00 6 - - 742 - (maximal pool size: 4105)
1800.09/1800.41 c redcost : 1.30 130424 0 40267 0 0
1800.09/1800.41 c impliedbounds : 0.00 7 0 0 0 0
1800.09/1800.41 c intobj : 0.00 0 0 0 0 0
1800.09/1800.41 c gomory : 0.34 7 0 0 1768 0
1800.09/1800.41 c strongcg : 0.26 7 0 0 2223 0
1800.09/1800.41 c cmir : 0.10 7 0 0 759 0
1800.09/1800.41 c flowcover : 0.13 7 0 0 1204 0
1800.09/1800.41 c clique : 0.00 1 0 0 0 0
1800.09/1800.41 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.41 c mcf : 0.00 1 0 0 0 0
1800.09/1800.41 c Pricers : Time Calls Vars
1800.09/1800.41 c problem variables: 0.00 0 0
1800.09/1800.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.41 c relpscost : 133.02 116904 24 1783 0 0 231836
1800.09/1800.41 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.41 c inference : 0.00 0 0 0 0 0 0
1800.09/1800.41 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.41 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.41 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.41 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.41 c random : 0.00 0 0 0 0 0 0
1800.09/1800.41 c Primal Heuristics : Time Calls Found
1800.09/1800.41 c LP solutions : 0.00 - 1
1800.09/1800.41 c pseudo solutions : 0.00 - 0
1800.09/1800.41 c crossover : 0.03 0 0
1800.09/1800.41 c oneopt : 0.03 1 0
1800.09/1800.41 c rootsoldiving : 15.80 188 0
1800.09/1800.41 c fracdiving : 42.86 772 0
1800.09/1800.41 c veclendiving : 50.30 772 0
1800.09/1800.41 c linesearchdiving : 45.17 772 0
1800.09/1800.41 c guideddiving : 36.88 772 0
1800.09/1800.41 c pscostdiving : 52.55 772 0
1800.09/1800.41 c coefdiving : 51.41 773 0
1800.09/1800.41 c simplerounding : 0.03 0 0
1800.09/1800.41 c rounding : 0.44 4958 0
1800.09/1800.41 c shifting : 1.78 1514 0
1800.09/1800.41 c intshifting : 0.00 0 0
1800.09/1800.41 c fixandinfer : 0.00 0 0
1800.09/1800.41 c feaspump : 16.02 167 0
1800.09/1800.41 c intdiving : 0.00 0 0
1800.09/1800.41 c actconsdiving : 0.00 0 0
1800.09/1800.41 c objpscostdiving : 17.42 106 0
1800.09/1800.41 c octane : 0.00 0 0
1800.09/1800.41 c rens : 0.01 0 0
1800.09/1800.41 c rins : 0.00 0 0
1800.09/1800.41 c localbranching : 0.00 0 0
1800.09/1800.41 c mutation : 0.00 0 0
1800.09/1800.41 c dins : 0.00 0 0
1800.09/1800.41 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.41 c primal LP : 0.00 0 0 0.00 -
1800.09/1800.41 c dual LP : 1258.36 145860 11406747 78.20 9064.77
1800.09/1800.41 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.41 c diving/probing LP: 305.07 102211 2625011 25.68 8604.62
1800.09/1800.41 c strong branching : 128.31 9027 1047888 116.08 8166.85
1800.09/1800.41 c (at root node) : - 56 41878 747.82 -
1800.09/1800.41 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.41 c B&B Tree :
1800.09/1800.41 c number of runs : 1
1800.09/1800.41 c nodes : 165120
1800.09/1800.41 c nodes (total) : 165120
1800.09/1800.41 c nodes left : 41090
1800.09/1800.41 c max depth : 75
1800.09/1800.41 c max depth (total): 75
1800.09/1800.41 c backtracks : 34339 (20.8%)
1800.09/1800.41 c delayed cutoffs : 22954
1800.09/1800.41 c repropagations : 134786 (649933 domain reductions, 9546 cutoffs)
1800.09/1800.41 c avg switch length: 7.59
1800.09/1800.41 c switching time : 11.67
1800.09/1800.41 c Solution :
1800.09/1800.41 c Solutions found : 1 (1 improvements)
1800.09/1800.41 c Primal Bound : +1.15000000000000e+02 (in run 1, after 39574 nodes, 834.97 seconds, depth 56, found by <relaxation>)
1800.09/1800.41 c Dual Bound : +1.01125000000000e+02
1800.09/1800.41 c Gap : 13.72 %
1800.09/1800.41 c Root Dual Bound : +9.90000000000000e+01
1800.20/1800.53 c Time complete: 1800.23.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731045-1338686054/watcher-3731045-1338686054 -o /tmp/evaluation-result-3731045-1338686054/solver-3731045-1338686054 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3731045-1338686054.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 1.98 3/174 23976
/proc/meminfo: memFree=22829468/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=8560 CPUtime=0 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 1510 0 0 0 0 0 0 0 20 0 1 0 334734010 8765440 1462 33554432000 4194304 7823515 140734526864496 140737261554632 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 2140 1462 354 887 0 1250 0
[startup+0.040805 s]
/proc/loadavg: 2.02 2.01 1.98 3/174 23976
/proc/meminfo: memFree=22829468/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=16644 CPUtime=0.03 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 3635 0 0 0 3 0 0 0 20 0 1 0 334734010 17043456 3234 33554432000 4194304 7823515 140734526864496 140737261554632 5878822 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 4161 3265 489 887 0 3271 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16644
[startup+0.100324 s]
/proc/loadavg: 2.02 2.01 1.98 3/174 23976
/proc/meminfo: memFree=22829468/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=17684 CPUtime=0.09 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 4075 0 0 0 9 0 0 0 20 0 1 0 334734010 18108416 3638 33554432000 4194304 7823515 140734526864496 140737261554632 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 4421 3638 533 887 0 3531 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17684
[startup+0.30025 s]
/proc/loadavg: 2.02 2.01 1.98 3/174 23976
/proc/meminfo: memFree=22829468/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=21812 CPUtime=0.29 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 5163 0 0 0 28 1 0 0 20 0 1 0 334734010 22335488 4694 33554432000 4194304 7823515 140734526864496 140737261554632 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 5453 4694 559 887 0 4563 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21812
[startup+0.700238 s]
/proc/loadavg: 2.02 2.01 1.98 3/174 23976
/proc/meminfo: memFree=22829468/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=28028 CPUtime=0.69 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 6707 0 0 0 68 1 0 0 20 0 1 0 334734010 28700672 6199 33554432000 4194304 7823515 140734526864496 140734526859688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 7007 6199 559 887 0 6117 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28028
[startup+1.50026 s]
/proc/loadavg: 2.02 2.01 1.98 3/175 23977
/proc/meminfo: memFree=22806892/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=32124 CPUtime=1.49 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 7641 0 0 0 147 2 0 0 20 0 1 0 334734010 32894976 7118 33554432000 4194304 7823515 140734526864496 140734526859688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 8031 7118 559 887 0 7141 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32124
[startup+3.10023 s]
/proc/loadavg: 2.02 2.01 1.98 3/175 23977
/proc/meminfo: memFree=22800940/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=34172 CPUtime=3.09 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 8162 0 0 0 306 3 0 0 20 0 1 0 334734010 34992128 7639 33554432000 4194304 7823515 140734526864496 140734526859192 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 8543 7639 562 887 0 7653 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34172
[startup+6.30023 s]
/proc/loadavg: 2.02 2.01 1.98 3/175 23977
/proc/meminfo: memFree=22800444/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=34172 CPUtime=6.29 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 8162 0 0 0 625 4 0 0 20 0 1 0 334734010 34992128 7639 33554432000 4194304 7823515 140734526864496 140734526859192 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 8543 7639 562 887 0 7653 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34172
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 1.98 3/175 23977
/proc/meminfo: memFree=22799956/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=34172 CPUtime=12.68 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 8163 0 0 0 1261 7 0 0 20 0 1 0 334734010 34992128 7640 33554432000 4194304 7823515 140734526864496 140734526859192 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 8543 7640 563 887 0 7653 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34172
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 1.98 3/175 23977
/proc/meminfo: memFree=22800452/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=34172 CPUtime=25.48 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 8171 0 0 0 2535 13 0 0 20 0 1 0 334734010 34992128 7648 33554432000 4194304 7823515 140734526864496 140734526859832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 8543 7648 570 887 0 7653 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34172
[startup+51.1002 s]
/proc/loadavg: 2.01 2.00 1.98 3/175 23977
/proc/meminfo: memFree=22800576/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=34172 CPUtime=51.09 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 8176 0 0 0 5079 30 0 0 20 0 1 0 334734010 34992128 7653 33554432000 4194304 7823515 140734526864496 140734526859832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 8543 7653 570 887 0 7653 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34172
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 23977
/proc/meminfo: memFree=22800080/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=34172 CPUtime=102.28 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 8180 0 0 0 10168 60 0 0 20 0 1 0 334734010 34992128 7657 33554432000 4194304 7823515 140734526864496 140734526859832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 8543 7657 570 887 0 7653 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 34172
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 23977
/proc/meminfo: memFree=22798344/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=35668 CPUtime=162.27 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 8566 0 0 0 16131 96 0 0 20 0 1 0 334734010 36524032 8043 33554432000 4194304 7823515 140734526864496 140734526859832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 8917 8043 570 887 0 8027 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 35668
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 23978
/proc/meminfo: memFree=22796236/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=37848 CPUtime=222.26 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 9114 0 0 0 22092 134 0 0 20 0 1 0 334734010 38756352 8591 33554432000 4194304 7823515 140734526864496 140734526859832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 9462 8591 570 887 0 8572 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 37848
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 23978
/proc/meminfo: memFree=22794500/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=39440 CPUtime=282.25 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 9532 0 0 0 28051 174 0 0 20 0 1 0 334734010 40386560 9009 33554432000 4194304 7823515 140734526864496 140734526860296 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 9860 9009 570 887 0 8970 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 39440
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 23978
/proc/meminfo: memFree=22791524/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=42436 CPUtime=342.23 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 10275 0 0 0 34009 214 0 0 20 0 1 0 334734010 43454464 9752 33554432000 4194304 7823515 140734526864496 140734526859832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 10609 9752 570 887 0 9719 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 42436
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 23981
/proc/meminfo: memFree=22788292/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=45672 CPUtime=402.23 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 11092 0 0 0 39967 256 0 0 20 0 1 0 334734010 46768128 10569 33554432000 4194304 7823515 140734526864496 140734526860184 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 11418 10569 570 887 0 10528 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 45672
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 23981
/proc/meminfo: memFree=22785200/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=48992 CPUtime=462.22 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 11916 0 0 0 45925 297 0 0 20 0 1 0 334734010 50167808 11393 33554432000 4194304 7823515 140734526864496 140734526861400 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 12248 11393 570 887 0 11358 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 48992
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 23982
/proc/meminfo: memFree=22783340/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=50784 CPUtime=522.21 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 12400 0 0 0 51883 338 0 0 20 0 1 0 334734010 52002816 11862 33554432000 4194304 7823515 140734526864496 140734526860248 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 12696 11862 570 887 0 11806 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 50784
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 23982
/proc/meminfo: memFree=22780488/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=53380 CPUtime=582.2 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 13058 0 0 0 57838 382 0 0 20 0 1 0 334734010 54661120 12519 33554432000 4194304 7823515 140734526864496 140734526859832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 13345 12519 570 887 0 12455 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 53380
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24021
/proc/meminfo: memFree=23606836/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=67576 CPUtime=882.14 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 16650 0 0 0 87659 555 0 0 20 0 1 0 334734010 69197824 16312 33554432000 4194304 7823515 140734526864496 140734526860184 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 16894 16312 570 887 0 16004 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 67576
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24021
/proc/meminfo: memFree=23605032/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=69072 CPUtime=942.13 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 17047 0 0 0 93619 594 0 0 20 0 1 0 334734010 70729728 16709 33554432000 4194304 7823515 140734526864496 140734526860184 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 17268 16709 570 887 0 16378 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 69072
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 24024
/proc/meminfo: memFree=23552312/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=74300 CPUtime=1002.12 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 18357 0 0 0 99581 631 0 0 20 0 1 0 334734010 76083200 17993 33554432000 4194304 7823515 140734526864496 140734526859512 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 18575 17993 570 887 0 17685 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 74300
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24024
/proc/meminfo: memFree=23548972/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=76904 CPUtime=1062.11 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 19023 0 0 0 105541 670 0 0 20 0 1 0 334734010 78749696 18659 33554432000 4194304 7823515 140734526864496 140734526859544 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 19226 18659 570 887 0 18336 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 76904
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24025
/proc/meminfo: memFree=23543304/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=81352 CPUtime=1122.11 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 20105 0 0 0 111502 709 0 0 20 0 1 0 334734010 83304448 19740 33554432000 4194304 7823515 140734526864496 140734526859832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 20338 19740 570 887 0 19448 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 81352
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24025
/proc/meminfo: memFree=23535340/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=83084 CPUtime=1182.09 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 20594 0 0 0 117462 747 0 0 20 0 1 0 334734010 85078016 20229 33554432000 4194304 7823515 140734526864496 140734526860248 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 20771 20229 570 887 0 19881 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 83084
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24025
/proc/meminfo: memFree=23531672/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=86400 CPUtime=1242.08 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 21444 0 0 0 123421 787 0 0 20 0 1 0 334734010 88473600 21048 33554432000 4194304 7823515 140734526864496 140734526859976 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 21600 21048 570 887 0 20710 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 86400
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24025
/proc/meminfo: memFree=23529068/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=89368 CPUtime=1302.07 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 22134 0 0 0 129380 827 0 0 20 0 1 0 334734010 91512832 21738 33554432000 4194304 7823515 140734526864496 140734526859832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 22342 21738 570 887 0 21452 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 89368
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/175 24025
/proc/meminfo: memFree=23525404/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=92092 CPUtime=1362.07 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 22831 0 0 0 135338 869 0 0 20 0 1 0 334734010 94302208 22435 33554432000 4194304 7823515 140734526864496 140734526860296 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 23023 22435 570 887 0 22133 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 92092
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.98 3/176 24027
/proc/meminfo: memFree=23523660/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=93812 CPUtime=1422.06 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 23294 0 0 0 141297 909 0 0 20 0 1 0 334734010 96063488 22898 33554432000 4194304 7823515 140734526864496 140734526860296 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 23453 22898 570 887 0 22563 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 93812
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24027
/proc/meminfo: memFree=23520868/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=96492 CPUtime=1482.05 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 23972 0 0 0 147254 951 0 0 20 0 1 0 334734010 98807808 23574 33554432000 4194304 7823515 140734526864496 140734526861240 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 24123 23574 570 887 0 23233 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 96492
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24027
/proc/meminfo: memFree=23517520/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=99248 CPUtime=1542.04 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 24641 0 0 0 153212 992 0 0 20 0 1 0 334734010 101629952 24243 33554432000 4194304 7823515 140734526864496 140734526860184 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 24812 24243 570 887 0 23922 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 99248
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 24030
/proc/meminfo: memFree=23517016/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=99820 CPUtime=1602.02 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 24778 0 0 0 159170 1032 0 0 20 0 1 0 334734010 102215680 24380 33554432000 4194304 7823515 140734526864496 140734526859976 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 24955 24380 570 887 0 24065 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 99820
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 24030
/proc/meminfo: memFree=23513112/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=102380 CPUtime=1662.01 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 25426 0 0 0 165131 1070 0 0 20 0 1 0 334734010 104837120 25025 33554432000 4194304 7823515 140734526864496 140734526859832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 25595 25025 570 887 0 24705 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 102380
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/175 24031
/proc/meminfo: memFree=23510444/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=105196 CPUtime=1722 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 26131 0 0 0 171091 1109 0 0 20 0 1 0 334734010 107720704 25730 33554432000 4194304 7823515 140734526864496 140734526859832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 26299 25730 570 887 0 25409 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 105196
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/175 24031
/proc/meminfo: memFree=23508708/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=107000 CPUtime=1782 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 26566 0 0 0 177052 1148 0 0 20 0 1 0 334734010 109568000 26165 33554432000 4194304 7823515 140734526864496 140734526859832 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 26750 26165 570 887 0 25860 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 107000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 24031
/proc/meminfo: memFree=23506228/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=109368 CPUtime=1800.09 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 27200 0 0 0 178848 1161 0 0 20 0 1 0 334734010 111992832 26773 33554432000 4194304 7823515 140734526864496 140734526860184 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 27342 26773 570 887 0 26452 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 109368
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.51 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 24031
/proc/meminfo: memFree=23506228/32873844 swapFree=7112/7112
[pid=23976] ppid=23974 vsize=109368 CPUtime=1800.2 cores=1,3,5,7
/proc/23976/stat : 23976 (pbscip.linux.x8) R 23974 23976 13043 0 -1 4202496 27204 0 0 0 178859 1161 0 0 20 0 1 0 334734010 111992832 26777 33554432000 4194304 7823515 140734526864496 140734526860184 4805770 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23976/statm: 27342 26777 574 887 0 26452 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 109368
Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.23
CPU user time (s): 1788.61
CPU system time (s): 11.6212
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 109368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.61
system time used= 11.6212
maximum resident set size= 107108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27207
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= 36
involuntary context switches= 1851
runsolver used 3.07253 second user time and 8.5727 second system time
The end