0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver Clp 1.8.2
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869189-1245162886.opb>
0.00/0.01 c original problem has 435 variables (435 bin, 0 int, 0 impl, 0 cont) and 501 constraints
0.00/0.02 c start presolving problem
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1898 impls, 4 clqs
0.00/0.04 c (round 2) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 477 upgd conss, 1898 impls, 4 clqs
0.00/0.04 c (round 3) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 1898 impls, 4 clqs
0.00/0.06 c (0.0s) probing: 138/434 (31.8%) - 0 fixings, 0 aggregations, 88 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (4 rounds):
0.00/0.06 c 1 deleted vars, 1 deleted constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 2122 implications, 4 cliques
0.00/0.06 c presolved problem has 434 variables (434 bin, 0 int, 0 impl, 0 cont) and 500 constraints
0.00/0.06 c 93 constraints of type <knapsack>
0.00/0.06 c 4 constraints of type <setppc>
0.00/0.06 c 403 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.03
0.00/0.06 c OPT-LIN
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = c 1620
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = c 1791
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = c 10000
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving problem
0.00/0.06 c
0.09/0.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c 0.1s| 1 | 0 | 452 |2069k| 0 | 174 | 434 | 500 | 500 | 434 | 500 | 0 | 0 | 0 | 5.684342e-14 | -- | Inf
0.09/0.11 o 212
0.09/0.11 c R 0.1s| 1 | 0 | 452 |2080k| 0 | 174 | 434 | 500 | 500 | 434 | 500 | 0 | 0 | 0 | 5.684342e-14 | 2.120000e+02 | Inf
0.09/0.11 o 210
0.09/0.11 c s 0.1s| 1 | 0 | 452 |2091k| 0 | 174 | 434 | 500 | 500 | 434 | 500 | 0 | 0 | 0 | 5.684342e-14 | 2.100000e+02 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 466 |3001k| 0 | 182 | 434 | 500 | 500 | 434 | 501 | 1 | 0 | 0 | 5.684342e-14 | 2.100000e+02 | Inf
0.19/0.27 o 209
0.19/0.27 c R 0.2s| 1 | 0 | 466 |3006k| 0 | 182 | 434 | 500 | 500 | 434 | 501 | 1 | 0 | 0 | 5.684342e-14 | 2.090000e+02 | Inf
0.19/0.27 o 208
0.19/0.27 c s 0.2s| 1 | 0 | 466 |3012k| 0 | 182 | 434 | 500 | 500 | 434 | 501 | 1 | 0 | 0 | 5.684342e-14 | 2.080000e+02 | Inf
0.39/0.43 c 0.4s| 1 | 0 | 540 |3862k| 0 | 159 | 434 | 500 | 500 | 434 | 502 | 2 | 0 | 0 | 1.136868e-13 | 2.080000e+02 | Inf
0.39/0.44 o 163
0.39/0.44 c R 0.4s| 1 | 0 | 540 |3868k| 0 | 159 | 434 | 500 | 500 | 434 | 502 | 2 | 0 | 0 | 1.136868e-13 | 1.630000e+02 | Inf
0.39/0.44 o 162
0.39/0.44 c s 0.4s| 1 | 0 | 540 |3873k| 0 | 159 | 434 | 500 | 500 | 434 | 502 | 2 | 0 | 0 | 1.136868e-13 | 1.620000e+02 | Inf
0.49/0.56 c 0.5s| 1 | 0 | 626 |3964k| 0 | 155 | 434 | 500 | 500 | 434 | 503 | 3 | 0 | 0 | 1.136868e-13 | 1.620000e+02 | Inf
0.49/0.56 o 148
0.49/0.56 c R 0.5s| 1 | 0 | 626 |3970k| 0 | 155 | 434 | 500 | 500 | 434 | 503 | 3 | 0 | 0 | 1.136868e-13 | 1.480000e+02 | Inf
0.49/0.57 o 147
0.49/0.57 c s 0.5s| 1 | 0 | 626 |3975k| 0 | 155 | 434 | 500 | 500 | 434 | 503 | 3 | 0 | 0 | 1.136868e-13 | 1.470000e+02 | Inf
0.59/0.69 c 0.7s| 1 | 0 | 728 |4080k| 0 | 172 | 434 | 500 | 500 | 434 | 504 | 4 | 0 | 0 | 1.136868e-13 | 1.470000e+02 | Inf
0.79/0.86 c 0.8s| 1 | 0 | 802 |4251k| 0 | 192 | 434 | 500 | 500 | 434 | 505 | 5 | 0 | 0 | 5.115908e-13 | 1.470000e+02 | Inf
1.00/1.03 c 1.0s| 1 | 0 | 941 |4288k| 0 | 192 | 434 | 500 | 500 | 434 | 506 | 6 | 0 | 0 | 5.115908e-13 | 1.470000e+02 | Inf
1.10/1.18 o 40
1.10/1.18 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.10/1.18 c k 1.1s| 1 | 0 | 941 |4299k| 0 | 192 | 434 | 500 | 500 | 434 | 506 | 6 | 0 | 0 | 5.115908e-13 | 4.000000e+01 | Inf
1.19/1.24 o 0
1.19/1.24 c E 1.2s| 1 | 0 | 941 |4299k| 0 | - | 434 | 500 | 500 | 434 | 506 | 6 | 0 | 0 | 5.115908e-13 | 1.680007e-09 | Inf
1.19/1.24 c 1.2s| 1 | 0 | 941 |4299k| 0 | - | 434 | 500 | 500 | 434 | 506 | 6 | 0 | 0 | 1.680007e-09 | 1.680007e-09 | 0.00%
1.19/1.24 c
1.19/1.24 c SCIP Status : problem is solved [optimal solution found]
1.19/1.24 c Solving Time (sec) : 1.19
1.19/1.24 c Solving Nodes : 1
1.19/1.24 c Primal Bound : +1.68000724443118e-09 (10 solutions)
1.19/1.24 c Dual Bound : +1.68000724443118e-09
1.19/1.24 c Gap : 0.00 %
1.19/1.25 c NODE 1
1.19/1.25 c DUAL BOUND 1.68001e-09
1.19/1.25 c PRIMAL BOUND 1.68001e-09
1.19/1.25 c GAP 0
1.19/1.25 s OPTIMUM FOUND
1.19/1.25 v x1 x214 -x307 -x392 -x56 x136 x205 -x209 -x55 -x96 -x202 x232 x118 -x203 x219 -x310 x106 x218 -x286 x59 x110 -x140 -x217 x60 x103
1.19/1.25 v x99 -x104 x100 -x268 x290 -x306 x391 x135 -x173 x213 x115 x230 -x311 -x57 -x95 x117 -x208 x231 -x309 -x58 x141 x227 -x396
1.19/1.25 v x61 -x97 -x114 x139 -x204 -x223 -x264 -x285 x41 x102 -x176 x101 -x109 -x177 -x215 x287 -x216 x291 x76 -x105 -x199 -x267 x289
1.19/1.25 v -x333 x229 -x308 x393 -x116 x137 -x172 -x212 x228 -x312 x427 -x34 x138 x295 -x397 -x35 x142 -x174 -x206 -x329 -x395 -x54 x122
1.19/1.25 v -x179 x226 x42 -x98 -x113 -x178 -x195 -x222 -x263 -x328 -x46 x82 x40 x81 -x107 -x265 x288 x38 x79 -x270 x271 -x334 x75 -x198
1.19/1.25 v -x269 x272 -x332 x37 -x305 x394 -x36 -x210 x296 -x398 x426 -x51 -x134 x300 -x380 -x53 x123 -x175 -x207 x294 -x93 -x127 -x159
1.19/1.25 v x224 x292 -x430 -x50 -x72 -x94 -x111 x121 -x158 -x194 -x220 x330 -x431 -x90 -x119 -x157 x283 x331 -x45 -x71 -x86 -x108 -x196
1.19/1.25 v -x266 x284 x335 -x201 -x249 x280 x313 x39 x77 -x80 -x200 -x250 -x276 x25 -x133 -x390 -x24 -x52 -x132 -x211 x304 x381 x428 -x23
1.19/1.25 v -x92 -x170 x385 x433 -x91 -x131 -x171 x299 -x379 x432 -x167 x225 -x282 -x377 -x49 -x112 -x126 -x163 -x221 -x281 x293 -x89
1.19/1.25 v -x261 x327 -x43 -x73 -x85 -x120 -x155 -x197 -x262 x315 -x74 -x156 -x180 -x258 x279 x319 x78 -x181 -x254 -x275 x314 x374 x33 -x148
1.19/1.25 v -x169 -x29 -x168 x303 -x348 x389 x429 x415 -x21 -x130 -x297 -x370 x384 x414 -x22 -x166 -x260 x324 x413 -x47 -x124 -x162
1.19/1.25 v -x259 x326 -x369 -x378 -x87 -x192 -x351 -x44 -x83 -x193 x323 -x352 -x70 -x189 -x257 x277 x375 -x18 x66 -x185 -x246 -x253 -x273
1.19/1.25 v x318 x373 -x32 -x147 x425 -x28 -x301 x347 x388 -x404 x424 x423 -x14 -x128 -x298 -x325 x349 x382 -x419 -x152 -x164 -x191 -x354
1.19/1.25 v -x13 -x48 -x125 -x160 -x190 -x242 -x353 -x371 x411 -x67 -x88 x372 -x408 x412 -x69 -x84 x322 x376 -x19 -x188 -x255 x278 x355
1.19/1.25 v -x17 x65 -x184 -x245 -x251 -x274 x316 -x30 x149 -x26 -x302 x386 -x403 x153 -x422 -x129 -x151 x350 x383 -x418 -x165 x409 -x15
1.19/1.25 v -x68 -x161 -x241 x339 x407 -x16 -x338 x368 -x20 x243 x320 x357 x2 -x186 -x248 -x256 x360 -x64 -x182 -x247 -x252 x317 x356 -x31
1.19/1.25 v x150 -x27 x154 x387 -x405 x146 x406 -x420 x410 -x416 x346 x365 x402 -x343 x367 -x12 x4 x244 -x321 -x336 x364 x5 -x187 x233
1.19/1.25 v -x337 x3 -x62 -x183 x234 x358 x435 x345 -x421 -x10 x145 -x366 -x417 -x9 -x143 -x238 x344 x362 x434 -x11 -x144 x237 -x342 x401
1.19/1.25 v -x8 x239 x361 x399 x7 x240 -x340 x363 -x400 x236 -x341 x6 -x63 x235 x359
1.19/1.25 c SCIP Status : problem is solved [optimal solution found]
1.19/1.25 c Solving Time : 1.19
1.19/1.25 c Original Problem :
1.19/1.25 c Problem name : HOME/instance-1869189-1245162886.opb
1.19/1.25 c Variables : 435 (435 binary, 0 integer, 0 implicit integer, 0 continuous)
1.19/1.25 c Constraints : 501 initial, 501 maximal
1.19/1.25 c Presolved Problem :
1.19/1.25 c Problem name : t_HOME/instance-1869189-1245162886.opb
1.19/1.25 c Variables : 434 (434 binary, 0 integer, 0 implicit integer, 0 continuous)
1.19/1.25 c Constraints : 500 initial, 500 maximal
1.19/1.25 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1.19/1.25 c trivial : 0.00 0 0 0 0 0 0 0 0
1.19/1.25 c dualfix : 0.00 0 0 0 0 0 0 0 0
1.19/1.25 c boundshift : 0.00 0 0 0 0 0 0 0 0
1.19/1.25 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1.19/1.25 c implics : 0.00 0 0 0 0 0 0 0 0
1.19/1.25 c probing : 0.01 0 0 0 0 0 0 0 0
1.19/1.25 c knapsack : 0.00 0 0 0 0 0 0 0 0
1.19/1.25 c setppc : 0.00 0 0 0 0 0 0 0 0
1.19/1.25 c linear : 0.01 1 0 0 1 0 1 0 0
1.19/1.25 c logicor : 0.01 0 0 0 0 0 0 0 0
1.19/1.25 c root node : - 0 - - 0 - - - -
1.19/1.25 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1.19/1.25 c integral : 0 0 0 0 0 0 0 0 0 0
1.19/1.25 c knapsack : 93 7 310 0 0 0 0 0 0 0
1.19/1.25 c setppc : 4 7 310 0 0 0 0 0 0 0
1.19/1.25 c logicor : 403 7 302 0 0 0 0 0 0 0
1.19/1.25 c countsols : 0 0 0 0 0 0 0 0 0 0
1.19/1.25 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1.19/1.25 c integral : 0.00 0.00 0.00 0.00 0.00
1.19/1.25 c knapsack : 0.02 0.01 0.01 0.00 0.00
1.19/1.25 c setppc : 0.00 0.00 0.00 0.00 0.00
1.19/1.25 c logicor : 0.00 0.00 0.00 0.00 0.00
1.19/1.25 c countsols : 0.00 0.00 0.00 0.00 0.00
1.19/1.25 c Propagators : Time Calls Cutoffs DomReds
1.19/1.25 c rootredcost : 0.00 0 0 0
1.19/1.25 c pseudoobj : 0.00 2 0 0
1.19/1.25 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1.19/1.25 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1.19/1.25 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1.19/1.25 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1.19/1.25 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1.19/1.25 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1.19/1.25 c applied globally : - - - 0 0.0 - - -
1.19/1.25 c applied locally : - - - 0 0.0 - - -
1.19/1.25 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1.19/1.25 c cut pool : 0.00 6 - - 108 - (maximal pool size: 276)
1.19/1.25 c redcost : 0.00 7 0 0 0 0
1.19/1.25 c impliedbounds : 0.00 7 0 0 0 0
1.19/1.25 c intobj : 0.00 0 0 0 0 0
1.19/1.25 c gomory : 0.39 7 0 0 461 0
1.19/1.25 c strongcg : 0.36 7 0 0 629 0
1.19/1.25 c cmir : 0.04 7 0 0 0 0
1.19/1.25 c flowcover : 0.11 7 0 0 0 0
1.19/1.25 c clique : 0.01 7 0 0 0 0
1.19/1.25 c zerohalf : 0.00 0 0 0 0 0
1.19/1.25 c mcf : 0.00 1 0 0 0 0
1.19/1.25 c Pricers : Time Calls Vars
1.19/1.25 c problem variables: 0.00 0 0
1.19/1.25 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1.19/1.25 c pscost : 0.00 0 0 0 0 0 0
1.19/1.25 c inference : 0.00 0 0 0 0 0 0
1.19/1.25 c mostinf : 0.00 0 0 0 0 0 0
1.19/1.25 c leastinf : 0.00 0 0 0 0 0 0
1.19/1.25 c fullstrong : 0.00 0 0 0 0 0 0
1.19/1.25 c allfullstrong : 0.00 0 0 0 0 0 0
1.19/1.25 c random : 0.00 0 0 0 0 0 0
1.19/1.25 c relpscost : 0.00 0 0 0 0 0 0
1.19/1.25 c Primal Heuristics : Time Calls Found
1.19/1.25 c LP solutions : 0.00 - 0
1.19/1.25 c pseudo solutions : 0.00 - 0
1.19/1.25 c simplerounding : 0.00 0 0
1.19/1.25 c rounding : 0.01 7 4
1.19/1.25 c shifting : 0.01 7 4
1.19/1.25 c intshifting : 0.00 0 0
1.19/1.25 c oneopt : 0.00 1 1
1.19/1.25 c fixandinfer : 0.00 0 0
1.19/1.25 c feaspump : 0.00 0 0
1.19/1.25 c coefdiving : 0.00 0 0
1.19/1.25 c pscostdiving : 0.00 0 0
1.19/1.25 c fracdiving : 0.00 0 0
1.19/1.25 c veclendiving : 0.00 0 0
1.19/1.25 c intdiving : 0.00 0 0
1.19/1.25 c actconsdiving : 0.00 0 0
1.19/1.25 c objpscostdiving : 0.00 0 0
1.19/1.25 c rootsoldiving : 0.00 0 0
1.19/1.25 c linesearchdiving : 0.00 0 0
1.19/1.25 c guideddiving : 0.00 0 0
1.19/1.25 c octane : 0.00 0 0
1.19/1.25 c rens : 0.06 1 1
1.19/1.25 c rins : 0.00 0 0
1.19/1.25 c localbranching : 0.00 0 0
1.19/1.25 c mutation : 0.00 0 0
1.19/1.25 c crossover : 0.00 0 0
1.19/1.25 c dins : 0.00 0 0
1.19/1.25 c LP : Time Calls Iterations Iter/call Iter/sec
1.19/1.25 c primal LP : 0.00 0 0 0.00 -
1.19/1.25 c dual LP : 0.15 7 941 134.43 6273.33
1.19/1.25 c barrier LP : 0.00 0 0 0.00 -
1.19/1.25 c diving/probing LP: 0.00 0 0 0.00 -
1.19/1.25 c strong branching : 0.00 0 0 0.00 -
1.19/1.25 c (at root node) : - 0 0 0.00 -
1.19/1.25 c conflict analysis: 0.00 0 0 0.00 -
1.19/1.25 c B&B Tree :
1.19/1.25 c number of runs : 1
1.19/1.25 c nodes : 1
1.19/1.25 c nodes (total) : 1
1.19/1.25 c nodes left : 0
1.19/1.25 c max depth : 0
1.19/1.25 c max depth (total): 0
1.19/1.25 c backtracks : 0 (0.0%)
1.19/1.25 c delayed cutoffs : 0
1.19/1.25 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1.19/1.25 c avg switch length: 2.00
1.19/1.25 c switching time : 0.00
1.19/1.25 c Solution :
1.19/1.25 c Solutions found : 10 (10 improvements)
1.19/1.25 c Primal Bound : +1.68000724443118e-09 (in run 1, after 1 nodes, 1.18 seconds, depth 0, found by <rens>)
1.19/1.25 c Dual Bound : +1.68000724443118e-09
1.19/1.25 c Gap : 0.00 %
1.19/1.25 c Root Dual Bound : +1.68000724443118e-09
1.19/1.26 c Time complete: 1.26.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869189-1245162886/watcher-1869189-1245162886 -o /tmp/evaluation-result-1869189-1245162886/solver-1869189-1245162886 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869189-1245162886.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.03 0.95 3/64 2768
/proc/meminfo: memFree=1924272/2055920 swapFree=4192956/4192956
[pid=2768] ppid=2766 vsize=5812 CPUtime=0
/proc/2768/stat : 2768 (pbscip.linux.x8) R 2766 2768 2526 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 618110 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/2768/statm: 1453 503 332 1256 0 192 0
[startup+0.0741901 s]
/proc/loadavg: 1.00 1.03 0.95 3/64 2768
/proc/meminfo: memFree=1924272/2055920 swapFree=4192956/4192956
[pid=2768] ppid=2766 vsize=17464 CPUtime=0.06
/proc/2768/stat : 2768 (pbscip.linux.x8) R 2766 2768 2526 0 -1 4194304 3370 0 0 0 5 1 0 0 18 0 1 0 618110 17883136 3000 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2768/statm: 4366 3000 624 1256 0 3105 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 17464
[startup+0.101194 s]
/proc/loadavg: 1.00 1.03 0.95 3/64 2768
/proc/meminfo: memFree=1924272/2055920 swapFree=4192956/4192956
[pid=2768] ppid=2766 vsize=17464 CPUtime=0.09
/proc/2768/stat : 2768 (pbscip.linux.x8) R 2766 2768 2526 0 -1 4194304 3433 0 0 0 8 1 0 0 18 0 1 0 618110 17883136 3063 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2768/statm: 4366 3063 625 1256 0 3105 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17464
[startup+0.301225 s]
/proc/loadavg: 1.00 1.03 0.95 3/64 2768
/proc/meminfo: memFree=1924272/2055920 swapFree=4192956/4192956
[pid=2768] ppid=2766 vsize=22332 CPUtime=0.29
/proc/2768/stat : 2768 (pbscip.linux.x8) R 2766 2768 2526 0 -1 4194304 4734 0 0 0 27 2 0 0 19 0 1 0 618110 22867968 4364 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2768/statm: 5583 4364 668 1256 0 4322 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22332
[startup+0.701287 s]
/proc/loadavg: 1.00 1.03 0.95 3/64 2768
/proc/meminfo: memFree=1924272/2055920 swapFree=4192956/4192956
[pid=2768] ppid=2766 vsize=29736 CPUtime=0.69
/proc/2768/stat : 2768 (pbscip.linux.x8) R 2766 2768 2526 0 -1 4194304 6647 0 0 0 66 3 0 0 22 0 1 0 618110 30449664 6269 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2768/statm: 7434 6269 668 1256 0 6173 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29736
Solver just ended. Dumping a history of the last processes samples
[startup+1.10635 s]
/proc/loadavg: 1.00 1.03 0.95 2/65 2769
/proc/meminfo: memFree=1900968/2055920 swapFree=4192956/4192956
[pid=2768] ppid=2766 vsize=30656 CPUtime=1.1
/proc/2768/stat : 2768 (pbscip.linux.x8) R 2766 2768 2526 0 -1 4194304 6780 0 0 0 107 3 0 0 25 0 1 0 618110 31391744 6402 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2768/statm: 7664 6402 668 1256 0 6403 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 30656
[startup+1.20137 s]
/proc/loadavg: 1.00 1.03 0.95 2/65 2769
/proc/meminfo: memFree=1900968/2055920 swapFree=4192956/4192956
[pid=2768] ppid=2766 vsize=39336 CPUtime=1.19
/proc/2768/stat : 2768 (pbscip.linux.x8) R 2766 2768 2526 0 -1 4194304 8759 0 0 0 115 4 0 0 25 0 1 0 618110 40280064 8381 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2768/statm: 9834 8381 673 1256 0 8573 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 39336
Child status: 0
Real time (s): 1.26443
CPU time (s): 1.26481
CPU user time (s): 1.21181
CPU system time (s): 0.052991
CPU usage (%): 100.03
Max. virtual memory (cumulated for all children) (KiB): 39336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.21182
system time used= 0.052991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9109
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= 5
involuntary context switches= 3
runsolver used 0.003999 second user time and 0.012998 second system time
The end