0.00/0.02 c SCIP version 1.1.0.7
0.00/0.02 c LP-Solver SoPlex 1.4.1
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c read problem <HOME/instance-3737422-1338747445.opb>
0.00/0.02 c original problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3363 constraints
0.00/0.03 c start presolving problem
0.00/0.03 c presolving:
0.05/0.09 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 300 upgd conss, 24696 impls, 200 clqs
0.09/0.17 c (0.1s) probing: 101/3262 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (2 rounds):
0.09/0.17 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.17 c 24696 implications, 200 cliques
0.09/0.17 c presolved problem has 3262 variables (3262 bin, 0 int, 0 impl, 0 cont) and 3363 constraints
0.09/0.17 c 200 constraints of type <setppc>
0.09/0.17 c 3062 constraints of type <and>
0.09/0.17 c 1 constraints of type <linear>
0.09/0.17 c 100 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.07
0.09/0.17 c OPT-NLC
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = c 13950
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = c 1791
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = c 10000
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving problem
0.09/0.17 c
5.69/5.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.69/5.76 c 5.7s| 1 | 0 | 8456 | 15M| 0 |1809 |3262 |3363 |3363 |3262 |6425 | 0 | 0 | 0 |-5.000000e+01 | -- | Inf
5.69/5.77 o -4
5.69/5.77 c s 5.7s| 1 | 0 | 8456 | 15M| 0 |1809 |3262 |3363 |3363 |3262 |6425 | 0 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
7.09/7.18 c 7.0s| 1 | 0 | 9668 | 15M| 0 |1788 |3262 |3363 |3363 |3262 |6547 | 122 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
8.38/8.46 c 8.3s| 1 | 0 | 10749 | 15M| 0 |1737 |3262 |3363 |3363 |3262 |6578 | 153 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
9.90/9.91 c 9.8s| 1 | 0 | 12063 | 15M| 0 |1740 |3262 |3363 |3363 |3262 |6596 | 171 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
11.68/11.71 c 11.6s| 1 | 0 | 13827 | 15M| 0 |1651 |3262 |3363 |3363 |3262 |6617 | 192 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
13.28/13.37 c 13.2s| 1 | 0 | 15399 | 15M| 0 |1667 |3262 |3363 |3363 |3262 |6641 | 216 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
15.18/15.26 c 15.1s| 1 | 0 | 17212 | 15M| 0 |1504 |3262 |3363 |3363 |3262 |6662 | 237 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
15.18/15.26 o -4
15.18/15.26 c s15.1s| 1 | 0 | 17212 | 15M| 0 |1504 |3262 |3363 |3363 |3262 |6662 | 237 | 0 | 0 |-5.000000e+01 |-4.000000e+00 | 92.00%
45.28/45.38 o -10
45.28/45.38 c E45.0s| 1 | 0 | 17212 | 15M| 0 |1504 |3262 |3363 |3363 |3262 |6662 | 237 | 0 | 0 |-5.000000e+01 |-1.000000e+01 | 80.00%
45.38/45.41 c 45.0s| 1 | 0 | 17212 | 15M| 0 |1504 |3262 |3363 |3363 |3262 |6662 | 237 | 0 | 0 |-5.000000e+01 |-1.000000e+01 | 80.00%
47.18/47.29 c 46.9s| 1 | 0 | 19214 | 15M| 0 |1628 |3262 |3363 |3363 |3262 |6697 | 272 | 0 | 0 |-5.000000e+01 |-1.000000e+01 | 80.00%
79.57/79.60 c 79.1s| 1 | 2 | 19214 | 15M| 0 |1628 |3262 |3363 |3363 |3262 |6697 | 272 | 0 | 38 |-5.000000e+01 |-1.000000e+01 | 80.00%
157.16/157.22 o -12
157.16/157.22 c s 156s| 45 | 39 | 77550 | 16M| 30 | - |3262 |3365 | 197 |3262 |3903 |4787 | 2 | 214 |-5.000000e+01 |-1.200000e+01 | 76.00%
438.21/438.39 o -13
438.21/438.39 c l 437s| 172 | 62 |656010 | 17M| 41 | - |3262 |3387 | 69 |3262 |3133 |8169 | 24 | 278 |-4.954548e+01 |-1.300000e+01 | 73.76%
1797.41/1797.74 c
1797.41/1797.74 c SCIP Status : solving was interrupted [time limit reached]
1797.41/1797.74 c Solving Time (sec) : 1791.00
1797.41/1797.74 c Solving Nodes : 2306
1797.41/1797.74 c Primal Bound : -1.30000000000000e+01 (8 solutions)
1797.41/1797.74 c Dual Bound : -3.97952076250400e+01
1797.41/1797.74 c Gap : 67.33 %
1797.41/1797.74 c NODE 2306
1797.41/1797.74 c DUAL BOUND -39.7952
1797.41/1797.74 c PRIMAL BOUND -13
1797.41/1797.74 c GAP 0.673327
1797.41/1797.74 s SATISFIABLE
1797.41/1797.74 v -x160 x183 -x118 -x165 -x126 -x157 -x148 -x158 -x196 x181 -x167 -x156 -x142 -x131 -x198 -x197 -x163 -x137 -x110 -x171 -x107 -x103
1797.41/1797.74 v x144 -x130 x125 -x122 -x113 x119 -x159 -x192 -x195 -x164 x179 -x175 -x188 x145 -x191 -x151 -x169 -x102 -x152 -x146 -x140 -x135
1797.41/1797.74 v -x112 -x105 -x134 -x143 -x190 -x186 -x189 -x123 -x194 -x136 -x114 -x138 -x154 -x141 x162 -x200 -x109 -x185 -x101 x193 -x178
1797.41/1797.74 v -x172 -x170 -x155 -x139 -x124 -x120 -x117 -x116 -x108 -x104 x128 -x147 -x168 -x153 -x184 -x132 -x180 -x106 -x115 -x187 -x129
1797.41/1797.74 v -x199 -x161 -x149 -x127 x182 -x174 -x150 -x121 x133 -x177 -x173 -x111 x166 -x176 -x100 -x99 -x98 x97 -x96 x95 -x94 -x93 x92
1797.41/1797.74 v x91 -x90 -x89 x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66
1797.41/1797.74 v x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41
1797.41/1797.74 v -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
1797.41/1797.74 v -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1797.41/1797.74 c SCIP Status : solving was interrupted [time limit reached]
1797.41/1797.74 c Solving Time : 1791.00
1797.41/1797.74 c Original Problem :
1797.41/1797.74 c Problem name : HOME/instance-3737422-1338747445.opb
1797.41/1797.74 c Variables : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.41/1797.74 c Constraints : 3363 initial, 3363 maximal
1797.41/1797.74 c Presolved Problem :
1797.41/1797.74 c Problem name : t_HOME/instance-3737422-1338747445.opb
1797.41/1797.74 c Variables : 3262 (3262 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.41/1797.74 c Constraints : 3363 initial, 3485 maximal
1797.41/1797.74 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.41/1797.74 c trivial : 0.00 0 0 0 0 0 0 0 0
1797.41/1797.74 c dualfix : 0.00 0 0 0 0 0 0 0 0
1797.41/1797.74 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.41/1797.74 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.41/1797.74 c implics : 0.00 0 0 0 0 0 0 0 0
1797.41/1797.74 c probing : 0.03 0 0 0 0 0 0 0 0
1797.41/1797.74 c setppc : 0.00 0 0 0 0 0 0 0 0
1797.41/1797.74 c and : 0.03 0 0 0 0 0 0 0 0
1797.41/1797.74 c linear : 0.01 0 0 0 0 0 0 0 0
1797.41/1797.74 c logicor : 0.00 0 0 0 0 0 0 0 0
1797.41/1797.74 c root node : - 0 - - 0 - - - -
1797.41/1797.74 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.41/1797.74 c integral : 0 0 0 2532 0 0 601 0 0 4472
1797.41/1797.74 c setppc : 200 7 50939 0 0 48 11788 0 0 0
1797.41/1797.74 c and : 3062 6130 50891 0 0 58 293202 93326 0 0
1797.41/1797.74 c linear : 1 7 50833 0 0 2 0 0 0 0
1797.41/1797.74 c logicor : 100+ 7 3775 0 0 0 1721 0 0 0
1797.41/1797.74 c countsols : 0 0 0 0 0 0 0 0 0 0
1797.41/1797.74 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.41/1797.74 c integral : 490.22 0.00 0.00 490.22 0.00
1797.41/1797.74 c setppc : 0.13 0.00 0.13 0.00 0.00
1797.41/1797.74 c and : 6.92 4.68 2.24 0.00 0.00
1797.41/1797.74 c linear : 0.28 0.00 0.28 0.00 0.00
1797.41/1797.74 c logicor : 0.01 0.00 0.01 0.00 0.00
1797.41/1797.74 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.41/1797.74 c Propagators : Time Calls Cutoffs DomReds
1797.41/1797.74 c rootredcost : 0.01 2 0 0
1797.41/1797.74 c pseudoobj : 0.15 50800 3 0
1797.41/1797.74 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.41/1797.74 c propagation : 0.00 111 111 150 33.1 3 2.0 -
1797.41/1797.74 c infeasible LP : 0.00 5 5 12 47.8 0 0.0 0
1797.41/1797.74 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.41/1797.74 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.41/1797.74 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.41/1797.74 c applied globally : - - - 154 30.4 - - -
1797.41/1797.74 c applied locally : - - - 0 0.0 - - -
1797.41/1797.74 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.41/1797.74 c cut pool : 0.00 6 - - 0 - (maximal pool size: 185)
1797.41/1797.74 c redcost : 0.35 6132 0 554 0 0
1797.41/1797.74 c impliedbounds : 0.00 7 0 0 188 0
1797.41/1797.74 c intobj : 0.00 0 0 0 0 0
1797.41/1797.74 c gomory : 0.60 7 0 0 18 0
1797.41/1797.74 c strongcg : 0.62 7 0 0 18 0
1797.41/1797.74 c cmir : 0.32 7 0 0 6 0
1797.41/1797.74 c flowcover : 0.26 7 0 0 0 0
1797.41/1797.74 c clique : 0.47 7 0 0 58 0
1797.41/1797.74 c zerohalf : 0.00 0 0 0 0 0
1797.41/1797.74 c mcf : 0.42 7 0 0 66 0
1797.41/1797.74 c Pricers : Time Calls Vars
1797.41/1797.74 c problem variables: 0.00 0 0
1797.41/1797.74 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.41/1797.74 c relpscost : 490.22 2532 0 601 0 0 4472
1797.41/1797.74 c pscost : 0.00 0 0 0 0 0 0
1797.41/1797.74 c inference : 0.00 0 0 0 0 0 0
1797.41/1797.74 c mostinf : 0.00 0 0 0 0 0 0
1797.41/1797.74 c leastinf : 0.00 0 0 0 0 0 0
1797.41/1797.74 c fullstrong : 0.00 0 0 0 0 0 0
1797.41/1797.74 c allfullstrong : 0.00 0 0 0 0 0 0
1797.41/1797.74 c random : 0.00 0 0 0 0 0 0
1797.41/1797.74 c Primal Heuristics : Time Calls Found
1797.41/1797.74 c LP solutions : 0.00 - 0
1797.41/1797.74 c pseudo solutions : 0.00 - 0
1797.41/1797.74 c oneopt : 0.01 3 0
1797.41/1797.74 c linesearchdiving : 26.55 41 1
1797.41/1797.74 c veclendiving : 33.59 41 0
1797.41/1797.74 c fracdiving : 39.42 41 0
1797.41/1797.74 c guideddiving : 41.50 41 0
1797.41/1797.74 c rootsoldiving : 9.35 21 0
1797.41/1797.74 c coefdiving : 39.40 42 0
1797.41/1797.74 c simplerounding : 0.00 0 0
1797.41/1797.74 c rounding : 0.76 1080 0
1797.41/1797.74 c shifting : 0.96 608 6
1797.41/1797.74 c intshifting : 0.00 0 0
1797.41/1797.74 c fixandinfer : 0.00 0 0
1797.41/1797.74 c feaspump : 0.00 0 0
1797.41/1797.74 c pscostdiving : 42.11 33 0
1797.41/1797.74 c intdiving : 0.00 0 0
1797.41/1797.74 c actconsdiving : 0.00 0 0
1797.41/1797.74 c objpscostdiving : 228.47 1 0
1797.41/1797.74 c octane : 0.00 0 0
1797.41/1797.74 c rens : 29.89 1 1
1797.41/1797.74 c rins : 0.00 0 0
1797.41/1797.74 c localbranching : 0.00 0 0
1797.41/1797.74 c mutation : 0.00 0 0
1797.41/1797.74 c crossover : 0.18 2 0
1797.41/1797.74 c dins : 0.00 0 0
1797.41/1797.74 c LP : Time Calls Iterations Iter/call Iter/sec
1797.41/1797.74 c primal LP : 5.67 0 0 0.00 0.00
1797.41/1797.74 c dual LP : 786.58 6340 2048145 323.05 2603.86
1797.41/1797.74 c barrier LP : 0.00 0 0 0.00 -
1797.41/1797.74 c diving/probing LP: 437.18 32607 1129163 34.63 2582.83
1797.41/1797.74 c strong branching : 489.60 5565 1162793 208.95 2374.99
1797.41/1797.74 c (at root node) : - 38 38000 1000.00 -
1797.41/1797.74 c conflict analysis: 0.00 0 0 0.00 -
1797.41/1797.74 c B&B Tree :
1797.41/1797.74 c number of runs : 1
1797.41/1797.74 c nodes : 2306
1797.41/1797.74 c nodes (total) : 2306
1797.41/1797.74 c nodes left : 2158
1797.41/1797.74 c max depth : 86
1797.41/1797.74 c max depth (total): 86
1797.41/1797.74 c backtracks : 293 (12.7%)
1797.41/1797.74 c delayed cutoffs : 2
1797.41/1797.74 c repropagations : 455 (320 domain reductions, 0 cutoffs)
1797.41/1797.74 c avg switch length: 3.36
1797.41/1797.74 c switching time : 6.78
1797.41/1797.74 c Solution :
1797.41/1797.74 c Solutions found : 8 (5 improvements)
1797.41/1797.74 c Primal Bound : -1.30000000000000e+01 (in run 1, after 172 nodes, 436.78 seconds, depth 213, found by <linesearchdiving>)
1797.41/1797.74 c Dual Bound : -3.97952076250400e+01
1797.41/1797.74 c Gap : 67.33 %
1797.41/1797.74 c Root Dual Bound : -5.00000000000000e+01
1797.41/1797.78 c Time complete: 1797.49.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737422-1338747445/watcher-3737422-1338747445 -o /tmp/evaluation-result-3737422-1338747445/solver-3737422-1338747445 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3737422-1338747445.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 21415
/proc/meminfo: memFree=28026444/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=9248 CPUtime=0 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 1622 0 0 0 0 0 0 0 20 0 1 0 340869304 9469952 1575 33554432000 4194304 7823515 140733278860352 140733704495432 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 2312 1585 354 887 0 1422 0
[startup+0.0597751 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 21415
/proc/meminfo: memFree=28026444/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=21908 CPUtime=0.05 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 4890 0 0 0 3 2 0 0 20 0 1 0 340869304 22433792 4488 33554432000 4194304 7823515 140733278860352 140733278724968 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 5477 4488 404 887 0 4587 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21908
[startup+0.100331 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 21415
/proc/meminfo: memFree=28026444/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=25540 CPUtime=0.09 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 5830 0 0 0 5 4 0 0 20 0 1 0 340869304 26152960 5428 33554432000 4194304 7823515 140733278860352 140733278724968 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 6385 5428 436 887 0 5495 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25540
[startup+0.300287 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 21415
/proc/meminfo: memFree=28026444/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=38896 CPUtime=0.28 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 9367 0 0 0 20 8 0 0 20 0 1 0 340869304 39829504 8755 33554432000 4194304 7823515 140733278860352 140733278724968 6242890 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 9724 8755 520 887 0 8834 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 38896
[startup+0.700231 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 21415
/proc/meminfo: memFree=28026444/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=40468 CPUtime=0.69 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 9809 0 0 0 60 9 0 0 20 0 1 0 340869304 41439232 9197 33554432000 4194304 7823515 140733278860352 140733278855688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 10117 9197 523 887 0 9227 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40468
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 21416
/proc/meminfo: memFree=27991840/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=40468 CPUtime=1.49 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 9871 0 0 0 140 9 0 0 20 0 1 0 340869304 41439232 9256 33554432000 4194304 7823515 140733278860352 140733278855688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 10117 9256 523 887 0 9227 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40468
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 21416
/proc/meminfo: memFree=27991220/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=41320 CPUtime=3.08 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 9897 0 0 0 299 9 0 0 20 0 1 0 340869304 42311680 9282 33554432000 4194304 7823515 140733278860352 140733278855688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 10330 9282 523 887 0 9440 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41320
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 21416
/proc/meminfo: memFree=27989840/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=43032 CPUtime=6.28 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 10486 0 0 0 618 10 0 0 20 0 1 0 340869304 44064768 9871 33554432000 4194304 7823515 140733278860352 140733278855688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 10758 9871 568 887 0 9868 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 43032
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 21416
/proc/meminfo: memFree=27984400/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=47216 CPUtime=12.69 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 11818 0 0 0 1256 13 0 0 20 0 1 0 340869304 48349184 11077 33554432000 4194304 7823515 140733278860352 140733278855688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 11804 11077 568 887 0 10914 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47216
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 21416
/proc/meminfo: memFree=27945308/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=85240 CPUtime=25.48 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 20998 0 0 0 2527 21 0 0 20 0 1 0 340869304 87285760 20491 33554432000 4194304 7823515 140733278860352 140733278856776 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 21310 20491 574 887 0 20420 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85240
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 21416
/proc/meminfo: memFree=27940316/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=51.07 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 21995 0 0 0 5068 39 0 0 20 0 1 0 340869304 91303936 21779 33554432000 4194304 7823515 140733278860352 140733278855512 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21779 578 887 0 21401 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 89164
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 21417
/proc/meminfo: memFree=27917396/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=102.27 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 21999 0 0 0 10174 53 0 0 20 0 1 0 340869304 91303936 21903 33554432000 4194304 7823515 140733278860352 140733278856040 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21903 578 887 0 21401 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 89164
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/180 21420
/proc/meminfo: memFree=27916984/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=162.26 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22003 0 0 0 16151 75 0 0 20 0 1 0 340869304 91303936 21907 33554432000 4194304 7823515 140733278860352 140733278856104 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21907 582 887 0 21401 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 89164
[startup+222.3 s]
/proc/loadavg: 2.08 2.02 2.03 3/179 21420
/proc/meminfo: memFree=27917148/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=222.24 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22003 0 0 0 22130 94 0 0 20 0 1 0 340869304 91303936 21907 33554432000 4194304 7823515 140733278860352 140733278856184 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21907 582 887 0 21401 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 89164
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.03 3/179 21420
/proc/meminfo: memFree=27900828/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=282.23 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22003 0 0 0 28114 109 0 0 20 0 1 0 340869304 91303936 21907 33554432000 4194304 7823515 140733278860352 140733278856184 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21907 582 887 0 21401 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 89164
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.02 3/179 21420
/proc/meminfo: memFree=27900952/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=342.23 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22003 0 0 0 34099 124 0 0 20 0 1 0 340869304 91303936 21907 33554432000 4194304 7823515 140733278860352 140733278856184 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21907 582 887 0 21401 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 89164
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 21421
/proc/meminfo: memFree=27900452/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=402.22 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22003 0 0 0 40082 140 0 0 20 0 1 0 340869304 91303936 21907 33554432000 4194304 7823515 140733278860352 140733278856472 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21907 582 887 0 21401 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 89164
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 21421
/proc/meminfo: memFree=27886056/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=462.21 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22003 0 0 0 46060 161 0 0 20 0 1 0 340869304 91303936 21907 33554432000 4194304 7823515 140733278860352 140733278855688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21907 582 887 0 21401 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 89164
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21421
/proc/meminfo: memFree=27860488/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=522.2 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22003 0 0 0 52035 185 0 0 20 0 1 0 340869304 91303936 21907 33554432000 4194304 7823515 140733278860352 140733278855784 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21907 582 887 0 21401 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 89164
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21421
/proc/meminfo: memFree=27870480/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=582.19 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22007 0 0 0 58011 208 0 0 20 0 1 0 340869304 91303936 21911 33554432000 4194304 7823515 140733278860352 140733278855320 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21911 584 887 0 21401 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 89164
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27885952/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1062.12 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 105824 388 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278856152 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 89164
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21427
/proc/meminfo: memFree=27885960/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1122.1 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 111803 407 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278855512 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 89164
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21427
/proc/meminfo: memFree=27885960/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1182.1 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 117781 429 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278855048 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 89164
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 21427
/proc/meminfo: memFree=27885588/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1242.09 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 123760 449 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278856040 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 89164
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 21427
/proc/meminfo: memFree=27885712/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1302.08 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 129739 469 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278855688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 89164
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21431
/proc/meminfo: memFree=27885448/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1362.07 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 135717 490 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278856152 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 89164
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21431
/proc/meminfo: memFree=27885588/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1422.07 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 141696 511 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278854728 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 89164
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21469
/proc/meminfo: memFree=28480112/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1482.05 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 147673 532 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278856152 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 89164
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21469
/proc/meminfo: memFree=28477208/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1542.04 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 153651 553 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278855688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 89164
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21469
/proc/meminfo: memFree=28477332/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1602.04 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 159629 575 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278856152 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 89164
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21470
/proc/meminfo: memFree=28477208/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1662.03 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 165608 595 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278855048 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 89164
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 21470
/proc/meminfo: memFree=28473608/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1722.02 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 171585 617 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278855688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 89164
[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 21470
/proc/meminfo: memFree=28469512/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1782.01 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 177562 639 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278855688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 89164
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 21470
/proc/meminfo: memFree=28469636/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1785.21 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 177881 640 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278857496 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 89164
[startup+1791.91 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 21508
/proc/meminfo: memFree=28474560/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1791.62 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 178519 643 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278856152 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 89164
[startup+1795.1 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 21508
/proc/meminfo: memFree=28474920/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1794.81 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 178838 643 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278856104 6205316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 89164
[startup+1796.7 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 21508
/proc/meminfo: memFree=28475052/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1796.41 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 178997 644 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278855688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 89164
[startup+1797.5 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 21508
/proc/meminfo: memFree=28474804/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1797.21 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 179077 644 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278855688 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 89164
[startup+1797.7 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 21508
/proc/meminfo: memFree=28474804/32873844 swapFree=7380/7380
[pid=21415] ppid=21413 vsize=89164 CPUtime=1797.41 cores=1,3,5,7
/proc/21415/stat : 21415 (pbscip.linux.x8) R 21413 21415 21332 0 -1 4202496 22012 0 0 0 179097 644 0 0 20 0 1 0 340869304 91303936 21916 33554432000 4194304 7823515 140733278860352 140733278856280 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/21415/statm: 22291 21916 589 887 0 21401 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (KiB) 89164
Child status: 0
Real time (s): 1797.78
CPU time (s): 1797.5
CPU user time (s): 1791.05
CPU system time (s): 6.44602
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 89164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.05
system time used= 6.44602
maximum resident set size= 87672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22017
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= 15
involuntary context switches= 1852
runsolver used 3.07353 second user time and 8.5337 second system time
The end