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-2703900-1278561234.opb>
0.09/0.13 c original problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 2430 constraints
0.09/0.13 c problem read
0.09/0.13 c presolving settings loaded
0.09/0.17 c presolving:
0.19/0.22 c (round 1) 0 del vars, 1210 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10 upgd conss, 0 impls, 0 clqs
0.59/0.60 c (0.5s) probing: 112/1287 (8.7%) - 0 fixings, 0 aggregations, 489 implications, 0 bound changes
0.59/0.60 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.60 c presolving (2 rounds):
0.59/0.60 c 0 deleted vars, 1210 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.60 c 2530 implications, 0 cliques
0.59/0.60 c presolved problem has 1287 variables (1287 bin, 0 int, 0 impl, 0 cont) and 1220 constraints
0.59/0.60 c 10 constraints of type <knapsack>
0.59/0.60 c 1210 constraints of type <linear>
0.59/0.60 c transformed objective value is always integral (scale: 1)
0.59/0.60 c Presolving Time: 0.44
0.59/0.60 c - non default parameters ----------------------------------------------------------------------
0.59/0.60 c # SCIP version 1.2.1.3
0.59/0.60 c
0.59/0.60 c # frequency for displaying node information lines
0.59/0.60 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.60 c display/freq = 10000
0.59/0.60 c
0.59/0.60 c # maximal time in seconds to run
0.59/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.60 c limits/time = 1789.88
0.59/0.60 c
0.59/0.60 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.60 c limits/memory = 1620
0.59/0.60 c
0.59/0.60 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.60 c # [type: int, range: [1,2], default: 1]
0.59/0.60 c timing/clocktype = 2
0.59/0.60 c
0.59/0.60 c # should presolving try to simplify inequalities
0.59/0.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.60 c constraints/linear/simplifyinequalities = TRUE
0.59/0.60 c
0.59/0.60 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.59/0.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.60 c constraints/indicator/addCouplingCons = TRUE
0.59/0.60 c
0.59/0.60 c # should presolving try to simplify knapsacks
0.59/0.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.60 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.60 c
0.59/0.60 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.60 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.60 c separating/rapidlearning/freq = 0
0.59/0.60 c
0.59/0.60 c -----------------------------------------------------------------------------------------------
0.59/0.60 c start solving
0.59/0.60 c
0.69/0.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.71 c 0.6s| 1 | 0 | 1516 | - |9613k| 0 | 770 |1287 |1220 |1287 |1220 | 0 | 0 | 0 | 1.000000e+01 | -- | Inf
2.29/2.32 c 2.2s| 1 | 0 | 4569 | - | 10M| 0 | 769 |1287 |1220 |1287 |1353 | 133 | 0 | 0 | 1.000000e+01 | -- | Inf
2.59/2.61 c 2.5s| 1 | 0 | 4712 | - | 10M| 0 | 771 |1287 |1220 |1287 |1459 | 239 | 0 | 0 | 1.000000e+01 | -- | Inf
2.99/3.06 c 2.9s| 1 | 0 | 5056 | - | 11M| 0 | 782 |1287 |1220 |1287 |1573 | 353 | 0 | 0 | 1.000276e+01 | -- | Inf
3.49/3.54 c 3.4s| 1 | 0 | 5361 | - | 11M| 0 | 790 |1287 |1220 |1287 |1714 | 494 | 0 | 0 | 1.000296e+01 | -- | Inf
4.09/4.15 c 4.0s| 1 | 0 | 5920 | - | 12M| 0 | 794 |1287 |1220 |1287 |1864 | 644 | 0 | 0 | 1.021583e+01 | -- | Inf
4.99/5.03 c 4.9s| 1 | 0 | 6397 | - | 12M| 0 | 790 |1287 |1220 |1287 |1976 | 756 | 0 | 0 | 1.022785e+01 | -- | Inf
5.89/5.90 c 5.8s| 1 | 0 | 6821 | - | 13M| 0 | 786 |1287 |1220 |1287 |2103 | 883 | 0 | 0 | 1.084000e+01 | -- | Inf
6.60/6.68 c 6.6s| 1 | 0 | 7328 | - | 14M| 0 | 751 |1287 |1220 |1287 |2238 |1018 | 0 | 0 | 1.100000e+01 | -- | Inf
8.09/8.14 c 8.0s| 1 | 0 | 8097 | - | 14M| 0 | 743 |1287 |1220 |1287 |2330 |1110 | 0 | 0 | 1.100000e+01 | -- | Inf
9.59/9.61 c 9.5s| 1 | 0 | 9057 | - | 14M| 0 | 748 |1287 |1220 |1287 |2447 |1227 | 0 | 0 | 1.100000e+01 | -- | Inf
10.49/10.50 c 10.4s| 1 | 0 | 10195 | - | 14M| 0 | 737 |1287 |1220 |1287 |2357 |1264 | 0 | 0 | 1.100000e+01 | -- | Inf
11.09/11.19 c 11.1s| 1 | 0 | 11077 | - | 14M| 0 | 738 |1287 |1220 |1287 |2392 |1299 | 0 | 0 | 1.100000e+01 | -- | Inf
12.10/12.16 c 12.0s| 1 | 0 | 12372 | - | 14M| 0 | 733 |1287 |1220 |1287 |2418 |1325 | 0 | 0 | 1.100000e+01 | -- | Inf
46.68/46.79 c 46.7s| 1 | 2 | 12372 | - | 14M| 0 | 733 |1287 |1220 |1287 |2418 |1325 | 0 | 49 | 1.100000e+01 | -- | Inf
674.91/675.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.91/675.21 c 675s| 10000 | 5190 | 1543k| 153.1 | 25M| 76 | 392 |1287 |2847 |1287 |1437 |1325 |6400 |4165 | 1.500000e+01 | -- | Inf
1158.31/1158.86 c 1159s| 20000 | 8775 | 2827k| 140.8 | 35M| 76 | 668 |1287 |3841 |1287 |1437 |1325 | 16k|8680 | 1.600000e+01 | -- | Inf
1582.54/1583.20 c 1583s| 30000 | 12039 | 4018k| 133.6 | 46M| 76 | - |1287 |3755 |1287 |1437 |1325 | 26k| 12k| 1.666667e+01 | -- | Inf
1789.25/1790.01 c
1789.25/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.25/1790.01 c Solving Time (sec) : 1789.88
1789.25/1790.01 c Solving Nodes : 35414
1789.25/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.25/1790.01 c Dual Bound : +1.70000000000000e+01
1789.25/1790.01 c Gap : infinite
1789.25/1790.01 s UNKNOWN
1789.25/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.25/1790.01 c Solving Time : 1789.88
1789.25/1790.01 c Original Problem :
1789.25/1790.01 c Problem name : HOME/instance-2703900-1278561234.opb
1789.25/1790.01 c Variables : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.25/1790.01 c Constraints : 2430 initial, 2430 maximal
1789.25/1790.01 c Presolved Problem :
1789.25/1790.01 c Problem name : t_HOME/instance-2703900-1278561234.opb
1789.25/1790.01 c Variables : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.25/1790.01 c Constraints : 1220 initial, 4395 maximal
1789.25/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.25/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.25/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.25/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.25/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.25/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.25/1790.01 c probing : 0.36 0 0 0 0 0 0 0 0
1789.25/1790.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1789.25/1790.01 c linear : 0.07 0 0 0 0 0 1210 0 0
1789.25/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.25/1790.01 c root node : - 0 - - 0 - - - -
1789.25/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.25/1790.01 c integral : 0 0 0 27448 0 51 8614 0 0 50442
1789.25/1790.01 c knapsack : 10 13 168388 0 1 311 18585 167 0 0
1789.25/1790.01 c linear : 1210 13 168077 0 0 2985 1100119 4 0 0
1789.25/1790.01 c logicor : 0+ 0 104070 0 0 237 142855 0 0 0
1789.25/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.25/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.25/1790.01 c integral : 406.87 0.00 0.00 406.87 0.00
1789.25/1790.01 c knapsack : 3.62 0.01 3.60 0.00 0.00
1789.25/1790.01 c linear : 160.49 0.00 160.48 0.00 0.00
1789.25/1790.01 c logicor : 7.86 0.00 7.86 0.00 0.00
1789.25/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.25/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.25/1790.01 c vbounds : 0.09 2 0 0
1789.25/1790.01 c rootredcost : 0.12 0 0 0
1789.25/1790.01 c pseudoobj : 0.32 168177 0 0
1789.25/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.25/1790.01 c propagation : 0.58 3533 3530 33457 30.4 118 16.3 -
1789.25/1790.01 c infeasible LP : 7.42 12849 12849 27046 14.7 474 15.7 0
1789.25/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.25/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.25/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.25/1790.01 c applied globally : - - - 33224 17.9 - - -
1789.25/1790.01 c applied locally : - - - 0 0.0 - - -
1789.25/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.25/1790.01 c cut pool : 0.01 12 - - 6849 - (maximal pool size: 6465)
1789.25/1790.01 c redcost : 1.24 27543 0 146 0 0
1789.25/1790.01 c impliedbounds : 0.00 13 0 0 20 0
1789.25/1790.01 c intobj : 0.00 0 0 0 0 0
1789.25/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.25/1790.01 c gomory : 0.79 13 0 0 317 0
1789.25/1790.01 c strongcg : 0.78 13 0 0 388 0
1789.25/1790.01 c cmir : 2.33 10 0 0 4934 0
1789.25/1790.01 c flowcover : 1.49 10 0 0 2000 0
1789.25/1790.01 c clique : 0.00 1 0 0 0 0
1789.25/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.25/1790.01 c mcf : 0.00 1 0 0 0 0
1789.25/1790.01 c rapidlearning : 0.23 1 0 0 0 0
1789.25/1790.01 c Pricers : Time Calls Vars
1789.25/1790.01 c problem variables: 0.00 0 0
1789.25/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.25/1790.01 c relpscost : 406.81 27448 51 8614 0 0 50442
1789.25/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.25/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.25/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.25/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.25/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.25/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.25/1790.01 c random : 0.00 0 0 0 0 0 0
1789.25/1790.01 c Primal Heuristics : Time Calls Found
1789.25/1790.01 c LP solutions : 0.00 - 0
1789.25/1790.01 c pseudo solutions : 0.00 - 0
1789.25/1790.01 c oneopt : 0.05 0 0
1789.25/1790.01 c crossover : 0.04 0 0
1789.25/1790.01 c guideddiving : 0.00 0 0
1789.25/1790.01 c coefdiving : 88.04 21 0
1789.25/1790.01 c fracdiving : 68.67 39 0
1789.25/1790.01 c feaspump : 26.95 44 0
1789.25/1790.01 c pscostdiving : 52.03 110 0
1789.25/1790.01 c rootsoldiving : 10.04 59 0
1789.25/1790.01 c veclendiving : 43.61 135 0
1789.25/1790.01 c linesearchdiving : 49.43 188 0
1789.25/1790.01 c trivial : 0.00 2 0
1789.25/1790.01 c simplerounding : 0.03 0 0
1789.25/1790.01 c zirounding : 0.18 1000 0
1789.25/1790.01 c rounding : 1.67 2277 0
1789.25/1790.01 c shifting : 10.68 686 0
1789.25/1790.01 c intshifting : 0.00 0 0
1789.25/1790.01 c twoopt : 0.00 0 0
1789.25/1790.01 c fixandinfer : 0.00 0 0
1789.25/1790.01 c intdiving : 0.00 0 0
1789.25/1790.01 c actconsdiving : 0.00 0 0
1789.25/1790.01 c objpscostdiving : 19.65 26 0
1789.25/1790.01 c octane : 0.00 0 0
1789.25/1790.01 c rens : 0.01 0 0
1789.25/1790.01 c rins : 0.00 0 0
1789.25/1790.01 c localbranching : 0.00 0 0
1789.25/1790.01 c mutation : 0.00 0 0
1789.25/1790.01 c dins : 0.00 0 0
1789.25/1790.01 c undercover : 0.00 0 0
1789.25/1790.01 c nlp : 0.02 0 0
1789.25/1790.01 c trysol : 0.02 0 0
1789.25/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.25/1790.01 c primal LP : 0.01 0 0 0.00 0.00
1789.25/1790.01 c dual LP : 784.78 35406 3463905 97.83 4413.85
1789.25/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.25/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.25/1790.01 c diving/probing LP: 315.45 17841 1207897 67.70 3829.12
1789.25/1790.01 c strong branching : 399.38 13356 1318928 98.75 3302.43
1789.25/1790.01 c (at root node) : - 49 49000 1000.00 -
1789.25/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.25/1790.01 c B&B Tree :
1789.25/1790.01 c number of runs : 1
1789.25/1790.01 c nodes : 35414
1789.25/1790.01 c nodes (total) : 35414
1789.25/1790.01 c nodes left : 13472
1789.25/1790.01 c max depth : 76
1789.25/1790.01 c max depth (total): 76
1789.25/1790.01 c backtracks : 5765 (16.3%)
1789.25/1790.01 c delayed cutoffs : 1559
1789.25/1790.01 c repropagations : 37328 (325436 domain reductions, 688 cutoffs)
1789.25/1790.01 c avg switch length: 8.21
1789.25/1790.01 c switching time : 32.57
1789.25/1790.01 c Solution :
1789.25/1790.01 c Solutions found : 0 (0 improvements)
1789.25/1790.01 c Primal Bound : -
1789.25/1790.01 c Dual Bound : +1.70000000000000e+01
1789.25/1790.01 c Gap : infinite
1789.25/1790.01 c Root Dual Bound : +1.10000000000000e+01
1789.25/1790.01 c Root Iterations : 12372
1789.35/1790.14 c Time complete: 1789.4.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703900-1278561234/watcher-2703900-1278561234 -o /tmp/evaluation-result-2703900-1278561234/solver-2703900-1278561234 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703900-1278561234.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.85 0.97 0.99 3/106 31561
/proc/meminfo: memFree=1496100/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=7904 CPUtime=0
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 1225 0 0 0 0 0 0 0 20 0 1 0 24336566 8093696 1137 1992294400 4194304 8395647 140737318928368 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31561/statm: 1976 1145 365 1026 0 946 0
[startup+0.082988 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 31561
/proc/meminfo: memFree=1496100/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=12672 CPUtime=0.07
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 2452 0 0 0 7 0 0 0 20 0 1 0 24336566 12976128 2364 1992294400 4194304 8395647 140737318928368 18446744073709551615 7370124 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31561/statm: 3168 2364 393 1026 0 2138 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12672
[startup+0.100992 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 31561
/proc/meminfo: memFree=1496100/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=13080 CPUtime=0.09
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 2550 0 0 0 9 0 0 0 20 0 1 0 24336566 13393920 2462 1992294400 4194304 8395647 140737318928368 18446744073709551615 7301336 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31561/statm: 3270 2462 393 1026 0 2240 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13080
[startup+0.301035 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 31561
/proc/meminfo: memFree=1496100/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=34044 CPUtime=0.29
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 7824 0 0 0 27 2 0 0 20 0 1 0 24336566 34861056 7382 1992294400 4194304 8395647 140737318928368 18446744073709551615 5026513 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 8511 7382 490 1026 0 7481 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34044
[startup+0.701121 s]
/proc/loadavg: 0.85 0.97 0.99 3/106 31561
/proc/meminfo: memFree=1496100/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=40448 CPUtime=0.69
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 9336 0 0 0 66 3 0 0 21 0 1 0 24336566 41418752 8853 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 10112 8853 570 1026 0 9082 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40448
[startup+1.50129 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 31562
/proc/meminfo: memFree=1462488/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=40448 CPUtime=1.49
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 9430 0 0 0 146 3 0 0 22 0 1 0 24336566 41418752 8947 1992294400 4194304 8395647 140737318928368 18446744073709551615 6708589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 10112 8947 576 1026 0 9082 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40448
[startup+3.10163 s]
/proc/loadavg: 0.85 0.97 0.99 2/107 31562
/proc/meminfo: memFree=1451824/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=58116 CPUtime=3.09
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 14679 0 0 0 301 8 0 0 25 0 1 0 24336566 59510784 13555 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 14529 13555 617 1026 0 13499 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58116
[startup+6.30131 s]
/proc/loadavg: 0.86 0.97 0.99 2/107 31562
/proc/meminfo: memFree=1443268/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=63108 CPUtime=6.29
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 15902 0 0 0 620 9 0 0 25 0 1 0 24336566 64622592 14778 1992294400 4194304 8395647 140737318928368 18446744073709551615 5839342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 15777 14778 617 1026 0 14747 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63108
[startup+12.7007 s]
/proc/loadavg: 0.87 0.97 0.99 2/107 31562
/proc/meminfo: memFree=1437688/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=64580 CPUtime=12.68
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 17269 0 0 0 1255 13 0 0 25 0 1 0 24336566 66129920 15161 1992294400 4194304 8395647 140737318928368 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 16145 15161 619 1026 0 15115 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 64580
[startup+25.5004 s]
/proc/loadavg: 0.90 0.97 0.99 2/107 31564
/proc/meminfo: memFree=1437688/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=64540 CPUtime=25.48
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 18917 0 0 0 2528 20 0 0 25 0 1 0 24336566 66088960 15038 1992294400 4194304 8395647 140737318928368 18446744073709551615 6698047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 16135 15038 619 1026 0 15105 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64540
[startup+51.1009 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 31564
/proc/meminfo: memFree=1437812/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=63108 CPUtime=51.07
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 23735 0 0 0 5067 40 0 0 25 0 1 0 24336566 64622592 14827 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 15777 14827 620 1026 0 14747 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 63108
[startup+102.308 s]
/proc/loadavg: 0.97 0.97 0.99 2/107 31566
/proc/meminfo: memFree=1437812/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=63108 CPUtime=102.25
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 23742 0 0 0 10136 89 0 0 25 0 1 0 24336566 64622592 14834 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 15777 14834 627 1026 0 14747 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 63108
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 31566
/proc/meminfo: memFree=1437812/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=63108 CPUtime=162.23
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 23744 0 0 0 16070 153 0 0 25 0 1 0 24336566 64622592 14836 1992294400 4194304 8395647 140737318928368 18446744073709551615 6721246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 15777 14836 627 1026 0 14747 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 63108
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 31568
/proc/meminfo: memFree=1437688/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=63832 CPUtime=222.21
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 23906 0 0 0 22002 219 0 0 25 0 1 0 24336566 65363968 14998 1992294400 4194304 8395647 140737318928368 18446744073709551615 6697359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 15958 14998 627 1026 0 14928 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 63832
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 31570
/proc/meminfo: memFree=1437068/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=65120 CPUtime=282.18
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 24178 0 0 0 27929 289 0 0 25 0 1 0 24336566 66682880 15270 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 16280 15270 627 1026 0 15250 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 65120
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 31572
/proc/meminfo: memFree=1435580/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=66084 CPUtime=342.15
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 24445 0 0 0 33859 356 0 0 25 0 1 0 24336566 67670016 15537 1992294400 4194304 8395647 140737318928368 18446744073709551615 6698059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 16521 15537 627 1026 0 15491 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 66084
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 31574
/proc/meminfo: memFree=1434092/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=68288 CPUtime=402.13
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 24965 0 0 0 39782 431 0 0 25 0 1 0 24336566 69926912 16057 1992294400 4194304 8395647 140737318928368 18446744073709551615 6697363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 17072 16057 627 1026 0 16042 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 68288
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 31583
/proc/meminfo: memFree=1432728/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=68288 CPUtime=462.09
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 24992 0 0 0 45711 498 0 0 25 0 1 0 24336566 69926912 16084 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 17072 16084 627 1026 0 16042 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 68288
[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 31585
/proc/meminfo: memFree=1432728/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=68288 CPUtime=522.07
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 25012 0 0 0 51636 571 0 0 25 0 1 0 24336566 69926912 16104 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 17072 16104 627 1026 0 16042 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 68288
[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 31587
/proc/meminfo: memFree=1431984/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=69596 CPUtime=582.04
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 26002 0 0 0 57561 643 0 0 25 0 1 0 24336566 71266304 16417 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 17399 16417 627 1026 0 16369 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 69596
[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 31589
/proc/meminfo: memFree=1429876/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=71600 CPUtime=642.03
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 26526 0 0 0 63492 711 0 0 25 0 1 0 24336566 73318400 16941 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 17900 16941 627 1026 0 16870 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 71600
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1419212/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=82220 CPUtime=1001.87
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 36604 0 0 0 99061 1126 0 0 25 0 1 0 24336566 84193280 19541 1992294400 4194304 8395647 140737318928368 18446744073709551615 6652352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 20555 19541 627 1026 0 19525 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 82220
[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 31599
/proc/meminfo: memFree=1416112/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=85016 CPUtime=1061.85
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 37364 0 0 0 104986 1199 0 0 25 0 1 0 24336566 87056384 20301 1992294400 4194304 8395647 140737318928368 18446744073709551615 6697262 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 21254 20301 627 1026 0 20224 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 85016
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 31601
/proc/meminfo: memFree=1414004/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=87080 CPUtime=1121.83
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 37895 0 0 0 110915 1268 0 0 25 0 1 0 24336566 89169920 20832 1992294400 4194304 8395647 140737318928368 18446744073709551615 6697355 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 21770 20832 627 1026 0 20740 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 87080
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 31603
/proc/meminfo: memFree=1411524/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=89596 CPUtime=1181.8
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 38509 0 0 0 116841 1339 0 0 25 0 1 0 24336566 91746304 21446 1992294400 4194304 8395647 140737318928368 18446744073709551615 5028126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 22399 21446 627 1026 0 21369 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 89596
[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 31605
/proc/meminfo: memFree=1408424/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=90324 CPUtime=1241.78
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 39348 0 0 0 122764 1414 0 0 25 0 1 0 24336566 92491776 21588 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 22581 21588 627 1026 0 21551 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 90324
[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 31607
/proc/meminfo: memFree=1407184/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=93768 CPUtime=1301.76
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 41826 0 0 0 128687 1489 0 0 25 0 1 0 24336566 96018432 22507 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 23442 22507 627 1026 0 22412 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 93768
[startup+1362.3 s]
/proc/loadavg: 1.03 0.99 0.99 2/107 31607
/proc/meminfo: memFree=1404828/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=96044 CPUtime=1361.72
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 46062 0 0 0 134613 1559 0 0 25 0 1 0 24336566 98349056 23071 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 24011 23071 627 1026 0 22981 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 96044
[startup+1422.31 s]
/proc/loadavg: 1.05 1.00 1.00 2/107 31609
/proc/meminfo: memFree=1402224/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=98524 CPUtime=1421.71
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 48189 0 0 0 140539 1632 0 0 25 0 1 0 24336566 100888576 23726 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 24631 23726 627 1026 0 23601 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 98524
[startup+1482.3 s]
/proc/loadavg: 1.13 1.03 1.01 2/107 31611
/proc/meminfo: memFree=1399000/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=102008 CPUtime=1481.68
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 49039 0 0 0 146468 1700 0 0 25 0 1 0 24336566 104456192 24533 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 25502 24533 627 1026 0 24472 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 102008
[startup+1542.3 s]
/proc/loadavg: 1.16 1.05 1.01 2/107 31616
/proc/meminfo: memFree=1398380/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=102288 CPUtime=1541.66
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 52268 0 0 0 152391 1775 0 0 25 0 1 0 24336566 104742912 24635 1992294400 4194304 8395647 140737318928368 18446744073709551615 6721172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 25572 24635 627 1026 0 24542 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 102288
[startup+1602.3 s]
/proc/loadavg: 1.12 1.06 1.01 2/107 31618
/proc/meminfo: memFree=1395652/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=105292 CPUtime=1601.63
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 52980 0 0 0 158315 1848 0 0 25 0 1 0 24336566 107819008 25347 1992294400 4194304 8395647 140737318928368 18446744073709551615 4228079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 26323 25347 627 1026 0 25293 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 105292
[startup+1662.3 s]
/proc/loadavg: 1.11 1.06 1.01 2/107 31618
/proc/meminfo: memFree=1394040/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=106812 CPUtime=1661.61
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 55628 0 0 0 164244 1917 0 0 25 0 1 0 24336566 109375488 25738 1992294400 4194304 8395647 140737318928368 18446744073709551615 6721235 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 26703 25738 627 1026 0 25673 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 106812
[startup+1722.3 s]
/proc/loadavg: 1.09 1.06 1.01 2/107 31620
/proc/meminfo: memFree=1391932/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=108764 CPUtime=1721.59
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 58989 0 0 0 170170 1989 0 0 25 0 1 0 24336566 111374336 26264 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 27191 26264 627 1026 0 26161 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 108764
[startup+1782.3 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 31622
/proc/meminfo: memFree=1389328/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=111460 CPUtime=1781.55
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 59631 0 0 0 176098 2057 0 0 25 0 1 0 24336566 114135040 26906 1992294400 4194304 8395647 140737318928368 18446744073709551615 6708181 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 27865 26906 627 1026 0 26835 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 111460
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 31622
/proc/meminfo: memFree=1389328/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=111460 CPUtime=1784.75
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 59631 0 0 0 176415 2060 0 0 25 0 1 0 24336566 114135040 26906 1992294400 4194304 8395647 140737318928368 18446744073709551615 6698038 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 27865 26906 627 1026 0 26835 0
Current children cumulated CPU time (s) 1784.75
Current children cumulated vsize (KiB) 111460
[startup+1788.7 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 31622
/proc/meminfo: memFree=1389080/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=111460 CPUtime=1787.96
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 59688 0 0 0 176732 2064 0 0 25 0 1 0 24336566 114135040 26963 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 27865 26963 627 1026 0 26835 0
Current children cumulated CPU time (s) 1787.96
Current children cumulated vsize (KiB) 111460
[startup+1789.5 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 31622
/proc/meminfo: memFree=1389080/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=111460 CPUtime=1788.75
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 59688 0 0 0 176810 2065 0 0 25 0 1 0 24336566 114135040 26963 1992294400 4194304 8395647 140737318928368 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 27865 26963 627 1026 0 26835 0
Current children cumulated CPU time (s) 1788.75
Current children cumulated vsize (KiB) 111460
[startup+1789.9 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 31622
/proc/meminfo: memFree=1389080/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=111460 CPUtime=1789.16
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 59688 0 0 0 176850 2066 0 0 25 0 1 0 24336566 114135040 26963 1992294400 4194304 8395647 140737318928368 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31561/statm: 27865 26963 627 1026 0 26835 0
Current children cumulated CPU time (s) 1789.16
Current children cumulated vsize (KiB) 111460
[startup+1790.1 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 31622
/proc/meminfo: memFree=1389080/2059040 swapFree=4192956/4192956
[pid=31561] ppid=31559 vsize=111460 CPUtime=1789.35
/proc/31561/stat : 31561 (pbscip.linux.x8) R 31559 31561 31536 0 -1 4202496 59691 0 0 0 176869 2066 0 0 25 0 1 0 24336566 114135040 26966 1992294400 4194304 8395647 140737318928368 18446744073709551615 4288154 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31561/statm: 27865 26966 630 1026 0 26835 0
Current children cumulated CPU time (s) 1789.35
Current children cumulated vsize (KiB) 111460
Child status: 0
Real time (s): 1790.14
CPU time (s): 1789.41
CPU user time (s): 1768.73
CPU system time (s): 20.6779
CPU usage (%): 99.9589
Max. virtual memory (cumulated for all children) (KiB): 111460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.73
system time used= 20.6779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59694
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= 2
involuntary context switches= 2628
runsolver used 3.17852 second user time and 8.23075 second system time
The end