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-2666177-1276583846.opb>
0.00/0.02 c original problem has 141 variables (141 bin, 0 int, 0 impl, 0 cont) and 215 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 30 chg sides, 30 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 2) 0 del vars, 90 del conss, 0 chg bounds, 30 chg sides, 30 chg coeffs, 20 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 90 del conss, 0 chg bounds, 30 chg sides, 30 chg coeffs, 35 upgd conss, 100 impls, 0 clqs
0.00/0.07 c (0.0s) probing: 105/141 (74.5%) - 0 fixings, 0 aggregations, 70 implications, 0 bound changes
0.00/0.07 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.07 c presolving (4 rounds):
0.00/0.07 c 0 deleted vars, 90 deleted constraints, 0 tightened bounds, 0 added holes, 30 changed sides, 30 changed coefficients
0.00/0.07 c 240 implications, 0 cliques
0.00/0.07 c presolved problem has 141 variables (141 bin, 0 int, 0 impl, 0 cont) and 125 constraints
0.00/0.07 c 35 constraints of type <knapsack>
0.00/0.07 c 90 constraints of type <linear>
0.00/0.07 c transformed objective value is always integral (scale: 1)
0.00/0.07 c Presolving Time: 0.04
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c # SCIP version 1.2.1.2
0.00/0.07 c
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 = 10000
0.00/0.07 c
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 = 1799.99
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 = 1620
0.00/0.07 c
0.00/0.07 c # should presolving try to simplify inequalities
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/linear/simplifyinequalities = TRUE
0.00/0.07 c
0.00/0.07 c # should presolving try to simplify knapsacks
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.07 c
0.00/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c separating/rapidlearning/freq = 0
0.00/0.07 c
0.00/0.07 c -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.07 c
0.00/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.08 c 0.1s| 1 | 0 | 111 | - |1004k| 0 | 85 | 141 | 125 | 141 | 125 | 0 | 0 | 0 | 5.000000e+00 | -- | Inf
0.49/0.50 c 0.5s| 1 | 0 | 124 | - |1457k| 0 | 89 | 141 | 343 | 141 | 144 | 19 | 0 | 0 | 5.000000e+00 | -- | Inf
0.49/0.53 c 0.5s| 1 | 0 | 146 | - |1613k| 0 | 98 | 141 | 343 | 141 | 163 | 38 | 0 | 0 | 5.000000e+00 | -- | Inf
0.49/0.57 c 0.5s| 1 | 0 | 168 | - |1681k| 0 | 96 | 141 | 343 | 141 | 178 | 53 | 0 | 0 | 5.000000e+00 | -- | Inf
0.59/0.62 c 0.6s| 1 | 0 | 213 | - |1770k| 0 | 103 | 141 | 343 | 141 | 194 | 69 | 0 | 0 | 5.007937e+00 | -- | Inf
0.59/0.67 c 0.6s| 1 | 0 | 244 | - |1909k| 0 | 104 | 141 | 343 | 141 | 211 | 86 | 0 | 0 | 5.071429e+00 | -- | Inf
0.69/0.72 c 0.7s| 1 | 0 | 310 | - |2013k| 0 | 100 | 141 | 343 | 141 | 228 | 103 | 0 | 0 | 5.142857e+00 | -- | Inf
0.69/0.78 c 0.7s| 1 | 0 | 391 | - |2135k| 0 | 97 | 141 | 343 | 141 | 244 | 119 | 0 | 0 | 5.187500e+00 | -- | Inf
0.79/0.84 c 0.8s| 1 | 0 | 453 | - |2321k| 0 | 97 | 141 | 343 | 141 | 258 | 133 | 0 | 0 | 5.187500e+00 | -- | Inf
0.89/0.90 c 0.8s| 1 | 0 | 551 | - |2469k| 0 | 97 | 141 | 343 | 141 | 278 | 153 | 0 | 0 | 5.272727e+00 | -- | Inf
0.89/0.97 c 0.9s| 1 | 0 | 625 | - |2603k| 0 | 102 | 141 | 343 | 141 | 292 | 167 | 0 | 0 | 6.000000e+00 | -- | Inf
0.89/1.00 c 0.9s| 1 | 0 | 651 | - |2619k| 0 | 99 | 141 | 343 | 141 | 289 | 178 | 0 | 0 | 6.000000e+00 | -- | Inf
0.99/1.02 c 1.0s| 1 | 0 | 675 | - |2621k| 0 | 102 | 141 | 343 | 141 | 296 | 185 | 0 | 0 | 6.000000e+00 | -- | Inf
0.99/1.04 c 1.0s| 1 | 0 | 710 | - |2626k| 0 | 102 | 141 | 343 | 141 | 302 | 191 | 0 | 0 | 6.000000e+00 | -- | Inf
0.99/1.07 c 1.0s| 1 | 0 | 762 | - |2676k| 0 | 101 | 141 | 343 | 141 | 310 | 199 | 0 | 0 | 6.028571e+00 | -- | Inf
0.99/1.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.10 c 1.0s| 1 | 0 | 834 | - |2702k| 0 | 104 | 141 | 343 | 141 | 317 | 206 | 0 | 0 | 6.028571e+00 | -- | Inf
1.09/1.13 c 1.1s| 1 | 0 | 925 | - |2706k| 0 | 97 | 141 | 343 | 141 | 324 | 213 | 0 | 0 | 6.055556e+00 | -- | Inf
1.09/1.16 c 1.1s| 1 | 0 | 962 | - |2712k| 0 | 106 | 141 | 343 | 141 | 237 | 221 | 0 | 0 | 7.000000e+00 | -- | Inf
1.09/1.18 c 1.1s| 1 | 0 | 993 | - |2719k| 0 | 108 | 141 | 343 | 141 | 243 | 227 | 0 | 0 | 7.000000e+00 | -- | Inf
1.19/1.20 c 1.1s| 1 | 0 | 1019 | - |2721k| 0 | 101 | 141 | 343 | 141 | 250 | 234 | 0 | 0 | 7.000000e+00 | -- | Inf
1.19/1.22 c 1.1s| 1 | 0 | 1037 | - |2721k| 0 | 106 | 141 | 343 | 141 | 251 | 235 | 0 | 0 | 7.000000e+00 | -- | Inf
1.19/1.23 c 1.2s| 1 | 0 | 1052 | - |2721k| 0 | 112 | 141 | 343 | 141 | 254 | 238 | 0 | 0 | 7.000000e+00 | -- | Inf
1.19/1.24 c 1.2s| 1 | 0 | 1055 | - |2723k| 0 | 112 | 141 | 343 | 141 | 255 | 239 | 0 | 0 | 7.000000e+00 | -- | Inf
1.39/1.40 c 1.3s| 1 | 2 | 1055 | - |2723k| 0 | 112 | 141 | 343 | 141 | 255 | 239 | 0 | 15 | 7.000000e+00 | -- | Inf
4.19/4.28 o 40
4.19/4.28 c z 4.0s| 148 | 73 | 4497 | 23.4 |2869k| 24 | - | 141 | 412 | 141 | 175 | 239 | 69 |1105 | 7.000000e+00 | 4.000000e+01 | 471.43%
5.99/6.00 o 33
5.99/6.00 c S 5.6s| 1139 | 278 | 14657 | 12.0 |3464k| 34 | 0 | 141 |1109 | 141 | 175 | 239 | 779 |1143 | 1.100000e+01 | 3.300000e+01 | 200.00%
6.49/6.50 o 30
6.49/6.50 c * 6.1s| 1399 | 96 | 17188 | 11.5 |3393k| 35 | - | 141 |1399 | 141 | 175 | 239 |1074 |1143 | 1.300000e+01 | 3.000000e+01 | 130.77%
6.89/6.93 o 27
6.89/6.93 c * 6.5s| 1641 | 79 | 19222 | 11.1 |3498k| 35 | - | 141 |1632 | 141 | 175 | 239 |1324 |1143 | 1.400000e+01 | 2.700000e+01 | 92.86%
7.09/7.12 o 24
7.09/7.12 c * 6.7s| 1739 | 24 | 20296 | 11.1 |3381k| 35 | - | 141 |1720 | 141 | 175 | 239 |1434 |1143 | 1.500000e+01 | 2.400000e+01 | 60.00%
7.18/7.20 o 21
7.18/7.20 c * 6.7s| 1786 | 22 | 20734 | 11.0 |3375k| 35 | - | 141 |1763 | 141 | 175 | 239 |1480 |1143 | 1.600000e+01 | 2.100000e+01 | 31.25%
7.18/7.26 o 20
7.18/7.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.18/7.26 c * 6.8s| 1817 | 21 | 21109 | 11.0 |3176k| 35 | - | 141 |1225 | 141 | 175 | 239 |1501 |1143 | 1.600000e+01 | 2.000000e+01 | 25.00%
7.59/7.61 o 18
7.59/7.61 c * 7.1s| 2035 | 30 | 22897 | 10.7 |3222k| 35 | - | 141 |1371 | 141 | 175 | 239 |1653 |1143 | 1.600000e+01 | 1.800000e+01 | 12.50%
7.79/7.86 o 17
7.79/7.86 c f 7.3s| 2171 | 19 | 24539 | 10.8 |3249k| 35 | - | 141 |1472 | 141 | 175 | 239 |1763 |1143 | 1.600000e+01 | 1.700000e+01 | 6.25%
8.29/8.38 c
8.29/8.38 c SCIP Status : problem is solved [optimal solution found]
8.29/8.38 c Solving Time (sec) : 7.82
8.29/8.38 c Solving Nodes : 2479
8.29/8.38 c Primal Bound : +1.70000000000000e+01 (9 solutions)
8.29/8.38 c Dual Bound : +1.70000000000000e+01
8.29/8.38 c Gap : 0.00 %
8.29/8.38 s OPTIMUM FOUND
8.29/8.38 v 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 x65 x66 x67 x68
8.29/8.38 v 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 x94 x95 x96
8.29/8.38 v x97 x98 x99 x100 x101 x102 x103 x104 -x105 -x106 x107 -x108 -x109 -x110 x111 x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120
8.29/8.38 v -x121 -x18 -x17 -x16 -x15 -x14 -x13 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x12
8.29/8.38 v -x11 -x10 -x9 -x8 x7 -x136 x137 x138 x139 -x140 -x24 -x23 x22 -x21 -x20 -x19 x141 -x36 -x35 x34 x33 -x32 x31 -x30 -x29 x28
8.29/8.38 v -x27 x26 x25 -x6 x5 -x4 -x3 -x2 x1
8.29/8.38 c SCIP Status : problem is solved [optimal solution found]
8.29/8.38 c Solving Time : 7.82
8.29/8.38 c Original Problem :
8.29/8.38 c Problem name : HOME/instance-2666177-1276583846.opb
8.29/8.38 c Variables : 141 (141 binary, 0 integer, 0 implicit integer, 0 continuous)
8.29/8.38 c Constraints : 215 initial, 215 maximal
8.29/8.38 c Presolved Problem :
8.29/8.38 c Problem name : t_HOME/instance-2666177-1276583846.opb
8.29/8.38 c Variables : 141 (141 binary, 0 integer, 0 implicit integer, 0 continuous)
8.29/8.38 c Constraints : 125 initial, 1763 maximal
8.29/8.38 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
8.29/8.38 c trivial : 0.00 0 0 0 0 0 0 0 0
8.29/8.38 c dualfix : 0.00 0 0 0 0 0 0 0 0
8.29/8.38 c boundshift : 0.00 0 0 0 0 0 0 0 0
8.29/8.38 c inttobinary : 0.00 0 0 0 0 0 0 0 0
8.29/8.38 c implics : 0.00 0 0 0 0 0 0 0 0
8.29/8.38 c probing : 0.03 0 0 0 0 0 0 0 0
8.29/8.38 c knapsack : 0.00 0 0 0 0 0 0 0 0
8.29/8.38 c linear : 0.01 0 0 0 0 0 90 30 30
8.29/8.38 c logicor : 0.00 0 0 0 0 0 0 0 0
8.29/8.38 c root node : - 8 - - 8 - - - -
8.29/8.38 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
8.29/8.38 c integral : 0 0 0 1668 0 6 96 0 0 3230
8.29/8.38 c knapsack : 35 22 9101 6 0 185 5945 355 0 0
8.29/8.38 c linear : 90+ 23 8911 3 0 667 28093 6 0 0
8.29/8.38 c logicor : 0+ 0 4487 0 0 89 3225 0 0 0
8.29/8.38 c countsols : 0 0 0 6 0 0 0 0 0 0
8.29/8.38 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
8.29/8.38 c integral : 2.60 0.00 0.00 2.60 0.00
8.29/8.38 c knapsack : 0.20 0.02 0.18 0.00 0.00
8.29/8.38 c linear : 1.14 0.00 1.14 0.00 0.00
8.29/8.38 c logicor : 0.13 0.00 0.13 0.00 0.00
8.29/8.38 c countsols : 0.00 0.00 0.00 0.00 0.00
8.29/8.38 c Propagators : Time Calls Cutoffs DomReds
8.29/8.38 c vbounds : 0.00 2 0 0
8.29/8.38 c rootredcost : 0.00 9 0 1
8.29/8.38 c pseudoobj : 0.00 8906 5 60
8.29/8.38 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
8.29/8.38 c propagation : 0.05 945 894 4127 16.7 21 11.4 -
8.29/8.38 c infeasible LP : 0.04 257 257 667 11.5 21 7.0 0
8.29/8.38 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
8.29/8.38 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
8.29/8.38 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
8.29/8.38 c applied globally : - - - 2031 12.9 - - -
8.29/8.38 c applied locally : - - - 1 32.0 - - -
8.29/8.38 c Separators : Time Calls Cutoffs DomReds Cuts Conss
8.29/8.38 c cut pool : 0.01 21 - - 1664 - (maximal pool size: 1782)
8.29/8.38 c redcost : 0.02 1707 0 22 0 0
8.29/8.38 c impliedbounds : 0.00 22 0 0 8 0
8.29/8.38 c intobj : 0.00 0 0 0 0 0
8.29/8.38 c cgmip : 0.00 0 0 0 0 0
8.29/8.38 c gomory : 0.12 22 0 0 396 0
8.29/8.38 c strongcg : 0.11 20 0 0 562 0
8.29/8.38 c cmir : 0.13 10 0 0 739 0
8.29/8.38 c flowcover : 0.19 10 0 0 1154 0
8.29/8.38 c clique : 0.00 1 0 0 0 0
8.29/8.38 c zerohalf : 0.00 0 0 0 0 0
8.29/8.38 c mcf : 0.00 1 0 0 0 0
8.29/8.38 c rapidlearning : 0.37 1 0 0 0 218
8.29/8.38 c Pricers : Time Calls Vars
8.29/8.38 c problem variables: 0.00 0 0
8.29/8.38 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
8.29/8.38 c relpscost : 2.60 1662 6 96 0 0 3230
8.29/8.38 c pscost : 0.00 0 0 0 0 0 0
8.29/8.38 c inference : 0.00 0 0 0 0 0 0
8.29/8.38 c mostinf : 0.00 0 0 0 0 0 0
8.29/8.38 c leastinf : 0.00 0 0 0 0 0 0
8.29/8.38 c fullstrong : 0.00 0 0 0 0 0 0
8.29/8.38 c allfullstrong : 0.00 0 0 0 0 0 0
8.29/8.38 c random : 0.00 0 0 0 0 0 0
8.29/8.38 c Primal Heuristics : Time Calls Found
8.29/8.38 c LP solutions : 0.01 - 6
8.29/8.38 c pseudo solutions : 0.00 - 0
8.29/8.38 c intshifting : 0.00 0 0
8.29/8.38 c oneopt : 0.01 9 0
8.29/8.38 c pscostdiving : 0.00 2 0
8.29/8.38 c veclendiving : 0.01 2 0
8.29/8.38 c linesearchdiving : 0.00 2 0
8.29/8.38 c guideddiving : 0.01 2 0
8.29/8.38 c coefdiving : 0.01 3 0
8.29/8.38 c fracdiving : 0.00 3 1
8.29/8.38 c feaspump : 0.01 2 0
8.29/8.38 c objpscostdiving : 0.00 2 0
8.29/8.38 c rootsoldiving : 0.02 2 1
8.29/8.38 c trivial : 0.00 2 0
8.29/8.38 c simplerounding : 0.00 0 0
8.29/8.38 c zirounding : 0.02 1000 1
8.29/8.38 c rounding : 0.02 531 0
8.29/8.38 c shifting : 0.27 154 0
8.29/8.38 c twoopt : 0.00 0 0
8.29/8.38 c fixandinfer : 0.00 0 0
8.29/8.38 c intdiving : 0.00 0 0
8.29/8.38 c actconsdiving : 0.00 0 0
8.29/8.38 c octane : 0.00 0 0
8.29/8.38 c rens : 0.01 0 0
8.29/8.38 c rins : 0.00 0 0
8.29/8.38 c localbranching : 0.00 0 0
8.29/8.38 c mutation : 0.00 0 0
8.29/8.38 c crossover : 0.04 2 0
8.29/8.38 c dins : 0.00 0 0
8.29/8.38 c undercover : 0.00 0 0
8.29/8.38 c nlp : 0.00 0 0
8.29/8.38 c trysol : 0.00 0 0
8.29/8.38 c LP : Time Calls Iterations Iter/call Iter/sec
8.29/8.38 c primal LP : 0.01 0 0 0.00 0.00
8.29/8.38 c dual LP : 1.68 1964 27298 13.90 16248.81
8.29/8.38 c lex dual LP : 0.00 0 0 0.00 -
8.29/8.38 c barrier LP : 0.00 0 0 0.00 -
8.29/8.38 c diving/probing LP: 0.03 61 506 8.30 16866.67
8.29/8.38 c strong branching : 2.54 1143 46091 40.32 18146.06
8.29/8.38 c (at root node) : - 15 1874 124.93 -
8.29/8.38 c conflict analysis: 0.00 0 0 0.00 -
8.29/8.38 c B&B Tree :
8.29/8.38 c number of runs : 1
8.29/8.38 c nodes : 2479
8.29/8.38 c nodes (total) : 2479
8.29/8.38 c nodes left : 0
8.29/8.38 c max depth : 35
8.29/8.38 c max depth (total): 35
8.29/8.38 c backtracks : 574 (23.2%)
8.29/8.38 c delayed cutoffs : 568
8.29/8.38 c repropagations : 2682 (14426 domain reductions, 354 cutoffs)
8.29/8.38 c avg switch length: 4.78
8.29/8.38 c switching time : 0.35
8.29/8.38 c Solution :
8.29/8.38 c Solutions found : 9 (9 improvements)
8.29/8.38 c First Solution : +4.00000000000000e+01 (in run 1, after 148 nodes, 3.99 seconds, depth 17, found by <zirounding>)
8.29/8.38 c Primal Bound : +1.70000000000000e+01 (in run 1, after 2171 nodes, 7.34 seconds, depth 14, found by <fracdiving>)
8.29/8.38 c Dual Bound : +1.70000000000000e+01
8.29/8.38 c Gap : 0.00 %
8.29/8.38 c Root Dual Bound : +7.00000000000000e+00
8.29/8.38 c Root Iterations : 1055
8.29/8.40 c Time complete: 8.39.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666177-1276583846/watcher-2666177-1276583846 -o /tmp/evaluation-result-2666177-1276583846/solver-2666177-1276583846 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666177-1276583846.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.08 1.02 1.00 3/106 1847
/proc/meminfo: memFree=1801144/2059040 swapFree=4134576/4192956
[pid=1847] ppid=1845 vsize=6488 CPUtime=0
/proc/1847/stat : 1847 (pbscip.linux.x8) R 1845 1847 1033 0 -1 4202496 601 0 0 0 0 0 0 0 20 0 1 0 33971034 6643712 521 1992294400 4194304 9819077 140736191963472 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1847/statm: 1622 522 338 1374 0 243 0
[startup+0.0946499 s]
/proc/loadavg: 1.08 1.02 1.00 3/106 1847
/proc/meminfo: memFree=1801144/2059040 swapFree=4134576/4192956
[pid=1847] ppid=1845 vsize=16420 CPUtime=0.08
/proc/1847/stat : 1847 (pbscip.linux.x8) R 1845 1847 1033 0 -1 4202496 3938 0 0 0 7 1 0 0 20 0 1 0 33971034 16814080 2716 1992294400 4194304 9819077 140736191963472 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1847/statm: 4105 2716 661 1374 0 2726 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16420
[startup+0.10065 s]
/proc/loadavg: 1.08 1.02 1.00 3/106 1847
/proc/meminfo: memFree=1801144/2059040 swapFree=4134576/4192956
[pid=1847] ppid=1845 vsize=16716 CPUtime=0.09
/proc/1847/stat : 1847 (pbscip.linux.x8) R 1845 1847 1033 0 -1 4202496 4003 0 0 0 8 1 0 0 20 0 1 0 33971034 17117184 2781 1992294400 4194304 9819077 140736191963472 18446744073709551615 6045809 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1847/statm: 4179 2781 666 1374 0 2800 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16716
[startup+0.30067 s]
/proc/loadavg: 1.08 1.02 1.00 3/106 1847
/proc/meminfo: memFree=1801144/2059040 swapFree=4134576/4192956
[pid=1847] ppid=1845 vsize=24692 CPUtime=0.29
/proc/1847/stat : 1847 (pbscip.linux.x8) R 1845 1847 1033 0 -1 4202496 7047 0 0 0 27 2 0 0 20 0 1 0 33971034 25284608 4540 1992294400 4194304 9819077 140736191963472 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1847/statm: 6173 4540 682 1374 0 4794 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24692
[startup+0.700711 s]
/proc/loadavg: 1.08 1.02 1.00 3/106 1847
/proc/meminfo: memFree=1801144/2059040 swapFree=4134576/4192956
[pid=1847] ppid=1845 vsize=18868 CPUtime=0.69
/proc/1847/stat : 1847 (pbscip.linux.x8) R 1845 1847 1033 0 -1 4202496 7395 0 0 0 66 3 0 0 21 0 1 0 33971034 19320832 3575 1992294400 4194304 9819077 140736191963472 18446744073709551615 6047415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1847/statm: 4717 3575 696 1374 0 3338 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18868
[startup+1.50079 s]
/proc/loadavg: 1.08 1.02 1.00 2/107 1848
/proc/meminfo: memFree=1788240/2059040 swapFree=4134576/4192956
[pid=1847] ppid=1845 vsize=21532 CPUtime=1.49
/proc/1847/stat : 1847 (pbscip.linux.x8) R 1845 1847 1033 0 -1 4202496 10873 0 0 0 143 6 0 0 23 0 1 0 33971034 22048768 3859 1992294400 4194304 9819077 140736191963472 18446744073709551615 7317686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1847/statm: 5383 3860 706 1374 0 4004 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21532
[startup+3.10095 s]
/proc/loadavg: 1.08 1.02 1.00 2/107 1848
/proc/meminfo: memFree=1787620/2059040 swapFree=4134576/4192956
[pid=1847] ppid=1845 vsize=20008 CPUtime=3.09
/proc/1847/stat : 1847 (pbscip.linux.x8) R 1845 1847 1033 0 -1 4202496 28192 0 0 0 289 20 0 0 25 0 1 0 33971034 20488192 3846 1992294400 4194304 9819077 140736191963472 18446744073709551615 7816519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1847/statm: 5002 3846 706 1374 0 3623 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20008
[startup+6.30027 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 1848
/proc/meminfo: memFree=1787620/2059040 swapFree=4134576/4192956
[pid=1847] ppid=1845 vsize=20912 CPUtime=6.29
/proc/1847/stat : 1847 (pbscip.linux.x8) R 1845 1847 1033 0 -1 4202496 45498 0 0 0 589 40 0 0 25 0 1 0 33971034 21413888 3907 1992294400 4194304 9819077 140736191963472 18446744073709551615 4978306 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1847/statm: 5228 3907 723 1374 0 3849 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20912
Solver just ended. Dumping a history of the last processes samples
[startup+7.10035 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 1848
/proc/meminfo: memFree=1787620/2059040 swapFree=4134576/4192956
[pid=1847] ppid=1845 vsize=21156 CPUtime=7.09
/proc/1847/stat : 1847 (pbscip.linux.x8) R 1845 1847 1033 0 -1 4202496 48997 0 0 0 664 45 0 0 25 0 1 0 33971034 21663744 3962 1992294400 4194304 9819077 140736191963472 18446744073709551615 6364915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1847/statm: 5289 3962 724 1374 0 3910 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 21156
[startup+7.90043 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 1848
/proc/meminfo: memFree=1787124/2059040 swapFree=4134576/4192956
[pid=1847] ppid=1845 vsize=21244 CPUtime=7.89
/proc/1847/stat : 1847 (pbscip.linux.x8) R 1845 1847 1033 0 -1 4202496 59397 0 0 0 738 51 0 0 25 0 1 0 33971034 21753856 3996 1992294400 4194304 9819077 140736191963472 18446744073709551615 4947067 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1847/statm: 5311 3996 729 1374 0 3932 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 21244
[startup+8.30048 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 1848
/proc/meminfo: memFree=1787124/2059040 swapFree=4134576/4192956
[pid=1847] ppid=1845 vsize=21224 CPUtime=8.29
/proc/1847/stat : 1847 (pbscip.linux.x8) R 1845 1847 1033 0 -1 4202496 62631 0 0 0 775 54 0 0 25 0 1 0 33971034 21733376 3995 1992294400 4194304 9819077 140736191963472 18446744073709551615 7816434 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1847/statm: 5306 3995 729 1374 0 3927 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 21224
[startup+8.40049 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 1848
/proc/meminfo: memFree=1787124/2059040 swapFree=4134576/4192956
[pid=1847] ppid=1845 vsize=0 CPUtime=8.39
/proc/1847/stat : 1847 (pbscip.linux.x8) R 1845 1847 1033 0 -1 4202500 62904 0 0 0 784 55 0 0 25 0 1 0 33971034 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/1847/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.39
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 8.40019
CPU time (s): 8.39872
CPU user time (s): 7.84181
CPU system time (s): 0.556915
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 24692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.84181
system time used= 0.556915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62904
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= 17
runsolver used 0.013997 second user time and 0.049992 second system time
The end