0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666719-1276667230.opb>
0.00/0.03 c original problem has 1564 variables (1564 bin, 0 int, 0 impl, 0 cont) and 1615 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 o 0
0.00/0.04 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.04 c presolving:
0.19/0.24 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 11812 impls, 100 clqs
0.39/0.46 c (0.2s) probing: 101/1564 (6.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.46 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.46 c presolving (2 rounds):
0.39/0.46 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.46 c 11812 implications, 100 cliques
0.39/0.46 c presolved problem has 1564 variables (1564 bin, 0 int, 0 impl, 0 cont) and 1615 constraints
0.39/0.46 c 100 constraints of type <setppc>
0.39/0.46 c 1464 constraints of type <and>
0.39/0.46 c 1 constraints of type <linear>
0.39/0.46 c 50 constraints of type <logicor>
0.39/0.46 c transformed objective value is always integral (scale: 1)
0.39/0.46 c Presolving Time: 0.22
0.39/0.46 c - non default parameters ----------------------------------------------------------------------
0.39/0.46 c # SCIP version 1.2.1.2
0.39/0.46 c
0.39/0.46 c # frequency for displaying node information lines
0.39/0.46 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.46 c display/freq = 10000
0.39/0.46 c
0.39/0.46 c # maximal time in seconds to run
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/time = 1799.98
0.39/0.46 c
0.39/0.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.46 c limits/memory = 1620
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify inequalities
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/linear/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # should presolving try to simplify knapsacks
0.39/0.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.46 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.46 c
0.39/0.46 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.46 c heuristics/undercover/freq = 0
0.39/0.46 c
0.39/0.46 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.46 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.46 c separating/rapidlearning/freq = 0
0.39/0.46 c
0.39/0.46 c -----------------------------------------------------------------------------------------------
0.39/0.46 c start solving
0.39/0.46 c
3.79/3.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.79/3.89 c t 3.6s| 1 | 0 | 3760 | - |7586k| 0 | 887 |1564 |1615 |1564 |3079 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
4.09/4.10 o -1
4.09/4.10 c u 3.8s| 1 | 0 | 3760 | - |7627k| 0 | 887 |1564 |1616 |1564 |3079 | 0 | 1 | 0 |-2.500000e+01 |-1.000000e+00 | 96.00%
7.09/7.13 o -4
7.09/7.13 c y 6.5s| 1 | 0 | 3760 | - |7833k| 0 | 887 |1564 |1616 |1564 |3079 | 0 | 1 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
7.18/7.28 c 6.7s| 1 | 0 | 3857 | - | 10M| 0 | 886 |1564 |2437 |1564 |3134 | 55 | 1 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
8.69/8.78 c 8.2s| 1 | 0 | 3973 | - | 10M| 0 | 877 |1564 |2437 |1564 |3144 | 65 | 1 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
10.29/10.34 c 9.7s| 1 | 0 | 4178 | - | 10M| 0 | 848 |1564 |2437 |1564 |3158 | 79 | 1 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
12.10/12.10 c 11.5s| 1 | 0 | 4479 | - | 11M| 0 | 840 |1564 |2437 |1564 |3165 | 86 | 1 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
13.69/13.78 c 13.1s| 1 | 0 | 5084 | - | 12M| 0 | 823 |1564 |2437 |1564 |3179 | 100 | 1 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
16.29/16.31 c 15.6s| 1 | 0 | 6504 | - | 12M| 0 | 841 |1564 |2437 |1564 |3191 | 112 | 1 | 0 |-2.500000e+01 |-4.000000e+00 | 84.00%
40.28/40.38 c 39.6s| 1 | 2 | 6504 | - | 12M| 0 | 841 |1564 |2437 |1564 |3191 | 112 | 1 | 20 |-2.500000e+01 |-4.000000e+00 | 84.00%
82.86/82.96 o -5
82.86/82.96 c R81.9s| 12 | 9 | 18128 |1056.7 | 12M| 10 | - |1564 |2437 |1564 |1599 |1253 | 1 | 267 |-2.500000e+01 |-5.000000e+00 | 80.00%
103.66/103.77 o -6
103.66/103.77 c * 103s| 40 | 13 | 31512 | 641.2 | 12M| 12 | - |1564 |2437 |1564 |1607 |2243 | 1 | 486 |-2.454081e+01 |-6.000000e+00 | 75.55%
685.01/685.22 c 676s| 10000 | 1769 |922842 | 91.6 | 41M| 67 | - |1564 |2433 |1564 |1164 | 38k| 180 |4048 |-1.009529e+01 |-6.000000e+00 | 40.57%
904.93/905.25 c 892s| 20000 | 2143 | 1280k| 63.7 | 54M| 67 | 57 |1564 |2319 |1564 |1693 | 47k| 534 |5995 |-9.098505e+00 |-6.000000e+00 | 34.06%
1070.58/1070.98 c 1055s| 30000 | 2072 | 1559k| 51.8 | 58M| 73 | - |1564 |2380 |1564 |1648 | 53k| 995 |7133 |-8.687315e+00 |-6.000000e+00 | 30.93%
1220.34/1220.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1220.34/1220.75 c 1202s| 40000 | 1665 | 1807k| 45.0 | 55M| 73 | 60 |1564 |2282 |1564 |1679 | 57k|1307 |8315 |-8.292327e+00 |-6.000000e+00 | 27.64%
1354.00/1354.47 c 1333s| 50000 | 672 | 2015k| 40.2 | 35M| 73 | - |1564 |2196 |1564 |1663 | 61k|1645 |9293 |-7.820074e+00 |-6.000000e+00 | 23.27%
1382.49/1383.00 c
1382.49/1383.00 c SCIP Status : problem is solved [optimal solution found]
1382.49/1383.00 c Solving Time (sec) : 1361.20
1382.49/1383.00 c Solving Nodes : 52221
1382.49/1383.00 c Primal Bound : -6.00000000000000e+00 (12 solutions)
1382.49/1383.00 c Dual Bound : -6.00000000000000e+00
1382.49/1383.00 c Gap : 0.00 %
1382.59/1383.00 s OPTIMUM FOUND
1382.59/1383.00 v -x57 -x96 -x92 -x81 -x75 -x95 -x69 -x67 -x93 -x90 -x89 x94 -x86 -x64 -x72 -x51 -x98 -x88 -x70 -x63 -x60 x58 -x55 -x54 -x52 -x91
1382.59/1383.00 v -x62 -x59 -x85 -x78 -x97 -x68 -x53 -x84 -x80 -x56 -x65 -x87 x79 -x99 -x82 -x74 -x100 -x71 -x83 x77 x73 x61 -x66 -x76 -x50 -x49
1382.59/1383.00 v x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23
1382.59/1383.00 v x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1382.59/1383.00 c SCIP Status : problem is solved [optimal solution found]
1382.59/1383.00 c Solving Time : 1361.20
1382.59/1383.00 c Original Problem :
1382.59/1383.00 c Problem name : HOME/instance-2666719-1276667230.opb
1382.59/1383.00 c Variables : 1564 (1564 binary, 0 integer, 0 implicit integer, 0 continuous)
1382.59/1383.00 c Constraints : 1615 initial, 1615 maximal
1382.59/1383.00 c Presolved Problem :
1382.59/1383.00 c Problem name : t_HOME/instance-2666719-1276667230.opb
1382.59/1383.00 c Variables : 1564 (1564 binary, 0 integer, 0 implicit integer, 0 continuous)
1382.59/1383.00 c Constraints : 1615 initial, 2501 maximal
1382.59/1383.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1382.59/1383.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1382.59/1383.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1382.59/1383.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1382.59/1383.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1382.59/1383.00 c implics : 0.00 0 0 0 0 0 0 0 0
1382.59/1383.00 c probing : 0.04 0 0 0 0 0 0 0 0
1382.59/1383.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1382.59/1383.00 c and : 0.17 0 0 0 0 0 0 0 0
1382.59/1383.00 c linear : 0.01 0 0 0 0 0 0 0 0
1382.59/1383.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1382.59/1383.00 c root node : - 65 - - 65 - - - -
1382.59/1383.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1382.59/1383.00 c integral : 0 0 0 27345 0 64 2641 0 0 52236
1382.59/1383.00 c setppc : 100 6 161538 1 0 650 273986 0 0 0
1382.59/1383.00 c and : 1464 40433 160888 1 0 50 4248762 63747 0 0
1382.59/1383.00 c linear : 1+ 7 160826 1 0 86 4843 0 0 0
1382.59/1383.00 c logicor : 50+ 6 48307 1 0 9 22570 0 0 0
1382.59/1383.00 c countsols : 0 0 0 1 0 0 0 0 0 0
1382.59/1383.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1382.59/1383.00 c integral : 302.39 0.00 0.00 302.39 0.00
1382.59/1383.00 c setppc : 1.44 0.00 1.44 0.00 0.00
1382.59/1383.00 c and : 52.51 13.54 38.97 0.00 0.00
1382.59/1383.00 c linear : 4.86 0.01 4.85 0.00 0.00
1382.59/1383.00 c logicor : 4.01 0.00 4.01 0.00 0.00
1382.59/1383.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1382.59/1383.00 c Propagators : Time Calls Cutoffs DomReds
1382.59/1383.00 c vbounds : 0.12 2 0 0
1382.59/1383.00 c rootredcost : 0.08 3 0 0
1382.59/1383.00 c pseudoobj : 1.18 162348 354 1141
1382.59/1383.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1382.59/1383.00 c propagation : 0.09 1148 1073 2251 32.6 12 40.7 -
1382.59/1383.00 c infeasible LP : 0.02 4 4 9 32.0 0 0.0 0
1382.59/1383.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1382.59/1383.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1382.59/1383.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1382.59/1383.00 c applied globally : - - - 1701 28.4 - - -
1382.59/1383.00 c applied locally : - - - 0 0.0 - - -
1382.59/1383.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1382.59/1383.00 c cut pool : 0.00 5 - - 0 - (maximal pool size: 268)
1382.59/1383.00 c redcost : 4.08 42741 0 118317 0 0
1382.59/1383.00 c impliedbounds : 0.00 6 0 0 92 0
1382.59/1383.00 c intobj : 0.00 0 0 0 0 0
1382.59/1383.00 c cgmip : 0.00 0 0 0 0 0
1382.59/1383.00 c gomory : 1.94 6 0 0 2 0
1382.59/1383.00 c strongcg : 4.55 6 0 0 290 0
1382.59/1383.00 c cmir : 0.15 6 0 0 0 0
1382.59/1383.00 c flowcover : 0.20 6 0 0 0 0
1382.59/1383.00 c clique : 0.20 6 0 0 41 0
1382.59/1383.00 c zerohalf : 0.00 0 0 0 0 0
1382.59/1383.00 c mcf : 0.07 3 0 0 30 0
1382.59/1383.00 c rapidlearning : 1.51 1 0 0 0 821
1382.59/1383.00 c Pricers : Time Calls Vars
1382.59/1383.00 c problem variables: 0.00 0 0
1382.59/1383.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1382.59/1383.00 c relpscost : 302.32 27344 64 2641 0 0 52236
1382.59/1383.00 c pscost : 0.00 0 0 0 0 0 0
1382.59/1383.00 c inference : 0.00 0 0 0 0 0 0
1382.59/1383.00 c mostinf : 0.00 0 0 0 0 0 0
1382.59/1383.00 c leastinf : 0.00 0 0 0 0 0 0
1382.59/1383.00 c fullstrong : 0.00 0 0 0 0 0 0
1382.59/1383.00 c allfullstrong : 0.00 0 0 0 0 0 0
1382.59/1383.00 c random : 0.00 0 0 0 0 0 0
1382.59/1383.00 c Primal Heuristics : Time Calls Found
1382.59/1383.00 c LP solutions : 0.00 - 1
1382.59/1383.00 c pseudo solutions : 0.00 - 0
1382.59/1383.00 c feaspump : 0.00 0 0
1382.59/1383.00 c oneopt : 0.15 3 0
1382.59/1383.00 c crossover : 0.41 8 0
1382.59/1383.00 c pscostdiving : 4.29 41 0
1382.59/1383.00 c linesearchdiving : 3.03 41 0
1382.59/1383.00 c fracdiving : 6.11 41 0
1382.59/1383.00 c veclendiving : 6.98 41 0
1382.59/1383.00 c coefdiving : 5.39 41 0
1382.59/1383.00 c guideddiving : 5.74 41 0
1382.59/1383.00 c objpscostdiving : 7.21 21 0
1382.59/1383.00 c rootsoldiving : 1.68 21 0
1382.59/1383.00 c trivial : 0.00 2 3
1382.59/1383.00 c simplerounding : 0.08 0 0
1382.59/1383.00 c zirounding : 0.35 1000 0
1382.59/1383.00 c rounding : 5.98 9283 1
1382.59/1383.00 c shifting : 1.88 1858 5
1382.59/1383.00 c intshifting : 0.00 0 0
1382.59/1383.00 c twoopt : 0.00 0 0
1382.59/1383.00 c fixandinfer : 0.00 0 0
1382.59/1383.00 c intdiving : 0.00 0 0
1382.59/1383.00 c actconsdiving : 0.00 0 0
1382.59/1383.00 c octane : 0.00 0 0
1382.59/1383.00 c rens : 0.00 0 0
1382.59/1383.00 c rins : 0.00 0 0
1382.59/1383.00 c localbranching : 0.00 0 0
1382.59/1383.00 c mutation : 0.00 0 0
1382.59/1383.00 c dins : 0.00 0 0
1382.59/1383.00 c undercover : 0.17 1 1
1382.59/1383.00 c nlp : 0.08 0 0
1382.59/1383.00 c trysol : 0.06 0 0
1382.59/1383.00 c LP : Time Calls Iterations Iter/call Iter/sec
1382.59/1383.00 c primal LP : 6.34 0 0 0.00 0.00
1382.59/1383.00 c dual LP : 790.08 65272 1983913 30.39 2511.03
1382.59/1383.00 c lex dual LP : 0.00 0 0 0.00 -
1382.59/1383.00 c barrier LP : 0.00 0 0 0.00 -
1382.59/1383.00 c diving/probing LP: 29.76 8241 67742 8.22 2276.28
1382.59/1383.00 c strong branching : 299.64 9593 707572 73.76 2361.41
1382.59/1383.00 c (at root node) : - 20 20000 1000.00 -
1382.59/1383.00 c conflict analysis: 0.00 0 0 0.00 -
1382.59/1383.00 c B&B Tree :
1382.59/1383.00 c number of runs : 1
1382.59/1383.00 c nodes : 52221
1382.59/1383.00 c nodes (total) : 52221
1382.59/1383.00 c nodes left : 0
1382.59/1383.00 c max depth : 73
1382.59/1383.00 c max depth (total): 73
1382.59/1383.00 c backtracks : 6692 (12.8%)
1382.59/1383.00 c delayed cutoffs : 6
1382.59/1383.00 c repropagations : 8751 (17791 domain reductions, 2 cutoffs)
1382.59/1383.00 c avg switch length: 7.37
1382.59/1383.00 c switching time : 73.68
1382.59/1383.00 c Solution :
1382.59/1383.00 c Solutions found : 12 (5 improvements)
1382.59/1383.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1382.59/1383.00 c Primal Bound : -6.00000000000000e+00 (in run 1, after 40 nodes, 102.51 seconds, depth 12, found by <relaxation>)
1382.59/1383.00 c Dual Bound : -6.00000000000000e+00
1382.59/1383.00 c Gap : 0.00 %
1382.59/1383.00 c Root Dual Bound : -2.50000000000000e+01
1382.59/1383.00 c Root Iterations : 6504
1382.59/1383.05 c Time complete: 1382.65.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666719-1276667230/watcher-2666719-1276667230 -o /tmp/evaluation-result-2666719-1276667230/solver-2666719-1276667230 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666719-1276667230.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 17541
/proc/meminfo: memFree=1797632/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=7724 CPUtime=0
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1004 0 0 0 0 0 0 0 18 0 1 0 8014381 7909376 924 1992294400 4194304 8223781 140736410791344 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17541/statm: 1931 934 348 984 0 944 0
[startup+0.0844459 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 17541
/proc/meminfo: memFree=1797632/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=16524 CPUtime=0.07
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 3779 0 0 0 5 2 0 0 20 0 1 0 8014381 16920576 3078 1992294400 4194304 8223781 140736410791344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 4131 3078 432 984 0 3144 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16524
[startup+0.101448 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 17541
/proc/meminfo: memFree=1797632/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=16524 CPUtime=0.1
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 3779 0 0 0 6 4 0 0 20 0 1 0 8014381 16920576 3078 1992294400 4194304 8223781 140736410791344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 4131 3078 432 984 0 3144 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16524
[startup+0.301472 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 17541
/proc/meminfo: memFree=1797632/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=17816 CPUtime=0.29
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 5412 0 0 0 15 14 0 0 20 0 1 0 8014381 18243584 3426 1992294400 4194304 8223781 140736410791344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 4454 3426 459 984 0 3467 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17816
[startup+0.701524 s]
/proc/loadavg: 0.99 0.98 0.99 3/105 17541
/proc/meminfo: memFree=1797632/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=25680 CPUtime=0.69
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 7954 0 0 0 47 22 0 0 20 0 1 0 8014381 26296320 5473 1992294400 4194304 8223781 140736410791344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 6420 5473 534 984 0 5433 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25680
[startup+1.50162 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17542
/proc/meminfo: memFree=1777040/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=27448 CPUtime=1.49
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 8505 0 0 0 127 22 0 0 23 0 1 0 8014381 28106752 5740 1992294400 4194304 8223781 140736410791344 18446744073709551615 6614440 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 6862 5740 535 984 0 5875 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27448
[startup+3.10082 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17542
/proc/meminfo: memFree=1776544/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=27624 CPUtime=3.09
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 9152 0 0 0 284 25 0 0 25 0 1 0 8014381 28286976 5742 1992294400 4194304 8223781 140736410791344 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 6906 5742 535 984 0 5919 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27624
[startup+6.30122 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17542
/proc/meminfo: memFree=1767740/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=44024 CPUtime=6.29
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 24452 0 0 0 578 51 0 0 25 0 1 0 8014381 45080576 9825 1992294400 4194304 8223781 140736410791344 18446744073709551615 4780238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 11006 9825 603 984 0 10019 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44024
[startup+12.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17542
/proc/meminfo: memFree=1757324/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=45880 CPUtime=12.69
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 27152 0 0 0 1206 63 0 0 25 0 1 0 8014381 46981120 10548 1992294400 4194304 8223781 140736410791344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 11470 10548 603 984 0 10483 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45880
[startup+25.5016 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17542
/proc/meminfo: memFree=1756456/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=46192 CPUtime=25.49
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 27490 0 0 0 2481 68 0 0 25 0 1 0 8014381 47300608 10629 1992294400 4194304 8223781 140736410791344 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 11548 10629 604 984 0 10561 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46192
[startup+51.1008 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17544
/proc/meminfo: memFree=1756332/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=46192 CPUtime=51.08
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 27498 0 0 0 5030 78 0 0 25 0 1 0 8014381 47300608 10637 1992294400 4194304 8223781 140736410791344 18446744073709551615 6532946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 11548 10637 606 984 0 10561 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46192
[startup+102.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17544
/proc/meminfo: memFree=1756208/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=46332 CPUtime=102.27
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 27507 0 0 0 10107 120 0 0 25 0 1 0 8014381 47443968 10646 1992294400 4194304 8223781 140736410791344 18446744073709551615 6569888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 11583 10646 606 984 0 10596 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 46332
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17546
/proc/meminfo: memFree=1756084/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=46332 CPUtime=162.24
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 27512 0 0 0 16063 161 0 0 25 0 1 0 8014381 47443968 10651 1992294400 4194304 8223781 140736410791344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 11583 10651 606 984 0 10596 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 46332
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17548
/proc/meminfo: memFree=1755960/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=46332 CPUtime=222.23
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 31484 0 0 0 22016 207 0 0 25 0 1 0 8014381 47443968 10691 1992294400 4194304 8223781 140736410791344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 11583 10691 609 984 0 10596 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 46332
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17550
/proc/meminfo: memFree=1755960/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=46332 CPUtime=282.21
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 39146 0 0 0 27961 260 0 0 25 0 1 0 8014381 47443968 10697 1992294400 4194304 8223781 140736410791344 18446744073709551615 6023790 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 11583 10697 609 984 0 10596 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 46332
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17552
/proc/meminfo: memFree=1753356/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=49404 CPUtime=342.2
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 131929 0 0 0 33874 346 0 0 25 0 1 0 8014381 50589696 11381 1992294400 4194304 8223781 140736410791344 18446744073709551615 6532625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 12351 11381 609 984 0 11364 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49404
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17552
/proc/meminfo: memFree=1749388/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=53388 CPUtime=402.18
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 244935 0 0 0 39781 437 0 0 25 0 1 0 8014381 54669312 12381 1992294400 4194304 8223781 140736410791344 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 13347 12381 609 984 0 12360 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 53388
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17554
/proc/meminfo: memFree=1743560/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=59500 CPUtime=462.16
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 335396 0 0 0 45688 528 0 0 25 0 1 0 8014381 60928000 13818 1992294400 4194304 8223781 140736410791344 18446744073709551615 6567850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 14875 13818 609 984 0 13888 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 59500
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17556
/proc/meminfo: memFree=1740212/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=63072 CPUtime=522.15
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 449201 0 0 0 51579 636 0 0 25 0 1 0 8014381 64585728 14702 1992294400 4194304 8223781 140736410791344 18446744073709551615 6562450 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 15768 14702 609 984 0 14781 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 63072
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17558
/proc/meminfo: memFree=1733516/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=70312 CPUtime=582.12
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 546269 0 0 0 57474 738 0 0 25 0 1 0 8014381 71999488 16414 1992294400 4194304 8223781 140736410791344 18446744073709551615 6567544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 17578 16414 609 984 0 16591 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 70312
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17560
/proc/meminfo: memFree=1727440/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=76092 CPUtime=642.12
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 642243 0 0 0 63369 843 0 0 25 0 1 0 8014381 77918208 17873 1992294400 4194304 8223781 140736410791344 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 19023 17873 609 984 0 18036 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 76092
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1710824/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=92560 CPUtime=762.08
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 777046 0 0 0 75178 1030 0 0 25 0 1 0 8014381 94781440 21892 1992294400 4194304 8223781 140736410791344 18446744073709551615 6304341 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 23140 21892 609 984 0 22153 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 92560
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17564
/proc/meminfo: memFree=1704624/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=99384 CPUtime=822.06
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 869124 0 0 0 81071 1135 0 0 25 0 1 0 8014381 101769216 23509 1992294400 4194304 8223781 140736410791344 18446744073709551615 7453498 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 24808 23501 609 984 0 23821 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 99384
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17575
/proc/meminfo: memFree=1697556/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=105980 CPUtime=882.04
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 958030 0 0 0 86964 1240 0 0 25 0 1 0 8014381 108523520 25186 1992294400 4194304 8223781 140736410791344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 26495 25186 609 984 0 25508 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 105980
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17577
/proc/meminfo: memFree=1691480/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=112068 CPUtime=942.02
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1046371 0 0 0 92855 1347 0 0 25 0 1 0 8014381 114757632 26636 1992294400 4194304 8223781 140736410791344 18446744073709551615 6439490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 28017 26636 609 984 0 27030 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 112068
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17577
/proc/meminfo: memFree=1685404/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=119068 CPUtime=1001.99
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1122551 0 0 0 98750 1449 0 0 25 0 1 0 8014381 121925632 28261 1992294400 4194304 8223781 140736410791344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 29767 28261 609 984 0 28780 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 119068
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17579
/proc/meminfo: memFree=1682428/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=121996 CPUtime=1061.98
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1217050 0 0 0 104642 1556 0 0 25 0 1 0 8014381 124923904 28974 1992294400 4194304 8223781 140736410791344 18446744073709551615 6514426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 30499 28974 609 984 0 29512 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 121996
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17581
/proc/meminfo: memFree=1680196/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=124216 CPUtime=1121.96
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1320776 0 0 0 110517 1679 0 0 25 0 1 0 8014381 127197184 29486 1992294400 4194304 8223781 140736410791344 18446744073709551615 6568073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 31054 29486 609 984 0 30067 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 124216
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17583
/proc/meminfo: memFree=1678460/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=126016 CPUtime=1181.95
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1404330 0 0 0 116407 1788 0 0 25 0 1 0 8014381 129040384 29936 1992294400 4194304 8223781 140736410791344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 31504 29936 614 984 0 30517 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 126016
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17585
/proc/meminfo: memFree=1675856/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=128660 CPUtime=1241.93
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1473992 0 0 0 122302 1891 0 0 25 0 1 0 8014381 131747840 30528 1992294400 4194304 8223781 140736410791344 18446744073709551615 6559818 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 32165 30528 609 984 0 31178 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 128660
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17585
/proc/meminfo: memFree=1675484/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=128932 CPUtime=1301.92
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1579053 0 0 0 128189 2003 0 0 25 0 1 0 8014381 132026368 30603 1992294400 4194304 8223781 140736410791344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 32233 30603 609 984 0 31246 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 128932
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17587
/proc/meminfo: memFree=1675360/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=129320 CPUtime=1361.9
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1626879 0 0 0 134088 2102 0 0 25 0 1 0 8014381 132423680 30703 1992294400 4194304 8223781 140736410791344 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 32330 30703 609 984 0 31343 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 129320
Solver just ended. Dumping a history of the last processes samples
[startup+1369.51 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17587
/proc/meminfo: memFree=1674988/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=129220 CPUtime=1369.11
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1640654 0 0 0 134794 2117 0 0 25 0 1 0 8014381 132321280 30689 1992294400 4194304 8223781 140736410791344 18446744073709551615 6455718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 32305 30689 609 984 0 31318 0
Current children cumulated CPU time (s) 1369.11
Current children cumulated vsize (KiB) 129220
[startup+1375.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17587
/proc/meminfo: memFree=1674988/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=129332 CPUtime=1375.5
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1646521 0 0 0 135423 2127 0 0 25 0 1 0 8014381 132435968 30708 1992294400 4194304 8223781 140736410791344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 32333 30708 609 984 0 31346 0
Current children cumulated CPU time (s) 1375.5
Current children cumulated vsize (KiB) 129332
[startup+1379.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17587
/proc/meminfo: memFree=1674988/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=129220 CPUtime=1378.7
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1649498 0 0 0 135739 2131 0 0 25 0 1 0 8014381 132321280 30689 1992294400 4194304 8223781 140736410791344 18446744073709551615 4923471 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 32305 30689 609 984 0 31318 0
Current children cumulated CPU time (s) 1378.7
Current children cumulated vsize (KiB) 129220
[startup+1380.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17587
/proc/meminfo: memFree=1674988/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=129220 CPUtime=1380.29
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1651246 0 0 0 135896 2133 0 0 25 0 1 0 8014381 132321280 30689 1992294400 4194304 8223781 140736410791344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 32305 30689 609 984 0 31318 0
Current children cumulated CPU time (s) 1380.29
Current children cumulated vsize (KiB) 129220
[startup+1382.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17587
/proc/meminfo: memFree=1674988/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=129220 CPUtime=1381.9
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1652620 0 0 0 136053 2137 0 0 25 0 1 0 8014381 132321280 30689 1992294400 4194304 8223781 140736410791344 18446744073709551615 6377430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 32305 30689 609 984 0 31318 0
Current children cumulated CPU time (s) 1381.9
Current children cumulated vsize (KiB) 129220
[startup+1382.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17587
/proc/meminfo: memFree=1674988/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=129220 CPUtime=1382.3
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1652796 0 0 0 136093 2137 0 0 25 0 1 0 8014381 132321280 30689 1992294400 4194304 8223781 140736410791344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 32305 30689 609 984 0 31318 0
Current children cumulated CPU time (s) 1382.3
Current children cumulated vsize (KiB) 129220
[startup+1382.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17587
/proc/meminfo: memFree=1674988/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=129324 CPUtime=1382.49
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1652947 0 0 0 136112 2137 0 0 25 0 1 0 8014381 132427776 30705 1992294400 4194304 8223781 140736410791344 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17541/statm: 32331 30705 609 984 0 31344 0
Current children cumulated CPU time (s) 1382.49
Current children cumulated vsize (KiB) 129324
[startup+1383 s]
/proc/loadavg: 0.99 0.98 0.99 2/106 17587
/proc/meminfo: memFree=1674988/2059040 swapFree=4140536/4192956
[pid=17541] ppid=17539 vsize=129220 CPUtime=1382.59
/proc/17541/stat : 17541 (pbscip.linux.x8) R 17539 17541 17188 0 -1 4202496 1652981 0 0 0 136122 2137 0 0 25 0 1 0 8014381 132321280 30689 1992294400 4194304 8223781 140736410791344 18446744073709551615 4846466 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17541/statm: 32305 30689 609 984 0 31318 0
Current children cumulated CPU time (s) 1382.59
Current children cumulated vsize (KiB) 129220
Child status: 0
Real time (s): 1383.05
CPU time (s): 1382.65
CPU user time (s): 1361.26
CPU system time (s): 21.3907
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 129956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1361.26
system time used= 21.3907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1652987
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 1407
runsolver used 2.36064 second user time and 6.45302 second system time
The end