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-1869555-1245178367.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 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, 7 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) 7 del vars, 7 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/165 (61.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 7 deleted vars, 7 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 165 variables (165 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 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.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 28 | 541k| 0 | 7 | 165 | 7 | 7 | 165 | 7 | 0 | 0 | 0 |-1.818989e-12 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 99 | 660k| 0 | 12 | 165 | 7 | 7 | 165 | 16 | 9 | 0 | 0 | 0.000000e+00 | -- | Inf
0.05/0.07 c 0.1s| 1 | 0 | 109 | 727k| 0 | 15 | 165 | 7 | 7 | 165 | 20 | 13 | 0 | 0 | 1.818989e-12 | -- | Inf
0.05/0.09 c 0.1s| 1 | 0 | 111 | 735k| 0 | 16 | 165 | 7 | 7 | 165 | 21 | 14 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 120 | 748k| 0 | 20 | 165 | 7 | 7 | 165 | 23 | 16 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 124 | 754k| 0 | 21 | 165 | 7 | 7 | 165 | 24 | 17 | 0 | 0 | 1.818989e-12 | -- | Inf
0.29/0.34 c 0.3s| 1 | 2 | 124 | 754k| 0 | 21 | 165 | 7 | 7 | 165 | 24 | 17 | 0 | 21 | 1.818989e-12 | -- | Inf
0.79/0.86 o 601
0.79/0.86 c c 0.8s| 159 | 158 | 1731 | 908k| 41 | - | 165 | 7 | 1 | 165 | 22 | 17 | 7 | 527 | 1.818989e-12 | 6.010000e+02 | Inf
0.89/0.96 o 281
0.89/0.96 c f 0.9s| 229 | 222 | 2088 | 932k| 47 | - | 165 | 7 | 4 | 165 | 22 | 17 | 7 | 594 | 1.818989e-12 | 2.810000e+02 | Inf
1.49/1.56 o 193
1.49/1.56 c c 1.5s| 761 | 733 | 5628 |1152k| 47 | - | 165 | 7 | 2 | 165 | 22 | 17 | 11 | 641 | 1.818989e-12 | 1.930000e+02 | Inf
3.19/3.21 o 129
3.19/3.21 c g 3.1s| 1597 | 1508 | 11000 |1487k| 47 | - | 165 | 7 | 4 | 165 | 22 | 17 | 29 | 693 | 1.818989e-12 | 1.290000e+02 | Inf
6.19/6.21 o 127
6.19/6.21 c g 6.0s| 4105 | 3982 | 27051 |2688k| 47 | - | 165 | 7 | 0 | 165 | 22 | 17 | 135 | 759 | 1.818989e-12 | 1.270000e+02 | Inf
7.89/7.90 o 89
7.89/7.90 c g 7.6s| 5441 | 5196 | 35951 |3186k| 47 | - | 165 | 7 | 3 | 165 | 22 | 17 | 200 | 803 | 1.818989e-12 | 8.900000e+01 | Inf
10.99/11.07 o 69
10.99/11.07 c g10.7s| 7257 | 6800 | 51575 |3840k| 47 | - | 165 | 7 | 3 | 165 | 22 | 17 | 327 | 827 | 1.818989e-12 | 6.900000e+01 | Inf
14.29/14.35 c 13.9s| 10000 | 9377 | 69729 |5038k| 47 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 398 | 887 | 1.818989e-12 | 6.900000e+01 | Inf
15.08/15.14 o 68
15.08/15.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.08/15.14 c l14.7s| 10741 | 10067 | 74058 |5362k| 47 | - | 165 | 7 | 0 | 165 | 22 | 17 | 422 | 936 | 1.818989e-12 | 6.800000e+01 | Inf
24.09/24.18 o 66
24.09/24.18 c c23.5s| 19523 | 17979 |125184 |9708k| 47 | - | 165 | 7 | 0 | 165 | 22 | 17 | 664 |1381 | 1.818989e-12 | 6.600000e+01 | Inf
24.89/24.96 c 24.3s| 20000 | 18396 |129137 |9947k| 47 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 700 |1403 | 1.818989e-12 | 6.600000e+01 | Inf
25.68/25.74 o 65
25.68/25.74 c g25.0s| 20749 | 18977 |133539 | 10M| 47 | - | 165 | 7 | 0 | 165 | 22 | 17 | 725 |1441 | 1.818989e-12 | 6.500000e+01 | Inf
31.08/31.19 o 63
31.08/31.19 c *30.3s| 26030 | 22782 |164421 | 12M| 52 | - | 165 | 7 | 0 | 165 | 22 | 17 | 963 |1827 | 1.818989e-12 | 6.300000e+01 | Inf
31.08/31.19 o 61
31.08/31.19 c *30.3s| 26031 | 22714 |164422 | 12M| 52 | - | 165 | 7 | 0 | 165 | 22 | 17 | 963 |1827 | 1.818989e-12 | 6.100000e+01 | Inf
34.97/35.06 c 34.1s| 30000 | 25706 |187101 | 14M| 52 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |1143 |1975 | 1.818989e-12 | 6.100000e+01 | Inf
40.27/40.36 o 59
40.27/40.36 c *39.2s| 35521 | 29891 |218698 | 16M| 52 | - | 165 | 7 | 0 | 165 | 22 | 17 |1362 |2163 | 1.818989e-12 | 5.900000e+01 | Inf
42.67/42.79 o 58
42.67/42.79 c *41.6s| 38128 | 31834 |233160 | 17M| 52 | - | 165 | 7 | 0 | 165 | 22 | 17 |1480 |2255 | 1.818989e-12 | 5.800000e+01 | Inf
42.67/42.79 o 56
42.67/42.79 c *41.6s| 38129 | 31609 |233162 | 17M| 52 | - | 165 | 7 | 0 | 165 | 22 | 17 |1480 |2255 | 1.818989e-12 | 5.600000e+01 | Inf
43.37/43.40 o 54
43.37/43.40 c g42.2s| 38773 | 31863 |236594 | 17M| 52 | - | 165 | 7 | 0 | 165 | 22 | 17 |1504 |2283 | 1.818989e-12 | 5.400000e+01 | Inf
45.47/45.50 o 38
45.47/45.50 c C44.2s| 39373 | 29528 |240293 | 15M| 52 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |1547 |2299 | 1.818989e-12 | 3.800000e+01 | Inf
46.07/46.11 c 44.8s| 40000 | 29875 |243855 | 15M| 52 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |1575 |2329 | 1.818989e-12 | 3.800000e+01 | Inf
55.57/55.61 c 54.0s| 50000 | 36085 |301143 | 20M| 52 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |2036 |2715 | 1.818989e-12 | 3.800000e+01 | Inf
57.27/57.31 o 37
57.27/57.31 c l55.7s| 51827 | 37135 |311591 | 21M| 52 | - | 165 | 7 | 0 | 165 | 22 | 17 |2113 |2776 | 1.818989e-12 | 3.700000e+01 | Inf
66.98/67.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.98/67.01 c 65.1s| 60000 | 41437 |358159 | 24M| 52 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |2548 |3089 | 1.818989e-12 | 3.700000e+01 | Inf
76.26/76.37 c 74.2s| 70000 | 47051 |416348 | 29M| 53 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |3082 |3418 | 1.818989e-12 | 3.700000e+01 | Inf
81.06/81.14 o 35
81.06/81.14 c v78.8s| 75230 | 49330 |445913 | 30M| 53 | - | 165 | 7 | 0 | 165 | 22 | 17 |3378 |3609 | 1.818989e-12 | 3.500000e+01 | Inf
85.56/85.61 c 83.2s| 80000 | 51961 |473694 | 32M| 53 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |3604 |3708 | 1.818989e-12 | 3.500000e+01 | Inf
89.76/89.80 o 34
89.76/89.80 c p87.2s| 84544 | 54082 |499186 | 34M| 53 | - | 165 | 7 | 0 | 165 | 22 | 17 |3867 |3839 | 1.818989e-12 | 3.400000e+01 | Inf
94.56/94.61 c 91.9s| 90000 | 56748 |529072 | 36M| 53 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |4149 |3961 | 1.818989e-12 | 3.400000e+01 | Inf
98.65/98.72 o 32
98.65/98.72 c *95.9s| 94495 | 54349 |554666 | 33M| 53 | - | 165 | 7 | 0 | 165 | 22 | 17 |4377 |4089 | 1.818989e-12 | 3.200000e+01 | Inf
105.65/105.74 c 103s|100000 | 56944 |586629 | 35M| 53 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |4664 |4198 | 1.818989e-12 | 3.200000e+01 | Inf
115.36/115.46 c 112s|110000 | 62929 |648354 | 39M| 53 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |5259 |4372 | 1.818989e-12 | 3.200000e+01 | Inf
124.74/124.81 c 121s|120000 | 68637 |711000 | 42M| 53 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |5822 |4527 | 1.818989e-12 | 3.200000e+01 | Inf
133.34/133.42 c 130s|130000 | 73928 |769669 | 46M| 53 | - | 165 | 7 | 7 | 0 | 0 | 17 |6372 |4695 | 1.818989e-12 | 3.200000e+01 | Inf
141.85/141.94 c 138s|140000 | 78791 |829915 | 49M| 53 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |6866 |4861 | 1.818989e-12 | 3.200000e+01 | Inf
150.04/150.16 c 146s|150000 | 83286 |887748 | 52M| 53 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |7331 |5024 | 1.818989e-12 | 3.200000e+01 | Inf
158.25/158.40 c 154s|160000 | 87568 |946204 | 55M| 53 | - | 165 | 7 | 7 | 165 | 22 | 17 |7866 |5173 | 1.818989e-12 | 3.200000e+01 | Inf
166.74/166.80 c 162s|170000 | 92217 | 1005k| 59M| 53 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |8332 |5311 | 1.818989e-12 | 3.200000e+01 | Inf
175.34/175.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
175.34/175.41 c 170s|180000 | 96898 | 1065k| 62M| 53 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |8837 |5433 | 1.818989e-12 | 3.200000e+01 | Inf
181.73/181.82 o 30
181.73/181.82 c * 176s|187555 | 99565 | 1111k| 63M| 53 | - | 165 | 7 | 0 | 165 | 22 | 17 |9231 |5539 | 1.818989e-12 | 3.000000e+01 | Inf
183.73/183.82 c 178s|190000 |100661 | 1124k| 63M| 53 | - | 165 | 7 | 7 | 165 | 22 | 17 |9347 |5577 | 1.818989e-12 | 3.000000e+01 | Inf
186.53/186.66 o 29
186.53/186.66 c * 181s|193500 |101634 | 1143k| 64M| 53 | - | 165 | 7 | 0 | 165 | 22 | 17 |9515 |5614 | 1.818989e-12 | 2.900000e+01 | Inf
192.03/192.17 c 187s|200000 |104554 | 1180k| 66M| 53 | 7 | 165 | 7 | 7 | 165 | 22 | 17 |9788 |5698 | 1.818989e-12 | 2.900000e+01 | Inf
200.23/200.33 c 194s|210000 |108722 | 1236k| 68M| 53 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 10k|5829 | 1.818989e-12 | 2.900000e+01 | Inf
202.83/202.93 o 28
202.83/202.93 c v 197s|213227 |109363 | 1254k| 68M| 53 | - | 165 | 7 | 0 | 165 | 22 | 17 | 10k|5863 | 1.818989e-12 | 2.800000e+01 | Inf
210.62/210.76 c 204s|220000 |112057 | 1290k| 70M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 10k|5946 | 1.818989e-12 | 2.800000e+01 | Inf
218.52/218.64 c 212s|230000 |115839 | 1344k| 73M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 11k|6078 | 1.818989e-12 | 2.800000e+01 | Inf
226.22/226.34 o 26
226.22/226.34 c * 220s|238908 |117923 | 1396k| 73M| 55 | - | 165 | 7 | 0 | 165 | 22 | 17 | 11k|6172 | 1.818989e-12 | 2.600000e+01 | Inf
227.22/227.33 c 221s|240000 |118476 | 1402k| 73M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 11k|6185 | 1.818989e-12 | 2.600000e+01 | Inf
237.92/238.00 c 231s|250000 |122413 | 1458k| 76M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 11k|6294 | 1.818989e-12 | 2.600000e+01 | Inf
246.52/246.61 c 239s|260000 |126882 | 1516k| 79M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 12k|6404 | 1.818989e-12 | 2.600000e+01 | Inf
252.81/252.92 o 25
252.81/252.92 c * 245s|267984 |128845 | 1559k| 79M| 55 | - | 165 | 7 | 0 | 165 | 22 | 17 | 12k|6513 | 1.818989e-12 | 2.500000e+01 | Inf
255.72/255.88 c 248s|270000 |129553 | 1570k| 80M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 12k|6534 | 1.818989e-12 | 2.500000e+01 | Inf
263.51/263.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
263.51/263.60 c 256s|280000 |133119 | 1624k| 82M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 13k|6643 | 1.818989e-12 | 2.500000e+01 | Inf
267.71/267.85 o 24
267.71/267.85 c * 260s|285415 |133799 | 1654k| 82M| 55 | - | 165 | 7 | 0 | 165 | 22 | 17 | 13k|6715 | 1.818989e-12 | 2.400000e+01 | Inf
267.71/267.87 o 22
267.71/267.87 c * 260s|285419 |131072 | 1654k| 79M| 55 | - | 165 | 7 | 0 | 165 | 22 | 17 | 13k|6717 | 1.818989e-12 | 2.200000e+01 | Inf
267.71/267.89 o 20
267.71/267.89 c * 260s|285424 |127793 | 1654k| 76M| 55 | - | 165 | 7 | 0 | 165 | 22 | 17 | 13k|6720 | 1.818989e-12 | 2.000000e+01 | Inf
273.21/273.39 c 265s|290000 |129000 | 1680k| 76M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 13k|6772 | 1.818989e-12 | 2.000000e+01 | Inf
280.71/280.85 c 272s|300000 |131868 | 1735k| 79M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 13k|6902 | 1.818989e-12 | 2.000000e+01 | Inf
288.20/288.35 c 280s|310000 |134843 | 1790k| 81M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 14k|7034 | 1.818989e-12 | 2.000000e+01 | Inf
295.50/295.64 c 287s|320000 |137161 | 1845k| 83M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 14k|7167 | 1.818989e-12 | 2.000000e+01 | Inf
302.70/302.84 c 294s|330000 |139636 | 1900k| 85M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 14k|7285 | 1.818989e-12 | 2.000000e+01 | Inf
305.20/305.34 o 19
305.20/305.34 c * 296s|333578 |138576 | 1919k| 83M| 55 | - | 165 | 7 | 0 | 165 | 22 | 17 | 14k|7336 | 1.818989e-12 | 1.900000e+01 | Inf
310.00/310.14 c 301s|340000 |140242 | 1954k| 84M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 15k|7404 | 1.818989e-12 | 1.900000e+01 | Inf
317.40/317.53 c 308s|350000 |142820 | 2010k| 86M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 15k|7538 | 1.818989e-12 | 1.900000e+01 | Inf
324.59/324.74 c 315s|360000 |145236 | 2063k| 88M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 15k|7654 | 1.818989e-12 | 1.900000e+01 | Inf
331.69/331.85 c 322s|370000 |147251 | 2119k| 90M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 16k|7808 | 1.818989e-12 | 1.900000e+01 | Inf
338.99/339.10 c 329s|380000 |149551 | 2175k| 91M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 16k|7927 | 1.818989e-12 | 1.900000e+01 | Inf
342.99/343.12 o 18
342.99/343.12 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.99/343.12 c * 333s|385444 |148901 | 2206k| 90M| 55 | - | 165 | 7 | 0 | 165 | 22 | 17 | 16k|8001 | 1.818989e-12 | 1.800000e+01 | Inf
349.39/349.54 c 339s|390000 |150382 | 2232k| 91M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 16k|8058 | 1.818989e-12 | 1.800000e+01 | Inf
356.48/356.61 c 346s|400000 |152666 | 2285k| 93M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 16k|8176 | 1.818989e-12 | 1.800000e+01 | Inf
363.48/363.65 c 353s|410000 |154787 | 2337k| 95M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 17k|8300 | 1.818989e-12 | 1.800000e+01 | Inf
370.49/370.68 c 360s|420000 |157051 | 2390k| 96M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 17k|8390 | 1.818989e-12 | 1.800000e+01 | Inf
377.48/377.64 c 366s|430000 |158830 | 2441k| 98M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 17k|8514 | 1.818989e-12 | 1.800000e+01 | Inf
384.28/384.40 c 373s|440000 |160276 | 2492k| 99M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 18k|8628 | 1.818989e-12 | 1.800000e+01 | Inf
391.28/391.44 c 380s|450000 |162452 | 2543k| 101M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 18k|8747 | 1.818989e-12 | 1.800000e+01 | Inf
398.27/398.42 c 386s|460000 |164117 | 2595k| 102M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 18k|8852 | 1.818989e-12 | 1.800000e+01 | Inf
405.07/405.24 c 393s|470000 |165632 | 2648k| 104M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 18k|8973 | 1.818989e-12 | 1.800000e+01 | Inf
411.97/412.14 c 400s|480000 |166958 | 2701k| 105M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 19k|9067 | 1.818989e-12 | 1.800000e+01 | Inf
419.07/419.22 c 407s|490000 |168572 | 2755k| 106M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 19k|9164 | 1.818989e-12 | 1.800000e+01 | Inf
425.96/426.15 c 413s|500000 |170700 | 2807k| 108M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 19k|9258 | 1.818989e-12 | 1.800000e+01 | Inf
433.06/433.26 c 420s|510000 |172745 | 2861k| 110M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 19k|9374 | 1.818989e-12 | 1.800000e+01 | Inf
440.16/440.34 c 427s|520000 |174594 | 2915k| 111M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 20k|9467 | 1.818989e-12 | 1.800000e+01 | Inf
447.06/447.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.06/447.28 c 434s|530000 |176262 | 2967k| 112M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 20k|9582 | 1.818989e-12 | 1.800000e+01 | Inf
453.96/454.17 c 441s|540000 |177888 | 3020k| 114M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 20k|9695 | 1.818989e-12 | 1.800000e+01 | Inf
460.86/461.07 c 447s|550000 |179338 | 3073k| 115M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 21k|9804 | 1.818989e-12 | 1.800000e+01 | Inf
467.95/468.15 c 454s|560000 |181324 | 3127k| 117M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 21k|9911 | 1.818989e-12 | 1.800000e+01 | Inf
475.05/475.25 c 461s|570000 |183245 | 3180k| 118M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 21k|9998 | 1.818989e-12 | 1.800000e+01 | Inf
482.04/482.22 c 468s|580000 |184732 | 3232k| 120M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 22k| 10k| 1.818989e-12 | 1.800000e+01 | Inf
489.05/489.28 c 475s|590000 |186777 | 3285k| 122M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 22k| 10k| 1.818989e-12 | 1.800000e+01 | Inf
496.24/496.45 c 482s|600000 |188671 | 3340k| 123M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 22k| 10k| 1.818989e-12 | 1.800000e+01 | Inf
503.54/503.71 c 489s|610000 |190938 | 3395k| 125M| 55 | - | 165 | 7 | 6 | 0 | 0 | 17 | 22k| 10k| 1.818989e-12 | 1.800000e+01 | Inf
510.74/510.97 c 496s|620000 |193320 | 3449k| 127M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 23k| 10k| 1.818989e-12 | 1.800000e+01 | Inf
517.94/518.12 c 503s|630000 |195554 | 3502k| 128M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 23k| 10k| 1.818989e-12 | 1.800000e+01 | Inf
524.83/525.02 c 509s|640000 |197102 | 3555k| 130M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 23k| 10k| 1.818989e-12 | 1.800000e+01 | Inf
531.93/532.17 c 516s|650000 |198799 | 3610k| 131M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 24k| 10k| 1.818989e-12 | 1.800000e+01 | Inf
538.94/539.11 c 523s|660000 |200390 | 3663k| 133M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 24k| 10k| 1.818989e-12 | 1.800000e+01 | Inf
545.83/546.07 c 530s|670000 |201796 | 3717k| 134M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 24k| 10k| 1.818989e-12 | 1.800000e+01 | Inf
552.92/553.17 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
552.92/553.17 c 537s|680000 |203583 | 3770k| 135M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 25k| 11k| 1.818989e-12 | 1.800000e+01 | Inf
559.93/560.13 c 543s|690000 |205141 | 3824k| 137M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 25k| 11k| 1.818989e-12 | 1.800000e+01 | Inf
566.82/567.04 c 550s|700000 |206554 | 3877k| 138M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 25k| 11k| 1.818989e-12 | 1.800000e+01 | Inf
573.82/574.01 c 557s|710000 |207690 | 3931k| 139M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 25k| 11k| 1.818989e-12 | 1.800000e+01 | Inf
580.62/580.89 c 564s|720000 |208627 | 3985k| 140M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 26k| 11k| 1.818989e-12 | 1.800000e+01 | Inf
587.72/587.90 c 570s|730000 |210255 | 4040k| 142M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 26k| 11k| 1.818989e-12 | 1.800000e+01 | Inf
594.72/594.97 c 577s|740000 |211566 | 4096k| 143M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 26k| 11k| 1.818989e-12 | 1.800000e+01 | Inf
601.71/601.91 c 584s|750000 |213431 | 4148k| 145M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 26k| 11k| 1.818989e-12 | 1.800000e+01 | Inf
608.61/608.83 c 591s|760000 |215107 | 4201k| 146M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 27k| 11k| 1.818989e-12 | 1.800000e+01 | Inf
615.51/615.77 c 597s|770000 |216242 | 4254k| 147M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 27k| 11k| 1.818989e-12 | 1.800000e+01 | Inf
622.31/622.56 c 604s|780000 |217542 | 4307k| 149M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 27k| 11k| 1.818989e-12 | 1.800000e+01 | Inf
629.21/629.41 c 611s|790000 |218735 | 4360k| 150M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 27k| 12k| 1.818989e-12 | 1.800000e+01 | Inf
636.71/636.94 c 618s|800000 |221501 | 4415k| 152M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 28k| 12k| 1.818989e-12 | 1.800000e+01 | Inf
644.10/644.30 c 625s|810000 |224354 | 4469k| 154M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 28k| 12k| 1.818989e-12 | 1.800000e+01 | Inf
651.70/651.98 c 633s|820000 |227293 | 4525k| 156M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 28k| 12k| 1.818989e-12 | 1.800000e+01 | Inf
654.10/654.34 o 17
654.10/654.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
654.10/654.34 c * 635s|823138 |225871 | 4542k| 153M| 55 | - | 165 | 7 | 0 | 165 | 22 | 17 | 28k| 12k| 1.818989e-12 | 1.700000e+01 | Inf
654.10/654.39 o 15
654.10/654.39 c * 635s|823139 |213007 | 4542k| 142M| 55 | - | 165 | 7 | 0 | 165 | 22 | 17 | 28k| 12k| 1.818989e-12 | 1.500000e+01 | Inf
658.90/659.19 c 640s|830000 |214480 | 4579k| 143M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 28k| 12k| 1.818989e-12 | 1.500000e+01 | Inf
665.79/666.06 c 646s|840000 |216321 | 4635k| 145M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 29k| 12k| 1.818989e-12 | 1.500000e+01 | Inf
672.89/673.10 c 653s|850000 |217896 | 4694k| 146M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 29k| 12k| 1.818989e-12 | 1.500000e+01 | Inf
679.99/680.23 c 660s|860000 |219937 | 4752k| 147M| 55 | - | 165 | 7 | 6 | 0 | 0 | 17 | 29k| 12k| 1.818989e-12 | 1.500000e+01 | Inf
686.89/687.16 c 667s|870000 |221555 | 4808k| 148M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 29k| 12k| 1.818989e-12 | 1.500000e+01 | Inf
693.69/694.00 c 673s|880000 |223022 | 4863k| 149M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 30k| 13k| 1.818989e-12 | 1.500000e+01 | Inf
700.68/700.94 c 680s|890000 |224442 | 4919k| 150M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 30k| 13k| 1.818989e-12 | 1.500000e+01 | Inf
707.48/707.72 c 687s|900000 |226024 | 4973k| 152M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 30k| 13k| 1.818989e-12 | 1.500000e+01 | Inf
714.48/714.76 c 694s|910000 |227595 | 5031k| 153M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 30k| 13k| 1.818989e-12 | 1.500000e+01 | Inf
721.48/721.74 c 700s|920000 |229451 | 5088k| 154M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 30k| 13k| 1.818989e-12 | 1.500000e+01 | Inf
728.48/728.70 c 707s|930000 |231128 | 5144k| 155M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 31k| 13k| 1.818989e-12 | 1.500000e+01 | Inf
735.37/735.62 c 714s|940000 |232585 | 5200k| 156M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 31k| 13k| 1.818989e-12 | 1.500000e+01 | Inf
742.18/742.46 c 720s|950000 |233764 | 5255k| 157M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 31k| 13k| 1.818989e-12 | 1.500000e+01 | Inf
749.17/749.45 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
749.17/749.45 c 727s|960000 |235758 | 5311k| 159M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 31k| 13k| 1.818989e-12 | 1.500000e+01 | Inf
756.27/756.54 c 734s|970000 |237792 | 5366k| 160M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 32k| 13k| 1.818989e-12 | 1.500000e+01 | Inf
763.37/763.63 c 741s|980000 |239896 | 5422k| 161M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 32k| 13k| 1.818989e-12 | 1.500000e+01 | Inf
770.26/770.52 c 748s|990000 |241922 | 5475k| 163M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 32k| 14k| 1.818989e-12 | 1.500000e+01 | Inf
777.16/777.41 c 754s| 1000k|243253 | 5533k| 164M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 33k| 14k| 1.818989e-12 | 1.500000e+01 | Inf
784.46/784.71 c 761s| 1010k|245814 | 5591k| 165M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 33k| 14k| 1.818989e-12 | 1.500000e+01 | Inf
791.46/791.78 c 768s| 1020k|248179 | 5648k| 167M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 33k| 14k| 1.818989e-12 | 1.500000e+01 | Inf
798.45/798.76 c 775s| 1030k|249981 | 5705k| 168M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 33k| 14k| 1.818989e-12 | 1.500000e+01 | Inf
805.56/805.82 c 782s| 1040k|252022 | 5763k| 169M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 34k| 14k| 1.818989e-12 | 1.500000e+01 | Inf
812.66/812.96 c 789s| 1050k|254506 | 5820k| 171M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 34k| 14k| 1.818989e-12 | 1.500000e+01 | Inf
819.75/820.05 c 796s| 1060k|256376 | 5876k| 172M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 34k| 14k| 1.818989e-12 | 1.500000e+01 | Inf
828.15/828.44 c 804s| 1070k|260219 | 5933k| 174M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 35k| 14k| 1.818989e-12 | 1.500000e+01 | Inf
836.15/836.46 c 812s| 1080k|264349 | 5989k| 176M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 35k| 14k| 1.818989e-12 | 1.500000e+01 | Inf
843.75/844.02 c 819s| 1090k|268062 | 6043k| 178M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 35k| 14k| 1.818989e-12 | 1.500000e+01 | Inf
852.54/852.81 c 827s| 1100k|273061 | 6101k| 181M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 36k| 14k| 1.818989e-12 | 1.500000e+01 | Inf
854.45/854.72 o 13
854.45/854.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
854.45/854.72 c * 829s| 1102k|268507 | 6113k| 173M| 55 | - | 165 | 7 | 0 | 165 | 22 | 17 | 36k| 14k| 1.818989e-12 | 1.300000e+01 | Inf
863.34/863.61 c 838s| 1110k|272173 | 6157k| 175M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 36k| 14k| 1.818989e-12 | 1.300000e+01 | Inf
870.84/871.12 c 845s| 1120k|275955 | 6211k| 177M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 36k| 14k| 1.818989e-12 | 1.300000e+01 | Inf
878.64/878.98 c 853s| 1130k|279997 | 6267k| 179M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 37k| 14k| 1.818989e-12 | 1.300000e+01 | Inf
886.13/886.47 c 860s| 1140k|283489 | 6323k| 181M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 37k| 14k| 1.818989e-12 | 1.300000e+01 | Inf
893.63/893.90 c 867s| 1150k|286892 | 6379k| 183M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 37k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
900.73/901.08 c 874s| 1160k|289921 | 6434k| 185M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 37k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
907.83/908.10 c 881s| 1170k|292778 | 6487k| 186M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 38k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
914.72/915.09 c 888s| 1180k|295517 | 6539k| 188M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 38k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
921.82/922.11 c 895s| 1190k|298207 | 6593k| 190M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 38k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
928.72/929.04 c 902s| 1200k|300690 | 6646k| 191M| 55 | - | 165 | 7 | 8 | 0 | 0 | 17 | 39k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
935.72/936.07 c 908s| 1210k|303207 | 6699k| 193M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 39k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
942.71/943.10 c 915s| 1220k|305697 | 6754k| 194M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 39k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
949.72/950.04 c 922s| 1230k|307966 | 6810k| 196M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 39k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
956.72/957.05 c 929s| 1240k|310421 | 6866k| 197M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 40k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
963.51/963.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.51/963.82 c 935s| 1250k|312525 | 6921k| 199M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 40k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
970.51/970.88 c 942s| 1260k|314863 | 6977k| 200M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 40k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
977.41/977.72 c 949s| 1270k|316819 | 7032k| 201M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 41k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
984.50/984.82 c 956s| 1280k|319653 | 7085k| 203M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 41k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
991.30/991.69 c 962s| 1290k|321791 | 7141k| 204M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 41k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
998.20/998.54 c 969s| 1300k|323973 | 7195k| 206M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 41k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
1005.40/1005.73 c 976s| 1310k|326890 | 7253k| 207M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 42k| 15k| 1.818989e-12 | 1.300000e+01 | Inf
1012.50/1012.85 c 983s| 1320k|329532 | 7310k| 209M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 42k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1019.40/1019.71 c 989s| 1330k|331601 | 7367k| 211M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 42k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1026.10/1026.44 c 996s| 1340k|333391 | 7424k| 212M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 43k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1033.08/1033.41 c 1003s| 1350k|335277 | 7480k| 213M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 43k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1039.99/1040.30 c 1009s| 1360k|337952 | 7535k| 215M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 43k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1046.58/1046.99 c 1016s| 1370k|340053 | 7587k| 216M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 44k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1053.28/1053.63 c 1022s| 1380k|341678 | 7638k| 217M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 44k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1059.98/1060.38 c 1029s| 1390k|343696 | 7690k| 219M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 44k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1067.38/1067.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1067.38/1067.76 c 1036s| 1400k|346792 | 7744k| 220M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 45k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1074.28/1074.60 c 1043s| 1410k|349355 | 7796k| 222M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 45k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1080.98/1081.35 c 1049s| 1420k|351596 | 7848k| 223M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 45k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1087.67/1088.05 c 1056s| 1430k|353439 | 7901k| 224M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 45k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1094.38/1094.77 c 1062s| 1440k|355166 | 7954k| 226M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 46k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1101.07/1101.45 c 1069s| 1450k|356935 | 8006k| 227M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 46k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1107.66/1108.08 c 1075s| 1460k|358591 | 8060k| 228M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 46k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1114.46/1114.80 c 1082s| 1470k|360399 | 8112k| 229M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 47k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1121.16/1121.55 c 1088s| 1480k|361948 | 8165k| 230M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 47k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1127.97/1128.38 c 1095s| 1490k|363927 | 8218k| 232M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 47k| 16k| 1.818989e-12 | 1.300000e+01 | Inf
1134.76/1135.15 c 1101s| 1500k|365396 | 8271k| 233M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 48k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1141.36/1141.77 c 1108s| 1510k|366728 | 8324k| 234M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 48k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1148.07/1148.47 c 1114s| 1520k|368021 | 8377k| 235M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 48k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1154.96/1155.31 c 1121s| 1530k|369567 | 8431k| 236M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 48k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1161.75/1162.14 c 1128s| 1540k|371122 | 8485k| 237M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 49k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1168.65/1169.01 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.65/1169.01 c 1134s| 1550k|372809 | 8540k| 238M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 49k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1175.64/1176.01 c 1141s| 1560k|374598 | 8596k| 240M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 49k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1182.45/1182.86 c 1148s| 1570k|376428 | 8649k| 241M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 50k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1189.24/1189.63 c 1154s| 1580k|377941 | 8703k| 242M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 50k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1195.95/1196.35 c 1161s| 1590k|379141 | 8757k| 243M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 50k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1202.64/1203.08 c 1167s| 1600k|380084 | 8812k| 244M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 50k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1209.54/1209.92 c 1174s| 1610k|381560 | 8867k| 245M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 51k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1216.34/1216.71 c 1181s| 1620k|382797 | 8921k| 246M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 51k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1223.03/1223.40 c 1187s| 1630k|384387 | 8975k| 247M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 51k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1229.63/1230.04 c 1194s| 1640k|385423 | 9028k| 248M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 52k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1236.33/1236.76 c 1200s| 1650k|386626 | 9081k| 249M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 52k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1243.03/1243.44 c 1206s| 1660k|387452 | 9135k| 249M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 52k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1249.73/1250.18 c 1213s| 1670k|388911 | 9189k| 250M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 53k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1256.63/1257.02 c 1220s| 1680k|390547 | 9241k| 252M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 53k| 17k| 1.818989e-12 | 1.300000e+01 | Inf
1263.43/1263.81 c 1226s| 1690k|392075 | 9296k| 253M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 53k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1270.42/1270.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.42/1270.86 c 1233s| 1700k|394390 | 9352k| 254M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 54k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1277.51/1277.99 c 1240s| 1710k|397206 | 9407k| 256M| 55 | 6 | 165 | 7 | 7 | 165 | 22 | 17 | 54k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1284.32/1284.73 c 1246s| 1720k|399128 | 9461k| 257M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 54k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1291.91/1292.37 c 1254s| 1730k|402638 | 9518k| 259M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 54k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1299.21/1299.60 c 1261s| 1740k|405342 | 9573k| 261M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 55k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1306.41/1306.83 c 1268s| 1750k|408195 | 9628k| 262M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 55k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1313.90/1314.39 c 1275s| 1760k|411469 | 9683k| 264M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 55k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1321.31/1321.73 c 1282s| 1770k|414485 | 9738k| 266M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 56k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1328.41/1328.80 c 1289s| 1780k|417072 | 9791k| 268M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 56k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1336.10/1336.53 c 1297s| 1790k|421012 | 9847k| 270M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 56k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1343.40/1343.83 c 1304s| 1800k|424610 | 9902k| 272M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 57k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1350.90/1351.39 c 1311s| 1810k|428110 | 9959k| 274M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 57k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1358.29/1358.76 c 1318s| 1820k|431280 | 10014k| 275M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 57k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1365.99/1366.40 c 1326s| 1830k|434918 | 10071k| 277M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 58k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1374.19/1374.67 c 1334s| 1840k|439248 | 10130k| 280M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 58k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1381.79/1382.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1381.79/1382.25 c 1341s| 1850k|442694 | 10186k| 281M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 58k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1388.98/1389.41 c 1348s| 1860k|445886 | 10238k| 283M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 58k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1396.38/1396.87 c 1356s| 1870k|449375 | 10291k| 285M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 59k| 18k| 1.818989e-12 | 1.300000e+01 | Inf
1403.37/1403.88 c 1362s| 1880k|452051 | 10343k| 287M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 59k| 19k| 1.818989e-12 | 1.300000e+01 | Inf
1410.38/1410.85 c 1369s| 1890k|454769 | 10395k| 288M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 59k| 19k| 1.818989e-12 | 1.300000e+01 | Inf
1418.07/1418.50 c 1377s| 1900k|458191 | 10450k| 290M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 60k| 19k| 1.818989e-12 | 1.300000e+01 | Inf
1418.47/1418.99 o 11
1418.47/1418.99 c *1377s| 1900k|448895 | 10453k| 276M| 55 | - | 165 | 7 | 0 | 165 | 22 | 17 | 60k| 19k| 1.818989e-12 | 1.100000e+01 | Inf
1418.57/1419.07 o 9
1418.57/1419.07 c *1377s| 1900k|435552 | 10453k| 258M| 55 | - | 165 | 7 | 0 | 165 | 22 | 17 | 60k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1425.27/1425.73 c 1384s| 1910k|438070 | 10502k| 259M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 60k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1432.17/1432.66 c 1390s| 1920k|440439 | 10553k| 261M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 60k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1439.06/1439.54 c 1397s| 1930k|442712 | 10604k| 262M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 60k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1445.77/1446.27 c 1404s| 1940k|444732 | 10654k| 263M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 61k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1452.57/1453.00 c 1410s| 1950k|446723 | 10704k| 265M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 61k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1459.57/1460.01 c 1417s| 1960k|449463 | 10755k| 266M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 61k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1466.46/1466.92 c 1424s| 1970k|452064 | 10806k| 268M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 61k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1473.06/1473.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1473.06/1473.57 c 1430s| 1980k|453800 | 10855k| 269M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 62k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1479.85/1480.33 c 1437s| 1990k|455754 | 10904k| 270M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 62k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1486.45/1486.99 c 1443s| 2000k|457975 | 10953k| 271M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 62k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1493.15/1493.67 c 1450s| 2010k|459697 | 11002k| 272M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 62k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1499.86/1500.36 c 1456s| 2020k|461664 | 11052k| 273M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 63k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1506.65/1507.12 c 1463s| 2030k|463708 | 11105k| 275M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 63k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1513.55/1514.05 c 1469s| 2040k|465802 | 11158k| 276M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 63k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1520.34/1520.83 c 1476s| 2050k|467785 | 11210k| 277M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 64k| 19k| 1.818989e-12 | 9.000000e+00 | Inf
1527.04/1527.55 c 1482s| 2060k|469493 | 11262k| 278M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 64k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1533.83/1534.31 c 1489s| 2070k|471265 | 11315k| 280M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 64k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1540.54/1541.02 c 1496s| 2080k|473173 | 11368k| 281M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 64k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1547.03/1547.54 c 1502s| 2090k|474855 | 11417k| 282M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 65k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1553.84/1554.39 c 1509s| 2100k|476695 | 11469k| 283M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 65k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1560.73/1561.20 c 1515s| 2110k|478423 | 11521k| 284M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 65k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1567.33/1567.86 c 1522s| 2120k|479812 | 11573k| 285M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 65k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1574.03/1574.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.03/1574.51 c 1528s| 2130k|480915 | 11625k| 286M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 66k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1580.63/1581.16 c 1535s| 2140k|482266 | 11675k| 287M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 66k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1587.42/1587.93 c 1541s| 2150k|483861 | 11726k| 288M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 66k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1594.12/1594.61 c 1548s| 2160k|485507 | 11777k| 289M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 66k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1600.61/1601.18 c 1554s| 2170k|486640 | 11827k| 290M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 67k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1607.42/1607.96 c 1561s| 2180k|488869 | 11877k| 291M| 55 | - | 165 | 7 | 6 | 165 | 22 | 17 | 67k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1614.41/1614.90 c 1567s| 2190k|491275 | 11927k| 293M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 67k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1621.12/1621.67 c 1574s| 2200k|493457 | 11979k| 294M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 68k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1627.92/1628.40 c 1580s| 2210k|495482 | 12029k| 295M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 68k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1634.71/1635.28 c 1587s| 2220k|497321 | 12081k| 297M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 68k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1641.71/1642.25 c 1594s| 2230k|499708 | 12133k| 298M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 68k| 20k| 1.818989e-12 | 9.000000e+00 | Inf
1648.31/1648.85 c 1600s| 2240k|501666 | 12182k| 299M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 69k| 21k| 1.818989e-12 | 9.000000e+00 | Inf
1655.10/1655.60 c 1607s| 2250k|503614 | 12233k| 300M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 69k| 21k| 1.818989e-12 | 9.000000e+00 | Inf
1661.91/1662.42 c 1613s| 2260k|505343 | 12284k| 301M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 69k| 21k| 1.818989e-12 | 9.000000e+00 | Inf
1668.80/1669.33 c 1620s| 2270k|507995 | 12335k| 303M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 69k| 21k| 1.818989e-12 | 9.000000e+00 | Inf
1675.60/1676.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1675.60/1676.14 c 1627s| 2280k|510147 | 12387k| 304M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 70k| 21k| 1.818989e-12 | 9.000000e+00 | Inf
1682.50/1683.05 c 1633s| 2290k|512664 | 12438k| 306M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 70k| 21k| 1.818989e-12 | 9.000000e+00 | Inf
1689.90/1690.43 c 1641s| 2300k|515944 | 12496k| 307M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 70k| 21k| 1.818989e-12 | 9.000000e+00 | Inf
1697.09/1697.61 c 1648s| 2310k|518493 | 12554k| 309M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 70k| 21k| 1.818989e-12 | 9.000000e+00 | Inf
1704.49/1705.08 c 1655s| 2320k|522031 | 12613k| 311M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 71k| 21k| 1.818989e-12 | 9.000000e+00 | Inf
1711.88/1712.41 c 1662s| 2330k|524870 | 12671k| 312M| 55 | - | 165 | 7 | 8 | 165 | 22 | 17 | 71k| 21k| 1.818989e-12 | 9.000000e+00 | Inf
1718.98/1719.57 c 1669s| 2340k|527333 | 12730k| 313M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 71k| 21k| 1.818989e-12 | 9.000000e+00 | Inf
1725.69/1726.29 c 1676s| 2350k|529358 | 12785k| 315M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 71k| 21k| 1.818989e-12 | 9.000000e+00 | Inf
1732.38/1732.96 c 1682s| 2360k|531610 | 12834k| 316M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 72k| 21k| 1.818989e-12 | 9.000000e+00 | Inf
1738.98/1739.53 c 1688s| 2370k|533658 | 12881k| 317M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 72k| 21k| 1.818989e-12 | 9.000000e+00 | Inf
1745.48/1746.01 c 1695s| 2380k|535525 | 12928k| 318M| 55 | - | 165 | 7 | 6 | 165 | 22 | 17 | 72k| 21k| 1.818989e-12 | 9.000000e+00 | Inf
1752.07/1752.65 c 1701s| 2390k|537708 | 12976k| 320M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 73k| 22k| 1.818989e-12 | 9.000000e+00 | Inf
1758.67/1759.29 c 1708s| 2400k|539485 | 13023k| 321M| 55 | - | 165 | 7 | 7 | 165 | 22 | 17 | 73k| 22k| 1.818989e-12 | 9.000000e+00 | Inf
1765.18/1765.72 c 1714s| 2410k|541583 | 13069k| 322M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 73k| 22k| 1.818989e-12 | 9.000000e+00 | Inf
1771.57/1772.17 c 1720s| 2420k|543283 | 13118k| 323M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 73k| 22k| 1.818989e-12 | 9.000000e+00 | Inf
1778.27/1778.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.27/1778.81 c 1726s| 2430k|545139 | 13167k| 324M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 74k| 22k| 1.818989e-12 | 9.000000e+00 | Inf
1784.77/1785.39 c 1733s| 2440k|546797 | 13218k| 325M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 74k| 22k| 1.818989e-12 | 9.000000e+00 | Inf
1791.37/1791.91 c 1739s| 2450k|548105 | 13269k| 326M| 55 | - | 165 | 7 | 7 | 0 | 0 | 17 | 74k| 22k| 1.818989e-12 | 9.000000e+00 | Inf
1797.97/1798.54 c 1746s| 2460k|549990 | 13320k| 327M| 55 | 7 | 165 | 7 | 7 | 165 | 22 | 17 | 75k| 22k| 1.818989e-12 | 9.000000e+00 | Inf
1800.07/1800.60 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1747.62
1800.07/1800.61 c Solving Nodes : 2463147
1800.07/1800.61 c Primal Bound : +9.00000000000000e+00 (37 solutions)
1800.07/1800.61 c Dual Bound : +1.81898940354586e-12
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c NODE 2463147
1800.07/1800.61 c DUAL BOUND 1.81899e-12
1800.07/1800.61 c PRIMAL BOUND 9
1800.07/1800.61 c GAP 1e+20
1800.07/1800.61 s SATISFIABLE
1800.07/1800.61 v x172 x171 x170 x169 -x168 -x167 x166 -x165 x164 -x163 x162 x161 x160 -x159 x158 -x157 -x156 x155 -x154 -x153 x152 x151 -x150 -x149
1800.07/1800.61 v -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 x138 x137 x136 x135 -x134 -x133 x132 x131 -x130 x129 x128 x127
1800.07/1800.61 v -x126 x125 -x124 x123 -x122 x121 x120 -x119 x118 x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104
1800.07/1800.61 v -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
1800.07/1800.61 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.07/1800.61 v -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
1800.07/1800.61 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3
1800.07/1800.61 v -x2 -x1
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1747.62
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-1869555-1245178367.opb
1800.07/1800.61 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 14 initial, 14 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-1869555-1245178367.opb
1800.07/1800.61 c Variables : 165 (165 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 7 initial, 7 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.00 0 7 0 0 0 7 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 56 - - 56 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 1553854 0 130 5758 0 0 3096088
1800.07/1800.61 c linear : 7 6 3747114 0 0 303517 1971666 7 0 0
1800.07/1800.61 c logicor : 0+ 0 28715 0 0 2820 21532 0 0 0
1800.07/1800.61 c countsols : 0 0 0 20 0 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 25.58 0.00 0.00 25.58 0.00
1800.07/1800.61 c linear : 289.09 0.00 289.09 0.00 0.00
1800.07/1800.61 c logicor : 0.22 0.00 0.22 0.00 0.00
1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c rootredcost : 1.46 36 0 56
1800.07/1800.61 c pseudoobj : 33.66 3758185 11225 32762
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 23.15 315416 75131 85490 59.5 1 60.0 -
1800.07/1800.61 c infeasible LP : 5.07 673812 1 1 57.0 0 0.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.61 c applied globally : - - - 0 0.0 - - -
1800.07/1800.61 c applied locally : - - - 75132 59.4 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 5 - - 0 - (maximal pool size: 54)
1800.07/1800.61 c redcost : 41.72 2107192 0 11925600 0 0
1800.07/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.00 6 0 0 0 0
1800.07/1800.61 c strongcg : 0.01 6 0 0 18 0
1800.07/1800.61 c cmir : 0.04 6 0 0 13 0
1800.07/1800.61 c flowcover : 0.06 6 0 0 23 0
1800.07/1800.61 c clique : 0.00 1 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 1 0 0 0 0
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 23.53 1553834 130 5758 0 0 3096088
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.35 - 20
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c oneopt : 1.09 36 0
1800.07/1800.61 c feaspump : 0.19 2 0
1800.07/1800.61 c crossover : 21.17 13 1
1800.07/1800.61 c rootsoldiving : 8.27 1113 0
1800.07/1800.61 c linesearchdiving : 22.91 5629 2
1800.07/1800.61 c fracdiving : 30.11 5629 1
1800.07/1800.61 c veclendiving : 24.81 5629 2
1800.07/1800.61 c guideddiving : 24.91 5629 6
1800.07/1800.61 c pscostdiving : 29.52 5629 1
1800.07/1800.61 c coefdiving : 41.10 5629 3
1800.07/1800.61 c objpscostdiving : 13.84 2815 1
1800.07/1800.61 c simplerounding : 0.99 0 0
1800.07/1800.61 c rounding : 2.02 18277 0
1800.07/1800.61 c shifting : 6.74 5916 0
1800.07/1800.61 c intshifting : 0.10 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.13 1 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 949.12 2305642 12136243 5.26 12786.84
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 139.47 481472 1200283 2.49 8606.03
1800.07/1800.61 c strong branching : 7.21 22423 90188 4.02 12508.74
1800.07/1800.61 c (at root node) : - 21 952 45.33 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 2463147
1800.07/1800.61 c nodes (total) : 2463147
1800.07/1800.61 c nodes left : 550499
1800.07/1800.61 c max depth : 55
1800.07/1800.61 c max depth (total): 55
1800.07/1800.61 c backtracks : 455589 (18.5%)
1800.07/1800.61 c delayed cutoffs : 12061
1800.07/1800.61 c repropagations : 22819 (80707 domain reductions, 12055 cutoffs)
1800.07/1800.61 c avg switch length: 5.29
1800.07/1800.61 c switching time : 70.21
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 37 (36 improvements)
1800.07/1800.61 c Primal Bound : +9.00000000000000e+00 (in run 1, after 1900534 nodes, 1377.02 seconds, depth 46, found by <relaxation>)
1800.07/1800.61 c Dual Bound : +1.81898940354586e-12
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +1.81898940354586e-12
1801.76/1802.38 c Time complete: 1801.84.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869555-1245178367/watcher-1869555-1245178367 -o /tmp/evaluation-result-1869555-1245178367/solver-1869555-1245178367 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869555-1245178367.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/64 5934
/proc/meminfo: memFree=1886920/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=5812 CPUtime=0
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 185433708 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/5934/statm: 1453 508 337 1256 0 192 0
[startup+0.0689799 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5934
/proc/meminfo: memFree=1886920/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=15024 CPUtime=0.05
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 2982 0 0 0 5 0 0 0 18 0 1 0 185433708 15384576 2613 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 3756 2614 667 1256 0 2495 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15024
[startup+0.101983 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5934
/proc/meminfo: memFree=1886920/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=15456 CPUtime=0.09
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 3057 0 0 0 9 0 0 0 18 0 1 0 185433708 15826944 2684 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 3864 2684 667 1256 0 2603 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15456
[startup+0.302003 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5934
/proc/meminfo: memFree=1886920/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=24184 CPUtime=0.29
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 4755 0 0 0 28 1 0 0 19 0 1 0 185433708 24764416 4382 1992294400 4194304 9342243 548682068736 18446744073709551615 4401518 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 6046 4382 684 1256 0 4785 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24184
[startup+0.701044 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5934
/proc/meminfo: memFree=1886920/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=18220 CPUtime=0.69
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 4799 0 0 0 67 2 0 0 22 0 1 0 185433708 18657280 3475 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 4555 3475 699 1256 0 3294 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18220
[startup+1.50113 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5935
/proc/meminfo: memFree=1875584/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=17112 CPUtime=1.49
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 4910 0 0 0 145 4 0 0 25 0 1 0 185433708 17522688 2915 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 4278 2915 699 1256 0 3017 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17112
[startup+3.10129 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5935
/proc/meminfo: memFree=1877120/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=17432 CPUtime=3.09
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 7287 0 0 0 298 11 0 0 25 0 1 0 185433708 17850368 2962 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 4358 2962 700 1256 0 3097 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17432
[startup+6.30161 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5935
/proc/meminfo: memFree=1876288/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=19700 CPUtime=6.29
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 7872 0 0 0 609 20 0 0 25 0 1 0 185433708 20172800 3547 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 4925 3547 700 1256 0 3664 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19700
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5935
/proc/meminfo: memFree=1871424/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=22448 CPUtime=12.69
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 8935 0 0 0 1231 38 0 0 25 0 1 0 185433708 22986752 4610 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 5612 4610 700 1256 0 4351 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22448
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5935
/proc/meminfo: memFree=1867072/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=27552 CPUtime=25.48
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 11101 0 0 0 2478 70 0 0 25 0 1 0 185433708 28213248 5564 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 6888 5564 700 1256 0 5627 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27552
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5935
/proc/meminfo: memFree=1855680/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=38548 CPUtime=51.07
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 16670 0 0 0 4965 142 0 0 25 0 1 0 185433708 39473152 8399 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 9637 8399 700 1256 0 8376 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38548
[startup+102.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5935
/proc/meminfo: memFree=1830784/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=62296 CPUtime=102.26
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 27517 0 0 0 9930 296 0 0 25 0 1 0 185433708 63791104 14585 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 15574 14585 700 1256 0 14313 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 62296
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5935
/proc/meminfo: memFree=1808512/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=86500 CPUtime=162.24
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 33880 0 0 0 15752 472 0 0 25 0 1 0 185433708 88576000 20177 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 21625 20177 700 1256 0 20364 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 86500
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5935
/proc/meminfo: memFree=1787008/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=106884 CPUtime=222.22
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 40369 0 0 0 21568 654 0 0 25 0 1 0 185433708 109449216 25510 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 26721 25510 700 1256 0 25460 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 106884
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5935
/proc/meminfo: memFree=1775104/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=117284 CPUtime=282.2
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 46661 0 0 0 27381 839 0 0 25 0 1 0 185433708 120098816 28414 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 29321 28414 700 1256 0 28060 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 117284
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5935
/proc/meminfo: memFree=1767168/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=126860 CPUtime=342.19
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 48688 0 0 0 33205 1014 0 0 25 0 1 0 185433708 129904640 30441 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 31715 30441 700 1256 0 30454 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 126860
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5935
/proc/meminfo: memFree=1757440/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=135556 CPUtime=402.17
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 52277 0 0 0 39018 1199 0 0 25 0 1 0 185433708 138809344 32835 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 33889 32835 700 1256 0 32628 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 135556
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5935
/proc/meminfo: memFree=1742464/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=150816 CPUtime=462.15
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 56745 0 0 0 44849 1366 0 0 25 0 1 0 185433708 154435584 36566 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 37704 36566 700 1256 0 36443 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 150816
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5941
/proc/meminfo: memFree=1728064/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=165912 CPUtime=522.13
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 60379 0 0 0 50668 1545 0 0 25 0 1 0 185433708 169893888 40200 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 41478 40200 700 1256 0 40217 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 165912
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5941
/proc/meminfo: memFree=1715968/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=181552 CPUtime=582.12
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 63291 0 0 0 56490 1722 0 0 25 0 1 0 185433708 185909248 43112 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 45388 43112 700 1256 0 44127 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 181552
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5941
/proc/meminfo: memFree=1702528/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=194240 CPUtime=642.11
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 66633 0 0 0 62313 1898 0 0 25 0 1 0 185433708 198901760 46453 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 48560 46453 700 1256 0 47299 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 194240
[startup+702.302 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5941
/proc/meminfo: memFree=1632256/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=262188 CPUtime=1061.98
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 84895 0 0 0 103077 3121 0 0 25 0 1 0 185433708 268480512 63893 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 65547 63893 700 1256 0 64286 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 262188
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5941
/proc/meminfo: memFree=1620224/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=274212 CPUtime=1121.96
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 87817 0 0 0 108897 3299 0 0 25 0 1 0 185433708 280793088 66815 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 68553 66815 700 1256 0 67292 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 274212
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5941
/proc/meminfo: memFree=1609920/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=284540 CPUtime=1181.94
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 90461 0 0 0 114720 3474 0 0 25 0 1 0 185433708 291368960 69459 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 71135 69459 700 1256 0 69874 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 284540
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5941
/proc/meminfo: memFree=1602624/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=291580 CPUtime=1241.93
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 92147 0 0 0 120538 3655 0 0 25 0 1 0 185433708 298577920 71145 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 72895 71145 700 1256 0 71634 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 291580
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5941
/proc/meminfo: memFree=1590016/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=303748 CPUtime=1301.91
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 95270 0 0 0 126352 3839 0 0 25 0 1 0 185433708 311037952 74265 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 75937 74265 700 1256 0 74676 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 303748
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5941
/proc/meminfo: memFree=1577024/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=316712 CPUtime=1361.89
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 98495 0 0 0 132188 4001 0 0 25 0 1 0 185433708 324313088 77490 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 79178 77490 700 1256 0 77917 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 316712
[startup+1422.31 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 5941
/proc/meminfo: memFree=1560320/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=332168 CPUtime=1421.87
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 102647 0 0 0 138021 4166 0 0 25 0 1 0 185433708 340140032 81642 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 83042 81642 700 1256 0 81781 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 332168
[startup+1482.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/65 5941
/proc/meminfo: memFree=1560064/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=332328 CPUtime=1481.85
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 102689 0 0 0 143853 4332 0 0 25 0 1 0 185433708 340303872 81684 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 83082 81684 700 1256 0 81821 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 332328
[startup+1542.3 s]
/proc/loadavg: 1.13 1.05 1.01 2/65 5941
/proc/meminfo: memFree=1552128/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=349484 CPUtime=1541.83
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 104637 0 0 0 149683 4500 0 0 25 0 1 0 185433708 357871616 83632 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 87371 83632 700 1256 0 86110 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 349484
[startup+1602.3 s]
/proc/loadavg: 1.12 1.05 1.01 2/65 5941
/proc/meminfo: memFree=1545088/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=356108 CPUtime=1601.81
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 106392 0 0 0 155510 4671 0 0 25 0 1 0 185433708 364654592 85387 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 89027 85387 700 1256 0 87766 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 356108
[startup+1662.3 s]
/proc/loadavg: 1.15 1.07 1.01 2/65 5941
/proc/meminfo: memFree=1536064/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=365392 CPUtime=1661.8
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 108831 0 0 0 161337 4843 0 0 25 0 1 0 185433708 374161408 87826 1992294400 4194304 9342243 548682068736 18446744073709551615 6944086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 91348 87826 700 1256 0 90087 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 365392
[startup+1722.3 s]
/proc/loadavg: 1.06 1.05 1.00 2/65 5941
/proc/meminfo: memFree=1524032/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=376240 CPUtime=1721.78
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 111596 0 0 0 167166 5012 0 0 25 0 1 0 185433708 385269760 90591 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 94060 90591 700 1256 0 92799 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 376240
[startup+1782.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 5941
/proc/meminfo: memFree=1514752/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=385012 CPUtime=1781.76
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 113859 0 0 0 172986 5190 0 0 25 0 1 0 185433708 394252288 92854 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 96253 92854 700 1256 0 94992 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 385012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 5941
/proc/meminfo: memFree=1512512/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=387252 CPUtime=1800.07
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 114408 0 0 0 174762 5245 0 0 25 0 1 0 185433708 396546048 93403 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5934/statm: 96813 93403 700 1256 0 95552 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 387252
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 5941
/proc/meminfo: memFree=1512512/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=387252 CPUtime=1800.86
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 114409 0 0 0 174840 5246 0 0 25 0 1 0 185433708 396546048 93404 1992294400 4194304 9342243 548682068736 18446744073709551615 5854322 0 0 4096 0 0 0 0 17 0 0 0
/proc/5934/statm: 96813 93404 701 1256 0 95552 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 387252
[startup+1801.81 s]
/proc/loadavg: 1.01 1.04 1.00 2/66 5942
/proc/meminfo: memFree=1512504/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=387252 CPUtime=1801.27
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 114409 0 0 0 174881 5246 0 0 25 0 1 0 185433708 396546048 93404 1992294400 4194304 9342243 548682068736 18446744073709551615 5838684 0 0 4096 0 0 0 0 17 1 0 0
/proc/5934/statm: 96813 93404 701 1256 0 95552 0
Current children cumulated CPU time (s) 1801.27
Current children cumulated vsize (KiB) 387252
[startup+1802.2 s]
/proc/loadavg: 1.01 1.04 1.00 2/66 5942
/proc/meminfo: memFree=1512504/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=387252 CPUtime=1801.66
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 114409 0 0 0 174920 5246 0 0 25 0 1 0 185433708 396546048 93404 1992294400 4194304 9342243 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/5934/statm: 96813 93404 701 1256 0 95552 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 387252
[startup+1802.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/66 5942
/proc/meminfo: memFree=1512504/2055920 swapFree=4192812/4192956
[pid=5934] ppid=5932 vsize=387252 CPUtime=1801.76
/proc/5934/stat : 5934 (pbscip.linux.x8) R 5932 5934 5825 0 -1 4194304 114409 0 0 0 174930 5246 0 0 25 0 1 0 185433708 396546048 93404 1992294400 4194304 9342243 548682068736 18446744073709551615 5838684 0 0 4096 0 0 0 0 17 1 0 0
/proc/5934/statm: 96813 93404 701 1256 0 95552 0
Current children cumulated CPU time (s) 1801.76
Current children cumulated vsize (KiB) 387252
Child status: 0
Real time (s): 1802.39
CPU time (s): 1801.86
CPU user time (s): 1749.34
CPU system time (s): 52.518
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 387252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1749.34
system time used= 52.518
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114412
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= 3084
runsolver used 1.20682 second user time and 3.82642 second system time
The end