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-3738455-1338726857.opb>
47.39/47.48 c original problem has 2561998 variables (2561998 bin, 0 int, 0 impl, 0 cont) and 12000 constraints
47.39/47.48 c problem read
47.39/47.48 c presolving settings loaded
59.39/59.46 c presolving:
64.58/64.65 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10002 upgd conss, 0 impls, 10002 clqs
325.34/325.48 c (278.0s) probing: 1000/2561998 (0.0%) - 0 fixings, 0 aggregations, 999 implications, 0 bound changes
535.20/535.35 c (487.9s) probing: 2000/2561998 (0.1%) - 0 fixings, 0 aggregations, 1999 implications, 0 bound changes
535.40/535.55 c (488.1s) probing: 2001/2561998 (0.1%) - 0 fixings, 0 aggregations, 2000 implications, 0 bound changes
535.40/535.55 c (488.1s) probing aborted: 2000/2000 successive useless probings
535.61/535.75 c presolving (2 rounds):
535.61/535.75 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
535.61/535.75 c 4000 implications, 10002 cliques
535.61/535.75 c presolved problem has 2561998 variables (2561998 bin, 0 int, 0 impl, 0 cont) and 12000 constraints
535.61/535.75 c 10002 constraints of type <setppc>
535.61/535.75 c 1998 constraints of type <linear>
535.61/535.75 c transformed objective value is always integral (scale: 1)
535.61/535.75 c Presolving Time: 483.42
535.61/535.75 c - non default parameters ----------------------------------------------------------------------
535.61/535.75 c # SCIP version 1.2.1.3
535.61/535.75 c
535.61/535.75 c # frequency for displaying node information lines
535.61/535.75 c # [type: int, range: [-1,2147483647], default: 100]
535.61/535.75 c display/freq = 10000
535.61/535.75 c
535.61/535.75 c # maximal time in seconds to run
535.61/535.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
535.61/535.75 c limits/time = 1742.54
535.61/535.75 c
535.61/535.75 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
535.61/535.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
535.61/535.75 c limits/memory = 13950
535.61/535.75 c
535.61/535.75 c # default clock type (1: CPU user seconds, 2: wall clock time)
535.61/535.75 c # [type: int, range: [1,2], default: 1]
535.61/535.75 c timing/clocktype = 2
535.61/535.75 c
535.61/535.75 c # should presolving try to simplify inequalities
535.61/535.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
535.61/535.75 c constraints/linear/simplifyinequalities = TRUE
535.61/535.75 c
535.61/535.75 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
535.61/535.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
535.61/535.75 c constraints/indicator/addCouplingCons = TRUE
535.61/535.75 c
535.61/535.75 c # should presolving try to simplify knapsacks
535.61/535.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
535.61/535.75 c constraints/knapsack/simplifyinequalities = TRUE
535.61/535.75 c
535.61/535.75 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
535.61/535.75 c # [type: int, range: [-1,2147483647], default: -1]
535.61/535.75 c separating/rapidlearning/freq = 0
535.61/535.75 c
535.61/535.75 c -----------------------------------------------------------------------------------------------
535.61/535.75 c start solving
536.51/536.61 c
542.60/542.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.60/542.76 c 495s| 1 | 0 | 4 | - |5652M| 0 | 2 |2561k| 12k|2561k| 12k| 0 | 0 | 0 | 9.542000e+03 | -- | Inf
632.29/632.45 c 585s| 1 | 0 | 1476 | - |5663M| 0 | 4 |2561k| 12k|2561k| 12k| 5 | 0 | 0 | 1.102400e+04 | -- | Inf
698.98/699.12 c 652s| 1 | 0 | 1481 | - |5670M| 0 | 2 |2561k| 12k|2561k| 12k| 9 | 0 | 0 | 2.840100e+04 | -- | Inf
765.36/765.58 c 718s| 1 | 0 | 1487 | - |5674M| 0 | 2 |2561k| 12k|2561k| 12k| 14 | 0 | 0 | 3.117700e+04 | -- | Inf
833.45/833.64 c 786s| 1 | 0 | 1489 | - |5691M| 0 | 6 |2561k| 12k|2561k| 12k| 16 | 0 | 0 | 3.117700e+04 | -- | Inf
902.55/902.75 c 855s| 1 | 0 | 1491 | - |5691M| 0 | 4 |2561k| 12k|2561k| 12k| 17 | 0 | 0 | 3.253200e+04 | -- | Inf
972.54/972.71 c 925s| 1 | 0 | 1492 | - |5693M| 0 | 6 |2561k| 12k|2561k| 12k| 18 | 0 | 0 | 3.253200e+04 | -- | Inf
1041.72/1041.97 c 994s| 1 | 0 | 1494 | - |5694M| 0 | 4 |2561k| 12k|2561k| 12k| 19 | 0 | 0 | 3.303500e+04 | -- | Inf
1110.82/1111.10 c 1064s| 1 | 0 | 1495 | - |5697M| 0 | 6 |2561k| 12k|2561k| 12k| 20 | 0 | 0 | 3.303500e+04 | -- | Inf
1180.40/1180.65 c 1133s| 1 | 0 | 1497 | - |5697M| 0 | 4 |2561k| 12k|2561k| 12k| 21 | 0 | 0 | 3.377100e+04 | -- | Inf
1249.40/1249.61 c 1202s| 1 | 0 | 1498 | - |5699M| 0 | 6 |2561k| 12k|2561k| 12k| 23 | 0 | 0 | 3.377100e+04 | -- | Inf
1276.38/1276.67 c 1229s| 1 | 2 | 1498 | - |5699M| 0 | 6 |2561k| 12k|2561k| 12k| 23 | 0 | 6 | 3.377100e+04 | -- | Inf
1790.10/1790.47 c
1790.10/1790.47 c SCIP Status : solving was interrupted [time limit reached]
1790.10/1790.47 c Solving Time (sec) : 1742.99
1790.10/1790.47 c Solving Nodes : 12
1790.10/1790.47 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.10/1790.47 c Dual Bound : +3.70360000000000e+04
1790.10/1790.47 c Gap : infinite
1790.10/1790.47 s UNKNOWN
1790.10/1790.47 c SCIP Status : solving was interrupted [time limit reached]
1790.10/1790.47 c Solving Time : 1742.99
1790.10/1790.47 c Original Problem :
1790.10/1790.47 c Problem name : HOME/instance-3738455-1338726857.opb
1790.10/1790.47 c Variables : 2561998 (2561998 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.10/1790.47 c Constraints : 12000 initial, 12000 maximal
1790.10/1790.47 c Presolved Problem :
1790.10/1790.47 c Problem name : t_HOME/instance-3738455-1338726857.opb
1790.10/1790.47 c Variables : 2561998 (2561998 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.10/1790.47 c Constraints : 12000 initial, 12301 maximal
1790.10/1790.47 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.10/1790.47 c trivial : 0.38 0 0 0 0 0 0 0 0
1790.10/1790.47 c dualfix : 0.28 0 0 0 0 0 0 0 0
1790.10/1790.47 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.10/1790.47 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.10/1790.47 c implics : 0.17 0 0 0 0 0 0 0 0
1790.10/1790.47 c probing : 469.13 0 0 0 0 0 0 0 0
1790.10/1790.47 c setppc : 1.09 0 0 0 0 0 0 0 0
1790.10/1790.47 c linear : 3.81 0 0 0 0 0 0 0 0
1790.10/1790.47 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.10/1790.47 c root node : - 0 - - 0 - - - -
1790.10/1790.47 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.10/1790.47 c integral : 0 0 0 11 0 0 0 0 0 22
1790.10/1790.47 c setppc : 10002 11 6951 0 1 0 0 0 0 0
1790.10/1790.47 c linear : 1998 11 6951 0 0 0 9472 0 0 0
1790.10/1790.47 c logicor : 0+ 0 37 0 0 0 0 0 0 0
1790.10/1790.47 c countsols : 0 0 0 0 1 0 0 0 0 0
1790.10/1790.47 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.10/1790.47 c integral : 22.06 0.00 0.00 22.06 0.00
1790.10/1790.47 c setppc : 1.90 0.00 1.81 0.00 0.08
1790.10/1790.47 c linear : 12.38 2.26 10.11 0.00 0.00
1790.10/1790.47 c logicor : 0.01 0.00 0.01 0.00 0.00
1790.10/1790.47 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.10/1790.47 c Propagators : Time Calls Cutoffs DomReds
1790.10/1790.47 c vbounds : 0.01 2 0 0
1790.10/1790.47 c rootredcost : 0.00 0 0 0
1790.10/1790.47 c pseudoobj : 107.46 958 0 0
1790.10/1790.47 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.10/1790.47 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.10/1790.47 c infeasible LP : 21.42 35 35 442 2053.5 0 0.0 0
1790.10/1790.47 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.10/1790.47 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.10/1790.47 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.10/1790.47 c applied globally : - - - 301 1035.8 - - -
1790.10/1790.47 c applied locally : - - - 0 0.0 - - -
1790.10/1790.47 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.10/1790.47 c cut pool : 0.00 10 - - 1 - (maximal pool size: 24)
1790.10/1790.47 c redcost : 3.65 21 0 0 0 0
1790.10/1790.47 c impliedbounds : 1.13 11 0 0 4 0
1790.10/1790.47 c intobj : 0.00 0 0 0 0 0
1790.10/1790.47 c cgmip : 0.00 0 0 0 0 0
1790.10/1790.47 c gomory : 1.81 11 0 0 9 0
1790.10/1790.47 c strongcg : 1.77 11 0 0 9 0
1790.10/1790.47 c cmir : 317.86 10 0 0 10 0
1790.10/1790.47 c flowcover : 349.07 10 0 0 14 0
1790.10/1790.47 c clique : 2.42 11 0 0 3 0
1790.10/1790.47 c zerohalf : 0.00 0 0 0 0 0
1790.10/1790.47 c mcf : 0.00 0 0 0 0 0
1790.10/1790.47 c rapidlearning : 0.00 0 0 0 0 0
1790.10/1790.47 c Pricers : Time Calls Vars
1790.10/1790.47 c problem variables: 0.00 0 0
1790.10/1790.47 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.10/1790.47 c relpscost : 22.06 11 0 0 0 0 22
1790.10/1790.47 c pscost : 0.00 0 0 0 0 0 0
1790.10/1790.47 c inference : 0.26 1 0 0 0 0 2
1790.10/1790.47 c mostinf : 0.00 0 0 0 0 0 0
1790.10/1790.47 c leastinf : 0.00 0 0 0 0 0 0
1790.10/1790.47 c fullstrong : 0.00 0 0 0 0 0 0
1790.10/1790.47 c allfullstrong : 0.00 0 0 0 0 0 0
1790.10/1790.47 c random : 0.00 0 0 0 0 0 0
1790.10/1790.47 c Primal Heuristics : Time Calls Found
1790.10/1790.47 c LP solutions : 0.00 - 0
1790.10/1790.47 c pseudo solutions : 0.00 - 0
1790.10/1790.47 c oneopt : 0.00 0 0
1790.10/1790.47 c crossover : 0.00 0 0
1790.10/1790.47 c fracdiving : 0.00 0 0
1790.10/1790.47 c veclendiving : 0.00 0 0
1790.10/1790.47 c objpscostdiving : 0.00 0 0
1790.10/1790.47 c rootsoldiving : 0.00 0 0
1790.10/1790.47 c coefdiving : 277.93 1 0
1790.10/1790.47 c pscostdiving : 206.58 1 0
1790.10/1790.47 c trivial : 3.95 2 0
1790.10/1790.47 c simplerounding : 0.11 0 0
1790.10/1790.47 c zirounding : 0.24 11 0
1790.10/1790.47 c rounding : 0.02 21 0
1790.10/1790.47 c shifting : 0.39 11 0
1790.10/1790.47 c intshifting : 0.00 0 0
1790.10/1790.47 c twoopt : 0.00 0 0
1790.10/1790.47 c fixandinfer : 0.00 0 0
1790.10/1790.47 c feaspump : 22.02 1 0
1790.10/1790.47 c intdiving : 0.00 0 0
1790.10/1790.47 c actconsdiving : 0.00 0 0
1790.10/1790.47 c linesearchdiving : 0.00 0 0
1790.10/1790.47 c guideddiving : 0.00 0 0
1790.10/1790.47 c octane : 0.00 0 0
1790.10/1790.47 c rens : 22.26 1 0
1790.10/1790.47 c rins : 0.00 0 0
1790.10/1790.47 c localbranching : 0.00 0 0
1790.10/1790.47 c mutation : 0.00 0 0
1790.10/1790.47 c dins : 0.00 0 0
1790.10/1790.47 c undercover : 0.00 0 0
1790.10/1790.47 c nlp : 0.00 0 0
1790.10/1790.47 c trysol : 0.00 0 0
1790.10/1790.47 c LP : Time Calls Iterations Iter/call Iter/sec
1790.10/1790.47 c primal LP : 0.19 0 0 0.00 0.00
1790.10/1790.47 c dual LP : 6.04 21 60 2.86 9.93
1790.10/1790.47 c lex dual LP : 0.00 0 0 0.00 -
1790.10/1790.47 c barrier LP : 0.00 0 0 0.00 -
1790.10/1790.47 c diving/probing LP: 182.94 617 3250 5.27 17.77
1790.10/1790.47 c strong branching : 22.06 36 165 4.58 7.48
1790.10/1790.47 c (at root node) : - 6 23 3.83 -
1790.10/1790.47 c conflict analysis: 0.00 0 0 0.00 -
1790.10/1790.47 c B&B Tree :
1790.10/1790.47 c number of runs : 1
1790.10/1790.47 c nodes : 12
1790.10/1790.47 c nodes (total) : 12
1790.10/1790.47 c nodes left : 13
1790.10/1790.47 c max depth : 5
1790.10/1790.47 c max depth (total): 5
1790.10/1790.47 c backtracks : 2 (16.7%)
1790.10/1790.47 c delayed cutoffs : 0
1790.10/1790.47 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.10/1790.47 c avg switch length: 1.67
1790.10/1790.47 c switching time : 0.44
1790.10/1790.47 c Solution :
1790.10/1790.47 c Solutions found : 0 (0 improvements)
1790.10/1790.47 c Primal Bound : -
1790.10/1790.47 c Dual Bound : +3.70360000000000e+04
1790.10/1790.47 c Gap : infinite
1790.10/1790.47 c Root Dual Bound : +3.37710000000000e+04
1790.10/1790.47 c Root Iterations : 1498
1799.50/1799.84 c Time complete: 1799.55.
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-3738455-1338726857/watcher-3738455-1338726857 -o /tmp/evaluation-result-3738455-1338726857/solver-3738455-1338726857 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3738455-1338726857.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.02 2.01 2.00 3/176 3745
/proc/meminfo: memFree=27949244/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=7912 CPUtime=0 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 1081 0 0 0 0 0 0 0 20 0 1 0 338811723 8101888 1029 33554432000 4194304 8395647 140734708710832 140734708706232 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1978 1038 365 1026 0 948 0
[startup+0.103452 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 3745
/proc/meminfo: memFree=27949244/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=48360 CPUtime=0.09 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 11291 0 0 0 8 1 0 0 20 0 1 0 338811723 49520640 11232 33554432000 4194304 8395647 140734708710832 140734708706232 5759075 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 12090 11232 387 1026 0 11060 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48360
[startup+0.200453 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 3745
/proc/meminfo: memFree=27949244/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=87224 CPUtime=0.19 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 20903 0 0 0 16 3 0 0 20 0 1 0 338811723 89317376 20844 33554432000 4194304 8395647 140734708710832 140734708706232 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 21806 20844 387 1026 0 20776 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 87224
[startup+0.300371 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 3745
/proc/meminfo: memFree=27949244/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=124052 CPUtime=0.28 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 29686 0 0 0 24 4 0 0 20 0 1 0 338811723 127029248 29627 33554432000 4194304 8395647 140734708710832 140734708706232 5759075 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 31013 29627 387 1026 0 29983 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 124052
[startup+0.700372 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 3745
/proc/meminfo: memFree=27949244/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=256800 CPUtime=0.69 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 62618 0 0 0 60 9 0 0 20 0 1 0 338811723 262963200 62559 33554432000 4194304 8395647 140734708710832 140734708573320 5759075 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 64200 62559 387 1026 0 63170 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 256800
[startup+1.50034 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 3746
/proc/meminfo: memFree=27590000/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=480240 CPUtime=1.49 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 117325 0 0 0 132 17 0 0 20 0 1 0 338811723 491765760 117777 33554432000 4194304 8395647 140734708710832 140734708574440 5759045 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 120060 117777 387 1026 0 119030 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 480240
[startup+3.10036 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 3746
/proc/meminfo: memFree=27320960/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=833108 CPUtime=3.08 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 201367 0 0 0 278 30 0 0 20 0 1 0 338811723 853102592 203352 33554432000 4194304 8395647 140734708710832 140734708573320 4685157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 208277 203352 387 1026 0 207247 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 833108
[startup+6.30032 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 3746
/proc/meminfo: memFree=26741560/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=1335972 CPUtime=6.29 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 326967 0 0 0 578 51 0 0 20 0 1 0 338811723 1368035328 331507 33554432000 4194304 8395647 140734708710832 140734708573336 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 333993 331507 387 1026 0 332963 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1335972
[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 3746
/proc/meminfo: memFree=26144180/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=1853972 CPUtime=12.69 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 446180 0 0 0 1198 71 0 0 20 0 1 0 338811723 1898467328 452764 33554432000 4194304 8395647 140734708710832 140734708576040 4685157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 463493 452764 394 1026 0 462463 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1853972
[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 3746
/proc/meminfo: memFree=26087496/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=1901880 CPUtime=25.48 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 457211 0 0 0 2475 73 0 0 20 0 1 0 338811723 1947525120 463795 33554432000 4194304 8395647 140734708710832 140734708576040 4685157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 475470 463795 394 1026 0 474440 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1901880
[startup+51.1005 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 3746
/proc/meminfo: memFree=23873484/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=4149952 CPUtime=51.08 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 1010160 0 0 0 4947 161 0 0 20 0 1 0 338811723 4249550848 1022011 33554432000 4194304 8395647 140734708710832 140734708707064 4421983 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1037488 1022011 413 1026 0 1036458 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4149952
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 3746
/proc/meminfo: memFree=22550124/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=5268504 CPUtime=102.28 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 1193792 0 0 0 10031 197 0 0 20 0 1 0 338811723 5394948096 1299084 33554432000 4194304 8395647 140734708710832 140734708707928 5604422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1317126 1299084 488 1026 0 1316096 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 5268504
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3746
/proc/meminfo: memFree=22452408/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=5268504 CPUtime=162.26 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 1193792 0 0 0 16029 197 0 0 20 0 1 0 338811723 5394948096 1299084 33554432000 4194304 8395647 140734708710832 140734708707928 5604533 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1317126 1299084 488 1026 0 1316096 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 5268504
[startup+222.309 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 3746
/proc/meminfo: memFree=22365336/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=5268504 CPUtime=222.26 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 1193792 0 0 0 22029 197 0 0 20 0 1 0 338811723 5394948096 1299084 33554432000 4194304 8395647 140734708710832 140734708707928 5604529 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1317126 1299084 488 1026 0 1316096 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 5268504
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 3937
/proc/meminfo: memFree=23208020/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=5268504 CPUtime=282.25 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 1193792 0 0 0 28027 198 0 0 20 0 1 0 338811723 5394948096 1299084 33554432000 4194304 8395647 140734708710832 140734708707928 5608322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1317126 1299084 488 1026 0 1316096 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 5268504
[startup+342.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/178 3978
/proc/meminfo: memFree=17884380/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=5268504 CPUtime=342.23 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 1193799 0 0 0 34025 198 0 0 20 0 1 0 338811723 5394948096 1299236 33554432000 4194304 8395647 140734708710832 140734708705768 5608316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1317126 1299236 494 1026 0 1316096 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 5268504
[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 3978
/proc/meminfo: memFree=15488992/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=5268504 CPUtime=402.22 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 1193801 0 0 0 40024 198 0 0 20 0 1 0 338811723 5394948096 1299236 33554432000 4194304 8395647 140734708710832 140734708705768 5604418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1317126 1299236 494 1026 0 1316096 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 5268504
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3978
/proc/meminfo: memFree=15419580/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=5268504 CPUtime=462.21 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 1193803 0 0 0 46023 198 0 0 20 0 1 0 338811723 5394948096 1299236 33554432000 4194304 8395647 140734708710832 140734708705768 5604422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1317126 1299236 494 1026 0 1316096 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 5268504
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 3978
/proc/meminfo: memFree=15351180/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=5268504 CPUtime=522.2 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 1193804 0 0 0 52022 198 0 0 20 0 1 0 338811723 5394948096 1299236 33554432000 4194304 8395647 140734708710832 140734708705768 5604533 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1317126 1299236 494 1026 0 1316096 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 5268504
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3979
/proc/meminfo: memFree=13370524/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=7569004 CPUtime=582.2 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 1422322 0 0 0 57964 256 0 0 20 0 1 0 338811723 7750660096 1776024 33554432000 4194304 8395647 140734708710832 140734708704888 7382137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1892251 1776024 579 1026 0 1891221 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 7569004
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=19831680/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=7841732 CPUtime=1062.12 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 1434908 0 0 0 105949 263 0 0 20 0 1 0 338811723 8029933568 1838899 33554432000 4194304 8395647 140734708710832 140734708706120 5830467 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1960433 1838899 602 1026 0 1959403 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 7841732
[startup+1122.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 4060
/proc/meminfo: memFree=19678360/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=7841732 CPUtime=1122.11 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 1435790 0 0 0 111947 264 0 0 20 0 1 0 338811723 8029933568 1838909 33554432000 4194304 8395647 140734708710832 140734708706120 7382116 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1960433 1838909 602 1026 0 1959403 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 7841732
[startup+1182.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/176 4061
/proc/meminfo: memFree=19556560/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=7841732 CPUtime=1182.1 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 1436672 0 0 0 117946 264 0 0 20 0 1 0 338811723 8029933568 1839431 33554432000 4194304 8395647 140734708710832 140734708706120 7382132 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1960433 1839431 602 1026 0 1959403 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 7841732
[startup+1242.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 4062
/proc/meminfo: memFree=19425628/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=7841732 CPUtime=1242.09 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 1436672 0 0 0 123945 264 0 0 20 0 1 0 338811723 8029933568 1839431 33554432000 4194304 8395647 140734708710832 140734708706120 5852519 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1960433 1839431 602 1026 0 1959403 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 7841732
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 4062
/proc/meminfo: memFree=19248320/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=7883972 CPUtime=1302.08 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 2532755 0 0 0 129748 460 0 0 20 0 1 0 338811723 8073187328 1850887 33554432000 4194304 8395647 140734708710832 140734708706536 6119850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1970993 1850887 627 1026 0 1969963 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 7883972
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 4062
/proc/meminfo: memFree=19044516/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=7992264 CPUtime=1362.07 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 2551683 0 0 0 135744 463 0 0 20 0 1 0 338811723 8184078336 1877991 33554432000 4194304 8395647 140734708710832 140734708706392 6586910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1998066 1877991 627 1026 0 1997036 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 7992264
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 4062
/proc/meminfo: memFree=18830488/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=8085564 CPUtime=1422.07 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 2569917 0 0 0 141741 466 0 0 20 0 1 0 338811723 8279617536 1901335 33554432000 4194304 8395647 140734708710832 140734708706392 6574271 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 2021391 1901335 627 1026 0 2020361 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 8085564
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4063
/proc/meminfo: memFree=18626160/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=8190956 CPUtime=1482.05 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 2581982 0 0 0 147736 469 0 0 20 0 1 0 338811723 8387538944 1927708 33554432000 4194304 8395647 140734708710832 140734708706056 6621889 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 2047739 1927708 627 1026 0 2046709 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 8190956
[startup+1542.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 4104
/proc/meminfo: memFree=20443080/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=8275848 CPUtime=1542.04 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 2598628 0 0 0 153732 472 0 0 20 0 1 0 338811723 8474468352 1949007 33554432000 4194304 8395647 140734708710832 140734708706536 5614823 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 2068962 1949007 627 1026 0 2067932 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 8275848
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 4165
/proc/meminfo: memFree=20531476/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=8320876 CPUtime=1602.03 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 2603764 0 0 0 159729 474 0 0 20 0 1 0 338811723 8520577024 1960288 33554432000 4194304 8395647 140734708710832 140734708706520 5614772 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 2080219 1960288 627 1026 0 2079189 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 8320876
[startup+1662.3 s]
/proc/loadavg: 1.96 2.00 1.99 3/177 4279
/proc/meminfo: memFree=20384740/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=8320876 CPUtime=1662.03 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 2603837 0 0 0 165728 475 0 0 20 0 1 0 338811723 8520577024 1961198 33554432000 4194304 8395647 140734708710832 140734708706520 6003041 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 2080219 1961198 627 1026 0 2079189 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 8320876
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 4/177 4279
/proc/meminfo: memFree=20242376/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=8320876 CPUtime=1722.01 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 2603843 0 0 0 171726 475 0 0 20 0 1 0 338811723 8520577024 1961504 33554432000 4194304 8395647 140734708710832 140734708706056 6119704 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 2080219 1961504 627 1026 0 2079189 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 8320876
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4280
/proc/meminfo: memFree=20237380/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=8320876 CPUtime=1782 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 2603843 0 0 0 177725 475 0 0 20 0 1 0 338811723 8520577024 1962229 33554432000 4194304 8395647 140734708710832 140734708706056 6119850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 2080219 1962229 627 1026 0 2079189 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 8320876
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.01 2.01 2.00 4/177 4280
/proc/meminfo: memFree=20287320/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=8252084 CPUtime=1791.71 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 2603846 0 0 0 178696 475 0 0 20 0 1 0 338811723 8450134016 1949789 33554432000 4194304 8395647 140734708710832 140734708709944 6345203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 2063021 1949789 630 1026 0 2061991 0
Current children cumulated CPU time (s) 1791.71
Current children cumulated vsize (KiB) 8252084
[startup+1795.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4280
/proc/meminfo: memFree=20307348/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=8232068 CPUtime=1794.9 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 2603847 0 0 0 179015 475 0 0 20 0 1 0 338811723 8429637632 1944785 33554432000 4194304 8395647 140734708710832 140734708710168 6345370 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 2058017 1944785 630 1026 0 2056987 0
Current children cumulated CPU time (s) 1794.9
Current children cumulated vsize (KiB) 8232068
[startup+1798.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4280
/proc/meminfo: memFree=20307472/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=7277452 CPUtime=1798.1 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 2603847 0 0 0 179332 478 0 0 20 0 1 0 338811723 7452110848 1742167 33554432000 4194304 8395647 140734708710832 140734708710168 4729025 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1819363 1742167 630 1026 0 1818333 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (KiB) 7277452
[startup+1799.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4280
/proc/meminfo: memFree=21260300/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=5991284 CPUtime=1798.9 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 2603847 0 0 0 179404 486 0 0 20 0 1 0 338811723 6135074816 1421174 33554432000 4194304 8395647 140734708710832 140734708710024 6345770 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1497821 1421174 630 1026 0 1496791 0
Current children cumulated CPU time (s) 1798.9
Current children cumulated vsize (KiB) 5991284
[startup+1799.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4280
/proc/meminfo: memFree=22867464/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=5526516 CPUtime=1799.3 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 2603847 0 0 0 179442 488 0 0 20 0 1 0 338811723 5659152384 1305834 33554432000 4194304 8395647 140734708710832 140734708710088 4288158 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1381629 1305834 630 1026 0 1380599 0
Current children cumulated CPU time (s) 1799.3
Current children cumulated vsize (KiB) 5526516
[startup+1799.8 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4280
/proc/meminfo: memFree=22867464/32873844 swapFree=7112/7112
[pid=3745] ppid=3743 vsize=5046576 CPUtime=1799.5 cores=1,3,5,7
/proc/3745/stat : 3745 (pbscip.linux.x8) R 3743 3745 2459 0 -1 4202496 2603847 0 0 0 179456 494 0 0 20 0 1 0 338811723 5167693824 451656 33554432000 4194304 8395647 140734708710832 140734708710088 7602442 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3745/statm: 1261644 451144 630 1026 0 1260614 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 5046576
Child status: 0
Real time (s): 1799.85
CPU time (s): 1799.56
CPU user time (s): 1794.57
CPU system time (s): 4.99024
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 12492388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.57
system time used= 4.99024
maximum resident set size= 11974104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2603850
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= 20
involuntary context switches= 1974
runsolver used 3.14952 second user time and 8.62069 second system time
The end