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-3450604-1307102835.opb>
0.00/0.02 c original problem has 6404 variables (6404 bin, 0 int, 0 impl, 0 cont) and 6604 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.03/0.05 o 200
0.03/0.05 c feasible solution found by trivial heuristic, objective value 2.000000e+02
0.03/0.05 c presolving:
0.09/0.19 c (round 1) 0 del vars, 6404 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 411740 impls, 0 clqs
0.19/0.22 c (round 2) 6204 del vars, 6404 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 411740 impls, 0 clqs
0.19/0.22 c (0.2s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.22 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.22 c presolving (3 rounds):
0.19/0.22 c 6204 deleted vars, 6404 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.22 c 411740 implications, 0 cliques
0.19/0.22 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.19/0.22 c 200 constraints of type <logicor>
0.19/0.22 c transformed objective value is always integral (scale: 1)
0.19/0.22 c Presolving Time: 0.18
0.19/0.22 c - non default parameters ----------------------------------------------------------------------
0.19/0.22 c # SCIP version 2.0.1.5
0.19/0.22 c
0.19/0.22 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22 c conflict/interconss = 0
0.19/0.22 c
0.19/0.22 c # should binary conflicts be preferred?
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c conflict/preferbinary = TRUE
0.19/0.22 c
0.19/0.22 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.22 c constraints/agelimit = 1
0.19/0.22 c
0.19/0.22 c # should enforcement of pseudo solution be disabled?
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/disableenfops = TRUE
0.19/0.22 c
0.19/0.22 c # frequency for displaying node information lines
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.22 c display/freq = 10000
0.19/0.22 c
0.19/0.22 c # maximal time in seconds to run
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/time = 1800
0.19/0.22 c
0.19/0.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/memory = 13950
0.19/0.22 c
0.19/0.22 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.22 c # [type: int, range: [1,2], default: 1]
0.19/0.22 c timing/clocktype = 2
0.19/0.22 c
0.19/0.22 c # belongs reading time to solving time?
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c timing/reading = TRUE
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify inequalities
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/linear/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/indicator/addCouplingCons = TRUE
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify knapsacks
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c -----------------------------------------------------------------------------------------------
0.19/0.22 c start solving
0.19/0.22 c
0.29/0.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.33 c t 0.3s| 1 | 0 | 1489 | - | 14M| 0 | 103 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.154254e+00 | 2.000000e+02 |3149.78%
0.29/0.33 o 103
0.29/0.33 c r 0.3s| 1 | 0 | 1489 | - | 14M| 0 | 103 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.154254e+00 | 1.030000e+02 |1573.64%
0.29/0.33 o 102
0.29/0.33 c R 0.3s| 1 | 0 | 1489 | - | 14M| 0 | 103 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.154254e+00 | 1.020000e+02 |1557.39%
0.29/0.33 o 101
0.29/0.33 c s 0.3s| 1 | 0 | 1489 | - | 14M| 0 | 103 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.154254e+00 | 1.010000e+02 |1541.14%
0.29/0.36 o 24
0.29/0.36 c z 0.4s| 1 | 0 | 1489 | - | 14M| 0 | 103 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.154254e+00 | 2.400000e+01 | 289.97%
0.29/0.36 c 0.4s| 1 | 0 | 1489 | - | 14M| 0 | 103 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.154254e+00 | 2.400000e+01 | 289.97%
0.29/0.36 o 19
0.29/0.36 c b 0.4s| 1 | 0 | 1489 | - | 14M| 0 | 103 | 200 | 200 | 200 | 200 | 0 | 0 | 0 | 6.154254e+00 | 1.900000e+01 | 208.73%
1.39/1.49 c 1.5s| 1 | 2 | 1489 | - | 14M| 0 | 103 | 200 | 200 | 200 | 200 | 0 | 0 | 17 | 6.154254e+00 | 1.900000e+01 | 208.73%
2.59/2.66 o 18
2.59/2.66 c R 2.7s| 4 | 3 | 2607 | 372.7 | 14M| 3 | 74 | 200 | 200 | 200 | 200 | 0 | 0 | 48 | 6.238960e+00 | 1.800000e+01 | 188.51%
2.99/3.03 o 14
2.99/3.03 c b 3.0s| 4 | 5 | 2607 | 372.7 | 14M| 3 | 74 | 200 | 200 | 200 | 200 | 0 | 0 | 66 | 6.238960e+00 | 1.400000e+01 | 124.40%
3.49/3.53 o 13
3.49/3.53 c R 3.5s| 11 | 10 | 3353 | 186.4 | 14M| 10 | 5 | 200 | 200 | 200 | 200 | 0 | 0 | 148 | 6.238960e+00 | 1.300000e+01 | 108.37%
3.49/3.53 o 12
3.49/3.53 c R 3.5s| 11 | 8 | 3368 | 187.9 | 14M| 10 | - | 200 | 200 | 200 | 200 | 0 | 0 | 157 | 6.238960e+00 | 1.200000e+01 | 92.34%
5.29/5.40 o 11
5.29/5.40 c * 5.4s| 20 | 11 | 4870 | 177.9 | 14M| 10 | - | 200 | 200 | 200 | 200 | 0 | 0 | 297 | 6.238960e+00 | 1.100000e+01 | 76.31%
119.81/119.85 c 120s| 10000 | 6557 | 1473k| 147.2 | 20M| 78 | 85 | 200 | 200 | 200 | 200 | 0 | 0 |1646 | 7.605577e+00 | 1.100000e+01 | 44.63%
192.69/192.72 c 193s| 20000 | 11449 | 2528k| 126.4 | 25M| 81 | 63 | 200 | 200 | 200 | 200 | 0 | 0 |2437 | 7.782272e+00 | 1.100000e+01 | 41.35%
254.30/254.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.30/254.36 c 254s| 30000 | 15839 | 3449k| 114.9 | 31M| 83 | 83 | 200 | 200 | 200 | 200 | 0 | 0 |3028 | 7.931673e+00 | 1.100000e+01 | 38.68%
309.49/309.57 c 310s| 40000 | 19745 | 4290k| 107.2 | 36M| 86 | 74 | 200 | 200 | 200 | 200 | 0 | 0 |3469 | 8.018487e+00 | 1.100000e+01 | 37.18%
362.20/362.26 c 362s| 50000 | 23545 | 5092k| 101.8 | 41M| 88 | 75 | 200 | 200 | 200 | 200 | 0 | 0 |3874 | 8.078902e+00 | 1.100000e+01 | 36.16%
415.30/415.39 c 415s| 60000 | 27137 | 5909k| 98.5 | 46M| 88 | 55 | 200 | 200 | 200 | 200 | 0 | 0 |4179 | 8.138803e+00 | 1.100000e+01 | 35.16%
470.60/470.67 c 471s| 70000 | 30775 | 6765k| 96.6 | 50M| 88 | 56 | 200 | 200 | 200 | 200 | 0 | 0 |4554 | 8.201960e+00 | 1.100000e+01 | 34.11%
527.11/527.19 c 527s| 80000 | 34431 | 7648k| 95.6 | 54M| 88 | 58 | 200 | 200 | 200 | 200 | 0 | 0 |4912 | 8.245191e+00 | 1.100000e+01 | 33.41%
581.41/581.44 c 581s| 90000 | 38033 | 8520k| 94.7 | 58M| 88 | 51 | 200 | 200 | 200 | 200 | 0 | 0 |5212 | 8.273083e+00 | 1.100000e+01 | 32.96%
635.82/635.84 c 636s|100000 | 41813 | 9391k| 93.9 | 62M| 88 | 63 | 200 | 200 | 200 | 200 | 0 | 0 |5470 | 8.317135e+00 | 1.100000e+01 | 32.26%
687.91/687.95 c 688s|110000 | 45569 | 10219k| 92.9 | 66M| 90 | 83 | 200 | 200 | 200 | 200 | 0 | 0 |5796 | 8.344898e+00 | 1.100000e+01 | 31.82%
735.92/735.97 c 736s|120000 | 49117 | 10994k| 91.6 | 71M| 90 | 63 | 200 | 200 | 200 | 200 | 0 | 0 |6042 | 8.372018e+00 | 1.100000e+01 | 31.39%
783.01/783.02 c 783s|130000 | 52677 | 11746k| 90.3 | 75M| 90 | 69 | 200 | 200 | 200 | 200 | 0 | 0 |6365 | 8.396471e+00 | 1.100000e+01 | 31.01%
829.33/829.36 c 829s|140000 | 56329 | 12487k| 89.2 | 79M| 93 | 56 | 200 | 200 | 200 | 200 | 0 | 0 |6666 | 8.414685e+00 | 1.100000e+01 | 30.72%
873.81/873.81 c 874s|150000 | 59971 | 13199k| 88.0 | 83M| 93 | 52 | 200 | 200 | 200 | 200 | 0 | 0 |6898 | 8.430317e+00 | 1.100000e+01 | 30.48%
917.02/917.03 c 917s|160000 | 63677 | 13898k| 86.9 | 88M| 93 | 69 | 200 | 200 | 200 | 200 | 0 | 0 |7099 | 8.448460e+00 | 1.100000e+01 | 30.20%
959.13/959.21 c 959s|170000 | 67195 | 14573k| 85.7 | 92M| 93 | 50 | 200 | 200 | 200 | 200 | 0 | 0 |7370 | 8.466458e+00 | 1.100000e+01 | 29.92%
999.93/999.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
999.93/999.98 c 1000s|180000 | 70789 | 15229k| 84.6 | 97M| 93 | 63 | 200 | 200 | 200 | 200 | 0 | 0 |7565 | 8.483464e+00 | 1.100000e+01 | 29.66%
1040.11/1040.16 c 1040s|190000 | 74359 | 15872k| 83.5 | 102M| 93 | 63 | 200 | 200 | 200 | 200 | 0 | 0 |7802 | 8.501465e+00 | 1.100000e+01 | 29.39%
1079.72/1079.75 c 1080s|200000 | 77907 | 16514k| 82.6 | 106M| 93 | - | 200 | 200 | 200 | 200 | 0 | 0 |7951 | 8.518931e+00 | 1.100000e+01 | 29.12%
1119.02/1119.07 c 1119s|210000 | 81349 | 17140k| 81.6 | 111M| 93 | 68 | 200 | 200 | 200 | 200 | 0 | 0 |8210 | 8.534904e+00 | 1.100000e+01 | 28.88%
1157.24/1157.27 c 1157s|220000 | 84839 | 17756k| 80.7 | 116M| 93 | - | 200 | 200 | 200 | 200 | 0 | 0 |8414 | 8.549169e+00 | 1.100000e+01 | 28.67%
1194.73/1194.70 c 1195s|230000 | 88229 | 18353k| 79.8 | 121M| 95 | 55 | 200 | 200 | 200 | 200 | 0 | 0 |8645 | 8.559821e+00 | 1.100000e+01 | 28.51%
1232.04/1232.04 c 1232s|240000 | 91633 | 18949k| 79.0 | 125M| 95 | 59 | 200 | 200 | 200 | 200 | 0 | 0 |8951 | 8.571872e+00 | 1.100000e+01 | 28.33%
1268.02/1268.01 c 1268s|250000 | 95035 | 19533k| 78.1 | 130M| 95 | 54 | 200 | 200 | 200 | 200 | 0 | 0 |9108 | 8.583676e+00 | 1.100000e+01 | 28.15%
1303.73/1303.73 c 1304s|260000 | 98357 | 20110k| 77.3 | 135M| 95 | 71 | 200 | 200 | 200 | 200 | 0 | 0 |9281 | 8.595760e+00 | 1.100000e+01 | 27.97%
1338.92/1338.98 c 1339s|270000 |101659 | 20674k| 76.6 | 140M| 95 | - | 200 | 200 | 200 | 200 | 0 | 0 |9496 | 8.604780e+00 | 1.100000e+01 | 27.84%
1374.83/1374.87 c 1375s|280000 |104859 | 21241k| 75.9 | 145M| 95 | 58 | 200 | 200 | 200 | 200 | 0 | 0 |9793 | 8.612521e+00 | 1.100000e+01 | 27.72%
1410.52/1410.54 c 1411s|290000 |108039 | 21819k| 75.2 | 149M| 95 | - | 200 | 200 | 200 | 200 | 0 | 0 |9972 | 8.621377e+00 | 1.100000e+01 | 27.59%
1444.83/1444.86 c 1445s|300000 |111141 | 22374k| 74.6 | 154M| 95 | 72 | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.634215e+00 | 1.100000e+01 | 27.40%
1479.32/1479.41 c 1479s|310000 |114257 | 22936k| 74.0 | 159M| 95 | 58 | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.641528e+00 | 1.100000e+01 | 27.29%
1513.33/1513.36 c 1513s|320000 |117321 | 23480k| 73.4 | 164M| 95 | 52 | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.649839e+00 | 1.100000e+01 | 27.17%
1547.03/1547.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1547.03/1547.06 c 1547s|330000 |120273 | 24026k| 72.8 | 169M| 95 | 58 | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.658114e+00 | 1.100000e+01 | 27.05%
1580.03/1580.08 c 1580s|340000 |123199 | 24561k| 72.2 | 173M| 95 | 60 | 200 | 200 | 200 | 200 | 0 | 0 | 10k| 8.665651e+00 | 1.100000e+01 | 26.94%
1613.75/1613.73 c 1614s|350000 |126127 | 25096k| 71.7 | 178M| 95 | 55 | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.672584e+00 | 1.100000e+01 | 26.84%
1647.33/1647.38 c 1647s|360000 |128979 | 25636k| 71.2 | 183M| 95 | 71 | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.680132e+00 | 1.100000e+01 | 26.73%
1679.93/1679.98 c 1680s|370000 |131771 | 26167k| 70.7 | 188M| 95 | - | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.687398e+00 | 1.100000e+01 | 26.62%
1712.94/1712.99 c 1713s|380000 |134559 | 26703k| 70.3 | 192M| 95 | - | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.694739e+00 | 1.100000e+01 | 26.51%
1747.23/1747.27 c 1747s|390000 |137321 | 27247k| 69.9 | 197M| 95 | 63 | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.701113e+00 | 1.100000e+01 | 26.42%
1780.64/1780.64 c 1781s|400000 |140147 | 27791k| 69.5 | 202M| 95 | 56 | 200 | 200 | 200 | 200 | 0 | 0 | 11k| 8.709747e+00 | 1.100000e+01 | 26.30%
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 405947
1800.04/1800.00 c Primal Bound : +1.10000000000000e+01 (685 solutions)
1800.04/1800.00 c Dual Bound : +8.71362405771132e+00
1800.04/1800.00 c Gap : 26.24 %
1800.04/1800.01 s SATISFIABLE
1800.04/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.04/1800.01 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159
1800.04/1800.01 v -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138
1800.04/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.04/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.04/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
1800.04/1800.01 v -x69 -x68 -x67 -x66 x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45
1800.04/1800.01 v -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 x27 x26 -x25 x24 -x23 -x22 -x21 -x20 -x19
1800.04/1800.01 v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 x1
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Total Time : 1800.00
1800.04/1800.01 c solving : 1800.00
1800.04/1800.01 c presolving : 0.18 (included in solving)
1800.04/1800.01 c reading : 0.02 (included in solving)
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-3450604-1307102835.opb
1800.04/1800.01 c Variables : 6404 (6404 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 6604 initial, 6604 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-3450604-1307102835.opb
1800.04/1800.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 200 initial, 200 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.03 6204 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c pseudoboolean : 0.01 0 0 0 0 0 6404 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 275542 0 689 0 100 5230 0 0 547636
1800.04/1800.01 c logicor : 200 1 283974 1 0 684 0 0 0 0 0 0
1800.04/1800.01 c countsols : 0 0 0 1 0 687 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.01 c integral : 97.19 0.00 0.00 97.19 0.00 0.00 0.00
1800.04/1800.01 c logicor : 4.31 0.00 4.31 0.00 0.00 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.01 c vbounds : 0 0 0 0
1800.04/1800.01 c rootredcost : 5 0 0 0
1800.04/1800.01 c pseudoobj : 733989 0 0 0
1800.04/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.01 c vbounds : 0.14 0.14 0.00
1800.04/1800.01 c rootredcost : 0.19 0.19 0.00
1800.04/1800.01 c pseudoobj : 3.29 3.29 0.00
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 0 0.0 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.01 c redcost : 5.55 481206 0 3327167 0 0
1800.04/1800.01 c impliedbounds : 0.00 2 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.02 2 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.02 2 0 0 0 0
1800.04/1800.01 c cmir : 0.01 2 0 0 0 0
1800.04/1800.01 c flowcover : 0.01 2 0 0 0 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 97.03 275541 100 5230 0 0 547636
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 1
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c feaspump : 0.01 0 0
1800.04/1800.01 c oneopt : 0.09 6 2
1800.04/1800.01 c crossover : 0.56 11 4
1800.04/1800.01 c objpscostdiving : 42.05 393 176
1800.04/1800.01 c rootsoldiving : 9.39 550 0
1800.04/1800.01 c fracdiving : 11.75 1135 0
1800.04/1800.01 c linesearchdiving : 15.90 1135 0
1800.04/1800.01 c coefdiving : 16.76 1135 0
1800.04/1800.01 c pscostdiving : 20.23 1135 0
1800.04/1800.01 c veclendiving : 19.38 1135 0
1800.04/1800.01 c guideddiving : 11.60 1135 0
1800.04/1800.01 c trivial : 0.01 2 2
1800.04/1800.01 c shiftandpropagate: 0.00 0 0
1800.04/1800.01 c simplerounding : 1.88 275542 71
1800.04/1800.01 c zirounding : 2.42 21001 420
1800.04/1800.01 c rounding : 1.84 47610 4
1800.04/1800.01 c shifting : 0.50 8574 5
1800.04/1800.01 c intshifting : 0.01 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c clique : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.01 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c vbounds : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c subnlp : 0.06 0 0
1800.04/1800.01 c trysol : 0.10 0 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 1501.12 407570 25289788 62.05 16847.24
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 139.04 138658 2816731 20.31 20258.46
1800.04/1800.01 c strong branching : 92.64 11872 1310734 110.41 14148.74
1800.04/1800.01 c (at root node) : - 17 11635 684.41 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 405947
1800.04/1800.01 c nodes (total) : 405947
1800.04/1800.01 c nodes left : 141686
1800.04/1800.01 c max depth : 95
1800.04/1800.01 c max depth (total): 95
1800.04/1800.01 c backtracks : 36979 (9.1%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 6.53
1800.04/1800.01 c switching time : 6.02
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 685 (11 improvements)
1800.04/1800.01 c First Solution : +2.00000000000000e+02 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +1.10000000000000e+01 (in run 1, after 20 nodes, 5.40 seconds, depth 10, found by <relaxation>)
1800.04/1800.01 c Dual Bound : +8.71362405771132e+00
1800.04/1800.01 c Gap : 26.24 %
1800.04/1800.01 c Root Dual Bound : +6.15425410382143e+00
1800.04/1800.01 c Root Iterations : 1489
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-3450604-1307102835/watcher-3450604-1307102835 -o /tmp/evaluation-result-3450604-1307102835/solver-3450604-1307102835 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450604-1307102835.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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: 2.00 2.00 2.00 3/400 30043
/proc/meminfo: memFree=30054416/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=16940 CPUtime=0.01 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 3176 0 0 0 1 0 0 0 25 0 1 0 821883242 17346560 3129 33554432000 4194304 9163163 140737075167504 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30043/statm: 4235 3146 409 1214 0 3017 0
[startup+0.042449 s]
/proc/loadavg: 2.00 2.00 2.00 3/400 30043
/proc/meminfo: memFree=30054416/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=32824 CPUtime=0.03 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 7175 0 0 0 3 0 0 0 25 0 1 0 821883242 33611776 7127 33554432000 4194304 9163163 140737075167504 18446744073709551615 4209989 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 8206 7128 447 1214 0 6988 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 32824
[startup+0.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/400 30043
/proc/meminfo: memFree=30054416/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=43404 CPUtime=0.09 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 9498 0 0 0 8 1 0 0 25 0 1 0 821883242 44445696 9450 33554432000 4194304 9163163 140737075167504 18446744073709551615 6567876 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 10851 9450 500 1214 0 9633 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43404
[startup+0.300364 s]
/proc/loadavg: 2.00 2.00 2.00 3/400 30043
/proc/meminfo: memFree=30054416/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=55316 CPUtime=0.29 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 12880 0 0 0 28 1 0 0 18 0 1 0 821883242 56643584 12565 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 13829 12565 640 1214 0 12611 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55316
[startup+0.700286 s]
/proc/loadavg: 2.00 2.00 2.00 3/400 30043
/proc/meminfo: memFree=30054416/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=55628 CPUtime=0.69 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 14698 0 0 0 67 2 0 0 18 0 1 0 821883242 56963072 12760 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 13907 12760 696 1214 0 12689 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55628
[startup+1.50114 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30044
/proc/meminfo: memFree=30004684/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=55628 CPUtime=1.49 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 14701 0 0 0 146 3 0 0 19 0 1 0 821883242 56963072 12763 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 13907 12763 699 1214 0 12689 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55628
[startup+3.10075 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30044
/proc/meminfo: memFree=30003320/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=55628 CPUtime=3.09 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 14702 0 0 0 302 7 0 0 23 0 1 0 821883242 56963072 12764 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 13907 12764 700 1214 0 12689 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55628
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30044
/proc/meminfo: memFree=30002452/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=56036 CPUtime=6.29 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 14805 0 0 0 614 15 0 0 25 0 1 0 821883242 57380864 12867 33554432000 4194304 9163163 140737075167504 18446744073709551615 7390335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 14009 12867 701 1214 0 12791 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56036
[startup+12.7012 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30044
/proc/meminfo: memFree=30001152/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=56036 CPUtime=12.69 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 14819 0 0 0 1245 24 0 0 25 0 1 0 821883242 57380864 12881 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 14009 12881 701 1214 0 12791 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56036
[startup+25.5009 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 30044
/proc/meminfo: memFree=29998296/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=56760 CPUtime=25.49 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 20512 0 0 0 2503 46 0 0 25 0 1 0 821883242 58122240 13071 33554432000 4194304 9163163 140737075167504 18446744073709551615 7390300 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 14190 13071 717 1214 0 12972 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56760
[startup+51.1003 s]
/proc/loadavg: 2.12 2.03 2.01 3/401 30045
/proc/meminfo: memFree=29993028/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=57212 CPUtime=51.1 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 23420 0 0 0 5018 92 0 0 25 0 1 0 821883242 58585088 13191 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 14303 13191 717 1214 0 13085 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 57212
[startup+102.314 s]
/proc/loadavg: 2.10 2.04 2.01 3/401 30046
/proc/meminfo: memFree=29981636/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=61224 CPUtime=102.3 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 30313 0 0 0 10041 189 0 0 25 0 1 0 821883242 62693376 14223 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 15306 14223 718 1214 0 14088 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 61224
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 30048
/proc/meminfo: memFree=29967596/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=65704 CPUtime=162.29 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 34403 0 0 0 15922 307 0 0 25 0 1 0 821883242 67280896 15343 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 16426 15343 718 1214 0 15208 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 65704
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 30050
/proc/meminfo: memFree=29954424/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=71380 CPUtime=222.29 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 38714 0 0 0 21798 431 0 0 25 0 1 0 821883242 73093120 16778 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 17845 16778 718 1214 0 16627 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 71380
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30051
/proc/meminfo: memFree=29937028/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=78636 CPUtime=282.3 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 40534 0 0 0 27670 560 0 0 25 0 1 0 821883242 80523264 18596 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 19659 18596 718 1214 0 18441 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 78636
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30053
/proc/meminfo: memFree=29911432/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=86196 CPUtime=342.3 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 42458 0 0 0 33546 684 0 0 25 0 1 0 821883242 88264704 20510 33554432000 4194304 9163163 140737075167504 18446744073709551615 7391810 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 21549 20510 718 1214 0 20331 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 86196
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30054
/proc/meminfo: memFree=29896828/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=92044 CPUtime=402.3 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 46740 0 0 0 39405 825 0 0 25 0 1 0 821883242 94253056 22014 33554432000 4194304 9163163 140737075167504 18446744073709551615 7390328 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 23011 22014 718 1214 0 21793 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 92044
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30056
/proc/meminfo: memFree=29883380/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=97160 CPUtime=462.3 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 47988 0 0 0 45262 968 0 0 25 0 1 0 821883242 99491840 23262 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 24290 23262 718 1214 0 23072 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 97160
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30058
/proc/meminfo: memFree=29865988/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=103756 CPUtime=522.31 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 49701 0 0 0 51142 1089 0 0 25 0 1 0 821883242 106246144 24966 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 25939 24966 718 1214 0 24721 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 103756
[startup+582.301 s]
/proc/loadavg: 2.16 2.03 2.01 3/401 30059
/proc/meminfo: memFree=29851568/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=109488 CPUtime=582.3 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 51077 0 0 0 57012 1218 0 0 25 0 1 0 821883242 112115712 26342 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 27372 26342 718 1214 0 26154 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 109488
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 30066
/proc/meminfo: memFree=29788264/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=134716 CPUtime=822.32 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 60196 0 0 0 80479 1753 0 0 25 0 1 0 821883242 137949184 32763 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 33679 32763 718 1214 0 32461 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 134716
[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30067
/proc/meminfo: memFree=29761316/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=139708 CPUtime=882.32 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 61462 0 0 0 86345 1887 0 0 25 0 1 0 821883242 143060992 34029 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 34927 34029 718 1214 0 33709 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 139708
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30069
/proc/meminfo: memFree=29741144/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=148904 CPUtime=942.32 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 65903 0 0 0 92216 2016 0 0 25 0 1 0 821883242 152477696 35817 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 37226 35817 718 1214 0 36008 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 148904
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30070
/proc/meminfo: memFree=29720016/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=158468 CPUtime=1002.32 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 68314 0 0 0 98091 2141 0 0 25 0 1 0 821883242 162271232 38228 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 39617 38228 718 1214 0 38399 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 158468
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30072
/proc/meminfo: memFree=29706308/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=166820 CPUtime=1062.32 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 70366 0 0 0 103959 2273 0 0 25 0 1 0 821883242 170823680 40280 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 41705 40280 718 1214 0 40487 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 166820
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30074
/proc/meminfo: memFree=29687924/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=173784 CPUtime=1122.32 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 72125 0 0 0 109826 2406 0 0 25 0 1 0 821883242 177954816 42039 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 43446 42039 718 1214 0 42228 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 173784
[startup+1182.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/401 30103
/proc/meminfo: memFree=29943996/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=181804 CPUtime=1182.33 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 74183 0 0 0 115708 2525 0 0 25 0 1 0 821883242 186167296 44097 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 45451 44097 718 1214 0 44233 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 181804
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/401 30105
/proc/meminfo: memFree=29934504/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=186940 CPUtime=1242.32 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 75516 0 0 0 121588 2644 0 0 25 0 1 0 821883242 191426560 45430 33554432000 4194304 9163163 140737075167504 18446744073709551615 7390342 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 46735 45430 718 1214 0 45517 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 186940
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30106
/proc/meminfo: memFree=29919936/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=197476 CPUtime=1302.34 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 78075 0 0 0 127466 2768 0 0 25 0 1 0 821883242 202215424 47989 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 49369 47989 718 1214 0 48151 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 197476
[startup+1362.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/401 30108
/proc/meminfo: memFree=29909820/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=205448 CPUtime=1362.33 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 80117 0 0 0 133339 2894 0 0 25 0 1 0 821883242 210378752 50031 33554432000 4194304 9163163 140737075167504 18446744073709551615 7390865 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 51362 50031 718 1214 0 50144 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 205448
[startup+1422.31 s]
/proc/loadavg: 2.12 2.04 2.01 3/401 30110
/proc/meminfo: memFree=29894276/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=214972 CPUtime=1422.34 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 82520 0 0 0 139223 3011 0 0 25 0 1 0 821883242 220131328 52434 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 53743 52434 718 1214 0 52525 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 214972
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 30111
/proc/meminfo: memFree=29877844/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=224872 CPUtime=1482.33 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 85029 0 0 0 145099 3134 0 0 25 0 1 0 821883242 230268928 54943 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 56218 54943 718 1214 0 55000 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 224872
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 30113
/proc/meminfo: memFree=29858412/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=235500 CPUtime=1542.34 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 87716 0 0 0 150980 3254 0 0 25 0 1 0 821883242 241152000 57630 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 58875 57630 718 1214 0 57657 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 235500
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30114
/proc/meminfo: memFree=29838128/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=247968 CPUtime=1602.33 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 90812 0 0 0 156860 3373 0 0 25 0 1 0 821883242 253919232 60726 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 61992 60726 718 1214 0 60774 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 247968
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30116
/proc/meminfo: memFree=29821968/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=255132 CPUtime=1662.34 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 95117 0 0 0 162741 3493 0 0 25 0 1 0 821883242 261255168 62582 33554432000 4194304 9163163 140737075167504 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 63783 62582 720 1214 0 62565 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 255132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30118
/proc/meminfo: memFree=29799528/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=267248 CPUtime=1722.33 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 98146 0 0 0 168614 3619 0 0 25 0 1 0 821883242 273661952 65611 33554432000 4194304 9163163 140737075167504 18446744073709551615 7390394 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 66812 65611 720 1214 0 65594 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 267248
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/401 30119
/proc/meminfo: memFree=29780512/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=276204 CPUtime=1782.33 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 100414 0 0 0 174493 3740 0 0 25 0 1 0 821883242 282832896 67879 33554432000 4194304 9163163 140737075167504 18446744073709551615 7390663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30043/statm: 69051 67879 720 1214 0 67833 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 276204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 30120
/proc/meminfo: memFree=29773308/32950904 swapFree=56615552/67111528
[pid=30043] ppid=30041 vsize=278644 CPUtime=1800.06 cores=0,2,4,6
/proc/30043/stat : 30043 (scip-2.0.1.4b.l) R 30041 30043 27067 0 -1 4202496 101011 0 0 0 176233 3773 0 0 25 0 1 0 821883242 285331456 68476 33554432000 4194304 9163163 140737075167504 18446744073709551615 4745912 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30043/statm: 69661 68476 723 1214 0 68443 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 278644
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.07
CPU user time (s): 1762.33
CPU system time (s): 37.7423
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 278644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.33
system time used= 37.7423
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101011
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= 6
involuntary context switches= 1832
runsolver used 7.05693 second user time and 14.7198 second system time
The end