0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver Clp 1.8.2
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869499-1245175024.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 8 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/190 (53.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 8 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 190 variables (190 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c OPT-LIN
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = c 1620
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = c 1791
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = c 10000
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving problem
0.00/0.03 c
0.00/0.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 34 | 611k| 0 | 8 | 190 | 8 | 8 | 190 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.06 c 0.1s| 1 | 0 | 204 | 744k| 0 | 15 | 190 | 8 | 8 | 190 | 17 | 9 | 0 | 0 | 1.818989e-12 | -- | Inf
0.05/0.08 c 0.1s| 1 | 0 | 216 | 766k| 0 | 19 | 190 | 8 | 8 | 190 | 20 | 12 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 226 | 787k| 0 | 22 | 190 | 8 | 8 | 190 | 23 | 15 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 235 | 806k| 0 | 24 | 190 | 8 | 8 | 190 | 26 | 18 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 238 | 807k| 0 | 25 | 190 | 8 | 8 | 190 | 27 | 19 | 0 | 0 | 1.818989e-12 | -- | Inf
0.29/0.36 c 0.3s| 1 | 2 | 238 | 808k| 0 | 25 | 190 | 8 | 8 | 190 | 27 | 19 | 0 | 25 | 1.818989e-12 | -- | Inf
0.69/0.70 o 946
0.69/0.70 c c 0.7s| 62 | 62 | 613 | 875k| 61 | - | 190 | 8 | 2 | 190 | 25 | 19 | 0 | 440 | 1.818989e-12 | 9.460000e+02 | Inf
0.79/0.84 o 466
0.79/0.84 c f 0.8s| 131 | 120 | 971 | 945k| 65 | - | 190 | 8 | 4 | 190 | 25 | 19 | 2 | 607 | 1.818989e-12 | 4.660000e+02 | Inf
1.19/1.23 o 465
1.19/1.23 c * 1.2s| 442 | 423 | 2511 |1084k| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 | 10 | 906 | 1.818989e-12 | 4.650000e+02 | Inf
1.79/1.90 o 293
1.79/1.90 c f 1.8s| 1051 | 987 | 6344 |1333k| 65 | - | 190 | 8 | 5 | 190 | 25 | 19 | 23 | 962 | 1.818989e-12 | 2.930000e+02 | Inf
2.98/3.09 o 271
2.98/3.09 c C 3.0s| 1315 | 1236 | 8027 |1414k| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 26 |1002 | 1.818989e-12 | 2.710000e+02 | Inf
3.49/3.50 o 193
3.49/3.50 c g 3.4s| 1659 | 1524 | 10149 |1549k| 65 | - | 190 | 8 | 4 | 190 | 25 | 19 | 35 |1005 | 1.818989e-12 | 1.930000e+02 | Inf
6.08/6.15 o 191
6.08/6.15 c f 6.0s| 3714 | 3550 | 24685 |2436k| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 | 118 |1048 | 1.818989e-12 | 1.910000e+02 | Inf
7.78/7.85 o 190
7.78/7.85 c l 7.6s| 5010 | 4842 | 33518 |3003k| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 | 167 |1064 | 1.818989e-12 | 1.900000e+02 | Inf
13.88/13.94 o 149
13.88/13.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.88/13.94 c f13.6s| 9232 | 8955 | 68909 |4769k| 65 | - | 190 | 8 | 4 | 190 | 25 | 19 | 337 |1081 | 1.818989e-12 | 1.490000e+02 | Inf
14.98/15.07 c 14.7s| 10000 | 9711 | 75871 |5107k| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 370 |1084 | 1.818989e-12 | 1.490000e+02 | Inf
14.98/15.09 o 92
14.98/15.09 c f14.7s| 10003 | 9285 | 75950 |4859k| 65 | - | 190 | 8 | 5 | 190 | 25 | 19 | 370 |1084 | 1.818989e-12 | 9.200000e+01 | Inf
27.17/27.24 c 26.5s| 20000 | 18661 |143257 |9303k| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 685 |1486 | 1.818989e-12 | 9.200000e+01 | Inf
34.67/34.72 o 91
34.67/34.72 c l33.8s| 27322 | 25163 |184409 | 12M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 | 907 |1776 | 1.818989e-12 | 9.100000e+01 | Inf
40.46/40.58 c 39.5s| 30000 | 27501 |201355 | 14M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 996 |1891 | 1.818989e-12 | 9.100000e+01 | Inf
50.36/50.44 c 49.1s| 40000 | 36411 |257604 | 19M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 |1287 |2202 | 1.818989e-12 | 9.100000e+01 | Inf
51.46/51.50 o 90
51.46/51.50 c *50.1s| 41062 | 37314 |263650 | 19M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |1313 |2255 | 1.818989e-12 | 9.000000e+01 | Inf
51.67/51.75 o 88
51.67/51.75 c *50.4s| 41270 | 37404 |265024 | 19M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |1324 |2260 | 1.818989e-12 | 8.800000e+01 | Inf
51.86/51.95 o 87
51.86/51.95 c *50.6s| 41482 | 37535 |266113 | 19M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |1330 |2277 | 1.818989e-12 | 8.700000e+01 | Inf
60.26/60.39 c 58.8s| 50000 | 44835 |313407 | 23M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |1635 |2568 | 1.818989e-12 | 8.700000e+01 | Inf
63.95/64.09 o 86
63.95/64.09 c *62.4s| 53776 | 47923 |334467 | 25M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |1761 |2718 | 1.818989e-12 | 8.600000e+01 | Inf
65.55/65.67 o 68
65.55/65.67 c C63.9s| 54376 | 46401 |338096 | 23M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 |1786 |2734 | 1.818989e-12 | 6.800000e+01 | Inf
71.15/71.29 c 69.4s| 60000 | 50644 |370216 | 26M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 |1997 |2891 | 1.818989e-12 | 6.800000e+01 | Inf
77.34/77.41 o 66
77.34/77.41 c *75.4s| 66148 | 55108 |404920 | 29M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |2225 |3099 | 1.818989e-12 | 6.600000e+01 | Inf
77.34/77.42 o 64
77.34/77.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.34/77.42 c l75.4s| 66151 | 54527 |404927 | 28M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |2226 |3108 | 1.818989e-12 | 6.400000e+01 | Inf
81.55/81.62 c 79.5s| 70000 | 57332 |430428 | 30M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |2409 |3224 | 1.818989e-12 | 6.400000e+01 | Inf
83.15/83.21 o 62
83.15/83.21 c *81.0s| 71629 | 58054 |440087 | 30M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |2489 |3291 | 1.818989e-12 | 6.200000e+01 | Inf
83.15/83.22 o 60
83.15/83.22 c *81.0s| 71630 | 57654 |440089 | 30M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |2489 |3291 | 1.818989e-12 | 6.000000e+01 | Inf
94.25/94.39 c 91.9s| 80000 | 63897 |489681 | 34M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |2836 |3514 | 1.818989e-12 | 6.000000e+01 | Inf
100.44/100.56 o 59
100.44/100.56 c *97.9s| 86133 | 67948 |526423 | 36M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |3114 |3676 | 1.818989e-12 | 5.900000e+01 | Inf
100.44/100.56 o 57
100.44/100.56 c *97.9s| 86134 | 67399 |526424 | 36M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |3114 |3676 | 1.818989e-12 | 5.700000e+01 | Inf
104.14/104.25 c 101s| 90000 | 70147 |547622 | 38M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 |3259 |3766 | 1.818989e-12 | 5.700000e+01 | Inf
114.34/114.49 c 111s|100000 | 76720 |608705 | 42M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 |3730 |4024 | 1.818989e-12 | 5.700000e+01 | Inf
123.83/123.95 o 55
123.83/123.95 c * 121s|109513 | 82506 |665536 | 46M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |4185 |4274 | 1.818989e-12 | 5.500000e+01 | Inf
124.33/124.44 c 121s|110000 | 82877 |668306 | 46M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |4200 |4279 | 1.818989e-12 | 5.500000e+01 | Inf
137.23/137.38 c 134s|120000 | 89667 |727794 | 50M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |4644 |4508 | 1.818989e-12 | 5.500000e+01 | Inf
146.23/146.34 o 54
146.23/146.34 c * 142s|129081 | 95217 |782301 | 54M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |5046 |4693 | 1.818989e-12 | 5.400000e+01 | Inf
147.12/147.24 c 143s|130000 | 95813 |787982 | 54M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |5083 |4719 | 1.818989e-12 | 5.400000e+01 | Inf
150.22/150.40 o 52
150.22/150.40 c * 146s|133216 | 97023 |806412 | 54M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |5205 |4798 | 1.818989e-12 | 5.200000e+01 | Inf
156.82/156.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.82/156.94 c 153s|140000 |101731 |844682 | 57M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |5458 |4908 | 1.818989e-12 | 5.200000e+01 | Inf
166.02/166.10 c 162s|150000 |109317 |898100 | 61M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |5757 |5076 | 1.818989e-12 | 5.200000e+01 | Inf
175.32/175.41 c 171s|160000 |116480 |953618 | 65M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |6056 |5258 | 1.818989e-12 | 5.200000e+01 | Inf
184.72/184.88 c 180s|170000 |122686 | 1013k| 69M| 65 | - | 190 | 8 | 8 | 0 | 0 | 19 |6515 |5430 | 1.818989e-12 | 5.200000e+01 | Inf
194.51/194.64 c 189s|180000 |128731 | 1074k| 73M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |6969 |5604 | 1.818989e-12 | 5.200000e+01 | Inf
203.61/203.75 o 51
203.61/203.75 c * 198s|189035 |133631 | 1131k| 76M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |7390 |5758 | 1.818989e-12 | 5.100000e+01 | Inf
203.61/203.76 o 49
203.61/203.76 c * 198s|189037 |132333 | 1131k| 74M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |7390 |5760 | 1.818989e-12 | 4.900000e+01 | Inf
203.61/203.78 o 47
203.61/203.78 c * 198s|189042 |129690 | 1131k| 72M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |7390 |5762 | 1.818989e-12 | 4.700000e+01 | Inf
203.61/203.79 o 45
203.61/203.79 c * 198s|189045 |128355 | 1131k| 70M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |7390 |5766 | 1.818989e-12 | 4.500000e+01 | Inf
203.71/203.81 o 43
203.71/203.81 c * 198s|189046 |126862 | 1131k| 69M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |7390 |5766 | 1.818989e-12 | 4.300000e+01 | Inf
207.11/207.29 c 202s|190000 |127423 | 1137k| 69M| 65 | - | 190 | 8 | 8 | 0 | 0 | 19 |7417 |5793 | 1.818989e-12 | 4.300000e+01 | Inf
222.70/222.86 c 217s|200000 |133035 | 1210k| 73M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |7738 |5982 | 1.818989e-12 | 4.300000e+01 | Inf
232.10/232.26 c 226s|210000 |140121 | 1276k| 77M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |8015 |6142 | 1.818989e-12 | 4.300000e+01 | Inf
242.09/242.24 c 236s|220000 |146079 | 1351k| 81M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |8381 |6319 | 1.818989e-12 | 4.300000e+01 | Inf
252.19/252.38 c 246s|230000 |152237 | 1425k| 85M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |8769 |6462 | 1.818989e-12 | 4.300000e+01 | Inf
258.67/258.84 o 41
258.67/258.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.67/258.84 c * 252s|236485 |154117 | 1470k| 85M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 |9049 |6541 | 1.818989e-12 | 4.100000e+01 | Inf
264.88/265.10 c 258s|240000 |156044 | 1493k| 86M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |9150 |6576 | 1.818989e-12 | 4.100000e+01 | Inf
274.77/274.91 c 268s|250000 |161705 | 1563k| 90M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |9503 |6720 | 1.818989e-12 | 4.100000e+01 | Inf
285.47/285.61 c 278s|260000 |167692 | 1636k| 94M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 |9894 |6851 | 1.818989e-12 | 4.100000e+01 | Inf
295.17/295.38 c 288s|270000 |173257 | 1697k| 97M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 10k|6965 | 1.818989e-12 | 4.100000e+01 | Inf
305.37/305.51 c 297s|280000 |178924 | 1760k| 101M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 10k|7084 | 1.818989e-12 | 4.100000e+01 | Inf
314.76/314.96 c 307s|290000 |184007 | 1822k| 105M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 11k|7213 | 1.818989e-12 | 4.100000e+01 | Inf
324.46/324.60 c 316s|300000 |189458 | 1883k| 109M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 11k|7340 | 1.818989e-12 | 4.100000e+01 | Inf
328.36/328.54 o 40
328.36/328.54 c * 320s|304170 |190524 | 1909k| 109M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 | 11k|7386 | 1.818989e-12 | 4.000000e+01 | Inf
333.96/334.10 c 325s|310000 |193464 | 1944k| 111M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 11k|7463 | 1.818989e-12 | 4.000000e+01 | Inf
343.55/343.79 c 335s|320000 |198874 | 2005k| 114M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 12k|7577 | 1.818989e-12 | 4.000000e+01 | Inf
343.65/343.81 o 38
343.65/343.81 c * 335s|320005 |196495 | 2005k| 112M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 | 12k|7577 | 1.818989e-12 | 3.800000e+01 | Inf
352.85/353.07 c 344s|330000 |201429 | 2064k| 115M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 12k|7701 | 1.818989e-12 | 3.800000e+01 | Inf
362.65/362.81 c 353s|340000 |206759 | 2125k| 119M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 12k|7837 | 1.818989e-12 | 3.800000e+01 | Inf
375.14/375.37 c 365s|350000 |212354 | 2185k| 122M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 13k|7945 | 1.818989e-12 | 3.800000e+01 | Inf
384.64/384.84 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.64/384.84 c 375s|360000 |217736 | 2246k| 126M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 13k|8058 | 1.818989e-12 | 3.800000e+01 | Inf
394.43/394.69 c 384s|370000 |223333 | 2307k| 129M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 13k|8168 | 1.818989e-12 | 3.800000e+01 | Inf
402.74/402.91 o 36
402.74/402.91 c * 392s|378685 |225228 | 2359k| 129M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 | 14k|8267 | 1.818989e-12 | 3.600000e+01 | Inf
402.74/402.93 o 34
402.74/402.93 c * 392s|378687 |222302 | 2359k| 126M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 | 14k|8270 | 1.818989e-12 | 3.400000e+01 | Inf
402.74/402.97 o 32
402.74/402.97 c * 392s|378688 |211341 | 2359k| 117M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 | 14k|8270 | 1.818989e-12 | 3.200000e+01 | Inf
403.93/404.16 c 393s|380000 |211928 | 2367k| 118M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 14k|8289 | 1.818989e-12 | 3.200000e+01 | Inf
415.53/415.74 c 405s|390000 |216660 | 2431k| 121M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 14k|8428 | 1.818989e-12 | 3.200000e+01 | Inf
419.13/419.32 o 30
419.13/419.32 c * 408s|394162 |215763 | 2456k| 119M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 | 14k|8486 | 1.818989e-12 | 3.000000e+01 | Inf
419.13/419.34 o 28
419.13/419.34 c * 408s|394163 |212876 | 2456k| 116M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 | 14k|8489 | 1.818989e-12 | 2.800000e+01 | Inf
424.12/424.34 c 413s|400000 |215313 | 2492k| 117M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 14k|8571 | 1.818989e-12 | 2.800000e+01 | Inf
432.92/433.17 c 422s|410000 |220002 | 2554k| 120M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 15k|8690 | 1.818989e-12 | 2.800000e+01 | Inf
441.62/441.84 c 430s|420000 |224516 | 2616k| 123M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 15k|8830 | 1.818989e-12 | 2.800000e+01 | Inf
450.62/450.89 c 439s|430000 |228982 | 2690k| 126M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 15k|9087 | 1.818989e-12 | 2.800000e+01 | Inf
459.71/459.96 c 448s|440000 |233257 | 2765k| 129M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 15k|9226 | 1.818989e-12 | 2.800000e+01 | Inf
468.32/468.58 c 456s|450000 |237388 | 2832k| 131M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 16k|9354 | 1.818989e-12 | 2.800000e+01 | Inf
477.11/477.37 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
477.11/477.37 c 465s|460000 |241789 | 2896k| 134M| 65 | - | 190 | 8 | 7 | 0 | 0 | 19 | 16k|9449 | 1.818989e-12 | 2.800000e+01 | Inf
485.80/486.10 c 473s|470000 |246186 | 2962k| 136M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 16k|9533 | 1.818989e-12 | 2.800000e+01 | Inf
494.60/494.85 c 482s|480000 |250589 | 3027k| 139M| 65 | - | 190 | 8 | 8 | 0 | 0 | 19 | 16k|9641 | 1.818989e-12 | 2.800000e+01 | Inf
503.20/503.41 c 490s|490000 |254592 | 3092k| 142M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 17k|9737 | 1.818989e-12 | 2.800000e+01 | Inf
511.59/511.89 c 498s|500000 |258334 | 3157k| 144M| 65 | - | 190 | 8 | 7 | 0 | 0 | 19 | 17k|9842 | 1.818989e-12 | 2.800000e+01 | Inf
520.49/520.71 c 507s|510000 |262614 | 3225k| 147M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 17k|9997 | 1.818989e-12 | 2.800000e+01 | Inf
521.99/522.29 o 26
521.99/522.29 c * 509s|511781 |260221 | 3237k| 143M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 | 17k| 10k| 1.818989e-12 | 2.600000e+01 | Inf
522.09/522.32 o 24
522.09/522.32 c * 509s|511782 |256291 | 3237k| 139M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 | 17k| 10k| 1.818989e-12 | 2.400000e+01 | Inf
531.89/532.13 c 518s|520000 |259504 | 3290k| 141M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 18k| 10k| 1.818989e-12 | 2.400000e+01 | Inf
542.78/543.05 c 529s|530000 |262783 | 3356k| 143M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 18k| 10k| 1.818989e-12 | 2.400000e+01 | Inf
553.09/553.39 c 539s|540000 |266181 | 3412k| 146M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 18k| 10k| 1.818989e-12 | 2.400000e+01 | Inf
560.88/561.17 c 546s|550000 |269101 | 3471k| 148M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 18k| 10k| 1.818989e-12 | 2.400000e+01 | Inf
568.87/569.19 c 554s|560000 |272413 | 3531k| 150M| 65 | - | 190 | 8 | 8 | 0 | 0 | 19 | 18k| 10k| 1.818989e-12 | 2.400000e+01 | Inf
576.97/577.21 c 562s|570000 |275618 | 3590k| 152M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 19k| 10k| 1.818989e-12 | 2.400000e+01 | Inf
584.57/584.81 c 569s|580000 |278172 | 3649k| 154M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 19k| 10k| 1.818989e-12 | 2.400000e+01 | Inf
592.36/592.64 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.36/592.64 c 577s|590000 |281287 | 3707k| 156M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 19k| 10k| 1.818989e-12 | 2.400000e+01 | Inf
600.16/600.48 c 585s|600000 |284261 | 3764k| 158M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 19k| 10k| 1.818989e-12 | 2.400000e+01 | Inf
600.37/600.64 o 23
600.37/600.64 c * 585s|600189 |282087 | 3765k| 156M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 | 19k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
608.16/608.42 c 592s|610000 |285234 | 3823k| 158M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 20k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
615.86/616.20 c 600s|620000 |288006 | 3882k| 160M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 20k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
623.46/623.75 c 607s|630000 |290166 | 3942k| 162M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 20k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
631.06/631.33 c 615s|640000 |292444 | 4002k| 164M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 20k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
638.76/639.03 c 622s|650000 |294844 | 4063k| 166M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 21k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
646.45/646.79 c 630s|660000 |297934 | 4122k| 168M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 21k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
654.34/654.63 c 637s|670000 |301233 | 4182k| 170M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 21k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
662.04/662.34 c 645s|680000 |303867 | 4242k| 172M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 21k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
669.65/669.95 c 652s|690000 |306259 | 4303k| 174M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 21k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
677.24/677.60 c 660s|700000 |308593 | 4362k| 175M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 22k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
684.73/685.07 c 667s|710000 |310505 | 4421k| 177M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 22k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
692.23/692.58 c 674s|720000 |312237 | 4481k| 179M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 22k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
699.83/700.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
699.83/700.16 c 682s|730000 |314539 | 4539k| 180M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 22k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
707.33/707.60 c 689s|740000 |316217 | 4598k| 182M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 22k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
714.92/715.20 c 696s|750000 |317949 | 4659k| 183M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 23k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
722.43/722.77 c 704s|760000 |319816 | 4721k| 185M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 23k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
730.32/730.66 c 711s|770000 |322551 | 4784k| 187M| 65 | - | 190 | 8 | 8 | 0 | 0 | 19 | 23k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
738.21/738.54 c 719s|780000 |325447 | 4847k| 189M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 23k| 13k| 1.818989e-12 | 2.300000e+01 | Inf
746.01/746.32 c 727s|790000 |327994 | 4909k| 191M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 23k| 13k| 1.818989e-12 | 2.300000e+01 | Inf
753.71/754.03 c 734s|800000 |330798 | 4971k| 193M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 23k| 13k| 1.818989e-12 | 2.300000e+01 | Inf
761.31/761.65 c 742s|810000 |332918 | 5033k| 194M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 24k| 13k| 1.818989e-12 | 2.300000e+01 | Inf
768.91/769.24 c 749s|820000 |335003 | 5095k| 196M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 24k| 13k| 1.818989e-12 | 2.300000e+01 | Inf
776.60/776.94 c 756s|830000 |337092 | 5158k| 197M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 24k| 13k| 1.818989e-12 | 2.300000e+01 | Inf
784.39/784.71 c 764s|840000 |339479 | 5221k| 199M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 24k| 13k| 1.818989e-12 | 2.300000e+01 | Inf
791.99/792.39 c 771s|850000 |341601 | 5283k| 201M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 24k| 13k| 1.818989e-12 | 2.300000e+01 | Inf
799.70/800.09 c 779s|860000 |343632 | 5346k| 202M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 25k| 13k| 1.818989e-12 | 2.300000e+01 | Inf
807.39/807.77 c 786s|870000 |346058 | 5408k| 204M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 25k| 13k| 1.818989e-12 | 2.300000e+01 | Inf
814.99/815.35 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
814.99/815.35 c 794s|880000 |348368 | 5469k| 206M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 25k| 14k| 1.818989e-12 | 2.300000e+01 | Inf
822.58/822.94 c 801s|890000 |350157 | 5530k| 207M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 25k| 14k| 1.818989e-12 | 2.300000e+01 | Inf
830.09/830.48 c 809s|900000 |352421 | 5588k| 209M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 25k| 14k| 1.818989e-12 | 2.300000e+01 | Inf
837.68/838.06 c 816s|910000 |353870 | 5647k| 210M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 26k| 14k| 1.818989e-12 | 2.300000e+01 | Inf
845.18/845.54 c 823s|920000 |355834 | 5706k| 212M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 26k| 14k| 1.818989e-12 | 2.300000e+01 | Inf
852.67/853.02 c 831s|930000 |357582 | 5765k| 214M| 65 | - | 190 | 8 | 8 | 0 | 0 | 19 | 26k| 14k| 1.818989e-12 | 2.300000e+01 | Inf
860.37/860.79 c 838s|940000 |359708 | 5825k| 215M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 26k| 14k| 1.818989e-12 | 2.300000e+01 | Inf
869.17/869.58 c 847s|950000 |363936 | 5886k| 218M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 26k| 14k| 1.818989e-12 | 2.300000e+01 | Inf
877.47/877.82 c 855s|960000 |367836 | 5944k| 220M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 27k| 14k| 1.818989e-12 | 2.300000e+01 | Inf
885.86/886.24 c 863s|970000 |371989 | 6003k| 222M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 27k| 14k| 1.818989e-12 | 2.300000e+01 | Inf
893.66/894.09 c 870s|980000 |375415 | 6060k| 224M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 27k| 14k| 1.818989e-12 | 2.300000e+01 | Inf
901.86/902.26 c 878s|990000 |379024 | 6118k| 227M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 27k| 14k| 1.818989e-12 | 2.300000e+01 | Inf
909.56/909.99 c 886s| 1000k|381905 | 6175k| 229M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 28k| 15k| 1.818989e-12 | 2.300000e+01 | Inf
917.85/918.26 c 894s| 1010k|385690 | 6234k| 231M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 28k| 15k| 1.818989e-12 | 2.300000e+01 | Inf
925.65/926.09 c 902s| 1020k|388749 | 6293k| 233M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 28k| 15k| 1.818989e-12 | 2.300000e+01 | Inf
933.35/933.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.35/933.77 c 909s| 1030k|391569 | 6350k| 235M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 28k| 15k| 1.818989e-12 | 2.300000e+01 | Inf
941.15/941.54 c 917s| 1040k|394470 | 6408k| 237M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 29k| 15k| 1.818989e-12 | 2.300000e+01 | Inf
948.85/949.24 c 924s| 1050k|397438 | 6466k| 239M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 29k| 15k| 1.818989e-12 | 2.300000e+01 | Inf
956.74/957.16 c 932s| 1060k|400867 | 6523k| 241M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 29k| 15k| 1.818989e-12 | 2.300000e+01 | Inf
964.24/964.66 c 939s| 1070k|403643 | 6579k| 243M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 29k| 15k| 1.818989e-12 | 2.300000e+01 | Inf
972.04/972.41 c 947s| 1080k|406532 | 6636k| 245M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 30k| 15k| 1.818989e-12 | 2.300000e+01 | Inf
980.13/980.53 c 955s| 1090k|409909 | 6699k| 247M| 65 | 7 | 190 | 8 | 8 | 190 | 25 | 19 | 30k| 15k| 1.818989e-12 | 2.300000e+01 | Inf
987.93/988.38 c 962s| 1100k|412376 | 6766k| 249M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 30k| 15k| 1.818989e-12 | 2.300000e+01 | Inf
996.13/996.58 c 970s| 1110k|415635 | 6830k| 251M| 65 | - | 190 | 8 | 8 | 0 | 0 | 19 | 30k| 15k| 1.818989e-12 | 2.300000e+01 | Inf
1004.03/1004.48 c 978s| 1120k|418712 | 6892k| 253M| 65 | - | 190 | 8 | 8 | 0 | 0 | 19 | 30k| 15k| 1.818989e-12 | 2.300000e+01 | Inf
1012.92/1013.39 c 987s| 1130k|423030 | 6957k| 255M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 31k| 16k| 1.818989e-12 | 2.300000e+01 | Inf
1021.82/1022.20 c 995s| 1140k|427627 | 7022k| 258M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 31k| 16k| 1.818989e-12 | 2.300000e+01 | Inf
1031.42/1031.88 c 1005s| 1150k|433205 | 7083k| 261M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 31k| 16k| 1.818989e-12 | 2.300000e+01 | Inf
1040.12/1040.55 c 1013s| 1160k|437874 | 7141k| 263M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 31k| 16k| 1.818989e-12 | 2.300000e+01 | Inf
1049.11/1049.50 c 1022s| 1170k|442534 | 7202k| 266M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 32k| 16k| 1.818989e-12 | 2.300000e+01 | Inf
1057.90/1058.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1057.90/1058.33 c 1030s| 1180k|447170 | 7262k| 268M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 32k| 16k| 1.818989e-12 | 2.300000e+01 | Inf
1066.21/1066.69 c 1039s| 1190k|451343 | 7321k| 271M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 32k| 16k| 1.818989e-12 | 2.300000e+01 | Inf
1074.50/1074.95 c 1047s| 1200k|455305 | 7380k| 273M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 32k| 16k| 1.818989e-12 | 2.300000e+01 | Inf
1082.70/1083.10 c 1055s| 1210k|459279 | 7439k| 276M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 33k| 16k| 1.818989e-12 | 2.300000e+01 | Inf
1090.89/1091.36 c 1063s| 1220k|463197 | 7498k| 278M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 33k| 16k| 1.818989e-12 | 2.300000e+01 | Inf
1098.99/1099.42 c 1071s| 1230k|466445 | 7558k| 280M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 33k| 16k| 1.818989e-12 | 2.300000e+01 | Inf
1106.99/1107.48 c 1079s| 1240k|470332 | 7616k| 282M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 33k| 16k| 1.818989e-12 | 2.300000e+01 | Inf
1114.99/1115.48 c 1086s| 1250k|473972 | 7675k| 285M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 34k| 16k| 1.818989e-12 | 2.300000e+01 | Inf
1122.88/1123.34 c 1094s| 1260k|477559 | 7733k| 287M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 34k| 16k| 1.818989e-12 | 2.300000e+01 | Inf
1130.78/1131.22 c 1102s| 1270k|480596 | 7792k| 289M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 34k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1138.98/1139.42 c 1110s| 1280k|484505 | 7851k| 291M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 34k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1146.68/1147.14 c 1117s| 1290k|487588 | 7909k| 293M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 34k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1154.68/1155.18 c 1125s| 1300k|491350 | 7966k| 296M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 35k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1162.57/1163.07 c 1133s| 1310k|494824 | 8025k| 298M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 35k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1170.47/1170.90 c 1140s| 1320k|497824 | 8083k| 300M| 65 | - | 190 | 8 | 9 | 0 | 0 | 19 | 35k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1178.37/1178.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1178.37/1178.86 c 1148s| 1330k|501170 | 8142k| 302M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 35k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1186.07/1186.52 c 1156s| 1340k|503937 | 8200k| 304M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 36k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1194.26/1194.76 c 1164s| 1350k|507985 | 8259k| 306M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 36k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1202.05/1202.52 c 1171s| 1360k|511489 | 8316k| 309M| 65 | - | 190 | 8 | 8 | 0 | 0 | 19 | 36k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1209.86/1210.34 c 1179s| 1370k|514345 | 8375k| 311M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 36k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1217.55/1218.07 c 1186s| 1380k|517252 | 8434k| 313M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 36k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1225.35/1225.85 c 1194s| 1390k|520357 | 8492k| 315M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 37k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1233.15/1233.61 c 1201s| 1400k|523339 | 8552k| 317M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 37k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1240.75/1241.27 c 1209s| 1410k|526101 | 8610k| 319M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 37k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1251.35/1251.82 c 1219s| 1420k|529354 | 8668k| 321M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 37k| 17k| 1.818989e-12 | 2.300000e+01 | Inf
1259.24/1259.76 c 1227s| 1430k|532010 | 8735k| 323M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 37k| 18k| 1.818989e-12 | 2.300000e+01 | Inf
1267.34/1267.89 c 1235s| 1440k|535348 | 8805k| 325M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 38k| 18k| 1.818989e-12 | 2.300000e+01 | Inf
1275.33/1275.89 c 1243s| 1450k|538146 | 8874k| 327M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 38k| 18k| 1.818989e-12 | 2.300000e+01 | Inf
1283.33/1283.84 c 1250s| 1460k|541053 | 8942k| 329M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 38k| 18k| 1.818989e-12 | 2.300000e+01 | Inf
1291.23/1291.75 c 1258s| 1470k|543675 | 9010k| 330M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 38k| 18k| 1.818989e-12 | 2.300000e+01 | Inf
1299.22/1299.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1299.22/1299.73 c 1266s| 1480k|546276 | 9080k| 332M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 39k| 18k| 1.818989e-12 | 2.300000e+01 | Inf
1307.02/1307.57 c 1273s| 1490k|549084 | 9147k| 334M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 39k| 18k| 1.818989e-12 | 2.300000e+01 | Inf
1314.62/1315.18 c 1281s| 1500k|551666 | 9205k| 336M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 39k| 18k| 1.818989e-12 | 2.300000e+01 | Inf
1322.11/1322.64 c 1288s| 1510k|554400 | 9262k| 338M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 39k| 18k| 1.818989e-12 | 2.300000e+01 | Inf
1329.92/1330.47 c 1296s| 1520k|557375 | 9322k| 340M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 39k| 18k| 1.818989e-12 | 2.300000e+01 | Inf
1337.61/1338.10 c 1303s| 1530k|560338 | 9381k| 342M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 40k| 18k| 1.818989e-12 | 2.300000e+01 | Inf
1345.30/1345.83 c 1311s| 1540k|562803 | 9445k| 344M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 40k| 18k| 1.818989e-12 | 2.300000e+01 | Inf
1353.11/1353.63 c 1318s| 1550k|565184 | 9516k| 346M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 40k| 18k| 1.818989e-12 | 2.300000e+01 | Inf
1361.10/1361.62 c 1326s| 1560k|567771 | 9587k| 347M| 65 | - | 190 | 8 | 8 | 0 | 0 | 19 | 40k| 18k| 1.818989e-12 | 2.300000e+01 | Inf
1369.00/1369.58 c 1334s| 1570k|570306 | 9658k| 349M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 40k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1377.00/1377.52 c 1341s| 1580k|572939 | 9728k| 351M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 41k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1384.90/1385.43 c 1349s| 1590k|575355 | 9801k| 353M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 41k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1392.49/1393.08 c 1357s| 1600k|578077 | 9858k| 355M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 41k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1400.09/1400.66 c 1364s| 1610k|580315 | 9917k| 357M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 41k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1407.69/1408.26 c 1371s| 1620k|582954 | 9976k| 358M| 65 | - | 190 | 8 | 8 | 0 | 0 | 19 | 41k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1415.39/1415.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.39/1415.91 c 1379s| 1630k|585720 | 10033k| 360M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 42k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1422.89/1423.42 c 1386s| 1640k|587817 | 10093k| 362M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 42k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1430.28/1430.82 c 1393s| 1650k|590294 | 10149k| 364M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 42k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1437.88/1438.50 c 1401s| 1660k|593147 | 10207k| 366M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 42k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1445.58/1446.10 c 1408s| 1670k|595661 | 10265k| 368M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 42k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1453.08/1453.66 c 1416s| 1680k|597971 | 10324k| 369M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 43k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1460.67/1461.29 c 1423s| 1690k|600177 | 10385k| 371M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 43k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1468.36/1468.99 c 1431s| 1700k|602833 | 10451k| 373M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 43k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1476.36/1477.00 c 1438s| 1710k|605634 | 10518k| 375M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 43k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1484.16/1484.75 c 1446s| 1720k|609164 | 10583k| 377M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 43k| 19k| 1.818989e-12 | 2.300000e+01 | Inf
1491.86/1492.44 c 1453s| 1730k|611752 | 10649k| 379M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 44k| 20k| 1.818989e-12 | 2.300000e+01 | Inf
1499.56/1500.12 c 1461s| 1740k|614062 | 10715k| 380M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 44k| 20k| 1.818989e-12 | 2.300000e+01 | Inf
1507.15/1507.70 c 1468s| 1750k|616475 | 10780k| 382M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 44k| 20k| 1.818989e-12 | 2.300000e+01 | Inf
1514.75/1515.39 c 1476s| 1760k|618665 | 10844k| 384M| 65 | - | 190 | 8 | 8 | 0 | 0 | 19 | 44k| 20k| 1.818989e-12 | 2.300000e+01 | Inf
1522.25/1522.89 c 1483s| 1770k|621208 | 10901k| 385M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 44k| 20k| 1.818989e-12 | 2.300000e+01 | Inf
1530.75/1531.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1530.75/1531.36 c 1491s| 1780k|625142 | 10960k| 388M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 45k| 20k| 1.818989e-12 | 2.300000e+01 | Inf
1538.74/1539.34 c 1499s| 1790k|628413 | 11019k| 390M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 45k| 20k| 1.818989e-12 | 2.300000e+01 | Inf
1546.34/1546.95 c 1506s| 1800k|631497 | 11075k| 392M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 45k| 20k| 1.818989e-12 | 2.300000e+01 | Inf
1554.04/1554.62 c 1514s| 1810k|634344 | 11134k| 394M| 65 | - | 190 | 8 | 7 | 0 | 0 | 19 | 45k| 20k| 1.818989e-12 | 2.300000e+01 | Inf
1561.54/1562.19 c 1521s| 1820k|637140 | 11191k| 396M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 45k| 20k| 1.818989e-12 | 2.300000e+01 | Inf
1569.13/1569.72 c 1529s| 1830k|639693 | 11248k| 397M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 46k| 20k| 1.818989e-12 | 2.300000e+01 | Inf
1576.73/1577.31 c 1536s| 1840k|642261 | 11305k| 399M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 46k| 20k| 1.818989e-12 | 2.300000e+01 | Inf
1584.22/1584.83 c 1543s| 1850k|644674 | 11362k| 401M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 46k| 20k| 1.818989e-12 | 2.300000e+01 | Inf
1591.72/1592.37 c 1551s| 1860k|647194 | 11419k| 403M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 46k| 20k| 1.818989e-12 | 2.300000e+01 | Inf
1598.12/1598.73 o 21
1598.12/1598.73 c *1557s| 1868k|642686 | 11468k| 394M| 65 | - | 190 | 8 | 0 | 190 | 25 | 19 | 46k| 20k| 1.818989e-12 | 2.100000e+01 | Inf
1599.22/1599.85 c 1558s| 1870k|643003 | 11476k| 394M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 46k| 20k| 1.818989e-12 | 2.100000e+01 | Inf
1609.72/1610.32 c 1568s| 1880k|645172 | 11534k| 396M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 47k| 20k| 1.818989e-12 | 2.100000e+01 | Inf
1617.52/1618.10 c 1576s| 1890k|647931 | 11592k| 398M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 47k| 20k| 1.818989e-12 | 2.100000e+01 | Inf
1625.01/1625.64 c 1583s| 1900k|649998 | 11650k| 399M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 47k| 20k| 1.818989e-12 | 2.100000e+01 | Inf
1632.41/1633.06 c 1590s| 1910k|651931 | 11707k| 401M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 47k| 20k| 1.818989e-12 | 2.100000e+01 | Inf
1642.91/1643.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.91/1643.51 c 1600s| 1920k|653771 | 11764k| 402M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 48k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1650.30/1651.00 c 1608s| 1930k|656064 | 11821k| 404M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 48k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1657.80/1658.41 c 1615s| 1940k|658045 | 11877k| 405M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 48k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1665.19/1665.89 c 1622s| 1950k|659905 | 11936k| 407M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 48k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1673.00/1673.65 c 1630s| 1960k|662165 | 11995k| 408M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 48k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1680.49/1681.11 c 1637s| 1970k|663935 | 12054k| 410M| 65 | - | 190 | 8 | 8 | 0 | 0 | 19 | 49k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1687.89/1688.55 c 1644s| 1980k|665940 | 12112k| 411M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 49k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1695.29/1695.95 c 1652s| 1990k|667960 | 12169k| 413M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 49k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1702.89/1703.58 c 1659s| 2000k|669951 | 12230k| 414M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 49k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1710.39/1711.04 c 1666s| 2010k|671754 | 12288k| 416M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 49k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1717.88/1718.59 c 1674s| 2020k|673770 | 12346k| 417M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 50k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1725.67/1726.31 c 1681s| 2030k|676735 | 12403k| 419M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 50k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1732.98/1733.67 c 1688s| 2040k|678899 | 12460k| 421M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 50k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1740.47/1741.13 c 1696s| 2050k|681246 | 12516k| 423M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 50k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1747.77/1748.42 c 1703s| 2060k|683305 | 12573k| 424M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 50k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1755.57/1756.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.57/1756.20 c 1710s| 2070k|686593 | 12629k| 426M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 51k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1763.27/1763.95 c 1718s| 2080k|689549 | 12692k| 428M| 65 | - | 190 | 8 | 9 | 0 | 0 | 19 | 51k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1770.86/1771.54 c 1725s| 2090k|691938 | 12757k| 430M| 65 | - | 190 | 8 | 8 | 190 | 25 | 19 | 51k| 21k| 1.818989e-12 | 2.100000e+01 | Inf
1778.56/1779.22 c 1733s| 2100k|694068 | 12822k| 431M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 51k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1786.36/1787.01 c 1740s| 2110k|696582 | 12888k| 433M| 65 | 8 | 190 | 8 | 8 | 190 | 25 | 19 | 51k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1794.15/1794.83 c 1748s| 2120k|699021 | 12955k| 434M| 65 | - | 190 | 8 | 9 | 0 | 0 | 19 | 52k| 22k| 1.818989e-12 | 2.100000e+01 | Inf
1800.06/1800.71 c
1800.06/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.71 c Solving Time (sec) : 1753.57
1800.06/1800.71 c Solving Nodes : 2127646
1800.06/1800.71 c Primal Bound : +2.10000000000000e+01 (43 solutions)
1800.06/1800.71 c Dual Bound : +1.81898940354586e-12
1800.06/1800.71 c Gap : infinite
1800.06/1800.71 c NODE 2127646
1800.06/1800.71 c DUAL BOUND 1.81899e-12
1800.06/1800.71 c PRIMAL BOUND 21
1800.06/1800.71 c GAP 1e+20
1800.06/1800.71 s SATISFIABLE
1800.06/1800.71 v -x198 x197 x196 -x195 x194 -x193 x192 -x191 -x190 -x189 x188 -x187 x186 x185 -x184 x183 -x182 -x181 x180 x179 x178 x177 -x176 x175
1800.06/1800.71 v x174 x173 x172 x171 x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 x162 x161 -x160 -x159 -x158 -x157 -x156 x155 x154 -x153
1800.06/1800.71 v -x152 -x151 x150 -x149 -x148 -x147 -x146 x145 x144 -x143 -x142 x141 x140 x139 -x138 x137 x136 x135 -x134 x133 x132 x131 -x130
1800.06/1800.71 v -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
1800.06/1800.71 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85
1800.06/1800.71 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
1800.06/1800.71 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1800.06/1800.71 v x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1800.06/1800.71 v x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.06/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.71 c Solving Time : 1753.57
1800.06/1800.71 c Original Problem :
1800.06/1800.71 c Problem name : HOME/instance-1869499-1245175024.opb
1800.06/1800.71 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.71 c Constraints : 16 initial, 16 maximal
1800.06/1800.71 c Presolved Problem :
1800.06/1800.71 c Problem name : t_HOME/instance-1869499-1245175024.opb
1800.06/1800.71 c Variables : 190 (190 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.71 c Constraints : 8 initial, 8 maximal
1800.06/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.71 c linear : 0.00 0 8 0 0 0 8 0 0
1800.06/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.71 c root node : - 48 - - 48 - - - -
1800.06/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.71 c integral : 0 0 0 1450196 0 33 3115 0 0 2894242
1800.06/1800.71 c linear : 8 6 3501509 0 0 220446 1585236 7 0 0
1800.06/1800.71 c logicor : 0+ 0 20474 0 0 1500 15137 0 0 0
1800.06/1800.71 c countsols : 0 0 0 30 0 0 0 0 0 0
1800.06/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.71 c integral : 22.79 0.00 0.00 22.79 0.00
1800.06/1800.71 c linear : 308.08 0.00 308.08 0.00 0.00
1800.06/1800.71 c logicor : 0.19 0.00 0.19 0.00 0.00
1800.06/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.71 c rootredcost : 1.33 42 0 48
1800.06/1800.71 c pseudoobj : 31.72 3510596 9231 27512
1800.06/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.71 c propagation : 20.15 229677 52335 61868 71.6 0 0.0 -
1800.06/1800.71 c infeasible LP : 3.91 511553 3 3 55.7 0 0.0 0
1800.06/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.71 c pseudo solution : 0.00 1 1 1 44.0 0 0.0 -
1800.06/1800.71 c applied globally : - - - 0 0.0 - - -
1800.06/1800.71 c applied locally : - - - 52339 71.5 - - -
1800.06/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.71 c cut pool : 0.00 5 - - 8 - (maximal pool size: 45)
1800.06/1800.71 c redcost : 43.56 2038369 0 12069374 0 0
1800.06/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.06/1800.71 c intobj : 0.00 0 0 0 0 0
1800.06/1800.71 c gomory : 0.02 6 0 0 0 0
1800.06/1800.71 c strongcg : 0.02 6 0 0 11 0
1800.06/1800.71 c cmir : 0.05 6 0 0 18 0
1800.06/1800.71 c flowcover : 0.05 6 0 0 14 0
1800.06/1800.71 c clique : 0.00 1 0 0 0 0
1800.06/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.71 c mcf : 0.00 1 0 0 0 0
1800.06/1800.71 c Pricers : Time Calls Vars
1800.06/1800.71 c problem variables: 0.00 0 0
1800.06/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.71 c relpscost : 21.57 1450166 33 3115 0 0 2894242
1800.06/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.71 c inference : 0.00 0 0 0 0 0 0
1800.06/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.71 c random : 0.00 0 0 0 0 0 0
1800.06/1800.71 c Primal Heuristics : Time Calls Found
1800.06/1800.71 c LP solutions : 0.38 - 30
1800.06/1800.71 c pseudo solutions : 0.00 - 0
1800.06/1800.71 c oneopt : 0.92 42 0
1800.06/1800.71 c crossover : 43.56 20 2
1800.06/1800.71 c rootsoldiving : 7.43 766 1
1800.06/1800.71 c coefdiving : 54.42 5114 1
1800.06/1800.71 c pscostdiving : 36.09 5114 0
1800.06/1800.71 c fracdiving : 40.04 5115 5
1800.06/1800.71 c veclendiving : 26.74 5115 0
1800.06/1800.71 c linesearchdiving : 27.00 5115 3
1800.06/1800.71 c guideddiving : 29.35 5115 1
1800.06/1800.71 c objpscostdiving : 14.50 2558 0
1800.06/1800.71 c simplerounding : 0.86 0 0
1800.06/1800.71 c rounding : 2.19 17469 0
1800.06/1800.71 c shifting : 7.12 5714 0
1800.06/1800.71 c intshifting : 0.08 0 0
1800.06/1800.71 c fixandinfer : 0.00 0 0
1800.06/1800.71 c feaspump : 0.04 1 0
1800.06/1800.71 c intdiving : 0.00 0 0
1800.06/1800.71 c actconsdiving : 0.00 0 0
1800.06/1800.71 c octane : 0.00 0 0
1800.06/1800.71 c rens : 0.07 1 0
1800.06/1800.71 c rins : 0.00 0 0
1800.06/1800.71 c localbranching : 0.00 0 0
1800.06/1800.71 c mutation : 0.00 0 0
1800.06/1800.71 c dins : 0.00 0 0
1800.06/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.71 c dual LP : 907.52 2009720 11608315 5.78 12791.25
1800.06/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.71 c diving/probing LP: 167.58 566042 1397296 2.47 8338.08
1800.06/1800.71 c strong branching : 7.36 22158 90292 4.07 12267.93
1800.06/1800.71 c (at root node) : - 25 1887 75.48 -
1800.06/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.71 c B&B Tree :
1800.06/1800.71 c number of runs : 1
1800.06/1800.71 c nodes : 2127646
1800.06/1800.71 c nodes (total) : 2127646
1800.06/1800.71 c nodes left : 700487
1800.06/1800.71 c max depth : 65
1800.06/1800.71 c max depth (total): 65
1800.06/1800.71 c backtracks : 339003 (15.9%)
1800.06/1800.71 c delayed cutoffs : 8220
1800.06/1800.71 c repropagations : 16502 (60586 domain reductions, 8218 cutoffs)
1800.06/1800.71 c avg switch length: 5.51
1800.06/1800.71 c switching time : 62.63
1800.06/1800.71 c Solution :
1800.06/1800.71 c Solutions found : 43 (42 improvements)
1800.06/1800.71 c Primal Bound : +2.10000000000000e+01 (in run 1, after 1868512 nodes, 1556.85 seconds, depth 61, found by <relaxation>)
1800.06/1800.71 c Dual Bound : +1.81898940354586e-12
1800.06/1800.71 c Gap : infinite
1800.06/1800.71 c Root Dual Bound : +1.81898940354586e-12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869499-1245175024/watcher-1869499-1245175024 -o /tmp/evaluation-result-1869499-1245175024/solver-1869499-1245175024 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869499-1245175024.opb
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1773
/proc/meminfo: memFree=1852840/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=7616 CPUtime=0
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 602 0 0 0 0 0 0 0 20 0 1 0 185100763 7798784 586 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/1773/statm: 1904 596 353 1256 0 643 0
[startup+0.0597999 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1773
/proc/meminfo: memFree=1852840/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=14976 CPUtime=0.05
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 3006 0 0 0 4 1 0 0 20 0 1 0 185100763 15335424 2636 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 3744 2636 660 1256 0 2483 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14976
[startup+0.101808 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1773
/proc/meminfo: memFree=1852840/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=15656 CPUtime=0.09
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 3131 0 0 0 8 1 0 0 20 0 1 0 185100763 16031744 2759 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 3914 2759 667 1256 0 2653 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15656
[startup+0.301845 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1773
/proc/meminfo: memFree=1852840/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=18580 CPUtime=0.29
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 4992 0 0 0 27 2 0 0 22 0 1 0 185100763 19025920 3600 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 4645 3600 691 1256 0 3384 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18580
[startup+0.70192 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 1773
/proc/meminfo: memFree=1852840/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=18580 CPUtime=0.69
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 5011 0 0 0 67 2 0 0 25 0 1 0 185100763 19025920 3619 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 4645 3619 692 1256 0 3384 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18580
[startup+1.50107 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1774
/proc/meminfo: memFree=1840928/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=18888 CPUtime=1.49
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 5103 0 0 0 145 4 0 0 25 0 1 0 185100763 19341312 3711 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 4722 3711 699 1256 0 3461 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18888
[startup+3.10138 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1774
/proc/meminfo: memFree=1840544/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=16676 CPUtime=3.09
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 6972 0 0 0 299 10 0 0 25 0 1 0 185100763 17076224 3159 1992294400 4194304 9342243 548682068736 18446744073709551615 8050683 0 0 4096 16384 0 0 0 17 0 0 0
/proc/1773/statm: 4169 3159 700 1256 0 2908 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16676
[startup+6.30196 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 1774
/proc/meminfo: memFree=1841632/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=18624 CPUtime=6.28
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 7865 0 0 0 610 18 0 0 25 0 1 0 185100763 19070976 3424 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 4656 3424 700 1256 0 3395 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18624
[startup+12.7012 s]
/proc/loadavg: 1.23 1.05 1.02 2/66 1774
/proc/meminfo: memFree=1839136/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=22784 CPUtime=12.68
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 9741 0 0 0 1234 34 0 0 25 0 1 0 185100763 23330816 4642 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 5696 4642 700 1256 0 4435 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22784
[startup+25.5015 s]
/proc/loadavg: 1.25 1.06 1.02 2/66 1774
/proc/meminfo: memFree=1834848/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=26512 CPUtime=25.48
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 11006 0 0 0 2485 63 0 0 25 0 1 0 185100763 27148288 5247 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 6628 5247 700 1256 0 5367 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26512
[startup+51.1013 s]
/proc/loadavg: 1.16 1.06 1.02 2/66 1774
/proc/meminfo: memFree=1820256/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=39320 CPUtime=51.06
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 16697 0 0 0 4974 132 0 0 25 0 1 0 185100763 40263680 8932 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 9830 8932 700 1256 0 8569 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 39320
[startup+102.306 s]
/proc/loadavg: 1.07 1.05 1.01 2/66 1774
/proc/meminfo: memFree=1797024/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=63604 CPUtime=102.25
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 24906 0 0 0 9959 266 0 0 25 0 1 0 185100763 65130496 14684 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 15901 14684 700 1256 0 14640 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 63604
[startup+162.302 s]
/proc/loadavg: 1.02 1.03 1.01 2/66 1774
/proc/meminfo: memFree=1773920/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=86088 CPUtime=162.22
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 34690 0 0 0 15799 423 0 0 25 0 1 0 185100763 88154112 20448 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 21522 20448 700 1256 0 20261 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 86088
[startup+222.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/66 1774
/proc/meminfo: memFree=1752992/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=106292 CPUtime=222.2
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 44456 0 0 0 21632 588 0 0 25 0 1 0 185100763 108843008 25617 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 26573 25617 700 1256 0 25312 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 106292
[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 1780
/proc/meminfo: memFree=1736800/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=123204 CPUtime=282.17
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 51157 0 0 0 27477 740 0 0 25 0 1 0 185100763 126160896 29675 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 30801 29675 700 1256 0 29540 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 123204
[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 1780
/proc/meminfo: memFree=1711136/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=151820 CPUtime=342.15
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 58196 0 0 0 33328 887 0 0 25 0 1 0 185100763 155463680 36072 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 37955 36072 700 1256 0 36694 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 151820
[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 1780
/proc/meminfo: memFree=1694048/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=168600 CPUtime=402.13
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 64255 0 0 0 39166 1047 0 0 25 0 1 0 185100763 172646400 40342 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 42150 40342 700 1256 0 40889 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 168600
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1688800/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=174360 CPUtime=462.11
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 68132 0 0 0 45008 1203 0 0 25 0 1 0 185100763 178544640 41634 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 43590 41634 700 1256 0 42329 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 174360
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1676832/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=186240 CPUtime=522.09
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 71202 0 0 0 50852 1357 0 0 25 0 1 0 185100763 190709760 44704 1992294400 4194304 9342243 548682068736 18446744073709551615 5815434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 46560 44704 700 1256 0 45299 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 186240
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1668960/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=193196 CPUtime=582.07
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 78390 0 0 0 56681 1526 0 0 25 0 1 0 185100763 197832704 46545 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 48299 46545 700 1256 0 47038 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 193196
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1656032/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=205140 CPUtime=642.05
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 82338 0 0 0 62525 1680 0 0 25 0 1 0 185100763 210063360 49753 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 51285 49753 700 1256 0 50024 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 205140
[startup+702.302 s]
################
# More data... #
################
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 108651 0 0 0 103437 2753 0 0 25 0 1 0 185100763 316739584 76063 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 77329 76063 700 1256 0 76068 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 309316
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1531616/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=335456 CPUtime=1121.89
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 113277 0 0 0 109296 2893 0 0 25 0 1 0 185100763 343506944 80684 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 83864 80684 700 1256 0 82603 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 335456
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1514848/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=352296 CPUtime=1181.86
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 117475 0 0 0 115142 3044 0 0 25 0 1 0 185100763 360751104 84880 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 88074 84880 700 1256 0 86813 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 352296
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1498848/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=367692 CPUtime=1241.85
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 121379 0 0 0 120985 3200 0 0 25 0 1 0 185100763 376516608 88784 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 91923 88784 700 1256 0 90662 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 367692
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1483616/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=381892 CPUtime=1301.83
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 126323 0 0 0 126823 3360 0 0 25 0 1 0 185100763 391057408 92576 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 95473 92576 700 1256 0 94212 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 381892
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1468064/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=397196 CPUtime=1361.8
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 130173 0 0 0 132666 3514 0 0 25 0 1 0 185100763 406728704 96426 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 99299 96426 700 1256 0 98038 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 397196
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1454432/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=410656 CPUtime=1421.79
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 133581 0 0 0 138508 3671 0 0 25 0 1 0 185100763 420511744 99830 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 102664 99830 700 1256 0 101403 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 410656
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1440800/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=424360 CPUtime=1481.76
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 136972 0 0 0 144347 3829 0 0 25 0 1 0 185100763 434544640 103221 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 106090 103221 700 1256 0 104829 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 424360
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1424672/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=439916 CPUtime=1541.74
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 140988 0 0 0 150191 3983 0 0 25 0 1 0 185100763 450473984 107237 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 109979 107237 700 1256 0 108718 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 439916
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1410848/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=452744 CPUtime=1601.72
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 144419 0 0 0 156039 4133 0 0 25 0 1 0 185100763 463609856 110668 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 113186 110668 700 1256 0 111925 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 452744
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1404128/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=459312 CPUtime=1661.7
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 148393 0 0 0 161875 4295 0 0 25 0 1 0 185100763 470335488 112318 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 114828 112318 700 1256 0 113567 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 459312
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1390816/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=472724 CPUtime=1721.68
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 151798 0 0 0 167722 4446 0 0 25 0 1 0 185100763 484069376 115723 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 118181 115723 700 1256 0 116920 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 472724
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1379552/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=483296 CPUtime=1781.65
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 154467 0 0 0 173563 4602 0 0 25 0 1 0 185100763 494895104 118392 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 120824 118392 700 1256 0 119563 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 483296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1374368/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=488336 CPUtime=1800.06
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 155761 0 0 0 175357 4649 0 0 25 0 1 0 185100763 500056064 119684 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1773/statm: 122084 119684 700 1256 0 120823 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 488336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -1773
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1780
/proc/meminfo: memFree=1374368/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=488336 CPUtime=1800.75
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 155762 0 0 0 175426 4649 0 0 25 0 1 0 185100763 500056064 119685 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 0 0 0
/proc/1773/statm: 122084 119685 701 1256 0 120823 0
Current children cumulated CPU time (s) 1800.75
Current children cumulated vsize (KiB) 488336
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 1781
/proc/meminfo: memFree=1374360/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=488336 CPUtime=1801.54
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 155762 0 0 0 175505 4649 0 0 25 0 1 0 185100763 500056064 119685 1992294400 4194304 9342243 548682068736 18446744073709551615 5854981 0 0 4096 0 0 0 0 17 1 0 0
/proc/1773/statm: 122084 119685 701 1256 0 120823 0
Current children cumulated CPU time (s) 1801.54
Current children cumulated vsize (KiB) 488336
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 1781
/proc/meminfo: memFree=1374360/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=488336 CPUtime=1801.94
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 155762 0 0 0 175545 4649 0 0 25 0 1 0 185100763 500056064 119685 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0
/proc/1773/statm: 122084 119685 701 1256 0 120823 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 488336
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 1781
/proc/meminfo: memFree=1374360/2055924 swapFree=4179404/4192956
[pid=1773] ppid=1771 vsize=488336 CPUtime=1802.04
/proc/1773/stat : 1773 (pbscip.linux.x8) R 1771 1773 1312 0 -1 4194304 155762 0 0 0 175555 4649 0 0 25 0 1 0 185100763 500056064 119685 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/1773/statm: 122084 119685 701 1256 0 120823 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 488336
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.78
CPU time (s): 1802.13
CPU user time (s): 1755.57
CPU system time (s): 46.5659
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 488336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1755.57
system time used= 46.5659
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155762
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= 2059
runsolver used 1.9887 second user time and 4.22636 second system time
The end