0.00/0.01 c SCIP version 1.1.0.7
0.00/0.01 c LP-Solver SoPlex 1.4.1
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c read problem <HOME/instance-1869538-1245177527.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.02/0.03 c (0.0s) probing: 101/165 (61.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.03 c presolving (3 rounds):
0.02/0.03 c 7 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.03 c 0 implications, 0 cliques
0.02/0.03 c presolved problem has 165 variables (165 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.02/0.03 c 7 constraints of type <linear>
0.02/0.03 c transformed objective value is always integral (scale: 1)
0.02/0.03 c Presolving Time: 0.01
0.02/0.03 c OPT-LIN
0.02/0.03 c -----------------------------------------------------------------------------------------------
0.02/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/memory = c 1620
0.02/0.03 c # maximal time in seconds to run
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/time = c 1791
0.02/0.03 c # frequency for displaying node information lines
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.03 c display/freq = c 10000
0.02/0.03 c -----------------------------------------------------------------------------------------------
0.02/0.03 c start solving problem
0.02/0.03 c
0.02/0.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.03 c 0.0s| 1 | 0 | 71 | 540k| 0 | 7 | 165 | 7 | 7 | 165 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.02/0.04 c 0.0s| 1 | 0 | 127 | 643k| 0 | 13 | 165 | 7 | 7 | 165 | 14 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.02/0.06 c 0.0s| 1 | 0 | 133 | 684k| 0 | 15 | 165 | 7 | 7 | 165 | 19 | 12 | 0 | 0 | 1.818989e-12 | -- | Inf
0.02/0.08 c 0.1s| 1 | 0 | 138 | 714k| 0 | 18 | 165 | 7 | 7 | 165 | 22 | 15 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 146 | 723k| 0 | 17 | 165 | 7 | 7 | 165 | 25 | 18 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 164 | 745k| 0 | 18 | 165 | 7 | 7 | 165 | 28 | 21 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 178 | 764k| 0 | 18 | 165 | 7 | 7 | 165 | 31 | 24 | 0 | 0 | 1.818989e-12 | -- | Inf
0.19/0.23 c 0.2s| 1 | 2 | 178 | 765k| 0 | 18 | 165 | 7 | 7 | 165 | 31 | 24 | 0 | 18 | 1.818989e-12 | -- | Inf
0.39/0.40 o 795
0.39/0.40 c c 0.4s| 52 | 50 | 391 | 820k| 51 | - | 165 | 7 | 2 | 165 | 19 | 24 | 0 | 342 | 1.818989e-12 | 7.950000e+02 | Inf
0.39/0.49 o 275
0.39/0.49 c f 0.4s| 107 | 91 | 645 | 870k| 51 | - | 165 | 7 | 1 | 165 | 19 | 24 | 2 | 499 | 1.818989e-12 | 2.750000e+02 | Inf
0.59/0.65 o 109
0.59/0.65 c g 0.6s| 248 | 177 | 1930 | 926k| 51 | - | 165 | 9 | 2 | 165 | 19 | 24 | 5 | 656 | 1.818989e-12 | 1.090000e+02 | Inf
1.29/1.39 o 67
1.29/1.39 c c 1.3s| 1200 | 1042 | 8155 |1332k| 51 | - | 165 | 15 | 2 | 165 | 19 | 24 | 36 | 771 | 1.818989e-12 | 6.700000e+01 | Inf
3.49/3.52 o 66
3.49/3.52 c g 3.3s| 3591 | 3256 | 21891 |2429k| 51 | - | 165 | 15 | 1 | 165 | 19 | 24 | 109 | 828 | 1.818989e-12 | 6.600000e+01 | Inf
3.59/3.66 o 65
3.59/3.66 c l 3.4s| 3791 | 3437 | 23040 |2522k| 51 | - | 165 | 14 | 0 | 165 | 19 | 24 | 119 | 828 | 1.818989e-12 | 6.500000e+01 | Inf
7.69/7.77 o 64
7.69/7.77 c * 7.2s| 8265 | 7441 | 56444 |4581k| 51 | - | 165 | 11 | 2 | 165 | 19 | 24 | 378 | 979 | 1.818989e-12 | 6.400000e+01 | Inf
9.59/9.60 o 59
9.59/9.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.59/9.60 c g 8.9s| 9303 | 8346 | 65371 |5020k| 51 | - | 165 | 9 | 1 | 165 | 19 | 24 | 492 |1058 | 1.818989e-12 | 5.900000e+01 | Inf
10.19/10.21 c 9.5s| 10000 | 8977 | 70699 |5322k| 51 | 7 | 165 | 9 | 7 | 165 | 19 | 24 | 522 |1087 | 1.818989e-12 | 5.900000e+01 | Inf
16.89/16.91 c 15.8s| 20000 | 17294 |127794 |9759k| 51 | 7 | 165 | 21 | 13 | 165 | 19 | 24 | 909 |1621 | 1.818989e-12 | 5.900000e+01 | Inf
18.08/18.11 o 57
18.08/18.11 c *16.9s| 21772 | 18561 |138327 | 10M| 51 | - | 165 | 18 | 0 | 165 | 19 | 24 | 975 |1717 | 1.818989e-12 | 5.700000e+01 | Inf
21.29/21.35 o 56
21.29/21.35 c f20.0s| 26660 | 22065 |166202 | 12M| 51 | - | 165 | 17 | 0 | 165 | 19 | 24 |1213 |1962 | 1.818989e-12 | 5.600000e+01 | Inf
24.88/24.90 c 23.3s| 30000 | 24494 |186378 | 14M| 51 | - | 165 | 12 | 9 | 165 | 19 | 24 |1426 |2097 | 1.818989e-12 | 5.600000e+01 | Inf
31.48/31.52 c 29.5s| 40000 | 31736 |244333 | 18M| 51 | 7 | 165 | 13 | 8 | 165 | 19 | 24 |1908 |2490 | 1.818989e-12 | 5.600000e+01 | Inf
37.97/38.05 c 35.6s| 50000 | 38505 |302196 | 23M| 51 | 7 | 165 | 15 | 7 | 165 | 19 | 24 |2457 |2860 | 1.818989e-12 | 5.600000e+01 | Inf
42.37/42.40 o 55
42.37/42.40 c *39.8s| 56660 | 42835 |340880 | 25M| 51 | - | 165 | 13 | 1 | 165 | 19 | 24 |2843 |3078 | 1.818989e-12 | 5.500000e+01 | Inf
42.37/42.41 o 53
42.37/42.41 c *39.8s| 56661 | 42554 |340882 | 25M| 51 | - | 165 | 13 | 1 | 165 | 19 | 24 |2843 |3078 | 1.818989e-12 | 5.300000e+01 | Inf
44.58/44.62 c 41.8s| 60000 | 44712 |360068 | 26M| 51 | 7 | 165 | 12 | 8 | 165 | 19 | 24 |3043 |3169 | 1.818989e-12 | 5.300000e+01 | Inf
48.38/48.42 o 51
48.38/48.42 c *45.4s| 65747 | 47967 |394639 | 28M| 51 | - | 165 | 19 | 2 | 165 | 19 | 24 |3323 |3330 | 1.818989e-12 | 5.100000e+01 | Inf
51.08/51.19 c 48.0s| 70000 | 50668 |418908 | 30M| 51 | 7 | 165 | 16 | 7 | 165 | 19 | 24 |3534 |3460 | 1.818989e-12 | 5.100000e+01 | Inf
57.57/57.65 c 54.1s| 80000 | 57058 |475775 | 34M| 51 | - | 165 | 14 | 7 | 165 | 19 | 24 |4044 |3729 | 1.818989e-12 | 5.100000e+01 | Inf
61.67/61.76 o 50
61.67/61.76 c v57.9s| 86335 | 60422 |512375 | 37M| 51 | - | 165 | 13 | 0 | 165 | 19 | 24 |4429 |3895 | 1.818989e-12 | 5.000000e+01 | Inf
64.07/64.14 o 48
64.07/64.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.07/64.14 c *60.2s| 89822 | 61424 |532936 | 37M| 54 | - | 165 | 17 | 1 | 165 | 19 | 24 |4629 |3968 | 1.818989e-12 | 4.800000e+01 | Inf
64.07/64.15 o 44
64.07/64.15 c *60.2s| 89825 | 60269 |532939 | 35M| 54 | - | 165 | 17 | 2 | 165 | 19 | 24 |4629 |3969 | 1.818989e-12 | 4.400000e+01 | Inf
64.16/64.28 c 60.3s| 90000 | 60379 |534019 | 35M| 54 | 7 | 165 | 16 | 9 | 165 | 19 | 24 |4640 |3973 | 1.818989e-12 | 4.400000e+01 | Inf
65.97/66.07 o 42
65.97/66.07 c *62.0s| 92807 | 61070 |549669 | 36M| 54 | - | 165 | 11 | 0 | 165 | 19 | 24 |4791 |4048 | 1.818989e-12 | 4.200000e+01 | Inf
65.97/66.08 o 40
65.97/66.08 c *62.0s| 92809 | 60233 |549672 | 35M| 54 | - | 165 | 11 | 0 | 165 | 19 | 24 |4791 |4050 | 1.818989e-12 | 4.000000e+01 | Inf
65.97/66.09 o 38
65.97/66.09 c p62.0s| 92811 | 59311 |549677 | 34M| 54 | - | 165 | 11 | 0 | 165 | 19 | 24 |4791 |4053 | 1.818989e-12 | 3.800000e+01 | Inf
66.57/66.61 o 34
66.57/66.61 c C62.5s| 93411 | 57512 |553082 | 32M| 54 | 7 | 165 | 11 | 8 | 165 | 19 | 24 |4831 |4056 | 1.818989e-12 | 3.400000e+01 | Inf
72.47/72.60 c 68.0s|100000 | 60608 |588460 | 34M| 54 | 7 | 165 | 11 | 8 | 165 | 19 | 24 |5208 |4209 | 1.818989e-12 | 3.400000e+01 | Inf
78.16/78.24 o 31
78.16/78.24 c g73.3s|109323 | 58147 |637168 | 33M| 54 | - | 165 | 11 | 0 | 165 | 19 | 24 |5649 |4442 | 1.818989e-12 | 3.100000e+01 | Inf
78.56/78.68 c 73.7s|110000 | 58491 |641251 | 33M| 54 | 7 | 165 | 16 | 7 | 165 | 19 | 24 |5688 |4467 | 1.818989e-12 | 3.100000e+01 | Inf
84.76/84.80 c 79.5s|120000 | 63434 |696637 | 37M| 54 | 7 | 165 | 22 | 10 | 165 | 19 | 24 |6210 |4696 | 1.818989e-12 | 3.100000e+01 | Inf
90.96/91.07 c 85.4s|130000 | 68679 |752586 | 40M| 54 | 7 | 165 | 21 | 8 | 165 | 19 | 24 |6783 |4895 | 1.818989e-12 | 3.100000e+01 | Inf
96.06/96.17 o 30
96.06/96.17 c *90.2s|139152 | 72343 |798852 | 43M| 54 | - | 165 | 22 | 0 | 165 | 19 | 24 |7285 |5109 | 1.818989e-12 | 3.000000e+01 | Inf
96.06/96.18 o 28
96.06/96.18 c *90.2s|139153 | 71519 |798854 | 42M| 54 | - | 165 | 22 | 0 | 165 | 19 | 24 |7285 |5109 | 1.818989e-12 | 2.800000e+01 | Inf
96.56/96.66 c 90.7s|140000 | 71878 |803074 | 42M| 54 | 7 | 165 | 21 | 8 | 165 | 19 | 24 |7331 |5115 | 1.818989e-12 | 2.800000e+01 | Inf
100.76/100.87 o 27
100.76/100.87 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.76/100.87 c *94.6s|147717 | 74682 |841210 | 44M| 54 | - | 165 | 18 | 0 | 165 | 19 | 24 |7710 |5259 | 1.818989e-12 | 2.700000e+01 | Inf
100.76/100.87 o 25
100.76/100.87 c *94.6s|147718 | 73587 |841213 | 43M| 54 | - | 165 | 18 | 0 | 165 | 19 | 24 |7710 |5259 | 1.818989e-12 | 2.500000e+01 | Inf
103.86/103.96 c 97.4s|150000 | 74513 |852527 | 43M| 54 | - | 165 | 20 | 11 | 165 | 19 | 24 |7810 |5309 | 1.818989e-12 | 2.500000e+01 | Inf
109.25/109.33 c 102s|160000 | 78304 |900314 | 46M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 |8245 |5521 | 1.818989e-12 | 2.500000e+01 | Inf
115.24/115.31 c 108s|170000 | 83147 |951839 | 49M| 54 | - | 165 | 16 | 7 | 165 | 19 | 24 |8713 |5685 | 1.818989e-12 | 2.500000e+01 | Inf
120.85/120.97 c 113s|180000 | 87824 | 1001k| 52M| 54 | 7 | 165 | 22 | 7 | 165 | 19 | 24 |9156 |5857 | 1.818989e-12 | 2.500000e+01 | Inf
126.35/126.41 c 119s|190000 | 91931 | 1048k| 55M| 54 | 7 | 165 | 20 | 9 | 165 | 19 | 24 |9571 |6042 | 1.818989e-12 | 2.500000e+01 | Inf
131.54/131.69 c 124s|200000 | 95592 | 1095k| 57M| 54 | 7 | 165 | 17 | 7 | 165 | 19 | 24 | 10k|6244 | 1.818989e-12 | 2.500000e+01 | Inf
136.84/136.90 c 128s|210000 | 99319 | 1142k| 60M| 54 | - | 165 | 18 | 7 | 165 | 19 | 24 | 10k|6409 | 1.818989e-12 | 2.500000e+01 | Inf
142.04/142.10 c 133s|220000 |102705 | 1189k| 63M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 10k|6580 | 1.818989e-12 | 2.500000e+01 | Inf
147.13/147.26 c 138s|230000 |105761 | 1237k| 65M| 54 | - | 165 | 15 | 7 | 165 | 19 | 24 | 11k|6754 | 1.818989e-12 | 2.500000e+01 | Inf
152.33/152.42 c 143s|240000 |108945 | 1283k| 68M| 54 | - | 165 | 18 | 8 | 0 | 0 | 24 | 11k|6906 | 1.818989e-12 | 2.500000e+01 | Inf
157.23/157.36 c 148s|250000 |111970 | 1328k| 70M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 11k|7041 | 1.818989e-12 | 2.500000e+01 | Inf
162.43/162.59 c 152s|260000 |115877 | 1375k| 73M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 12k|7198 | 1.818989e-12 | 2.500000e+01 | Inf
167.63/167.70 c 157s|270000 |119309 | 1422k| 75M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 12k|7349 | 1.818989e-12 | 2.500000e+01 | Inf
172.83/172.96 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
172.83/172.96 c 162s|280000 |123105 | 1470k| 78M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 12k|7480 | 1.818989e-12 | 2.500000e+01 | Inf
178.03/178.18 c 167s|290000 |126895 | 1517k| 81M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 13k|7617 | 1.818989e-12 | 2.500000e+01 | Inf
183.22/183.35 c 172s|300000 |130528 | 1564k| 83M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 13k|7758 | 1.818989e-12 | 2.500000e+01 | Inf
189.02/189.14 c 177s|310000 |135121 | 1616k| 86M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 14k|7893 | 1.818989e-12 | 2.500000e+01 | Inf
194.52/194.69 c 183s|320000 |139454 | 1666k| 89M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 14k|8035 | 1.818989e-12 | 2.500000e+01 | Inf
199.62/199.76 c 187s|330000 |143047 | 1712k| 92M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 14k|8168 | 1.818989e-12 | 2.500000e+01 | Inf
204.72/204.82 c 192s|340000 |146471 | 1759k| 94M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 15k|8303 | 1.818989e-12 | 2.500000e+01 | Inf
206.51/206.68 o 24
206.51/206.68 c * 194s|343771 |146825 | 1776k| 94M| 54 | - | 165 | 13 | 0 | 165 | 19 | 24 | 15k|8349 | 1.818989e-12 | 2.400000e+01 | Inf
209.62/209.78 c 197s|350000 |148598 | 1804k| 95M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 15k|8453 | 1.818989e-12 | 2.400000e+01 | Inf
214.62/214.70 c 201s|360000 |151691 | 1850k| 98M| 54 | 7 | 165 | 17 | 7 | 165 | 19 | 24 | 15k|8568 | 1.818989e-12 | 2.400000e+01 | Inf
219.41/219.51 c 206s|370000 |154417 | 1894k| 100M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 16k|8706 | 1.818989e-12 | 2.400000e+01 | Inf
224.81/224.93 c 211s|380000 |158592 | 1943k| 103M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 16k|8810 | 1.818989e-12 | 2.400000e+01 | Inf
230.01/230.19 c 216s|390000 |162485 | 1991k| 106M| 54 | 7 | 165 | 16 | 7 | 165 | 19 | 24 | 17k|8941 | 1.818989e-12 | 2.400000e+01 | Inf
235.11/235.24 c 221s|400000 |166004 | 2037k| 108M| 54 | 7 | 165 | 16 | 7 | 165 | 19 | 24 | 17k|9060 | 1.818989e-12 | 2.400000e+01 | Inf
240.11/240.22 c 225s|410000 |169148 | 2083k| 111M| 54 | - | 165 | 15 | 7 | 0 | 0 | 24 | 17k|9178 | 1.818989e-12 | 2.400000e+01 | Inf
245.11/245.25 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.11/245.25 c 230s|420000 |172315 | 2129k| 113M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 18k|9273 | 1.818989e-12 | 2.400000e+01 | Inf
250.00/250.10 c 235s|430000 |175149 | 2174k| 115M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 18k|9392 | 1.818989e-12 | 2.400000e+01 | Inf
254.60/254.78 c 239s|440000 |177608 | 2218k| 117M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 18k|9514 | 1.818989e-12 | 2.400000e+01 | Inf
257.00/257.10 o 23
257.00/257.10 c * 241s|444869 |177762 | 2240k| 117M| 54 | - | 165 | 12 | 0 | 165 | 19 | 24 | 18k|9565 | 1.818989e-12 | 2.300000e+01 | Inf
259.50/259.65 c 244s|450000 |179137 | 2263k| 118M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 18k|9613 | 1.818989e-12 | 2.300000e+01 | Inf
264.40/264.51 c 248s|460000 |181948 | 2307k| 120M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 19k|9722 | 1.818989e-12 | 2.300000e+01 | Inf
268.99/269.16 c 253s|470000 |184111 | 2350k| 122M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 19k|9840 | 1.818989e-12 | 2.300000e+01 | Inf
274.49/274.65 c 258s|480000 |188151 | 2400k| 125M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 19k|9959 | 1.818989e-12 | 2.300000e+01 | Inf
279.99/280.10 c 263s|490000 |192425 | 2451k| 128M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 20k| 10k| 1.818989e-12 | 2.300000e+01 | Inf
285.08/285.26 c 268s|500000 |195830 | 2498k| 130M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 20k| 10k| 1.818989e-12 | 2.300000e+01 | Inf
290.09/290.29 c 273s|510000 |199272 | 2545k| 133M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 21k| 10k| 1.818989e-12 | 2.300000e+01 | Inf
295.28/295.48 c 277s|520000 |202813 | 2592k| 135M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 21k| 10k| 1.818989e-12 | 2.300000e+01 | Inf
300.38/300.56 c 282s|530000 |206073 | 2639k| 138M| 54 | 7 | 165 | 16 | 7 | 165 | 19 | 24 | 21k| 10k| 1.818989e-12 | 2.300000e+01 | Inf
305.48/305.62 c 287s|540000 |209104 | 2686k| 140M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 21k| 10k| 1.818989e-12 | 2.300000e+01 | Inf
311.98/312.14 c 293s|550000 |211527 | 2730k| 142M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 22k| 10k| 1.818989e-12 | 2.300000e+01 | Inf
316.58/316.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.58/316.79 c 297s|560000 |214131 | 2774k| 144M| 54 | - | 165 | 12 | 7 | 0 | 0 | 24 | 22k| 10k| 1.818989e-12 | 2.300000e+01 | Inf
321.37/321.58 c 302s|570000 |216737 | 2819k| 147M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 22k| 10k| 1.818989e-12 | 2.300000e+01 | Inf
326.27/326.43 c 306s|580000 |219400 | 2864k| 149M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 23k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
330.97/331.16 c 311s|590000 |221857 | 2908k| 151M| 54 | - | 165 | 14 | 7 | 0 | 0 | 24 | 23k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
335.97/336.15 c 316s|600000 |224910 | 2954k| 153M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 23k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
340.87/341.06 c 320s|610000 |227812 | 3001k| 155M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 24k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
345.96/346.10 c 325s|620000 |230669 | 3047k| 158M| 54 | 7 | 165 | 16 | 8 | 165 | 19 | 24 | 24k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
350.87/351.00 c 330s|630000 |233577 | 3093k| 160M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 24k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
355.76/355.97 c 334s|640000 |236684 | 3139k| 162M| 54 | - | 165 | 15 | 7 | 0 | 0 | 24 | 25k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
360.67/360.85 c 339s|650000 |239485 | 3185k| 164M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 25k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
366.17/366.32 c 344s|660000 |243674 | 3234k| 167M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 25k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
371.56/371.80 c 349s|670000 |247824 | 3282k| 170M| 54 | 7 | 165 | 12 | 8 | 165 | 19 | 24 | 26k| 11k| 1.818989e-12 | 2.300000e+01 | Inf
376.76/376.93 c 354s|680000 |251490 | 3329k| 172M| 54 | - | 165 | 11 | 7 | 0 | 0 | 24 | 26k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
382.15/382.35 c 359s|690000 |255709 | 3378k| 175M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 26k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
387.25/387.46 c 364s|700000 |259444 | 3425k| 178M| 54 | - | 165 | 13 | 8 | 165 | 19 | 24 | 27k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
392.35/392.52 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.35/392.52 c 369s|710000 |262830 | 3471k| 180M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 27k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
397.14/397.38 c 373s|720000 |265841 | 3515k| 182M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 27k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
402.04/402.22 c 378s|730000 |268887 | 3560k| 185M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 28k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
406.95/407.13 c 382s|740000 |271967 | 3604k| 187M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 28k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
411.74/411.99 c 387s|750000 |274928 | 3649k| 189M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 28k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
416.64/416.83 c 391s|760000 |277736 | 3693k| 192M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 29k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
421.34/421.51 c 396s|770000 |280126 | 3736k| 193M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 29k| 12k| 1.818989e-12 | 2.300000e+01 | Inf
423.34/423.55 o 21
423.34/423.55 c * 398s|774136 |277806 | 3754k| 189M| 54 | - | 165 | 14 | 0 | 165 | 19 | 24 | 29k| 12k| 1.818989e-12 | 2.100000e+01 | Inf
423.34/423.58 o 19
423.34/423.58 c * 398s|774137 |272994 | 3754k| 182M| 54 | - | 165 | 14 | 0 | 165 | 19 | 24 | 29k| 12k| 1.818989e-12 | 1.900000e+01 | Inf
425.04/425.25 o 17
425.04/425.25 c C 399s|775537 |267279 | 3760k| 174M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 29k| 12k| 1.818989e-12 | 1.700000e+01 | Inf
428.63/428.81 c 403s|780000 |268349 | 3779k| 175M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 29k| 12k| 1.818989e-12 | 1.700000e+01 | Inf
433.33/433.55 c 407s|790000 |270832 | 3821k| 177M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 30k| 13k| 1.818989e-12 | 1.700000e+01 | Inf
437.83/438.07 c 411s|800000 |273010 | 3862k| 179M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 30k| 13k| 1.818989e-12 | 1.700000e+01 | Inf
442.43/442.65 c 416s|810000 |275237 | 3904k| 181M| 54 | - | 165 | 12 | 7 | 0 | 0 | 24 | 30k| 13k| 1.818989e-12 | 1.700000e+01 | Inf
447.03/447.26 c 420s|820000 |277416 | 3945k| 182M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 30k| 13k| 1.818989e-12 | 1.700000e+01 | Inf
451.83/452.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
451.83/452.09 c 424s|830000 |279388 | 3986k| 184M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 31k| 13k| 1.818989e-12 | 1.700000e+01 | Inf
456.52/456.74 c 429s|840000 |281706 | 4028k| 186M| 54 | - | 165 | 12 | 7 | 0 | 0 | 24 | 31k| 13k| 1.818989e-12 | 1.700000e+01 | Inf
460.92/461.17 c 433s|850000 |283768 | 4067k| 188M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 31k| 13k| 1.818989e-12 | 1.700000e+01 | Inf
465.42/465.67 c 437s|860000 |285612 | 4107k| 189M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 31k| 13k| 1.818989e-12 | 1.700000e+01 | Inf
469.92/470.18 c 441s|870000 |287429 | 4147k| 191M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 32k| 13k| 1.818989e-12 | 1.700000e+01 | Inf
474.42/474.67 c 446s|880000 |289218 | 4186k| 192M| 54 | - | 165 | 11 | 7 | 0 | 0 | 24 | 32k| 13k| 1.818989e-12 | 1.700000e+01 | Inf
478.91/479.11 c 450s|890000 |291080 | 4227k| 194M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 32k| 13k| 1.818989e-12 | 1.700000e+01 | Inf
483.42/483.67 c 454s|900000 |293132 | 4268k| 196M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 32k| 14k| 1.818989e-12 | 1.700000e+01 | Inf
487.91/488.18 c 458s|910000 |295137 | 4308k| 198M| 54 | 7 | 165 | 14 | 8 | 165 | 19 | 24 | 33k| 14k| 1.818989e-12 | 1.700000e+01 | Inf
492.41/492.66 c 462s|920000 |296979 | 4349k| 199M| 54 | - | 165 | 15 | 7 | 165 | 19 | 24 | 33k| 14k| 1.818989e-12 | 1.700000e+01 | Inf
496.92/497.10 c 467s|930000 |298650 | 4388k| 201M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 33k| 14k| 1.818989e-12 | 1.700000e+01 | Inf
501.31/501.51 c 471s|940000 |300267 | 4428k| 202M| 54 | - | 165 | 15 | 7 | 165 | 19 | 24 | 34k| 14k| 1.818989e-12 | 1.700000e+01 | Inf
505.71/505.93 c 475s|950000 |302029 | 4467k| 204M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 34k| 14k| 1.818989e-12 | 1.700000e+01 | Inf
510.11/510.35 c 479s|960000 |303675 | 4507k| 205M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 34k| 14k| 1.818989e-12 | 1.700000e+01 | Inf
514.70/514.91 c 483s|970000 |305764 | 4548k| 207M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 34k| 14k| 1.818989e-12 | 1.700000e+01 | Inf
519.21/519.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.21/519.41 c 488s|980000 |307345 | 4589k| 209M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 35k| 14k| 1.818989e-12 | 1.700000e+01 | Inf
523.60/523.86 c 492s|990000 |308692 | 4629k| 210M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 35k| 14k| 1.818989e-12 | 1.700000e+01 | Inf
528.10/528.39 c 496s| 1000k|310314 | 4669k| 212M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 35k| 14k| 1.818989e-12 | 1.700000e+01 | Inf
532.70/532.98 c 500s| 1010k|312763 | 4710k| 214M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 35k| 15k| 1.818989e-12 | 1.700000e+01 | Inf
537.09/537.38 c 504s| 1020k|314558 | 4750k| 215M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 36k| 15k| 1.818989e-12 | 1.700000e+01 | Inf
541.69/541.92 c 509s| 1030k|316674 | 4791k| 217M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 36k| 15k| 1.818989e-12 | 1.700000e+01 | Inf
546.10/546.37 c 513s| 1040k|318217 | 4830k| 218M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 36k| 15k| 1.818989e-12 | 1.700000e+01 | Inf
550.49/550.79 c 517s| 1050k|319598 | 4869k| 220M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 37k| 15k| 1.818989e-12 | 1.700000e+01 | Inf
554.89/555.17 c 521s| 1060k|321088 | 4908k| 221M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 37k| 15k| 1.818989e-12 | 1.700000e+01 | Inf
559.39/559.60 c 525s| 1070k|322322 | 4948k| 222M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 37k| 15k| 1.818989e-12 | 1.700000e+01 | Inf
563.78/564.08 c 530s| 1080k|323819 | 4987k| 224M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 37k| 15k| 1.818989e-12 | 1.700000e+01 | Inf
568.39/568.60 c 534s| 1090k|325280 | 5028k| 225M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 38k| 15k| 1.818989e-12 | 1.700000e+01 | Inf
572.89/573.14 c 538s| 1100k|327135 | 5069k| 227M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 38k| 15k| 1.818989e-12 | 1.700000e+01 | Inf
577.59/577.82 c 542s| 1110k|329722 | 5110k| 229M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 38k| 15k| 1.818989e-12 | 1.700000e+01 | Inf
582.08/582.39 c 547s| 1120k|331614 | 5150k| 230M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 38k| 15k| 1.818989e-12 | 1.700000e+01 | Inf
586.68/586.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.68/586.95 c 551s| 1130k|333541 | 5189k| 232M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 39k| 16k| 1.818989e-12 | 1.700000e+01 | Inf
591.17/591.42 c 555s| 1140k|334814 | 5228k| 233M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 39k| 16k| 1.818989e-12 | 1.700000e+01 | Inf
595.67/595.91 c 559s| 1150k|336567 | 5268k| 235M| 54 | - | 165 | 11 | 7 | 0 | 0 | 24 | 39k| 16k| 1.818989e-12 | 1.700000e+01 | Inf
599.97/600.22 c 564s| 1160k|337886 | 5306k| 236M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 39k| 16k| 1.818989e-12 | 1.700000e+01 | Inf
604.37/604.63 c 568s| 1170k|339269 | 5345k| 237M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 40k| 16k| 1.818989e-12 | 1.700000e+01 | Inf
608.77/609.06 c 572s| 1180k|340776 | 5383k| 239M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 40k| 16k| 1.818989e-12 | 1.700000e+01 | Inf
609.67/609.96 o 15
609.67/609.96 c * 573s| 1181k|328069 | 5391k| 226M| 54 | - | 165 | 11 | 0 | 165 | 19 | 24 | 40k| 16k| 1.818989e-12 | 1.500000e+01 | Inf
615.07/615.32 c 578s| 1190k|329078 | 5423k| 226M| 54 | 7 | 165 | 10 | 7 | 165 | 19 | 24 | 40k| 16k| 1.818989e-12 | 1.500000e+01 | Inf
619.47/619.73 c 582s| 1200k|330638 | 5464k| 228M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 40k| 16k| 1.818989e-12 | 1.500000e+01 | Inf
623.87/624.13 c 586s| 1210k|331978 | 5505k| 229M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 41k| 16k| 1.818989e-12 | 1.500000e+01 | Inf
628.27/628.58 c 590s| 1220k|333090 | 5546k| 230M| 54 | 7 | 165 | 16 | 7 | 165 | 19 | 24 | 41k| 16k| 1.818989e-12 | 1.500000e+01 | Inf
632.76/633.06 c 594s| 1230k|334732 | 5587k| 231M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 41k| 16k| 1.818989e-12 | 1.500000e+01 | Inf
637.16/637.41 c 598s| 1240k|335646 | 5628k| 232M| 54 | 7 | 165 | 18 | 7 | 165 | 19 | 24 | 41k| 17k| 1.818989e-12 | 1.500000e+01 | Inf
641.46/641.79 c 602s| 1250k|337369 | 5667k| 233M| 54 | 7 | 165 | 10 | 7 | 165 | 19 | 24 | 42k| 17k| 1.818989e-12 | 1.500000e+01 | Inf
645.96/646.21 c 607s| 1260k|338635 | 5709k| 234M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 42k| 17k| 1.818989e-12 | 1.500000e+01 | Inf
650.46/650.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.46/650.79 c 611s| 1270k|340047 | 5752k| 235M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 42k| 17k| 1.818989e-12 | 1.500000e+01 | Inf
654.95/655.28 c 615s| 1280k|342287 | 5794k| 237M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 43k| 17k| 1.818989e-12 | 1.500000e+01 | Inf
659.45/659.71 c 619s| 1290k|344512 | 5834k| 239M| 54 | - | 165 | 11 | 7 | 0 | 0 | 24 | 43k| 17k| 1.818989e-12 | 1.500000e+01 | Inf
663.85/664.18 c 623s| 1300k|346428 | 5877k| 240M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 43k| 17k| 1.818989e-12 | 1.500000e+01 | Inf
668.45/668.70 c 628s| 1310k|348219 | 5920k| 241M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 43k| 17k| 1.818989e-12 | 1.500000e+01 | Inf
672.95/673.22 c 632s| 1320k|350426 | 5962k| 243M| 54 | 7 | 165 | 16 | 7 | 165 | 19 | 24 | 43k| 17k| 1.818989e-12 | 1.500000e+01 | Inf
677.25/677.55 c 636s| 1330k|351819 | 6004k| 244M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 44k| 17k| 1.818989e-12 | 1.500000e+01 | Inf
681.54/681.89 c 640s| 1340k|353339 | 6045k| 245M| 54 | - | 165 | 12 | 7 | 0 | 0 | 24 | 44k| 17k| 1.818989e-12 | 1.500000e+01 | Inf
685.94/686.27 c 644s| 1350k|354489 | 6086k| 246M| 54 | 7 | 165 | 17 | 7 | 165 | 19 | 24 | 44k| 17k| 1.818989e-12 | 1.500000e+01 | Inf
690.34/690.60 c 648s| 1360k|355777 | 6126k| 247M| 54 | - | 165 | 19 | 7 | 0 | 0 | 24 | 44k| 18k| 1.818989e-12 | 1.500000e+01 | Inf
694.73/695.06 c 652s| 1370k|357660 | 6168k| 249M| 54 | 7 | 165 | 17 | 8 | 165 | 19 | 24 | 45k| 18k| 1.818989e-12 | 1.500000e+01 | Inf
699.34/699.61 c 657s| 1380k|359841 | 6212k| 250M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 45k| 18k| 1.818989e-12 | 1.500000e+01 | Inf
703.83/704.10 c 661s| 1390k|361765 | 6255k| 252M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 45k| 18k| 1.818989e-12 | 1.500000e+01 | Inf
708.23/708.53 c 665s| 1400k|363802 | 6297k| 253M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 46k| 18k| 1.818989e-12 | 1.500000e+01 | Inf
712.54/712.85 c 669s| 1410k|365383 | 6337k| 254M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 46k| 18k| 1.818989e-12 | 1.500000e+01 | Inf
716.83/717.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.83/717.20 c 673s| 1420k|366814 | 6378k| 255M| 54 | 7 | 165 | 16 | 7 | 165 | 19 | 24 | 46k| 18k| 1.818989e-12 | 1.500000e+01 | Inf
721.23/721.59 c 677s| 1430k|368334 | 6420k| 257M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 46k| 18k| 1.818989e-12 | 1.500000e+01 | Inf
725.73/726.02 c 682s| 1440k|369852 | 6462k| 258M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 47k| 18k| 1.818989e-12 | 1.500000e+01 | Inf
730.03/730.37 c 686s| 1450k|371073 | 6504k| 259M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 47k| 18k| 1.818989e-12 | 1.500000e+01 | Inf
734.43/734.74 c 690s| 1460k|372385 | 6545k| 260M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 47k| 18k| 1.818989e-12 | 1.500000e+01 | Inf
738.83/739.16 c 694s| 1470k|373990 | 6587k| 262M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 47k| 18k| 1.818989e-12 | 1.500000e+01 | Inf
743.23/743.60 c 698s| 1480k|375500 | 6631k| 263M| 54 | 7 | 165 | 15 | 8 | 165 | 19 | 24 | 48k| 18k| 1.818989e-12 | 1.500000e+01 | Inf
747.72/748.01 c 702s| 1490k|376749 | 6673k| 264M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 48k| 18k| 1.818989e-12 | 1.500000e+01 | Inf
752.13/752.42 c 706s| 1500k|378254 | 6715k| 265M| 54 | - | 165 | 15 | 7 | 165 | 19 | 24 | 48k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
756.42/756.78 c 710s| 1510k|379370 | 6757k| 266M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 48k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
760.82/761.14 c 715s| 1520k|380834 | 6799k| 268M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 49k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
765.22/765.55 c 719s| 1530k|382285 | 6841k| 269M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 49k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
769.61/769.93 c 723s| 1540k|383361 | 6883k| 270M| 54 | - | 165 | 13 | 8 | 0 | 0 | 24 | 49k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
773.91/774.24 c 727s| 1550k|384095 | 6923k| 271M| 54 | - | 165 | 14 | 8 | 165 | 19 | 24 | 49k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
778.21/778.57 c 731s| 1560k|384932 | 6964k| 272M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 50k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
782.50/782.85 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
782.50/782.85 c 735s| 1570k|385975 | 7004k| 273M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 50k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
786.90/787.24 c 739s| 1580k|387266 | 7045k| 274M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 50k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
791.30/791.60 c 743s| 1590k|388540 | 7085k| 275M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 51k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
795.50/795.89 c 747s| 1600k|389676 | 7125k| 276M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 51k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
799.80/800.14 c 751s| 1610k|390702 | 7164k| 277M| 54 | - | 165 | 13 | 8 | 165 | 19 | 24 | 51k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
804.09/804.48 c 755s| 1620k|391664 | 7206k| 278M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 51k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
808.50/808.84 c 759s| 1630k|392698 | 7246k| 279M| 54 | - | 165 | 13 | 7 | 0 | 0 | 24 | 52k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
812.89/813.23 c 763s| 1640k|393700 | 7288k| 280M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 52k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
817.19/817.56 c 767s| 1650k|394483 | 7329k| 281M| 54 | 7 | 165 | 13 | 8 | 165 | 19 | 24 | 52k| 19k| 1.818989e-12 | 1.500000e+01 | Inf
821.59/821.92 c 772s| 1660k|395114 | 7370k| 281M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 52k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
825.89/826.29 c 776s| 1670k|396212 | 7411k| 282M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 53k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
830.29/830.69 c 780s| 1680k|397031 | 7451k| 283M| 54 | - | 165 | 16 | 7 | 0 | 0 | 24 | 53k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
834.59/834.98 c 784s| 1690k|397991 | 7491k| 284M| 54 | - | 165 | 14 | 7 | 0 | 0 | 24 | 53k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
838.89/839.30 c 788s| 1700k|399003 | 7531k| 285M| 54 | - | 165 | 15 | 7 | 165 | 19 | 24 | 53k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
843.39/843.74 c 792s| 1710k|399821 | 7574k| 286M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 54k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
847.69/848.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
847.69/848.09 c 796s| 1720k|401010 | 7615k| 287M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 54k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
852.08/852.50 c 800s| 1730k|402137 | 7656k| 288M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 54k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
856.49/856.86 c 804s| 1740k|403705 | 7697k| 289M| 54 | - | 165 | 15 | 7 | 165 | 19 | 24 | 54k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
860.77/861.17 c 808s| 1750k|404960 | 7738k| 290M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 55k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
865.07/865.48 c 812s| 1760k|405721 | 7778k| 291M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 55k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
869.57/869.94 c 817s| 1770k|407409 | 7819k| 292M| 54 | 7 | 165 | 16 | 7 | 165 | 19 | 24 | 55k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
873.97/874.33 c 821s| 1780k|408378 | 7860k| 293M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 55k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
878.36/878.71 c 825s| 1790k|409740 | 7901k| 295M| 54 | - | 165 | 12 | 6 | 0 | 0 | 24 | 56k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
882.77/883.11 c 829s| 1800k|410781 | 7941k| 296M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 56k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
887.27/887.62 c 833s| 1810k|412626 | 7982k| 297M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 56k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
891.56/891.93 c 837s| 1820k|413642 | 8021k| 298M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 56k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
895.87/896.26 c 841s| 1830k|414396 | 8061k| 299M| 54 | 7 | 165 | 12 | 8 | 165 | 19 | 24 | 57k| 20k| 1.818989e-12 | 1.500000e+01 | Inf
900.26/900.64 c 845s| 1840k|415446 | 8102k| 300M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 57k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
904.66/905.02 c 850s| 1850k|416384 | 8142k| 301M| 54 | 7 | 165 | 18 | 10 | 165 | 19 | 24 | 57k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
908.96/909.39 c 854s| 1860k|417325 | 8182k| 302M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 57k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
913.46/913.86 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
913.46/913.86 c 858s| 1870k|418928 | 8224k| 303M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 58k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
918.06/918.44 c 862s| 1880k|421357 | 8267k| 304M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 58k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
922.46/922.85 c 866s| 1890k|422980 | 8308k| 306M| 54 | - | 165 | 13 | 7 | 0 | 0 | 24 | 58k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
926.86/927.26 c 870s| 1900k|424612 | 8349k| 307M| 54 | - | 165 | 11 | 7 | 0 | 0 | 24 | 58k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
931.35/931.71 c 875s| 1910k|426147 | 8389k| 308M| 54 | - | 165 | 11 | 6 | 165 | 19 | 24 | 59k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
935.65/936.02 c 879s| 1920k|427408 | 8430k| 309M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 59k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
940.05/940.41 c 883s| 1930k|428823 | 8471k| 310M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 59k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
944.45/944.82 c 887s| 1940k|430713 | 8512k| 312M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 59k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
949.25/949.68 c 891s| 1950k|433687 | 8558k| 313M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 60k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
953.84/954.27 c 896s| 1960k|436221 | 8601k| 315M| 54 | - | 165 | 14 | 8 | 165 | 19 | 24 | 60k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
958.44/958.87 c 900s| 1970k|438356 | 8645k| 317M| 54 | 7 | 165 | 18 | 8 | 165 | 19 | 24 | 60k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
963.04/963.44 c 904s| 1980k|440439 | 8687k| 318M| 54 | - | 165 | 15 | 5 | 0 | 0 | 24 | 61k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
967.54/967.96 c 909s| 1990k|442402 | 8729k| 319M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 61k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
972.13/972.58 c 913s| 2000k|444641 | 8772k| 321M| 54 | - | 165 | 16 | 7 | 165 | 19 | 24 | 61k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
976.73/977.18 c 917s| 2010k|447196 | 8814k| 322M| 54 | - | 165 | 15 | 7 | 165 | 19 | 24 | 61k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
981.23/981.66 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
981.23/981.66 c 921s| 2020k|448982 | 8856k| 324M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 62k| 21k| 1.818989e-12 | 1.500000e+01 | Inf
985.73/986.16 c 926s| 2030k|450854 | 8898k| 325M| 54 | 7 | 165 | 15 | 8 | 165 | 19 | 24 | 62k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
990.23/990.63 c 930s| 2040k|452568 | 8939k| 326M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 62k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
994.72/995.12 c 934s| 2050k|454176 | 8982k| 327M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 62k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
999.12/999.54 c 938s| 2060k|455933 | 9024k| 329M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 63k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1003.62/1004.04 c 942s| 2070k|457832 | 9065k| 330M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 63k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1008.02/1008.47 c 947s| 2080k|459513 | 9107k| 331M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 63k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1012.42/1012.89 c 951s| 2090k|461030 | 9148k| 332M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 63k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1016.92/1017.34 c 955s| 2100k|462602 | 9189k| 334M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 64k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1021.43/1021.86 c 959s| 2110k|464510 | 9231k| 335M| 54 | - | 165 | 15 | 7 | 165 | 19 | 24 | 64k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1026.02/1026.46 c 964s| 2120k|466814 | 9272k| 337M| 54 | 7 | 165 | 19 | 7 | 165 | 19 | 24 | 64k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1030.61/1031.05 c 968s| 2130k|469149 | 9314k| 338M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 65k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1035.21/1035.66 c 972s| 2140k|471949 | 9357k| 340M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 65k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1039.81/1040.20 c 976s| 2150k|474416 | 9399k| 341M| 54 | - | 165 | 15 | 8 | 0 | 0 | 24 | 65k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1044.41/1044.84 c 981s| 2160k|476960 | 9442k| 343M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 66k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1048.91/1049.36 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1048.91/1049.36 c 985s| 2170k|479015 | 9483k| 344M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 66k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1053.51/1053.90 c 989s| 2180k|481026 | 9525k| 346M| 54 | 7 | 165 | 17 | 7 | 165 | 19 | 24 | 66k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1057.91/1058.34 c 994s| 2190k|482872 | 9566k| 347M| 54 | 7 | 165 | 13 | 8 | 165 | 19 | 24 | 66k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1062.50/1062.91 c 998s| 2200k|484882 | 9609k| 348M| 54 | - | 165 | 17 | 7 | 165 | 19 | 24 | 67k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1067.00/1067.45 c 1002s| 2210k|486784 | 9651k| 350M| 54 | - | 165 | 20 | 8 | 165 | 19 | 24 | 67k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1071.60/1072.06 c 1006s| 2220k|488920 | 9694k| 351M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 67k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1076.09/1076.54 c 1011s| 2230k|490612 | 9737k| 352M| 54 | - | 165 | 18 | 8 | 165 | 19 | 24 | 67k| 22k| 1.818989e-12 | 1.500000e+01 | Inf
1080.59/1081.06 c 1015s| 2240k|492555 | 9780k| 354M| 54 | 7 | 165 | 13 | 8 | 165 | 19 | 24 | 68k| 23k| 1.818989e-12 | 1.500000e+01 | Inf
1085.09/1085.56 c 1019s| 2250k|494193 | 9822k| 355M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 68k| 23k| 1.818989e-12 | 1.500000e+01 | Inf
1089.59/1090.06 c 1023s| 2260k|495815 | 9865k| 356M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 68k| 23k| 1.818989e-12 | 1.500000e+01 | Inf
1094.09/1094.52 c 1028s| 2270k|497400 | 9906k| 357M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 68k| 23k| 1.818989e-12 | 1.500000e+01 | Inf
1097.29/1097.72 o 13
1097.29/1097.72 c *1031s| 2276k|487343 | 9936k| 342M| 54 | - | 165 | 13 | 0 | 165 | 19 | 24 | 68k| 23k| 1.818989e-12 | 1.300000e+01 | Inf
1097.79/1098.29 o 12
1097.79/1098.29 c *1031s| 2277k|480449 | 9940k| 333M| 54 | - | 165 | 13 | 0 | 165 | 19 | 24 | 68k| 23k| 1.818989e-12 | 1.200000e+01 | Inf
1097.99/1098.43 o 10
1097.99/1098.43 c *1031s| 2277k|462002 | 9940k| 309M| 54 | - | 165 | 13 | 0 | 165 | 19 | 24 | 68k| 23k| 1.818989e-12 | 1.000000e+01 | Inf
1099.08/1099.50 c 1032s| 2280k|462405 | 9948k| 309M| 54 | 7 | 165 | 16 | 7 | 165 | 19 | 24 | 69k| 23k| 1.818989e-12 | 1.000000e+01 | Inf
1105.09/1105.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.09/1105.58 c 1038s| 2290k|463690 | 9986k| 310M| 54 | 7 | 165 | 18 | 7 | 165 | 19 | 24 | 69k| 23k| 1.818989e-12 | 1.000000e+01 | Inf
1109.39/1109.87 c 1042s| 2300k|464747 | 10024k| 311M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 69k| 23k| 1.818989e-12 | 1.000000e+01 | Inf
1113.58/1114.05 c 1046s| 2310k|465791 | 10061k| 312M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 69k| 23k| 1.818989e-12 | 1.000000e+01 | Inf
1117.78/1118.24 c 1050s| 2320k|467154 | 10099k| 313M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 69k| 23k| 1.818989e-12 | 1.000000e+01 | Inf
1121.97/1122.44 c 1054s| 2330k|468256 | 10137k| 313M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 70k| 23k| 1.818989e-12 | 1.000000e+01 | Inf
1126.18/1126.69 c 1058s| 2340k|469437 | 10174k| 314M| 54 | 7 | 165 | 17 | 7 | 165 | 19 | 24 | 70k| 23k| 1.818989e-12 | 1.000000e+01 | Inf
1130.47/1130.94 c 1062s| 2350k|470451 | 10213k| 315M| 54 | - | 165 | 14 | 6 | 0 | 0 | 24 | 70k| 23k| 1.818989e-12 | 1.000000e+01 | Inf
1134.68/1135.16 c 1066s| 2360k|471451 | 10251k| 316M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 70k| 23k| 1.818989e-12 | 1.000000e+01 | Inf
1138.87/1139.34 c 1070s| 2370k|472472 | 10289k| 317M| 54 | - | 165 | 16 | 7 | 165 | 19 | 24 | 71k| 23k| 1.818989e-12 | 1.000000e+01 | Inf
1143.07/1143.56 c 1074s| 2380k|473290 | 10326k| 318M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 71k| 23k| 1.818989e-12 | 1.000000e+01 | Inf
1147.27/1147.72 c 1077s| 2390k|474349 | 10362k| 318M| 54 | - | 165 | 14 | 8 | 0 | 0 | 24 | 71k| 23k| 1.818989e-12 | 1.000000e+01 | Inf
1151.37/1151.88 c 1081s| 2400k|475553 | 10400k| 319M| 54 | 7 | 165 | 17 | 7 | 165 | 19 | 24 | 71k| 23k| 1.818989e-12 | 1.000000e+01 | Inf
1155.57/1156.05 c 1085s| 2410k|476572 | 10437k| 320M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 71k| 23k| 1.818989e-12 | 1.000000e+01 | Inf
1159.66/1160.15 c 1089s| 2420k|477576 | 10473k| 321M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 72k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1163.86/1164.30 c 1093s| 2430k|478530 | 10509k| 322M| 54 | 7 | 165 | 16 | 7 | 165 | 19 | 24 | 72k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1168.06/1168.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.06/1168.50 c 1097s| 2440k|479742 | 10547k| 323M| 54 | - | 165 | 15 | 7 | 165 | 19 | 24 | 72k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1172.26/1172.70 c 1101s| 2450k|480631 | 10584k| 323M| 54 | - | 165 | 18 | 6 | 165 | 19 | 24 | 72k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1176.36/1176.84 c 1105s| 2460k|481477 | 10622k| 324M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 73k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1180.46/1180.98 c 1109s| 2470k|482314 | 10658k| 325M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 73k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1184.66/1185.14 c 1113s| 2480k|483375 | 10695k| 326M| 54 | - | 165 | 14 | 7 | 0 | 0 | 24 | 73k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1188.86/1189.34 c 1117s| 2490k|484365 | 10733k| 326M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 73k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1193.05/1193.55 c 1121s| 2500k|485186 | 10771k| 327M| 54 | 7 | 165 | 19 | 9 | 165 | 19 | 24 | 74k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1197.26/1197.76 c 1124s| 2510k|486683 | 10807k| 328M| 54 | 7 | 165 | 19 | 7 | 165 | 19 | 24 | 74k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1201.45/1201.95 c 1128s| 2520k|487604 | 10844k| 329M| 54 | - | 165 | 18 | 8 | 165 | 19 | 24 | 74k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1205.64/1206.19 c 1132s| 2530k|488202 | 10881k| 329M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 74k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1209.85/1210.36 c 1136s| 2540k|488768 | 10918k| 330M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 74k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1214.05/1214.52 c 1140s| 2550k|489689 | 10955k| 331M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 75k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1218.15/1218.66 c 1144s| 2560k|490632 | 10993k| 331M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 75k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1222.34/1222.82 c 1148s| 2570k|491110 | 11030k| 332M| 54 | 7 | 165 | 18 | 7 | 165 | 19 | 24 | 75k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1226.44/1226.96 c 1152s| 2580k|491919 | 11066k| 333M| 54 | - | 165 | 16 | 7 | 165 | 19 | 24 | 75k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1230.64/1231.15 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1230.64/1231.15 c 1156s| 2590k|492643 | 11103k| 333M| 54 | 7 | 165 | 18 | 7 | 165 | 19 | 24 | 76k| 24k| 1.818989e-12 | 1.000000e+01 | Inf
1234.74/1235.28 c 1160s| 2600k|493648 | 11141k| 334M| 54 | 7 | 165 | 18 | 7 | 165 | 19 | 24 | 76k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1238.93/1239.40 c 1164s| 2610k|494033 | 11178k| 335M| 54 | - | 165 | 15 | 7 | 165 | 19 | 24 | 76k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1243.04/1243.58 c 1168s| 2620k|494420 | 11215k| 335M| 54 | 7 | 165 | 16 | 7 | 165 | 19 | 24 | 76k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1247.24/1247.74 c 1171s| 2630k|495138 | 11253k| 336M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 76k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1251.44/1251.92 c 1175s| 2640k|495744 | 11289k| 336M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 77k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1255.53/1256.00 c 1179s| 2650k|496439 | 11325k| 337M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 77k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1259.63/1260.14 c 1183s| 2660k|497440 | 11362k| 338M| 54 | 7 | 165 | 16 | 7 | 165 | 19 | 24 | 77k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1263.83/1264.37 c 1187s| 2670k|498037 | 11401k| 338M| 54 | - | 165 | 15 | 7 | 0 | 0 | 24 | 77k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1268.03/1268.54 c 1191s| 2680k|498297 | 11439k| 339M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 78k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1272.13/1272.63 c 1195s| 2690k|498988 | 11475k| 339M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 78k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1276.22/1276.74 c 1199s| 2700k|499535 | 11511k| 340M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 78k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1280.32/1280.80 c 1202s| 2710k|500190 | 11547k| 341M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 78k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1284.42/1284.93 c 1206s| 2720k|500891 | 11584k| 341M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 78k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1288.52/1289.01 c 1210s| 2730k|501293 | 11619k| 342M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 79k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1292.62/1293.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1292.62/1293.11 c 1214s| 2740k|502301 | 11655k| 342M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 79k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1296.62/1297.17 c 1218s| 2750k|502844 | 11690k| 343M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 79k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1300.91/1301.41 c 1222s| 2760k|504191 | 11728k| 344M| 54 | 7 | 165 | 10 | 7 | 165 | 19 | 24 | 79k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1305.02/1305.59 c 1226s| 2770k|505834 | 11765k| 345M| 54 | 7 | 165 | 10 | 7 | 165 | 19 | 24 | 80k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1309.21/1309.72 c 1229s| 2780k|507005 | 11801k| 346M| 54 | 7 | 165 | 10 | 7 | 165 | 19 | 24 | 80k| 25k| 1.818989e-12 | 1.000000e+01 | Inf
1313.40/1313.91 c 1233s| 2790k|508468 | 11838k| 347M| 54 | 7 | 165 | 10 | 7 | 165 | 19 | 24 | 80k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1317.41/1317.94 c 1237s| 2800k|509294 | 11874k| 348M| 54 | - | 165 | 10 | 7 | 165 | 19 | 24 | 80k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1321.50/1322.04 c 1241s| 2810k|510266 | 11911k| 348M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 81k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1325.61/1326.16 c 1245s| 2820k|510973 | 11946k| 349M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 81k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1329.71/1330.29 c 1249s| 2830k|511823 | 11982k| 350M| 54 | - | 165 | 16 | 8 | 165 | 19 | 24 | 81k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1333.80/1334.39 c 1253s| 2840k|512696 | 12018k| 351M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 81k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1338.10/1338.63 c 1257s| 2850k|514155 | 12056k| 351M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 82k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1342.30/1342.82 c 1261s| 2860k|515658 | 12094k| 353M| 54 | - | 165 | 10 | 7 | 0 | 0 | 24 | 82k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1346.40/1346.95 c 1264s| 2870k|516741 | 12131k| 353M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 82k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1350.60/1351.13 c 1268s| 2880k|517954 | 12167k| 354M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 82k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1354.70/1355.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1354.70/1355.22 c 1272s| 2890k|518608 | 12204k| 355M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 82k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1358.79/1359.39 c 1276s| 2900k|519786 | 12240k| 356M| 54 | - | 165 | 12 | 7 | 0 | 0 | 24 | 82k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1362.99/1363.55 c 1280s| 2910k|520537 | 12277k| 356M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 83k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1367.19/1367.74 c 1284s| 2920k|521196 | 12313k| 357M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 83k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1371.39/1371.97 c 1288s| 2930k|522004 | 12350k| 358M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 83k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1375.49/1376.09 c 1292s| 2940k|523094 | 12385k| 358M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 83k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1379.69/1380.28 c 1296s| 2950k|524007 | 12422k| 359M| 54 | 7 | 165 | 10 | 7 | 165 | 19 | 24 | 84k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1383.88/1384.45 c 1300s| 2960k|524553 | 12460k| 360M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 84k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1388.08/1388.61 c 1304s| 2970k|524968 | 12495k| 360M| 54 | - | 165 | 13 | 7 | 0 | 0 | 24 | 84k| 26k| 1.818989e-12 | 1.000000e+01 | Inf
1392.08/1392.67 c 1307s| 2980k|525521 | 12530k| 361M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 84k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1396.08/1396.68 c 1311s| 2990k|525878 | 12564k| 361M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 85k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1400.18/1400.77 c 1315s| 3000k|526360 | 12600k| 362M| 54 | - | 165 | 15 | 8 | 165 | 19 | 24 | 85k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1404.27/1404.87 c 1319s| 3010k|526673 | 12634k| 362M| 54 | - | 165 | 15 | 7 | 165 | 19 | 24 | 85k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1408.48/1409.01 c 1323s| 3020k|526978 | 12670k| 363M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 85k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1412.47/1413.09 c 1327s| 3030k|527108 | 12705k| 363M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 85k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1416.67/1417.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.67/1417.20 c 1330s| 3040k|527474 | 12740k| 363M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 86k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1420.67/1421.25 c 1334s| 3050k|527748 | 12775k| 364M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 86k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1424.77/1425.38 c 1338s| 3060k|527966 | 12810k| 364M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 86k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1428.96/1429.53 c 1342s| 3070k|528969 | 12848k| 365M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 86k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1433.07/1433.69 c 1346s| 3080k|529807 | 12885k| 366M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 87k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1437.26/1437.81 c 1350s| 3090k|530282 | 12922k| 366M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 87k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1441.36/1441.91 c 1354s| 3100k|530642 | 12958k| 366M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 87k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1445.36/1445.99 c 1357s| 3110k|531131 | 12993k| 367M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 87k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1449.46/1450.09 c 1361s| 3120k|531206 | 13029k| 367M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 88k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1453.57/1454.19 c 1365s| 3130k|531419 | 13064k| 368M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 88k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1457.66/1458.24 c 1369s| 3140k|531489 | 13099k| 368M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 88k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1461.76/1462.34 c 1373s| 3150k|531443 | 13134k| 368M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 88k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1465.86/1466.48 c 1377s| 3160k|531822 | 13168k| 368M| 54 | - | 165 | 13 | 7 | 0 | 0 | 24 | 88k| 27k| 1.818989e-12 | 1.000000e+01 | Inf
1469.95/1470.57 c 1381s| 3170k|532071 | 13203k| 369M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 89k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1474.05/1474.65 c 1384s| 3180k|532127 | 13238k| 369M| 54 | - | 165 | 17 | 7 | 0 | 0 | 24 | 89k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1478.15/1478.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.15/1478.75 c 1388s| 3190k|532825 | 13274k| 370M| 54 | 7 | 165 | 16 | 7 | 165 | 19 | 24 | 89k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1482.15/1482.76 c 1392s| 3200k|533297 | 13310k| 370M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 89k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1486.24/1486.84 c 1396s| 3210k|533486 | 13345k| 371M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 90k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1490.35/1490.92 c 1400s| 3220k|533454 | 13380k| 371M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 90k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1494.34/1494.95 c 1403s| 3230k|533645 | 13413k| 371M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 90k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1498.35/1498.93 c 1407s| 3240k|533796 | 13448k| 371M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 90k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1502.34/1503.00 c 1411s| 3250k|533809 | 13482k| 372M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 91k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1506.44/1507.00 c 1415s| 3260k|534000 | 13516k| 372M| 54 | - | 165 | 13 | 7 | 0 | 0 | 24 | 91k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1510.44/1511.08 c 1419s| 3270k|534588 | 13551k| 372M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 91k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1514.53/1515.10 c 1422s| 3280k|534775 | 13584k| 373M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 91k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1518.54/1519.15 c 1426s| 3290k|534706 | 13617k| 373M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 92k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1522.63/1523.23 c 1430s| 3300k|534878 | 13652k| 373M| 54 | 7 | 165 | 10 | 7 | 165 | 19 | 24 | 92k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1526.73/1527.30 c 1434s| 3310k|535047 | 13686k| 373M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 92k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1530.73/1531.34 c 1438s| 3320k|535011 | 13720k| 374M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 92k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1534.73/1535.38 c 1442s| 3330k|535122 | 13755k| 374M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 93k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1538.83/1539.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1538.83/1539.42 c 1445s| 3340k|535186 | 13789k| 374M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 93k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1542.82/1543.43 c 1449s| 3350k|534997 | 13823k| 374M| 54 | - | 165 | 14 | 8 | 0 | 0 | 24 | 93k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1546.82/1547.48 c 1453s| 3360k|535055 | 13858k| 375M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 93k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1550.93/1551.52 c 1457s| 3370k|535162 | 13893k| 375M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 94k| 28k| 1.818989e-12 | 1.000000e+01 | Inf
1554.92/1555.53 c 1461s| 3380k|535046 | 13927k| 375M| 54 | - | 165 | 10 | 7 | 165 | 19 | 24 | 94k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1558.92/1559.56 c 1464s| 3390k|534954 | 13961k| 375M| 54 | - | 165 | 11 | 7 | 0 | 0 | 24 | 94k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1563.02/1563.69 c 1468s| 3400k|535253 | 13996k| 375M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 94k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1567.12/1567.71 c 1472s| 3410k|535416 | 14030k| 376M| 54 | - | 165 | 11 | 7 | 165 | 19 | 24 | 94k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1571.11/1571.74 c 1476s| 3420k|535205 | 14064k| 376M| 54 | 7 | 165 | 10 | 7 | 165 | 19 | 24 | 95k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1575.12/1575.71 c 1479s| 3430k|535207 | 14098k| 376M| 54 | - | 165 | 10 | 7 | 165 | 19 | 24 | 95k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1579.11/1579.79 c 1483s| 3440k|535268 | 14134k| 376M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 95k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1583.11/1583.77 c 1487s| 3450k|535230 | 14168k| 376M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 95k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1587.21/1587.82 c 1491s| 3460k|535034 | 14202k| 376M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 96k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1591.21/1591.83 c 1495s| 3470k|535127 | 14236k| 377M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 96k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1595.30/1595.90 c 1498s| 3480k|535159 | 14272k| 377M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 96k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1599.31/1599.94 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1599.31/1599.94 c 1502s| 3490k|535448 | 14307k| 377M| 54 | - | 165 | 11 | 7 | 0 | 0 | 24 | 96k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1603.30/1603.98 c 1506s| 3500k|535458 | 14343k| 377M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 96k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1607.60/1608.26 c 1510s| 3510k|536882 | 14381k| 378M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 97k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1611.70/1612.37 c 1514s| 3520k|537686 | 14418k| 379M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 97k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1615.80/1616.49 c 1518s| 3530k|538244 | 14455k| 380M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 97k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1620.00/1620.62 c 1522s| 3540k|538912 | 14491k| 380M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 97k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1624.10/1624.72 c 1526s| 3550k|539377 | 14527k| 381M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 98k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1628.20/1628.81 c 1529s| 3560k|540020 | 14561k| 381M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 98k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1632.29/1632.92 c 1533s| 3570k|540216 | 14597k| 382M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 98k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1636.39/1637.05 c 1537s| 3580k|540954 | 14633k| 382M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 98k| 29k| 1.818989e-12 | 1.000000e+01 | Inf
1640.28/1640.98 c 1541s| 3590k|541656 | 14667k| 383M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 98k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1644.38/1645.08 c 1545s| 3600k|541994 | 14703k| 383M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 99k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1648.48/1649.19 c 1549s| 3610k|542183 | 14738k| 384M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 99k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1652.59/1653.22 c 1552s| 3620k|542391 | 14772k| 384M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 99k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1656.58/1657.23 c 1556s| 3630k|542751 | 14806k| 384M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 100k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1660.68/1661.39 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1660.68/1661.39 c 1560s| 3640k|543667 | 14843k| 385M| 54 | - | 165 | 12 | 7 | 0 | 0 | 24 | 100k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1664.88/1665.54 c 1564s| 3650k|544376 | 14879k| 386M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 100k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1668.98/1669.67 c 1568s| 3660k|545051 | 14914k| 386M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 100k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1673.07/1673.73 c 1572s| 3670k|545464 | 14951k| 387M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 100k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1677.18/1677.84 c 1575s| 3680k|545798 | 14987k| 387M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 101k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1681.27/1681.93 c 1579s| 3690k|545935 | 15022k| 388M| 54 | 7 | 165 | 15 | 7 | 165 | 19 | 24 | 101k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1685.37/1686.03 c 1583s| 3700k|546060 | 15056k| 388M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 101k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1689.47/1690.13 c 1587s| 3710k|546039 | 15090k| 388M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 102k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1693.47/1694.16 c 1591s| 3720k|546197 | 15124k| 388M| 54 | 7 | 165 | 14 | 7 | 165 | 19 | 24 | 102k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1697.57/1698.25 c 1595s| 3730k|546131 | 15159k| 389M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 102k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1701.56/1702.28 c 1598s| 3740k|546191 | 15193k| 389M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 102k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1705.67/1706.34 c 1602s| 3750k|546347 | 15227k| 389M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 103k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1709.77/1710.43 c 1606s| 3760k|546538 | 15262k| 389M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 103k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1713.76/1714.48 c 1610s| 3770k|546845 | 15296k| 390M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 103k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1717.86/1718.53 c 1614s| 3780k|547046 | 15330k| 390M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 103k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1721.97/1722.61 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1721.97/1722.61 c 1618s| 3790k|547064 | 15366k| 390M| 54 | - | 165 | 14 | 7 | 0 | 0 | 24 | 104k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1726.06/1726.71 c 1621s| 3800k|546975 | 15401k| 391M| 54 | - | 165 | 13 | 7 | 165 | 19 | 24 | 104k| 30k| 1.818989e-12 | 1.000000e+01 | Inf
1730.16/1730.84 c 1625s| 3810k|547268 | 15438k| 391M| 54 | - | 165 | 14 | 8 | 165 | 19 | 24 | 104k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1734.15/1734.87 c 1629s| 3820k|547186 | 15472k| 391M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 104k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1738.25/1738.90 c 1633s| 3830k|547313 | 15508k| 391M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 105k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1742.25/1742.99 c 1637s| 3840k|547887 | 15543k| 392M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 105k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1746.35/1747.04 c 1641s| 3850k|547722 | 15576k| 392M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 105k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1750.46/1751.18 c 1644s| 3860k|547957 | 15612k| 392M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 105k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1754.55/1755.21 c 1648s| 3870k|548146 | 15647k| 393M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 106k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1758.55/1759.23 c 1652s| 3880k|548453 | 15680k| 393M| 54 | 7 | 165 | 12 | 7 | 165 | 19 | 24 | 106k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1762.55/1763.24 c 1656s| 3890k|548425 | 15714k| 393M| 54 | 7 | 165 | 11 | 7 | 165 | 19 | 24 | 106k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1766.64/1767.34 c 1660s| 3900k|548450 | 15748k| 394M| 54 | - | 165 | 15 | 7 | 165 | 19 | 24 | 106k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1770.64/1771.38 c 1663s| 3910k|548474 | 15782k| 394M| 54 | - | 165 | 17 | 8 | 0 | 0 | 24 | 107k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1774.65/1775.40 c 1667s| 3920k|548303 | 15814k| 394M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 107k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1778.84/1779.53 c 1671s| 3930k|548537 | 15851k| 394M| 54 | - | 165 | 12 | 7 | 165 | 19 | 24 | 107k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1782.94/1783.69 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1782.94/1783.69 c 1675s| 3940k|548599 | 15886k| 394M| 54 | - | 165 | 13 | 7 | 0 | 0 | 24 | 108k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1787.04/1787.76 c 1679s| 3950k|548784 | 15922k| 395M| 54 | - | 165 | 15 | 7 | 0 | 0 | 24 | 108k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1791.14/1791.80 c 1683s| 3960k|548405 | 15955k| 395M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 108k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1795.13/1795.83 c 1686s| 3970k|548254 | 15989k| 395M| 54 | - | 165 | 14 | 7 | 165 | 19 | 24 | 108k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1799.13/1799.83 c 1690s| 3980k|548604 | 16025k| 395M| 54 | 7 | 165 | 13 | 7 | 165 | 19 | 24 | 109k| 31k| 1.818989e-12 | 1.000000e+01 | Inf
1800.04/1800.70 c
1800.04/1800.70 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.70 c Solving Time (sec) : 1690.97
1800.04/1800.70 c Solving Nodes : 3982167
1800.04/1800.70 c Primal Bound : +1.00000000000000e+01 (39 solutions)
1800.04/1800.70 c Dual Bound : +1.81898940354586e-12
1800.04/1800.70 c Gap : infinite
1800.04/1800.71 c NODE 3982167
1800.04/1800.71 c DUAL BOUND 1.81899e-12
1800.04/1800.71 c PRIMAL BOUND 10
1800.04/1800.71 c GAP 1e+20
1800.04/1800.71 s SATISFIABLE
1800.04/1800.71 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.04/1800.71 v -x148 x147 -x146 -x145 x144 -x143 -x142 x141 x140 -x139 x138 -x137 -x136 x135 x134 x133 -x132 -x131 -x130 -x129 -x128 -x127
1800.04/1800.71 v -x126 x125 -x124 x123 x122 -x121 x120 -x119 x118 x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.04/1800.71 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81
1800.04/1800.71 v -x80 -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.04/1800.71 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
1800.04/1800.71 v -x29 -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
1800.04/1800.71 v -x3 x2 -x1
1800.04/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.71 c Solving Time : 1690.97
1800.04/1800.71 c Original Problem :
1800.04/1800.71 c Problem name : HOME/instance-1869538-1245177527.opb
1800.04/1800.71 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 14 initial, 14 maximal
1800.04/1800.71 c Presolved Problem :
1800.04/1800.71 c Problem name : t_HOME/instance-1869538-1245177527.opb
1800.04/1800.71 c Variables : 165 (165 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.71 c Constraints : 7 initial, 31 maximal
1800.04/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.71 c linear : 0.00 0 7 0 0 0 7 0 0
1800.04/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.71 c root node : - 56 - - 56 - - - -
1800.04/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c integral : 0 0 0 2326246 0 147 10087 0 0 4632484
1800.04/1800.71 c linear : 7 6 5902832 1 0 559694 3893672 13 0 0
1800.04/1800.71 c logicor : 0+ 0 527905 0 0 4452 33622 0 0 0
1800.04/1800.71 c countsols : 0 0 0 21 0 0 0 0 0 0
1800.04/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.71 c integral : 30.63 0.00 0.00 30.63 0.00
1800.04/1800.71 c linear : 431.88 0.00 431.88 0.00 0.00
1800.04/1800.71 c logicor : 1.10 0.00 1.10 0.00 0.00
1800.04/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.71 c rootredcost : 2.03 34 0 56
1800.04/1800.71 c pseudoobj : 49.23 5921767 19097 56814
1800.04/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.71 c propagation : 39.49 579721 105333 121854 59.1 0 0.0 -
1800.04/1800.71 c infeasible LP : 0.28 4518 4517 4630 29.9 0 0.0 0
1800.04/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.71 c applied globally : - - - 2976 26.4 - - -
1800.04/1800.71 c applied locally : - - - 106121 58.9 - - -
1800.04/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.71 c cut pool : 0.00 5 - - 18 - (maximal pool size: 74)
1800.04/1800.71 c redcost : 61.14 3279673 0 20387161 0 0
1800.04/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.04/1800.71 c intobj : 0.00 0 0 0 0 0
1800.04/1800.71 c gomory : 0.03 6 0 0 0 0
1800.04/1800.71 c strongcg : 0.00 6 0 0 11 0
1800.04/1800.71 c cmir : 0.03 6 0 0 35 0
1800.04/1800.71 c flowcover : 0.04 6 0 0 36 0
1800.04/1800.71 c clique : 0.00 1 0 0 0 0
1800.04/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.71 c mcf : 0.00 1 0 0 0 0
1800.04/1800.71 c Pricers : Time Calls Vars
1800.04/1800.71 c problem variables: 0.00 0 0
1800.04/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.71 c relpscost : 28.43 2326225 147 10087 0 0 4632484
1800.04/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.71 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.71 c random : 0.00 0 0 0 0 0 0
1800.04/1800.71 c Primal Heuristics : Time Calls Found
1800.04/1800.71 c LP solutions : 0.42 - 21
1800.04/1800.71 c pseudo solutions : 0.00 - 0
1800.04/1800.71 c feaspump : 0.15 1 0
1800.04/1800.71 c oneopt : 1.52 34 0
1800.04/1800.71 c crossover : 14.52 14 2
1800.04/1800.71 c rootsoldiving : 5.69 896 4
1800.04/1800.71 c pscostdiving : 18.05 6151 1
1800.04/1800.71 c coefdiving : 25.28 6151 2
1800.04/1800.71 c fracdiving : 18.47 6151 2
1800.04/1800.71 c veclendiving : 14.91 6151 1
1800.04/1800.71 c linesearchdiving : 12.49 6151 1
1800.04/1800.71 c guideddiving : 14.49 6151 4
1800.04/1800.71 c objpscostdiving : 5.72 3076 1
1800.04/1800.71 c simplerounding : 1.20 0 0
1800.04/1800.71 c rounding : 2.62 22633 0
1800.04/1800.71 c shifting : 6.73 7111 0
1800.04/1800.71 c intshifting : 0.16 0 0
1800.04/1800.71 c fixandinfer : 0.00 0 0
1800.04/1800.71 c intdiving : 0.00 0 0
1800.04/1800.71 c actconsdiving : 0.00 0 0
1800.04/1800.71 c octane : 0.00 0 0
1800.04/1800.71 c rens : 0.03 1 0
1800.04/1800.71 c rins : 0.00 0 0
1800.04/1800.71 c localbranching : 0.00 0 0
1800.04/1800.71 c mutation : 0.00 0 0
1800.04/1800.71 c dins : 0.00 0 0
1800.04/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.71 c dual LP : 647.14 3674518 14960654 4.07 23118.11
1800.04/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.71 c diving/probing LP: 57.32 499478 1072769 2.15 18715.44
1800.04/1800.71 c strong branching : 7.50 31723 106863 3.37 14248.40
1800.04/1800.71 c (at root node) : - 18 893 49.61 -
1800.04/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.71 c B&B Tree :
1800.04/1800.71 c number of runs : 1
1800.04/1800.71 c nodes : 3982167
1800.04/1800.71 c nodes (total) : 3982167
1800.04/1800.71 c nodes left : 548658
1800.04/1800.71 c max depth : 54
1800.04/1800.71 c max depth (total): 54
1800.04/1800.71 c backtracks : 809010 (20.3%)
1800.04/1800.71 c delayed cutoffs : 17960
1800.04/1800.71 c repropagations : 35067 (119105 domain reductions, 17933 cutoffs)
1800.04/1800.71 c avg switch length: 5.63
1800.04/1800.71 c switching time : 126.91
1800.04/1800.71 c Solution :
1800.04/1800.71 c Solutions found : 39 (34 improvements)
1800.04/1800.71 c Primal Bound : +1.00000000000000e+01 (in run 1, after 2277990 nodes, 1031.06 seconds, depth 43, found by <relaxation>)
1800.04/1800.71 c Dual Bound : +1.81898940354586e-12
1800.04/1800.71 c Gap : infinite
1800.04/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-1869538-1245177527/watcher-1869538-1245177527 -o /tmp/evaluation-result-1869538-1245177527/solver-1869538-1245177527 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869538-1245177527.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.01 1.00 3/65 15805
/proc/meminfo: memFree=1866160/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=6100 CPUtime=0
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 587 0 0 0 0 0 0 0 20 0 1 0 185351663 6246400 569 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/15805/statm: 1525 579 325 886 0 635 0
[startup+0.0300391 s]
/proc/loadavg: 1.00 1.01 1.00 3/65 15805
/proc/meminfo: memFree=1866160/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=13108 CPUtime=0.02
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 2703 0 0 0 1 1 0 0 20 0 1 0 185351663 13422592 2331 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 3277 2331 438 886 0 2387 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13108
[startup+0.101051 s]
/proc/loadavg: 1.00 1.01 1.00 3/65 15805
/proc/meminfo: memFree=1866160/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=13108 CPUtime=0.09
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 2849 0 0 0 8 1 0 0 20 0 1 0 185351663 13422592 2477 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 3277 2477 551 886 0 2387 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13108
[startup+0.301088 s]
/proc/loadavg: 1.00 1.01 1.00 3/65 15805
/proc/meminfo: memFree=1866160/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=15900 CPUtime=0.28
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 4751 0 0 0 26 2 0 0 22 0 1 0 185351663 16281600 3205 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 3975 3205 567 886 0 3085 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15900
[startup+0.701162 s]
/proc/loadavg: 1.00 1.01 1.00 3/65 15805
/proc/meminfo: memFree=1866160/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=15900 CPUtime=0.69
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 4760 0 0 0 64 5 0 0 25 0 1 0 185351663 16281600 3214 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 3975 3214 573 886 0 3085 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15900
[startup+1.50231 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 15806
/proc/meminfo: memFree=1857640/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=13912 CPUtime=1.49
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 5598 0 0 0 139 10 0 0 25 0 1 0 185351663 14245888 2726 1992294400 4194304 7823515 548682068736 18446744073709551615 6100198 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 3478 2726 573 886 0 2588 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13912
[startup+3.10161 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 15806
/proc/meminfo: memFree=1856936/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=14768 CPUtime=3.09
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 7496 0 0 0 286 23 0 0 25 0 1 0 185351663 15122432 2967 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 3692 2967 573 886 0 2802 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14768
[startup+6.30121 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 15806
/proc/meminfo: memFree=1854056/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=17272 CPUtime=6.29
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 10073 0 0 0 586 43 0 0 25 0 1 0 185351663 17686528 3575 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 4318 3575 573 886 0 3428 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17272
[startup+12.7014 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 15806
/proc/meminfo: memFree=1851248/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=20884 CPUtime=12.69
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 13378 0 0 0 1187 82 0 0 25 0 1 0 185351663 21385216 4502 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 5221 4502 573 886 0 4331 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20884
[startup+25.5018 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 15806
/proc/meminfo: memFree=1842096/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=28628 CPUtime=25.48
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 22478 0 0 0 2384 164 0 0 25 0 1 0 185351663 29315072 6493 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 7157 6493 573 886 0 6267 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28628
[startup+51.1016 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 15806
/proc/meminfo: memFree=1821232/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=49008 CPUtime=51.08
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 34868 0 0 0 4794 314 0 0 25 0 1 0 185351663 50184192 11713 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 12252 11713 573 886 0 11362 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49008
[startup+102.305 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 15806
/proc/meminfo: memFree=1798192/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=74532 CPUtime=102.26
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 56848 0 0 0 9590 636 0 0 25 0 1 0 185351663 76320768 17470 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 18633 17470 576 886 0 17743 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 74532
[startup+162.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 15806
/proc/meminfo: memFree=1774896/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=96000 CPUtime=162.23
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 69148 0 0 0 15218 1005 0 0 25 0 1 0 185351663 98304000 23254 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 24000 23254 576 886 0 23110 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 96000
[startup+222.302 s]
/proc/loadavg: 1.07 1.04 1.00 2/66 15806
/proc/meminfo: memFree=1738608/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=131604 CPUtime=222.21
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 82094 0 0 0 20861 1360 0 0 25 0 1 0 185351663 134762496 32279 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 32901 32279 576 886 0 32011 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 131604
[startup+282.302 s]
/proc/loadavg: 1.06 1.04 1.00 2/66 15806
/proc/meminfo: memFree=1712880/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=156928 CPUtime=282.19
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 93758 0 0 0 26499 1720 0 0 25 0 1 0 185351663 160694272 38713 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 39232 38713 576 886 0 38342 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 156928
[startup+342.302 s]
/proc/loadavg: 1.06 1.04 1.00 2/66 15806
/proc/meminfo: memFree=1683696/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=189384 CPUtime=342.17
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 103654 0 0 0 32133 2084 0 0 25 0 1 0 185351663 193929216 45942 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 47346 45942 576 886 0 46456 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 189384
[startup+402.301 s]
/proc/loadavg: 1.06 1.05 1.00 2/66 15806
/proc/meminfo: memFree=1655472/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=216804 CPUtime=402.15
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 111326 0 0 0 37773 2442 0 0 25 0 1 0 185351663 222007296 52960 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 54201 52960 576 886 0 53311 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 216804
[startup+462.301 s]
/proc/loadavg: 1.05 1.05 1.00 2/66 15806
/proc/meminfo: memFree=1640112/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=231820 CPUtime=462.12
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 124202 0 0 0 43396 2816 0 0 25 0 1 0 185351663 237383680 56761 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 57955 56761 576 886 0 57065 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 231820
[startup+522.302 s]
/proc/loadavg: 1.05 1.05 1.00 2/66 15806
/proc/meminfo: memFree=1624496/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=246668 CPUtime=522.1
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 128690 0 0 0 49027 3183 0 0 25 0 1 0 185351663 252588032 60597 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 61667 60597 576 886 0 60777 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 246668
[startup+582.302 s]
/proc/loadavg: 1.02 1.04 1.00 2/66 15806
/proc/meminfo: memFree=1604336/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=266668 CPUtime=582.08
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 133750 0 0 0 54667 3541 0 0 25 0 1 0 185351663 273068032 65657 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 66667 65657 576 886 0 65777 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 266668
[startup+642.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 15806
/proc/meminfo: memFree=1591984/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=278764 CPUtime=642.06
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 142095 0 0 0 60296 3910 0 0 25 0 1 0 185351663 285454336 68720 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 69691 68720 576 886 0 68801 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 278764
[startup+702.301 s]
################
# More data... #
################
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 169815 0 0 0 99724 6466 0 0 25 0 1 0 185351663 397078528 94484 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 96943 94484 576 886 0 96053 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 387772
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15808
/proc/meminfo: memFree=1472944/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=402644 CPUtime=1121.88
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 177185 0 0 0 105357 6831 0 0 25 0 1 0 185351663 412307456 98255 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 100661 98255 576 886 0 99771 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 402644
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15808
/proc/meminfo: memFree=1472816/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=402644 CPUtime=1181.86
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 177185 0 0 0 110997 7189 0 0 25 0 1 0 185351663 412307456 98255 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 100661 98255 576 886 0 99771 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 402644
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15808
/proc/meminfo: memFree=1469808/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=405396 CPUtime=1241.84
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 177904 0 0 0 116630 7554 0 0 25 0 1 0 185351663 415125504 98974 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 101349 98974 576 886 0 100459 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 405396
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15808
/proc/meminfo: memFree=1462640/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=412436 CPUtime=1301.81
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 179688 0 0 0 122252 7929 0 0 25 0 1 0 185351663 422334464 100758 1992294400 4194304 7823515 548682068736 18446744073709551615 6254289 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 103109 100758 576 886 0 102219 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 412436
[startup+1362.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 15814
/proc/meminfo: memFree=1452848/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=421784 CPUtime=1361.79
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 182053 0 0 0 127884 8295 0 0 25 0 1 0 185351663 431906816 103123 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 105446 103123 576 886 0 104556 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 421784
[startup+1422.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 15814
/proc/meminfo: memFree=1446704/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=427800 CPUtime=1421.77
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 183588 0 0 0 133522 8655 0 0 25 0 1 0 185351663 438067200 104658 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 106950 104658 576 886 0 106060 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 427800
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1442352/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=431964 CPUtime=1481.75
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 184651 0 0 0 139159 9016 0 0 25 0 1 0 185351663 442331136 105721 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 107991 105721 576 886 0 107101 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 431964
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1439408/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=434844 CPUtime=1541.73
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 185378 0 0 0 144808 9365 0 0 25 0 1 0 185351663 445280256 106448 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 108711 106448 576 886 0 107821 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 434844
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1437872/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=436188 CPUtime=1601.7
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 185746 0 0 0 150451 9719 0 0 25 0 1 0 185351663 446656512 106816 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 109047 106816 576 886 0 108157 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 436188
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1431984/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=442012 CPUtime=1661.69
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 187205 0 0 0 156085 10084 0 0 25 0 1 0 185351663 452620288 108275 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 110503 108275 576 886 0 109613 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 442012
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1429104/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=444700 CPUtime=1721.66
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 187889 0 0 0 161728 10438 0 0 25 0 1 0 185351663 455372800 108959 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 111175 108959 576 886 0 110285 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 444700
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1426032/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=447496 CPUtime=1781.64
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 188608 0 0 0 167368 10796 0 0 25 0 1 0 185351663 458235904 109678 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 111874 109678 576 886 0 110984 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 447496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 15814
/proc/meminfo: memFree=1426032/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=447496 CPUtime=1800.04
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 188608 0 0 0 169097 10907 0 0 25 0 1 0 185351663 458235904 109678 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/15805/statm: 111874 109678 576 886 0 110984 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 447496
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15805
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 15814
/proc/meminfo: memFree=1426032/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=447496 CPUtime=1800.73
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 188610 0 0 0 169166 10907 0 0 25 0 1 0 185351663 458235904 109680 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/15805/statm: 111874 109680 578 886 0 110984 0
Current children cumulated CPU time (s) 1800.73
Current children cumulated vsize (KiB) 447496
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15815
/proc/meminfo: memFree=1426024/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=447496 CPUtime=1801.53
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 188610 0 0 0 169246 10907 0 0 25 0 1 0 185351663 458235904 109680 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/15805/statm: 111874 109680 578 886 0 110984 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 447496
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15815
/proc/meminfo: memFree=1426024/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=447496 CPUtime=1801.93
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 188610 0 0 0 169286 10907 0 0 25 0 1 0 185351663 458235904 109680 1992294400 4194304 7823515 548682068736 18446744073709551615 5875083 0 0 4096 0 0 0 0 17 1 0 0
/proc/15805/statm: 111874 109680 578 886 0 110984 0
Current children cumulated CPU time (s) 1801.93
Current children cumulated vsize (KiB) 447496
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15815
/proc/meminfo: memFree=1426024/2055920 swapFree=4192812/4192956
[pid=15805] ppid=15803 vsize=447496 CPUtime=1802.03
/proc/15805/stat : 15805 (pbscip.linux.x8) R 15803 15805 15740 0 -1 4194304 188610 0 0 0 169296 10907 0 0 25 0 1 0 185351663 458235904 109680 1992294400 4194304 7823515 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/15805/statm: 111874 109680 578 886 0 110984 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 447496
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.78
CPU time (s): 1802.12
CPU user time (s): 1692.98
CPU system time (s): 109.142
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 447496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1692.98
system time used= 109.142
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188610
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= 3
involuntary context switches= 3007
runsolver used 1.9777 second user time and 4.6133 second system time
The end