0.00/0.01 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3740491-1338739482.opb>
1.59/1.60 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256356 constraints
1.59/1.60 c problem read
1.59/1.60 c presolving settings loaded
1.98/2.10 c presolving:
8.79/8.84 c (round 1) 7771 del vars, 23089 del conss, 6253 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 17122828 impls, 0 clqs
12.18/12.22 c (round 2) 13724 del vars, 51043 del conss, 11884 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 17160239 impls, 0 clqs
13.19/13.23 c (round 3) 16262 del vars, 62355 del conss, 13399 chg bounds, 79 chg sides, 42 chg coeffs, 0 upgd conss, 17178379 impls, 0 clqs
13.68/13.77 c (round 4) 17327 del vars, 66982 del conss, 14117 chg bounds, 111 chg sides, 84 chg coeffs, 0 upgd conss, 17188440 impls, 0 clqs
13.98/14.09 c (round 5) 18065 del vars, 70065 del conss, 14558 chg bounds, 119 chg sides, 94 chg coeffs, 0 upgd conss, 17195480 impls, 0 clqs
14.28/14.32 c (round 6) 18502 del vars, 71878 del conss, 14826 chg bounds, 127 chg sides, 106 chg coeffs, 0 upgd conss, 17198947 impls, 0 clqs
14.48/14.51 c (round 7) 18857 del vars, 73265 del conss, 15059 chg bounds, 127 chg sides, 106 chg coeffs, 0 upgd conss, 17202611 impls, 0 clqs
14.58/14.67 c (round 8) 19190 del vars, 74574 del conss, 15256 chg bounds, 127 chg sides, 106 chg coeffs, 0 upgd conss, 17205415 impls, 0 clqs
14.78/14.81 c (round 9) 19417 del vars, 75493 del conss, 15389 chg bounds, 127 chg sides, 106 chg coeffs, 0 upgd conss, 17208311 impls, 0 clqs
14.88/14.92 c (round 10) 19582 del vars, 76180 del conss, 15493 chg bounds, 127 chg sides, 106 chg coeffs, 0 upgd conss, 17209731 impls, 0 clqs
14.98/15.01 c (round 11) 19685 del vars, 76646 del conss, 15544 chg bounds, 127 chg sides, 106 chg coeffs, 0 upgd conss, 17211003 impls, 0 clqs
14.98/15.09 c (round 12) 19770 del vars, 76987 del conss, 15593 chg bounds, 127 chg sides, 106 chg coeffs, 0 upgd conss, 17211811 impls, 0 clqs
15.08/15.17 c (round 13) 19838 del vars, 77272 del conss, 15627 chg bounds, 127 chg sides, 106 chg coeffs, 0 upgd conss, 17212747 impls, 0 clqs
15.18/15.24 c (round 14) 19894 del vars, 77504 del conss, 15657 chg bounds, 127 chg sides, 106 chg coeffs, 0 upgd conss, 17213397 impls, 0 clqs
15.28/15.31 c (round 15) 19930 del vars, 77677 del conss, 15676 chg bounds, 127 chg sides, 106 chg coeffs, 0 upgd conss, 17213660 impls, 0 clqs
15.28/15.36 c (round 16) 19946 del vars, 77762 del conss, 15685 chg bounds, 127 chg sides, 106 chg coeffs, 0 upgd conss, 17213759 impls, 0 clqs
15.38/15.42 c (round 17) 19956 del vars, 77809 del conss, 15690 chg bounds, 127 chg sides, 106 chg coeffs, 0 upgd conss, 17213873 impls, 0 clqs
15.38/15.48 c (round 18) 19962 del vars, 77837 del conss, 15693 chg bounds, 127 chg sides, 106 chg coeffs, 0 upgd conss, 17213961 impls, 0 clqs
15.48/15.55 c (round 19) 19966 del vars, 77855 del conss, 15695 chg bounds, 127 chg sides, 106 chg coeffs, 0 upgd conss, 17213975 impls, 0 clqs
16.08/16.15 c (round 20) 19966 del vars, 77859 del conss, 15695 chg bounds, 127 chg sides, 106 chg coeffs, 178497 upgd conss, 17213975 impls, 0 clqs
16.49/16.52 c (round 21) 19966 del vars, 77861 del conss, 15695 chg bounds, 166 chg sides, 280 chg coeffs, 178497 upgd conss, 17215275 impls, 525 clqs
16.68/16.72 c (round 22) 19966 del vars, 77867 del conss, 15695 chg bounds, 179 chg sides, 321 chg coeffs, 178497 upgd conss, 17215275 impls, 582 clqs
723.45/723.61 c (722.0s) probing: 1000/52876 (1.9%) - 0 fixings, 0 aggregations, 15553883 implications, 0 bound changes
1290.83/1291.17 c (1289.6s) probing: 2000/52876 (3.8%) - 0 fixings, 0 aggregations, 24586331 implications, 0 bound changes
1291.53/1291.81 c (1290.2s) probing: 2001/52876 (3.8%) - 0 fixings, 0 aggregations, 24592960 implications, 0 bound changes
1291.53/1291.81 c (1290.2s) probing aborted: 2000/2000 successive useless probings
1291.53/1291.81 c presolving (23 rounds):
1291.53/1291.81 c 19966 deleted vars, 77867 deleted constraints, 15695 tightened bounds, 0 added holes, 179 changed sides, 321 changed coefficients
1291.53/1291.81 c 107982343 implications, 582 cliques
1291.53/1291.81 c presolved problem has 52876 variables (52876 bin, 0 int, 0 impl, 0 cont) and 178520 constraints
1291.53/1291.81 c 1109 constraints of type <knapsack>
1291.53/1291.81 c 151276 constraints of type <setppc>
1291.53/1291.81 c 26135 constraints of type <logicor>
1291.53/1291.81 c transformed objective value is always integral (scale: 1)
1291.53/1291.81 c Presolving Time: 1289.85
1291.53/1291.81 c - non default parameters ----------------------------------------------------------------------
1291.53/1291.81 c # SCIP version 1.2.1.3
1291.53/1291.81 c
1291.53/1291.81 c # frequency for displaying node information lines
1291.53/1291.81 c # [type: int, range: [-1,2147483647], default: 100]
1291.53/1291.81 c display/freq = 10000
1291.53/1291.81 c
1291.53/1291.81 c # maximal time in seconds to run
1291.53/1291.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1291.53/1291.81 c limits/time = 1788.41
1291.53/1291.81 c
1291.53/1291.81 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1291.53/1291.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1291.53/1291.81 c limits/memory = 13950
1291.53/1291.81 c
1291.53/1291.81 c # default clock type (1: CPU user seconds, 2: wall clock time)
1291.53/1291.81 c # [type: int, range: [1,2], default: 1]
1291.53/1291.81 c timing/clocktype = 2
1291.53/1291.81 c
1291.53/1291.81 c # should presolving try to simplify inequalities
1291.53/1291.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1291.53/1291.81 c constraints/linear/simplifyinequalities = TRUE
1291.53/1291.81 c
1291.53/1291.81 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1291.53/1291.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1291.53/1291.81 c constraints/indicator/addCouplingCons = TRUE
1291.53/1291.81 c
1291.53/1291.81 c # should presolving try to simplify knapsacks
1291.53/1291.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1291.53/1291.81 c constraints/knapsack/simplifyinequalities = TRUE
1291.53/1291.81 c
1291.53/1291.81 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1291.53/1291.81 c # [type: int, range: [-1,2147483647], default: -1]
1291.53/1291.81 c separating/rapidlearning/freq = 0
1291.53/1291.81 c
1291.53/1291.81 c -----------------------------------------------------------------------------------------------
1291.53/1291.81 c start solving
1291.53/1291.84 c
1633.97/1634.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.97/1634.37 c 1633s| 1 | 0 | 60526 | - |3108M| 0 | 341 | 52k| 178k| 52k| 178k| 0 | 0 | 0 | 1.000000e+02 | -- | Inf
1789.65/1790.09 c 1788s| 1 | 2 | 88334 | - |3110M| 0 | - | 52k| 178k| 52k| 178k| 0 | 0 | 0 | 1.000000e+02 | -- | Inf
1789.65/1790.09 c
1789.65/1790.09 c SCIP Status : solving was interrupted [time limit reached]
1789.65/1790.09 c Solving Time (sec) : 1788.49
1789.65/1790.09 c Solving Nodes : 1
1789.65/1790.09 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.65/1790.09 c Dual Bound : +1.00000000000000e+02
1789.65/1790.09 c Gap : infinite
1789.65/1790.09 s UNKNOWN
1789.65/1790.09 c SCIP Status : solving was interrupted [time limit reached]
1789.65/1790.09 c Solving Time : 1788.49
1789.65/1790.09 c Original Problem :
1789.65/1790.09 c Problem name : HOME/instance-3740491-1338739482.opb
1789.65/1790.09 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.65/1790.09 c Constraints : 256356 initial, 256356 maximal
1789.65/1790.09 c Presolved Problem :
1789.65/1790.09 c Problem name : t_HOME/instance-3740491-1338739482.opb
1789.65/1790.09 c Variables : 52876 (52876 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.65/1790.09 c Constraints : 178520 initial, 178520 maximal
1789.65/1790.09 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.65/1790.09 c trivial : 0.06 1019 0 0 0 0 0 0 0
1789.65/1790.09 c dualfix : 0.09 120 0 0 0 0 0 0 0
1789.65/1790.09 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.65/1790.09 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.65/1790.09 c implics : 0.79 0 0 0 0 0 0 0 0
1789.65/1790.09 c probing : 1274.92 0 0 0 0 0 0 0 0
1789.65/1790.09 c knapsack : 0.22 0 0 0 0 0 2 52 215
1789.65/1790.09 c setppc : 0.33 0 0 0 0 0 6 0 0
1789.65/1790.09 c linear : 13.04 14676 4151 0 15695 0 77859 127 106
1789.65/1790.09 c logicor : 0.07 0 0 0 0 0 0 0 0
1789.65/1790.09 c root node : - 0 - - 0 - - - -
1789.65/1790.09 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.65/1790.09 c integral : 0 0 0 0 0 0 0 0 0 0
1789.65/1790.09 c knapsack : 1109 0 102258 0 1 0 0 0 0 0
1789.65/1790.09 c setppc : 151276 0 102258 0 1 0 0 0 0 0
1789.65/1790.09 c logicor : 26135 0 93762 0 1 0 0 0 0 0
1789.65/1790.09 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.65/1790.09 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.65/1790.09 c integral : 0.00 0.00 0.00 0.00 0.00
1789.65/1790.09 c knapsack : 5.72 0.00 5.72 0.00 0.00
1789.65/1790.09 c setppc : 600.21 0.00 600.17 0.00 0.05
1789.65/1790.09 c logicor : 7.71 0.00 7.70 0.00 0.01
1789.65/1790.09 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.65/1790.09 c Propagators : Time Calls Cutoffs DomReds
1789.65/1790.09 c vbounds : 0.04 2 0 0
1789.65/1790.09 c rootredcost : 0.02 0 0 0
1789.65/1790.09 c pseudoobj : 0.03 2 0 0
1789.65/1790.09 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.65/1790.09 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.65/1790.09 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.65/1790.09 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.65/1790.09 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.65/1790.09 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.65/1790.09 c applied globally : - - - 0 0.0 - - -
1789.65/1790.09 c applied locally : - - - 0 0.0 - - -
1789.65/1790.09 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.65/1790.09 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1789.65/1790.09 c redcost : 0.00 0 0 0 0 0
1789.65/1790.09 c impliedbounds : 0.00 0 0 0 0 0
1789.65/1790.09 c intobj : 0.00 0 0 0 0 0
1789.65/1790.09 c cgmip : 0.00 0 0 0 0 0
1789.65/1790.09 c gomory : 0.00 0 0 0 0 0
1789.65/1790.09 c strongcg : 0.00 0 0 0 0 0
1789.65/1790.09 c cmir : 0.00 0 0 0 0 0
1789.65/1790.09 c flowcover : 0.00 0 0 0 0 0
1789.65/1790.09 c clique : 0.00 0 0 0 0 0
1789.65/1790.09 c zerohalf : 0.00 0 0 0 0 0
1789.65/1790.09 c mcf : 0.00 0 0 0 0 0
1789.65/1790.09 c rapidlearning : 0.00 0 0 0 0 0
1789.65/1790.09 c Pricers : Time Calls Vars
1789.65/1790.09 c problem variables: 0.00 0 0
1789.65/1790.09 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.65/1790.09 c relpscost : 0.00 0 0 0 0 0 0
1789.65/1790.09 c pscost : 0.00 0 0 0 0 0 0
1789.65/1790.09 c inference : 0.01 1 0 0 0 0 2
1789.65/1790.09 c mostinf : 0.00 0 0 0 0 0 0
1789.65/1790.09 c leastinf : 0.00 0 0 0 0 0 0
1789.65/1790.09 c fullstrong : 0.00 0 0 0 0 0 0
1789.65/1790.09 c allfullstrong : 0.00 0 0 0 0 0 0
1789.65/1790.09 c random : 0.00 0 0 0 0 0 0
1789.65/1790.09 c Primal Heuristics : Time Calls Found
1789.65/1790.09 c LP solutions : 0.00 - 0
1789.65/1790.09 c pseudo solutions : 0.00 - 0
1789.65/1790.09 c oneopt : 0.00 0 0
1789.65/1790.09 c trivial : 0.08 2 0
1789.65/1790.09 c simplerounding : 0.00 0 0
1789.65/1790.09 c zirounding : 0.00 0 0
1789.65/1790.09 c rounding : 0.01 1 0
1789.65/1790.09 c shifting : 0.02 1 0
1789.65/1790.09 c intshifting : 0.00 0 0
1789.65/1790.09 c twoopt : 0.00 0 0
1789.65/1790.09 c fixandinfer : 0.00 0 0
1789.65/1790.09 c feaspump : 155.63 1 0
1789.65/1790.09 c coefdiving : 0.00 0 0
1789.65/1790.09 c pscostdiving : 0.00 0 0
1789.65/1790.09 c fracdiving : 0.00 0 0
1789.65/1790.09 c veclendiving : 0.00 0 0
1789.65/1790.09 c intdiving : 0.00 0 0
1789.65/1790.09 c actconsdiving : 0.00 0 0
1789.65/1790.09 c objpscostdiving : 0.00 0 0
1789.65/1790.09 c rootsoldiving : 0.00 0 0
1789.65/1790.09 c linesearchdiving : 0.00 0 0
1789.65/1790.09 c guideddiving : 0.00 0 0
1789.65/1790.09 c octane : 0.00 0 0
1789.65/1790.09 c rens : 0.00 0 0
1789.65/1790.09 c rins : 0.00 0 0
1789.65/1790.09 c localbranching : 0.00 0 0
1789.65/1790.09 c mutation : 0.00 0 0
1789.65/1790.09 c crossover : 0.00 0 0
1789.65/1790.09 c dins : 0.00 0 0
1789.65/1790.09 c undercover : 0.00 0 0
1789.65/1790.09 c nlp : 0.00 0 0
1789.65/1790.09 c trysol : 0.00 0 0
1789.65/1790.09 c LP : Time Calls Iterations Iter/call Iter/sec
1789.65/1790.09 c primal LP : 0.00 0 0 0.00 -
1789.65/1790.09 c dual LP : 342.12 1 60526 60526.00 176.91
1789.65/1790.09 c lex dual LP : 0.00 0 0 0.00 -
1789.65/1790.09 c barrier LP : 0.00 0 0 0.00 -
1789.65/1790.09 c diving/probing LP: 154.79 27 27808 1029.93 179.65
1789.65/1790.09 c strong branching : 0.00 0 0 0.00 -
1789.65/1790.09 c (at root node) : - 0 0 0.00 -
1789.65/1790.09 c conflict analysis: 0.00 0 0 0.00 -
1789.65/1790.09 c B&B Tree :
1789.65/1790.09 c number of runs : 1
1789.65/1790.09 c nodes : 1
1789.65/1790.09 c nodes (total) : 1
1789.65/1790.09 c nodes left : 2
1789.65/1790.09 c max depth : 0
1789.65/1790.09 c max depth (total): 0
1789.65/1790.09 c backtracks : 0 (0.0%)
1789.65/1790.09 c delayed cutoffs : 0
1789.65/1790.09 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.65/1790.09 c avg switch length: 1.00
1789.65/1790.09 c switching time : 0.00
1789.65/1790.09 c Solution :
1789.65/1790.09 c Solutions found : 0 (0 improvements)
1789.65/1790.09 c Primal Bound : -
1789.65/1790.09 c Dual Bound : +1.00000000000000e+02
1789.65/1790.09 c Gap : infinite
1789.65/1790.09 c Root Dual Bound : +1.00000000000000e+02
1789.65/1790.09 c Root Iterations : 88334
1790.36/1790.77 c Time complete: 1790.42.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3740491-1338739482/watcher-3740491-1338739482 -o /tmp/evaluation-result-3740491-1338739482/solver-3740491-1338739482 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740491-1338739482.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 26425
/proc/meminfo: memFree=25357452/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/26425/stat : 26425 (runsolver) D 26423 26425 21683 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 340072824 12095488 51 33554432000 4194304 5436572 140736422900096 140736422896392 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/26425/statm: 2953 51 31 304 0 2645 0
[startup+0.023596 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 26425
/proc/meminfo: memFree=25357452/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=12852 CPUtime=0.01 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 2484 0 0 0 1 0 0 0 20 0 1 0 340072824 13160448 2431 33554432000 4194304 8395647 140736502713104 140736422896280 7385355 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 3213 2431 393 1026 0 2183 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12852
[startup+0.100281 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 26425
/proc/meminfo: memFree=25357452/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=26208 CPUtime=0.08 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 5823 0 0 0 8 0 0 0 20 0 1 0 340072824 26836992 5770 33554432000 4194304 8395647 140736502713104 140736422896280 4423932 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 6552 5770 393 1026 0 5522 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26208
[startup+0.300268 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 26425
/proc/meminfo: memFree=25357452/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=53396 CPUtime=0.28 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 12571 0 0 0 27 1 0 0 20 0 1 0 340072824 54677504 12518 33554432000 4194304 8395647 140736502713104 140736422896280 7275950 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 13349 12518 393 1026 0 12319 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 53396
[startup+0.700264 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 26425
/proc/meminfo: memFree=25357452/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=77472 CPUtime=0.68 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 18602 0 0 0 66 2 0 0 20 0 1 0 340072824 79331328 18549 33554432000 4194304 8395647 140736502713104 140736502578312 7382066 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 19368 18549 393 1026 0 18338 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 77472
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26426
/proc/meminfo: memFree=25263692/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=144200 CPUtime=1.48 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 35206 0 0 0 144 4 0 0 20 0 1 0 340072824 147660800 35153 33554432000 4194304 8395647 140736502713104 140736502578312 4245982 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 36050 35153 393 1026 0 35020 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 144200
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26426
/proc/meminfo: memFree=24998428/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=492772 CPUtime=3.09 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 121501 0 0 0 293 16 0 0 20 0 1 0 340072824 504598528 121094 33554432000 4194304 8395647 140736502713104 140736502708856 7385271 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 123193 121094 469 1026 0 122163 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 492772
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26426
/proc/meminfo: memFree=24680368/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=755568 CPUtime=6.28 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 186423 0 0 0 603 25 0 0 20 0 1 0 340072824 773701632 186016 33554432000 4194304 8395647 140736502713104 140736502708856 7385355 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 188892 186016 469 1026 0 187862 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 755568
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26426
/proc/meminfo: memFree=24491888/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=883780 CPUtime=12.68 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 216544 0 0 0 1240 28 0 0 20 0 1 0 340072824 904990720 216137 33554432000 4194304 8395647 140736502713104 140736502708904 6085500 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 220945 216137 475 1026 0 219915 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 883780
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26426
/proc/meminfo: memFree=24399984/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=977940 CPUtime=25.48 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 237257 0 0 0 2516 32 0 0 20 0 1 0 340072824 1001410560 239254 33554432000 4194304 8395647 140736502713104 140736502709176 4706433 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 244485 239254 510 1026 0 243455 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 977940
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26426
/proc/meminfo: memFree=24345144/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=1034740 CPUtime=51.08 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 250755 0 0 0 5074 34 0 0 20 0 1 0 340072824 1059573760 252752 33554432000 4194304 8395647 140736502713104 140736502709176 7385689 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 258685 252752 510 1026 0 257655 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1034740
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26426
/proc/meminfo: memFree=24181428/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=1195644 CPUtime=102.27 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 290602 0 0 0 10188 39 0 0 20 0 1 0 340072824 1224339456 292599 33554432000 4194304 8395647 140736502713104 140736502708968 5210321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 298911 292599 510 1026 0 297881 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1195644
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 26427
/proc/meminfo: memFree=23957528/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=1423524 CPUtime=162.26 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 346155 0 0 0 16177 49 0 0 20 0 1 0 340072824 1457688576 348152 33554432000 4194304 8395647 140736502713104 140736502708968 6080336 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 355881 348152 510 1026 0 354851 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1423524
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26427
/proc/meminfo: memFree=23772284/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=1611368 CPUtime=222.25 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 392573 0 0 0 22170 55 0 0 20 0 1 0 340072824 1650040832 394570 33554432000 4194304 8395647 140736502713104 140736502709032 4743954 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 402842 394570 510 1026 0 401812 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1611368
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26427
/proc/meminfo: memFree=23530528/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=1857312 CPUtime=282.24 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 452986 0 0 0 28160 64 0 0 20 0 1 0 340072824 1901887488 454983 33554432000 4194304 8395647 140736502713104 140736502708968 4212501 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 464328 454983 510 1026 0 463298 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1857312
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26430
/proc/meminfo: memFree=23233196/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=2147420 CPUtime=342.23 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 525365 0 0 0 34149 74 0 0 20 0 1 0 340072824 2198958080 527362 33554432000 4194304 8395647 140736502713104 140736502709176 5210321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 536855 527362 510 1026 0 535825 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2147420
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26430
/proc/meminfo: memFree=23050144/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=2325100 CPUtime=402.22 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 570121 0 0 0 40140 82 0 0 20 0 1 0 340072824 2380902400 572118 33554432000 4194304 8395647 140736502713104 140736502709176 4742831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 581275 572118 510 1026 0 580245 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2325100
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26431
/proc/meminfo: memFree=22902052/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=2470872 CPUtime=462.22 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 605804 0 0 0 46133 89 0 0 20 0 1 0 340072824 2530172928 607801 33554432000 4194304 8395647 140736502713104 140736502709176 5215822 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 617718 607801 510 1026 0 616688 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2470872
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26469
/proc/meminfo: memFree=24790896/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=2586596 CPUtime=522.2 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 634646 0 0 0 52126 94 0 0 20 0 1 0 340072824 2648674304 636721 33554432000 4194304 8395647 140736502713104 140736502709176 5210338 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 646649 636721 510 1026 0 645619 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2586596
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26470
/proc/meminfo: memFree=24440120/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=2773620 CPUtime=582.18 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 680775 0 0 0 58116 102 0 0 20 0 1 0 340072824 2840186880 682844 33554432000 4194304 8395647 140736502713104 140736502708968 6080362 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 693405 682844 510 1026 0 692375 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 2773620
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22606616/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=3481212 CPUtime=1002.09 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 856936 0 0 0 100078 131 0 0 20 0 1 0 340072824 3564761088 859731 33554432000 4194304 8395647 140736502713104 140736502708968 5210648 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 870303 859731 515 1026 0 869273 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 3481212
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26475
/proc/meminfo: memFree=22454620/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=3553548 CPUtime=1062.07 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 874904 0 0 0 106074 133 0 0 20 0 1 0 340072824 3638833152 878164 33554432000 4194304 8395647 140736502713104 140736502709176 5210425 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 888387 878164 515 1026 0 887357 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 3553548
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26475
/proc/meminfo: memFree=22290224/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=3635104 CPUtime=1122.06 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 894984 0 0 0 112070 136 0 0 20 0 1 0 340072824 3722346496 898483 33554432000 4194304 8395647 140736502713104 140736502709176 5210321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 908776 898483 515 1026 0 907746 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 3635104
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26475
/proc/meminfo: memFree=22032580/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=3774940 CPUtime=1182.05 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 930023 0 0 0 118062 143 0 0 20 0 1 0 340072824 3865538560 933715 33554432000 4194304 8395647 140736502713104 140736502708968 5210321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 943735 933715 515 1026 0 942705 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 3774940
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26475
/proc/meminfo: memFree=21923860/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=3823692 CPUtime=1242.03 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 942147 0 0 0 124058 145 0 0 20 0 1 0 340072824 3915460608 946288 33554432000 4194304 8395647 140736502713104 140736502709176 6080349 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 955923 946288 515 1026 0 954893 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 3823692
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26475
/proc/meminfo: memFree=21613444/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=4100748 CPUtime=1302.03 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 990133 0 0 0 130049 154 0 0 20 0 1 0 340072824 4199165952 1011004 33554432000 4194304 8395647 140736502713104 140736502708664 6698205 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 1025187 1011004 586 1026 0 1024157 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 4100748
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26476
/proc/meminfo: memFree=21531256/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=4112980 CPUtime=1362.02 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 993238 0 0 0 136044 158 0 0 20 0 1 0 340072824 4211691520 1015049 33554432000 4194304 8395647 140736502713104 140736502708664 6698043 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 1028245 1015049 586 1026 0 1027215 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 4112980
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26476
/proc/meminfo: memFree=21468904/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=4122380 CPUtime=1422.01 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 994405 0 0 0 142039 162 0 0 20 0 1 0 340072824 4221317120 1018510 33554432000 4194304 8395647 140736502713104 140736502708232 6698214 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 1030595 1018510 586 1026 0 1029565 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 4122380
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26476
/proc/meminfo: memFree=21379024/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=4143080 CPUtime=1482 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 997188 0 0 0 148033 167 0 0 20 0 1 0 340072824 4242513920 1023311 33554432000 4194304 8395647 140736502713104 140736502708232 6698034 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 1035770 1023311 586 1026 0 1034740 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 4143080
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26479
/proc/meminfo: memFree=21326900/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=4145340 CPUtime=1541.99 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 997437 0 0 0 154029 170 0 0 20 0 1 0 340072824 4244828160 1024423 33554432000 4194304 8395647 140736502713104 140736502708232 6698214 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 1036335 1024423 586 1026 0 1035305 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 4145340
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26479
/proc/meminfo: memFree=21244764/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=4173996 CPUtime=1601.98 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 1001064 0 0 0 160024 174 0 0 20 0 1 0 340072824 4274171904 1033359 33554432000 4194304 8395647 140736502713104 140736502708232 6698043 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 1043499 1033359 586 1026 0 1042469 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 4173996
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26480
/proc/meminfo: memFree=21198788/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=4174604 CPUtime=1661.97 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 1001445 0 0 0 166020 177 0 0 20 0 1 0 340072824 4274794496 1033726 33554432000 4194304 8395647 140736502713104 140736502707624 6696983 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 1043651 1033726 591 1026 0 1042621 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 4174604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26480
/proc/meminfo: memFree=21116232/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=4174604 CPUtime=1721.97 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 1001473 0 0 0 172017 180 0 0 20 0 1 0 340072824 4274794496 1033927 33554432000 4194304 8395647 140736502713104 140736502707624 6708301 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 1043651 1033927 591 1026 0 1042621 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 4174604
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26480
/proc/meminfo: memFree=21087864/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=4174604 CPUtime=1781.95 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 1001484 0 0 0 178011 184 0 0 20 0 1 0 340072824 4274794496 1033985 33554432000 4194304 8395647 140736502713104 140736502707672 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 1043651 1033985 591 1026 0 1042621 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 4174604
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26480
/proc/meminfo: memFree=21085864/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=4174604 CPUtime=1785.16 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 1001491 0 0 0 178331 185 0 0 20 0 1 0 340072824 4274794496 1034014 33554432000 4194304 8395647 140736502713104 140736502707928 6752542 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 1043651 1034014 591 1026 0 1042621 0
Current children cumulated CPU time (s) 1785.16
Current children cumulated vsize (KiB) 4174604
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26480
/proc/meminfo: memFree=21082268/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=4174604 CPUtime=1788.35 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 1001502 0 0 0 178650 185 0 0 20 0 1 0 340072824 4274794496 1034025 33554432000 4194304 8395647 140736502713104 140736502707624 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 1043651 1034025 591 1026 0 1042621 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (KiB) 4174604
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26480
/proc/meminfo: memFree=21082268/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=4174604 CPUtime=1789.15 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 1001504 0 0 0 178730 185 0 0 20 0 1 0 340072824 4274794496 1034027 33554432000 4194304 8395647 140736502713104 140736502707928 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 1043651 1034027 591 1026 0 1042621 0
Current children cumulated CPU time (s) 1789.15
Current children cumulated vsize (KiB) 4174604
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26480
/proc/meminfo: memFree=21081772/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=4174604 CPUtime=1789.95 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 1001848 0 0 0 178810 185 0 0 20 0 1 0 340072824 4274794496 1034371 33554432000 4194304 8395647 140736502713104 140736502707928 4214740 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 1043651 1034371 601 1026 0 1042621 0
Current children cumulated CPU time (s) 1789.95
Current children cumulated vsize (KiB) 4174604
[startup+1790.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26480
/proc/meminfo: memFree=22753348/32873844 swapFree=7108/7108
[pid=26425] ppid=26423 vsize=3992468 CPUtime=1790.36 cores=0,2,4,6
/proc/26425/stat : 26425 (pbscip.linux.x8) R 26423 26425 21683 0 -1 4202496 1001848 0 0 0 178844 192 0 0 20 0 1 0 340072824 4088287232 591369 33554432000 4194304 8395647 140736502713104 140736502712488 7602442 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26425/statm: 998117 591369 601 1026 0 997087 0
Current children cumulated CPU time (s) 1790.36
Current children cumulated vsize (KiB) 3992468
Child status: 0
Real time (s): 1790.77
CPU time (s): 1790.43
CPU user time (s): 1788.45
CPU system time (s): 1.9867
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 4174604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.45
system time used= 1.9867
maximum resident set size= 4137484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1001856
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= 97
involuntary context switches= 2002
runsolver used 2.57761 second user time and 7.28289 second system time
The end