0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3450627-1307103974.opb>
0.00/0.01 c original problem has 2692 variables (2692 bin, 0 int, 0 impl, 0 cont) and 2892 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 200
0.00/0.02 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.00/0.02 c presolving:
0.00/0.06 c (round 1) 0 del vars, 2692 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 71556 impls, 0 clqs
0.00/0.07 c (round 2) 2492 del vars, 2692 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 71556 impls, 0 clqs
0.00/0.07 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.07 c presolving (3 rounds):
0.00/0.07 c 2492 deleted vars, 2692 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.07 c 71556 implications, 0 cliques
0.00/0.07 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.07 c 200 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.06
0.00/0.07 c - non default parameters ----------------------------------------------------------------------
0.00/0.07 c # SCIP version 2.0.1.5
0.00/0.07 c
0.00/0.07 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.07 c conflict/interconss = 0
0.00/0.07 c
0.00/0.07 c # should binary conflicts be preferred?
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c conflict/preferbinary = TRUE
0.00/0.07 c
0.00/0.07 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.00/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.07 c constraints/agelimit = 1
0.00/0.07 c
0.00/0.07 c # should enforcement of pseudo solution be disabled?
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/disableenfops = TRUE
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 = 1800
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 = 13950
0.00/0.07 c
0.00/0.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.07 c # [type: int, range: [1,2], default: 1]
0.00/0.07 c timing/clocktype = 2
0.00/0.07 c
0.00/0.07 c # belongs reading time to solving time?
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c timing/reading = TRUE
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.07 c constraints/indicator/addCouplingCons = 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 -----------------------------------------------------------------------------------------------
0.00/0.07 c start solving
0.00/0.08 c
0.20/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.20/0.21 c t 0.2s| 1 | 0 | 2110 | - |6398k| 0 | 133 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.469539e+01 | 2.000000e+02 |1260.97%
0.20/0.21 o 133
0.20/0.21 c r 0.2s| 1 | 0 | 2110 | - |6403k| 0 | 133 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.469539e+01 | 1.330000e+02 | 805.05%
0.20/0.21 o 132
0.20/0.21 c R 0.2s| 1 | 0 | 2110 | - |6408k| 0 | 133 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.469539e+01 | 1.320000e+02 | 798.24%
0.20/0.21 o 131
0.20/0.21 c s 0.2s| 1 | 0 | 2110 | - |6413k| 0 | 133 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 1.469539e+01 | 1.310000e+02 | 791.44%
0.20/0.25 c 0.2s| 1 | 0 | 2168 | - |7306k| 0 | 128 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 1.471849e+01 | 1.310000e+02 | 790.04%
0.20/0.25 o 35
0.20/0.25 c b 0.2s| 1 | 0 | 2168 | - |7312k| 0 | 128 | 200 | 200 | 200 | 201 | 1 | 0 | 0 | 1.471849e+01 | 3.500000e+01 | 137.80%
0.20/0.29 c 0.3s| 1 | 0 | 2230 | - |8026k| 0 | 130 | 200 | 200 | 200 | 202 | 2 | 0 | 0 | 1.474330e+01 | 3.500000e+01 | 137.40%
0.29/0.32 c 0.3s| 1 | 0 | 2291 | - |8189k| 0 | 130 | 200 | 200 | 200 | 203 | 3 | 0 | 0 | 1.475291e+01 | 3.500000e+01 | 137.24%
0.29/0.35 c 0.4s| 1 | 0 | 2330 | - |8242k| 0 | 128 | 200 | 200 | 200 | 204 | 4 | 0 | 0 | 1.475802e+01 | 3.500000e+01 | 137.16%
0.29/0.39 c 0.4s| 1 | 0 | 2389 | - |8254k| 0 | 132 | 200 | 200 | 200 | 205 | 5 | 0 | 0 | 1.476129e+01 | 3.500000e+01 | 137.11%
1.10/1.18 c 1.2s| 1 | 2 | 2389 | - |8262k| 0 | 132 | 200 | 200 | 200 | 205 | 5 | 0 | 18 | 1.476129e+01 | 3.500000e+01 | 137.11%
3.49/3.53 o 34
3.49/3.53 c z 3.5s| 10 | 11 | 4007 | 179.8 |8320k| 9 | 60 | 200 | 200 | 200 | 205 | 5 | 0 | 179 | 1.494343e+01 | 3.400000e+01 | 127.52%
3.49/3.53 o 27
3.49/3.53 c b 3.5s| 11 | 10 | 4007 | 161.8 |8325k| 10 | - | 200 | 200 | 200 | 205 | 5 | 0 | 179 | 1.494343e+01 | 2.700000e+01 | 80.68%
3.69/3.70 o 27
3.69/3.70 c z 3.7s| 13 | 14 | 4247 | 154.8 |8340k| 12 | 40 | 200 | 200 | 200 | 205 | 5 | 0 | 217 | 1.494343e+01 | 2.700000e+01 | 80.68%
3.69/3.74 o 24
3.69/3.74 c b 3.7s| 14 | 15 | 4296 | 146.7 |8349k| 13 | 35 | 200 | 200 | 200 | 205 | 5 | 0 | 238 | 1.494343e+01 | 2.400000e+01 | 60.61%
7.29/7.37 o 22
7.29/7.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.29/7.37 c v 7.4s| 51 | 49 | 10450 | 161.2 |8526k| 14 | - | 200 | 200 | 200 | 205 | 5 | 0 | 586 | 1.494343e+01 | 2.200000e+01 | 47.22%
72.70/72.76 o 21
72.70/72.76 c v72.8s| 4652 | 4490 | 1046k| 224.6 | 10M| 25 | - | 200 | 200 | 200 | 205 | 5 | 0 |1182 | 1.707088e+01 | 2.100000e+01 | 23.02%
126.00/126.05 c 126s| 10000 | 9838 | 1917k| 191.5 | 12M| 31 | 98 | 200 | 200 | 200 | 205 | 5 | 0 |1687 | 1.731915e+01 | 2.100000e+01 | 21.25%
211.21/211.30 c 211s| 20000 | 19788 | 3386k| 169.2 | 17M| 34 | 84 | 200 | 200 | 200 | 205 | 5 | 0 |2411 | 1.748016e+01 | 2.100000e+01 | 20.14%
287.60/287.68 c 288s| 30000 | 29560 | 4740k| 158.0 | 23M| 36 | 69 | 200 | 200 | 200 | 205 | 5 | 0 |3009 | 1.757777e+01 | 2.100000e+01 | 19.47%
361.60/361.61 c 362s| 40000 | 39134 | 6061k| 151.5 | 30M| 38 | 91 | 200 | 200 | 200 | 205 | 5 | 0 |3461 | 1.764793e+01 | 2.100000e+01 | 18.99%
430.00/430.04 c 430s| 50000 | 47866 | 7321k| 146.4 | 38M| 40 | 67 | 200 | 200 | 200 | 205 | 5 | 0 |3895 | 1.769111e+01 | 2.100000e+01 | 18.70%
494.50/494.59 c 495s| 60000 | 56178 | 8524k| 142.0 | 46M| 41 | 60 | 200 | 200 | 200 | 205 | 5 | 0 |4263 | 1.772585e+01 | 2.100000e+01 | 18.47%
557.61/557.65 c 558s| 70000 | 64346 | 9694k| 138.5 | 54M| 42 | 72 | 200 | 200 | 200 | 205 | 5 | 0 |4571 | 1.775438e+01 | 2.100000e+01 | 18.28%
615.80/615.82 c 616s| 80000 | 72246 | 10767k| 134.6 | 62M| 42 | 76 | 200 | 200 | 200 | 205 | 5 | 0 |4924 | 1.778110e+01 | 2.100000e+01 | 18.10%
677.51/677.59 c 678s| 90000 | 80062 | 11936k| 132.6 | 70M| 42 | 78 | 200 | 200 | 200 | 205 | 5 | 0 |5204 | 1.781061e+01 | 2.100000e+01 | 17.91%
733.72/733.78 c 734s|100000 | 87572 | 12986k| 129.8 | 77M| 42 | 88 | 200 | 200 | 200 | 205 | 5 | 0 |5436 | 1.782859e+01 | 2.100000e+01 | 17.79%
791.21/791.25 c 791s|110000 | 95306 | 14067k| 127.9 | 85M| 43 | 92 | 200 | 200 | 200 | 205 | 5 | 0 |5719 | 1.785011e+01 | 2.100000e+01 | 17.65%
847.31/847.36 c 847s|120000 |102776 | 15146k| 126.2 | 93M| 46 | 85 | 200 | 200 | 200 | 205 | 5 | 0 |5942 | 1.786992e+01 | 2.100000e+01 | 17.52%
901.52/901.55 c 902s|130000 |110106 | 16173k| 124.4 | 101M| 46 | 75 | 200 | 200 | 200 | 205 | 5 | 0 |6162 | 1.788879e+01 | 2.100000e+01 | 17.39%
955.93/955.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
955.93/955.99 c 956s|140000 |117446 | 17200k| 122.8 | 109M| 46 | 76 | 200 | 200 | 200 | 205 | 5 | 0 |6409 | 1.790416e+01 | 2.100000e+01 | 17.29%
1010.52/1010.56 c 1011s|150000 |124934 | 18231k| 121.5 | 117M| 46 | 84 | 200 | 200 | 200 | 205 | 5 | 0 |6664 | 1.792404e+01 | 2.100000e+01 | 17.16%
1065.32/1065.33 c 1065s|160000 |132206 | 19281k| 120.5 | 125M| 46 | 82 | 200 | 200 | 200 | 205 | 5 | 0 |6880 | 1.793758e+01 | 2.100000e+01 | 17.07%
1119.83/1119.82 c 1120s|170000 |139506 | 20315k| 119.5 | 133M| 46 | 78 | 200 | 200 | 200 | 205 | 5 | 0 |7075 | 1.795376e+01 | 2.100000e+01 | 16.97%
1173.02/1173.01 c 1173s|180000 |146648 | 21311k| 118.4 | 141M| 46 | 85 | 200 | 200 | 200 | 205 | 5 | 0 |7310 | 1.796776e+01 | 2.100000e+01 | 16.88%
1226.02/1226.03 c 1226s|190000 |153774 | 22301k| 117.4 | 149M| 46 | 93 | 200 | 200 | 200 | 205 | 5 | 0 |7496 | 1.798338e+01 | 2.100000e+01 | 16.77%
1274.53/1274.50 c 1275s|200000 |160482 | 23223k| 116.1 | 157M| 46 | 62 | 200 | 200 | 200 | 205 | 5 | 0 |7695 | 1.799510e+01 | 2.100000e+01 | 16.70%
1324.62/1324.60 c 1325s|210000 |167348 | 24167k| 115.1 | 164M| 46 | 78 | 200 | 200 | 200 | 205 | 5 | 0 |7902 | 1.800934e+01 | 2.100000e+01 | 16.61%
1375.14/1375.14 c 1375s|220000 |174242 | 25121k| 114.2 | 172M| 46 | 79 | 200 | 200 | 200 | 205 | 5 | 0 |8118 | 1.802404e+01 | 2.100000e+01 | 16.51%
1423.73/1423.71 c 1424s|230000 |181022 | 26053k| 113.3 | 180M| 46 | 89 | 200 | 200 | 200 | 205 | 5 | 0 |8234 | 1.803670e+01 | 2.100000e+01 | 16.43%
1472.13/1472.17 c 1472s|240000 |187688 | 26965k| 112.3 | 188M| 46 | 84 | 200 | 200 | 200 | 205 | 5 | 0 |8452 | 1.805041e+01 | 2.100000e+01 | 16.34%
1521.23/1521.21 c 1521s|250000 |194460 | 27895k| 111.6 | 196M| 46 | 77 | 200 | 200 | 200 | 205 | 5 | 0 |8612 | 1.806527e+01 | 2.100000e+01 | 16.25%
1569.33/1569.38 c 1569s|260000 |201264 | 28809k| 110.8 | 204M| 46 | 78 | 200 | 200 | 200 | 205 | 5 | 0 |8751 | 1.808034e+01 | 2.100000e+01 | 16.15%
1617.94/1617.94 c 1618s|270000 |207846 | 29724k| 110.1 | 211M| 48 | 61 | 200 | 200 | 200 | 205 | 5 | 0 |8950 | 1.809168e+01 | 2.100000e+01 | 16.08%
1663.14/1663.15 c 1663s|280000 |214096 | 30583k| 109.2 | 219M| 48 | 74 | 200 | 200 | 200 | 205 | 5 | 0 |9149 | 1.810216e+01 | 2.100000e+01 | 16.01%
1708.54/1708.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1708.54/1708.50 c 1708s|290000 |220442 | 31442k| 108.4 | 227M| 48 | 66 | 200 | 200 | 200 | 205 | 5 | 0 |9294 | 1.811370e+01 | 2.100000e+01 | 15.93%
1754.83/1754.80 c 1755s|300000 |226818 | 32316k| 107.7 | 234M| 48 | 66 | 200 | 200 | 200 | 205 | 5 | 0 |9454 | 1.812376e+01 | 2.100000e+01 | 15.87%
1800.06/1800.01 c
1800.06/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.06/1800.01 c Solving Time (sec) : 1800.00
1800.06/1800.01 c Solving Nodes : 309478
1800.06/1800.01 c Primal Bound : +2.10000000000000e+01 (618 solutions)
1800.06/1800.01 c Dual Bound : +1.81352436624841e+01
1800.06/1800.01 c Gap : 15.80 %
1800.06/1800.01 s SATISFIABLE
1800.06/1800.01 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1800.06/1800.01 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1800.06/1800.01 v -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1800.06/1800.01 v -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117
1800.06/1800.01 v -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95
1800.06/1800.01 v -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69
1800.06/1800.01 v -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 x43
1800.06/1800.01 v -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 x33 x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17
1800.06/1800.01 v -x16 -x15 -x14 x13 -x12 -x11 x10 -x9 -x8 -x7 x6 -x5 x4 -x3 x2 -x1
1800.06/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.06/1800.01 c Total Time : 1800.00
1800.06/1800.01 c solving : 1800.00
1800.06/1800.01 c presolving : 0.06 (included in solving)
1800.06/1800.01 c reading : 0.01 (included in solving)
1800.06/1800.01 c Original Problem :
1800.06/1800.01 c Problem name : HOME/instance-3450627-1307103974.opb
1800.06/1800.01 c Variables : 2692 (2692 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.01 c Constraints : 2892 initial, 2892 maximal
1800.06/1800.01 c Presolved Problem :
1800.06/1800.01 c Problem name : t_HOME/instance-3450627-1307103974.opb
1800.06/1800.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.01 c Constraints : 200 initial, 200 maximal
1800.06/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.06/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c dualfix : 0.01 2492 0 0 0 0 0 0 0 0
1800.06/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.01 c pseudoboolean : 0.00 0 0 0 0 0 2692 0 0 0
1800.06/1800.01 c root node : - 0 - - 0 - - - - -
1800.06/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c integral : 0 0 0 271666 0 623 0 69 1188 0 0 542326
1800.06/1800.01 c logicor : 200 6 461170 0 0 618 0 0 28 0 0 0
1800.06/1800.01 c countsols : 0 0 0 0 0 621 0 0 0 0 0 0
1800.06/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.06/1800.01 c integral : 62.17 0.00 0.00 62.17 0.00 0.00 0.00
1800.06/1800.01 c logicor : 2.37 0.00 2.36 0.00 0.00 0.00 0.00
1800.06/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.06/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.06/1800.01 c vbounds : 0 0 0 0
1800.06/1800.01 c rootredcost : 4 0 0 0
1800.06/1800.01 c pseudoobj : 1026969 0 0 0
1800.06/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.06/1800.01 c vbounds : 0.20 0.20 0.00
1800.06/1800.01 c rootredcost : 0.26 0.26 0.00
1800.06/1800.01 c pseudoobj : 4.44 4.44 0.00
1800.06/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.01 c applied globally : - - - 0 0.0 - - -
1800.06/1800.01 c applied locally : - - - 0 0.0 - - -
1800.06/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.01 c cut pool : 0.00 5 - - 0 - (maximal pool size: 333)
1800.06/1800.01 c redcost : 4.68 430119 0 3027995 0 0
1800.06/1800.01 c impliedbounds : 0.00 6 0 0 0 0
1800.06/1800.01 c intobj : 0.00 0 0 0 0 0
1800.06/1800.01 c gomory : 0.06 6 0 0 0 0
1800.06/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.06/1800.01 c strongcg : 0.07 6 0 0 333 0
1800.06/1800.01 c cmir : 0.01 6 0 0 0 0
1800.06/1800.01 c flowcover : 0.02 6 0 0 0 0
1800.06/1800.01 c clique : 0.00 1 0 0 0 0
1800.06/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.01 c mcf : 0.00 1 0 0 0 0
1800.06/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.06/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.01 c Pricers : Time Calls Vars
1800.06/1800.01 c problem variables: 0.00 0 0
1800.06/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.01 c relpscost : 62.02 271666 69 1188 0 0 542326
1800.06/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.01 c inference : 0.00 2 0 0 0 0 4
1800.06/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.01 c random : 0.00 0 0 0 0 0 0
1800.06/1800.01 c Primal Heuristics : Time Calls Found
1800.06/1800.01 c LP solutions : 0.00 - 0
1800.06/1800.01 c pseudo solutions : 0.00 - 0
1800.06/1800.01 c oneopt : 0.07 8 3
1800.06/1800.01 c crossover : 0.23 7 3
1800.06/1800.01 c rootsoldiving : 8.84 249 0
1800.06/1800.01 c objpscostdiving : 49.81 250 200
1800.06/1800.01 c coefdiving : 72.83 4548 12
1800.06/1800.01 c linesearchdiving : 82.69 4551 0
1800.06/1800.01 c veclendiving : 46.56 4594 16
1800.06/1800.01 c fracdiving : 55.99 4595 9
1800.06/1800.01 c guideddiving : 56.80 4595 0
1800.06/1800.01 c trivial : 0.00 2 2
1800.06/1800.01 c shiftandpropagate: 0.00 0 0
1800.06/1800.01 c simplerounding : 2.23 271672 33
1800.06/1800.01 c zirounding : 1.37 12451 249
1800.06/1800.01 c rounding : 1.90 24970 1
1800.06/1800.01 c shifting : 0.68 7619 1
1800.06/1800.01 c intshifting : 0.01 0 0
1800.06/1800.01 c twoopt : 0.00 0 0
1800.06/1800.01 c fixandinfer : 0.00 0 0
1800.06/1800.01 c feaspump : 0.01 0 0
1800.06/1800.01 c clique : 0.00 0 0
1800.06/1800.01 c pscostdiving : 74.77 3634 89
1800.06/1800.01 c intdiving : 0.00 0 0
1800.06/1800.01 c actconsdiving : 0.00 0 0
1800.06/1800.01 c octane : 0.00 0 0
1800.06/1800.01 c rens : 0.01 0 0
1800.06/1800.01 c rins : 0.00 0 0
1800.06/1800.01 c localbranching : 0.00 0 0
1800.06/1800.01 c mutation : 0.00 0 0
1800.06/1800.01 c dins : 0.00 0 0
1800.06/1800.01 c vbounds : 0.00 0 0
1800.06/1800.01 c undercover : 0.00 0 0
1800.06/1800.01 c subnlp : 0.05 0 0
1800.06/1800.01 c trysol : 0.08 0 0
1800.06/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.01 c dual LP : 1244.12 309917 24784923 79.97 19921.63
1800.06/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.01 c diving/probing LP: 411.56 571251 8390353 14.69 20386.67
1800.06/1800.01 c strong branching : 56.63 9598 1048090 109.20 18508.85
1800.06/1800.01 c (at root node) : - 18 8594 477.44 -
1800.06/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.01 c B&B Tree :
1800.06/1800.01 c number of runs : 1
1800.06/1800.01 c nodes : 309478
1800.06/1800.01 c nodes (total) : 309478
1800.06/1800.01 c nodes left : 232756
1800.06/1800.01 c max depth : 48
1800.06/1800.01 c max depth (total): 48
1800.06/1800.01 c backtracks : 54897 (17.7%)
1800.06/1800.01 c delayed cutoffs : 0
1800.06/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.06/1800.01 c avg switch length: 5.19
1800.06/1800.01 c switching time : 5.18
1800.06/1800.01 c Solution :
1800.06/1800.01 c Solutions found : 618 (11 improvements)
1800.06/1800.01 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.06/1800.01 c Primal Bound : +2.10000000000000e+01 (in run 1, after 4652 nodes, 72.76 seconds, depth 28, found by <veclendiving>)
1800.06/1800.01 c Dual Bound : +1.81352436624841e+01
1800.06/1800.01 c Gap : 15.80 %
1800.06/1800.01 c Root Dual Bound : +1.47612926610882e+01
1800.06/1800.01 c Root Iterations : 2389
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450627-1307103974/watcher-3450627-1307103974 -o /tmp/evaluation-result-3450627-1307103974/solver-3450627-1307103974 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450627-1307103974.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 2/400 30101
/proc/meminfo: memFree=29982092/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=16700 CPUtime=0.01 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 3182 0 0 0 1 0 0 0 25 0 1 0 821997158 17100800 3136 33554432000 4194304 9163163 140737346518976 18446744073709551615 8045551 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30101/statm: 4175 3136 409 1214 0 2957 0
[startup+0.106072 s]
/proc/loadavg: 1.92 1.98 1.99 2/400 30101
/proc/meminfo: memFree=29982092/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=32024 CPUtime=0.1 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 7081 0 0 0 9 1 0 0 25 0 1 0 821997158 32792576 6775 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 8006 6775 639 1214 0 6788 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 32024
[startup+0.201052 s]
/proc/loadavg: 1.92 1.98 1.99 2/400 30101
/proc/meminfo: memFree=29982092/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=32224 CPUtime=0.2 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 7155 0 0 0 18 2 0 0 25 0 1 0 821997158 32997376 6849 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 8056 6849 639 1214 0 6838 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 32224
[startup+0.301035 s]
/proc/loadavg: 1.92 1.98 1.99 2/400 30101
/proc/meminfo: memFree=29982092/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=35504 CPUtime=0.29 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 7984 0 0 0 27 2 0 0 25 0 1 0 821997158 36356096 7678 33554432000 4194304 9163163 140737346518976 18446744073709551615 4311959 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 8876 7678 676 1214 0 7658 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35504
[startup+0.700962 s]
/proc/loadavg: 1.92 1.98 1.99 2/400 30101
/proc/meminfo: memFree=29982092/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=37372 CPUtime=0.69 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 9922 0 0 0 66 3 0 0 25 0 1 0 821997158 38268928 8241 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 9343 8241 701 1214 0 8125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37372
[startup+1.50082 s]
/proc/loadavg: 1.92 1.98 1.99 3/401 30102
/proc/meminfo: memFree=29950036/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=37372 CPUtime=1.49 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 9925 0 0 0 141 8 0 0 25 0 1 0 821997158 38268928 8244 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 9343 8244 704 1214 0 8125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37372
[startup+3.1006 s]
/proc/loadavg: 1.92 1.98 1.99 3/401 30102
/proc/meminfo: memFree=29949172/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=37372 CPUtime=3.09 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 9925 0 0 0 291 18 0 0 25 0 1 0 821997158 38268928 8244 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 9343 8244 704 1214 0 8125 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37372
[startup+6.30097 s]
/proc/loadavg: 1.93 1.98 1.99 3/401 30102
/proc/meminfo: memFree=29948676/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=37372 CPUtime=6.3 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 9925 0 0 0 590 40 0 0 25 0 1 0 821997158 38268928 8244 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 9343 8244 704 1214 0 8125 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 37372
[startup+12.7009 s]
/proc/loadavg: 1.93 1.98 1.99 3/401 30102
/proc/meminfo: memFree=29947896/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=37196 CPUtime=12.7 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 12453 0 0 0 1188 82 0 0 25 0 1 0 821997158 38088704 8207 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 9299 8207 721 1214 0 8081 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 37196
[startup+25.5006 s]
/proc/loadavg: 2.03 2.00 2.00 3/401 30103
/proc/meminfo: memFree=29945956/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=37496 CPUtime=25.49 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 12501 0 0 0 2382 167 0 0 25 0 1 0 821997158 38395904 8255 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 9374 8255 721 1214 0 8156 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37496
[startup+51.101 s]
/proc/loadavg: 2.02 2.00 2.00 3/401 30103
/proc/meminfo: memFree=29941144/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=38584 CPUtime=51.09 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 12809 0 0 0 4769 340 0 0 25 0 1 0 821997158 39510016 8563 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 9646 8563 721 1214 0 8428 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 38584
[startup+102.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/401 30105
/proc/meminfo: memFree=29934504/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=40000 CPUtime=102.31 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 13165 0 0 0 9545 686 0 0 25 0 1 0 821997158 40960000 8919 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 10000 8919 721 1214 0 8782 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 40000
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30106
/proc/meminfo: memFree=29919828/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=43308 CPUtime=162.29 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 23408 0 0 0 15112 1117 0 0 25 0 1 0 821997158 44347392 9753 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 10827 9753 721 1214 0 9609 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 43308
[startup+222.315 s]
/proc/loadavg: 2.15 2.03 2.01 3/401 30108
/proc/meminfo: memFree=29909820/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=46808 CPUtime=222.31 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 25877 0 0 0 20685 1546 0 0 25 0 1 0 821997158 47931392 10667 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 11702 10667 721 1214 0 10484 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 46808
[startup+282.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/401 30110
/proc/meminfo: memFree=29894652/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=52444 CPUtime=282.3 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 30094 0 0 0 26241 1989 0 0 25 0 1 0 821997158 53702656 12127 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 13111 12127 721 1214 0 11893 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 52444
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 30111
/proc/meminfo: memFree=29877844/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=58560 CPUtime=342.3 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 33169 0 0 0 31795 2435 0 0 25 0 1 0 821997158 59965440 13676 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 14640 13676 721 1214 0 13422 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 58560
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 30113
/proc/meminfo: memFree=29858668/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=67556 CPUtime=402.3 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 35440 0 0 0 37345 2885 0 0 25 0 1 0 821997158 69177344 15947 33554432000 4194304 9163163 140737346518976 18446744073709551615 7249685 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 16889 15947 721 1214 0 15671 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 67556
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30114
/proc/meminfo: memFree=29838140/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=75104 CPUtime=462.3 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 37352 0 0 0 42883 3347 0 0 25 0 1 0 821997158 76906496 17859 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 18776 17859 721 1214 0 17558 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 75104
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30116
/proc/meminfo: memFree=29821968/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=83960 CPUtime=522.31 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 42111 0 0 0 48424 3807 0 0 25 0 1 0 821997158 85975040 20067 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 20990 20067 721 1214 0 19772 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 83960
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30118
/proc/meminfo: memFree=29799660/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=96392 CPUtime=582.31 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 44676 0 0 0 53975 4256 0 0 25 0 1 0 821997158 98705408 22631 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 24098 22631 721 1214 0 22880 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 96392
[startup+642.301 s]
################
# More data... #
################
[startup+882.315 s]
/proc/loadavg: 2.06 2.04 2.01 3/401 30154
/proc/meminfo: memFree=29959228/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=145756 CPUtime=882.33 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 58030 0 0 0 82097 6136 0 0 25 0 1 0 821997158 149254144 35153 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 36439 35153 721 1214 0 35221 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 145756
[startup+942.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 30155
/proc/meminfo: memFree=29948500/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=157632 CPUtime=942.32 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 61030 0 0 0 87749 6483 0 0 25 0 1 0 821997158 161415168 38153 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 39408 38153 721 1214 0 38190 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 157632
[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 30157
/proc/meminfo: memFree=29934900/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=170928 CPUtime=1002.32 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 64387 0 0 0 93406 6826 0 0 25 0 1 0 821997158 175030272 41510 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 42732 41510 721 1214 0 41514 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 170928
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30158
/proc/meminfo: memFree=29922576/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=182848 CPUtime=1062.32 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 67396 0 0 0 99054 7178 0 0 25 0 1 0 821997158 187236352 44519 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 45712 44519 721 1214 0 44494 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 182848
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30160
/proc/meminfo: memFree=29913316/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=191952 CPUtime=1122.32 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 69705 0 0 0 104705 7527 0 0 25 0 1 0 821997158 196558848 46828 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 47988 46828 721 1214 0 46770 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 191952
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30162
/proc/meminfo: memFree=29902484/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=201564 CPUtime=1182.32 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 72142 0 0 0 110361 7871 0 0 25 0 1 0 821997158 206401536 49265 33554432000 4194304 9163163 140737346518976 18446744073709551615 7390501 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 50391 49265 721 1214 0 49173 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 201564
[startup+1242.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/401 30163
/proc/meminfo: memFree=29891872/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=212072 CPUtime=1242.32 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 74800 0 0 0 116025 8207 0 0 25 0 1 0 821997158 217161728 51923 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 53018 51923 721 1214 0 51800 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 212072
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/401 30165
/proc/meminfo: memFree=29883636/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=218964 CPUtime=1302.33 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 76587 0 0 0 121678 8555 0 0 25 0 1 0 821997158 224219136 53710 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 54741 53710 721 1214 0 53523 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 218964
[startup+1362.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/401 30166
/proc/meminfo: memFree=29873780/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=228812 CPUtime=1362.33 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 81568 0 0 0 127341 8892 0 0 25 0 1 0 821997158 234303488 56210 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 57203 56210 721 1214 0 55985 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 228812
[startup+1422.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/401 30168
/proc/meminfo: memFree=29859464/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=243456 CPUtime=1422.34 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 85256 0 0 0 132905 9329 0 0 25 0 1 0 821997158 249298944 59898 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 60864 59898 721 1214 0 59646 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 243456
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 30170
/proc/meminfo: memFree=29846768/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=256800 CPUtime=1482.33 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 88588 0 0 0 138428 9805 0 0 25 0 1 0 821997158 262963200 63230 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 64200 63230 721 1214 0 62982 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 256800
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 30171
/proc/meminfo: memFree=29834904/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=272212 CPUtime=1542.34 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 91498 0 0 0 143955 10279 0 0 25 0 1 0 821997158 278745088 66140 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 68053 66140 721 1214 0 66835 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 272212
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30173
/proc/meminfo: memFree=29823564/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=282060 CPUtime=1602.33 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 93978 0 0 0 149483 10750 0 0 25 0 1 0 821997158 288829440 68620 33554432000 4194304 9163163 140737346518976 18446744073709551615 7390364 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 70515 68620 721 1214 0 69297 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 282060
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30174
/proc/meminfo: memFree=29813576/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=292232 CPUtime=1662.33 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 96491 0 0 0 155016 11217 0 0 25 0 1 0 821997158 299245568 71133 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 73058 71133 721 1214 0 71840 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 292232
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30176
/proc/meminfo: memFree=29802596/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=302728 CPUtime=1722.34 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 99180 0 0 0 160553 11681 0 0 25 0 1 0 821997158 309993472 73822 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 75682 73822 721 1214 0 74464 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 302728
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/401 30178
/proc/meminfo: memFree=29796096/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=308412 CPUtime=1782.33 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 100654 0 0 0 166091 12142 0 0 25 0 1 0 821997158 315813888 75296 33554432000 4194304 9163163 140737346518976 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30101/statm: 77103 75296 721 1214 0 75885 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 308412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.02 2.00 3/401 30178
/proc/meminfo: memFree=29794328/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=310532 CPUtime=1800.06 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 101175 0 0 0 167726 12280 0 0 25 0 1 0 821997158 317984768 75817 33554432000 4194304 9163163 140737346518976 18446744073709551615 4747075 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30101/statm: 77633 75817 724 1214 0 76415 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 310532
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.03 2.02 2.00 3/401 30178
/proc/meminfo: memFree=29794328/32950904 swapFree=56615552/67111528
[pid=30101] ppid=30099 vsize=310532 CPUtime=1800.06 cores=1,3,5,7
/proc/30101/stat : 30101 (scip-2.0.1.4b.l) R 30099 30101 27067 0 -1 4202496 101175 0 0 0 167726 12280 0 0 25 0 1 0 821997158 317984768 75817 33554432000 4194304 9163163 140737346518976 18446744073709551615 4747075 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30101/statm: 77633 75817 724 1214 0 76415 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 310532
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1677.26
CPU system time (s): 122.815
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 310532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1677.26
system time used= 122.815
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101175
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= 5
involuntary context switches= 1797
runsolver used 6.71598 second user time and 15.6206 second system time
The end