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-2703521-1278561067.opb>
1.00/1.10 c original problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 17459 constraints
1.00/1.10 c problem read
1.10/1.10 c presolving settings loaded
1.39/1.47 c presolving:
1.69/1.71 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.79/1.83 c (round 2) 0 del vars, 8568 del conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 170 upgd conss, 0 impls, 0 clqs
1.89/1.95 c (round 3) 0 del vars, 8568 del conss, 0 chg bounds, 306 chg sides, 306 chg coeffs, 323 upgd conss, 1412 impls, 0 clqs
6.49/6.60 c (5.5s) probing: 117/8883 (1.3%) - 0 fixings, 0 aggregations, 4896 implications, 0 bound changes
6.49/6.60 c (5.5s) probing aborted: 100/100 successive totally useless probings
6.49/6.60 c presolving (4 rounds):
6.49/6.60 c 0 deleted vars, 8568 deleted constraints, 0 tightened bounds, 0 added holes, 306 changed sides, 306 changed coefficients
6.49/6.60 c 17748 implications, 0 cliques
6.49/6.60 c presolved problem has 8883 variables (8883 bin, 0 int, 0 impl, 0 cont) and 8891 constraints
6.49/6.60 c 323 constraints of type <knapsack>
6.49/6.60 c 8568 constraints of type <linear>
6.49/6.60 c transformed objective value is always integral (scale: 1)
6.49/6.60 c Presolving Time: 5.19
6.49/6.60 c - non default parameters ----------------------------------------------------------------------
6.49/6.60 c # SCIP version 1.2.1.3
6.49/6.60 c
6.49/6.60 c # frequency for displaying node information lines
6.49/6.60 c # [type: int, range: [-1,2147483647], default: 100]
6.49/6.60 c display/freq = 10000
6.49/6.60 c
6.49/6.60 c # maximal time in seconds to run
6.49/6.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.49/6.60 c limits/time = 1788.9
6.49/6.60 c
6.49/6.60 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.49/6.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.49/6.60 c limits/memory = 1620
6.49/6.60 c
6.49/6.60 c # default clock type (1: CPU user seconds, 2: wall clock time)
6.49/6.60 c # [type: int, range: [1,2], default: 1]
6.49/6.60 c timing/clocktype = 2
6.49/6.60 c
6.49/6.60 c # should presolving try to simplify inequalities
6.49/6.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.49/6.60 c constraints/linear/simplifyinequalities = TRUE
6.49/6.60 c
6.49/6.60 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
6.49/6.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.49/6.60 c constraints/indicator/addCouplingCons = TRUE
6.49/6.60 c
6.49/6.60 c # should presolving try to simplify knapsacks
6.49/6.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.49/6.60 c constraints/knapsack/simplifyinequalities = TRUE
6.49/6.60 c
6.49/6.60 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
6.49/6.60 c # [type: int, range: [-1,2147483647], default: -1]
6.49/6.60 c separating/rapidlearning/freq = 0
6.49/6.60 c
6.49/6.60 c -----------------------------------------------------------------------------------------------
6.49/6.60 c start solving
6.59/6.61 c
12.29/12.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.29/12.33 c 11.2s| 1 | 0 | 10750 | - | 82M| 0 |5006 |8883 |8891 |8883 |8891 | 0 | 0 | 0 | 1.700000e+01 | -- | Inf
27.39/27.47 c 26.4s| 1 | 0 | 16896 | - | 83M| 0 |5016 |8883 |8891 |8883 |8949 | 58 | 0 | 0 | 1.700000e+01 | -- | Inf
30.28/30.30 c 29.2s| 1 | 0 | 17206 | - | 83M| 0 |5019 |8883 |8891 |8883 |9045 | 154 | 0 | 0 | 1.700000e+01 | -- | Inf
32.99/33.09 c 32.0s| 1 | 0 | 17539 | - | 84M| 0 |5022 |8883 |8891 |8883 |9123 | 232 | 0 | 0 | 1.700000e+01 | -- | Inf
36.68/36.78 c 35.7s| 1 | 0 | 18077 | - | 85M| 0 |5016 |8883 |8891 |8883 |9197 | 306 | 0 | 0 | 1.700000e+01 | -- | Inf
42.28/42.31 c 41.2s| 1 | 0 | 19181 | - | 85M| 0 |5040 |8883 |8891 |8883 |9281 | 390 | 0 | 0 | 1.700206e+01 | -- | Inf
47.78/47.84 c 46.7s| 1 | 0 | 19994 | - | 86M| 0 |5030 |8883 |8891 |8883 |9359 | 468 | 0 | 0 | 1.700206e+01 | -- | Inf
53.58/53.63 c 52.5s| 1 | 0 | 20855 | - | 86M| 0 |5026 |8883 |8891 |8883 |9434 | 543 | 0 | 0 | 1.700206e+01 | -- | Inf
59.68/59.79 c 58.7s| 1 | 0 | 21742 | - | 86M| 0 |5029 |8883 |8891 |8883 |9518 | 627 | 0 | 0 | 1.700565e+01 | -- | Inf
65.27/65.34 c 64.2s| 1 | 0 | 22586 | - | 87M| 0 |5034 |8883 |8891 |8883 |9587 | 696 | 0 | 0 | 1.716667e+01 | -- | Inf
71.98/72.02 c 70.9s| 1 | 0 | 23397 | - | 87M| 0 |5026 |8883 |8891 |8883 |9661 | 770 | 0 | 0 | 1.716667e+01 | -- | Inf
76.98/77.05 c 75.9s| 1 | 0 | 24479 | - | 87M| 0 |5021 |8883 |8891 |8883 |9698 | 807 | 0 | 0 | 1.716667e+01 | -- | Inf
81.47/81.56 c 80.5s| 1 | 0 | 25278 | - | 87M| 0 |5027 |8883 |8891 |8883 |9722 | 831 | 0 | 0 | 1.722222e+01 | -- | Inf
86.37/86.47 c 85.4s| 1 | 0 | 26162 | - | 87M| 0 |5029 |8883 |8891 |8883 |9753 | 862 | 0 | 0 | 1.722222e+01 | -- | Inf
91.07/91.11 c 90.0s| 1 | 0 | 27043 | - | 87M| 0 |5018 |8883 |8891 |8883 |9780 | 889 | 0 | 0 | 1.722222e+01 | -- | Inf
96.67/96.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.67/96.80 c 95.7s| 1 | 0 | 28065 | - | 87M| 0 |5026 |8883 |8891 |8883 |9807 | 916 | 0 | 0 | 1.722222e+01 | -- | Inf
101.77/101.87 c 101s| 1 | 0 | 28968 | - | 87M| 0 |5023 |8883 |8891 |8883 |9481 | 943 | 0 | 0 | 1.726667e+01 | -- | Inf
106.17/106.27 c 105s| 1 | 0 | 29810 | - | 87M| 0 |5017 |8883 |8891 |8883 |9528 | 990 | 0 | 0 | 1.726667e+01 | -- | Inf
110.26/110.36 c 109s| 1 | 0 | 30626 | - | 87M| 0 |5023 |8883 |8891 |8883 |9554 |1016 | 0 | 0 | 1.726667e+01 | -- | Inf
114.27/114.32 c 113s| 1 | 0 | 31399 | - | 87M| 0 |5009 |8883 |8891 |8883 |9585 |1047 | 0 | 0 | 1.726667e+01 | -- | Inf
118.36/118.42 c 117s| 1 | 0 | 32183 | - | 87M| 0 |4995 |8883 |8891 |8883 |9614 |1076 | 0 | 0 | 1.726667e+01 | -- | Inf
122.46/122.55 c 121s| 1 | 0 | 33029 | - | 87M| 0 |4989 |8883 |8891 |8883 |9644 |1106 | 0 | 0 | 1.726667e+01 | -- | Inf
194.65/194.75 c 194s| 1 | 2 | 33029 | - | 87M| 0 |4989 |8883 |8891 |8883 |9644 |1106 | 0 | 19 | 1.726667e+01 | -- | Inf
1789.50/1790.03 c
1789.50/1790.03 c SCIP Status : solving was interrupted [time limit reached]
1789.50/1790.03 c Solving Time (sec) : 1788.92
1789.50/1790.03 c Solving Nodes : 14
1789.50/1790.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.50/1790.03 c Dual Bound : +1.72666666666667e+01
1789.50/1790.03 c Gap : infinite
1789.50/1790.03 s UNKNOWN
1789.50/1790.03 c SCIP Status : solving was interrupted [time limit reached]
1789.50/1790.03 c Solving Time : 1788.92
1789.50/1790.03 c Original Problem :
1789.50/1790.03 c Problem name : HOME/instance-2703521-1278561067.opb
1789.50/1790.03 c Variables : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.50/1790.03 c Constraints : 17459 initial, 17459 maximal
1789.50/1790.03 c Presolved Problem :
1789.50/1790.03 c Problem name : t_HOME/instance-2703521-1278561067.opb
1789.50/1790.03 c Variables : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.50/1790.03 c Constraints : 8891 initial, 11380 maximal
1789.50/1790.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.50/1790.03 c trivial : 0.01 0 0 0 0 0 0 0 0
1789.50/1790.03 c dualfix : 0.01 0 0 0 0 0 0 0 0
1789.50/1790.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.03 c implics : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.03 c probing : 4.62 0 0 0 0 0 0 0 0
1789.50/1790.03 c knapsack : 0.02 0 0 0 0 0 0 0 0
1789.50/1790.03 c linear : 0.42 0 0 0 0 0 8568 306 306
1789.50/1790.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.50/1790.03 c root node : - 0 - - 0 - - - -
1789.50/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.50/1790.03 c integral : 0 0 0 51 0 0 183 0 0 28
1789.50/1790.03 c knapsack : 323 21 6105 0 0 0 33 3857 0 0
1789.50/1790.03 c linear : 8568 21 6105 0 0 0 0 0 0 0
1789.50/1790.03 c logicor : 0+ 0 2489 0 0 0 0 0 0 0
1789.50/1790.03 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.50/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.50/1790.03 c integral : 349.80 0.00 0.00 349.80 0.00
1789.50/1790.03 c knapsack : 0.70 0.19 0.51 0.00 0.00
1789.50/1790.03 c linear : 11.77 0.05 11.72 0.00 0.00
1789.50/1790.03 c logicor : 0.01 0.00 0.01 0.00 0.00
1789.50/1790.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.50/1790.03 c Propagators : Time Calls Cutoffs DomReds
1789.50/1790.03 c vbounds : 0.01 2 0 0
1789.50/1790.03 c rootredcost : 0.01 0 0 0
1789.50/1790.03 c pseudoobj : 0.03 5862 0 0
1789.50/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.50/1790.03 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.50/1790.03 c infeasible LP : 9.01 2489 2489 2489 6.2 0 0.0 0
1789.50/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.50/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.50/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.50/1790.03 c applied globally : - - - 2489 6.2 - - -
1789.50/1790.03 c applied locally : - - - 0 0.0 - - -
1789.50/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.50/1790.03 c cut pool : 0.04 20 - - 13816 - (maximal pool size: 6220)
1789.50/1790.03 c redcost : 0.05 39 0 0 0 0
1789.50/1790.03 c impliedbounds : 0.04 21 0 0 35 0
1789.50/1790.03 c intobj : 0.00 0 0 0 0 0
1789.50/1790.03 c cgmip : 0.00 0 0 0 0 0
1789.50/1790.03 c gomory : 5.48 21 0 0 62 0
1789.50/1790.03 c strongcg : 5.02 20 0 0 37 0
1789.50/1790.03 c cmir : 10.63 10 0 0 5000 0
1789.50/1790.03 c flowcover : 6.85 10 0 0 2000 0
1789.50/1790.03 c clique : 0.02 1 0 0 0 0
1789.50/1790.03 c zerohalf : 0.00 0 0 0 0 0
1789.50/1790.03 c mcf : 0.00 1 0 0 0 0
1789.50/1790.03 c rapidlearning : 3.59 1 0 0 0 0
1789.50/1790.03 c Pricers : Time Calls Vars
1789.50/1790.03 c problem variables: 0.00 0 0
1789.50/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.50/1790.03 c relpscost : 349.80 51 0 183 0 0 28
1789.50/1790.03 c pscost : 0.00 0 0 0 0 0 0
1789.50/1790.03 c inference : 0.00 0 0 0 0 0 0
1789.50/1790.03 c mostinf : 0.00 0 0 0 0 0 0
1789.50/1790.03 c leastinf : 0.00 0 0 0 0 0 0
1789.50/1790.03 c fullstrong : 0.00 0 0 0 0 0 0
1789.50/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0
1789.50/1790.03 c random : 0.00 0 0 0 0 0 0
1789.50/1790.03 c Primal Heuristics : Time Calls Found
1789.50/1790.03 c LP solutions : 0.00 - 0
1789.50/1790.03 c pseudo solutions : 0.00 - 0
1789.50/1790.03 c oneopt : 0.00 0 0
1789.50/1790.03 c crossover : 0.00 0 0
1789.50/1790.03 c pscostdiving : 0.00 0 0
1789.50/1790.03 c fracdiving : 0.00 0 0
1789.50/1790.03 c veclendiving : 0.00 0 0
1789.50/1790.03 c objpscostdiving : 0.00 0 0
1789.50/1790.03 c rootsoldiving : 0.00 0 0
1789.50/1790.03 c linesearchdiving : 0.00 0 0
1789.50/1790.03 c guideddiving : 0.00 0 0
1789.50/1790.03 c intshifting : 0.00 0 0
1789.50/1790.03 c trivial : 0.03 2 0
1789.50/1790.03 c simplerounding : 0.00 0 0
1789.50/1790.03 c zirounding : 0.01 13 0
1789.50/1790.03 c rounding : 1.19 72 0
1789.50/1790.03 c shifting : 3.96 23 0
1789.50/1790.03 c twoopt : 0.00 0 0
1789.50/1790.03 c fixandinfer : 0.00 0 0
1789.50/1790.03 c feaspump : 9.91 1 0
1789.50/1790.03 c coefdiving : 1293.56 1 0
1789.50/1790.03 c intdiving : 0.00 0 0
1789.50/1790.03 c actconsdiving : 0.00 0 0
1789.50/1790.03 c octane : 0.00 0 0
1789.50/1790.03 c rens : 0.02 0 0
1789.50/1790.03 c rins : 0.00 0 0
1789.50/1790.03 c localbranching : 0.00 0 0
1789.50/1790.03 c mutation : 0.00 0 0
1789.50/1790.03 c dins : 0.00 0 0
1789.50/1790.03 c undercover : 0.00 0 0
1789.50/1790.03 c nlp : 0.00 0 0
1789.50/1790.03 c trysol : 0.00 0 0
1789.50/1790.03 c LP : Time Calls Iterations Iter/call Iter/sec
1789.50/1790.03 c primal LP : 0.23 0 0 0.00 0.00
1789.50/1790.03 c dual LP : 91.50 72 37310 518.19 407.78
1789.50/1790.03 c lex dual LP : 0.00 0 0 0.00 -
1789.50/1790.03 c barrier LP : 0.00 0 0 0.00 -
1789.50/1790.03 c diving/probing LP: 1263.17 4259 866292 203.40 685.81
1789.50/1790.03 c strong branching : 349.57 378 140557 371.84 402.08
1789.50/1790.03 c (at root node) : - 19 16906 889.79 -
1789.50/1790.03 c conflict analysis: 0.00 0 0 0.00 -
1789.50/1790.03 c B&B Tree :
1789.50/1790.03 c number of runs : 1
1789.50/1790.03 c nodes : 14
1789.50/1790.03 c nodes (total) : 14
1789.50/1790.03 c nodes left : 15
1789.50/1790.03 c max depth : 13
1789.50/1790.03 c max depth (total): 13
1789.50/1790.03 c backtracks : 0 (0.0%)
1789.50/1790.03 c delayed cutoffs : 0
1789.50/1790.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.50/1790.03 c avg switch length: 1.00
1789.50/1790.03 c switching time : 0.17
1789.50/1790.03 c Solution :
1789.50/1790.03 c Solutions found : 0 (0 improvements)
1789.50/1790.03 c Primal Bound : -
1789.50/1790.03 c Dual Bound : +1.72666666666667e+01
1789.50/1790.03 c Gap : infinite
1789.50/1790.03 c Root Dual Bound : +1.72666666666667e+01
1789.50/1790.03 c Root Iterations : 33029
1789.80/1790.31 c Time complete: 1789.81.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703521-1278561067/watcher-2703521-1278561067 -o /tmp/evaluation-result-2703521-1278561067/solver-2703521-1278561067 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703521-1278561067.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: 1.08 1.02 1.00 3/105 31236
/proc/meminfo: memFree=1867800/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=7904 CPUtime=0
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 1167 0 0 0 0 0 0 0 25 0 1 0 24315058 8093696 1079 1992294400 4194304 8395647 140735088468704 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31236/statm: 1976 1088 365 1026 0 946 0
[startup+0.0265781 s]
/proc/loadavg: 1.08 1.02 1.00 3/105 31236
/proc/meminfo: memFree=1867800/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=10632 CPUtime=0.02
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 1939 0 0 0 2 0 0 0 25 0 1 0 24315058 10887168 1851 1992294400 4194304 8395647 140735088468704 18446744073709551615 4572736 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31236/statm: 2658 1851 393 1026 0 1628 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10632
[startup+0.100587 s]
/proc/loadavg: 1.08 1.02 1.00 3/105 31236
/proc/meminfo: memFree=1867800/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=12772 CPUtime=0.09
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 2470 0 0 0 9 0 0 0 25 0 1 0 24315058 13078528 2382 1992294400 4194304 8395647 140735088468704 18446744073709551615 7361902 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31236/statm: 3193 2382 393 1026 0 2163 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12772
[startup+0.300609 s]
/proc/loadavg: 1.08 1.02 1.00 3/105 31236
/proc/meminfo: memFree=1867800/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=17688 CPUtime=0.29
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 3707 0 0 0 28 1 0 0 25 0 1 0 24315058 18112512 3619 1992294400 4194304 8395647 140735088468704 18446744073709551615 7370214 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31236/statm: 4422 3619 393 1026 0 3392 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17688
[startup+0.700655 s]
/proc/loadavg: 1.08 1.02 1.00 3/105 31236
/proc/meminfo: memFree=1867800/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=26872 CPUtime=0.69
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 5994 0 0 0 67 2 0 0 25 0 1 0 24315058 27516928 5906 1992294400 4194304 8395647 140735088468704 18446744073709551615 7324688 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31236/statm: 6718 5906 393 1026 0 5688 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26872
[startup+1.50075 s]
/proc/loadavg: 1.08 1.02 1.00 2/106 31237
/proc/meminfo: memFree=1840388/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=158424 CPUtime=1.49
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 37906 0 0 0 136 13 0 0 25 0 1 0 24315058 162226176 37464 1992294400 4194304 8395647 140735088468704 18446744073709551615 5026459 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 39606 37464 457 1026 0 38576 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 158424
[startup+3.10093 s]
/proc/loadavg: 1.08 1.02 1.00 2/106 31237
/proc/meminfo: memFree=1717256/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=159832 CPUtime=3.09
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 38401 0 0 0 296 13 0 0 25 0 1 0 24315058 163667968 37959 1992294400 4194304 8395647 140735088468704 18446744073709551615 5026509 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 39958 37959 492 1026 0 38928 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 159832
[startup+6.30029 s]
/proc/loadavg: 1.15 1.03 1.01 2/106 31237
/proc/meminfo: memFree=1716884/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=159832 CPUtime=6.29
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 38401 0 0 0 616 13 0 0 25 0 1 0 24315058 163667968 37959 1992294400 4194304 8395647 140735088468704 18446744073709551615 5026592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 39958 37959 492 1026 0 38928 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 159832
[startup+12.701 s]
/proc/loadavg: 1.14 1.03 1.01 2/106 31237
/proc/meminfo: memFree=1672988/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=210280 CPUtime=12.68
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 51297 0 0 0 1247 21 0 0 25 0 1 0 24315058 215326720 49094 1992294400 4194304 8395647 140735088468704 18446744073709551615 6697351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 52570 49094 605 1026 0 51540 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 210280
[startup+25.5005 s]
/proc/loadavg: 1.11 1.03 1.01 2/106 31238
/proc/meminfo: memFree=1582220/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=305380 CPUtime=25.48
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 74042 0 0 0 2514 34 0 0 25 0 1 0 24315058 312709120 71810 1992294400 4194304 8395647 140735088468704 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 76345 71810 623 1026 0 75315 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 305380
[startup+51.1004 s]
/proc/loadavg: 1.07 1.03 1.01 2/106 31239
/proc/meminfo: memFree=1556924/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=331296 CPUtime=51.07
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80370 0 0 0 5066 41 0 0 25 0 1 0 24315058 339247104 78131 1992294400 4194304 8395647 140735088468704 18446744073709551615 6700445 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 82824 78131 626 1026 0 81794 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 331296
[startup+102.308 s]
/proc/loadavg: 1.03 1.02 1.00 2/106 31241
/proc/meminfo: memFree=1555808/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=102.27
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80634 0 0 0 10174 53 0 0 25 0 1 0 24315058 341303296 78395 1992294400 4194304 8395647 140735088468704 18446744073709551615 6197315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78395 626 1026 0 82296 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 333304
[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/106 31241
/proc/meminfo: memFree=1555808/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=162.25
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80646 0 0 0 16158 67 0 0 25 0 1 0 24315058 341303296 78407 1992294400 4194304 8395647 140735088468704 18446744073709551615 6585820 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78407 628 1026 0 82296 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 333304
[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 31243
/proc/meminfo: memFree=1555808/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=222.24
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80647 0 0 0 22145 79 0 0 25 0 1 0 24315058 341303296 78408 1992294400 4194304 8395647 140735088468704 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78408 629 1026 0 82296 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 333304
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31245
/proc/meminfo: memFree=1555808/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=282.21
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80647 0 0 0 28135 86 0 0 25 0 1 0 24315058 341303296 78408 1992294400 4194304 8395647 140735088468704 18446744073709551615 6723586 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78408 629 1026 0 82296 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 333304
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31247
/proc/meminfo: memFree=1555808/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=342.19
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80647 0 0 0 34113 106 0 0 25 0 1 0 24315058 341303296 78408 1992294400 4194304 8395647 140735088468704 18446744073709551615 6698059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78408 629 1026 0 82296 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 333304
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31249
/proc/meminfo: memFree=1555808/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=402.18
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80647 0 0 0 40094 124 0 0 25 0 1 0 24315058 341303296 78408 1992294400 4194304 8395647 140735088468704 18446744073709551615 6721251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78408 629 1026 0 82296 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 333304
[startup+462.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/106 31249
/proc/meminfo: memFree=1555808/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=462.17
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80647 0 0 0 46072 145 0 0 25 0 1 0 24315058 341303296 78408 1992294400 4194304 8395647 140735088468704 18446744073709551615 6721244 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78408 629 1026 0 82296 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 333304
[startup+522.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 31251
/proc/meminfo: memFree=1555808/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=522.15
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 52049 166 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6746613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 333304
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31253
/proc/meminfo: memFree=1555808/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=582.13
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 58020 193 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 333304
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31264
/proc/meminfo: memFree=1554404/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=642.11
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 63993 218 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6698218 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 333304
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1554404/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1002.02
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 99841 361 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6698214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 333304
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31274
/proc/meminfo: memFree=1554404/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1061.99
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 105815 384 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6721240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 333304
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31276
/proc/meminfo: memFree=1554404/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1121.99
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 111794 405 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6739516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 333304
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31278
/proc/meminfo: memFree=1554404/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1181.97
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 117772 425 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6731701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 333304
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31280
/proc/meminfo: memFree=1554156/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1241.95
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 123754 441 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6698055 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 333304
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31282
/proc/meminfo: memFree=1554032/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1301.94
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 129734 460 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6721246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 333304
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31282
/proc/meminfo: memFree=1554032/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1361.92
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 135712 480 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6697342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 333304
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31284
/proc/meminfo: memFree=1554032/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1421.91
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 141690 501 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 333304
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31286
/proc/meminfo: memFree=1554032/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1481.89
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 147672 517 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6721244 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 333304
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31288
/proc/meminfo: memFree=1553908/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1541.87
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 153650 537 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6390512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 333304
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31290
/proc/meminfo: memFree=1553908/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1601.85
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 159631 554 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6697808 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 333304
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31290
/proc/meminfo: memFree=1553908/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1661.84
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 165611 573 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6721246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 333304
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 31294
/proc/meminfo: memFree=1552388/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1721.82
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 171594 588 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6697359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 333304
[startup+1782.3 s]
/proc/loadavg: 1.03 1.01 1.00 3/106 31297
/proc/meminfo: memFree=1541576/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1781.8
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 177580 600 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6652352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 333304
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 31297
/proc/meminfo: memFree=1541576/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1785.01
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 177900 601 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6574271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1785.01
Current children cumulated vsize (KiB) 333304
[startup+1788.7 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 31297
/proc/meminfo: memFree=1541576/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1788.2
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 178219 601 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6040339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1788.2
Current children cumulated vsize (KiB) 333304
[startup+1789.5 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 31297
/proc/meminfo: memFree=1541576/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1789
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 178299 601 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6583366 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1789
Current children cumulated vsize (KiB) 333304
[startup+1789.9 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 31297
/proc/meminfo: memFree=1541576/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=333304 CPUtime=1789.4
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80652 0 0 0 178339 601 0 0 25 0 1 0 24315058 341303296 78413 1992294400 4194304 8395647 140735088468704 18446744073709551615 6018694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31236/statm: 83326 78413 634 1026 0 82296 0
Current children cumulated CPU time (s) 1789.4
Current children cumulated vsize (KiB) 333304
[startup+1790.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 31297
/proc/meminfo: memFree=1541576/2059040 swapFree=4135728/4192956
[pid=31236] ppid=31234 vsize=198128 CPUtime=1789.8
/proc/31236/stat : 31236 (pbscip.linux.x8) R 31234 31236 30914 0 -1 4202496 80654 0 0 0 178377 603 0 0 18 0 1 0 24315058 202883072 28606 1992294400 4194304 8395647 140735088468704 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31236/statm: 49532 28606 628 1026 0 48502 0
Current children cumulated CPU time (s) 1789.8
Current children cumulated vsize (KiB) 198128
Child status: 0
Real time (s): 1790.31
CPU time (s): 1789.83
CPU user time (s): 1783.78
CPU system time (s): 6.05008
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 333304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.78
system time used= 6.05008
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80657
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= 3
involuntary context switches= 23645
runsolver used 3.04754 second user time and 8.36773 second system time
The end