0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869580-1245179516.opb>
0.00/0.01 c original problem has 139 variables (139 bin, 0 int, 0 impl, 0 cont) and 216 constraints
0.00/0.02 c start presolving problem
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 27 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 2) 1 del vars, 82 del conss, 1 chg bounds, 0 chg sides, 27 chg coeffs, 29 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 3) 1 del vars, 82 del conss, 1 chg bounds, 3 chg sides, 34 chg coeffs, 53 upgd conss, 98 impls, 1 clqs
0.00/0.03 c (round 4) 1 del vars, 82 del conss, 1 chg bounds, 3 chg sides, 41 chg coeffs, 53 upgd conss, 98 impls, 1 clqs
0.00/0.06 c (0.0s) probing: 135/138 (97.8%) - 0 fixings, 0 aggregations, 43 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (5 rounds):
0.00/0.06 c 1 deleted vars, 82 deleted constraints, 1 tightened bounds, 0 added holes, 3 changed sides, 41 changed coefficients
0.00/0.06 c 184 implications, 1 cliques
0.00/0.06 c presolved problem has 138 variables (138 bin, 0 int, 0 impl, 0 cont) and 137 constraints
0.00/0.06 c 53 constraints of type <knapsack>
0.00/0.06 c 3 constraints of type <setppc>
0.00/0.06 c 81 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.04
0.00/0.06 c OPT-LIN
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = c 1620
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = c 1791
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = c 10000
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving problem
0.00/0.06 c
0.00/0.07 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.07 c 0.1s| 1 | 0 | 94 | 987k| 0 | 85 | 138 | 137 | 137 | 138 | 137 | 0 | 0 | 0 | 1.500000e+01 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 542 |1127k| 0 | 87 | 138 | 137 | 137 | 138 | 162 | 25 | 0 | 0 | 1.500000e+01 | -- | Inf
0.09/0.17 c 0.1s| 1 | 0 | 668 |1263k| 0 | 66 | 138 | 137 | 137 | 138 | 179 | 42 | 0 | 0 | 1.500000e+01 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 742 |1374k| 0 | 59 | 138 | 137 | 137 | 138 | 199 | 62 | 0 | 0 | 1.500000e+01 | -- | Inf
0.19/0.27 c 0.2s| 1 | 0 | 920 |1474k| 0 | 63 | 138 | 137 | 137 | 138 | 222 | 85 | 0 | 0 | 1.500000e+01 | -- | Inf
0.29/0.32 c 0.3s| 1 | 0 | 1020 |1534k| 0 | 85 | 138 | 137 | 137 | 138 | 239 | 102 | 0 | 0 | 1.500000e+01 | -- | Inf
0.39/0.40 c 0.4s| 1 | 0 | 1239 |1641k| 0 | 62 | 138 | 137 | 137 | 138 | 262 | 125 | 0 | 0 | 1.500000e+01 | -- | Inf
0.39/0.48 c 0.4s| 1 | 0 | 1445 |1729k| 0 | 78 | 138 | 137 | 137 | 138 | 277 | 140 | 0 | 0 | 1.500000e+01 | -- | Inf
0.49/0.56 c 0.5s| 1 | 0 | 1641 |1784k| 0 | 74 | 138 | 137 | 137 | 138 | 288 | 151 | 0 | 0 | 1.500000e+01 | -- | Inf
1.49/1.52 c 1.5s| 1 | 2 | 1641 |1785k| 0 | 74 | 138 | 137 | 137 | 138 | 288 | 151 | 0 | 29 | 1.500000e+01 | -- | Inf
3.89/3.98 o 29
3.89/3.98 c R 3.8s| 31 | 18 | 3388 |1828k| 15 | 1 | 138 | 166 | 43 | 138 | 183 | 151 | 29 | 643 | 1.500000e+01 | 2.900000e+01 | 93.33%
3.89/3.98 o 28
3.89/3.98 c * 3.8s| 33 | 16 | 3388 |1830k| 15 | - | 138 | 169 | 37 | 138 | 183 | 151 | 32 | 643 | 1.500000e+01 | 2.800000e+01 | 86.67%
5.89/6.00 o 23
5.89/6.00 c * 5.8s| 559 | 118 | 13089 |2058k| 32 | - | 138 | 444 | 82 | 138 | 183 | 151 | 308 |1205 | 1.500000e+01 | 2.300000e+01 | 53.33%
6.09/6.15 o 21
6.09/6.15 c * 5.9s| 655 | 144 | 14397 |2099k| 32 | - | 138 | 470 | 86 | 138 | 183 | 151 | 350 |1210 | 1.500000e+01 | 2.100000e+01 | 40.00%
6.39/6.46 o 19
6.39/6.46 c * 6.2s| 867 | 156 | 17005 |2189k| 32 | - | 138 | 614 | 100 | 138 | 183 | 151 | 494 |1211 | 1.500000e+01 | 1.900000e+01 | 26.67%
6.50/6.53 o 18
6.50/6.53 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.50/6.53 c * 6.3s| 909 | 122 | 17508 |2165k| 32 | - | 138 | 624 | 116 | 138 | 183 | 151 | 527 |1211 | 1.500000e+01 | 1.800000e+01 | 20.00%
6.68/6.79 o 17
6.68/6.79 c * 6.5s| 1071 | 83 | 19802 |2163k| 32 | - | 138 | 734 | 103 | 138 | 183 | 151 | 637 |1211 | 1.500000e+01 | 1.700000e+01 | 13.33%
8.09/8.12 c
8.09/8.12 c SCIP Status : problem is solved [optimal solution found]
8.09/8.12 c Solving Time (sec) : 7.78
8.09/8.12 c Solving Nodes : 1803
8.09/8.12 c Primal Bound : +1.70000000000000e+01 (7 solutions)
8.09/8.12 c Dual Bound : +1.70000000000000e+01
8.09/8.12 c Gap : 0.00 %
8.09/8.12 c NODE 1803
8.09/8.12 c DUAL BOUND 17
8.09/8.12 c PRIMAL BOUND 17
8.09/8.12 c GAP 0
8.09/8.12 s OPTIMUM FOUND
8.09/8.12 v x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 -x53 x54 x55 x56 -x57 x58 x59 x60 x61 -x62 x63 x64
8.09/8.12 v x65 -x66 x67 x68 -x69 x70 x71 x72 x73 -x74 x75 x76 x77 x78 x79 x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 x90 x91 x92 -x93
8.09/8.12 v x94 x95 x96 x97 -x98 -x99 x100 x101 -x102 x103 x104 x105 x106 -x107 x108 x109 x110 x111 -x112 -x113 -x114 -x115 -x116 -x117
8.09/8.12 v -x118 -x17 -x16 -x15 -x14 -x13 -x12 x119 x120 x121 x122 x123 -x124 x125 x126 x127 x128 -x129 -x130 -x131 -x132 -x11 -x10 -x9
8.09/8.12 v -x8 x7 x6 x133 x134 -x135 -x136 -x137 -x23 -x22 -x21 -x20 x19 x18 -x138 -x33 -x32 x31 x30 -x29 -x28 -x27 -x26 x25 x24 x139
8.09/8.12 v -x5 -x4 -x3 x2 -x1
8.09/8.12 c SCIP Status : problem is solved [optimal solution found]
8.09/8.12 c Solving Time : 7.78
8.09/8.12 c Original Problem :
8.09/8.12 c Problem name : HOME/instance-1869580-1245179516.opb
8.09/8.12 c Variables : 139 (139 binary, 0 integer, 0 implicit integer, 0 continuous)
8.09/8.12 c Constraints : 216 initial, 216 maximal
8.09/8.12 c Presolved Problem :
8.09/8.12 c Problem name : t_HOME/instance-1869580-1245179516.opb
8.09/8.12 c Variables : 138 (138 binary, 0 integer, 0 implicit integer, 0 continuous)
8.09/8.12 c Constraints : 137 initial, 1344 maximal
8.09/8.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
8.09/8.12 c trivial : 0.00 0 0 0 0 0 0 0 0
8.09/8.12 c dualfix : 0.00 0 0 0 0 0 0 0 0
8.09/8.12 c boundshift : 0.00 0 0 0 0 0 0 0 0
8.09/8.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0
8.09/8.12 c implics : 0.00 0 0 0 0 0 0 0 0
8.09/8.12 c probing : 0.03 0 0 0 0 0 0 0 0
8.09/8.12 c knapsack : 0.01 0 0 0 0 0 0 3 14
8.09/8.12 c setppc : 0.00 0 0 0 0 0 0 0 0
8.09/8.12 c linear : 0.00 1 0 0 1 0 82 0 27
8.09/8.12 c logicor : 0.00 0 0 0 0 0 0 0 0
8.09/8.12 c root node : - 33 - - 33 - - - -
8.09/8.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
8.09/8.12 c integral : 0 0 0 1282 0 1 236 0 0 2378
8.09/8.12 c knapsack : 53 8 6343 6 0 153 6538 127 0 0
8.09/8.12 c setppc : 3 8 291 0 0 0 2 0 0 0
8.09/8.12 c linear : 81 8 6182 0 0 462 17995 0 0 0
8.09/8.12 c logicor : 0+ 0 3121 0 0 59 1831 0 0 0
8.09/8.12 c countsols : 0 0 0 6 0 0 0 0 0 0
8.09/8.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
8.09/8.12 c integral : 4.32 0.00 0.00 4.32 0.00
8.09/8.12 c knapsack : 0.06 0.00 0.06 0.00 0.00
8.09/8.12 c setppc : 0.00 0.00 0.00 0.00 0.00
8.09/8.12 c linear : 0.62 0.00 0.62 0.00 0.00
8.09/8.12 c logicor : 0.10 0.00 0.10 0.00 0.00
8.09/8.12 c countsols : 0.00 0.00 0.00 0.00 0.00
8.09/8.12 c Propagators : Time Calls Cutoffs DomReds
8.09/8.12 c rootredcost : 0.00 7 0 4
8.09/8.12 c pseudoobj : 0.01 6076 5 40
8.09/8.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
8.09/8.12 c propagation : 0.02 679 667 2742 13.9 11 12.5 -
8.09/8.12 c infeasible LP : 0.01 90 90 181 9.3 5 12.2 0
8.09/8.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
8.09/8.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
8.09/8.12 c pseudo solution : 0.00 1 1 3 6.3 0 0.0 -
8.09/8.12 c applied globally : - - - 1301 12.2 - - -
8.09/8.12 c applied locally : - - - 0 0.0 - - -
8.09/8.12 c Separators : Time Calls Cutoffs DomReds Cuts Conss
8.09/8.12 c cut pool : 0.00 7 - - 550 - (maximal pool size: 1225)
8.09/8.12 c redcost : 0.00 1316 0 39 0 0
8.09/8.12 c impliedbounds : 0.00 8 0 0 18 0
8.09/8.12 c intobj : 0.00 0 0 0 0 0
8.09/8.12 c gomory : 0.03 8 0 0 75 0
8.09/8.12 c strongcg : 0.03 8 0 0 103 0
8.09/8.12 c cmir : 0.08 8 0 0 558 0
8.09/8.12 c flowcover : 0.17 8 0 0 761 0
8.09/8.12 c clique : 0.00 8 0 0 0 0
8.09/8.12 c zerohalf : 0.00 0 0 0 0 0
8.09/8.12 c mcf : 0.00 1 0 0 0 0
8.09/8.12 c Pricers : Time Calls Vars
8.09/8.12 c problem variables: 0.00 0 0
8.09/8.12 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
8.09/8.12 c relpscost : 4.32 1276 1 236 0 0 2378
8.09/8.12 c pscost : 0.00 0 0 0 0 0 0
8.09/8.12 c inference : 0.00 0 0 0 0 0 0
8.09/8.12 c mostinf : 0.00 0 0 0 0 0 0
8.09/8.12 c leastinf : 0.00 0 0 0 0 0 0
8.09/8.12 c fullstrong : 0.00 0 0 0 0 0 0
8.09/8.12 c allfullstrong : 0.00 0 0 0 0 0 0
8.09/8.12 c random : 0.00 0 0 0 0 0 0
8.09/8.12 c Primal Heuristics : Time Calls Found
8.09/8.12 c LP solutions : 0.00 - 6
8.09/8.12 c pseudo solutions : 0.00 - 0
8.09/8.12 c oneopt : 0.00 7 0
8.09/8.12 c fracdiving : 0.00 1 0
8.09/8.12 c linesearchdiving : 0.00 1 0
8.09/8.12 c guideddiving : 0.01 1 0
8.09/8.12 c objpscostdiving : 0.00 1 0
8.09/8.12 c feaspump : 0.02 1 0
8.09/8.12 c rootsoldiving : 0.01 1 0
8.09/8.12 c veclendiving : 0.00 2 0
8.09/8.12 c coefdiving : 0.00 2 0
8.09/8.12 c pscostdiving : 0.01 2 0
8.09/8.12 c crossover : 0.06 2 0
8.09/8.12 c simplerounding : 0.00 0 0
8.09/8.12 c rounding : 0.03 1255 1
8.09/8.12 c shifting : 0.30 112 0
8.09/8.12 c intshifting : 0.00 0 0
8.09/8.12 c fixandinfer : 0.00 0 0
8.09/8.12 c intdiving : 0.00 0 0
8.09/8.12 c actconsdiving : 0.00 0 0
8.09/8.12 c octane : 0.00 0 0
8.09/8.12 c rens : 0.00 0 0
8.09/8.12 c rins : 0.00 0 0
8.09/8.12 c localbranching : 0.00 0 0
8.09/8.12 c mutation : 0.00 0 0
8.09/8.12 c dins : 0.00 0 0
8.09/8.12 c LP : Time Calls Iterations Iter/call Iter/sec
8.09/8.12 c primal LP : 0.00 0 0 0.00 -
8.09/8.12 c dual LP : 1.62 1477 30848 20.89 19041.98
8.09/8.12 c barrier LP : 0.00 0 0 0.00 -
8.09/8.12 c diving/probing LP: 0.04 54 532 9.85 13300.00
8.09/8.12 c strong branching : 4.31 1250 64959 51.97 15071.69
8.09/8.12 c (at root node) : - 29 7260 250.34 -
8.09/8.12 c conflict analysis: 0.00 0 0 0.00 -
8.09/8.12 c B&B Tree :
8.09/8.12 c number of runs : 1
8.09/8.12 c nodes : 1803
8.09/8.12 c nodes (total) : 1803
8.09/8.12 c nodes left : 0
8.09/8.12 c max depth : 32
8.09/8.12 c max depth (total): 32
8.09/8.12 c backtracks : 404 (22.4%)
8.09/8.12 c delayed cutoffs : 332
8.09/8.12 c repropagations : 1564 (9612 domain reductions, 232 cutoffs)
8.09/8.12 c avg switch length: 4.12
8.09/8.12 c switching time : 0.08
8.09/8.12 c Solution :
8.09/8.12 c Solutions found : 7 (7 improvements)
8.09/8.12 c Primal Bound : +1.70000000000000e+01 (in run 1, after 1071 nodes, 6.53 seconds, depth 22, found by <relaxation>)
8.09/8.12 c Dual Bound : +1.70000000000000e+01
8.09/8.12 c Gap : 0.00 %
8.09/8.12 c Root Dual Bound : +1.50000000000000e+01
8.09/8.13 c Time complete: 8.12.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869580-1245179516/watcher-1869580-1245179516 -o /tmp/evaluation-result-1869580-1245179516/solver-1869580-1245179516 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869580-1245179516.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.00 1.00 1.00 3/64 11707
/proc/meminfo: memFree=1877464/2055920 swapFree=4192812/4192956
[pid=11707] ppid=11705 vsize=4324 CPUtime=0
/proc/11707/stat : 11707 (pbscip.linux.x8) R 11705 11707 11292 0 -1 4194304 464 0 0 0 0 0 0 0 18 0 1 0 185551310 4427776 448 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/11707/statm: 1081 460 297 886 0 191 0
[startup+0.090959 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11707
/proc/meminfo: memFree=1877464/2055920 swapFree=4192812/4192956
[pid=11707] ppid=11705 vsize=13984 CPUtime=0.08
/proc/11707/stat : 11707 (pbscip.linux.x8) R 11705 11707 11292 0 -1 4194304 3044 0 0 0 7 1 0 0 18 0 1 0 185551310 14319616 2672 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11707/statm: 3496 2672 535 886 0 2606 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13984
[startup+0.101961 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11707
/proc/meminfo: memFree=1877464/2055920 swapFree=4192812/4192956
[pid=11707] ppid=11705 vsize=13984 CPUtime=0.09
/proc/11707/stat : 11707 (pbscip.linux.x8) R 11705 11707 11292 0 -1 4194304 3057 0 0 0 8 1 0 0 18 0 1 0 185551310 14319616 2685 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11707/statm: 3496 2685 548 886 0 2606 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13984
[startup+0.301992 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11707
/proc/meminfo: memFree=1877464/2055920 swapFree=4192812/4192956
[pid=11707] ppid=11705 vsize=14864 CPUtime=0.29
/proc/11707/stat : 11707 (pbscip.linux.x8) R 11705 11707 11292 0 -1 4194304 3320 0 0 0 28 1 0 0 19 0 1 0 185551310 15220736 2945 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11707/statm: 3716 2945 563 886 0 2826 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14864
[startup+0.701057 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11707
/proc/meminfo: memFree=1877464/2055920 swapFree=4192812/4192956
[pid=11707] ppid=11705 vsize=15904 CPUtime=0.69
/proc/11707/stat : 11707 (pbscip.linux.x8) R 11705 11707 11292 0 -1 4194304 4216 0 0 0 66 3 0 0 23 0 1 0 185551310 16285696 3198 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11707/statm: 3976 3198 567 886 0 3086 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15904
[startup+1.50118 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11708
/proc/meminfo: memFree=1866832/2055920 swapFree=4192812/4192956
[pid=11707] ppid=11705 vsize=15904 CPUtime=1.49
/proc/11707/stat : 11707 (pbscip.linux.x8) R 11705 11707 11292 0 -1 4194304 4216 0 0 0 145 4 0 0 25 0 1 0 185551310 16285696 3198 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11707/statm: 3976 3198 567 886 0 3086 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15904
[startup+3.10144 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11708
/proc/meminfo: memFree=1866704/2055920 swapFree=4192812/4192956
[pid=11707] ppid=11705 vsize=15904 CPUtime=3.09
/proc/11707/stat : 11707 (pbscip.linux.x8) R 11705 11707 11292 0 -1 4194304 4216 0 0 0 299 10 0 0 25 0 1 0 185551310 16285696 3198 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11707/statm: 3976 3198 567 886 0 3086 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15904
[startup+6.30195 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11708
/proc/meminfo: memFree=1866512/2055920 swapFree=4192812/4192956
[pid=11707] ppid=11705 vsize=15904 CPUtime=6.29
/proc/11707/stat : 11707 (pbscip.linux.x8) R 11705 11707 11292 0 -1 4194304 4223 0 0 0 606 23 0 0 25 0 1 0 185551310 16285696 3205 1992294400 4194304 7823515 548682068736 18446744073709551615 5400286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11707/statm: 3976 3205 574 886 0 3086 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15904
Solver just ended. Dumping a history of the last processes samples
[startup+7.10108 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11708
/proc/meminfo: memFree=1866320/2055920 swapFree=4192812/4192956
[pid=11707] ppid=11705 vsize=16132 CPUtime=7.09
/proc/11707/stat : 11707 (pbscip.linux.x8) R 11705 11707 11292 0 -1 4194304 4964 0 0 0 683 26 0 0 25 0 1 0 185551310 16519168 3283 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11707/statm: 4033 3283 574 886 0 3143 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 16132
[startup+7.90121 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11708
/proc/meminfo: memFree=1865880/2055920 swapFree=4192812/4192956
[pid=11707] ppid=11705 vsize=24408 CPUtime=7.89
/proc/11707/stat : 11707 (pbscip.linux.x8) R 11705 11707 11292 0 -1 4194304 8208 0 0 0 758 31 0 0 25 0 1 0 185551310 24993792 4851 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11707/statm: 6102 4859 582 886 0 5212 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 24408
[startup+8.10124 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11708
/proc/meminfo: memFree=1865880/2055920 swapFree=4192812/4192956
[pid=11707] ppid=11705 vsize=16348 CPUtime=8.09
/proc/11707/stat : 11707 (pbscip.linux.x8) R 11705 11707 11292 0 -1 4194304 8385 0 0 0 777 32 0 0 25 0 1 0 185551310 16740352 3373 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11707/statm: 4087 3373 582 886 0 3197 0
Current children cumulated CPU time (s) 8.09
Current children cumulated vsize (KiB) 16348
Child status: 0
Real time (s): 8.1377
CPU time (s): 8.13476
CPU user time (s): 7.80781
CPU system time (s): 0.32695
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 24408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.80781
system time used= 0.32695
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8390
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= 15
runsolver used 0.007998 second user time and 0.027995 second system time
The end