0.01/0.01 c SCIP version 1.1.0.7
0.01/0.01 c LP-Solver SoPlex 1.4.1
0.01/0.01 c user parameter file <scip.set> not found - using default parameters
0.01/0.01 c read problem <HOME/instance-1868678-1245132531.opb>
0.01/0.01 c original problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 73 constraints
0.01/0.02 c start presolving problem
0.01/0.02 c presolving:
0.01/0.02 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 10 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.03 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 10 chg sides, 10 chg coeffs, 73 upgd conss, 0 impls, 0 clqs
0.01/0.04 c (round 3) 0 del vars, 0 del conss, 0 chg bounds, 110 chg sides, 210 chg coeffs, 73 upgd conss, 200 impls, 0 clqs
0.01/0.04 c (round 4) 0 del vars, 10 del conss, 0 chg bounds, 110 chg sides, 210 chg coeffs, 73 upgd conss, 200 impls, 0 clqs
0.01/0.05 c (0.0s) probing: 101/163 (62.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.05 c presolving (5 rounds):
0.01/0.05 c 0 deleted vars, 10 deleted constraints, 0 tightened bounds, 0 added holes, 110 changed sides, 210 changed coefficients
0.01/0.05 c 200 implications, 0 cliques
0.01/0.05 c presolved problem has 163 variables (163 bin, 0 int, 0 impl, 0 cont) and 163 constraints
0.01/0.05 c 63 constraints of type <knapsack>
0.01/0.05 c 100 constraints of type <setppc>
0.01/0.05 c transformed objective value is always integral (scale: 1)
0.01/0.05 c Presolving Time: 0.03
0.01/0.05 c OPT-LIN
0.01/0.05 c -----------------------------------------------------------------------------------------------
0.01/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.05 c limits/memory = c 1620
0.01/0.05 c # maximal time in seconds to run
0.01/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.05 c limits/time = c 1791
0.01/0.05 c # frequency for displaying node information lines
0.01/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.05 c display/freq = c 10000
0.01/0.05 c -----------------------------------------------------------------------------------------------
0.01/0.05 c start solving problem
0.01/0.05 c
0.01/0.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.06 c 0.0s| 1 | 0 | 136 |1536k| 0 | 36 | 163 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | -- | Inf
0.01/0.06 o 36864
0.01/0.06 c R 0.0s| 1 | 0 | 136 |1539k| 0 | 36 | 163 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 3.686400e+04 | 176.92%
0.01/0.06 o 35840
0.01/0.06 c s 0.0s| 1 | 0 | 136 |1541k| 0 | 36 | 163 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 3.584000e+04 | 169.23%
0.19/0.23 o 17408
0.19/0.23 c k 0.2s| 1 | 0 | 136 |1544k| 0 | 36 | 163 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.740800e+04 | 30.77%
0.59/0.67 o 16384
0.59/0.67 c E 0.6s| 1 | 0 | 136 |1543k| 0 | 36 | 163 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
0.59/0.67 c 0.6s| 1 | 0 | 136 |1543k| 0 | 36 | 163 | 163 | 163 | 163 | 163 | 0 | 0 | 0 | 1.331200e+04 | 1.638400e+04 | 23.08%
1.19/1.25 c 1.2s| 1 | 2 | 136 |1544k| 0 | 36 | 163 | 163 | 163 | 163 | 163 | 0 | 0 | 36 | 1.331200e+04 | 1.638400e+04 | 23.08%
21.99/22.00 o 16384
21.99/22.00 c s21.4s| 840 | 763 |149827 |2112k| 26 | 16 | 163 | 188 | 177 | 163 | 163 | 0 | 32 | 712 | 1.390933e+04 | 1.638400e+04 | 17.79%
26.68/26.78 o 16384
26.68/26.78 c s26.0s| 1098 | 1021 |196335 |2243k| 26 | 28 | 163 | 198 | 175 | 163 | 163 | 0 | 47 | 765 | 1.401600e+04 | 1.638400e+04 | 16.89%
47.67/47.74 o 16384
47.67/47.74 c S46.4s| 2576 | 2501 |410885 |2843k| 32 | 0 | 163 | 231 | 187 | 163 | 163 | 0 | 93 | 962 | 1.408000e+04 | 1.638400e+04 | 16.36%
69.06/69.18 o 15360
69.06/69.18 c p67.1s| 4290 | 3654 |631164 |3302k| 34 | - | 163 | 242 | 171 | 163 | 163 | 0 | 119 |1121 | 1.408000e+04 | 1.536000e+04 | 9.09%
113.96/114.08 c 111s| 10000 | 8202 | 1084k|5925k| 37 | 13 | 163 | 238 | 145 | 163 | 163 | 0 | 153 |2043 | 1.408000e+04 | 1.536000e+04 | 9.09%
170.04/170.11 o 15360
170.04/170.11 c o 165s| 17301 | 14027 | 1645k|9297k| 37 | 0 | 163 | 218 | 149 | 163 | 163 | 0 | 187 |3204 | 1.408000e+04 | 1.536000e+04 | 9.09%
191.04/191.18 c 186s| 20000 | 16166 | 1861k| 10M| 37 | 11 | 163 | 217 | 165 | 163 | 163 | 0 | 202 |3540 | 1.408000e+04 | 1.536000e+04 | 9.09%
257.62/257.75 c 250s| 30000 | 23550 | 2540k| 15M| 40 | 19 | 163 | 200 | 145 | 163 | 163 | 0 | 245 |4648 | 1.420800e+04 | 1.536000e+04 | 8.11%
326.91/327.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
326.91/327.05 c 317s| 40000 | 30292 | 3255k| 19M| 40 | - | 163 | 190 | 137 | 163 | 163 | 0 | 280 |5515 | 1.420800e+04 | 1.536000e+04 | 8.11%
395.19/395.36 c 384s| 50000 | 36944 | 3956k| 23M| 40 | 12 | 163 | 209 | 158 | 163 | 163 | 0 | 334 |6228 | 1.420800e+04 | 1.536000e+04 | 8.11%
459.97/460.17 c 446s| 60000 | 43512 | 4624k| 27M| 40 | 15 | 163 | 197 | 177 | 163 | 163 | 0 | 363 |6856 | 1.420800e+04 | 1.536000e+04 | 8.11%
522.96/523.18 c 508s| 70000 | 50100 | 5279k| 31M| 40 | 34 | 163 | 193 | 173 | 163 | 163 | 0 | 393 |7500 | 1.420800e+04 | 1.536000e+04 | 8.11%
564.94/565.13 c 548s| 80000 | 55612 | 5721k| 35M| 40 | 17 | 163 | 189 | 159 | 163 | 163 | 0 | 424 |7981 | 1.425067e+04 | 1.536000e+04 | 7.78%
607.74/607.98 c 590s| 90000 | 61324 | 6168k| 39M| 40 | 17 | 163 | 187 | 169 | 163 | 163 | 0 | 447 |8478 | 1.426286e+04 | 1.536000e+04 | 7.69%
646.73/646.91 c 627s|100000 | 66678 | 6576k| 42M| 41 | 23 | 163 | 183 | 155 | 163 | 163 | 0 | 472 |8942 | 1.427911e+04 | 1.536000e+04 | 7.57%
684.42/684.69 c 664s|110000 | 71766 | 6973k| 46M| 41 | 12 | 163 | 187 | 110 | 163 | 163 | 0 | 493 |9327 | 1.429333e+04 | 1.536000e+04 | 7.46%
721.01/721.22 c 699s|120000 | 76480 | 7356k| 49M| 41 | 18 | 163 | 183 | 134 | 163 | 163 | 0 | 507 |9815 | 1.429943e+04 | 1.536000e+04 | 7.42%
758.71/758.99 c 736s|130000 | 81088 | 7752k| 52M| 42 | 21 | 163 | 178 | 161 | 163 | 163 | 0 | 521 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
798.80/799.02 c 774s|140000 | 86402 | 8171k| 55M| 42 | 21 | 163 | 175 | 133 | 163 | 163 | 0 | 539 | 10k| 1.433600e+04 | 1.536000e+04 | 7.14%
836.08/836.31 c 811s|150000 | 90780 | 8568k| 58M| 42 | 15 | 163 | 189 | 128 | 163 | 163 | 0 | 572 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
875.17/875.42 c 848s|160000 | 95264 | 8984k| 61M| 42 | 15 | 163 | 187 | 161 | 163 | 163 | 0 | 601 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
918.66/918.94 c 891s|170000 |100712 | 9443k| 65M| 42 | - | 163 | 196 | 137 | 163 | 163 | 0 | 630 | 11k| 1.433600e+04 | 1.536000e+04 | 7.14%
959.46/959.79 c 930s|180000 |105964 | 9876k| 68M| 42 | 16 | 163 | 187 | 118 | 163 | 163 | 0 | 650 | 12k| 1.433600e+04 | 1.536000e+04 | 7.14%
1000.84/1001.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1000.84/1001.19 c 970s|190000 |110482 | 10316k| 71M| 42 | 21 | 163 | 181 | 133 | 163 | 163 | 0 | 675 | 12k| 1.433600e+04 | 1.536000e+04 | 7.14%
1040.93/1041.25 c 1009s|200000 |115396 | 10739k| 75M| 42 | 22 | 163 | 194 | 166 | 163 | 163 | 0 | 712 | 12k| 1.433600e+04 | 1.536000e+04 | 7.14%
1084.33/1084.65 c 1051s|210000 |120818 | 11199k| 78M| 42 | 7 | 163 | 205 | 165 | 163 | 163 | 0 | 745 | 12k| 1.433600e+04 | 1.536000e+04 | 7.14%
1127.52/1127.89 c 1093s|220000 |126216 | 11654k| 82M| 42 | 41 | 163 | 190 | 123 | 163 | 163 | 0 | 779 | 13k| 1.433600e+04 | 1.536000e+04 | 7.14%
1166.81/1167.17 c 1131s|230000 |130686 | 12074k| 85M| 42 | 25 | 163 | 187 | 114 | 163 | 163 | 0 | 803 | 13k| 1.433600e+04 | 1.536000e+04 | 7.14%
1204.40/1204.75 c 1167s|240000 |134884 | 12471k| 88M| 42 | - | 163 | 178 | 141 | 163 | 163 | 0 | 820 | 14k| 1.433600e+04 | 1.536000e+04 | 7.14%
1243.59/1243.90 c 1205s|250000 |139570 | 12886k| 91M| 42 | - | 163 | 176 | 144 | 163 | 163 | 0 | 842 | 14k| 1.433600e+04 | 1.536000e+04 | 7.14%
1283.18/1283.51 c 1243s|260000 |144162 | 13310k| 94M| 42 | 20 | 163 | 197 | 127 | 163 | 163 | 0 | 883 | 14k| 1.433600e+04 | 1.536000e+04 | 7.14%
1321.26/1321.61 c 1280s|270000 |148802 | 13721k| 97M| 42 | 10 | 163 | 175 | 126 | 163 | 163 | 0 | 895 | 14k| 1.433600e+04 | 1.536000e+04 | 7.14%
1359.76/1360.14 c 1317s|280000 |153538 | 14133k| 100M| 42 | - | 163 | 180 | 112 | 163 | 163 | 0 | 913 | 15k| 1.433600e+04 | 1.536000e+04 | 7.14%
1395.85/1396.28 c 1352s|290000 |157966 | 14520k| 103M| 42 | - | 163 | 172 | 147 | 163 | 163 | 0 | 928 | 15k| 1.433600e+04 | 1.536000e+04 | 7.14%
1430.84/1431.21 c 1386s|300000 |162440 | 14891k| 106M| 42 | - | 163 | 182 | 146 | 163 | 163 | 0 | 950 | 15k| 1.433600e+04 | 1.536000e+04 | 7.14%
1468.13/1468.50 c 1422s|310000 |167364 | 15290k| 110M| 42 | 16 | 163 | 193 | 122 | 163 | 163 | 0 | 989 | 15k| 1.433600e+04 | 1.536000e+04 | 7.14%
1503.72/1504.15 c 1456s|320000 |172152 | 15666k| 113M| 42 | 17 | 163 | 185 | 108 | 163 | 163 | 0 |1011 | 16k| 1.433600e+04 | 1.536000e+04 | 7.14%
1540.91/1541.31 c 1492s|330000 |176424 | 16061k| 116M| 42 | - | 163 | 188 | 132 | 163 | 163 | 0 |1044 | 16k| 1.436800e+04 | 1.536000e+04 | 6.90%
1575.41/1575.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.41/1575.86 c 1526s|340000 |179880 | 16429k| 118M| 42 | - | 163 | 183 | 128 | 163 | 163 | 0 |1073 | 16k| 1.437867e+04 | 1.536000e+04 | 6.82%
1608.99/1609.40 c 1558s|350000 |183290 | 16787k| 121M| 42 | - | 163 | 182 | 135 | 163 | 163 | 0 |1104 | 16k| 1.438720e+04 | 1.536000e+04 | 6.76%
1643.29/1643.74 c 1591s|360000 |186750 | 17153k| 124M| 42 | - | 163 | 177 | 125 | 163 | 163 | 0 |1132 | 16k| 1.439289e+04 | 1.536000e+04 | 6.72%
1676.57/1677.01 c 1623s|370000 |189994 | 17509k| 126M| 42 | 13 | 163 | 186 | 139 | 163 | 163 | 0 |1161 | 17k| 1.440000e+04 | 1.536000e+04 | 6.67%
1710.07/1710.53 c 1656s|380000 |193256 | 17868k| 129M| 42 | 22 | 163 | 184 | 157 | 163 | 163 | 0 |1194 | 17k| 1.440000e+04 | 1.536000e+04 | 6.67%
1744.56/1745.08 c 1689s|390000 |196552 | 18234k| 131M| 42 | 6 | 163 | 192 | 137 | 163 | 163 | 0 |1233 | 17k| 1.440000e+04 | 1.536000e+04 | 6.67%
1777.36/1777.89 c 1721s|400000 |199722 | 18586k| 134M| 42 | - | 163 | 193 | 133 | 163 | 163 | 0 |1264 | 17k| 1.440914e+04 | 1.536000e+04 | 6.60%
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1742.90
1800.05/1800.50 c Solving Nodes : 407425
1800.05/1800.50 c Primal Bound : +1.53600000000000e+04 (449 solutions)
1800.05/1800.50 c Dual Bound : +1.44112941176471e+04
1800.05/1800.50 c Gap : 6.58 %
1800.05/1800.50 c NODE 407425
1800.05/1800.50 c DUAL BOUND 14411.3
1800.05/1800.50 c PRIMAL BOUND 15360
1800.05/1800.50 c GAP 0.0658307
1800.05/1800.50 s SATISFIABLE
1800.05/1800.50 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1800.05/1800.50 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
1800.05/1800.50 v -x118 -x117 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96
1800.05/1800.50 v -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1800.05/1800.50 v x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x44
1800.05/1800.50 v -x43 -x42 -x41 -x40 -x39 x38 -x37 x36 x35 -x33 -x32 x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x22 -x21 -x20 -x19 -x18 -x17 -x16
1800.05/1800.50 v -x15 -x14 -x13 x11 -x10 x9 -x8 -x7 x6 x5 x4 -x3 -x2 -x163 -x162 x161 -x116 -x45 -x34 x23 x12 -x1
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time : 1742.90
1800.05/1800.50 c Original Problem :
1800.05/1800.50 c Problem name : HOME/instance-1868678-1245132531.opb
1800.05/1800.50 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50 c Constraints : 73 initial, 73 maximal
1800.05/1800.50 c Presolved Problem :
1800.05/1800.50 c Problem name : t_HOME/instance-1868678-1245132531.opb
1800.05/1800.50 c Variables : 163 (163 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50 c Constraints : 163 initial, 252 maximal
1800.05/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.50 c knapsack : 0.01 0 0 0 0 0 10 100 200
1800.05/1800.50 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c linear : 0.01 0 0 0 0 0 0 10 10
1800.05/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c root node : - 0 - - 0 - - - -
1800.05/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.50 c integral : 0 0 0 307333 0 2 2800 0 0 609784
1800.05/1800.50 c knapsack : 63 1 965782 0 0 1237 1832 0 0 0
1800.05/1800.50 c setppc : 100 1 908077 0 0 0 260 0 0 0
1800.05/1800.50 c logicor : 0+ 0 124432 0 0 0 0 0 0 0
1800.05/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.50 c integral : 37.87 0.00 0.00 37.87 0.00
1800.05/1800.50 c knapsack : 3.38 0.03 3.35 0.00 0.00
1800.05/1800.50 c setppc : 2.64 0.00 2.64 0.00 0.00
1800.05/1800.50 c logicor : 0.59 0.00 0.59 0.00 0.00
1800.05/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.50 c rootredcost : 0.39 1 0 0
1800.05/1800.50 c pseudoobj : 10.25 965818 102 0
1800.05/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.50 c propagation : 0.15 1296 1286 1381 33.7 0 0.0 -
1800.05/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.50 c applied globally : - - - 908 25.5 - - -
1800.05/1800.50 c applied locally : - - - 378 45.8 - - -
1800.05/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.50 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.50 c redcost : 5.82 418947 0 651341 0 0
1800.05/1800.50 c impliedbounds : 0.00 2 0 0 0 0
1800.05/1800.50 c intobj : 0.00 0 0 0 0 0
1800.05/1800.50 c gomory : 0.02 2 0 0 0 0
1800.05/1800.50 c strongcg : 0.01 2 0 0 0 0
1800.05/1800.50 c cmir : 0.00 2 0 0 0 0
1800.05/1800.50 c flowcover : 0.22 2 0 0 0 0
1800.05/1800.50 c clique : 0.00 1 0 0 0 0
1800.05/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.50 c mcf : 0.00 1 0 0 0 0
1800.05/1800.50 c Pricers : Time Calls Vars
1800.05/1800.50 c problem variables: 0.00 0 0
1800.05/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.50 c relpscost : 37.47 307333 2 2800 0 0 609784
1800.05/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.50 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.50 c random : 0.00 0 0 0 0 0 0
1800.05/1800.50 c Primal Heuristics : Time Calls Found
1800.05/1800.50 c LP solutions : 0.00 - 0
1800.05/1800.50 c pseudo solutions : 0.00 - 0
1800.05/1800.50 c oneopt : 0.17 6 1
1800.05/1800.50 c crossover : 4.79 15 9
1800.05/1800.50 c coefdiving : 57.89 2034 27
1800.05/1800.50 c guideddiving : 60.10 2227 5
1800.05/1800.50 c rootsoldiving : 17.86 1471 16
1800.05/1800.50 c fracdiving : 65.51 3126 13
1800.05/1800.50 c veclendiving : 63.11 3210 98
1800.05/1800.50 c pscostdiving : 81.40 4532 63
1800.05/1800.50 c linesearchdiving : 57.34 5981 35
1800.05/1800.50 c simplerounding : 1.55 307333 54
1800.05/1800.50 c rounding : 1.66 26588 1
1800.05/1800.50 c shifting : 2.30 21620 90
1800.05/1800.50 c intshifting : 0.01 0 0
1800.05/1800.50 c fixandinfer : 0.00 0 0
1800.05/1800.50 c feaspump : 0.01 0 0
1800.05/1800.50 c intdiving : 0.00 0 0
1800.05/1800.50 c actconsdiving : 0.00 0 0
1800.05/1800.50 c objpscostdiving : 18.34 569 36
1800.05/1800.50 c octane : 0.00 0 0
1800.05/1800.50 c rens : 0.41 1 1
1800.05/1800.50 c rins : 0.00 0 0
1800.05/1800.50 c localbranching : 0.00 0 0
1800.05/1800.50 c mutation : 0.00 0 0
1800.05/1800.50 c dins : 0.00 0 0
1800.05/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.50 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.50 c dual LP : 1203.67 409864 14102165 34.41 11715.97
1800.05/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.50 c diving/probing LP: 379.10 441683 4726067 10.70 12466.54
1800.05/1800.50 c strong branching : 32.60 17889 286644 16.02 8792.76
1800.05/1800.50 c (at root node) : - 36 3981 110.58 -
1800.05/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.50 c B&B Tree :
1800.05/1800.50 c number of runs : 1
1800.05/1800.50 c nodes : 407425
1800.05/1800.50 c nodes (total) : 407425
1800.05/1800.50 c nodes left : 201805
1800.05/1800.50 c max depth : 43
1800.05/1800.50 c max depth (total): 43
1800.05/1800.50 c backtracks : 71227 (17.5%)
1800.05/1800.50 c delayed cutoffs : 0
1800.05/1800.50 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.50 c avg switch length: 5.33
1800.05/1800.50 c switching time : 12.40
1800.05/1800.50 c Solution :
1800.05/1800.50 c Solutions found : 449 (9 improvements)
1800.05/1800.50 c Primal Bound : +1.53600000000000e+04 (in run 1, after 17301 nodes, 165.22 seconds, depth 28, found by <objpscostdiving>)
1800.05/1800.50 c Dual Bound : +1.44112941176471e+04
1800.05/1800.50 c Gap : 6.58 %
1800.05/1800.50 c Root Dual Bound : +1.33120000000000e+04
1800.64/1801.12 c Time complete: 1800.68.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1868678-1245132531/watcher-1868678-1245132531 -o /tmp/evaluation-result-1868678-1245132531/solver-1868678-1245132531 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1868678-1245132531.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 0.98 3/64 1213
/proc/meminfo: memFree=1762864/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=4324 CPUtime=0
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 479 0 0 0 0 0 0 0 18 0 1 0 180852665 4427776 463 1992294400 4194304 7823515 548682068736 18446744073709551615 6956836 0 0 4096 0 0 0 0 17 1 0 0
/proc/1213/statm: 1122 471 306 886 0 232 0
[startup+0.0137711 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 1213
/proc/meminfo: memFree=1762864/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=8672 CPUtime=0.01
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 1493 0 0 0 1 0 0 0 18 0 1 0 180852665 8880128 1475 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/1213/statm: 2168 1475 354 886 0 1278 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8672
[startup+0.101776 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 1213
/proc/meminfo: memFree=1762864/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=17188 CPUtime=0.09
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 3888 0 0 0 8 1 0 0 18 0 1 0 180852665 17600512 3497 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 4297 3497 531 886 0 3407 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17188
[startup+0.301788 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 1213
/proc/meminfo: memFree=1762864/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=28684 CPUtime=0.29
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 6362 0 0 0 27 2 0 0 19 0 1 0 180852665 29372416 5969 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 7171 5969 560 886 0 6281 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28684
[startup+0.701813 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 1213
/proc/meminfo: memFree=1762864/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=19528 CPUtime=0.69
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 6414 0 0 0 64 5 0 0 22 0 1 0 180852665 19996672 4027 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 4882 4027 564 886 0 3992 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19528
[startup+1.50186 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 1214
/proc/meminfo: memFree=1748712/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=19528 CPUtime=1.49
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 6419 0 0 0 143 6 0 0 25 0 1 0 180852665 19996672 4032 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 4882 4032 565 886 0 3992 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19528
[startup+3.10196 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 1214
/proc/meminfo: memFree=1748200/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=19528 CPUtime=3.09
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 6419 0 0 0 300 9 0 0 25 0 1 0 180852665 19996672 4032 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 4882 4032 565 886 0 3992 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19528
[startup+6.30116 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 1214
/proc/meminfo: memFree=1748456/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=19668 CPUtime=6.29
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 6423 0 0 0 612 17 0 0 25 0 1 0 180852665 20140032 4036 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 4917 4036 566 886 0 4027 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19668
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 1214
/proc/meminfo: memFree=1748072/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=20224 CPUtime=12.69
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 8536 0 0 0 1234 35 0 0 25 0 1 0 180852665 20709376 4193 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 5056 4193 569 886 0 4166 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20224
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 1214
/proc/meminfo: memFree=1747624/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=20664 CPUtime=25.49
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 8658 0 0 0 2476 73 0 0 25 0 1 0 180852665 21159936 4315 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 5166 4315 569 886 0 4276 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20664
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 1214
/proc/meminfo: memFree=1746856/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=21408 CPUtime=51.07
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 8848 0 0 0 4963 144 0 0 25 0 1 0 180852665 21921792 4504 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 5352 4504 569 886 0 4462 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21408
[startup+102.305 s]
/proc/loadavg: 1.04 1.01 0.98 2/65 1214
/proc/meminfo: memFree=1744232/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=23980 CPUtime=102.26
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 13328 0 0 0 9932 294 0 0 25 0 1 0 180852665 24555520 5158 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 5995 5158 570 886 0 5105 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 23980
[startup+162.302 s]
/proc/loadavg: 1.06 1.02 0.99 2/65 1214
/proc/meminfo: memFree=1739624/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=28452 CPUtime=162.25
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 20098 0 0 0 15763 462 0 0 25 0 1 0 180852665 29134848 6303 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 7113 6303 570 886 0 6223 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 28452
[startup+222.302 s]
/proc/loadavg: 1.02 1.02 0.99 2/65 1214
/proc/meminfo: memFree=1732072/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=35664 CPUtime=222.23
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 25112 0 0 0 21580 643 0 0 25 0 1 0 180852665 36519936 8120 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 8916 8120 570 886 0 8026 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 35664
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 0.99 2/65 1214
/proc/meminfo: memFree=1730984/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=37268 CPUtime=282.22
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 27433 0 0 0 27395 827 0 0 25 0 1 0 180852665 38162432 8556 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 9317 8556 570 886 0 8427 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 37268
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 0.99 2/65 1214
/proc/meminfo: memFree=1726440/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=41184 CPUtime=342.2
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 30425 0 0 0 33214 1006 0 0 25 0 1 0 180852665 42172416 9561 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 10296 9561 572 886 0 9406 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 41184
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1722088/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=45436 CPUtime=402.19
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 32809 0 0 0 39038 1181 0 0 25 0 1 0 180852665 46526464 10639 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 11359 10639 572 886 0 10469 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 45436
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1715880/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=51452 CPUtime=462.17
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 35637 0 0 0 44852 1365 0 0 25 0 1 0 180852665 52686848 12163 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 12863 12163 572 886 0 11973 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 51452
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1713704/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=53684 CPUtime=522.16
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 36220 0 0 0 50678 1538 0 0 25 0 1 0 180852665 54972416 12746 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 13421 12746 572 886 0 12531 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 53684
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1706472/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=60716 CPUtime=582.15
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 38019 0 0 0 56483 1732 0 0 25 0 1 0 180852665 62173184 14545 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 15179 14545 572 886 0 14289 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 60716
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1701416/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=67180 CPUtime=642.13
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 40519 0 0 0 62283 1930 0 0 25 0 1 0 180852665 68792320 15791 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 16795 15791 572 886 0 15905 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 67180
[startup+702.302 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1667880/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=99924 CPUtime=1002.04
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 50745 0 0 0 97113 3091 0 0 25 0 1 0 180852665 102322176 24124 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 24981 24124 572 886 0 24091 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 99924
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1663080/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=104576 CPUtime=1062.03
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 51929 0 0 0 102926 3277 0 0 25 0 1 0 180852665 107085824 25308 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 26144 25308 572 886 0 25254 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 104576
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1659304/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=108164 CPUtime=1122.01
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 52865 0 0 0 108728 3473 0 0 25 0 1 0 180852665 110759936 26244 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 27041 26244 572 886 0 26151 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 108164
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1654568/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=112804 CPUtime=1182
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 54045 0 0 0 114533 3667 0 0 25 0 1 0 180852665 115511296 27424 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 28201 27424 572 886 0 27311 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 112804
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1648872/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=118440 CPUtime=1241.99
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 56758 0 0 0 120334 3865 0 0 25 0 1 0 180852665 121282560 28822 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 29610 28822 572 886 0 28720 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 118440
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1643112/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=124072 CPUtime=1301.98
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 58198 0 0 0 126139 4059 0 0 25 0 1 0 180852665 127049728 30262 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 31018 30262 572 886 0 30128 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 124072
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1639848/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=127220 CPUtime=1361.96
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 58990 0 0 0 131937 4259 0 0 25 0 1 0 180852665 130273280 31054 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 31805 31054 572 886 0 30915 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 127220
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1633832/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=132996 CPUtime=1421.95
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 60481 0 0 0 137734 4461 0 0 25 0 1 0 180852665 136187904 32545 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 33249 32545 572 886 0 32359 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 132996
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1626280/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=140508 CPUtime=1481.92
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 62374 0 0 0 143525 4667 0 0 25 0 1 0 180852665 143880192 34433 1992294400 4194304 7823515 548682068736 18446744073709551615 6099656 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 35127 34433 572 886 0 34237 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 140508
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1620968/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=145652 CPUtime=1541.91
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 63709 0 0 0 149329 4862 0 0 25 0 1 0 180852665 149147648 35765 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 36413 35765 572 886 0 35523 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 145652
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1616488/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=150148 CPUtime=1601.9
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 64819 0 0 0 155123 5067 0 0 25 0 1 0 180852665 153751552 36875 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 37537 36875 572 886 0 36647 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 150148
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1611816/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=154692 CPUtime=1661.89
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 65973 0 0 0 160930 5259 0 0 25 0 1 0 180852665 158404608 38029 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 38673 38029 572 886 0 37783 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 154692
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1607912/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=158468 CPUtime=1721.86
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 66933 0 0 0 166731 5455 0 0 25 0 1 0 180852665 162271232 38989 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 39617 38989 572 886 0 38727 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 158468
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1602472/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=167856 CPUtime=1781.86
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 68274 0 0 0 172533 5653 0 0 25 0 1 0 180852665 171884544 40330 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 41964 40330 572 886 0 41074 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 167856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1214
/proc/meminfo: memFree=1601576/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=168752 CPUtime=1800.05
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 68506 0 0 0 174291 5714 0 0 25 0 1 0 180852665 172802048 40562 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1213/statm: 42188 40562 572 886 0 41298 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 168752
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 1215
/proc/meminfo: memFree=1601568/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=168752 CPUtime=1800.16
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 68508 0 0 0 174302 5714 0 0 25 0 1 0 180852665 172802048 40564 1992294400 4194304 7823515 548682068736 18446744073709551615 5875141 0 0 4096 0 0 0 0 17 1 0 0
/proc/1213/statm: 42188 40564 574 886 0 41298 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 168752
[startup+1801 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 1215
/proc/meminfo: memFree=1601568/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=168752 CPUtime=1800.55
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 68508 0 0 0 174341 5714 0 0 25 0 1 0 180852665 172802048 40564 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/1213/statm: 42188 40564 574 886 0 41298 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (KiB) 168752
[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 1215
/proc/meminfo: memFree=1601568/2055920 swapFree=4191900/4192956
[pid=1213] ppid=1211 vsize=161572 CPUtime=1800.64
/proc/1213/stat : 1213 (pbscip.linux.x8) R 1211 1213 32310 0 -1 4194304 68508 0 0 0 174350 5714 0 0 25 0 1 0 180852665 165449728 39773 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/1213/statm: 40393 39773 4181 886 0 39503 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 161572
Child status: 0
Real time (s): 1801.13
CPU time (s): 1800.69
CPU user time (s): 1743.51
CPU system time (s): 57.1733
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 168752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.51
system time used= 57.1733
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68511
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= 2042
runsolver used 1.22881 second user time and 3.83742 second system time
The end