0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664123-1276621093.opb>
0.19/0.20 c original problem has 1807 variables (1807 bin, 0 int, 0 impl, 0 cont) and 3444 constraints
0.19/0.20 c problem read
0.19/0.20 c presolving settings loaded
0.19/0.20 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.19/0.26 c presolving:
0.28/0.32 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 66 chg sides, 339 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.28/0.36 c (round 2) 1 del vars, 1478 del conss, 1 chg bounds, 66 chg sides, 339 chg coeffs, 250 upgd conss, 0 impls, 0 clqs
0.39/0.41 c (round 3) 1 del vars, 1478 del conss, 1 chg bounds, 118 chg sides, 749 chg coeffs, 489 upgd conss, 418 impls, 3 clqs
0.39/0.43 c (round 4) 1 del vars, 1478 del conss, 1 chg bounds, 126 chg sides, 821 chg coeffs, 489 upgd conss, 418 impls, 3 clqs
1.69/1.77 c (1.5s) probing: 204/1806 (11.3%) - 0 fixings, 0 aggregations, 443 implications, 0 bound changes
1.69/1.77 c (1.5s) probing aborted: 100/100 successive totally useless probings
1.69/1.77 c presolving (5 rounds):
1.69/1.77 c 1 deleted vars, 1478 deleted constraints, 1 tightened bounds, 0 added holes, 126 changed sides, 821 changed coefficients
1.69/1.77 c 1304 implications, 3 cliques
1.69/1.77 c presolved problem has 1806 variables (1806 bin, 0 int, 0 impl, 0 cont) and 1966 constraints
1.69/1.77 c 489 constraints of type <knapsack>
1.69/1.77 c 1477 constraints of type <linear>
1.69/1.77 c transformed objective value is always integral (scale: 1)
1.69/1.77 c Presolving Time: 1.48
1.69/1.77 c - non default parameters ----------------------------------------------------------------------
1.69/1.77 c # SCIP version 1.2.1.2
1.69/1.77 c
1.69/1.77 c # frequency for displaying node information lines
1.69/1.77 c # [type: int, range: [-1,2147483647], default: 100]
1.69/1.77 c display/freq = 10000
1.69/1.77 c
1.69/1.77 c # maximal time in seconds to run
1.69/1.77 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.77 c limits/time = 1799.8
1.69/1.77 c
1.69/1.77 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.69/1.77 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.69/1.77 c limits/memory = 1620
1.69/1.77 c
1.69/1.77 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.69/1.77 c # [type: int, range: [-1,2147483647], default: 1]
1.69/1.77 c lp/solvefreq = -1
1.69/1.77 c
1.69/1.77 c # should presolving try to simplify inequalities
1.69/1.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.77 c constraints/linear/simplifyinequalities = TRUE
1.69/1.77 c
1.69/1.77 c # should presolving try to simplify knapsacks
1.69/1.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.69/1.77 c constraints/knapsack/simplifyinequalities = TRUE
1.69/1.77 c
1.69/1.77 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.69/1.77 c # [type: int, range: [-1,2147483647], default: -1]
1.69/1.77 c separating/rapidlearning/freq = 0
1.69/1.77 c
1.69/1.77 c -----------------------------------------------------------------------------------------------
1.69/1.77 c start solving
1.69/1.78 c
1.69/1.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.78 c 1.5s| 1 | 2 | 0 | - | 11M| 0 | - |1806 |1966 | 0 | 0 | 0 | 0 | 0 | 6.600000e+01 | -- | Inf
73.85/73.95 c 73.3s| 10000 | 5438 | 0 | 0.0 | 29M|1637 | - |1806 |3275 | 0 | 0 | 0 |4088 | 0 | 6.600000e+01 | -- | Inf
160.22/160.38 c 159s| 20000 | 11581 | 0 | 0.0 | 52M|1637 | - |1806 |2932 | 0 | 0 | 0 |9881 | 0 | 6.600000e+01 | -- | Inf
226.19/226.36 c 225s| 30000 | 18087 | 0 | 0.0 | 79M|1637 | - |1806 |3930 | 0 | 0 | 0 | 14k| 0 | 6.600000e+01 | -- | Inf
299.77/299.96 c 298s| 40000 | 23614 | 0 | 0.0 | 104M|1637 | - |1806 |4732 | 0 | 0 | 0 | 19k| 0 | 6.600000e+01 | -- | Inf
389.34/389.58 c 387s| 50000 | 28593 | 0 | 0.0 | 124M|1637 | - |1806 |5548 | 0 | 0 | 0 | 28k| 0 | 6.600000e+01 | -- | Inf
476.91/477.18 c 475s| 60000 | 34576 | 0 | 0.0 | 150M|1637 | - |1806 |3323 | 0 | 0 | 0 | 35k| 0 | 6.600000e+01 | -- | Inf
534.20/534.44 c 531s| 70000 | 41870 | 0 | 0.0 | 179M|1637 | - |1806 |3684 | 0 | 0 | 0 | 39k| 0 | 6.600000e+01 | -- | Inf
595.88/596.19 c 593s| 80000 | 48548 | 0 | 0.0 | 208M|1637 | - |1806 |3969 | 0 | 0 | 0 | 43k| 0 | 6.600000e+01 | -- | Inf
660.16/660.47 c 657s| 90000 | 54863 | 0 | 0.0 | 237M|1637 | - |1806 |4491 | 0 | 0 | 0 | 48k| 0 | 6.600000e+01 | -- | Inf
722.64/722.91 c 719s|100000 | 61034 | 0 | 0.0 | 263M|1637 | - |1806 |5128 | 0 | 0 | 0 | 53k| 0 | 6.600000e+01 | -- | Inf
788.21/788.56 c 784s|110000 | 66777 | 0 | 0.0 | 289M|1637 | - |1806 |5873 | 0 | 0 | 0 | 58k| 0 | 6.600000e+01 | -- | Inf
855.90/856.24 c 851s|120000 | 72005 | 0 | 0.0 | 312M|1637 | - |1806 |6689 | 0 | 0 | 0 | 64k| 0 | 6.600000e+01 | -- | Inf
925.97/926.35 c 921s|130000 | 76830 | 0 | 0.0 | 333M|1637 | - |1806 |6862 | 0 | 0 | 0 | 71k| 0 | 6.600000e+01 | -- | Inf
1000.95/1001.31 c 996s|140000 | 81004 | 0 | 0.0 | 353M|1637 | - |1806 |7033 | 0 | 0 | 0 | 78k| 0 | 6.600000e+01 | -- | Inf
1081.42/1081.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1081.42/1081.85 c 1076s|150000 | 84725 | 0 | 0.0 | 372M|1637 | - |1806 |6584 | 0 | 0 | 0 | 86k| 0 | 6.600000e+01 | -- | Inf
1161.20/1161.69 c 1155s|160000 | 90262 | 0 | 0.0 | 400M|1637 | - |1806 |6709 | 0 | 0 | 0 | 92k| 0 | 6.600000e+01 | -- | Inf
1232.87/1233.32 c 1227s|170000 | 96545 | 0 | 0.0 | 437M|1637 | - |1806 |6781 | 0 | 0 | 0 | 97k| 0 | 6.600000e+01 | -- | Inf
1310.05/1310.57 c 1303s|180000 |102266 | 0 | 0.0 | 470M|1637 | - |1806 |7769 | 0 | 0 | 0 | 105k| 0 | 6.600000e+01 | -- | Inf
1398.62/1399.20 c 1392s|190000 |106736 | 0 | 0.0 | 494M|1637 | - |1806 |8706 | 0 | 0 | 0 | 115k| 0 | 6.600000e+01 | -- | Inf
1505.69/1506.27 c 1498s|200000 |110944 | 0 | 0.0 | 515M|1637 | - |1806 |8617 | 0 | 0 | 0 | 126k| 0 | 6.600000e+01 | -- | Inf
1607.05/1607.68 c 1599s|210000 |115335 | 0 | 0.0 | 539M|1637 | - |1806 |7916 | 0 | 0 | 0 | 136k| 0 | 6.600000e+01 | -- | Inf
1665.03/1665.61 c 1657s|220000 |122885 | 0 | 0.0 | 566M|1637 | - |1806 |4503 | 0 | 0 | 0 | 139k| 0 | 6.600000e+01 | -- | Inf
1724.02/1724.65 c 1716s|230000 |129806 | 0 | 0.0 | 592M|1637 | - |1806 |4697 | 0 | 0 | 0 | 143k| 0 | 6.600000e+01 | -- | Inf
1781.20/1781.80 c 1772s|240000 |136679 | 0 | 0.0 | 619M|1637 | - |1806 |4799 | 0 | 0 | 0 | 147k| 0 | 6.600000e+01 | -- | Inf
1800.00/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.61 c
1800.00/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.61 c Solving Time (sec) : 1791.15
1800.00/1800.61 c Solving Nodes : 243354
1800.00/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.61 c Dual Bound : +6.60000000000000e+01
1800.00/1800.61 c Gap : infinite
1800.00/1800.61 s UNKNOWN
1800.00/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.61 c Solving Time : 1791.15
1800.00/1800.61 c Original Problem :
1800.00/1800.61 c Problem name : HOME/instance-2664123-1276621093.opb
1800.00/1800.61 c Variables : 1807 (1807 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.61 c Constraints : 3444 initial, 3444 maximal
1800.00/1800.61 c Presolved Problem :
1800.00/1800.61 c Problem name : t_HOME/instance-2664123-1276621093.opb
1800.00/1800.61 c Variables : 1806 (1806 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.61 c Constraints : 1966 initial, 9468 maximal
1800.00/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c probing : 1.31 0 0 0 0 0 0 0 0
1800.00/1800.61 c knapsack : 0.04 0 0 0 0 0 0 60 482
1800.00/1800.61 c linear : 0.13 1 0 0 1 0 1478 66 339
1800.00/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.61 c root node : - 0 - - 0 - - - -
1800.00/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.61 c knapsack : 489 0 696487 0 204997 14291 2474451 0 0 0
1800.00/1800.61 c linear : 1477 0 682196 0 204997 44024 12445741 0 0 0
1800.00/1800.61 c logicor : 0+ 0 306346 0 0 2162 139326 0 0 0
1800.00/1800.61 c countsols : 0 0 0 0 204997 0 0 0 0 0
1800.00/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.61 c knapsack : 227.14 0.00 222.71 0.00 4.43
1800.00/1800.61 c linear : 1084.36 0.00 1083.83 0.00 0.53
1800.00/1800.61 c logicor : 61.31 0.00 61.31 0.00 0.00
1800.00/1800.61 c countsols : 0.16 0.00 0.00 0.00 0.16
1800.00/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.61 c vbounds : 0.60 2 0 0
1800.00/1800.61 c rootredcost : 0.46 0 0 0
1800.00/1800.61 c pseudoobj : 1.15 696070 0 0
1800.00/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.61 c propagation : 7.29 60477 60218 489668 33.6 2491 28.1 -
1800.00/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.61 c applied globally : - - - 149387 29.1 - - -
1800.00/1800.61 c applied locally : - - - 0 0.0 - - -
1800.00/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.61 c redcost : 0.00 0 0 0 0 0
1800.00/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.61 c intobj : 0.00 0 0 0 0 0
1800.00/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.61 c gomory : 0.00 0 0 0 0 0
1800.00/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.61 c cmir : 0.00 0 0 0 0 0
1800.00/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.61 c clique : 0.00 0 0 0 0 0
1800.00/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.61 c mcf : 0.00 0 0 0 0 0
1800.00/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.61 c Pricers : Time Calls Vars
1800.00/1800.61 c problem variables: 0.00 0 0
1800.00/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.61 c inference : 90.16 204997 0 0 0 0 409994
1800.00/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.61 c random : 0.00 0 0 0 0 0 0
1800.00/1800.61 c Primal Heuristics : Time Calls Found
1800.00/1800.61 c LP solutions : 0.00 - 0
1800.00/1800.61 c pseudo solutions : 0.00 - 0
1800.00/1800.61 c oneopt : 0.23 0 0
1800.00/1800.61 c trivial : 0.00 2 0
1800.00/1800.61 c simplerounding : 0.00 0 0
1800.00/1800.61 c zirounding : 0.00 0 0
1800.00/1800.61 c rounding : 0.00 0 0
1800.00/1800.61 c shifting : 0.00 0 0
1800.00/1800.61 c intshifting : 0.00 0 0
1800.00/1800.61 c twoopt : 0.00 0 0
1800.00/1800.61 c fixandinfer : 0.00 0 0
1800.00/1800.61 c feaspump : 0.00 0 0
1800.00/1800.61 c coefdiving : 0.00 0 0
1800.00/1800.61 c pscostdiving : 0.00 0 0
1800.00/1800.61 c fracdiving : 0.00 0 0
1800.00/1800.61 c veclendiving : 0.00 0 0
1800.00/1800.61 c intdiving : 0.00 0 0
1800.00/1800.61 c actconsdiving : 0.00 0 0
1800.00/1800.61 c objpscostdiving : 0.00 0 0
1800.00/1800.61 c rootsoldiving : 0.00 0 0
1800.00/1800.61 c linesearchdiving : 0.00 0 0
1800.00/1800.61 c guideddiving : 0.00 0 0
1800.00/1800.61 c octane : 0.00 0 0
1800.00/1800.61 c rens : 0.00 0 0
1800.00/1800.61 c rins : 0.00 0 0
1800.00/1800.61 c localbranching : 0.00 0 0
1800.00/1800.61 c mutation : 0.00 0 0
1800.00/1800.61 c crossover : 0.00 0 0
1800.00/1800.61 c dins : 0.00 0 0
1800.00/1800.61 c undercover : 0.00 0 0
1800.00/1800.61 c nlp : 0.33 0 0
1800.00/1800.61 c trysol : 0.18 0 0
1800.00/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.61 c (at root node) : - 0 0 0.00 -
1800.00/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.61 c B&B Tree :
1800.00/1800.61 c number of runs : 1
1800.00/1800.61 c nodes : 243354
1800.00/1800.61 c nodes (total) : 243354
1800.00/1800.61 c nodes left : 138961
1800.00/1800.61 c max depth : 1637
1800.00/1800.61 c max depth (total): 1637
1800.00/1800.61 c backtracks : 24670 (10.1%)
1800.00/1800.61 c delayed cutoffs : 27680
1800.00/1800.61 c repropagations : 66358 (1730173 domain reductions, 22120 cutoffs)
1800.00/1800.61 c avg switch length: 5.76
1800.00/1800.61 c switching time : 301.22
1800.00/1800.61 c Solution :
1800.00/1800.61 c Solutions found : 0 (0 improvements)
1800.00/1800.61 c Primal Bound : -
1800.00/1800.61 c Dual Bound : +6.60000000000000e+01
1800.00/1800.61 c Gap : infinite
1800.00/1800.61 c Root Dual Bound : +6.60000000000000e+01
1800.00/1800.61 c Root Iterations : 0
1801.10/1801.72 c Time complete: 1801.12.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664123-1276621093/watcher-2664123-1276621093 -o /tmp/evaluation-result-2664123-1276621093/solver-2664123-1276621093 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664123-1276621093.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.92 0.98 0.99 2/105 13332
/proc/meminfo: memFree=1789924/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=3652 CPUtime=0
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 466 0 0 0 0 0 0 0 23 0 1 0 3400717 3739648 388 1992294400 4194304 7136930 140735960374336 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13332/statm: 913 389 224 719 0 192 0
[startup+0.0461551 s]
/proc/loadavg: 0.92 0.98 0.99 2/105 13332
/proc/meminfo: memFree=1789924/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=8748 CPUtime=0.03
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 1677 0 0 0 3 0 0 0 24 0 1 0 3400717 8957952 1599 1992294400 4194304 7136930 140735960374336 18446744073709551615 4361606 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13332/statm: 2187 1599 271 719 0 1466 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8748
[startup+0.101162 s]
/proc/loadavg: 0.92 0.98 0.99 2/105 13332
/proc/meminfo: memFree=1789924/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=10196 CPUtime=0.09
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 2046 0 0 0 9 0 0 0 24 0 1 0 3400717 10440704 1968 1992294400 4194304 7136930 140735960374336 18446744073709551615 4361606 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13332/statm: 2549 1968 271 719 0 1828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10196
[startup+0.301188 s]
/proc/loadavg: 0.92 0.98 0.99 2/105 13332
/proc/meminfo: memFree=1789924/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=40540 CPUtime=0.28
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 9528 0 0 0 25 3 0 0 24 0 1 0 3400717 41512960 9096 1992294400 4194304 7136930 140735960374336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 10135 9096 334 719 0 9414 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 40540
[startup+0.701237 s]
/proc/loadavg: 0.92 0.98 0.99 2/105 13332
/proc/meminfo: memFree=1789924/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=43060 CPUtime=0.69
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 12524 0 0 0 63 6 0 0 25 0 1 0 3400717 44093440 9779 1992294400 4194304 7136930 140735960374336 18446744073709551615 4980289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 10765 9779 368 719 0 10044 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43060
[startup+1.50134 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 13333
/proc/meminfo: memFree=1751600/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=43060 CPUtime=1.49
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 12524 0 0 0 143 6 0 0 25 0 1 0 3400717 44093440 9779 1992294400 4194304 7136930 140735960374336 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 10765 9779 368 719 0 10044 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43060
[startup+3.10153 s]
/proc/loadavg: 0.92 0.98 0.99 2/106 13333
/proc/meminfo: memFree=1750732/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=45524 CPUtime=3.09
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 13150 0 0 0 300 9 0 0 25 0 1 0 3400717 46616576 10405 1992294400 4194304 7136930 140735960374336 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 11381 10405 395 719 0 10660 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45524
[startup+6.30094 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 13333
/proc/meminfo: memFree=1747012/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=47908 CPUtime=6.29
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 13753 0 0 0 618 11 0 0 25 0 1 0 3400717 49057792 11008 1992294400 4194304 7136930 140735960374336 18446744073709551615 4740313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 11977 11008 395 719 0 11256 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47908
[startup+12.7007 s]
/proc/loadavg: 0.93 0.98 0.99 2/106 13333
/proc/meminfo: memFree=1745896/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=48988 CPUtime=12.69
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 13989 0 0 0 1256 13 0 0 25 0 1 0 3400717 50163712 11244 1992294400 4194304 7136930 140735960374336 18446744073709551615 4925969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 12247 11244 395 719 0 11526 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48988
[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/106 13333
/proc/meminfo: memFree=1742796/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=52124 CPUtime=25.48
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 14745 0 0 0 2532 16 0 0 25 0 1 0 3400717 53374976 12000 1992294400 4194304 7136930 140735960374336 18446744073709551615 4947748 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 13031 12000 395 719 0 12310 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52124
[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/106 13335
/proc/meminfo: memFree=1736100/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=59556 CPUtime=51.06
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 16481 0 0 0 5077 29 0 0 25 0 1 0 3400717 60985344 13736 1992294400 4194304 7136930 140735960374336 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 14889 13736 395 719 0 14168 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 59556
[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/106 13335
/proc/meminfo: memFree=1719112/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=77884 CPUtime=102.25
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 20630 0 0 0 10177 48 0 0 25 0 1 0 3400717 79753216 17885 1992294400 4194304 7136930 140735960374336 18446744073709551615 4983367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 19471 17885 395 719 0 18750 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 77884
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13337
/proc/meminfo: memFree=1698404/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=101368 CPUtime=162.23
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 26003 0 0 0 16148 75 0 0 25 0 1 0 3400717 103800832 23258 1992294400 4194304 7136930 140735960374336 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 25342 23258 395 719 0 24621 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 101368
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13348
/proc/meminfo: memFree=1668148/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=133364 CPUtime=222.19
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 33299 0 0 0 22111 108 0 0 25 0 1 0 3400717 136564736 30554 1992294400 4194304 7136930 140735960374336 18446744073709551615 4979656 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 33341 30554 395 719 0 32620 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 133364
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 13350
/proc/meminfo: memFree=1644836/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=160252 CPUtime=282.17
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 39207 0 0 0 28079 138 0 0 25 0 1 0 3400717 164098048 36462 1992294400 4194304 7136930 140735960374336 18446744073709551615 4660047 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 40063 36462 395 719 0 39342 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 160252
[startup+342.301 s]
/proc/loadavg: 1.06 1.00 1.00 2/106 13352
/proc/meminfo: memFree=1622392/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=184708 CPUtime=342.15
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 44696 0 0 0 34049 166 0 0 25 0 1 0 3400717 189140992 41951 1992294400 4194304 7136930 140735960374336 18446744073709551615 4984258 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 46177 41951 395 719 0 45456 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 184708
[startup+402.301 s]
/proc/loadavg: 1.25 1.06 1.02 2/106 13352
/proc/meminfo: memFree=1603916/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=205032 CPUtime=402.14
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 49295 0 0 0 40025 189 0 0 25 0 1 0 3400717 209952768 46550 1992294400 4194304 7136930 140735960374336 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 51258 46550 395 719 0 50537 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 205032
[startup+462.301 s]
/proc/loadavg: 1.16 1.06 1.02 2/106 13354
/proc/meminfo: memFree=1582092/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=230692 CPUtime=462.12
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 54700 0 0 0 45997 215 0 0 25 0 1 0 3400717 236228608 51955 1992294400 4194304 7136930 140735960374336 18446744073709551615 4980224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 57673 51955 395 719 0 56952 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 230692
[startup+522.302 s]
/proc/loadavg: 1.12 1.07 1.02 2/106 13356
/proc/meminfo: memFree=1553076/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=264872 CPUtime=522.1
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 62181 0 0 0 51958 252 0 0 25 0 1 0 3400717 271228928 59436 1992294400 4194304 7136930 140735960374336 18446744073709551615 4947114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 66218 59436 395 719 0 65497 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 264872
[startup+582.301 s]
/proc/loadavg: 1.11 1.07 1.01 2/106 13358
/proc/meminfo: memFree=1519100/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=301100 CPUtime=582.08
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 70423 0 0 0 57923 285 0 0 25 0 1 0 3400717 308326400 67678 1992294400 4194304 7136930 140735960374336 18446744073709551615 4979760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 75275 67678 395 719 0 74554 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 301100
[startup+642.302 s]
/proc/loadavg: 1.09 1.07 1.01 2/106 13360
/proc/meminfo: memFree=1485000/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=337512 CPUtime=642.06
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 78884 0 0 0 63892 314 0 0 25 0 1 0 3400717 345612288 76139 1992294400 4194304 7136930 140735960374336 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 84378 76139 395 719 0 83657 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 337512
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.06 1.06 1.01 2/106 13368
/proc/meminfo: memFree=1336944/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=499204 CPUtime=1001.94
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 115746 0 0 0 99699 495 0 0 25 0 1 0 3400717 511184896 113001 1992294400 4194304 7136930 140735960374336 18446744073709551615 4979712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 124801 113001 395 719 0 124080 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 499204
[startup+1062.3 s]
/proc/loadavg: 1.13 1.08 1.02 2/106 13370
/proc/meminfo: memFree=1318468/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=518520 CPUtime=1061.92
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 120358 0 0 0 105671 521 0 0 25 0 1 0 3400717 530964480 117613 1992294400 4194304 7136930 140735960374336 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 129630 117613 395 719 0 128909 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 518520
[startup+1122.3 s]
/proc/loadavg: 1.12 1.08 1.02 2/106 13372
/proc/meminfo: memFree=1296520/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=545396 CPUtime=1121.91
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 126033 0 0 0 111643 548 0 0 25 0 1 0 3400717 558485504 123288 1992294400 4194304 7136930 140735960374336 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 136349 123288 395 719 0 135628 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 545396
[startup+1182.3 s]
/proc/loadavg: 1.04 1.06 1.01 2/106 13374
/proc/meminfo: memFree=1267876/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=576412 CPUtime=1181.88
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 132976 0 0 0 117612 576 0 0 25 0 1 0 3400717 590245888 130231 1992294400 4194304 7136930 140735960374336 18446744073709551615 4982568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 144103 130231 395 719 0 143382 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 576412
[startup+1242.3 s]
/proc/loadavg: 1.01 1.05 1.00 2/106 13376
/proc/meminfo: memFree=1231172/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=618040 CPUtime=1241.87
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 142093 0 0 0 123576 611 0 0 25 0 1 0 3400717 632872960 139348 1992294400 4194304 7136930 140735960374336 18446744073709551615 4221568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 154510 139348 395 719 0 153789 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 618040
[startup+1302.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/106 13376
/proc/meminfo: memFree=1198064/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=655700 CPUtime=1301.86
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 150320 0 0 0 129545 641 0 0 25 0 1 0 3400717 671436800 147575 1992294400 4194304 7136930 140735960374336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 163925 147575 395 719 0 163204 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 655700
[startup+1362.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 13378
/proc/meminfo: memFree=1175496/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=682688 CPUtime=1361.82
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 155969 0 0 0 135509 673 0 0 25 0 1 0 3400717 699072512 153224 1992294400 4194304 7136930 140735960374336 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 170672 153224 395 719 0 169951 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 682688
[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 13380
/proc/meminfo: memFree=1164584/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=694640 CPUtime=1421.82
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 158670 0 0 0 141488 694 0 0 25 0 1 0 3400717 711311360 155925 1992294400 4194304 7136930 140735960374336 18446744073709551615 4983364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 173660 155925 395 719 0 172939 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 694640
[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 13382
/proc/meminfo: memFree=1154292/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=706136 CPUtime=1481.79
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 161216 0 0 0 147466 713 0 0 25 0 1 0 3400717 723083264 158471 1992294400 4194304 7136930 140735960374336 18446744073709551615 4979353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 176534 158471 395 719 0 175813 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 706136
[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 13384
/proc/meminfo: memFree=1138668/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=723860 CPUtime=1541.77
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 165081 0 0 0 153443 734 0 0 25 0 1 0 3400717 741232640 162336 1992294400 4194304 7136930 140735960374336 18446744073709551615 4854288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 180965 162336 395 719 0 180244 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 723860
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13384
/proc/meminfo: memFree=1116720/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=747408 CPUtime=1601.76
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 170571 0 0 0 159418 758 0 0 25 0 1 0 3400717 765345792 167826 1992294400 4194304 7136930 140735960374336 18446744073709551615 4980305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 186852 167826 395 719 0 186131 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 747408
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13386
/proc/meminfo: memFree=1091672/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=774784 CPUtime=1661.74
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 176844 0 0 0 165385 789 0 0 25 0 1 0 3400717 793378816 174099 1992294400 4194304 7136930 140735960374336 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 193696 174099 395 719 0 192975 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 774784
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13388
/proc/meminfo: memFree=1060176/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=810028 CPUtime=1721.72
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 184643 0 0 0 171350 822 0 0 25 0 1 0 3400717 829468672 181898 1992294400 4194304 7136930 140735960374336 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 202507 181898 395 719 0 201786 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 810028
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13390
/proc/meminfo: memFree=1038476/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=834800 CPUtime=1781.7
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 190331 0 0 0 177313 857 0 0 25 0 1 0 3400717 854835200 187586 1992294400 4194304 7136930 140735960374336 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 208700 187586 395 719 0 207979 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 834800
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13390
/proc/meminfo: memFree=1030788/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=842884 CPUtime=1800
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 191965 0 0 0 179133 867 0 0 25 0 1 0 3400717 863113216 189220 1992294400 4194304 7136930 140735960374336 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13332/statm: 210721 189220 395 719 0 210000 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 842884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13390
/proc/meminfo: memFree=1030788/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=842884 CPUtime=1800.79
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 191985 0 0 0 179212 867 0 0 25 0 1 0 3400717 863113216 189240 1992294400 4194304 7136930 140735960374336 18446744073709551615 4212432 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13332/statm: 210721 189240 401 719 0 210000 0
Current children cumulated CPU time (s) 1800.79
Current children cumulated vsize (KiB) 842884
[startup+1801.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 13390
/proc/meminfo: memFree=1030788/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=839808 CPUtime=1800.99
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 191985 0 0 0 179232 867 0 0 25 0 1 0 3400717 859963392 188471 1992294400 4194304 7136930 140735960374336 18446744073709551615 4397064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13332/statm: 209952 188471 401 719 0 209231 0
Current children cumulated CPU time (s) 1800.99
Current children cumulated vsize (KiB) 839808
[startup+1801.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13391
/proc/meminfo: memFree=1604652/2059040 swapFree=4141204/4192956
[pid=13332] ppid=13330 vsize=169356 CPUtime=1801.1
/proc/13332/stat : 13332 (pbscip.linux.x8) R 13330 13332 13072 0 -1 4202496 191985 0 0 0 179235 875 0 0 25 0 1 0 3400717 173420544 40255 1992294400 4194304 7136930 140735960374336 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13332/statm: 42339 40255 401 719 0 41618 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 169356
Child status: 0
Real time (s): 1801.73
CPU time (s): 1801.13
CPU user time (s): 1792.36
CPU system time (s): 8.77167
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 842884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.36
system time used= 8.77167
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191992
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= 4
involuntary context switches= 2137
runsolver used 2.89356 second user time and 8.59869 second system time
The end