0.00/0.02 c SCIP version 1.1.0.7
0.00/0.02 c LP-Solver Clp 1.8.2
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c read problem <HOME/instance-1868837-1245147097.opb>
0.00/0.02 c original problem has 144 variables (144 bin, 0 int, 0 impl, 0 cont) and 704 constraints
0.00/0.02 c start presolving problem
0.00/0.02 c presolving:
0.00/0.05 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 704 upgd conss, 312 impls, 84 clqs
0.00/0.05 c (round 2) 0 del vars, 192 del conss, 0 chg bounds, 324 chg sides, 576 chg coeffs, 704 upgd conss, 312 impls, 119 clqs
0.00/0.06 c (round 3) 0 del vars, 240 del conss, 0 chg bounds, 324 chg sides, 576 chg coeffs, 704 upgd conss, 312 impls, 119 clqs
0.00/0.07 c presolving (4 rounds):
0.00/0.07 c 0 deleted vars, 240 deleted constraints, 0 tightened bounds, 0 added holes, 324 changed sides, 576 changed coefficients
0.00/0.07 c 768 implications, 119 cliques
0.00/0.07 c presolved problem has 144 variables (144 bin, 0 int, 0 impl, 0 cont) and 692 constraints
0.00/0.07 c 144 constraints of type <knapsack>
0.00/0.07 c 84 constraints of type <setppc>
0.00/0.07 c 464 constraints of type <logicor>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.05
0.00/0.07 c OPT-LIN
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/memory = c 1620
0.00/0.07 c # maximal time in seconds to run
0.00/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.07 c limits/time = c 1791
0.00/0.07 c # frequency for displaying node information lines
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.07 c display/freq = c 10000
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving problem
0.00/0.07 c
0.00/0.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.08 c 0.1s| 1 | 0 | 126 |1421k| 0 | 84 | 144 | 692 | 692 | 144 | 692 | 0 | 0 | 0 | 1.600000e+01 | -- | Inf
0.19/0.26 c 0.2s| 1 | 0 | 575 |2269k| 0 | 98 | 144 | 692 | 692 | 144 | 703 | 11 | 0 | 0 | 1.600000e+01 | -- | Inf
0.39/0.40 c 0.4s| 1 | 0 | 687 |2273k| 0 | 100 | 144 | 692 | 692 | 144 | 709 | 17 | 0 | 0 | 1.600000e+01 | -- | Inf
0.49/0.55 c 0.5s| 1 | 0 | 805 |2277k| 0 | 107 | 144 | 692 | 692 | 144 | 715 | 23 | 0 | 0 | 1.600000e+01 | -- | Inf
0.59/0.69 c 0.7s| 1 | 0 | 890 |2297k| 0 | 110 | 144 | 692 | 692 | 144 | 720 | 28 | 0 | 0 | 1.600000e+01 | -- | Inf
0.79/0.84 c 0.8s| 1 | 0 | 1036 |2316k| 0 | 100 | 144 | 692 | 692 | 144 | 729 | 37 | 0 | 0 | 1.600000e+01 | -- | Inf
0.89/0.99 c 0.9s| 1 | 0 | 1174 |2424k| 0 | 107 | 144 | 692 | 692 | 144 | 736 | 44 | 0 | 0 | 1.600000e+01 | -- | Inf
1.79/1.80 c 1.8s| 1 | 2 | 1174 |2424k| 0 | 107 | 144 | 692 | 692 | 144 | 736 | 44 | 0 | 22 | 1.600000e+01 | -- | Inf
3.89/3.95 o 24
3.89/3.95 c * 3.9s| 5 | 4 | 1919 |2438k| 4 | - | 144 | 692 | 628 | 144 | 715 | 44 | 0 | 146 | 1.600000e+01 | 2.400000e+01 | 50.00%
4.48/4.52 o 20
4.48/4.52 c * 4.5s| 7 | 3 | 2118 |2440k| 5 | - | 144 | 692 | 603 | 144 | 715 | 44 | 0 | 176 | 1.600000e+01 | 2.000000e+01 | 25.00%
16.88/16.92 c
16.88/16.92 c SCIP Status : problem is solved [optimal solution found]
16.88/16.92 c Solving Time (sec) : 16.81
16.88/16.92 c Solving Nodes : 38
16.88/16.92 c Primal Bound : +2.00000000000000e+01 (2 solutions)
16.88/16.92 c Dual Bound : +2.00000000000000e+01
16.88/16.92 c Gap : 0.00 %
16.88/16.92 c NODE 38
16.88/16.92 c DUAL BOUND 20
16.88/16.92 c PRIMAL BOUND 20
16.88/16.92 c GAP 0
16.88/16.92 s OPTIMUM FOUND
16.88/16.92 v x81 -x65 -x49 -x33 x17 x1 x96 x80 x64 -x48 -x32 -x16 -x91 x75 x59 x43 -x27 -x11 -x86 -x70 -x54 x38 x22 x6 -x95 -x79 -x63 x47 -x31
16.88/16.92 v -x15 -x94 -x78 -x62 -x46 x30 -x14 -x93 -x77 -x61 -x45 -x29 x13 x92 -x76 -x60 -x44 -x28 -x12 -x90 -x74 -x58 -x42 -x26 x10 -x89
16.88/16.92 v -x73 -x57 -x41 x25 -x9 -x88 -x72 x56 -x40 -x24 -x8 -x87 x71 -x55 -x39 -x23 -x7 x85 -x69 -x53 -x37 -x21 -x5 -x84 x68 -x52
16.88/16.92 v -x36 -x20 -x4 -x83 -x67 x51 -x35 -x19 -x3 -x82 -x66 -x50 x34 -x18 -x2 -x144 -x143 x142 x141 -x140 -x139 -x138 x137 -x136 -x135
16.88/16.92 v -x134 x133 x132 -x131 -x130 x129 x128 -x127 -x126 -x125 x124 -x123 x122 -x121 x120 -x119 -x118 -x117 -x116 x115 x114 -x113
16.88/16.92 v -x112 -x111 -x110 x109 -x108 -x107 x106 x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 x97
16.88/16.92 c SCIP Status : problem is solved [optimal solution found]
16.88/16.92 c Solving Time : 16.81
16.88/16.92 c Original Problem :
16.88/16.92 c Problem name : HOME/instance-1868837-1245147097.opb
16.88/16.92 c Variables : 144 (144 binary, 0 integer, 0 implicit integer, 0 continuous)
16.88/16.92 c Constraints : 704 initial, 704 maximal
16.88/16.92 c Presolved Problem :
16.88/16.92 c Problem name : t_HOME/instance-1868837-1245147097.opb
16.88/16.92 c Variables : 144 (144 binary, 0 integer, 0 implicit integer, 0 continuous)
16.88/16.92 c Constraints : 692 initial, 692 maximal
16.88/16.92 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
16.88/16.92 c trivial : 0.00 0 0 0 0 0 0 0 0
16.88/16.92 c dualfix : 0.00 0 0 0 0 0 0 0 0
16.88/16.92 c boundshift : 0.00 0 0 0 0 0 0 0 0
16.88/16.92 c inttobinary : 0.00 0 0 0 0 0 0 0 0
16.88/16.92 c implics : 0.00 0 0 0 0 0 0 0 0
16.88/16.92 c probing : 0.02 0 0 0 0 0 0 0 0
16.88/16.92 c knapsack : 0.01 0 0 0 0 0 12 324 576
16.88/16.92 c setppc : 0.00 0 0 0 0 0 228 0 0
16.88/16.92 c logicor : 0.00 0 0 0 0 0 0 0 0
16.88/16.92 c root node : - 42 - - 42 - - - -
16.88/16.92 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
16.88/16.92 c integral : 0 0 0 58 0 12 104 0 0 38
16.88/16.92 c knapsack : 144 6 521 2 0 0 0 0 0 0
16.88/16.92 c setppc : 84 6 521 2 0 0 205 0 0 0
16.88/16.92 c logicor : 464+ 6 380 2 0 1 120 0 0 0
16.88/16.92 c countsols : 0 0 0 2 0 0 0 0 0 0
16.88/16.92 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
16.88/16.92 c integral : 15.00 0.00 0.00 15.00 0.00
16.88/16.92 c knapsack : 0.00 0.00 0.00 0.00 0.00
16.88/16.92 c setppc : 0.01 0.00 0.01 0.00 0.00
16.88/16.92 c logicor : 0.01 0.00 0.00 0.01 0.00
16.88/16.92 c countsols : 0.00 0.00 0.00 0.00 0.00
16.88/16.92 c Propagators : Time Calls Cutoffs DomReds
16.88/16.92 c rootredcost : 0.00 2 0 0
16.88/16.92 c pseudoobj : 0.00 175 0 0
16.88/16.92 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
16.88/16.92 c propagation : 0.00 1 1 3 9.0 0 0.0 -
16.88/16.92 c infeasible LP : 0.00 8 0 0 0.0 0 0.0 0
16.88/16.92 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
16.88/16.92 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
16.88/16.92 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
16.88/16.92 c applied globally : - - - 1 7.0 - - -
16.88/16.92 c applied locally : - - - 0 0.0 - - -
16.88/16.92 c Separators : Time Calls Cutoffs DomReds Cuts Conss
16.88/16.92 c cut pool : 0.02 5 - - 5 - (maximal pool size: 556)
16.88/16.92 c redcost : 0.00 71 0 73 0 0
16.88/16.92 c impliedbounds : 0.00 6 0 0 0 0
16.88/16.92 c intobj : 0.00 0 0 0 0 0
16.88/16.92 c gomory : 0.32 6 0 0 368 0
16.88/16.92 c strongcg : 0.26 6 0 0 567 0
16.88/16.92 c cmir : 0.03 6 0 0 0 0
16.88/16.92 c flowcover : 0.03 6 0 0 0 0
16.88/16.92 c clique : 0.01 6 0 0 42 0
16.88/16.92 c zerohalf : 0.00 0 0 0 0 0
16.88/16.92 c mcf : 0.00 1 0 0 0 0
16.88/16.92 c Pricers : Time Calls Vars
16.88/16.92 c problem variables: 0.00 0 0
16.88/16.92 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
16.88/16.92 c relpscost : 15.00 56 12 104 0 0 38
16.88/16.92 c pscost : 0.00 0 0 0 0 0 0
16.88/16.92 c inference : 0.00 0 0 0 0 0 0
16.88/16.92 c mostinf : 0.00 0 0 0 0 0 0
16.88/16.92 c leastinf : 0.00 0 0 0 0 0 0
16.88/16.92 c fullstrong : 0.00 0 0 0 0 0 0
16.88/16.92 c allfullstrong : 0.00 0 0 0 0 0 0
16.88/16.92 c random : 0.00 0 0 0 0 0 0
16.88/16.92 c Primal Heuristics : Time Calls Found
16.88/16.92 c LP solutions : 0.00 - 2
16.88/16.92 c pseudo solutions : 0.00 - 0
16.88/16.92 c fracdiving : 0.00 0 0
16.88/16.92 c veclendiving : 0.00 0 0
16.88/16.92 c objpscostdiving : 0.00 0 0
16.88/16.92 c rootsoldiving : 0.00 0 0
16.88/16.92 c linesearchdiving : 0.00 0 0
16.88/16.92 c oneopt : 0.00 2 0
16.88/16.92 c coefdiving : 0.02 1 0
16.88/16.92 c pscostdiving : 0.00 1 0
16.88/16.92 c simplerounding : 0.00 0 0
16.88/16.92 c rounding : 0.03 62 0
16.88/16.92 c shifting : 0.00 7 0
16.88/16.92 c intshifting : 0.00 0 0
16.88/16.92 c fixandinfer : 0.00 0 0
16.88/16.92 c feaspump : 0.06 1 0
16.88/16.92 c intdiving : 0.00 0 0
16.88/16.92 c actconsdiving : 0.00 0 0
16.88/16.92 c guideddiving : 0.00 0 0
16.88/16.92 c octane : 0.00 0 0
16.88/16.92 c rens : 0.01 0 0
16.88/16.92 c rins : 0.00 0 0
16.88/16.92 c localbranching : 0.00 0 0
16.88/16.92 c mutation : 0.00 0 0
16.88/16.92 c crossover : 0.00 0 0
16.88/16.92 c dins : 0.00 0 0
16.88/16.92 c LP : Time Calls Iterations Iter/call Iter/sec
16.88/16.92 c primal LP : 0.01 0 0 0.00 0.00
16.88/16.92 c dual LP : 0.92 69 6706 97.19 7289.13
16.88/16.92 c barrier LP : 0.00 0 0 0.00 -
16.88/16.92 c diving/probing LP: 0.07 15 468 31.20 6685.71
16.88/16.92 c strong branching : 14.99 721 83355 115.61 5560.71
16.88/16.92 c (at root node) : - 22 3645 165.68 -
16.88/16.92 c conflict analysis: 0.00 0 0 0.00 -
16.88/16.92 c B&B Tree :
16.88/16.92 c number of runs : 1
16.88/16.92 c nodes : 38
16.88/16.92 c nodes (total) : 38
16.88/16.92 c nodes left : 0
16.88/16.92 c max depth : 6
16.88/16.92 c max depth (total): 6
16.88/16.92 c backtracks : 5 (13.2%)
16.88/16.92 c delayed cutoffs : 0
16.88/16.92 c repropagations : 2 (0 domain reductions, 0 cutoffs)
16.88/16.92 c avg switch length: 2.37
16.88/16.92 c switching time : 0.01
16.88/16.92 c Solution :
16.88/16.92 c Solutions found : 2 (2 improvements)
16.88/16.92 c Primal Bound : +2.00000000000000e+01 (in run 1, after 7 nodes, 4.47 seconds, depth 5, found by <relaxation>)
16.88/16.92 c Dual Bound : +2.00000000000000e+01
16.88/16.92 c Gap : 0.00 %
16.88/16.92 c Root Dual Bound : +1.60000000000000e+01
16.88/16.93 c Time complete: 16.92.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868837-1245147097/watcher-1868837-1245147097 -o /tmp/evaluation-result-1868837-1245147097/solver-1868837-1245147097 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868837-1245147097.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: 1.07 1.02 1.00 3/64 2257
/proc/meminfo: memFree=1929520/2055920 swapFree=4181364/4192956
[pid=2257] ppid=2255 vsize=5812 CPUtime=0
/proc/2257/stat : 2257 (pbscip.linux.x8) R 2255 2257 2075 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 182306976 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/2257/statm: 1453 510 339 1256 0 192 0
[startup+0.00963697 s]
/proc/loadavg: 1.07 1.02 1.00 3/64 2257
/proc/meminfo: memFree=1929520/2055920 swapFree=4181364/4192956
[pid=2257] ppid=2255 vsize=10056 CPUtime=0
/proc/2257/stat : 2257 (pbscip.linux.x8) R 2255 2257 2075 0 -1 4194304 1493 0 0 0 0 0 0 0 18 0 1 0 182306976 10297344 1477 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/2257/statm: 2514 1478 378 1256 0 1253 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10056
[startup+0.101645 s]
/proc/loadavg: 1.07 1.02 1.00 3/64 2257
/proc/meminfo: memFree=1929520/2055920 swapFree=4181364/4192956
[pid=2257] ppid=2255 vsize=17728 CPUtime=0.09
/proc/2257/stat : 2257 (pbscip.linux.x8) R 2255 2257 2075 0 -1 4194304 3427 0 0 0 8 1 0 0 18 0 1 0 182306976 18153472 3057 1992294400 4194304 9342243 548682068736 18446744073709551615 8222955 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2257/statm: 4432 3057 649 1256 0 3171 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17728
[startup+0.301666 s]
/proc/loadavg: 1.07 1.02 1.00 3/64 2257
/proc/meminfo: memFree=1929520/2055920 swapFree=4181364/4192956
[pid=2257] ppid=2255 vsize=20236 CPUtime=0.29
/proc/2257/stat : 2257 (pbscip.linux.x8) R 2255 2257 2075 0 -1 4194304 4066 0 0 0 27 2 0 0 19 0 1 0 182306976 20721664 3696 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2257/statm: 5059 3696 681 1256 0 3798 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20236
[startup+0.701706 s]
/proc/loadavg: 1.07 1.02 1.00 3/64 2257
/proc/meminfo: memFree=1929520/2055920 swapFree=4181364/4192956
[pid=2257] ppid=2255 vsize=21116 CPUtime=0.69
/proc/2257/stat : 2257 (pbscip.linux.x8) R 2255 2257 2075 0 -1 4194304 4265 0 0 0 67 2 0 0 22 0 1 0 182306976 21622784 3895 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2257/statm: 5279 3895 681 1256 0 4018 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21116
[startup+1.50178 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 2258
/proc/meminfo: memFree=1913448/2055920 swapFree=4181364/4192956
[pid=2257] ppid=2255 vsize=23392 CPUtime=1.49
/proc/2257/stat : 2257 (pbscip.linux.x8) R 2255 2257 2075 0 -1 4194304 5088 0 0 0 147 2 0 0 25 0 1 0 182306976 23953408 4715 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2257/statm: 5848 4715 687 1256 0 4587 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23392
[startup+3.10194 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 2258
/proc/meminfo: memFree=1913192/2055920 swapFree=4181364/4192956
[pid=2257] ppid=2255 vsize=23392 CPUtime=3.09
/proc/2257/stat : 2257 (pbscip.linux.x8) R 2255 2257 2075 0 -1 4194304 5097 0 0 0 306 3 0 0 25 0 1 0 182306976 23953408 4724 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2257/statm: 5848 4724 690 1256 0 4587 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23392
[startup+6.30126 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 2258
/proc/meminfo: memFree=1912872/2055920 swapFree=4181364/4192956
[pid=2257] ppid=2255 vsize=23392 CPUtime=6.29
/proc/2257/stat : 2257 (pbscip.linux.x8) R 2255 2257 2075 0 -1 4194304 5122 0 0 0 625 4 0 0 25 0 1 0 182306976 23953408 4749 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2257/statm: 5848 4749 691 1256 0 4587 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23392
[startup+12.7019 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 2258
/proc/meminfo: memFree=1912880/2055920 swapFree=4181364/4192956
[pid=2257] ppid=2255 vsize=23392 CPUtime=12.69
/proc/2257/stat : 2257 (pbscip.linux.x8) R 2255 2257 2075 0 -1 4194304 5133 0 0 0 1262 7 0 0 25 0 1 0 182306976 23953408 4760 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2257/statm: 5848 4760 695 1256 0 4587 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23392
Solver just ended. Dumping a history of the last processes samples
[startup+14.3051 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 2258
/proc/meminfo: memFree=1912880/2055920 swapFree=4181364/4192956
[pid=2257] ppid=2255 vsize=23392 CPUtime=14.29
/proc/2257/stat : 2257 (pbscip.linux.x8) R 2255 2257 2075 0 -1 4194304 5135 0 0 0 1421 8 0 0 25 0 1 0 182306976 23953408 4762 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2257/statm: 5848 4762 697 1256 0 4587 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 23392
[startup+15.9012 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 2258
/proc/meminfo: memFree=1912880/2055920 swapFree=4181364/4192956
[pid=2257] ppid=2255 vsize=23392 CPUtime=15.88
/proc/2257/stat : 2257 (pbscip.linux.x8) R 2255 2257 2075 0 -1 4194304 5137 0 0 0 1580 8 0 0 25 0 1 0 182306976 23953408 4764 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2257/statm: 5848 4764 697 1256 0 4587 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 23392
[startup+16.7013 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 2258
/proc/meminfo: memFree=1912880/2055920 swapFree=4181364/4192956
[pid=2257] ppid=2255 vsize=23392 CPUtime=16.68
/proc/2257/stat : 2257 (pbscip.linux.x8) R 2255 2257 2075 0 -1 4194304 5137 0 0 0 1660 8 0 0 25 0 1 0 182306976 23953408 4764 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2257/statm: 5848 4764 697 1256 0 4587 0
Current children cumulated CPU time (s) 16.68
Current children cumulated vsize (KiB) 23392
[startup+16.9013 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 2258
/proc/meminfo: memFree=1912880/2055920 swapFree=4181364/4192956
[pid=2257] ppid=2255 vsize=23392 CPUtime=16.88
/proc/2257/stat : 2257 (pbscip.linux.x8) R 2255 2257 2075 0 -1 4194304 5137 0 0 0 1680 8 0 0 25 0 1 0 182306976 23953408 4764 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2257/statm: 5848 4764 697 1256 0 4587 0
Current children cumulated CPU time (s) 16.88
Current children cumulated vsize (KiB) 23392
Child status: 0
Real time (s): 16.9333
CPU time (s): 16.9284
CPU user time (s): 16.8344
CPU system time (s): 0.093985
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 23392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8344
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5145
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= 16
runsolver used 0.019996 second user time and 0.042993 second system time
The end