0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver Clp 1.8.2
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1870059-1245188497.opb>
0.00/0.01 c original problem has 432 variables (432 bin, 0 int, 0 impl, 0 cont) and 333 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.05 c (round 1) 4 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 35 chg coeffs, 0 upgd conss, 1536 impls, 0 clqs
0.00/0.05 c (round 2) 22 del vars, 16 del conss, 0 chg bounds, 0 chg sides, 51 chg coeffs, 5 upgd conss, 2400 impls, 0 clqs
0.00/0.05 c (round 3) 40 del vars, 32 del conss, 0 chg bounds, 0 chg sides, 67 chg coeffs, 5 upgd conss, 2976 impls, 0 clqs
0.04/0.05 c (round 4) 58 del vars, 48 del conss, 0 chg bounds, 0 chg sides, 83 chg coeffs, 5 upgd conss, 3264 impls, 0 clqs
0.04/0.06 c (round 5) 76 del vars, 64 del conss, 0 chg bounds, 0 chg sides, 99 chg coeffs, 5 upgd conss, 3264 impls, 0 clqs
0.04/0.07 c (0.0s) probing: 158/356 (44.4%) - 0 fixings, 0 aggregations, 8 implications, 0 bound changes
0.04/0.07 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.04/0.07 c presolving (6 rounds):
0.04/0.07 c 76 deleted vars, 64 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 99 changed coefficients
0.04/0.07 c 3280 implications, 0 cliques
0.04/0.07 c presolved problem has 356 variables (356 bin, 0 int, 0 impl, 0 cont) and 265 constraints
0.04/0.07 c 256 constraints of type <and>
0.04/0.07 c 4 constraints of type <linear>
0.04/0.07 c 5 constraints of type <logicor>
0.04/0.07 c transformed objective value is always integral (scale: 2)
0.04/0.07 c Presolving Time: 0.04
0.04/0.07 c OPT-NLC
0.04/0.07 c -----------------------------------------------------------------------------------------------
0.04/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.07 c limits/memory = c 1620
0.04/0.07 c # maximal time in seconds to run
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.07 c limits/time = c 1791
0.04/0.07 c # frequency for displaying node information lines
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.07 c display/freq = c 10000
0.04/0.07 c -----------------------------------------------------------------------------------------------
0.04/0.07 c start solving problem
0.04/0.07 c
0.04/0.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.04/0.08 c 0.1s| 1 | 0 | 13 |1641k| 0 | 7 | 356 | 265 | 265 | 356 | 521 | 0 | 0 | 0 | 3.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 435 |1655k| 0 | 13 | 356 | 265 | 265 | 356 | 524 | 3 | 0 | 0 | 3.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 442 |1662k| 0 | 9 | 356 | 265 | 265 | 356 | 531 | 10 | 0 | 0 | 3.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 452 |1671k| 0 | 25 | 356 | 265 | 265 | 356 | 534 | 13 | 0 | 0 | 3.000000e+00 | -- | Inf
0.09/0.20 c 0.1s| 1 | 0 | 465 |1676k| 0 | 19 | 356 | 265 | 265 | 356 | 539 | 18 | 0 | 0 | 3.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 474 |1678k| 0 | 26 | 356 | 265 | 265 | 356 | 541 | 20 | 0 | 0 | 3.000000e+00 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 494 |1682k| 0 | 26 | 356 | 265 | 265 | 356 | 543 | 22 | 0 | 0 | 3.000000e+00 | -- | Inf
0.29/0.30 c 0.3s| 1 | 0 | 509 |1697k| 0 | 31 | 356 | 265 | 265 | 356 | 549 | 28 | 0 | 0 | 3.000000e+00 | -- | Inf
0.39/0.45 c 0.4s| 1 | 2 | 509 |1697k| 0 | 31 | 356 | 265 | 265 | 356 | 549 | 28 | 0 | 28 | 3.000000e+00 | -- | Inf
32.78/32.82 o 3
32.78/32.82 c *32.3s| 8878 | 0 |166038 |3837k| 63 | - | 356 |3502 | 254 | 356 | 252 | 62k|4292 |3655 | 3.000000e+00 | 3.000000e+00 | 0.00%
32.78/32.83 c
32.78/32.83 c SCIP Status : problem is solved [optimal solution found]
32.78/32.83 c Solving Time (sec) : 32.31
32.78/32.83 c Solving Nodes : 8878
32.78/32.83 c Primal Bound : +3.00000000000000e+00 (1 solutions)
32.78/32.83 c Dual Bound : +3.00000000000000e+00
32.78/32.83 c Gap : 0.00 %
32.78/32.83 c NODE 8878
32.78/32.83 c DUAL BOUND 3
32.78/32.83 c PRIMAL BOUND 3
32.78/32.83 c GAP 0
32.78/32.83 s OPTIMUM FOUND
32.78/32.83 v x108 x107 x106 x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 x72 x71 x70 x69 x68 -x67 x66 x65 x64
32.78/32.83 v -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 x82 -x63 -x62 -x61 -x60 -x59 -x58 -x57 x56 x55 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
32.78/32.83 v -x73 -x54 x53 -x52 x51 -x50 x49 -x48 x47 x46 x45 x44 x43 x42 x41 x40 -x39 -x38 x37 x36 x35 x34 x33 x32 x31 x30 -x29 x28 -x27
32.78/32.83 v -x26 -x25 -x24 -x23 x22 -x21 -x20 x19 -x18 -x17 -x16 x15 x14 x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
32.78/32.83 c SCIP Status : problem is solved [optimal solution found]
32.78/32.83 c Solving Time : 32.31
32.78/32.83 c Original Problem :
32.78/32.83 c Problem name : HOME/instance-1870059-1245188497.opb
32.78/32.83 c Variables : 432 (432 binary, 0 integer, 0 implicit integer, 0 continuous)
32.78/32.83 c Constraints : 333 initial, 333 maximal
32.78/32.83 c Presolved Problem :
32.78/32.83 c Problem name : t_HOME/instance-1870059-1245188497.opb
32.78/32.83 c Variables : 356 (356 binary, 0 integer, 0 implicit integer, 0 continuous)
32.78/32.83 c Constraints : 265 initial, 3546 maximal
32.78/32.83 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
32.78/32.83 c trivial : 0.01 0 0 0 0 0 0 0 0
32.78/32.83 c dualfix : 0.00 0 0 0 0 0 0 0 0
32.78/32.83 c boundshift : 0.00 0 0 0 0 0 0 0 0
32.78/32.83 c inttobinary : 0.00 0 0 0 0 0 0 0 0
32.78/32.83 c implics : 0.00 0 0 0 0 0 0 0 0
32.78/32.83 c probing : 0.01 0 0 0 0 0 0 0 0
32.78/32.83 c and : 0.01 8 64 0 0 0 64 0 64
32.78/32.83 c linear : 0.00 1 3 0 0 0 0 0 35
32.78/32.83 c logicor : 0.00 0 0 0 0 0 0 0 0
32.78/32.83 c root node : - 0 - - 0 - - - -
32.78/32.83 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
32.78/32.83 c integral : 0 0 0 7294 0 8 140 0 0 14390
32.78/32.83 c and : 256 21488 24160 1 0 323 45926 62875 0 0
32.78/32.83 c linear : 4 7 23837 1 0 2219 13289 0 0 0
32.78/32.83 c logicor : 5+ 7 11461 0 0 43 1922 0 0 0
32.78/32.83 c countsols : 0 0 0 1 0 0 0 0 0 0
32.78/32.83 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
32.78/32.83 c integral : 2.07 0.00 0.00 2.07 0.00
32.78/32.83 c and : 1.21 0.91 0.30 0.00 0.00
32.78/32.83 c linear : 0.88 0.00 0.88 0.00 0.00
32.78/32.83 c logicor : 0.74 0.00 0.74 0.00 0.00
32.78/32.83 c countsols : 0.00 0.00 0.00 0.00 0.00
32.78/32.83 c Propagators : Time Calls Cutoffs DomReds
32.78/32.83 c rootredcost : 0.01 0 0 0
32.78/32.83 c pseudoobj : 0.04 23839 0 0
32.78/32.83 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
32.78/32.83 c propagation : 0.38 2258 2226 24936 45.5 1670 54.5 -
32.78/32.83 c infeasible LP : 0.00 15 0 0 0.0 0 0.0 0
32.78/32.83 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
32.78/32.83 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
32.78/32.83 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
32.78/32.83 c applied globally : - - - 4259 21.8 - - -
32.78/32.83 c applied locally : - - - 33 53.2 - - -
32.78/32.83 c Separators : Time Calls Cutoffs DomReds Cuts Conss
32.78/32.83 c cut pool : 0.00 6 - - 0 - (maximal pool size: 27)
32.78/32.83 c redcost : 0.24 21488 0 0 0 0
32.78/32.83 c impliedbounds : 0.00 7 0 0 21 0
32.78/32.83 c intobj : 0.00 0 0 0 0 0
32.78/32.83 c gomory : 0.01 7 0 0 8 0
32.78/32.83 c strongcg : 0.02 7 0 0 10 0
32.78/32.83 c cmir : 0.03 7 0 0 20 0
32.78/32.83 c flowcover : 0.08 7 0 0 35 0
32.78/32.83 c clique : 0.00 1 0 0 0 0
32.78/32.83 c zerohalf : 0.00 0 0 0 0 0
32.78/32.83 c mcf : 0.00 1 0 0 0 0
32.78/32.83 c Pricers : Time Calls Vars
32.78/32.83 c problem variables: 0.00 0 0
32.78/32.83 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
32.78/32.83 c relpscost : 2.07 7293 8 140 0 0 14390
32.78/32.83 c pscost : 0.00 0 0 0 0 0 0
32.78/32.83 c inference : 0.00 0 0 0 0 0 0
32.78/32.83 c mostinf : 0.00 0 0 0 0 0 0
32.78/32.83 c leastinf : 0.00 0 0 0 0 0 0
32.78/32.83 c fullstrong : 0.00 0 0 0 0 0 0
32.78/32.83 c allfullstrong : 0.00 0 0 0 0 0 0
32.78/32.83 c random : 0.00 0 0 0 0 0 0
32.78/32.83 c Primal Heuristics : Time Calls Found
32.78/32.83 c LP solutions : 0.02 - 1
32.78/32.83 c pseudo solutions : 0.00 - 0
32.78/32.83 c oneopt : 0.00 0 0
32.78/32.83 c crossover : 0.00 0 0
32.78/32.83 c guideddiving : 0.00 0 0
32.78/32.83 c intshifting : 0.00 0 0
32.78/32.83 c veclendiving : 0.12 19 0
32.78/32.83 c linesearchdiving : 0.10 19 0
32.78/32.83 c feaspump : 0.14 10 0
32.78/32.83 c objpscostdiving : 0.13 10 0
32.78/32.83 c rootsoldiving : 0.16 10 0
32.78/32.83 c coefdiving : 0.12 20 0
32.78/32.83 c pscostdiving : 0.14 20 0
32.78/32.83 c fracdiving : 0.06 20 0
32.78/32.83 c simplerounding : 0.02 0 0
32.78/32.83 c rounding : 0.05 2134 0
32.78/32.83 c shifting : 0.74 570 0
32.78/32.83 c fixandinfer : 0.00 0 0
32.78/32.83 c intdiving : 0.00 0 0
32.78/32.83 c actconsdiving : 0.00 0 0
32.78/32.83 c octane : 0.00 0 0
32.78/32.83 c rens : 0.02 1 0
32.78/32.83 c rins : 0.00 0 0
32.78/32.83 c localbranching : 0.00 0 0
32.78/32.83 c mutation : 0.00 0 0
32.78/32.83 c dins : 0.00 0 0
32.78/32.83 c LP : Time Calls Iterations Iter/call Iter/sec
32.78/32.83 c primal LP : 3.16 0 0 0.00 0.00
32.78/32.83 c dual LP : 18.16 23290 157935 6.78 8696.86
32.78/32.83 c barrier LP : 0.00 0 0 0.00 -
32.78/32.83 c diving/probing LP: 0.70 1074 8103 7.54 11575.71
32.78/32.83 c strong branching : 1.97 3655 32273 8.83 16382.23
32.78/32.83 c (at root node) : - 28 1398 49.93 -
32.78/32.83 c conflict analysis: 0.00 0 0 0.00 -
32.78/32.83 c B&B Tree :
32.78/32.83 c number of runs : 1
32.78/32.83 c nodes : 8878
32.78/32.83 c nodes (total) : 8878
32.78/32.83 c nodes left : 0
32.78/32.83 c max depth : 63
32.78/32.83 c max depth (total): 63
32.78/32.83 c backtracks : 1051 (11.8%)
32.78/32.83 c delayed cutoffs : 799
32.78/32.83 c repropagations : 2312 (11675 domain reductions, 727 cutoffs)
32.78/32.83 c avg switch length: 4.51
32.78/32.83 c switching time : 3.88
32.78/32.83 c Solution :
32.78/32.83 c Solutions found : 1 (1 improvements)
32.78/32.83 c Primal Bound : +3.00000000000000e+00 (in run 1, after 8878 nodes, 32.29 seconds, depth 61, found by <relaxation>)
32.78/32.83 c Dual Bound : +3.00000000000000e+00
32.78/32.83 c Gap : 0.00 %
32.78/32.83 c Root Dual Bound : +3.00000000000000e+00
32.78/32.84 c Time complete: 32.83.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870059-1245188497/watcher-1870059-1245188497 -o /tmp/evaluation-result-1870059-1245188497/solver-1870059-1245188497 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870059-1245188497.opb
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.88 0.94 0.98 3/65 5096
/proc/meminfo: memFree=1882600/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=7616 CPUtime=0
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 604 0 0 0 0 0 0 0 20 0 1 0 4761952 7798784 588 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/5096/statm: 1904 599 353 1256 0 643 0
[startup+0.0576829 s]
/proc/loadavg: 0.88 0.94 0.98 3/65 5096
/proc/meminfo: memFree=1882600/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=14108 CPUtime=0.04
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 2703 0 0 0 2 2 0 0 20 0 1 0 4761952 14446592 2333 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5096/statm: 3527 2337 482 1256 0 2266 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14108
[startup+0.101688 s]
/proc/loadavg: 0.88 0.94 0.98 3/65 5096
/proc/meminfo: memFree=1882600/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=17272 CPUtime=0.09
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 3310 0 0 0 6 3 0 0 20 0 1 0 4761952 17686528 2939 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5096/statm: 4318 2939 649 1256 0 3057 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17272
[startup+0.301707 s]
/proc/loadavg: 0.88 0.94 0.98 3/65 5096
/proc/meminfo: memFree=1882600/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=22692 CPUtime=0.29
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 4584 0 0 0 25 4 0 0 22 0 1 0 4761952 23236608 4213 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5096/statm: 5673 4213 678 1256 0 4412 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22692
[startup+0.701743 s]
/proc/loadavg: 0.88 0.94 0.98 3/65 5096
/proc/meminfo: memFree=1882600/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=23420 CPUtime=0.69
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 6487 0 0 0 64 5 0 0 25 0 1 0 4761952 23982080 4384 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5096/statm: 5855 4384 695 1256 0 4594 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23420
[startup+1.50182 s]
/proc/loadavg: 0.88 0.94 0.98 2/66 5097
/proc/meminfo: memFree=1867552/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=23420 CPUtime=1.49
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 6578 0 0 0 143 6 0 0 25 0 1 0 4761952 23982080 4475 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5096/statm: 5855 4475 695 1256 0 4594 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23420
[startup+3.10197 s]
/proc/loadavg: 0.88 0.94 0.98 2/66 5097
/proc/meminfo: memFree=1866656/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=24136 CPUtime=3.09
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 6823 0 0 0 300 9 0 0 25 0 1 0 4761952 24715264 4720 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5096/statm: 6034 4720 698 1256 0 4773 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24136
[startup+6.30127 s]
/proc/loadavg: 0.89 0.94 0.98 2/66 5097
/proc/meminfo: memFree=1865504/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=24592 CPUtime=6.29
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 7040 0 0 0 616 13 0 0 25 0 1 0 4761952 25182208 4937 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5096/statm: 6148 4937 698 1256 0 4887 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24592
[startup+12.7019 s]
/proc/loadavg: 0.90 0.94 0.98 2/66 5097
/proc/meminfo: memFree=1863720/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=26644 CPUtime=12.69
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 7515 0 0 0 1246 23 0 0 25 0 1 0 4761952 27283456 5412 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5096/statm: 6661 5412 698 1256 0 5400 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26644
[startup+25.5011 s]
/proc/loadavg: 0.92 0.94 0.98 2/66 5097
/proc/meminfo: memFree=1859624/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=31012 CPUtime=25.48
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 8542 0 0 0 2509 39 0 0 25 0 1 0 4761952 31756288 6439 1992294400 4194304 9342243 548682068736 18446744073709551615 6253401 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5096/statm: 7753 6439 698 1256 0 6492 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31012
Solver just ended. Dumping a history of the last processes samples
[startup+28.7014 s]
/proc/loadavg: 0.92 0.94 0.98 2/66 5097
/proc/meminfo: memFree=1858984/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=31568 CPUtime=28.68
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 8700 0 0 0 2824 44 0 0 25 0 1 0 4761952 32325632 6597 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5096/statm: 7892 6597 698 1256 0 6631 0
Current children cumulated CPU time (s) 28.68
Current children cumulated vsize (KiB) 31568
[startup+30.3015 s]
/proc/loadavg: 0.93 0.95 0.98 2/66 5097
/proc/meminfo: memFree=1858600/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=32316 CPUtime=30.28
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 8818 0 0 0 2981 47 0 0 25 0 1 0 4761952 33091584 6715 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5096/statm: 8079 6715 698 1256 0 6818 0
Current children cumulated CPU time (s) 30.28
Current children cumulated vsize (KiB) 32316
[startup+31.9057 s]
/proc/loadavg: 0.93 0.95 0.98 2/66 5097
/proc/meminfo: memFree=1858088/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=32524 CPUtime=31.89
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 8928 0 0 0 3140 49 0 0 25 0 1 0 4761952 33304576 6825 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5096/statm: 8131 6825 698 1256 0 6870 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 32524
[startup+32.3017 s]
/proc/loadavg: 0.93 0.95 0.98 2/66 5097
/proc/meminfo: memFree=1858088/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=32524 CPUtime=32.28
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 8931 0 0 0 3178 50 0 0 25 0 1 0 4761952 33304576 6828 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5096/statm: 8131 6828 698 1256 0 6870 0
Current children cumulated CPU time (s) 32.28
Current children cumulated vsize (KiB) 32524
[startup+32.7027 s]
/proc/loadavg: 0.93 0.95 0.98 2/66 5097
/proc/meminfo: memFree=1858088/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=32924 CPUtime=32.68
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 9014 0 0 0 3218 50 0 0 25 0 1 0 4761952 33714176 6911 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5096/statm: 8231 6911 698 1256 0 6970 0
Current children cumulated CPU time (s) 32.68
Current children cumulated vsize (KiB) 32924
[startup+32.8027 s]
/proc/loadavg: 0.93 0.95 0.98 2/66 5097
/proc/meminfo: memFree=1858088/2055920 swapFree=4192956/4192956
[pid=5096] ppid=5094 vsize=32924 CPUtime=32.78
/proc/5096/stat : 5096 (pbscip.linux.x8) R 5094 5096 3324 0 -1 4194304 9023 0 0 0 3228 50 0 0 25 0 1 0 4761952 33714176 6920 1992294400 4194304 9342243 548682068736 18446744073709551615 5869983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5096/statm: 8231 6920 698 1256 0 6970 0
Current children cumulated CPU time (s) 32.78
Current children cumulated vsize (KiB) 32924
Child status: 0
Real time (s): 32.8461
CPU time (s): 32.837
CPU user time (s): 32.3241
CPU system time (s): 0.512922
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 32924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.3241
system time used= 0.512922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9028
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= 2
involuntary context switches= 60
runsolver used 0.039993 second user time and 0.083987 second system time
The end