0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2667068-1276585417.opb>
0.39/0.40 c original problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 6383 constraints
0.39/0.40 c problem read
0.39/0.40 c presolving settings loaded
0.49/0.52 c presolving:
0.60/0.62 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.60/0.68 c (round 2) 0 del vars, 3094 del conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 104 upgd conss, 0 impls, 0 clqs
0.70/0.74 c (round 3) 0 del vars, 3094 del conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 195 upgd conss, 1092 impls, 0 clqs
2.39/2.42 c (2.0s) probing: 113/3297 (3.4%) - 0 fixings, 0 aggregations, 2730 implications, 0 bound changes
2.39/2.42 c (2.0s) probing aborted: 100/100 successive totally useless probings
2.39/2.42 c presolving (4 rounds):
2.39/2.42 c 0 deleted vars, 3094 deleted constraints, 0 tightened bounds, 0 added holes, 182 changed sides, 182 changed coefficients
2.39/2.42 c 6552 implications, 0 cliques
2.39/2.42 c presolved problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 3289 constraints
2.39/2.42 c 195 constraints of type <knapsack>
2.39/2.42 c 3094 constraints of type <linear>
2.39/2.42 c transformed objective value is always integral (scale: 1)
2.39/2.42 c Presolving Time: 1.89
2.39/2.42 c - non default parameters ----------------------------------------------------------------------
2.39/2.42 c # SCIP version 1.2.1.2
2.39/2.42 c
2.39/2.42 c # frequency for displaying node information lines
2.39/2.42 c # [type: int, range: [-1,2147483647], default: 100]
2.39/2.42 c display/freq = 10000
2.39/2.42 c
2.39/2.42 c # maximal time in seconds to run
2.39/2.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.42 c limits/time = 1799.61
2.39/2.42 c
2.39/2.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.39/2.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.39/2.42 c limits/memory = 1620
2.39/2.42 c
2.39/2.42 c # should presolving try to simplify inequalities
2.39/2.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.42 c constraints/linear/simplifyinequalities = TRUE
2.39/2.42 c
2.39/2.42 c # should presolving try to simplify knapsacks
2.39/2.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.39/2.42 c constraints/knapsack/simplifyinequalities = TRUE
2.39/2.42 c
2.39/2.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.39/2.42 c # [type: int, range: [-1,2147483647], default: -1]
2.39/2.42 c separating/rapidlearning/freq = 0
2.39/2.42 c
2.39/2.42 c -----------------------------------------------------------------------------------------------
2.39/2.42 c start solving
2.39/2.43 c
3.19/3.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.19/3.28 c 2.8s| 1 | 0 | 3824 | - | 26M| 0 |1917 |3297 |3289 |3297 |3289 | 0 | 0 | 0 | 1.300000e+01 | -- | Inf
10.88/10.90 c 10.3s| 1 | 0 | 9719 | - | 27M| 0 |1926 |3297 |3289 |3297 |3337 | 48 | 0 | 0 | 1.300000e+01 | -- | Inf
11.49/11.56 c 10.9s| 1 | 0 | 9778 | - | 28M| 0 |1934 |3297 |3289 |3297 |3428 | 139 | 0 | 0 | 1.300000e+01 | -- | Inf
12.48/12.56 c 11.9s| 1 | 0 | 10111 | - | 28M| 0 |1949 |3297 |3289 |3297 |3553 | 264 | 0 | 0 | 1.300000e+01 | -- | Inf
13.88/13.93 c 13.3s| 1 | 0 | 10619 | - | 29M| 0 |1946 |3297 |3289 |3297 |3683 | 394 | 0 | 0 | 1.300314e+01 | -- | Inf
15.28/15.38 c 14.7s| 1 | 0 | 11117 | - | 29M| 0 |1948 |3297 |3289 |3297 |3781 | 492 | 0 | 0 | 1.320000e+01 | -- | Inf
17.38/17.47 c 16.8s| 1 | 0 | 11629 | - | 30M| 0 |1941 |3297 |3289 |3297 |3873 | 584 | 0 | 0 | 1.320000e+01 | -- | Inf
19.68/19.76 c 19.1s| 1 | 0 | 12369 | - | 30M| 0 |1947 |3297 |3289 |3297 |3955 | 666 | 0 | 0 | 1.320000e+01 | -- | Inf
22.28/22.38 c 21.7s| 1 | 0 | 13049 | - | 31M| 0 |1942 |3297 |3289 |3297 |4012 | 723 | 0 | 0 | 1.320000e+01 | -- | Inf
24.78/24.84 c 24.1s| 1 | 0 | 13860 | - | 31M| 0 |1948 |3297 |3289 |3297 |4121 | 832 | 0 | 0 | 1.320000e+01 | -- | Inf
27.58/27.63 c 26.9s| 1 | 0 | 14785 | - | 32M| 0 |1946 |3297 |3289 |3297 |4233 | 944 | 0 | 0 | 1.333333e+01 | -- | Inf
30.08/30.12 c 29.3s| 1 | 0 | 16366 | - | 32M| 0 |1933 |3297 |3289 |3297 |4255 | 966 | 0 | 0 | 1.376000e+01 | -- | Inf
31.68/31.72 c 30.9s| 1 | 0 | 17166 | - | 32M| 0 |1929 |3297 |3289 |3297 |4202 | 993 | 0 | 0 | 1.376000e+01 | -- | Inf
33.28/33.37 c 32.6s| 1 | 0 | 18047 | - | 32M| 0 |1844 |3297 |3289 |3297 |4221 |1012 | 0 | 0 | 1.400000e+01 | -- | Inf
34.88/34.93 c 34.1s| 1 | 0 | 18951 | - | 32M| 0 |1846 |3297 |3289 |3297 |4242 |1033 | 0 | 0 | 1.400000e+01 | -- | Inf
36.48/36.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.48/36.53 c 35.7s| 1 | 0 | 20013 | - | 32M| 0 |1821 |3297 |3289 |3297 |4262 |1053 | 0 | 0 | 1.400000e+01 | -- | Inf
38.18/38.22 c 37.3s| 1 | 0 | 20957 | - | 32M| 0 |1815 |3297 |3289 |3297 |4281 |1072 | 0 | 0 | 1.400000e+01 | -- | Inf
39.77/39.89 c 39.0s| 1 | 0 | 21806 | - | 32M| 0 |1812 |3297 |3289 |3297 |4315 |1106 | 0 | 0 | 1.400000e+01 | -- | Inf
42.28/42.36 c 41.4s| 1 | 0 | 23504 | - | 32M| 0 |1797 |3297 |3289 |3297 |3873 |1132 | 0 | 0 | 1.400000e+01 | -- | Inf
87.76/87.87 c 86.3s| 1 | 2 | 23504 | - | 32M| 0 |1797 |3297 |3289 |3297 |3873 |1132 | 0 | 35 | 1.400000e+01 | -- | Inf
1800.01/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.13/1800.75 c
1800.13/1800.75 c SCIP Status : solving was interrupted [user interrupt]
1800.13/1800.75 c Solving Time (sec) : 1764.19
1800.13/1800.75 c Solving Nodes : 7417
1800.13/1800.75 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.13/1800.75 c Dual Bound : +1.40000000000000e+01
1800.13/1800.75 c Gap : infinite
1800.13/1800.75 s UNKNOWN
1800.13/1800.75 c SCIP Status : solving was interrupted [user interrupt]
1800.13/1800.75 c Solving Time : 1764.19
1800.13/1800.75 c Original Problem :
1800.13/1800.75 c Problem name : HOME/instance-2667068-1276585417.opb
1800.13/1800.75 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.13/1800.75 c Constraints : 6383 initial, 6383 maximal
1800.13/1800.75 c Presolved Problem :
1800.13/1800.75 c Problem name : t_HOME/instance-2667068-1276585417.opb
1800.13/1800.75 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.13/1800.75 c Constraints : 3289 initial, 5143 maximal
1800.13/1800.75 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.13/1800.75 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.13/1800.75 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.13/1800.75 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.13/1800.75 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.13/1800.75 c implics : 0.00 0 0 0 0 0 0 0 0
1800.13/1800.75 c probing : 1.66 0 0 0 0 0 0 0 0
1800.13/1800.75 c knapsack : 0.01 0 0 0 0 0 0 0 0
1800.13/1800.75 c linear : 0.18 0 0 0 0 0 3094 182 182
1800.13/1800.75 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.13/1800.75 c root node : - 0 - - 0 - - - -
1800.13/1800.75 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.13/1800.75 c integral : 0 0 0 7215 0 5 6419 0 0 11820
1800.13/1800.75 c knapsack : 195 18 37487 0 0 49 16824 2319 0 0
1800.13/1800.75 c linear : 3094 18 37438 0 0 192 314193 0 0 0
1800.13/1800.75 c logicor : 0+ 0 11797 0 0 5 5865 0 0 0
1800.13/1800.75 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.13/1800.75 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.13/1800.75 c integral : 768.46 0.00 0.00 768.46 0.00
1800.13/1800.75 c knapsack : 3.23 0.09 3.14 0.00 0.00
1800.13/1800.75 c linear : 62.89 0.01 62.88 0.00 0.00
1800.13/1800.75 c logicor : 0.74 0.00 0.74 0.00 0.00
1800.13/1800.75 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.13/1800.75 c Propagators : Time Calls Cutoffs DomReds
1800.13/1800.75 c vbounds : 0.02 2 0 0
1800.13/1800.75 c rootredcost : 0.03 0 0 0
1800.13/1800.75 c pseudoobj : 0.11 37257 0 0
1800.13/1800.75 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.13/1800.75 c propagation : 0.07 246 246 1950 34.0 14 16.4 -
1800.13/1800.75 c infeasible LP : 2.45 1516 1516 2746 14.3 72 12.9 0
1800.13/1800.75 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.13/1800.75 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.13/1800.75 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.13/1800.75 c applied globally : - - - 3561 18.6 - - -
1800.13/1800.75 c applied locally : - - - 0 0.0 - - -
1800.13/1800.75 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.13/1800.75 c cut pool : 0.02 17 - - 11239 - (maximal pool size: 6377)
1800.13/1800.75 c redcost : 2.05 6768 0 59 0 0
1800.13/1800.75 c impliedbounds : 0.01 18 0 0 27 0
1800.13/1800.75 c intobj : 0.00 0 0 0 0 0
1800.13/1800.75 c cgmip : 0.00 0 0 0 0 0
1800.13/1800.75 c gomory : 1.83 18 0 0 562 0
1800.13/1800.75 c strongcg : 1.79 18 0 0 413 0
1800.13/1800.75 c cmir : 3.57 10 0 0 5000 0
1800.13/1800.75 c flowcover : 4.02 10 0 0 2000 0
1800.13/1800.75 c clique : 0.01 1 0 0 0 0
1800.13/1800.75 c zerohalf : 0.00 0 0 0 0 0
1800.13/1800.75 c mcf : 0.00 1 0 0 0 0
1800.13/1800.75 c rapidlearning : 1.16 1 0 0 0 0
1800.13/1800.75 c Pricers : Time Calls Vars
1800.13/1800.75 c problem variables: 0.00 0 0
1800.13/1800.75 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.13/1800.75 c relpscost : 768.42 7215 5 6419 0 0 11820
1800.13/1800.75 c pscost : 0.00 0 0 0 0 0 0
1800.13/1800.75 c inference : 0.00 0 0 0 0 0 0
1800.13/1800.75 c mostinf : 0.00 0 0 0 0 0 0
1800.13/1800.75 c leastinf : 0.00 0 0 0 0 0 0
1800.13/1800.75 c fullstrong : 0.00 0 0 0 0 0 0
1800.13/1800.75 c allfullstrong : 0.00 0 0 0 0 0 0
1800.13/1800.75 c random : 0.00 0 0 0 0 0 0
1800.13/1800.75 c Primal Heuristics : Time Calls Found
1800.13/1800.75 c LP solutions : 0.00 - 0
1800.13/1800.75 c pseudo solutions : 0.00 - 0
1800.13/1800.75 c oneopt : 0.03 0 0
1800.13/1800.75 c crossover : 0.03 0 0
1800.13/1800.75 c guideddiving : 0.00 0 0
1800.13/1800.75 c intshifting : 0.00 0 0
1800.13/1800.75 c rootsoldiving : 0.69 1 0
1800.13/1800.75 c coefdiving : 2.73 2 0
1800.13/1800.75 c pscostdiving : 7.55 2 0
1800.13/1800.75 c fracdiving : 37.23 2 0
1800.13/1800.75 c veclendiving : 1.53 2 0
1800.13/1800.75 c linesearchdiving : 0.58 2 0
1800.13/1800.75 c feaspump : 6.93 2 0
1800.13/1800.75 c objpscostdiving : 4.09 2 0
1800.13/1800.75 c trivial : 0.01 2 0
1800.13/1800.75 c simplerounding : 0.04 0 0
1800.13/1800.75 c zirounding : 0.54 1000 0
1800.13/1800.75 c rounding : 2.62 1123 0
1800.13/1800.75 c shifting : 12.30 326 0
1800.13/1800.75 c twoopt : 0.00 0 0
1800.13/1800.75 c fixandinfer : 0.00 0 0
1800.13/1800.75 c intdiving : 0.00 0 0
1800.13/1800.75 c actconsdiving : 0.00 0 0
1800.13/1800.75 c octane : 0.00 0 0
1800.13/1800.75 c rens : 0.01 0 0
1800.13/1800.75 c rins : 0.00 0 0
1800.13/1800.75 c localbranching : 0.00 0 0
1800.13/1800.75 c mutation : 0.00 0 0
1800.13/1800.75 c dins : 0.00 0 0
1800.13/1800.75 c undercover : 0.00 0 0
1800.13/1800.75 c nlp : 0.00 0 0
1800.13/1800.75 c trysol : 0.01 0 0
1800.13/1800.75 c LP : Time Calls Iterations Iter/call Iter/sec
1800.13/1800.75 c primal LP : 0.05 0 0 0.00 0.00
1800.13/1800.75 c dual LP : 801.16 8327 1307961 157.07 1632.58
1800.13/1800.75 c lex dual LP : 0.00 0 0 0.00 -
1800.13/1800.75 c barrier LP : 0.00 0 0 0.00 -
1800.13/1800.75 c diving/probing LP: 58.30 746 90081 120.75 1545.13
1800.13/1800.75 c strong branching : 763.13 7864 791666 100.67 1037.39
1800.13/1800.75 c (at root node) : - 35 34501 985.74 -
1800.13/1800.75 c conflict analysis: 0.00 0 0 0.00 -
1800.13/1800.75 c B&B Tree :
1800.13/1800.75 c number of runs : 1
1800.13/1800.75 c nodes : 7417
1800.13/1800.75 c nodes (total) : 7417
1800.13/1800.75 c nodes left : 4353
1800.13/1800.75 c max depth : 562
1800.13/1800.75 c max depth (total): 562
1800.13/1800.75 c backtracks : 304 (4.1%)
1800.13/1800.75 c delayed cutoffs : 51
1800.13/1800.75 c repropagations : 19136 (63920 domain reductions, 48 cutoffs)
1800.13/1800.75 c avg switch length: 7.15
1800.13/1800.75 c switching time : 12.23
1800.13/1800.75 c Solution :
1800.13/1800.75 c Solutions found : 0 (0 improvements)
1800.13/1800.75 c Primal Bound : -
1800.13/1800.75 c Dual Bound : +1.40000000000000e+01
1800.13/1800.75 c Gap : infinite
1800.13/1800.75 c Root Dual Bound : +1.40000000000000e+01
1800.13/1800.75 c Root Iterations : 23504
1800.31/1800.90 c Time complete: 1800.32.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667068-1276585417/watcher-2667068-1276585417 -o /tmp/evaluation-result-2667068-1276585417/solver-2667068-1276585417 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667068-1276585417.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 1424
/proc/meminfo: memFree=1685280/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=4792 CPUtime=0
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 536 0 0 0 0 0 0 0 18 0 1 0 34143482 4907008 457 1992294400 4194304 8223781 140734328390384 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1424/statm: 1198 458 302 984 0 211 0
[startup+0.107292 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 1424
/proc/meminfo: memFree=1685280/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=11340 CPUtime=0.09
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 2133 0 0 0 9 0 0 0 20 0 1 0 34143482 11612160 2052 1992294400 4194304 8223781 140734328390384 18446744073709551615 4240584 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1424/statm: 2835 2052 365 984 0 1848 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11340
[startup+0.201301 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 1424
/proc/meminfo: memFree=1685280/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=13656 CPUtime=0.19
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 2730 0 0 0 18 1 0 0 20 0 1 0 34143482 13983744 2649 1992294400 4194304 8223781 140734328390384 18446744073709551615 5650759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1424/statm: 3414 2649 365 984 0 2427 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13656
[startup+0.301313 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 1424
/proc/meminfo: memFree=1685280/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=16348 CPUtime=0.29
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 3385 0 0 0 28 1 0 0 20 0 1 0 34143482 16740352 3304 1992294400 4194304 8223781 140734328390384 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1424/statm: 4087 3304 365 984 0 3100 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16348
[startup+0.701357 s]
/proc/loadavg: 0.99 0.97 0.99 3/106 1424
/proc/meminfo: memFree=1685280/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=65820 CPUtime=0.7
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 15825 0 0 0 63 7 0 0 20 0 1 0 34143482 67399680 14866 1992294400 4194304 8223781 140734328390384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 16455 14866 454 984 0 15468 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 65820
[startup+1.50145 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1425
/proc/meminfo: memFree=1626132/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=66992 CPUtime=1.49
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 16926 0 0 0 142 7 0 0 23 0 1 0 34143482 68599808 15196 1992294400 4194304 8223781 140734328390384 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 16748 15196 465 984 0 15761 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66992
[startup+3.10162 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1425
/proc/meminfo: memFree=1626008/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=84020 CPUtime=3.09
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 21749 0 0 0 298 11 0 0 25 0 1 0 34143482 86036480 19030 1992294400 4194304 8223781 140734328390384 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 21005 19030 538 984 0 20018 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84020
[startup+6.30098 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1425
/proc/meminfo: memFree=1610260/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=84732 CPUtime=6.28
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 22967 0 0 0 616 12 0 0 25 0 1 0 34143482 86765568 19168 1992294400 4194304 8223781 140734328390384 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 21183 19168 545 984 0 20196 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84732
[startup+12.7017 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1425
/proc/meminfo: memFree=1597736/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=99240 CPUtime=12.68
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 36673 0 0 0 1245 23 0 0 25 0 1 0 34143482 101621760 22691 1992294400 4194304 8223781 140734328390384 18446744073709551615 5721531 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 24810 22691 581 984 0 23823 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 99240
[startup+25.5011 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1425
/proc/meminfo: memFree=1586204/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=112936 CPUtime=25.48
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 45961 0 0 0 2514 34 0 0 25 0 1 0 34143482 115646464 25160 1992294400 4194304 8223781 140734328390384 18446744073709551615 4424298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 28234 25160 581 984 0 27247 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 112936
[startup+51.1009 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1425
/proc/meminfo: memFree=1586452/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=112824 CPUtime=51.07
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 88552 0 0 0 5043 64 0 0 25 0 1 0 34143482 115531776 25268 1992294400 4194304 8223781 140734328390384 18446744073709551615 6569990 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 28206 25268 582 984 0 27219 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 112824
[startup+102.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1427
/proc/meminfo: memFree=1587444/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=108896 CPUtime=102.26
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 206827 0 0 0 10087 139 0 0 25 0 1 0 34143482 111509504 24841 1992294400 4194304 8223781 140734328390384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 27224 24841 582 984 0 26237 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 108896
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1429
/proc/meminfo: memFree=1585336/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=108968 CPUtime=162.23
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 362933 0 0 0 15988 235 0 0 25 0 1 0 34143482 111583232 24674 1992294400 4194304 8223781 140734328390384 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 27242 24674 582 984 0 26255 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 108968
[startup+222.309 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1431
/proc/meminfo: memFree=1588188/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=111504 CPUtime=222.22
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 514076 0 0 0 21894 328 0 0 25 0 1 0 34143482 114180096 25103 1992294400 4194304 8223781 140734328390384 18446744073709551615 6569982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 27876 25103 582 984 0 26889 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 111504
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1431
/proc/meminfo: memFree=1589056/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=110580 CPUtime=282.19
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 618358 0 0 0 27818 401 0 0 25 0 1 0 34143482 113233920 24931 1992294400 4194304 8223781 140734328390384 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 27645 24931 587 984 0 26658 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 110580
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1433
/proc/meminfo: memFree=1585584/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=112884 CPUtime=342.18
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 706123 0 0 0 33738 480 0 0 25 0 1 0 34143482 115593216 25234 1992294400 4194304 8223781 140734328390384 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 28221 25234 588 984 0 27234 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 112884
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1435
/proc/meminfo: memFree=1586948/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=111540 CPUtime=402.15
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 850882 0 0 0 39639 576 0 0 25 0 1 0 34143482 114216960 25059 1992294400 4194304 8223781 140734328390384 18446744073709551615 6611655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 27885 25059 588 984 0 26898 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 111540
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1437
/proc/meminfo: memFree=1584220/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=113728 CPUtime=462.14
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 1025245 0 0 0 45534 680 0 0 25 0 1 0 34143482 116457472 25536 1992294400 4194304 8223781 140734328390384 18446744073709551615 6568470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 28432 25536 588 984 0 27445 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 113728
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1439
/proc/meminfo: memFree=1584096/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=110972 CPUtime=522.12
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 1203446 0 0 0 51420 792 0 0 25 0 1 0 34143482 113635328 25302 1992294400 4194304 8223781 140734328390384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 27743 25302 588 984 0 26756 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 110972
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1439
/proc/meminfo: memFree=1582608/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=117396 CPUtime=582.1
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 1367215 0 0 0 57309 901 0 0 25 0 1 0 34143482 120213504 26128 1992294400 4194304 8223781 140734328390384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 29349 26128 588 984 0 28362 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 117396
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1444
/proc/meminfo: memFree=1582112/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=115728 CPUtime=642.08
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 1536056 0 0 0 63200 1008 0 0 25 0 1 0 34143482 118505472 26135 1992294400 4194304 8223781 140734328390384 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 28932 26135 588 984 0 27945 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 115728
[startup+702.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1452
/proc/meminfo: memFree=1573432/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=125036 CPUtime=941.99
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 2398995 0 0 0 92627 1572 0 0 25 0 1 0 34143482 128036864 28184 1992294400 4194304 8223781 140734328390384 18446744073709551615 6568081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 31259 28184 588 984 0 30272 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 125036
[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1454
/proc/meminfo: memFree=1574052/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=121732 CPUtime=1001.98
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 2583470 0 0 0 98512 1686 0 0 25 0 1 0 34143482 124653568 27957 1992294400 4194304 8223781 140734328390384 18446744073709551615 6598901 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 30433 27957 588 984 0 29446 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 121732
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1456
/proc/meminfo: memFree=1571076/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=126968 CPUtime=1061.96
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 2785546 0 0 0 104398 1798 0 0 25 0 1 0 34143482 130015232 28849 1992294400 4194304 8223781 140734328390384 18446744073709551615 6569998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 31742 28849 588 984 0 30755 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 126968
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1458
/proc/meminfo: memFree=1572068/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=128344 CPUtime=1121.94
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 2994753 0 0 0 110276 1918 0 0 25 0 1 0 34143482 131424256 28984 1992294400 4194304 8223781 140734328390384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 32086 28984 588 984 0 31099 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 128344
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1458
/proc/meminfo: memFree=1569960/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=128108 CPUtime=1181.92
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 3210203 0 0 0 116155 2037 0 0 25 0 1 0 34143482 131182592 28971 1992294400 4194304 8223781 140734328390384 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 32027 28971 588 984 0 31040 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 128108
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1460
/proc/meminfo: memFree=1567108/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=131680 CPUtime=1241.91
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 3501985 0 0 0 122008 2183 0 0 25 0 1 0 34143482 134840320 29737 1992294400 4194304 8223781 140734328390384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 32920 29737 591 984 0 31933 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 131680
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1462
/proc/meminfo: memFree=1567232/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=130256 CPUtime=1301.88
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 3859568 0 0 0 127842 2346 0 0 25 0 1 0 34143482 133382144 29681 1992294400 4194304 8223781 140734328390384 18446744073709551615 6569982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 32564 29681 590 984 0 31577 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 130256
[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1464
/proc/meminfo: memFree=1567604/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=132556 CPUtime=1361.86
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 4195664 0 0 0 133673 2513 0 0 25 0 1 0 34143482 135737344 29728 1992294400 4194304 8223781 140734328390384 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 33139 29728 590 984 0 32152 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 132556
[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1466
/proc/meminfo: memFree=1566488/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=132176 CPUtime=1421.85
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 4374342 0 0 0 139558 2627 0 0 25 0 1 0 34143482 135348224 29811 1992294400 4194304 8223781 140734328390384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 33044 29811 590 984 0 32057 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 132176
[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1466
/proc/meminfo: memFree=1565248/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=133392 CPUtime=1481.83
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 4659534 0 0 0 145410 2773 0 0 25 0 1 0 34143482 136593408 30203 1992294400 4194304 8223781 140734328390384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 33348 30203 590 984 0 32361 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 133392
[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1468
/proc/meminfo: memFree=1566364/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=128808 CPUtime=1541.8
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 4930315 0 0 0 151269 2911 0 0 25 0 1 0 34143482 131899392 29747 1992294400 4194304 8223781 140734328390384 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 32202 29751 590 984 0 31215 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 128808
[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1470
/proc/meminfo: memFree=1565868/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=129644 CPUtime=1601.78
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 5349539 0 0 0 157077 3101 0 0 25 0 1 0 34143482 132755456 29884 1992294400 4194304 8223781 140734328390384 18446744073709551615 5893946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 32411 29884 590 984 0 31424 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 129644
[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1472
/proc/meminfo: memFree=1562520/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=134488 CPUtime=1661.76
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 5600869 0 0 0 162932 3244 0 0 25 0 1 0 34143482 137715712 30390 1992294400 4194304 8223781 140734328390384 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 33622 30390 590 984 0 32635 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 134488
[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1474
/proc/meminfo: memFree=1561900/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=135540 CPUtime=1721.74
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 5815073 0 0 0 168801 3373 0 0 25 0 1 0 34143482 138792960 30739 1992294400 4194304 8223781 140734328390384 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 33885 30739 590 984 0 32898 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 135540
[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1474
/proc/meminfo: memFree=1561900/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=135920 CPUtime=1781.72
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 5990898 0 0 0 174683 3489 0 0 25 0 1 0 34143482 139182080 30559 1992294400 4194304 8223781 140734328390384 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 33980 30559 591 984 0 32993 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 135920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 1476
/proc/meminfo: memFree=1563140/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=131148 CPUtime=1800.01
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 6153395 0 0 0 176442 3559 0 0 25 0 1 0 34143482 134295552 30335 1992294400 4194304 8223781 140734328390384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 32787 30335 590 984 0 31800 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 131148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 1477
/proc/meminfo: memFree=1563132/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=131148 CPUtime=1800.13
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 6153910 0 0 0 176453 3560 0 0 25 0 1 0 34143482 134295552 30383 1992294400 4194304 8223781 140734328390384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1424/statm: 32787 30383 590 984 0 31800 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 131148
[startup+1800.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/108 1477
/proc/meminfo: memFree=1563132/2059040 swapFree=4140228/4192956
[pid=1424] ppid=1422 vsize=46112 CPUtime=1800.31
/proc/1424/stat : 1424 (pbscip.linux.x8) R 1422 1424 1091 0 -1 4202496 6153975 0 0 0 176470 3561 0 0 25 0 1 0 34143482 47218688 10974 1992294400 4194304 8223781 140734328390384 18446744073709551615 4333578 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1424/statm: 11528 10974 590 984 0 10541 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 46112
Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.33
CPU user time (s): 1764.71
CPU system time (s): 35.6156
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 136436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1764.71
system time used= 35.6156
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6153979
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= 1
involuntary context switches= 3404
runsolver used 2.91756 second user time and 8.5717 second system time
The end