0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703307-1278572911.opb>
0.00/0.03 c original problem has 1448 variables (1448 bin, 0 int, 0 impl, 0 cont) and 1549 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.04 c presolving:
0.10/0.12 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10184 impls, 200 clqs
0.19/0.21 c (0.2s) probing: 101/1448 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (2 rounds):
0.19/0.21 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 10184 implications, 200 cliques
0.19/0.21 c presolved problem has 1448 variables (1448 bin, 0 int, 0 impl, 0 cont) and 1549 constraints
0.19/0.21 c 300 constraints of type <setppc>
0.19/0.21 c 1248 constraints of type <and>
0.19/0.21 c 1 constraints of type <linear>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.17
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 1.2.1.3
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1789.98
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 1620
0.19/0.21 c
0.19/0.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.21 c # [type: int, range: [1,2], default: 1]
0.19/0.21 c timing/clocktype = 2
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/indicator/addCouplingCons = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c heuristics/undercover/freq = 0
0.19/0.21 c
0.19/0.21 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c separating/rapidlearning/freq = 0
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.69/0.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.70 c t 0.7s| 1 | 0 | 1203 | - |6765k| 0 | 771 |1448 |1549 |1448 |2797 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.69/0.71 o -6
0.69/0.71 c s 0.7s| 1 | 0 | 1203 | - |6811k| 0 | 771 |1448 |1549 |1448 |2797 | 0 | 0 | 0 |-5.000000e+01 |-6.000000e+00 | 88.00%
0.80/0.89 o -7
0.80/0.89 c u 0.9s| 1 | 0 | 1203 | - |6884k| 0 | 771 |1448 |1549 |1448 |2797 | 0 | 0 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
3.79/3.85 o -16
3.79/3.85 c y 3.8s| 1 | 0 | 1203 | - |8495k| 0 | 771 |1448 |1549 |1448 |2797 | 0 | 0 | 0 |-5.000000e+01 |-1.600000e+01 | 68.00%
3.89/3.99 c 4.0s| 1 | 0 | 1373 | - |8088k| 0 | 759 |1448 |1680 |1448 |2819 | 22 | 0 | 0 |-5.000000e+01 |-1.600000e+01 | 68.00%
5.79/5.82 c 5.8s| 1 | 0 | 1654 | - |8851k| 0 | 788 |1448 |1680 |1448 |2827 | 30 | 0 | 0 |-5.000000e+01 |-1.600000e+01 | 68.00%
7.89/7.91 c 7.9s| 1 | 0 | 2045 | - | 10M| 0 | 784 |1448 |1680 |1448 |2836 | 39 | 0 | 0 |-5.000000e+01 |-1.600000e+01 | 68.00%
9.80/9.90 c 9.9s| 1 | 0 | 2247 | - | 13M| 0 | 783 |1448 |1680 |1448 |2847 | 50 | 0 | 0 |-5.000000e+01 |-1.600000e+01 | 68.00%
11.78/11.83 c 11.8s| 1 | 0 | 2332 | - | 14M| 0 | 793 |1448 |1680 |1448 |2855 | 58 | 0 | 0 |-5.000000e+01 |-1.600000e+01 | 68.00%
13.89/13.92 c 13.9s| 1 | 0 | 2525 | - | 15M| 0 | 795 |1448 |1680 |1448 |2861 | 64 | 0 | 0 |-5.000000e+01 |-1.600000e+01 | 68.00%
27.39/27.45 c 27.4s| 1 | 2 | 2525 | - | 15M| 0 | 795 |1448 |1680 |1448 |2861 | 64 | 0 | 16 |-5.000000e+01 |-1.600000e+01 | 68.00%
158.36/158.43 o -22
158.36/158.43 c g 158s| 92 | 93 |101766 |1090.6 | 15M| 15 | - |1448 |1893 |1448 |1515 |3832 | 213 | 333 |-4.950113e+01 |-2.200000e+01 | 55.56%
175.64/175.72 o -25
175.64/175.72 c p 176s| 96 | 97 |134777 |1392.1 | 15M| 15 | - |1448 |1902 |1448 |1444 |3960 | 222 | 342 |-4.950113e+01 |-2.500000e+01 | 49.50%
258.91/259.04 o -26
258.91/259.04 c l 259s| 130 | 131 |278385 |2138.4 | 15M| 15 | - |1448 |1908 |1448 |1449 |5478 | 228 | 423 |-4.879041e+01 |-2.600000e+01 | 46.71%
1511.22/1511.78 o -27
1511.22/1511.78 c *1512s| 6920 | 1574 | 2182k| 315.0 | 20M| 57 | - |1448 |1862 |1448 |1706 | 35k| 407 |3244 |-4.455299e+01 |-2.700000e+01 | 39.40%
1778.34/1778.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.34/1778.93 c 1779s| 10000 | 1956 | 2610k| 260.9 | 22M| 57 | - |1448 |1847 |1448 |1693 | 43k| 444 |3772 |-4.417535e+01 |-2.700000e+01 | 38.88%
1789.44/1790.01 c
1789.44/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.44/1790.01 c Solving Time (sec) : 1789.98
1789.44/1790.01 c Solving Nodes : 10224
1789.44/1790.01 c Primal Bound : -2.70000000000000e+01 (14 solutions)
1789.44/1790.01 c Dual Bound : -4.41342405940376e+01
1789.44/1790.01 c Gap : 38.82 %
1789.44/1790.01 s SATISFIABLE
1789.44/1790.01 v x162 -x134 -x175 -x180 -x186 -x172 -x132 -x166 x142 -x153 -x118 -x129 -x113 x140 -x161 x133 x200 -x152 -x195 -x119 -x189 x177 -x109
1789.44/1790.01 v x188 -x144 x165 -x107 -x135 -x196 -x106 -x198 -x176 -x146 -x139 x182 -x197 -x105 -x158 x147 -x145 -x126 -x121 -x181 -x192
1789.44/1790.01 v -x114 -x171 -x125 -x199 -x138 -x104 -x151 -x149 -x115 x108 x185 -x120 x174 x143 -x157 x103 x190 x155 -x154 -x148 x170 -x159
1789.44/1790.01 v x123 x124 x183 -x130 -x168 -x102 -x111 x110 -x169 -x112 -x137 -x173 -x141 -x127 -x164 -x191 -x128 x101 -x179 x167 -x160 -x156
1789.44/1790.01 v -x131 -x117 x163 -x122 -x150 -x193 -x136 -x194 -x116 x178 -x187 x184 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90
1789.44/1790.01 v -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 x81 x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 x72 -x71 -x70 x69 -x68 -x67 x66 -x65 -x64 -x63
1789.44/1790.01 v -x62 -x61 -x60 -x59 x58 x57 -x56 -x55 x54 x53 x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 x37
1789.44/1790.01 v -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 x28 -x27 -x26 -x25 -x24 -x23 x22 x21 x20 -x19 -x18 -x17 -x16 x15 -x14 -x13 x12 -x11 -x10
1789.44/1790.01 v -x9 -x8 x7 -x6 x5 -x4 -x3 x2 -x1
1789.44/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.44/1790.01 c Solving Time : 1789.98
1789.44/1790.01 c Original Problem :
1789.44/1790.01 c Problem name : HOME/instance-2703307-1278572911.opb
1789.44/1790.01 c Variables : 1448 (1448 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.44/1790.01 c Constraints : 1549 initial, 1549 maximal
1789.44/1790.01 c Presolved Problem :
1789.44/1790.01 c Problem name : t_HOME/instance-2703307-1278572911.opb
1789.44/1790.01 c Variables : 1448 (1448 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.44/1790.01 c Constraints : 1549 initial, 1967 maximal
1789.44/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.44/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c probing : 0.03 0 0 0 0 0 0 0 0
1789.44/1790.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c and : 0.12 0 0 0 0 0 0 0 0
1789.44/1790.01 c linear : 0.01 0 0 0 0 0 0 0 0
1789.44/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.44/1790.01 c root node : - 0 - - 0 - - - -
1789.44/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.44/1790.01 c integral : 0 0 0 6274 0 4 194 0 0 12306
1789.44/1790.01 c setppc : 300 6 105989 1 2 63 29138 0 0 0
1789.44/1790.01 c and : 1248 12221 105925 1 2 128 295925 45614 0 0
1789.44/1790.01 c linear : 1+ 7 105796 1 0 0 1111 0 0 0
1789.44/1790.01 c logicor : 0+ 0 11140 0 0 1 4287 0 0 0
1789.44/1790.01 c countsols : 0 0 0 1 2 0 0 0 0 0
1789.44/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.44/1790.01 c integral : 328.75 0.00 0.00 328.75 0.00
1789.44/1790.01 c setppc : 1.82 0.00 1.82 0.00 0.00
1789.44/1790.01 c and : 12.77 5.74 7.03 0.00 0.00
1789.44/1790.01 c linear : 1.89 0.03 1.87 0.00 0.00
1789.44/1790.01 c logicor : 0.17 0.00 0.17 0.00 0.00
1789.44/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.44/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.44/1790.01 c vbounds : 0.08 2 0 0
1789.44/1790.01 c rootredcost : 0.08 5 0 0
1789.44/1790.01 c pseudoobj : 1.09 106002 2 0
1789.44/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.44/1790.01 c propagation : 0.00 194 193 218 9.2 0 0.0 -
1789.44/1790.01 c infeasible LP : 0.05 57 57 438 41.8 2 3.0 0
1789.44/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.44/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.44/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.44/1790.01 c applied globally : - - - 444 27.5 - - -
1789.44/1790.01 c applied locally : - - - 0 0.0 - - -
1789.44/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.44/1790.01 c cut pool : 0.01 5 - - 76 - (maximal pool size: 961)
1789.44/1790.01 c redcost : 1.29 12764 0 42635 0 0
1789.44/1790.01 c impliedbounds : 0.00 6 0 0 64 0
1789.44/1790.01 c intobj : 0.00 0 0 0 0 0
1789.44/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.44/1790.01 c gomory : 5.55 6 0 0 10 0
1789.44/1790.01 c strongcg : 4.49 6 0 0 1832 0
1789.44/1790.01 c cmir : 0.20 6 0 0 9 0
1789.44/1790.01 c flowcover : 0.18 6 0 0 16 0
1789.44/1790.01 c clique : 0.13 6 0 0 37 0
1789.44/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.44/1790.01 c mcf : 0.00 1 0 0 0 0
1789.44/1790.01 c rapidlearning : 1.31 1 0 0 0 131
1789.44/1790.01 c Pricers : Time Calls Vars
1789.44/1790.01 c problem variables: 0.00 0 0
1789.44/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.44/1790.01 c relpscost : 328.73 6273 4 194 0 0 12306
1789.44/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.44/1790.01 c inference : 0.00 2 0 0 0 0 4
1789.44/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.44/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.44/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.44/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.44/1790.01 c random : 0.00 0 0 0 0 0 0
1789.44/1790.01 c Primal Heuristics : Time Calls Found
1789.44/1790.01 c LP solutions : 0.00 - 1
1789.44/1790.01 c pseudo solutions : 0.00 - 0
1789.44/1790.01 c oneopt : 0.02 5 0
1789.44/1790.01 c objpscostdiving : 24.99 7 0
1789.44/1790.01 c veclendiving : 45.51 31 0
1789.44/1790.01 c rootsoldiving : 16.39 16 0
1789.44/1790.01 c trivial : 0.00 2 3
1789.44/1790.01 c simplerounding : 0.02 0 0
1789.44/1790.01 c zirounding : 0.29 1000 0
1789.44/1790.01 c rounding : 2.43 1410 0
1789.44/1790.01 c shifting : 3.35 1055 4
1789.44/1790.01 c intshifting : 0.00 0 0
1789.44/1790.01 c twoopt : 0.00 0 0
1789.44/1790.01 c fixandinfer : 0.00 0 0
1789.44/1790.01 c feaspump : 0.00 0 0
1789.44/1790.01 c coefdiving : 58.79 18 0
1789.44/1790.01 c pscostdiving : 128.14 47 1
1789.44/1790.01 c fracdiving : 56.67 21 0
1789.44/1790.01 c intdiving : 0.00 0 0
1789.44/1790.01 c actconsdiving : 0.00 0 0
1789.44/1790.01 c linesearchdiving : 122.50 65 1
1789.44/1790.01 c guideddiving : 130.62 46 1
1789.44/1790.01 c octane : 0.00 0 0
1789.44/1790.01 c rens : 0.01 0 0
1789.44/1790.01 c rins : 0.00 0 0
1789.44/1790.01 c localbranching : 0.00 0 0
1789.44/1790.01 c mutation : 0.00 0 0
1789.44/1790.01 c crossover : 0.68 8 1
1789.44/1790.01 c dins : 0.00 0 0
1789.44/1790.01 c undercover : 0.19 1 1
1789.44/1790.01 c nlp : 0.01 0 0
1789.44/1790.01 c trysol : 0.01 0 0
1789.44/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.44/1790.01 c primal LP : 7.51 0 0 0.00 0.00
1789.44/1790.01 c dual LP : 816.85 14890 1493275 100.29 1828.09
1789.44/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.44/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.44/1790.01 c diving/probing LP: 521.66 50477 1137217 22.53 2180.00
1789.44/1790.01 c strong branching : 327.58 3772 606316 160.74 1850.88
1789.44/1790.01 c (at root node) : - 16 13698 856.12 -
1789.44/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.44/1790.01 c B&B Tree :
1789.44/1790.01 c number of runs : 1
1789.44/1790.01 c nodes : 10224
1789.44/1790.01 c nodes (total) : 10224
1789.44/1790.01 c nodes left : 1966
1789.44/1790.01 c max depth : 57
1789.44/1790.01 c max depth (total): 57
1789.44/1790.01 c backtracks : 2024 (19.8%)
1789.44/1790.01 c delayed cutoffs : 0
1789.44/1790.01 c repropagations : 2805 (763 domain reductions, 0 cutoffs)
1789.44/1790.01 c avg switch length: 4.95
1789.44/1790.01 c switching time : 11.50
1789.44/1790.01 c Solution :
1789.44/1790.01 c Solutions found : 14 (8 improvements)
1789.44/1790.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1789.44/1790.01 c Primal Bound : -2.70000000000000e+01 (in run 1, after 6920 nodes, 1511.75 seconds, depth 50, found by <relaxation>)
1789.44/1790.01 c Dual Bound : -4.41342405940376e+01
1789.44/1790.01 c Gap : 38.82 %
1789.44/1790.01 c Root Dual Bound : -4.99999999999999e+01
1789.44/1790.01 c Root Iterations : 2525
1789.44/1790.05 c Time complete: 1789.49.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703307-1278572911/watcher-2703307-1278572911 -o /tmp/evaluation-result-2703307-1278572911/solver-2703307-1278572911 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703307-1278572911.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.07 0.43 3/106 29123
/proc/meminfo: memFree=1699420/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=7904 CPUtime=0
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 1176 0 0 0 0 0 0 0 23 0 1 0 25502594 8093696 1087 1992294400 4194304 8395647 140734180621200 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29123/statm: 1976 1095 365 1026 0 946 0
[startup+0.0765721 s]
/proc/loadavg: 0.00 0.07 0.43 3/106 29123
/proc/meminfo: memFree=1699420/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=18456 CPUtime=0.07
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 3987 0 0 0 5 2 0 0 23 0 1 0 25502594 18898944 3544 1992294400 4194304 8395647 140734180621200 18446744073709551615 4834489 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 4614 3544 461 1026 0 3584 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18456
[startup+0.101573 s]
/proc/loadavg: 0.00 0.07 0.43 3/106 29123
/proc/meminfo: memFree=1699420/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=18456 CPUtime=0.1
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 3987 0 0 0 8 2 0 0 23 0 1 0 25502594 18898944 3544 1992294400 4194304 8395647 140734180621200 18446744073709551615 18446744073699065955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 4614 3544 461 1026 0 3584 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18456
[startup+0.301594 s]
/proc/loadavg: 0.00 0.07 0.43 3/106 29123
/proc/meminfo: memFree=1699420/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=25648 CPUtime=0.29
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 5959 0 0 0 27 2 0 0 23 0 1 0 25502594 26263552 5451 1992294400 4194304 8395647 140734180621200 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 6412 5451 565 1026 0 5382 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25648
[startup+0.701634 s]
/proc/loadavg: 0.00 0.07 0.43 3/106 29123
/proc/meminfo: memFree=1699420/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=26384 CPUtime=0.69
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 6161 0 0 0 66 3 0 0 25 0 1 0 25502594 27017216 5653 1992294400 4194304 8395647 140734180621200 18446744073709551615 6741432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 6596 5653 570 1026 0 5566 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26384
[startup+1.50172 s]
/proc/loadavg: 0.08 0.09 0.43 2/107 29124
/proc/meminfo: memFree=1663328/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=42128 CPUtime=1.49
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 10956 0 0 0 144 5 0 0 25 0 1 0 25502594 43139072 9583 1992294400 4194304 8395647 140734180621200 18446744073709551615 6197309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 10532 9583 614 1026 0 9502 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42128
[startup+3.10188 s]
/proc/loadavg: 0.08 0.09 0.43 2/107 29124
/proc/meminfo: memFree=1663204/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=44012 CPUtime=3.09
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 11547 0 0 0 282 27 0 0 25 0 1 0 25502594 45068288 10174 1992294400 4194304 8395647 140734180621200 18446744073709551615 6068909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 11003 10174 634 1026 0 9973 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44012
[startup+6.3012 s]
/proc/loadavg: 0.15 0.10 0.44 2/107 29124
/proc/meminfo: memFree=1658120/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=46408 CPUtime=6.29
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 12218 0 0 0 595 34 0 0 25 0 1 0 25502594 47521792 10802 1992294400 4194304 8395647 140734180621200 18446744073709551615 7185537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 11602 10802 642 1026 0 10572 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46408
[startup+12.7009 s]
/proc/loadavg: 0.22 0.12 0.44 2/107 29124
/proc/meminfo: memFree=1657872/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=46408 CPUtime=12.69
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 12254 0 0 0 1233 36 0 0 25 0 1 0 25502594 47521792 10829 1992294400 4194304 8395647 140734180621200 18446744073709551615 7185507 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 11602 10829 635 1026 0 10572 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46408
[startup+25.5012 s]
/proc/loadavg: 0.39 0.16 0.45 2/107 29125
/proc/meminfo: memFree=1655888/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=48468 CPUtime=25.49
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 12767 0 0 0 2507 42 0 0 25 0 1 0 25502594 49631232 11342 1992294400 4194304 8395647 140734180621200 18446744073709551615 6696326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 12117 11342 636 1026 0 11087 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48468
[startup+51.1007 s]
/proc/loadavg: 0.60 0.23 0.46 2/107 29125
/proc/meminfo: memFree=1655888/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=48468 CPUtime=51.07
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 12770 0 0 0 5050 57 0 0 25 0 1 0 25502594 49631232 11345 1992294400 4194304 8395647 140734180621200 18446744073709551615 6698055 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 12117 11345 639 1026 0 11087 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48468
[startup+102.309 s]
/proc/loadavg: 0.82 0.34 0.49 2/107 29127
/proc/meminfo: memFree=1655888/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=48468 CPUtime=102.26
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 12770 0 0 0 10131 95 0 0 25 0 1 0 25502594 49631232 11345 1992294400 4194304 8395647 140734180621200 18446744073709551615 6587118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 12117 11345 639 1026 0 11087 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 48468
[startup+162.301 s]
/proc/loadavg: 0.93 0.46 0.52 2/107 29128
/proc/meminfo: memFree=1655764/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=48468 CPUtime=162.24
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 12770 0 0 0 16092 132 0 0 25 0 1 0 25502594 49631232 11345 1992294400 4194304 8395647 140734180621200 18446744073709551615 6693776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 12117 11345 639 1026 0 11087 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 48468
[startup+222.301 s]
/proc/loadavg: 0.97 0.56 0.55 2/107 29130
/proc/meminfo: memFree=1655764/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=48468 CPUtime=222.23
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 12770 0 0 0 22051 172 0 0 25 0 1 0 25502594 49631232 11345 1992294400 4194304 8395647 140734180621200 18446744073709551615 6697266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 12117 11345 639 1026 0 11087 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 48468
[startup+282.301 s]
/proc/loadavg: 0.99 0.63 0.57 2/107 29131
/proc/meminfo: memFree=1655764/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=48468 CPUtime=282.2
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 12771 0 0 0 28004 216 0 0 25 0 1 0 25502594 49631232 11346 1992294400 4194304 8395647 140734180621200 18446744073709551615 6390490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 12117 11346 639 1026 0 11087 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 48468
[startup+342.301 s]
/proc/loadavg: 0.99 0.70 0.59 2/107 29133
/proc/meminfo: memFree=1655640/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=48468 CPUtime=342.19
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 12771 0 0 0 33958 261 0 0 25 0 1 0 25502594 49631232 11346 1992294400 4194304 8395647 140734180621200 18446744073709551615 6693401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 12117 11346 639 1026 0 11087 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 48468
[startup+402.301 s]
/proc/loadavg: 0.99 0.75 0.62 2/107 29135
/proc/meminfo: memFree=1655640/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=48468 CPUtime=402.17
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 12771 0 0 0 39913 304 0 0 25 0 1 0 25502594 49631232 11346 1992294400 4194304 8395647 140734180621200 18446744073709551615 6742333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 12117 11346 639 1026 0 11087 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 48468
[startup+462.301 s]
/proc/loadavg: 0.99 0.79 0.64 2/107 29136
/proc/meminfo: memFree=1655640/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=48468 CPUtime=462.15
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 12773 0 0 0 45867 348 0 0 25 0 1 0 25502594 49631232 11348 1992294400 4194304 8395647 140734180621200 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 12117 11348 639 1026 0 11087 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 48468
[startup+522.302 s]
/proc/loadavg: 0.99 0.83 0.66 2/107 29138
/proc/meminfo: memFree=1646464/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=58876 CPUtime=522.12
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 15063 0 0 0 51822 390 0 0 25 0 1 0 25502594 60289024 13638 1992294400 4194304 8395647 140734180621200 18446744073709551615 6652335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 14719 13638 644 1026 0 13689 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 58876
[startup+582.302 s]
/proc/loadavg: 0.99 0.86 0.67 2/107 29140
/proc/meminfo: memFree=1646464/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=58876 CPUtime=582.11
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 15063 0 0 0 57777 434 0 0 25 0 1 0 25502594 60289024 13638 1992294400 4194304 8395647 140734180621200 18446744073709551615 6390464 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 14719 13638 644 1026 0 13689 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 58876
[startup+642.302 s]
/proc/loadavg: 1.04 0.89 0.70 2/107 29144
/proc/meminfo: memFree=1645720/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=58876 CPUtime=642.09
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 15063 0 0 0 63730 479 0 0 25 0 1 0 25502594 60289024 13638 1992294400 4194304 8395647 140734180621200 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 14719 13638 644 1026 0 13689 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 58876
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1645720/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=58876 CPUtime=1061.96
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 15064 0 0 0 105422 774 0 0 25 0 1 0 25502594 60289024 13639 1992294400 4194304 8395647 140734180621200 18446744073709551615 6701858 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 14719 13639 644 1026 0 13689 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 58876
[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.80 2/107 29157
/proc/meminfo: memFree=1645720/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=58876 CPUtime=1121.95
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 15081 0 0 0 111380 815 0 0 25 0 1 0 25502594 60289024 13656 1992294400 4194304 8395647 140734180621200 18446744073709551615 6667497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 14719 13656 644 1026 0 13689 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 58876
[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.81 2/107 29158
/proc/meminfo: memFree=1643860/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=58816 CPUtime=1181.93
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 16215 0 0 0 117335 858 0 0 25 0 1 0 25502594 60227584 13974 1992294400 4194304 8395647 140734180621200 18446744073709551615 6622198 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 14704 13974 644 1026 0 13674 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 58816
[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/107 29160
/proc/meminfo: memFree=1643736/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=58816 CPUtime=1241.91
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 17105 0 0 0 123290 901 0 0 25 0 1 0 25502594 60227584 13976 1992294400 4194304 8395647 140734180621200 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 14704 13976 644 1026 0 13674 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 58816
[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.83 2/107 29162
/proc/meminfo: memFree=1643736/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=58816 CPUtime=1301.9
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 17105 0 0 0 129247 943 0 0 25 0 1 0 25502594 60227584 13976 1992294400 4194304 8395647 140734180621200 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 14704 13976 644 1026 0 13674 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 58816
[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.83 2/107 29163
/proc/meminfo: memFree=1643736/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=58816 CPUtime=1361.87
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 18203 0 0 0 135201 986 0 0 25 0 1 0 25502594 60227584 13976 1992294400 4194304 8395647 140734180621200 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 14704 13976 644 1026 0 13674 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 58816
[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.84 2/107 29165
/proc/meminfo: memFree=1643736/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=58816 CPUtime=1421.87
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 18203 0 0 0 141159 1028 0 0 25 0 1 0 25502594 60227584 13976 1992294400 4194304 8395647 140734180621200 18446744073709551615 6311167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 14704 13976 644 1026 0 13674 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 58816
[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 29166
/proc/meminfo: memFree=1643736/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=58816 CPUtime=1481.83
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 18203 0 0 0 147115 1068 0 0 25 0 1 0 25502594 60227584 13976 1992294400 4194304 8395647 140734180621200 18446744073709551615 6586857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 14704 13976 644 1026 0 13674 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 58816
[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.85 2/107 29168
/proc/meminfo: memFree=1643612/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=58816 CPUtime=1541.81
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 19706 0 0 0 153070 1111 0 0 25 0 1 0 25502594 60227584 13977 1992294400 4194304 8395647 140734180621200 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 14704 13977 644 1026 0 13674 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 58816
[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 29170
/proc/meminfo: memFree=1643612/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=58816 CPUtime=1601.79
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 21315 0 0 0 159023 1156 0 0 25 0 1 0 25502594 60227584 13977 1992294400 4194304 8395647 140734180621200 18446744073709551615 6574388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 14704 13977 644 1026 0 13674 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 58816
[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.86 2/107 29171
/proc/meminfo: memFree=1643612/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=58816 CPUtime=1661.77
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 22905 0 0 0 164980 1197 0 0 25 0 1 0 25502594 60227584 13977 1992294400 4194304 8395647 140734180621200 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 14704 13977 644 1026 0 13674 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 58816
[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.87 2/107 29173
/proc/meminfo: memFree=1643612/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=58816 CPUtime=1721.76
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 22905 0 0 0 170937 1239 0 0 25 0 1 0 25502594 60227584 13977 1992294400 4194304 8395647 140734180621200 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 14704 13977 644 1026 0 13674 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 58816
[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.87 2/107 29174
/proc/meminfo: memFree=1642124/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=60232 CPUtime=1781.74
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 24847 0 0 0 176889 1285 0 0 25 0 1 0 25502594 61677568 14304 1992294400 4194304 8395647 140734180621200 18446744073709551615 5533174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 15058 14304 644 1026 0 14028 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 60232
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 0.97 0.87 2/107 29175
/proc/meminfo: memFree=1642124/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=60232 CPUtime=1784.93
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 24847 0 0 0 177205 1288 0 0 25 0 1 0 25502594 61677568 14304 1992294400 4194304 8395647 140734180621200 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 15058 14304 644 1026 0 14028 0
Current children cumulated CPU time (s) 1784.93
Current children cumulated vsize (KiB) 60232
[startup+1787.1 s]
/proc/loadavg: 1.00 0.97 0.87 2/107 29175
/proc/meminfo: memFree=1642124/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=60232 CPUtime=1786.54
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 24847 0 0 0 177365 1289 0 0 25 0 1 0 25502594 61677568 14304 1992294400 4194304 8395647 140734180621200 18446744073709551615 6755538 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 15058 14304 644 1026 0 14028 0
Current children cumulated CPU time (s) 1786.54
Current children cumulated vsize (KiB) 60232
[startup+1788.7 s]
/proc/loadavg: 1.00 0.97 0.87 2/107 29175
/proc/meminfo: memFree=1642124/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=60232 CPUtime=1788.13
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 24847 0 0 0 177523 1290 0 0 25 0 1 0 25502594 61677568 14304 1992294400 4194304 8395647 140734180621200 18446744073709551615 6728407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 15058 14304 644 1026 0 14028 0
Current children cumulated CPU time (s) 1788.13
Current children cumulated vsize (KiB) 60232
[startup+1789.5 s]
/proc/loadavg: 1.00 0.97 0.87 2/107 29175
/proc/meminfo: memFree=1642124/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=60232 CPUtime=1788.93
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 24847 0 0 0 177603 1290 0 0 25 0 1 0 25502594 61677568 14304 1992294400 4194304 8395647 140734180621200 18446744073709551615 6663849 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 15058 14304 644 1026 0 14028 0
Current children cumulated CPU time (s) 1788.93
Current children cumulated vsize (KiB) 60232
[startup+1789.9 s]
/proc/loadavg: 1.00 0.97 0.87 2/107 29175
/proc/meminfo: memFree=1642124/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=60232 CPUtime=1789.33
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 24847 0 0 0 177643 1290 0 0 25 0 1 0 25502594 61677568 14304 1992294400 4194304 8395647 140734180621200 18446744073709551615 6741589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 15058 14304 644 1026 0 14028 0
Current children cumulated CPU time (s) 1789.33
Current children cumulated vsize (KiB) 60232
[startup+1790 s]
/proc/loadavg: 1.00 0.97 0.87 2/107 29175
/proc/meminfo: memFree=1642124/2059040 swapFree=4139544/4192956
[pid=29123] ppid=29121 vsize=60232 CPUtime=1789.44
/proc/29123/stat : 29123 (pbscip.linux.x8) R 29121 29123 29096 0 -1 4202496 24847 0 0 0 177653 1291 0 0 25 0 1 0 25502594 61677568 14304 1992294400 4194304 8395647 140734180621200 18446744073709551615 6693387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29123/statm: 15058 14304 644 1026 0 14028 0
Current children cumulated CPU time (s) 1789.44
Current children cumulated vsize (KiB) 60232
Child status: 0
Real time (s): 1790.06
CPU time (s): 1789.5
CPU user time (s): 1776.58
CPU system time (s): 12.917
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 67948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.58
system time used= 12.917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24851
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 7448
runsolver used 3.85141 second user time and 9.03263 second system time
The end