0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665088-1276649459.opb>
0.00/0.01 c original problem has 270 variables (270 bin, 0 int, 0 impl, 0 cont) and 191 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.03 c (round 1) 5 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 24 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.00/0.04 c (round 2) 5 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 24 chg coeffs, 6 upgd conss, 1022 impls, 0 clqs
0.00/0.05 c (0.0s) probing: 166/265 (62.6%) - 0 fixings, 0 aggregations, 35 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 5 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 24 changed coefficients
0.00/0.05 c 1092 implications, 0 cliques
0.00/0.05 c presolved problem has 265 variables (265 bin, 0 int, 0 impl, 0 cont) and 191 constraints
0.00/0.05 c 179 constraints of type <and>
0.00/0.05 c 5 constraints of type <linear>
0.00/0.05 c 7 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 1.2.1.2
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1800
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 1620
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c heuristics/undercover/freq = 0
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.05/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.06 c 0.0s| 1 | 0 | 11 | - |1162k| 0 | 5 | 265 | 191 | 265 | 370 | 0 | 0 | 0 | 2.000000e+00 | -- | Inf
0.19/0.20 c 0.1s| 1 | 0 | 21 | - |1223k| 0 | 17 | 265 | 209 | 265 | 376 | 6 | 0 | 0 | 2.000000e+00 | -- | Inf
0.19/0.22 c 0.1s| 1 | 0 | 35 | - |1257k| 0 | 24 | 265 | 209 | 265 | 384 | 14 | 0 | 0 | 2.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 58 | - |1272k| 0 | 31 | 265 | 209 | 265 | 392 | 22 | 0 | 0 | 2.000000e+00 | -- | Inf
0.19/0.27 c 0.2s| 1 | 0 | 76 | - |1298k| 0 | 32 | 265 | 209 | 265 | 403 | 33 | 0 | 0 | 2.000000e+00 | -- | Inf
0.29/0.30 c 0.2s| 1 | 0 | 117 | - |1311k| 0 | 51 | 265 | 209 | 265 | 413 | 43 | 0 | 0 | 2.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 161 | - |1348k| 0 | 49 | 265 | 209 | 265 | 439 | 69 | 0 | 0 | 2.000000e+00 | -- | Inf
0.39/0.49 c 0.4s| 1 | 2 | 161 | - |1349k| 0 | 49 | 265 | 209 | 265 | 439 | 69 | 0 | 10 | 2.000000e+00 | -- | Inf
3.99/4.02 o 51
3.99/4.02 c l 3.8s| 841 | 328 | 9309 | 10.9 |2109k| 44 | - | 265 |1024 | 265 | 249 |2748 | 815 |1454 | 2.000000e+00 | 5.100000e+01 |2450.00%
3.99/4.04 o 34
3.99/4.04 c * 3.8s| 844 | 320 | 9380 | 10.9 |2106k| 44 | - | 265 |1024 | 265 | 250 |2788 | 815 |1461 | 2.000000e+00 | 3.400000e+01 |1600.00%
3.99/4.04 o 2
3.99/4.04 c * 3.8s| 845 | 0 | 9380 | 10.9 |1828k| 44 | - | 265 |1024 | 265 | 218 |2788 | 815 |1461 | 2.000000e+00 | 2.000000e+00 | 0.00%
3.99/4.05 c
3.99/4.05 c SCIP Status : problem is solved [optimal solution found]
3.99/4.05 c Solving Time (sec) : 3.79
3.99/4.05 c Solving Nodes : 845
3.99/4.05 c Primal Bound : +2.00000000000000e+00 (3 solutions)
3.99/4.05 c Dual Bound : +2.00000000000000e+00
3.99/4.05 c Gap : 0.00 %
3.99/4.05 s OPTIMUM FOUND
3.99/4.05 v -x90 -x89 -x88 x87 -x86 x85 -x84 -x83 -x82 x81 -x80 x79 -x60 -x59 x58 -x57 x56 -x55 -x78 -x77 -x76 -x75 -x74 -x73 -x54 x53 -x52
3.99/4.05 v x51 x50 -x49 -x72 -x71 x70 x69 x68 x67 -x48 -x47 -x46 -x45 x44 -x43 -x66 -x65 -x64 -x63 -x62 x61 -x42 x41 x40 -x39 x38 -x37
3.99/4.05 v x36 -x35 -x34 -x33 x32 x31 -x30 -x29 x28 x27 x26 x25 -x24 -x23 x22 -x21 x20 x19 x18 -x17 -x16 x15 -x14 x13 x12 -x11 x10 x9 -x8
3.99/4.05 v x7 -x6 -x5 -x4 -x3 x2 -x1
3.99/4.05 c SCIP Status : problem is solved [optimal solution found]
3.99/4.05 c Solving Time : 3.79
3.99/4.05 c Original Problem :
3.99/4.05 c Problem name : HOME/instance-2665088-1276649459.opb
3.99/4.05 c Variables : 270 (270 binary, 0 integer, 0 implicit integer, 0 continuous)
3.99/4.05 c Constraints : 191 initial, 191 maximal
3.99/4.05 c Presolved Problem :
3.99/4.05 c Problem name : t_HOME/instance-2665088-1276649459.opb
3.99/4.05 c Variables : 265 (265 binary, 0 integer, 0 implicit integer, 0 continuous)
3.99/4.05 c Constraints : 191 initial, 1024 maximal
3.99/4.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
3.99/4.05 c trivial : 0.00 0 0 0 0 0 0 0 0
3.99/4.05 c dualfix : 0.00 0 0 0 0 0 0 0 0
3.99/4.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
3.99/4.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
3.99/4.05 c implics : 0.00 0 0 0 0 0 0 0 0
3.99/4.05 c probing : 0.02 0 0 0 0 0 0 0 0
3.99/4.05 c and : 0.01 0 0 0 0 0 0 0 0
3.99/4.05 c linear : 0.00 1 4 0 0 0 0 0 24
3.99/4.05 c logicor : 0.00 0 0 0 0 0 0 0 0
3.99/4.05 c root node : - 0 - - 0 - - - -
3.99/4.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
3.99/4.05 c integral : 0 0 0 692 0 3 91 0 0 1280
3.99/4.05 c and : 179 1626 3086 1 0 79 3690 2748 0 0
3.99/4.05 c linear : 5+ 7 3005 1 0 215 1708 2 0 0
3.99/4.05 c logicor : 7+ 6 1090 0 0 5 262 0 0 0
3.99/4.05 c countsols : 0 0 0 2 0 0 0 0 0 0
3.99/4.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
3.99/4.05 c integral : 1.50 0.00 0.00 1.50 0.00
3.99/4.05 c and : 0.07 0.03 0.04 0.00 0.00
3.99/4.05 c linear : 0.09 0.00 0.09 0.00 0.00
3.99/4.05 c logicor : 0.03 0.00 0.03 0.00 0.00
3.99/4.05 c countsols : 0.00 0.00 0.00 0.00 0.00
3.99/4.05 c Propagators : Time Calls Cutoffs DomReds
3.99/4.05 c vbounds : 0.01 2 0 0
3.99/4.05 c rootredcost : 0.00 2 0 0
3.99/4.05 c pseudoobj : 0.00 2743 0 0
3.99/4.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
3.99/4.05 c propagation : 0.06 299 299 2236 29.2 199 13.8 -
3.99/4.05 c infeasible LP : 0.00 4 4 19 17.4 1 13.0 0
3.99/4.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
3.99/4.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
3.99/4.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
3.99/4.05 c applied globally : - - - 815 15.9 - - -
3.99/4.05 c applied locally : - - - 0 0.0 - - -
3.99/4.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
3.99/4.05 c cut pool : 0.00 5 - - 1 - (maximal pool size: 118)
3.99/4.05 c redcost : 0.00 1627 0 0 0 0
3.99/4.05 c impliedbounds : 0.00 6 0 0 32 0
3.99/4.05 c intobj : 0.00 0 0 0 0 0
3.99/4.05 c cgmip : 0.00 0 0 0 0 0
3.99/4.05 c gomory : 0.03 6 0 0 97 0
3.99/4.05 c strongcg : 0.03 6 0 0 94 0
3.99/4.05 c cmir : 0.02 6 0 0 46 0
3.99/4.05 c flowcover : 0.05 6 0 0 90 0
3.99/4.05 c clique : 0.00 1 0 0 0 0
3.99/4.05 c zerohalf : 0.00 0 0 0 0 0
3.99/4.05 c mcf : 0.00 1 0 0 0 0
3.99/4.05 c rapidlearning : 0.08 1 0 0 0 18
3.99/4.05 c Pricers : Time Calls Vars
3.99/4.05 c problem variables: 0.00 0 0
3.99/4.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
3.99/4.05 c relpscost : 1.50 690 3 91 0 0 1280
3.99/4.05 c pscost : 0.00 0 0 0 0 0 0
3.99/4.05 c inference : 0.00 0 0 0 0 0 0
3.99/4.05 c mostinf : 0.00 0 0 0 0 0 0
3.99/4.05 c leastinf : 0.00 0 0 0 0 0 0
3.99/4.05 c fullstrong : 0.00 0 0 0 0 0 0
3.99/4.05 c allfullstrong : 0.00 0 0 0 0 0 0
3.99/4.05 c random : 0.00 0 0 0 0 0 0
3.99/4.05 c Primal Heuristics : Time Calls Found
3.99/4.05 c LP solutions : 0.01 - 2
3.99/4.05 c pseudo solutions : 0.00 - 0
3.99/4.05 c crossover : 0.00 0 0
3.99/4.05 c guideddiving : 0.00 0 0
3.99/4.05 c coefdiving : 0.01 1 0
3.99/4.05 c pscostdiving : 0.00 1 0
3.99/4.05 c fracdiving : 0.02 1 0
3.99/4.05 c veclendiving : 0.00 1 0
3.99/4.05 c feaspump : 0.00 1 0
3.99/4.05 c objpscostdiving : 0.00 1 0
3.99/4.05 c trivial : 0.00 2 0
3.99/4.05 c simplerounding : 0.00 0 0
3.99/4.05 c zirounding : 0.00 637 0
3.99/4.05 c rounding : 0.01 512 0
3.99/4.05 c shifting : 0.12 146 0
3.99/4.05 c intshifting : 0.00 0 0
3.99/4.05 c oneopt : 0.00 2 0
3.99/4.05 c twoopt : 0.00 0 0
3.99/4.05 c fixandinfer : 0.00 0 0
3.99/4.05 c intdiving : 0.00 0 0
3.99/4.05 c actconsdiving : 0.00 0 0
3.99/4.05 c rootsoldiving : 0.01 1 0
3.99/4.05 c linesearchdiving : 0.01 1 1
3.99/4.05 c octane : 0.00 0 0
3.99/4.05 c rens : 0.01 1 0
3.99/4.05 c rins : 0.00 0 0
3.99/4.05 c localbranching : 0.00 0 0
3.99/4.05 c mutation : 0.00 0 0
3.99/4.05 c dins : 0.00 0 0
3.99/4.05 c undercover : 0.01 1 0
3.99/4.05 c nlp : 0.00 0 0
3.99/4.05 c trysol : 0.00 0 0
3.99/4.05 c LP : Time Calls Iterations Iter/call Iter/sec
3.99/4.05 c primal LP : 0.23 0 0 0.00 0.00
3.99/4.05 c dual LP : 1.15 1694 9106 5.38 7918.26
3.99/4.05 c lex dual LP : 0.00 0 0 0.00 -
3.99/4.05 c barrier LP : 0.00 0 0 0.00 -
3.99/4.05 c diving/probing LP: 0.04 75 274 3.65 6850.00
3.99/4.05 c strong branching : 1.45 1461 14727 10.08 10156.55
3.99/4.05 c (at root node) : - 10 1112 111.20 -
3.99/4.05 c conflict analysis: 0.00 0 0 0.00 -
3.99/4.05 c B&B Tree :
3.99/4.05 c number of runs : 1
3.99/4.05 c nodes : 845
3.99/4.05 c nodes (total) : 845
3.99/4.05 c nodes left : 0
3.99/4.05 c max depth : 44
3.99/4.05 c max depth (total): 44
3.99/4.05 c backtracks : 136 (16.1%)
3.99/4.05 c delayed cutoffs : 104
3.99/4.05 c repropagations : 324 (1334 domain reductions, 94 cutoffs)
3.99/4.05 c avg switch length: 3.63
3.99/4.05 c switching time : 0.29
3.99/4.05 c Solution :
3.99/4.05 c Solutions found : 3 (3 improvements)
3.99/4.05 c First Solution : +5.10000000000000e+01 (in run 1, after 841 nodes, 3.77 seconds, depth 47, found by <linesearchdiving>)
3.99/4.05 c Primal Bound : +2.00000000000000e+00 (in run 1, after 845 nodes, 3.78 seconds, depth 41, found by <relaxation>)
3.99/4.05 c Dual Bound : +2.00000000000000e+00
3.99/4.05 c Gap : 0.00 %
3.99/4.05 c Root Dual Bound : +2.00000000000000e+00
3.99/4.05 c Root Iterations : 161
3.99/4.06 c Time complete: 4.04.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665088-1276649459/watcher-2665088-1276649459 -o /tmp/evaluation-result-2665088-1276649459/solver-2665088-1276649459 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665088-1276649459.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.17 1.03 1.01 3/106 12150
/proc/meminfo: memFree=1703828/2059040 swapFree=4192956/4192956
[pid=12150] ppid=12148 vsize=9288 CPUtime=0
/proc/12150/stat : 12150 (pbscip.linux.x8) R 12148 12150 11756 0 -1 4202496 1056 0 0 0 0 0 0 0 20 0 1 0 6238732 9510912 976 1992294400 4194304 9819077 140735598508576 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12150/statm: 2322 986 371 1374 0 943 0
[startup+0.0597759 s]
/proc/loadavg: 1.17 1.03 1.01 3/106 12150
/proc/meminfo: memFree=1703828/2059040 swapFree=4192956/4192956
[pid=12150] ppid=12148 vsize=14764 CPUtime=0.05
/proc/12150/stat : 12150 (pbscip.linux.x8) R 12148 12150 11756 0 -1 4202496 3910 0 0 0 3 2 0 0 20 0 1 0 6238732 15118336 2449 1992294400 4194304 9819077 140735598508576 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12150/statm: 3691 2453 546 1374 0 2312 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14764
[startup+0.10078 s]
/proc/loadavg: 1.17 1.03 1.01 3/106 12150
/proc/meminfo: memFree=1703828/2059040 swapFree=4192956/4192956
[pid=12150] ppid=12148 vsize=23544 CPUtime=0.09
/proc/12150/stat : 12150 (pbscip.linux.x8) R 12148 12150 11756 0 -1 4202496 6912 0 0 0 5 4 0 0 20 0 1 0 6238732 24109056 4197 1992294400 4194304 9819077 140735598508576 18446744073709551615 6179034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12150/statm: 5886 4197 686 1374 0 4507 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23544
[startup+0.300802 s]
/proc/loadavg: 1.17 1.03 1.01 3/106 12150
/proc/meminfo: memFree=1703828/2059040 swapFree=4192956/4192956
[pid=12150] ppid=12148 vsize=17924 CPUtime=0.29
/proc/12150/stat : 12150 (pbscip.linux.x8) R 12148 12150 11756 0 -1 4202496 8612 0 0 0 22 7 0 0 20 0 1 0 6238732 18354176 3317 1992294400 4194304 9819077 140735598508576 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12150/statm: 4481 3317 697 1374 0 3102 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17924
[startup+0.700845 s]
/proc/loadavg: 1.17 1.03 1.01 3/106 12150
/proc/meminfo: memFree=1703828/2059040 swapFree=4192956/4192956
[pid=12150] ppid=12148 vsize=17928 CPUtime=0.69
/proc/12150/stat : 12150 (pbscip.linux.x8) R 12148 12150 11756 0 -1 4202496 11555 0 0 0 60 9 0 0 21 0 1 0 6238732 18358272 3413 1992294400 4194304 9819077 140735598508576 18446744073709551615 7235743 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12150/statm: 4482 3413 715 1374 0 3103 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17928
[startup+1.50093 s]
/proc/loadavg: 1.17 1.03 1.01 2/107 12151
/proc/meminfo: memFree=1692288/2059040 swapFree=4192956/4192956
[pid=12150] ppid=12148 vsize=17928 CPUtime=1.49
/proc/12150/stat : 12150 (pbscip.linux.x8) R 12148 12150 11756 0 -1 4202496 13793 0 0 0 137 12 0 0 23 0 1 0 6238732 18358272 3414 1992294400 4194304 9819077 140735598508576 18446744073709551615 6389249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12150/statm: 4482 3414 715 1374 0 3103 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17928
[startup+3.1011 s]
/proc/loadavg: 1.17 1.03 1.01 2/107 12153
/proc/meminfo: memFree=1691916/2059040 swapFree=4192956/4192956
[pid=12150] ppid=12148 vsize=17928 CPUtime=3.09
/proc/12150/stat : 12150 (pbscip.linux.x8) R 12148 12150 11756 0 -1 4202496 17331 0 0 0 289 20 0 0 25 0 1 0 6238732 18358272 3418 1992294400 4194304 9819077 140735598508576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12150/statm: 4482 3418 716 1374 0 3103 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17928
Solver just ended. Dumping a history of the last processes samples
[startup+3.50115 s]
/proc/loadavg: 1.15 1.03 1.01 2/107 12153
/proc/meminfo: memFree=1691916/2059040 swapFree=4192956/4192956
[pid=12150] ppid=12148 vsize=19500 CPUtime=3.49
/proc/12150/stat : 12150 (pbscip.linux.x8) R 12148 12150 11756 0 -1 4202496 18213 0 0 0 328 21 0 0 25 0 1 0 6238732 19968000 3447 1992294400 4194304 9819077 140735598508576 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12150/statm: 4875 3447 718 1374 0 3496 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 19500
[startup+3.90019 s]
/proc/loadavg: 1.15 1.03 1.01 2/107 12153
/proc/meminfo: memFree=1691916/2059040 swapFree=4192956/4192956
[pid=12150] ppid=12148 vsize=18232 CPUtime=3.89
/proc/12150/stat : 12150 (pbscip.linux.x8) R 12148 12150 11756 0 -1 4202496 19765 0 0 0 365 24 0 0 25 0 1 0 6238732 18669568 3441 1992294400 4194304 9819077 140735598508576 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12150/statm: 4558 3441 718 1374 0 3179 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 18232
[startup+4.0002 s]
/proc/loadavg: 1.15 1.03 1.01 2/107 12153
/proc/meminfo: memFree=1691916/2059040 swapFree=4192956/4192956
[pid=12150] ppid=12148 vsize=18420 CPUtime=3.99
/proc/12150/stat : 12150 (pbscip.linux.x8) R 12148 12150 11756 0 -1 4202496 20456 0 0 0 374 25 0 0 25 0 1 0 6238732 18862080 3442 1992294400 4194304 9819077 140735598508576 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12150/statm: 4605 3442 718 1374 0 3226 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 18420
Child status: 0
Real time (s): 4.06016
CPU time (s): 4.05938
CPU user time (s): 3.79842
CPU system time (s): 0.26096
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 25008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.79842
system time used= 0.26096
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20850
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= 53
runsolver used 0.003999 second user time and 0.032994 second system time
The end