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-2703297-1278572894.opb>
0.00/0.02 c original problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1561 constraints
0.00/0.02 c problem read
0.00/0.02 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.11 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 10280 impls, 200 clqs
0.10/0.20 c (0.2s) probing: 101/1460 (6.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.20 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.10/0.20 c presolving (2 rounds):
0.10/0.20 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.10/0.20 c 10280 implications, 200 cliques
0.10/0.20 c presolved problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1561 constraints
0.10/0.20 c 300 constraints of type <setppc>
0.10/0.20 c 1260 constraints of type <and>
0.10/0.20 c 1 constraints of type <linear>
0.10/0.20 c transformed objective value is always integral (scale: 1)
0.10/0.20 c Presolving Time: 0.16
0.10/0.20 c - non default parameters ----------------------------------------------------------------------
0.10/0.20 c # SCIP version 1.2.1.3
0.10/0.20 c
0.10/0.20 c # frequency for displaying node information lines
0.10/0.20 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.20 c display/freq = 10000
0.10/0.20 c
0.10/0.20 c # maximal time in seconds to run
0.10/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.20 c limits/time = 1789.98
0.10/0.20 c
0.10/0.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.20 c limits/memory = 1620
0.10/0.20 c
0.10/0.20 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.10/0.20 c # [type: int, range: [1,2], default: 1]
0.10/0.20 c timing/clocktype = 2
0.10/0.20 c
0.10/0.20 c # should presolving try to simplify inequalities
0.10/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.20 c constraints/linear/simplifyinequalities = TRUE
0.10/0.20 c
0.10/0.20 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.10/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.20 c constraints/indicator/addCouplingCons = TRUE
0.10/0.20 c
0.10/0.20 c # should presolving try to simplify knapsacks
0.10/0.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.20 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.20 c
0.10/0.20 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.10/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.20 c heuristics/undercover/freq = 0
0.10/0.20 c
0.10/0.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.20 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.20 c separating/rapidlearning/freq = 0
0.10/0.20 c
0.10/0.20 c -----------------------------------------------------------------------------------------------
0.10/0.20 c start solving
0.19/0.20 c
0.59/0.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.62 c t 0.6s| 1 | 0 | 1257 | - |6821k| 0 | 682 |1460 |1561 |1460 |2821 | 0 | 0 | 0 |-5.000000e+01 | 0.000000e+00 | 100.00%
0.59/0.63 o -5
0.59/0.63 c s 0.6s| 1 | 0 | 1257 | - |6875k| 0 | 682 |1460 |1561 |1460 |2821 | 0 | 0 | 0 |-5.000000e+01 |-5.000000e+00 | 90.00%
3.30/3.32 o -15
3.30/3.32 c y 3.3s| 1 | 0 | 1257 | - |7940k| 0 | 682 |1460 |1562 |1460 |2821 | 0 | 1 | 0 |-5.000000e+01 |-1.500000e+01 | 70.00%
3.49/3.54 c 3.5s| 1 | 0 | 1618 | - |7565k| 0 | 763 |1460 |1700 |1460 |2859 | 38 | 1 | 0 |-5.000000e+01 |-1.500000e+01 | 70.00%
5.19/5.23 c 5.2s| 1 | 0 | 1838 | - |8802k| 0 | 784 |1460 |1700 |1460 |2869 | 48 | 1 | 0 |-5.000000e+01 |-1.500000e+01 | 70.00%
6.99/7.05 c 7.0s| 1 | 0 | 2123 | - | 10M| 0 | 768 |1460 |1700 |1460 |2874 | 53 | 1 | 0 |-5.000000e+01 |-1.500000e+01 | 70.00%
8.90/8.95 c 8.9s| 1 | 0 | 2496 | - | 11M| 0 | 776 |1460 |1700 |1460 |2881 | 60 | 1 | 0 |-5.000000e+01 |-1.500000e+01 | 70.00%
10.79/10.83 c 10.8s| 1 | 0 | 2661 | - | 14M| 0 | 770 |1460 |1700 |1460 |2886 | 65 | 1 | 0 |-5.000000e+01 |-1.500000e+01 | 70.00%
12.79/12.89 c 12.9s| 1 | 0 | 2918 | - | 15M| 0 | 800 |1460 |1700 |1460 |2890 | 69 | 1 | 0 |-5.000000e+01 |-1.500000e+01 | 70.00%
25.48/25.54 c 25.5s| 1 | 2 | 2918 | - | 15M| 0 | 800 |1460 |1700 |1460 |2890 | 69 | 1 | 14 |-5.000000e+01 |-1.500000e+01 | 70.00%
100.07/100.15 o -22
100.07/100.15 c p 100s| 26 | 27 | 34616 |1267.9 | 15M| 13 | - |1460 |1702 |1460 |1577 |1770 | 3 | 263 |-4.982488e+01 |-2.200000e+01 | 55.85%
146.85/146.93 o -23
146.85/146.93 c p 147s| 122 | 123 |105553 | 848.2 | 15M| 17 | - |1460 |1728 |1460 |1620 |3775 | 29 | 362 |-4.944665e+01 |-2.300000e+01 | 53.49%
227.53/227.65 o -24
227.53/227.65 c l 228s| 168 | 169 |249421 |1476.1 | 15M| 19 | - |1460 |1795 |1460 |1426 |5468 | 96 | 488 |-4.841117e+01 |-2.400000e+01 | 50.42%
271.71/271.84 o -26
271.71/271.84 c p 272s| 192 | 193 |324888 |1685.7 | 15M| 19 | - |1460 |1810 |1460 |1630 |6104 | 111 | 551 |-4.774667e+01 |-2.600000e+01 | 45.55%
1517.33/1517.80 c 1518s| 10000 | 2393 | 2449k| 244.7 | 27M| 60 | - |1460 |1836 |1460 |1752 | 39k| 271 |4041 |-4.371683e+01 |-2.600000e+01 | 40.53%
1789.45/1790.01 c
1789.45/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.45/1790.01 c Solving Time (sec) : 1789.98
1789.45/1790.01 c Solving Nodes : 13782
1789.45/1790.01 c Primal Bound : -2.60000000000000e+01 (11 solutions)
1789.45/1790.01 c Dual Bound : -4.32746952901540e+01
1789.45/1790.01 c Gap : 39.92 %
1789.45/1790.01 s SATISFIABLE
1789.45/1790.01 v x179 -x159 -x121 -x148 -x151 -x132 -x175 -x193 -x195 -x136 -x184 -x112 -x147 -x119 -x156 -x182 -x141 x127 -x134 -x186 x171 -x135
1789.45/1790.01 v x169 -x118 -x117 -x144 -x106 x133 -x113 -x163 -x124 x167 -x200 x145 x105 -x181 x142 -x108 -x115 -x107 -x129 x158 x185 x172
1789.45/1790.01 v x161 -x160 -x139 -x137 -x109 -x198 -x153 x183 -x187 x114 -x196 x188 -x154 -x140 -x126 -x104 -x197 -x111 x192 -x116 -x170 -x173
1789.45/1790.01 v -x102 x166 -x152 -x149 -x130 -x125 -x110 -x103 -x131 x168 -x174 -x155 -x138 -x194 -x150 -x180 -x143 -x101 -x190 x177 x164 x157
1789.45/1790.01 v x123 -x122 -x128 x146 -x178 -x165 x199 -x162 x176 -x189 -x120 -x191 x100 -x99 -x98 x97 x96 x95 -x94 x93 -x92 -x91 x90 x89
1789.45/1790.01 v -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 -x62
1789.45/1790.01 v -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 -x36
1789.45/1790.01 v -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.45/1790.01 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1789.45/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.45/1790.01 c Solving Time : 1789.98
1789.45/1790.01 c Original Problem :
1789.45/1790.01 c Problem name : HOME/instance-2703297-1278572894.opb
1789.45/1790.01 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.45/1790.01 c Constraints : 1561 initial, 1561 maximal
1789.45/1790.01 c Presolved Problem :
1789.45/1790.01 c Problem name : t_HOME/instance-2703297-1278572894.opb
1789.45/1790.01 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.45/1790.01 c Constraints : 1561 initial, 1860 maximal
1789.45/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.45/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c probing : 0.03 0 0 0 0 0 0 0 0
1789.45/1790.01 c setppc : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c and : 0.11 0 0 0 0 0 0 0 0
1789.45/1790.01 c linear : 0.01 0 0 0 0 0 0 0 0
1789.45/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.45/1790.01 c root node : - 0 - - 0 - - - -
1789.45/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.45/1790.01 c integral : 0 0 0 8626 0 16 532 0 0 16728
1789.45/1790.01 c setppc : 300 6 123226 0 1 84 40687 0 0 0
1789.45/1790.01 c and : 1260 16061 123141 0 1 172 459000 47884 0 0
1789.45/1790.01 c linear : 1+ 7 122965 0 0 0 2885 1 0 0
1789.45/1790.01 c logicor : 0+ 6 13323 0 0 1 5395 0 0 0
1789.45/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.45/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.45/1790.01 c integral : 326.30 0.00 0.00 326.30 0.00
1789.45/1790.01 c setppc : 1.92 0.00 1.92 0.00 0.00
1789.45/1790.01 c and : 14.84 7.48 7.36 0.00 0.00
1789.45/1790.01 c linear : 1.95 0.03 1.92 0.00 0.00
1789.45/1790.01 c logicor : 0.16 0.00 0.16 0.00 0.00
1789.45/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.45/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.45/1790.01 c vbounds : 0.08 2 0 0
1789.45/1790.01 c rootredcost : 0.09 5 0 0
1789.45/1790.01 c pseudoobj : 1.21 123271 2 0
1789.45/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.45/1790.01 c propagation : 0.01 259 258 265 4.5 5 35.2 -
1789.45/1790.01 c infeasible LP : 0.01 15 15 83 84.4 1 3.0 0
1789.45/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.45/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.45/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.45/1790.01 c applied globally : - - - 332 19.1 - - -
1789.45/1790.01 c applied locally : - - - 0 0.0 - - -
1789.45/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.45/1790.01 c cut pool : 0.01 5 - - 10 - (maximal pool size: 935)
1789.45/1790.01 c redcost : 1.50 17125 0 70231 0 0
1789.45/1790.01 c impliedbounds : 0.00 6 0 0 68 0
1789.45/1790.01 c intobj : 0.00 0 0 0 0 0
1789.45/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.45/1790.01 c gomory : 4.79 6 0 0 12 0
1789.45/1790.01 c strongcg : 4.27 6 0 0 1643 0
1789.45/1790.01 c cmir : 0.22 6 0 0 10 0
1789.45/1790.01 c flowcover : 0.19 6 0 0 18 0
1789.45/1790.01 c clique : 0.12 6 0 0 36 0
1789.45/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.45/1790.01 c mcf : 0.00 1 0 0 0 0
1789.45/1790.01 c rapidlearning : 1.26 1 0 0 0 138
1789.45/1790.01 c Pricers : Time Calls Vars
1789.45/1790.01 c problem variables: 0.00 0 0
1789.45/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.45/1790.01 c relpscost : 326.27 8626 16 532 0 0 16728
1789.45/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.45/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.45/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.45/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.45/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.45/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.45/1790.01 c random : 0.00 0 0 0 0 0 0
1789.45/1790.01 c Primal Heuristics : Time Calls Found
1789.45/1790.01 c LP solutions : 0.00 - 0
1789.45/1790.01 c pseudo solutions : 0.00 - 0
1789.45/1790.01 c feaspump : 0.00 0 0
1789.45/1790.01 c oneopt : 0.03 5 0
1789.45/1790.01 c crossover : 1.41 5 2
1789.45/1790.01 c fracdiving : 56.78 36 0
1789.45/1790.01 c coefdiving : 57.07 39 0
1789.45/1790.01 c pscostdiving : 185.14 95 3
1789.45/1790.01 c trivial : 0.00 2 3
1789.45/1790.01 c simplerounding : 0.02 0 0
1789.45/1790.01 c zirounding : 0.29 1000 0
1789.45/1790.01 c rounding : 2.60 1754 0
1789.45/1790.01 c shifting : 3.76 1345 1
1789.45/1790.01 c intshifting : 0.00 0 0
1789.45/1790.01 c twoopt : 0.00 0 0
1789.45/1790.01 c fixandinfer : 0.00 0 0
1789.45/1790.01 c veclendiving : 48.94 37 0
1789.45/1790.01 c intdiving : 0.00 0 0
1789.45/1790.01 c actconsdiving : 0.00 0 0
1789.45/1790.01 c objpscostdiving : 18.27 10 0
1789.45/1790.01 c rootsoldiving : 14.71 25 0
1789.45/1790.01 c linesearchdiving : 109.46 96 1
1789.45/1790.01 c guideddiving : 60.08 24 0
1789.45/1790.01 c octane : 0.00 0 0
1789.45/1790.01 c rens : 0.01 0 0
1789.45/1790.01 c rins : 0.00 0 0
1789.45/1790.01 c localbranching : 0.00 0 0
1789.45/1790.01 c mutation : 0.00 0 0
1789.45/1790.01 c dins : 0.00 0 0
1789.45/1790.01 c undercover : 0.17 1 0
1789.45/1790.01 c nlp : 0.01 0 0
1789.45/1790.01 c trysol : 0.01 0 0
1789.45/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.45/1790.01 c primal LP : 7.40 0 0 0.00 0.00
1789.45/1790.01 c dual LP : 842.52 20379 1763633 86.54 2093.29
1789.45/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.45/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.45/1790.01 c diving/probing LP: 488.17 52308 1135672 21.71 2326.39
1789.45/1790.01 c strong branching : 324.81 4953 696930 140.71 2145.68
1789.45/1790.01 c (at root node) : - 14 13138 938.43 -
1789.45/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.45/1790.01 c B&B Tree :
1789.45/1790.01 c number of runs : 1
1789.45/1790.01 c nodes : 13782
1789.45/1790.01 c nodes (total) : 13782
1789.45/1790.01 c nodes left : 2946
1789.45/1790.01 c max depth : 66
1789.45/1790.01 c max depth (total): 66
1789.45/1790.01 c backtracks : 2334 (16.9%)
1789.45/1790.01 c delayed cutoffs : 3
1789.45/1790.01 c repropagations : 4693 (1282 domain reductions, 0 cutoffs)
1789.45/1790.01 c avg switch length: 5.40
1789.45/1790.01 c switching time : 12.61
1789.45/1790.01 c Solution :
1789.45/1790.01 c Solutions found : 11 (7 improvements)
1789.45/1790.01 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1789.45/1790.01 c Primal Bound : -2.60000000000000e+01 (in run 1, after 192 nodes, 271.82 seconds, depth 242, found by <pscostdiving>)
1789.45/1790.01 c Dual Bound : -4.32746952901540e+01
1789.45/1790.01 c Gap : 39.92 %
1789.45/1790.01 c Root Dual Bound : -4.99999999999998e+01
1789.45/1790.01 c Root Iterations : 2918
1789.45/1790.06 c Time complete: 1789.52.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703297-1278572894/watcher-2703297-1278572894 -o /tmp/evaluation-result-2703297-1278572894/solver-2703297-1278572894 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703297-1278572894.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.01 0.09 0.45 3/105 28417
/proc/meminfo: memFree=1835476/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=7904 CPUtime=0
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 1110 0 0 0 0 0 0 0 21 0 1 0 25498120 8093696 1022 1992294400 4194304 8395647 140734766340368 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28417/statm: 1976 1029 365 1026 0 946 0
[startup+0.107658 s]
/proc/loadavg: 0.01 0.09 0.45 3/105 28417
/proc/meminfo: memFree=1835476/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=18988 CPUtime=0.1
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 4135 0 0 0 9 1 0 0 23 0 1 0 25498120 19443712 3693 1992294400 4194304 8395647 140734766340368 18446744073709551615 5018728 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 4747 3693 476 1026 0 3717 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18988
[startup+0.200838 s]
/proc/loadavg: 0.01 0.09 0.45 3/105 28417
/proc/meminfo: memFree=1835476/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=20292 CPUtime=0.19
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 4505 0 0 0 18 1 0 0 18 0 1 0 25498120 20779008 4063 1992294400 4194304 8395647 140734766340368 18446744073709551615 6053557 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 5073 4063 502 1026 0 4043 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20292
[startup+0.300678 s]
/proc/loadavg: 0.01 0.09 0.45 3/105 28417
/proc/meminfo: memFree=1835476/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=25872 CPUtime=0.29
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 5959 0 0 0 27 2 0 0 18 0 1 0 25498120 26492928 5495 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 6468 5495 566 1026 0 5438 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25872
[startup+0.700721 s]
/proc/loadavg: 0.01 0.09 0.45 3/105 28417
/proc/meminfo: memFree=1835476/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=42980 CPUtime=0.69
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 9924 0 0 0 66 3 0 0 18 0 1 0 25498120 44011520 9460 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 10745 9460 580 1026 0 9715 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42980
[startup+1.50081 s]
/proc/loadavg: 0.08 0.10 0.45 2/106 28418
/proc/meminfo: memFree=1795788/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=45744 CPUtime=1.49
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 10986 0 0 0 145 4 0 0 19 0 1 0 25498120 46841856 10489 1992294400 4194304 8395647 140734766340368 18446744073709551615 7182457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 11436 10489 629 1026 0 10406 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45744
[startup+3.10098 s]
/proc/loadavg: 0.08 0.10 0.45 2/106 28418
/proc/meminfo: memFree=1795292/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=45744 CPUtime=3.09
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 11068 0 0 0 285 24 0 0 24 0 1 0 25498120 46841856 10571 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 11436 10571 648 1026 0 10406 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45744
[startup+6.30131 s]
/proc/loadavg: 0.08 0.10 0.45 2/106 28418
/proc/meminfo: memFree=1794548/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=45744 CPUtime=6.29
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 11208 0 0 0 603 26 0 0 25 0 1 0 25498120 46841856 10689 1992294400 4194304 8395647 140734766340368 18446744073709551615 6128233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 11436 10689 681 1026 0 10406 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45744
[startup+12.701 s]
/proc/loadavg: 0.23 0.13 0.45 2/106 28418
/proc/meminfo: memFree=1794424/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=45744 CPUtime=12.69
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 11251 0 0 0 1241 28 0 0 25 0 1 0 25498120 46841856 10689 1992294400 4194304 8395647 140734766340368 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 11436 10689 638 1026 0 10406 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45744
[startup+25.5014 s]
/proc/loadavg: 0.34 0.16 0.46 2/106 28418
/proc/meminfo: memFree=1792440/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=47888 CPUtime=25.48
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 11764 0 0 0 2514 34 0 0 25 0 1 0 25498120 49037312 11202 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 11972 11202 639 1026 0 10942 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47888
[startup+51.1011 s]
/proc/loadavg: 0.57 0.23 0.47 2/106 28420
/proc/meminfo: memFree=1792440/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=47888 CPUtime=51.07
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 11765 0 0 0 5058 49 0 0 25 0 1 0 25498120 49037312 11203 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 11972 11203 640 1026 0 10942 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47888
[startup+102.301 s]
/proc/loadavg: 0.83 0.36 0.50 2/106 28420
/proc/meminfo: memFree=1792440/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=47888 CPUtime=102.27
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 11767 0 0 0 10144 83 0 0 25 0 1 0 25498120 49037312 11205 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 11972 11205 642 1026 0 10942 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47888
[startup+162.301 s]
/proc/loadavg: 0.93 0.47 0.53 2/106 28422
/proc/meminfo: memFree=1792440/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=47888 CPUtime=162.24
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 11768 0 0 0 16097 127 0 0 25 0 1 0 25498120 49037312 11206 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 11972 11206 642 1026 0 10942 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 47888
[startup+222.308 s]
/proc/loadavg: 0.97 0.56 0.56 2/106 28424
/proc/meminfo: memFree=1792440/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=47888 CPUtime=222.24
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 11768 0 0 0 22058 166 0 0 25 0 1 0 25498120 49037312 11206 1992294400 4194304 8395647 140734766340368 18446744073709551615 6652366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 11972 11206 642 1026 0 10942 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 47888
[startup+282.301 s]
/proc/loadavg: 0.99 0.64 0.58 2/106 28426
/proc/meminfo: memFree=1792316/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=47888 CPUtime=282.2
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 11770 0 0 0 28015 205 0 0 25 0 1 0 25498120 49037312 11208 1992294400 4194304 8395647 140734766340368 18446744073709551615 6120538 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 11972 11208 642 1026 0 10942 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 47888
[startup+342.301 s]
/proc/loadavg: 0.99 0.70 0.60 2/106 28426
/proc/meminfo: memFree=1792316/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=47888 CPUtime=342.18
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 11770 0 0 0 33974 244 0 0 25 0 1 0 25498120 49037312 11208 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 11972 11208 642 1026 0 10942 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 47888
[startup+402.3 s]
/proc/loadavg: 0.99 0.75 0.63 2/106 28428
/proc/meminfo: memFree=1792192/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=47888 CPUtime=402.16
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 11770 0 0 0 39931 285 0 0 25 0 1 0 25498120 49037312 11208 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 11972 11208 642 1026 0 10942 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 47888
[startup+462.301 s]
/proc/loadavg: 0.99 0.80 0.65 2/106 28430
/proc/meminfo: memFree=1792192/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=47888 CPUtime=462.15
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 11770 0 0 0 45884 331 0 0 25 0 1 0 25498120 49037312 11208 1992294400 4194304 8395647 140734766340368 18446744073709551615 6697254 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 11972 11208 642 1026 0 10942 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 47888
[startup+522.301 s]
/proc/loadavg: 0.99 0.83 0.66 2/106 28432
/proc/meminfo: memFree=1793432/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=46788 CPUtime=522.13
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 14438 0 0 0 51836 377 0 0 25 0 1 0 25498120 47910912 10942 1992294400 4194304 8395647 140734766340368 18446744073709551615 6697125 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 11697 10942 651 1026 0 10667 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 46788
[startup+582.301 s]
/proc/loadavg: 0.99 0.86 0.68 2/106 28434
/proc/meminfo: memFree=1792564/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=47424 CPUtime=582.12
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 14616 0 0 0 57794 418 0 0 25 0 1 0 25498120 48562176 11120 1992294400 4194304 8395647 140734766340368 18446744073709551615 6693364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 11856 11120 651 1026 0 10826 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 47424
[startup+642.301 s]
/proc/loadavg: 0.99 0.88 0.70 2/106 28434
/proc/meminfo: memFree=1791572/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=48564 CPUtime=642.09
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 14875 0 0 0 63750 459 0 0 25 0 1 0 25498120 49729536 11379 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 12141 11379 651 1026 0 11111 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 48564
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1784504/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=55072 CPUtime=1001.99
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 16487 0 0 0 99486 713 0 0 25 0 1 0 25498120 56393728 12991 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 13768 12991 651 1026 0 12738 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 55072
[startup+1062.3 s]
/proc/loadavg: 0.99 0.96 0.79 2/106 28449
/proc/meminfo: memFree=1773840/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=66880 CPUtime=1061.96
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 19157 0 0 0 105437 759 0 0 25 0 1 0 25498120 68485120 15660 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 16720 15660 651 1026 0 15690 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 66880
[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.80 2/106 28451
/proc/meminfo: memFree=1773840/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=66880 CPUtime=1121.94
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 19158 0 0 0 111386 808 0 0 25 0 1 0 25498120 68485120 15661 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 16720 15661 651 1026 0 15690 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 66880
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.81 2/106 28453
/proc/meminfo: memFree=1773840/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=66880 CPUtime=1181.93
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 19158 0 0 0 117338 855 0 0 25 0 1 0 25498120 68485120 15661 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 16720 15661 651 1026 0 15690 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 66880
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/106 28453
/proc/meminfo: memFree=1773344/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=66880 CPUtime=1241.91
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 19225 0 0 0 123292 899 0 0 25 0 1 0 25498120 68485120 15728 1992294400 4194304 8395647 140734766340368 18446744073709551615 6740979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 16720 15728 651 1026 0 15690 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 66880
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.83 2/106 28455
/proc/meminfo: memFree=1773220/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=66880 CPUtime=1301.89
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 19225 0 0 0 129247 942 0 0 25 0 1 0 25498120 68485120 15728 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 16720 15728 651 1026 0 15690 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 66880
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.83 2/106 28457
/proc/meminfo: memFree=1772104/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=66672 CPUtime=1361.88
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 20479 0 0 0 135203 985 0 0 25 0 1 0 25498120 68272128 15879 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 16668 15879 651 1026 0 15638 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 66672
[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.84 2/106 28459
/proc/meminfo: memFree=1772104/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=66672 CPUtime=1421.86
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 20480 0 0 0 141156 1030 0 0 25 0 1 0 25498120 68272128 15880 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 16668 15880 651 1026 0 15638 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 66672
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.85 2/106 28461
/proc/meminfo: memFree=1771856/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=66672 CPUtime=1481.84
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 22008 0 0 0 147110 1074 0 0 25 0 1 0 25498120 68272128 15953 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 16668 15953 651 1026 0 15638 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 66672
[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.85 2/106 28461
/proc/meminfo: memFree=1771856/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=66672 CPUtime=1541.83
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 22008 0 0 0 153066 1117 0 0 25 0 1 0 25498120 68272128 15953 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 16668 15953 651 1026 0 15638 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 66672
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.86 2/106 28463
/proc/meminfo: memFree=1771732/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=66672 CPUtime=1601.81
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 22008 0 0 0 159016 1165 0 0 25 0 1 0 25498120 68272128 15953 1992294400 4194304 8395647 140734766340368 18446744073709551615 6740366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 16668 15953 651 1026 0 15638 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 66672
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.86 2/106 28465
/proc/meminfo: memFree=1771608/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=66672 CPUtime=1661.79
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 22009 0 0 0 164971 1208 0 0 25 0 1 0 25498120 68272128 15954 1992294400 4194304 8395647 140734766340368 18446744073709551615 6585993 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 16668 15954 651 1026 0 15638 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 66672
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.87 2/106 28467
/proc/meminfo: memFree=1763920/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=76436 CPUtime=1721.77
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 24088 0 0 0 170924 1253 0 0 25 0 1 0 25498120 78270464 18033 1992294400 4194304 8395647 140734766340368 18446744073709551615 6166650 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 19109 18033 651 1026 0 18079 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 76436
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.87 2/106 28469
/proc/meminfo: memFree=1763672/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=76436 CPUtime=1781.75
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 24088 0 0 0 176882 1293 0 0 25 0 1 0 25498120 78270464 18033 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 19109 18033 651 1026 0 18079 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 76436
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 0.99 0.97 0.87 2/106 28469
/proc/meminfo: memFree=1763672/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=76436 CPUtime=1785.05
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 24088 0 0 0 177209 1296 0 0 25 0 1 0 25498120 78270464 18033 1992294400 4194304 8395647 140734766340368 18446744073709551615 4827899 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 19109 18033 651 1026 0 18079 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 76436
[startup+1787.2 s]
/proc/loadavg: 0.99 0.97 0.88 2/106 28469
/proc/meminfo: memFree=1763672/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=76436 CPUtime=1786.65
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 24088 0 0 0 177367 1298 0 0 25 0 1 0 25498120 78270464 18033 1992294400 4194304 8395647 140734766340368 18446744073709551615 6574759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 19109 18033 651 1026 0 18079 0
Current children cumulated CPU time (s) 1786.65
Current children cumulated vsize (KiB) 76436
[startup+1788.8 s]
/proc/loadavg: 0.99 0.97 0.88 2/106 28469
/proc/meminfo: memFree=1763672/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=76436 CPUtime=1788.25
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 24088 0 0 0 177526 1299 0 0 25 0 1 0 25498120 78270464 18033 1992294400 4194304 8395647 140734766340368 18446744073709551615 6587243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 19109 18033 651 1026 0 18079 0
Current children cumulated CPU time (s) 1788.25
Current children cumulated vsize (KiB) 76436
[startup+1789.6 s]
/proc/loadavg: 0.99 0.97 0.88 2/106 28469
/proc/meminfo: memFree=1763672/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=76436 CPUtime=1789.05
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 24088 0 0 0 177605 1300 0 0 25 0 1 0 25498120 78270464 18033 1992294400 4194304 8395647 140734766340368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 19109 18033 651 1026 0 18079 0
Current children cumulated CPU time (s) 1789.05
Current children cumulated vsize (KiB) 76436
[startup+1790 s]
/proc/loadavg: 0.99 0.97 0.88 2/106 28469
/proc/meminfo: memFree=1763672/2059040 swapFree=4139772/4192956
[pid=28417] ppid=28415 vsize=76436 CPUtime=1789.45
/proc/28417/stat : 28417 (pbscip.linux.x8) R 28415 28417 28390 0 -1 4202496 24088 0 0 0 177645 1300 0 0 25 0 1 0 25498120 78270464 18033 1992294400 4194304 8395647 140734766340368 18446744073709551615 6701816 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28417/statm: 19109 18033 651 1026 0 18079 0
Current children cumulated CPU time (s) 1789.45
Current children cumulated vsize (KiB) 76436
Child status: 0
Real time (s): 1790.07
CPU time (s): 1789.52
CPU user time (s): 1776.51
CPU system time (s): 13.013
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 76436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.51
system time used= 13.013
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24092
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= 6
involuntary context switches= 5535
runsolver used 3.11952 second user time and 8.28574 second system time
The end