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-2703321-1278573285.opb>
0.00/0.03 c original problem has 1452 variables (1452 bin, 0 int, 0 impl, 0 cont) and 1553 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.09/0.12 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10216 impls, 200 clqs
0.19/0.21 c (0.2s) probing: 101/1452 (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 10216 implications, 200 cliques
0.19/0.21 c presolved problem has 1452 variables (1452 bin, 0 int, 0 impl, 0 cont) and 1553 constraints
0.19/0.21 c 300 constraints of type <setppc>
0.19/0.21 c 1252 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 | 1220 | - |6782k| 0 | 757 |1452 |1553 |1452 |2805 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.69/0.71 o -7
0.69/0.71 c s 0.7s| 1 | 0 | 1220 | - |6836k| 0 | 757 |1452 |1553 |1452 |2805 | 0 | 0 | 0 |-5.000000e+01 |-7.000000e+00 | 86.00%
3.89/3.92 o -14
3.89/3.92 c y 3.9s| 1 | 0 | 1220 | - |9805k| 0 | 757 |1452 |1554 |1452 |2805 | 0 | 1 | 0 |-5.000000e+01 |-1.400000e+01 | 72.00%
3.99/4.09 c 4.1s| 1 | 0 | 1427 | - |8249k| 0 | 783 |1452 |1696 |1452 |2832 | 27 | 1 | 0 |-5.000000e+01 |-1.400000e+01 | 72.00%
6.09/6.17 c 6.1s| 1 | 0 | 1870 | - |9544k| 0 | 778 |1452 |1696 |1452 |2846 | 41 | 1 | 0 |-5.000000e+01 |-1.400000e+01 | 72.00%
7.99/8.03 c 8.0s| 1 | 0 | 2083 | - | 10M| 0 | 793 |1452 |1696 |1452 |2855 | 50 | 1 | 0 |-5.000000e+01 |-1.400000e+01 | 72.00%
10.19/10.26 c 10.2s| 1 | 0 | 2432 | - | 12M| 0 | 791 |1452 |1696 |1452 |2863 | 58 | 1 | 0 |-5.000000e+01 |-1.400000e+01 | 72.00%
12.59/12.68 c 12.7s| 1 | 0 | 2763 | - | 14M| 0 | 807 |1452 |1696 |1452 |2874 | 69 | 1 | 0 |-5.000000e+01 |-1.400000e+01 | 72.00%
14.79/14.87 c 14.8s| 1 | 0 | 2984 | - | 16M| 0 | 804 |1452 |1696 |1452 |2883 | 78 | 1 | 0 |-5.000000e+01 |-1.400000e+01 | 72.00%
29.78/29.80 c 29.8s| 1 | 2 | 2984 | - | 16M| 0 | 804 |1452 |1696 |1452 |2883 | 78 | 1 | 16 |-5.000000e+01 |-1.400000e+01 | 72.00%
98.86/98.93 o -15
98.86/98.93 c c98.9s| 14 | 15 | 17571 |1122.1 | 16M| 13 | - |1452 |1696 |1452 |1457 | 813 | 1 | 222 |-5.000000e+01 |-1.500000e+01 | 70.00%
115.15/115.20 o -22
115.15/115.20 c p 115s| 26 | 27 | 38771 |1431.5 | 16M| 13 | - |1452 |1702 |1452 |1578 |1817 | 7 | 240 |-4.983791e+01 |-2.200000e+01 | 55.86%
154.95/155.01 o -23
154.95/155.01 c g 155s| 98 | 99 | 91648 | 914.1 | 16M| 17 | - |1452 |1706 |1452 |1431 |3591 | 11 | 321 |-4.949438e+01 |-2.300000e+01 | 53.53%
184.53/184.64 o -25
184.53/184.64 c l 185s| 118 | 119 |139871 |1170.0 | 16M| 17 | - |1452 |1715 |1452 |1408 |4149 | 20 | 357 |-4.929314e+01 |-2.500000e+01 | 49.28%
416.45/416.62 o -26
416.45/416.62 c l 417s| 224 | 225 |548502 |2446.3 | 17M| 17 | - |1452 |1764 |1452 |1572 |7208 | 69 | 630 |-4.758568e+01 |-2.600000e+01 | 45.36%
862.10/862.42 o -27
862.10/862.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
862.10/862.42 c l 862s| 2096 | 770 | 1260k| 600.1 | 19M| 51 | - |1452 |1814 |1452 |1686 | 17k| 136 |1751 |-4.552516e+01 |-2.700000e+01 | 40.69%
1626.24/1626.85 c 1627s| 10000 | 2051 | 2477k| 247.5 | 24M| 61 | 128 |1452 |1875 |1452 |1568 | 37k| 235 |3797 |-4.404162e+01 |-2.700000e+01 | 38.69%
1789.38/1790.05 c
1789.38/1790.05 c SCIP Status : solving was interrupted [time limit reached]
1789.38/1790.05 c Solving Time (sec) : 1790.03
1789.38/1790.05 c Solving Nodes : 12012
1789.38/1790.05 c Primal Bound : -2.70000000000000e+01 (14 solutions)
1789.38/1790.05 c Dual Bound : -4.38840769449486e+01
1789.38/1790.05 c Gap : 38.47 %
1789.38/1790.06 s SATISFIABLE
1789.38/1790.06 v -x148 -x139 x160 -x157 -x183 x131 -x156 -x196 -x165 -x122 x198 -x197 x170 x113 -x163 -x158 -x130 -x126 -x125 x119 -x159 -x192 x195
1789.38/1790.06 v -x144 x142 -x120 x164 -x175 -x107 x181 -x118 -x188 -x145 -x191 x151 -x169 -x134 -x117 -x143 x190 x186 x116 -x124 -x136 x104
1789.38/1790.06 v x193 x179 -x140 -x108 -x138 x154 x172 x162 x200 -x109 -x103 x194 -x178 -x146 x141 -x137 -x185 x128 -x147 -x168 -x153 x184
1789.38/1790.06 v x180 -x102 -x171 -x135 -x114 -x110 -x105 -x106 -x115 -x187 -x129 -x199 -x161 x127 -x101 -x189 -x167 -x155 -x152 -x149 -x132 -x123
1789.38/1790.06 v -x112 -x182 -x174 -x150 -x121 -x133 -x177 -x173 -x111 -x166 -x176 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 x91 -x90
1789.38/1790.06 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.38/1790.06 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.38/1790.06 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.38/1790.06 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
1789.38/1790.06 c SCIP Status : solving was interrupted [time limit reached]
1789.38/1790.06 c Solving Time : 1790.03
1789.38/1790.06 c Original Problem :
1789.38/1790.06 c Problem name : HOME/instance-2703321-1278573285.opb
1789.38/1790.06 c Variables : 1452 (1452 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.38/1790.06 c Constraints : 1553 initial, 1553 maximal
1789.38/1790.06 c Presolved Problem :
1789.38/1790.06 c Problem name : t_HOME/instance-2703321-1278573285.opb
1789.38/1790.06 c Variables : 1452 (1452 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.38/1790.06 c Constraints : 1553 initial, 1884 maximal
1789.38/1790.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.38/1790.06 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.38/1790.06 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.38/1790.06 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.38/1790.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.38/1790.06 c implics : 0.00 0 0 0 0 0 0 0 0
1789.38/1790.06 c probing : 0.03 0 0 0 0 0 0 0 0
1789.38/1790.06 c setppc : 0.00 0 0 0 0 0 0 0 0
1789.38/1790.06 c and : 0.12 0 0 0 0 0 0 0 0
1789.38/1790.06 c linear : 0.01 0 0 0 0 0 0 0 0
1789.38/1790.06 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.38/1790.06 c root node : - 0 - - 0 - - - -
1789.38/1790.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.38/1790.06 c integral : 0 0 0 7360 0 10 378 0 0 14356
1789.38/1790.06 c setppc : 300 6 128688 0 0 70 32334 0 0 0
1789.38/1790.06 c and : 1252 14084 128618 0 0 146 299799 42880 0 0
1789.38/1790.06 c linear : 1+ 7 128470 0 0 0 1530 1 0 0
1789.38/1790.06 c logicor : 0+ 6 12234 0 0 0 5560 0 0 0
1789.38/1790.06 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.38/1790.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.38/1790.06 c integral : 319.25 0.00 0.00 319.25 0.00
1789.38/1790.06 c setppc : 2.19 0.00 2.19 0.00 0.00
1789.38/1790.06 c and : 13.85 5.93 7.92 0.00 0.00
1789.38/1790.06 c linear : 2.03 0.02 2.01 0.00 0.00
1789.38/1790.06 c logicor : 0.15 0.00 0.15 0.00 0.00
1789.38/1790.06 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.38/1790.06 c Propagators : Time Calls Cutoffs DomReds
1789.38/1790.06 c vbounds : 0.11 2 0 0
1789.38/1790.06 c rootredcost : 0.10 7 0 0
1789.38/1790.06 c pseudoobj : 1.35 128724 2 0
1789.38/1790.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.38/1790.06 c propagation : 0.01 218 218 226 6.5 4 3.0 -
1789.38/1790.06 c infeasible LP : 0.01 20 20 40 57.1 0 0.0 0
1789.38/1790.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.38/1790.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.38/1790.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.38/1790.06 c applied globally : - - - 252 9.7 - - -
1789.38/1790.06 c applied locally : - - - 0 0.0 - - -
1789.38/1790.06 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.38/1790.06 c cut pool : 0.01 5 - - 0 - (maximal pool size: 1071)
1789.38/1790.06 c redcost : 1.34 15072 0 45279 0 0
1789.38/1790.06 c impliedbounds : 0.00 6 0 0 80 0
1789.38/1790.06 c intobj : 0.00 0 0 0 0 0
1789.38/1790.06 c cgmip : 0.00 0 0 0 0 0
1789.38/1790.06 c gomory : 5.55 6 0 0 2 0
1789.38/1790.06 c strongcg : 4.95 6 0 0 1860 0
1789.38/1790.06 c cmir : 0.24 6 0 0 8 0
1789.38/1790.06 c flowcover : 0.18 6 0 0 0 0
1789.38/1790.06 c clique : 0.13 6 0 0 36 0
1789.38/1790.06 c zerohalf : 0.00 0 0 0 0 0
1789.38/1790.06 c mcf : 0.00 1 0 0 0 0
1789.38/1790.06 c rapidlearning : 1.37 1 0 0 0 142
1789.38/1790.06 c Pricers : Time Calls Vars
1789.38/1790.06 c problem variables: 0.00 0 0
1789.38/1790.06 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.38/1790.06 c relpscost : 319.22 7360 10 378 0 0 14356
1789.38/1790.06 c pscost : 0.00 0 0 0 0 0 0
1789.38/1790.06 c inference : 0.00 0 0 0 0 0 0
1789.38/1790.06 c mostinf : 0.00 0 0 0 0 0 0
1789.38/1790.06 c leastinf : 0.00 0 0 0 0 0 0
1789.38/1790.06 c fullstrong : 0.00 0 0 0 0 0 0
1789.38/1790.06 c allfullstrong : 0.00 0 0 0 0 0 0
1789.38/1790.06 c random : 0.00 0 0 0 0 0 0
1789.38/1790.06 c Primal Heuristics : Time Calls Found
1789.38/1790.06 c LP solutions : 0.00 - 0
1789.38/1790.06 c pseudo solutions : 0.00 - 0
1789.38/1790.06 c feaspump : 0.00 0 0
1789.38/1790.06 c oneopt : 0.02 7 0
1789.38/1790.06 c fracdiving : 53.66 25 0
1789.38/1790.06 c veclendiving : 44.77 30 0
1789.38/1790.06 c objpscostdiving : 20.91 16 0
1789.38/1790.06 c rootsoldiving : 12.90 22 0
1789.38/1790.06 c guideddiving : 123.46 46 1
1789.38/1790.06 c coefdiving : 117.84 55 1
1789.38/1790.06 c pscostdiving : 115.40 55 1
1789.38/1790.06 c linesearchdiving : 148.71 127 3
1789.38/1790.06 c trivial : 0.00 2 3
1789.38/1790.06 c simplerounding : 0.01 0 0
1789.38/1790.06 c zirounding : 0.28 1000 0
1789.38/1790.06 c rounding : 2.10 1574 0
1789.38/1790.06 c shifting : 3.53 1279 3
1789.38/1790.06 c intshifting : 0.00 0 0
1789.38/1790.06 c twoopt : 0.00 0 0
1789.38/1790.06 c fixandinfer : 0.00 0 0
1789.38/1790.06 c intdiving : 0.00 0 0
1789.38/1790.06 c actconsdiving : 0.00 0 0
1789.38/1790.06 c octane : 0.00 0 0
1789.38/1790.06 c rens : 0.01 0 0
1789.38/1790.06 c rins : 0.00 0 0
1789.38/1790.06 c localbranching : 0.00 0 0
1789.38/1790.06 c mutation : 0.00 0 0
1789.38/1790.06 c crossover : 2.27 3 1
1789.38/1790.06 c dins : 0.00 0 0
1789.38/1790.06 c undercover : 0.18 1 0
1789.38/1790.06 c nlp : 0.01 0 0
1789.38/1790.06 c trysol : 0.01 0 0
1789.38/1790.06 c LP : Time Calls Iterations Iter/call Iter/sec
1789.38/1790.06 c primal LP : 8.27 0 0 0.00 0.00
1789.38/1790.06 c dual LP : 766.53 17809 1476712 82.92 1926.49
1789.38/1790.06 c lex dual LP : 0.00 0 0 0.00 -
1789.38/1790.06 c barrier LP : 0.00 0 0 0.00 -
1789.38/1790.06 c diving/probing LP: 564.50 60763 1253227 20.62 2220.06
1789.38/1790.06 c strong branching : 317.95 4420 598301 135.36 1881.76
1789.38/1790.06 c (at root node) : - 16 14969 935.56 -
1789.38/1790.06 c conflict analysis: 0.00 0 0 0.00 -
1789.38/1790.06 c B&B Tree :
1789.38/1790.06 c number of runs : 1
1789.38/1790.06 c nodes : 12012
1789.38/1790.06 c nodes (total) : 12012
1789.38/1790.06 c nodes left : 2258
1789.38/1790.06 c max depth : 61
1789.38/1790.06 c max depth (total): 61
1789.38/1790.06 c backtracks : 2218 (18.5%)
1789.38/1790.06 c delayed cutoffs : 4
1789.38/1790.06 c repropagations : 3073 (685 domain reductions, 0 cutoffs)
1789.38/1790.06 c avg switch length: 5.22
1789.38/1790.06 c switching time : 12.57
1789.38/1790.06 c Solution :
1789.38/1790.06 c Solutions found : 14 (9 improvements)
1789.38/1790.06 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1789.38/1790.06 c Primal Bound : -2.70000000000000e+01 (in run 1, after 2096 nodes, 862.39 seconds, depth 210, found by <linesearchdiving>)
1789.38/1790.06 c Dual Bound : -4.38840769449486e+01
1789.38/1790.06 c Gap : 38.47 %
1789.38/1790.06 c Root Dual Bound : -4.99999999999998e+01
1789.38/1790.06 c Root Iterations : 2984
1789.48/1790.10 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-2703321-1278573285/watcher-2703321-1278573285 -o /tmp/evaluation-result-2703321-1278573285/solver-2703321-1278573285 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703321-1278573285.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.71 0.55 3/106 29939
/proc/meminfo: memFree=1628280/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=7904 CPUtime=0
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 1080 0 0 0 0 0 0 0 17 0 1 0 25541732 8093696 993 1992294400 4194304 8395647 140737456338112 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29939/statm: 1976 1000 365 1026 0 946 0
[startup+0.0884699 s]
/proc/loadavg: 0.99 0.71 0.55 3/106 29939
/proc/meminfo: memFree=1628280/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=18448 CPUtime=0.08
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 3985 0 0 0 7 1 0 0 17 0 1 0 25541732 18890752 3543 1992294400 4194304 8395647 140737456338112 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 4612 3543 461 1026 0 3582 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18448
[startup+0.101472 s]
/proc/loadavg: 0.99 0.71 0.55 3/106 29939
/proc/meminfo: memFree=1628280/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=18448 CPUtime=0.09
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 3985 0 0 0 8 1 0 0 17 0 1 0 25541732 18890752 3543 1992294400 4194304 8395647 140737456338112 18446744073709551615 4834370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 4612 3543 461 1026 0 3582 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18448
[startup+0.301511 s]
/proc/loadavg: 0.99 0.71 0.55 3/106 29939
/proc/meminfo: memFree=1628280/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=25480 CPUtime=0.3
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 5864 0 0 0 28 2 0 0 17 0 1 0 25541732 26091520 5403 1992294400 4194304 8395647 140737456338112 18446744073709551615 6586906 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 6370 5403 565 1026 0 5340 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 25480
[startup+0.701587 s]
/proc/loadavg: 0.99 0.71 0.55 3/106 29939
/proc/meminfo: memFree=1628280/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=26204 CPUtime=0.69
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 6088 0 0 0 67 2 0 0 17 0 1 0 25541732 26832896 5627 1992294400 4194304 8395647 140737456338112 18446744073709551615 6723581 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 6551 5627 570 1026 0 5521 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26204
[startup+1.50174 s]
/proc/loadavg: 0.99 0.71 0.55 2/107 29940
/proc/meminfo: memFree=1591816/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=42012 CPUtime=1.49
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 10927 0 0 0 145 4 0 0 18 0 1 0 25541732 43020288 9584 1992294400 4194304 8395647 140737456338112 18446744073709551615 6202674 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 10503 9584 617 1026 0 9473 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42012
[startup+3.10105 s]
/proc/loadavg: 0.99 0.71 0.55 2/107 29940
/proc/meminfo: memFree=1591816/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=45704 CPUtime=3.09
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 11944 0 0 0 284 25 0 0 21 0 1 0 25541732 46800896 10601 1992294400 4194304 8395647 140737456338112 18446744073709551615 4217900 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 11426 10601 636 1026 0 10396 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45704
[startup+6.30166 s]
/proc/loadavg: 0.99 0.71 0.55 2/107 29940
/proc/meminfo: memFree=1585864/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=47932 CPUtime=6.29
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 12568 0 0 0 599 30 0 0 25 0 1 0 25541732 49082368 11175 1992294400 4194304 8395647 140737456338112 18446744073709551615 6197831 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 11983 11175 641 1026 0 10953 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47932
[startup+12.7009 s]
/proc/loadavg: 0.99 0.72 0.55 2/107 29940
/proc/meminfo: memFree=1585624/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=47932 CPUtime=12.69
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 12574 0 0 0 1238 31 0 0 25 0 1 0 25541732 49082368 11178 1992294400 4194304 8395647 140737456338112 18446744073709551615 6013893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 11983 11178 638 1026 0 10953 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47932
[startup+25.5013 s]
/proc/loadavg: 0.99 0.73 0.56 2/107 29940
/proc/meminfo: memFree=1581532/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=51460 CPUtime=25.49
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 14180 0 0 0 2511 38 0 0 25 0 1 0 25541732 52695040 12048 1992294400 4194304 8395647 140737456338112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 12865 12048 639 1026 0 11835 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51460
[startup+51.1012 s]
/proc/loadavg: 0.99 0.75 0.57 2/107 29942
/proc/meminfo: memFree=1581532/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=52292 CPUtime=51.08
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 14251 0 0 0 5055 53 0 0 25 0 1 0 25541732 53547008 12119 1992294400 4194304 8395647 140737456338112 18446744073709551615 6693030 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 13073 12119 642 1026 0 12043 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 52292
[startup+102.309 s]
/proc/loadavg: 0.99 0.79 0.59 2/107 29942
/proc/meminfo: memFree=1581532/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=52292 CPUtime=102.26
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 14251 0 0 0 10142 84 0 0 25 0 1 0 25541732 53547008 12119 1992294400 4194304 8395647 140737456338112 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 13073 12119 642 1026 0 12043 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 52292
[startup+162.301 s]
/proc/loadavg: 0.99 0.83 0.61 2/107 29944
/proc/meminfo: memFree=1581532/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=52292 CPUtime=162.23
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 14251 0 0 0 16100 123 0 0 25 0 1 0 25541732 53547008 12119 1992294400 4194304 8395647 140737456338112 18446744073709551615 6696954 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 13073 12119 642 1026 0 12043 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 52292
[startup+222.301 s]
/proc/loadavg: 0.99 0.86 0.63 2/107 29946
/proc/meminfo: memFree=1581532/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=52292 CPUtime=222.22
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 14260 0 0 0 22059 163 0 0 25 0 1 0 25541732 53547008 12128 1992294400 4194304 8395647 140737456338112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 13073 12128 642 1026 0 12043 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 52292
[startup+282.3 s]
/proc/loadavg: 0.99 0.88 0.65 2/107 29951
/proc/meminfo: memFree=1580912/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=52292 CPUtime=282.19
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 14260 0 0 0 28014 205 0 0 25 0 1 0 25541732 53547008 12128 1992294400 4194304 8395647 140737456338112 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 13073 12128 642 1026 0 12043 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 52292
[startup+342.302 s]
/proc/loadavg: 0.99 0.90 0.67 2/107 29951
/proc/meminfo: memFree=1580912/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=52292 CPUtime=342.18
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 14260 0 0 0 33966 252 0 0 25 0 1 0 25541732 53547008 12128 1992294400 4194304 8395647 140737456338112 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 13073 12128 642 1026 0 12043 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 52292
[startup+402.301 s]
/proc/loadavg: 0.99 0.91 0.69 2/107 29953
/proc/meminfo: memFree=1580912/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=52292 CPUtime=402.15
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 14261 0 0 0 39924 291 0 0 25 0 1 0 25541732 53547008 12129 1992294400 4194304 8395647 140737456338112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 13073 12129 642 1026 0 12043 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 52292
[startup+462.301 s]
/proc/loadavg: 0.99 0.93 0.71 2/107 29955
/proc/meminfo: memFree=1580912/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=52292 CPUtime=462.13
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 14263 0 0 0 45878 335 0 0 25 0 1 0 25541732 53547008 12131 1992294400 4194304 8395647 140737456338112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 13073 12131 642 1026 0 12043 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 52292
[startup+522.301 s]
/proc/loadavg: 0.99 0.94 0.72 2/107 29957
/proc/meminfo: memFree=1580788/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=52292 CPUtime=522.12
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 14324 0 0 0 51834 378 0 0 25 0 1 0 25541732 53547008 12192 1992294400 4194304 8395647 140737456338112 18446744073709551615 6471904 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 13073 12192 642 1026 0 12043 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 52292
[startup+582.301 s]
/proc/loadavg: 0.99 0.95 0.74 2/107 29959
/proc/meminfo: memFree=1580788/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=52292 CPUtime=582.09
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 14325 0 0 0 57787 422 0 0 25 0 1 0 25541732 53547008 12193 1992294400 4194304 8395647 140737456338112 18446744073709551615 6592928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 13073 12193 642 1026 0 12043 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 52292
[startup+642.3 s]
/proc/loadavg: 0.99 0.95 0.75 2/107 29959
/proc/meminfo: memFree=1580540/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=53100 CPUtime=642.08
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 17311 0 0 0 63739 469 0 0 25 0 1 0 25541732 54374400 12265 1992294400 4194304 8395647 140737456338112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 13275 12265 644 1026 0 12245 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 53100
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1576696/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=56040 CPUtime=1001.95
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 18252 0 0 0 99477 718 0 0 25 0 1 0 25541732 57384960 13206 1992294400 4194304 8395647 140737456338112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 14010 13206 644 1026 0 12980 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 56040
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/107 29971
/proc/meminfo: memFree=1576200/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=56604 CPUtime=1061.93
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 21500 0 0 0 105426 767 0 0 25 0 1 0 25541732 57962496 13321 1992294400 4194304 8395647 140737456338112 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 14151 13321 644 1026 0 13121 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 56604
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.83 2/107 29973
/proc/meminfo: memFree=1574960/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=57804 CPUtime=1121.9
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 21802 0 0 0 111382 808 0 0 25 0 1 0 25541732 59191296 13623 1992294400 4194304 8395647 140737456338112 18446744073709551615 6696316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 14451 13623 644 1026 0 13421 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 57804
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 29975
/proc/meminfo: memFree=1574588/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=58432 CPUtime=1181.89
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 21897 0 0 0 117337 852 0 0 25 0 1 0 25541732 59834368 13718 1992294400 4194304 8395647 140737456338112 18446744073709551615 6390518 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 14608 13718 644 1026 0 13578 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 58432
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 29975
/proc/meminfo: memFree=1573596/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=59344 CPUtime=1241.87
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 22128 0 0 0 123293 894 0 0 25 0 1 0 25541732 60768256 13949 1992294400 4194304 8395647 140737456338112 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 14836 13949 644 1026 0 13806 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 59344
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.85 2/107 29977
/proc/meminfo: memFree=1573224/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=59524 CPUtime=1301.85
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 22240 0 0 0 129245 940 0 0 25 0 1 0 25541732 60952576 14061 1992294400 4194304 8395647 140737456338112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 14881 14061 644 1026 0 13851 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 59524
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.85 2/107 29979
/proc/meminfo: memFree=1572728/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=59856 CPUtime=1361.83
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 22346 0 0 0 135197 986 0 0 25 0 1 0 25541732 61292544 14167 1992294400 4194304 8395647 140737456338112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 14964 14167 644 1026 0 13934 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 59856
[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.86 2/107 29981
/proc/meminfo: memFree=1571488/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=61296 CPUtime=1421.82
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 22670 0 0 0 141155 1027 0 0 25 0 1 0 25541732 62767104 14491 1992294400 4194304 8395647 140737456338112 18446744073709551615 6708260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 15324 14491 644 1026 0 14294 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 61296
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.87 2/107 29983
/proc/meminfo: memFree=1571488/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=61296 CPUtime=1481.79
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 22672 0 0 0 147106 1073 0 0 25 0 1 0 25541732 62767104 14493 1992294400 4194304 8395647 140737456338112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 15324 14493 644 1026 0 14294 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 61296
[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.87 2/107 29983
/proc/meminfo: memFree=1571116/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=61648 CPUtime=1541.76
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 25847 0 0 0 153057 1119 0 0 25 0 1 0 25541732 63127552 14579 1992294400 4194304 8395647 140737456338112 18446744073709551615 6667514 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 15412 14579 644 1026 0 14382 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 61648
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.88 2/107 29985
/proc/meminfo: memFree=1570620/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=62204 CPUtime=1601.74
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 25974 0 0 0 159010 1164 0 0 25 0 1 0 25541732 63696896 14706 1992294400 4194304 8395647 140737456338112 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 15551 14706 644 1026 0 14521 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 62204
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.88 2/107 29987
/proc/meminfo: memFree=1570496/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=62204 CPUtime=1661.72
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 25998 0 0 0 164964 1208 0 0 25 0 1 0 25541732 63696896 14730 1992294400 4194304 8395647 140737456338112 18446744073709551615 6574244 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 15551 14730 644 1026 0 14521 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 62204
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 29989
/proc/meminfo: memFree=1570372/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=62204 CPUtime=1721.7
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 26023 0 0 0 170916 1254 0 0 25 0 1 0 25541732 63696896 14755 1992294400 4194304 8395647 140737456338112 18446744073709551615 6696307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 15551 14755 644 1026 0 14521 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 62204
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 29991
/proc/meminfo: memFree=1569876/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=62744 CPUtime=1781.68
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 26145 0 0 0 176874 1294 0 0 25 0 1 0 25541732 64249856 14877 1992294400 4194304 8395647 140737456338112 18446744073709551615 6696995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 15686 14877 644 1026 0 14656 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 62744
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 29991
/proc/meminfo: memFree=1569876/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=62744 CPUtime=1784.88
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 26145 0 0 0 177190 1298 0 0 25 0 1 0 25541732 64249856 14877 1992294400 4194304 8395647 140737456338112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 15686 14877 644 1026 0 14656 0
Current children cumulated CPU time (s) 1784.88
Current children cumulated vsize (KiB) 62744
[startup+1788.7 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 29991
/proc/meminfo: memFree=1569876/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=62744 CPUtime=1788.08
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 26145 0 0 0 177507 1301 0 0 25 0 1 0 25541732 64249856 14877 1992294400 4194304 8395647 140737456338112 18446744073709551615 6701811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 15686 14877 644 1026 0 14656 0
Current children cumulated CPU time (s) 1788.08
Current children cumulated vsize (KiB) 62744
[startup+1789.5 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 29991
/proc/meminfo: memFree=1569876/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=62744 CPUtime=1788.88
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 26145 0 0 0 177587 1301 0 0 25 0 1 0 25541732 64249856 14877 1992294400 4194304 8395647 140737456338112 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 15686 14877 644 1026 0 14656 0
Current children cumulated CPU time (s) 1788.88
Current children cumulated vsize (KiB) 62744
[startup+1789.9 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 29991
/proc/meminfo: memFree=1569876/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=62744 CPUtime=1789.28
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 26145 0 0 0 177626 1302 0 0 25 0 1 0 25541732 64249856 14877 1992294400 4194304 8395647 140737456338112 18446744073709551615 6693794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29939/statm: 15686 14877 644 1026 0 14656 0
Current children cumulated CPU time (s) 1789.28
Current children cumulated vsize (KiB) 62744
[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.89 2/107 29991
/proc/meminfo: memFree=1569876/2059040 swapFree=4134964/4192956
[pid=29939] ppid=29937 vsize=52920 CPUtime=1789.48
/proc/29939/stat : 29939 (pbscip.linux.x8) R 29937 29939 29826 0 -1 4202496 26146 0 0 0 177646 1302 0 0 25 0 1 0 25541732 54190080 12314 1992294400 4194304 8395647 140737456338112 18446744073709551615 7435351 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29939/statm: 13230 11627 645 1026 0 12200 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (KiB) 52920
Child status: 0
Real time (s): 1790.11
CPU time (s): 1789.49
CPU user time (s): 1776.46
CPU system time (s): 13.032
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 73724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.46
system time used= 13.032
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26149
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= 3257
runsolver used 2.92455 second user time and 8.48071 second system time
The end