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-3733453-1338697105.opb>
0.79/0.85 c original problem has 54540 variables (54540 bin, 0 int, 0 impl, 0 cont) and 1503 constraints
0.79/0.85 c problem read
0.79/0.85 c presolving settings loaded
1.10/1.14 c presolving:
1.39/1.42 c (round 1) 30225 del vars, 0 del conss, 30134 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.49/1.56 c (round 2) 33394 del vars, 0 del conss, 33303 chg bounds, 0 chg sides, 2371 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.59/1.68 c (round 3) 33394 del vars, 9 del conss, 33303 chg bounds, 9 chg sides, 2371 chg coeffs, 716 upgd conss, 0 impls, 0 clqs
3.78/3.80 c (round 4) 33458 del vars, 9 del conss, 33303 chg bounds, 9 chg sides, 2371 chg coeffs, 775 upgd conss, 0 impls, 159 clqs
3.78/3.83 c (round 5) 33458 del vars, 9 del conss, 33303 chg bounds, 9 chg sides, 2371 chg coeffs, 777 upgd conss, 0 impls, 160 clqs
7.78/7.86 c (7.0s) probing: 1000/21082 (4.7%) - 0 fixings, 0 aggregations, 2995 implications, 0 bound changes
11.58/11.61 c (10.8s) probing: 2000/21082 (9.5%) - 0 fixings, 1 aggregations, 5942 implications, 0 bound changes
14.78/14.83 c (14.0s) probing: 3000/21082 (14.2%) - 0 fixings, 1 aggregations, 8709 implications, 0 bound changes
15.98/16.05 c (15.2s) probing: 3440/21082 (16.3%) - 0 fixings, 1 aggregations, 9956 implications, 0 bound changes
15.98/16.05 c (15.2s) probing aborted: 2000/2000 successive useless probings
15.98/16.05 c presolving (6 rounds):
15.98/16.05 c 33459 deleted vars, 9 deleted constraints, 33303 tightened bounds, 0 added holes, 9 changed sides, 2371 changed coefficients
15.98/16.05 c 20304 implications, 160 cliques
15.98/16.05 c presolved problem has 21081 variables (21081 bin, 0 int, 0 impl, 0 cont) and 1494 constraints
15.98/16.05 c 777 constraints of type <knapsack>
15.98/16.05 c 717 constraints of type <linear>
15.98/16.05 c transformed objective value is always integral (scale: 1)
15.98/16.05 c Presolving Time: 15.01
15.98/16.05 c - non default parameters ----------------------------------------------------------------------
15.98/16.05 c # SCIP version 1.2.1.3
15.98/16.05 c
15.98/16.05 c # frequency for displaying node information lines
15.98/16.05 c # [type: int, range: [-1,2147483647], default: 100]
15.98/16.05 c display/freq = 10000
15.98/16.05 c
15.98/16.05 c # maximal time in seconds to run
15.98/16.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.98/16.05 c limits/time = 1789.16
15.98/16.05 c
15.98/16.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.98/16.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.98/16.05 c limits/memory = 13950
15.98/16.05 c
15.98/16.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
15.98/16.05 c # [type: int, range: [1,2], default: 1]
15.98/16.05 c timing/clocktype = 2
15.98/16.05 c
15.98/16.05 c # should presolving try to simplify inequalities
15.98/16.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.98/16.05 c constraints/linear/simplifyinequalities = TRUE
15.98/16.05 c
15.98/16.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
15.98/16.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.98/16.05 c constraints/indicator/addCouplingCons = TRUE
15.98/16.05 c
15.98/16.05 c # should presolving try to simplify knapsacks
15.98/16.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.98/16.05 c constraints/knapsack/simplifyinequalities = TRUE
15.98/16.05 c
15.98/16.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
15.98/16.05 c # [type: int, range: [-1,2147483647], default: -1]
15.98/16.05 c separating/rapidlearning/freq = 0
15.98/16.05 c
15.98/16.05 c -----------------------------------------------------------------------------------------------
15.98/16.05 c start solving
15.98/16.06 c
28.89/28.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.89/28.99 c 28.1s| 1 | 0 | 25165 | - | 175M| 0 | 397 | 21k|1494 | 21k|1494 | 0 | 0 | 0 |-1.010901e+08 | -- | Inf
50.77/50.81 c 50.0s| 1 | 0 | 49974 | - | 181M| 0 | 666 | 21k|1494 | 21k|2086 | 592 | 0 | 0 |-1.010901e+08 | -- | Inf
55.57/55.63 c 54.8s| 1 | 0 | 52113 | - | 183M| 0 | 625 | 21k|1494 | 21k|2731 |1237 | 0 | 0 |-1.010901e+08 | -- | Inf
60.68/60.71 c 59.9s| 1 | 0 | 53916 | - | 186M| 0 | 448 | 21k|1494 | 21k|3219 |1725 | 0 | 0 |-1.010901e+08 | -- | Inf
69.77/69.88 c 69.0s| 1 | 0 | 58530 | - | 189M| 0 | 403 | 21k|1494 | 21k|3478 |1984 | 0 | 0 |-1.010901e+08 | -- | Inf
76.38/76.40 c 75.5s| 1 | 0 | 60136 | - | 192M| 0 | 491 | 21k|1494 | 21k|3689 |2195 | 0 | 0 |-1.010901e+08 | -- | Inf
83.97/84.07 c 83.2s| 1 | 0 | 62505 | - | 195M| 0 | 504 | 21k|1494 | 21k|3905 |2411 | 0 | 0 |-1.010901e+08 | -- | Inf
97.68/97.70 c 96.9s| 1 | 0 | 68713 | - | 197M| 0 | 511 | 21k|1494 | 21k|4109 |2615 | 0 | 0 |-1.010901e+08 | -- | Inf
107.96/108.02 c 107s| 1 | 0 | 72142 | - | 199M| 0 | 527 | 21k|1494 | 21k|4292 |2798 | 0 | 0 |-1.010901e+08 | -- | Inf
123.56/123.63 c 123s| 1 | 0 | 78818 | - | 201M| 0 | 486 | 21k|1494 | 21k|4473 |2979 | 0 | 0 |-1.010901e+08 | -- | Inf
143.87/143.97 c 143s| 1 | 2 | 78818 | - | 201M| 0 | 486 | 21k|1494 | 21k|4473 |2979 | 0 | 18 |-1.010901e+08 | -- | Inf
1789.70/1790.04 c
1789.70/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1789.70/1790.04 c Solving Time (sec) : 1789.18
1789.70/1790.04 c Solving Nodes : 2497
1789.70/1790.04 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.70/1790.04 c Dual Bound : -1.01090099200000e+08
1789.70/1790.04 c Gap : infinite
1789.70/1790.04 s UNKNOWN
1789.70/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1789.70/1790.04 c Solving Time : 1789.18
1789.70/1790.04 c Original Problem :
1789.70/1790.04 c Problem name : HOME/instance-3733453-1338697105.opb
1789.70/1790.04 c Variables : 54540 (54540 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.04 c Constraints : 1503 initial, 1503 maximal
1789.70/1790.04 c Presolved Problem :
1789.70/1790.04 c Problem name : t_HOME/instance-3733453-1338697105.opb
1789.70/1790.04 c Variables : 21081 (21081 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.04 c Constraints : 1494 initial, 2982 maximal
1789.70/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.70/1790.04 c trivial : 0.01 0 0 0 0 0 0 0 0
1789.70/1790.04 c dualfix : 0.01 64 0 0 0 0 0 0 0
1789.70/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.04 c probing : 12.22 0 1 0 0 0 0 0 0
1789.70/1790.04 c knapsack : 2.13 0 0 0 0 0 0 0 0
1789.70/1790.04 c linear : 0.52 33303 91 0 33303 0 9 9 2371
1789.70/1790.04 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.04 c root node : - 10 - - 10 - - - -
1789.70/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.70/1790.04 c integral : 0 0 0 2389 0 1 216 0 0 4506
1789.70/1790.04 c knapsack : 777 9 29797 0 1 0 1327 1805 0 0
1789.70/1790.04 c linear : 717 9 29797 0 0 7 44694 1816 0 0
1789.70/1790.04 c logicor : 0+ 0 2228 0 0 7 923 0 0 0
1789.70/1790.04 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.70/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.70/1790.04 c integral : 495.30 0.00 0.00 495.30 0.00
1789.70/1790.04 c knapsack : 68.12 16.23 51.89 0.00 0.00
1789.70/1790.04 c linear : 12.62 8.86 3.76 0.00 0.00
1789.70/1790.04 c logicor : 0.02 0.00 0.02 0.00 0.00
1789.70/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.70/1790.04 c Propagators : Time Calls Cutoffs DomReds
1789.70/1790.04 c vbounds : 0.01 2 0 0
1789.70/1790.04 c rootredcost : 0.01 0 0 0
1789.70/1790.04 c pseudoobj : 14.39 20007 0 0
1789.70/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.70/1790.04 c propagation : 0.00 14 14 39 29.5 2 11.0 -
1789.70/1790.04 c infeasible LP : 1.49 440 437 1787 50.6 62 18.0 0
1789.70/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.70/1790.04 c applied globally : - - - 1500 37.9 - - -
1789.70/1790.04 c applied locally : - - - 0 0.0 - - -
1789.70/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.70/1790.04 c cut pool : 0.02 8 - - 992 - (maximal pool size: 5984)
1789.70/1790.04 c redcost : 3.11 2397 0 0 0 0
1789.70/1790.04 c impliedbounds : 0.01 9 0 0 540 0
1789.70/1790.04 c intobj : 0.00 0 0 0 0 0
1789.70/1790.04 c cgmip : 0.00 0 0 0 0 0
1789.70/1790.04 c gomory : 0.72 9 0 0 297 0
1789.70/1790.04 c strongcg : 0.70 9 0 0 246 0
1789.70/1790.04 c cmir : 7.07 9 0 0 3603 0
1789.70/1790.04 c flowcover : 8.01 9 0 0 1803 0
1789.70/1790.04 c clique : 0.02 9 0 0 54 0
1789.70/1790.04 c zerohalf : 0.00 0 0 0 0 0
1789.70/1790.04 c mcf : 0.00 1 0 0 0 0
1789.70/1790.04 c rapidlearning : 0.00 0 0 0 0 0
1789.70/1790.04 c Pricers : Time Calls Vars
1789.70/1790.04 c problem variables: 0.00 0 0
1789.70/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.70/1790.04 c relpscost : 495.30 2389 1 216 0 0 4506
1789.70/1790.04 c pscost : 0.00 0 0 0 0 0 0
1789.70/1790.04 c inference : 0.00 1 0 0 0 0 2
1789.70/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1789.70/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1789.70/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1789.70/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1789.70/1790.04 c random : 0.00 0 0 0 0 0 0
1789.70/1790.04 c Primal Heuristics : Time Calls Found
1789.70/1790.04 c LP solutions : 0.00 - 0
1789.70/1790.04 c pseudo solutions : 0.00 - 0
1789.70/1790.04 c oneopt : 0.00 0 0
1789.70/1790.04 c crossover : 0.00 0 0
1789.70/1790.04 c guideddiving : 0.00 0 0
1789.70/1790.04 c intshifting : 0.00 0 0
1789.70/1790.04 c feaspump : 60.84 2 0
1789.70/1790.04 c coefdiving : 82.50 4 0
1789.70/1790.04 c veclendiving : 98.16 4 0
1789.70/1790.04 c objpscostdiving : 75.07 2 0
1789.70/1790.04 c rootsoldiving : 38.92 2 0
1789.70/1790.04 c linesearchdiving : 91.97 10 0
1789.70/1790.04 c fracdiving : 108.84 12 0
1789.70/1790.04 c pscostdiving : 120.44 14 0
1789.70/1790.04 c trivial : 0.05 2 0
1789.70/1790.04 c simplerounding : 0.00 0 0
1789.70/1790.04 c zirounding : 0.24 1000 0
1789.70/1790.04 c rounding : 0.53 635 0
1789.70/1790.04 c shifting : 2.41 163 0
1789.70/1790.04 c twoopt : 0.00 0 0
1789.70/1790.04 c fixandinfer : 0.00 0 0
1789.70/1790.04 c intdiving : 0.00 0 0
1789.70/1790.04 c actconsdiving : 0.00 0 0
1789.70/1790.04 c octane : 0.00 0 0
1789.70/1790.04 c rens : 0.31 1 0
1789.70/1790.04 c rins : 0.00 0 0
1789.70/1790.04 c localbranching : 0.00 0 0
1789.70/1790.04 c mutation : 0.00 0 0
1789.70/1790.04 c dins : 0.00 0 0
1789.70/1790.04 c undercover : 0.00 0 0
1789.70/1790.04 c nlp : 0.00 0 0
1789.70/1790.04 c trysol : 0.00 0 0
1789.70/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1789.70/1790.04 c primal LP : 0.01 1 2 2.00 158.38
1789.70/1790.04 c dual LP : 522.40 2539 545114 214.70 1043.48
1789.70/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1789.70/1790.04 c barrier LP : 0.00 0 0 0.00 -
1789.70/1790.04 c diving/probing LP: 600.97 10598 504836 47.64 840.03
1789.70/1790.04 c strong branching : 494.98 3543 399051 112.63 806.19
1789.70/1790.04 c (at root node) : - 18 14569 809.39 -
1789.70/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1789.70/1790.04 c B&B Tree :
1789.70/1790.04 c number of runs : 1
1789.70/1790.04 c nodes : 2497
1789.70/1790.04 c nodes (total) : 2497
1789.70/1790.04 c nodes left : 2012
1789.70/1790.04 c max depth : 131
1789.70/1790.04 c max depth (total): 131
1789.70/1790.04 c backtracks : 87 (3.5%)
1789.70/1790.04 c delayed cutoffs : 0
1789.70/1790.04 c repropagations : 2252 (823 domain reductions, 0 cutoffs)
1789.70/1790.04 c avg switch length: 3.65
1789.70/1790.04 c switching time : 0.83
1789.70/1790.04 c Solution :
1789.70/1790.04 c Solutions found : 0 (0 improvements)
1789.70/1790.04 c Primal Bound : -
1789.70/1790.04 c Dual Bound : -1.01090099200000e+08
1789.70/1790.04 c Gap : infinite
1789.70/1790.04 c Root Dual Bound : -1.01090099200000e+08
1789.70/1790.04 c Root Iterations : 78818
1789.90/1790.26 c Time complete: 1789.97.
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-3733453-1338697105/watcher-3733453-1338697105 -o /tmp/evaluation-result-3733453-1338697105/solver-3733453-1338697105 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3733453-1338697105.opb -t 1800 -m 15500
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.00 3/176 6172
/proc/meminfo: memFree=25323524/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 1238 0 0 0 0 0 0 0 20 0 1 0 335837826 8105984 1184 33554432000 4194304 8395647 140735152747936 140734361725336 7430272 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6172/statm: 1979 1187 370 1026 0 949 0
[startup+0.060727 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6172
/proc/meminfo: memFree=25323524/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=31732 CPUtime=0.05 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 7052 0 0 0 5 0 0 0 20 0 1 0 335837826 32493568 6993 33554432000 4194304 8395647 140735152747936 140734361725336 6347101 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6172/statm: 7933 7026 387 1026 0 6903 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 31732
[startup+0.100348 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6172
/proc/meminfo: memFree=25323524/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=45032 CPUtime=0.09 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 10460 0 0 0 8 1 0 0 20 0 1 0 335837826 46112768 10400 33554432000 4194304 8395647 140735152747936 140734361725336 4424487 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6172/statm: 11258 10401 390 1026 0 10228 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45032
[startup+0.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6172
/proc/meminfo: memFree=25323524/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=55252 CPUtime=0.29 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 12723 0 0 0 28 1 0 0 20 0 1 0 335837826 56578048 12663 33554432000 4194304 8395647 140735152747936 140735152613144 5758034 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6172/statm: 13813 12663 394 1026 0 12783 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55252
[startup+0.700231 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6172
/proc/meminfo: memFree=25323524/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=64432 CPUtime=0.69 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 14555 0 0 0 67 2 0 0 20 0 1 0 335837826 65978368 14495 33554432000 4194304 8395647 140735152747936 140735152613144 7430272 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6172/statm: 16108 14495 394 1026 0 15078 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64432
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6173
/proc/meminfo: memFree=25181176/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=195628 CPUtime=1.49 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 45617 0 0 0 143 6 0 0 20 0 1 0 335837826 200323072 45203 33554432000 4194304 8395647 140735152747936 140735152743736 4684330 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/6172/statm: 48907 45203 471 1026 0 47877 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 195628
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6173
/proc/meminfo: memFree=25114332/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=229596 CPUtime=3.08 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 54014 0 0 0 300 8 0 0 20 0 1 0 335837826 235106304 53555 33554432000 4194304 8395647 140735152747936 140735152742152 6074036 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/6172/statm: 57399 53555 488 1026 0 56369 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 229596
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6173
/proc/meminfo: memFree=25110704/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=232668 CPUtime=6.28 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 54886 0 0 0 620 8 0 0 20 0 1 0 335837826 238252032 54368 33554432000 4194304 8395647 140735152747936 140735152743736 4912145 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 58167 54368 500 1026 0 57137 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 232668
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6173
/proc/meminfo: memFree=25109988/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=233180 CPUtime=12.68 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 55020 0 0 0 1260 8 0 0 20 0 1 0 335837826 238776320 54502 33554432000 4194304 8395647 140735152747936 140735152742872 5608540 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 58295 54502 506 1026 0 57265 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 233180
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6173
/proc/meminfo: memFree=25071556/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=277056 CPUtime=25.48 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 64368 0 0 0 2536 12 0 0 20 0 1 0 335837826 283705344 64271 33554432000 4194304 8395647 140735152747936 140735152743064 6670389 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 69264 64271 580 1026 0 68234 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 277056
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6173
/proc/meminfo: memFree=25042684/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=310692 CPUtime=51.07 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 69894 0 0 0 5089 18 0 0 20 0 1 0 335837826 318148608 71291 33554432000 4194304 8395647 140735152747936 140735152743064 4935782 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 77673 71291 618 1026 0 76643 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 310692
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6177
/proc/meminfo: memFree=24991096/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=357636 CPUtime=102.28 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 81201 0 0 0 10203 25 0 0 20 0 1 0 335837826 366219264 83460 33554432000 4194304 8395647 140735152747936 140735152743224 6205111 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 89409 83460 618 1026 0 88379 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 357636
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6177
/proc/meminfo: memFree=24970308/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=369956 CPUtime=162.26 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 104414 0 0 0 16189 37 0 0 20 0 1 0 335837826 378834944 87382 33554432000 4194304 8395647 140735152747936 140735152743240 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 92489 87382 632 1026 0 91459 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 369956
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6177
/proc/meminfo: memFree=24957836/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=369956 CPUtime=222.25 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 104424 0 0 0 22175 50 0 0 20 0 1 0 335837826 378834944 88368 33554432000 4194304 8395647 140735152747936 140735152743592 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 92489 88368 637 1026 0 91459 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 369956
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6177
/proc/meminfo: memFree=24948148/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=369956 CPUtime=282.24 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 104429 0 0 0 28162 62 0 0 20 0 1 0 335837826 378834944 89726 33554432000 4194304 8395647 140735152747936 140735152743064 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 92489 89726 637 1026 0 91459 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 369956
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6178
/proc/meminfo: memFree=24937696/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=369956 CPUtime=342.22 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 104441 0 0 0 34149 73 0 0 20 0 1 0 335837826 378834944 90304 33554432000 4194304 8395647 140735152747936 140735152742808 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 92489 90304 637 1026 0 91459 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 369956
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6178
/proc/meminfo: memFree=24934440/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=369956 CPUtime=402.21 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 104441 0 0 0 40136 85 0 0 20 0 1 0 335837826 378834944 90304 33554432000 4194304 8395647 140735152747936 140735152743176 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 92489 90304 637 1026 0 91459 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 369956
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6179
/proc/meminfo: memFree=24928860/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=369956 CPUtime=462.2 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 104441 0 0 0 46124 96 0 0 20 0 1 0 335837826 378834944 90304 33554432000 4194304 8395647 140735152747936 140735152743464 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 92489 90304 637 1026 0 91459 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 369956
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6179
/proc/meminfo: memFree=24920828/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=369956 CPUtime=522.19 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 104441 0 0 0 52113 106 0 0 20 0 1 0 335837826 378834944 90304 33554432000 4194304 8395647 140735152747936 140735152743352 6635072 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 92489 90304 637 1026 0 91459 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 369956
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6179
/proc/meminfo: memFree=24911904/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=369956 CPUtime=582.19 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 104441 0 0 0 58100 119 0 0 20 0 1 0 335837826 378834944 90304 33554432000 4194304 8395647 140735152747936 140735152743064 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 92489 90304 637 1026 0 91459 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 369956
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24989448/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=376224 CPUtime=1062.12 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 106080 0 0 0 105992 220 0 0 20 0 1 0 335837826 385253376 91942 33554432000 4194304 8395647 140735152747936 140735152743592 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 94056 91942 736 1026 0 93026 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 376224
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6223
/proc/meminfo: memFree=24957736/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=376824 CPUtime=1122.1 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 106237 0 0 0 111978 232 0 0 20 0 1 0 335837826 385867776 92099 33554432000 4194304 8395647 140735152747936 140735152742808 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 94206 92099 736 1026 0 93176 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 376824
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6223
/proc/meminfo: memFree=24924780/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=376824 CPUtime=1182.09 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 106237 0 0 0 117961 248 0 0 20 0 1 0 335837826 385867776 92099 33554432000 4194304 8395647 140735152747936 140735152743192 6741199 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 94206 92099 736 1026 0 93176 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 376824
[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 6223
/proc/meminfo: memFree=24891492/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=376824 CPUtime=1242.09 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 106239 0 0 0 123950 259 0 0 20 0 1 0 335837826 385867776 92101 33554432000 4194304 8395647 140735152747936 140735152743496 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 94206 92101 736 1026 0 93176 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 376824
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 6226
/proc/meminfo: memFree=24856980/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=376824 CPUtime=1302.08 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 106239 0 0 0 129937 271 0 0 20 0 1 0 335837826 385867776 92101 33554432000 4194304 8395647 140735152747936 140735152743064 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 94206 92101 736 1026 0 93176 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 376824
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6227
/proc/meminfo: memFree=24822672/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=377308 CPUtime=1362.07 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 106357 0 0 0 135926 281 0 0 20 0 1 0 335837826 386363392 92219 33554432000 4194304 8395647 140735152747936 140735152743624 6723085 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 94327 92219 736 1026 0 93297 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 377308
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6227
/proc/meminfo: memFree=24787888/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=378784 CPUtime=1422.07 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 106533 0 0 0 141913 294 0 0 20 0 1 0 335837826 387874816 92394 33554432000 4194304 8395647 140735152747936 140735152743064 6723635 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 94696 92394 736 1026 0 93666 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 378784
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6227
/proc/meminfo: memFree=24759308/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=381116 CPUtime=1482.05 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 107311 0 0 0 147901 304 0 0 20 0 1 0 335837826 390262784 93172 33554432000 4194304 8395647 140735152747936 140735152743160 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 95279 93172 736 1026 0 94249 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 381116
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6227
/proc/meminfo: memFree=24733644/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=381116 CPUtime=1542.04 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 107311 0 0 0 153889 315 0 0 20 0 1 0 335837826 390262784 93172 33554432000 4194304 8395647 140735152747936 140735152743416 6741407 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 95279 93172 736 1026 0 94249 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 381116
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6227
/proc/meminfo: memFree=24701464/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=381276 CPUtime=1602.03 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 107351 0 0 0 159875 328 0 0 20 0 1 0 335837826 390426624 93212 33554432000 4194304 8395647 140735152747936 140735152742792 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 95319 93212 736 1026 0 94289 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 381276
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6228
/proc/meminfo: memFree=24669400/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=381584 CPUtime=1662.03 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 107428 0 0 0 165863 340 0 0 20 0 1 0 335837826 390742016 93289 33554432000 4194304 8395647 140735152747936 140735152743496 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 95396 93289 736 1026 0 94366 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 381584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6228
/proc/meminfo: memFree=24635576/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=387588 CPUtime=1722.02 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 109224 0 0 0 171851 351 0 0 20 0 1 0 335837826 396890112 94790 33554432000 4194304 8395647 140735152747936 140735152743496 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 96897 94790 736 1026 0 95867 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 387588
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6228
/proc/meminfo: memFree=24606216/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=390248 CPUtime=1782.01 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 109896 0 0 0 177840 361 0 0 20 0 1 0 335837826 399613952 95462 33554432000 4194304 8395647 140735152747936 140735152743496 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 97562 95462 736 1026 0 96532 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 390248
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6228
/proc/meminfo: memFree=24604652/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=390248 CPUtime=1785.21 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 109896 0 0 0 178159 362 0 0 20 0 1 0 335837826 399613952 95462 33554432000 4194304 8395647 140735152747936 140735152743496 6310897 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 97562 95462 736 1026 0 96532 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 390248
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6228
/proc/meminfo: memFree=24602420/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=390248 CPUtime=1788.4 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 109896 0 0 0 178478 362 0 0 20 0 1 0 335837826 399613952 95462 33554432000 4194304 8395647 140735152747936 140735152743400 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 97562 95462 736 1026 0 96532 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 390248
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6228
/proc/meminfo: memFree=24602420/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=390248 CPUtime=1789.2 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 109896 0 0 0 178558 362 0 0 20 0 1 0 335837826 399613952 95462 33554432000 4194304 8395647 140735152747936 140735152743064 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 97562 95462 736 1026 0 96532 0
Current children cumulated CPU time (s) 1789.2
Current children cumulated vsize (KiB) 390248
[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6228
/proc/meminfo: memFree=24601428/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=390248 CPUtime=1789.6 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 109896 0 0 0 178598 362 0 0 20 0 1 0 335837826 399613952 95462 33554432000 4194304 8395647 140735152747936 140735152743064 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 97562 95462 736 1026 0 96532 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (KiB) 390248
[startup+1790.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6228
/proc/meminfo: memFree=24601428/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=390248 CPUtime=1789.8 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 109899 0 0 0 178618 362 0 0 20 0 1 0 335837826 399613952 95465 33554432000 4194304 8395647 140735152747936 140735152743064 4969074 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 97562 95465 739 1026 0 96532 0
Current children cumulated CPU time (s) 1789.8
Current children cumulated vsize (KiB) 390248
[startup+1790.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6228
/proc/meminfo: memFree=24601428/32873648 swapFree=6852/6852
[pid=6172] ppid=6170 vsize=390248 CPUtime=1789.9 cores=1,3,5,7
/proc/6172/stat : 6172 (pbscip.linux.x8) R 6170 6172 4046 0 -1 4202496 109899 0 0 0 178628 362 0 0 20 0 1 0 335837826 399613952 95465 33554432000 4194304 8395647 140735152747936 140735152743064 6345173 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 97562 95465 739 1026 0 96532 0
Current children cumulated CPU time (s) 1789.9
Current children cumulated vsize (KiB) 390248
Child status: 0
Real time (s): 1790.27
CPU time (s): 1789.98
CPU user time (s): 1786.35
CPU system time (s): 3.63345
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 455264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.35
system time used= 3.63345
maximum resident set size= 430188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109900
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= 27
involuntary context switches= 1857
runsolver used 2.67859 second user time and 7.09892 second system time
The end