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-1869526-1245176562.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 7 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/165 (61.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 7 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 165 variables (165 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c OPT-LIN
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = c 1620
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = c 1791
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = c 10000
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving problem
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 89 | 536k| 0 | 7 | 165 | 7 | 7 | 165 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.05 c 0.0s| 1 | 0 | 149 | 646k| 0 | 13 | 165 | 7 | 7 | 165 | 14 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.06 c 0.1s| 1 | 0 | 159 | 696k| 0 | 13 | 165 | 7 | 7 | 165 | 18 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.08 c 0.1s| 1 | 0 | 161 | 708k| 0 | 15 | 165 | 7 | 7 | 165 | 20 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 173 | 732k| 0 | 16 | 165 | 7 | 7 | 165 | 23 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 179 | 758k| 0 | 19 | 165 | 7 | 7 | 165 | 26 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 2 | 179 | 759k| 0 | 19 | 165 | 7 | 7 | 165 | 26 | 19 | 0 | 19 | 0.000000e+00 | -- | Inf
0.39/0.41 o 766
0.39/0.41 c c 0.4s| 44 | 43 | 422 | 816k| 43 | - | 165 | 7 | 2 | 165 | 20 | 19 | 0 | 281 | 0.000000e+00 | 7.660000e+02 | Inf
0.39/0.44 o 474
0.39/0.44 c p 0.4s| 68 | 63 | 544 | 830k| 45 | - | 165 | 7 | 5 | 165 | 20 | 19 | 0 | 340 | 0.000000e+00 | 4.740000e+02 | Inf
0.89/0.90 o 269
0.89/0.90 c f 0.8s| 486 | 479 | 3877 |1062k| 47 | - | 165 | 10 | 4 | 165 | 20 | 19 | 20 | 631 | 0.000000e+00 | 2.690000e+02 | Inf
1.39/1.47 o 184
1.39/1.47 c g 1.4s| 1173 | 1137 | 8362 |1325k| 47 | - | 165 | 13 | 2 | 165 | 20 | 19 | 35 | 697 | 0.000000e+00 | 1.840000e+02 | Inf
1.79/1.81 o 115
1.79/1.81 c g 1.7s| 1590 | 1471 | 10922 |1472k| 47 | - | 165 | 13 | 8 | 165 | 20 | 19 | 60 | 710 | 0.000000e+00 | 1.150000e+02 | Inf
3.49/3.54 o 114
3.49/3.54 c * 3.3s| 3165 | 3025 | 21050 |2127k| 50 | - | 165 | 13 | 0 | 165 | 20 | 19 | 121 | 781 | 0.000000e+00 | 1.140000e+02 | Inf
7.09/7.13 o 113
7.09/7.13 c c 6.7s| 7561 | 7396 | 49549 |4026k| 50 | - | 165 | 14 | 1 | 165 | 20 | 19 | 308 | 847 | 0.000000e+00 | 1.130000e+02 | Inf
8.49/8.57 o 112
8.49/8.57 c f 8.0s| 9214 | 9026 | 60797 |4762k| 50 | - | 165 | 14 | 1 | 165 | 20 | 19 | 394 | 901 | 0.000000e+00 | 1.120000e+02 | Inf
9.19/9.20 o 111
9.19/9.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.19/9.20 c * 8.6s| 9927 | 9731 | 66026 |5077k| 50 | - | 165 | 15 | 0 | 165 | 20 | 19 | 435 | 924 | 0.000000e+00 | 1.110000e+02 | Inf
9.19/9.27 c 8.7s| 10000 | 9804 | 66505 |5103k| 50 | 7 | 165 | 15 | 7 | 165 | 20 | 19 | 438 | 924 | 0.000000e+00 | 1.110000e+02 | Inf
9.38/9.42 o 110
9.38/9.42 c f 8.8s| 10164 | 9963 | 67612 |5182k| 50 | - | 165 | 15 | 1 | 165 | 20 | 19 | 445 | 936 | 0.000000e+00 | 1.100000e+02 | Inf
9.48/9.52 o 109
9.48/9.52 c v 8.9s| 10266 | 10062 | 68403 |5232k| 50 | - | 165 | 14 | 0 | 165 | 20 | 19 | 455 | 948 | 0.000000e+00 | 1.090000e+02 | Inf
11.68/11.72 o 107
11.68/11.72 c *10.9s| 12781 | 12512 | 86121 |6336k| 50 | - | 165 | 14 | 0 | 165 | 20 | 19 | 580 |1044 | 0.000000e+00 | 1.070000e+02 | Inf
11.68/11.72 o 105
11.68/11.72 c *11.0s| 12782 | 12499 | 86124 |6329k| 50 | - | 165 | 14 | 0 | 165 | 20 | 19 | 580 |1044 | 0.000000e+00 | 1.050000e+02 | Inf
12.39/12.49 o 103
12.39/12.49 c f11.7s| 13627 | 13301 | 92562 |6706k| 50 | - | 165 | 18 | 0 | 165 | 20 | 19 | 613 |1080 | 0.000000e+00 | 1.030000e+02 | Inf
12.59/12.61 o 102
12.59/12.61 c *11.8s| 13776 | 13438 | 93574 |6765k| 50 | - | 165 | 18 | 2 | 165 | 20 | 19 | 618 |1091 | 0.000000e+00 | 1.020000e+02 | Inf
12.59/12.62 o 100
12.59/12.62 c l11.8s| 13778 | 13436 | 93581 |6767k| 50 | - | 165 | 18 | 2 | 165 | 20 | 19 | 621 |1105 | 0.000000e+00 | 1.000000e+02 | Inf
12.89/12.99 o 98
12.89/12.99 c c12.2s| 14185 | 13813 | 96415 |6943k| 50 | - | 165 | 18 | 0 | 165 | 20 | 19 | 635 |1136 | 0.000000e+00 | 9.800000e+01 | Inf
13.89/13.95 o 97
13.89/13.95 c *13.1s| 15242 | 14782 |103675 |7411k| 50 | - | 165 | 17 | 2 | 165 | 20 | 19 | 698 |1208 | 0.000000e+00 | 9.700000e+01 | Inf
14.39/14.49 o 95
14.39/14.49 c *13.6s| 15820 | 15334 |107615 |7659k| 50 | - | 165 | 17 | 1 | 165 | 20 | 19 | 732 |1228 | 0.000000e+00 | 9.500000e+01 | Inf
16.38/16.49 o 94
16.38/16.49 c l15.5s| 17807 | 17153 |122908 |8504k| 50 | - | 165 | 17 | 2 | 165 | 20 | 19 | 858 |1308 | 0.000000e+00 | 9.400000e+01 | Inf
17.49/17.59 o 92
17.49/17.59 c *16.5s| 18897 | 18167 |131326 |8964k| 50 | - | 165 | 18 | 1 | 165 | 20 | 19 | 920 |1339 | 0.000000e+00 | 9.200000e+01 | Inf
18.29/18.38 c 17.3s| 20000 | 19202 |137805 |9443k| 50 | 7 | 165 | 18 | 9 | 165 | 20 | 19 | 957 |1378 | 0.000000e+00 | 9.200000e+01 | Inf
18.48/18.50 o 90
18.48/18.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.48/18.50 c l17.4s| 20184 | 19357 |138782 |9517k| 50 | - | 165 | 18 | 2 | 165 | 20 | 19 | 961 |1390 | 0.000000e+00 | 9.000000e+01 | Inf
18.48/18.60 o 89
18.48/18.60 c l17.5s| 20295 | 19442 |139541 |9568k| 50 | - | 165 | 18 | 2 | 165 | 20 | 19 | 971 |1396 | 0.000000e+00 | 8.900000e+01 | Inf
18.69/18.71 o 87
18.69/18.71 c l17.6s| 20419 | 19538 |140428 |9597k| 50 | - | 165 | 18 | 0 | 165 | 20 | 19 | 977 |1397 | 0.000000e+00 | 8.700000e+01 | Inf
18.69/18.79 o 86
18.69/18.79 c l17.6s| 20495 | 19595 |141003 |9614k| 50 | - | 165 | 18 | 0 | 165 | 20 | 19 | 984 |1411 | 0.000000e+00 | 8.600000e+01 | Inf
18.99/19.02 o 84
18.99/19.02 c l17.9s| 20728 | 19775 |142789 |9696k| 50 | - | 165 | 16 | 0 | 165 | 20 | 19 | 996 |1421 | 0.000000e+00 | 8.400000e+01 | Inf
20.09/20.14 o 83
20.09/20.14 c f18.9s| 21917 | 20831 |151737 | 10M| 50 | - | 165 | 16 | 1 | 165 | 20 | 19 |1043 |1464 | 0.000000e+00 | 8.300000e+01 | Inf
20.09/20.14 o 81
20.09/20.14 c l18.9s| 21917 | 20804 |151738 | 10M| 50 | - | 165 | 16 | 1 | 165 | 20 | 19 |1045 |1464 | 0.000000e+00 | 8.100000e+01 | Inf
20.99/21.03 o 80
20.99/21.03 c *19.7s| 22763 | 21498 |158555 | 10M| 50 | - | 165 | 19 | 2 | 165 | 20 | 19 |1112 |1507 | 0.000000e+00 | 8.000000e+01 | Inf
21.59/21.60 o 79
21.59/21.60 c *20.3s| 23334 | 21986 |163025 | 10M| 50 | - | 165 | 18 | 1 | 165 | 20 | 19 |1141 |1531 | 0.000000e+00 | 7.900000e+01 | Inf
22.28/22.31 o 77
22.28/22.31 c *20.9s| 24049 | 22584 |168378 | 11M| 50 | - | 165 | 17 | 2 | 165 | 20 | 19 |1172 |1593 | 0.000000e+00 | 7.700000e+01 | Inf
22.28/22.31 o 75
22.28/22.31 c *20.9s| 24051 | 22536 |168381 | 11M| 50 | - | 165 | 17 | 2 | 165 | 20 | 19 |1172 |1596 | 0.000000e+00 | 7.500000e+01 | Inf
22.28/22.34 o 74
22.28/22.34 c l21.0s| 24078 | 22533 |168602 | 11M| 50 | - | 165 | 17 | 1 | 165 | 20 | 19 |1175 |1607 | 0.000000e+00 | 7.400000e+01 | Inf
22.39/22.41 o 72
22.39/22.41 c *21.0s| 24155 | 22541 |169154 | 11M| 50 | - | 165 | 17 | 2 | 165 | 20 | 19 |1176 |1617 | 0.000000e+00 | 7.200000e+01 | Inf
22.39/22.41 o 70
22.39/22.41 c s21.0s| 24157 | 22472 |169159 | 10M| 50 | - | 165 | 17 | 4 | 165 | 20 | 19 |1176 |1624 | 0.000000e+00 | 7.000000e+01 | Inf
22.68/22.78 o 68
22.68/22.78 c *21.4s| 24503 | 22727 |171810 | 11M| 50 | - | 165 | 16 | 2 | 165 | 20 | 19 |1193 |1633 | 0.000000e+00 | 6.800000e+01 | Inf
22.88/22.99 o 67
22.88/22.99 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.88/22.99 c *21.6s| 24742 | 22884 |173216 | 11M| 50 | - | 165 | 16 | 0 | 165 | 20 | 19 |1201 |1659 | 0.000000e+00 | 6.700000e+01 | Inf
25.29/25.39 o 66
25.29/25.39 c *23.9s| 27674 | 25262 |189524 | 12M| 52 | - | 165 | 14 | 0 | 165 | 20 | 19 |1329 |1795 | 0.000000e+00 | 6.600000e+01 | Inf
27.29/27.35 c 25.7s| 30000 | 27038 |202818 | 13M| 52 | 7 | 165 | 13 | 7 | 165 | 20 | 19 |1463 |1911 | 0.000000e+00 | 6.600000e+01 | Inf
27.88/27.91 o 65
27.88/27.91 c *26.3s| 30690 | 27498 |206622 | 13M| 52 | - | 165 | 13 | 0 | 165 | 20 | 19 |1495 |1940 | 0.000000e+00 | 6.500000e+01 | Inf
27.88/27.92 o 63
27.88/27.92 c *26.3s| 30693 | 27296 |206629 | 13M| 52 | - | 165 | 13 | 0 | 165 | 20 | 19 |1495 |1955 | 0.000000e+00 | 6.300000e+01 | Inf
27.88/27.92 o 61
27.88/27.92 c *26.3s| 30694 | 27190 |206632 | 13M| 52 | - | 165 | 13 | 0 | 165 | 20 | 19 |1495 |1957 | 0.000000e+00 | 6.100000e+01 | Inf
28.88/29.00 o 59
28.88/29.00 c C27.2s| 30894 | 27249 |207764 | 13M| 52 | 7 | 165 | 11 | 7 | 165 | 20 | 19 |1500 |1965 | 0.000000e+00 | 5.900000e+01 | Inf
37.08/37.20 c 35.0s| 40000 | 34301 |260678 | 17M| 52 | - | 165 | 12 | 7 | 165 | 20 | 19 |2025 |2353 | 0.000000e+00 | 5.900000e+01 | Inf
43.18/43.22 o 57
43.18/43.22 c *40.6s| 48118 | 40298 |307411 | 21M| 52 | - | 165 | 15 | 0 | 165 | 20 | 19 |2467 |2646 | 0.000000e+00 | 5.700000e+01 | Inf
43.18/43.23 o 55
43.18/43.23 c *40.7s| 48123 | 40096 |307417 | 20M| 52 | - | 165 | 15 | 0 | 165 | 20 | 19 |2467 |2660 | 0.000000e+00 | 5.500000e+01 | Inf
45.77/45.86 c 43.1s| 50000 | 41436 |318516 | 21M| 52 | 7 | 165 | 17 | 8 | 165 | 20 | 19 |2591 |2726 | 0.000000e+00 | 5.500000e+01 | Inf
46.28/46.38 o 54
46.28/46.38 c *43.6s| 50704 | 41774 |322599 | 21M| 52 | - | 165 | 17 | 2 | 165 | 20 | 19 |2637 |2760 | 0.000000e+00 | 5.400000e+01 | Inf
48.18/48.28 o 52
48.18/48.28 c *45.4s| 53379 | 43448 |336963 | 22M| 52 | - | 165 | 16 | 0 | 165 | 20 | 19 |2765 |2835 | 0.000000e+00 | 5.200000e+01 | Inf
48.18/48.28 o 50
48.18/48.28 c *45.4s| 53380 | 43110 |336964 | 22M| 52 | - | 165 | 16 | 0 | 165 | 20 | 19 |2765 |2835 | 0.000000e+00 | 5.000000e+01 | Inf
53.28/53.36 c 50.1s| 60000 | 47635 |373299 | 25M| 52 | 7 | 165 | 17 | 7 | 165 | 20 | 19 |3133 |3021 | 0.000000e+00 | 5.000000e+01 | Inf
60.27/60.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.27/60.31 c 56.7s| 70000 | 54189 |428455 | 29M| 52 | 7 | 165 | 17 | 7 | 165 | 20 | 19 |3762 |3308 | 0.000000e+00 | 5.000000e+01 | Inf
61.87/61.97 o 49
61.87/61.97 c *58.2s| 72385 | 55468 |441465 | 30M| 52 | - | 165 | 17 | 0 | 165 | 20 | 19 |3960 |3371 | 0.000000e+00 | 4.900000e+01 | Inf
61.87/61.98 o 47
61.87/61.98 c p58.2s| 72387 | 54718 |441470 | 29M| 52 | - | 165 | 17 | 0 | 165 | 20 | 19 |3963 |3379 | 0.000000e+00 | 4.700000e+01 | Inf
66.77/66.81 o 46
66.77/66.81 c *62.8s| 78782 | 58443 |477673 | 32M| 52 | - | 165 | 14 | 0 | 165 | 20 | 19 |4464 |3562 | 0.000000e+00 | 4.600000e+01 | Inf
67.78/67.80 c 63.7s| 80000 | 59317 |485377 | 32M| 52 | 7 | 165 | 17 | 9 | 165 | 20 | 19 |4537 |3594 | 0.000000e+00 | 4.600000e+01 | Inf
74.77/74.82 c 70.4s| 90000 | 65318 |540533 | 37M| 52 | - | 165 | 16 | 8 | 165 | 20 | 19 |5269 |3843 | 0.000000e+00 | 4.600000e+01 | Inf
81.47/81.54 c 76.7s|100000 | 71407 |593883 | 41M| 52 | 7 | 165 | 19 | 7 | 165 | 20 | 19 |5983 |4051 | 0.000000e+00 | 4.600000e+01 | Inf
83.07/83.13 o 45
83.07/83.13 c *78.2s|102221 | 72420 |606520 | 42M| 52 | - | 165 | 19 | 0 | 165 | 20 | 19 |6158 |4091 | 0.000000e+00 | 4.500000e+01 | Inf
88.07/88.14 o 43
88.07/88.14 c *82.9s|109328 | 75768 |645976 | 44M| 55 | - | 165 | 18 | 0 | 165 | 20 | 19 |6728 |4245 | 0.000000e+00 | 4.300000e+01 | Inf
88.56/88.60 c 83.3s|110000 | 76133 |649451 | 44M| 55 | - | 165 | 18 | 8 | 165 | 20 | 19 |6776 |4249 | 0.000000e+00 | 4.300000e+01 | Inf
95.26/95.38 c 89.8s|120000 | 81913 |703850 | 48M| 55 | - | 165 | 24 | 8 | 165 | 20 | 19 |7534 |4456 | 0.000000e+00 | 4.300000e+01 | Inf
101.96/102.02 c 96.0s|130000 | 87597 |757921 | 53M| 55 | 7 | 165 | 23 | 7 | 165 | 20 | 19 |8277 |4641 | 0.000000e+00 | 4.300000e+01 | Inf
108.46/108.54 c 102s|140000 | 92778 |809437 | 57M| 55 | 7 | 165 | 24 | 7 | 165 | 20 | 19 |9072 |4841 | 0.000000e+00 | 4.300000e+01 | Inf
109.26/109.36 o 42
109.26/109.36 c * 103s|141234 | 92920 |815939 | 57M| 55 | - | 165 | 24 | 0 | 165 | 20 | 19 |9165 |4865 | 0.000000e+00 | 4.200000e+01 | Inf
115.35/115.44 c 109s|150000 | 97781 |862721 | 60M| 55 | 7 | 165 | 20 | 8 | 165 | 20 | 19 |9860 |4999 | 0.000000e+00 | 4.200000e+01 | Inf
121.95/122.09 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.95/122.09 c 115s|160000 |103058 |916058 | 65M| 55 | 7 | 165 | 16 | 9 | 165 | 20 | 19 | 10k|5168 | 0.000000e+00 | 4.200000e+01 | Inf
126.35/126.44 o 41
126.35/126.44 c p 119s|166327 |106145 |950268 | 66M| 55 | - | 165 | 14 | 0 | 165 | 20 | 19 | 11k|5267 | 0.000000e+00 | 4.100000e+01 | Inf
128.76/128.88 c 121s|170000 |108074 |969235 | 68M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 11k|5323 | 0.000000e+00 | 4.100000e+01 | Inf
130.75/130.89 o 39
130.75/130.89 c * 123s|173041 |108196 |985066 | 67M| 55 | - | 165 | 12 | 0 | 165 | 20 | 19 | 11k|5385 | 0.000000e+00 | 3.900000e+01 | Inf
135.36/135.49 c 128s|180000 |111716 | 1021k| 70M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 12k|5509 | 0.000000e+00 | 3.900000e+01 | Inf
141.85/141.94 c 134s|190000 |116920 | 1072k| 74M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 13k|5682 | 0.000000e+00 | 3.900000e+01 | Inf
146.55/146.65 o 38
146.55/146.65 c * 138s|197186 |119723 | 1110k| 76M| 55 | - | 165 | 11 | 0 | 165 | 20 | 19 | 13k|5797 | 0.000000e+00 | 3.800000e+01 | Inf
149.65/149.77 o 36
149.65/149.77 c * 141s|198921 |118603 | 1119k| 74M| 55 | - | 165 | 11 | 0 | 165 | 20 | 19 | 13k|5841 | 0.000000e+00 | 3.600000e+01 | Inf
150.45/150.59 c 142s|200000 |119131 | 1125k| 75M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 13k|5849 | 0.000000e+00 | 3.600000e+01 | Inf
153.54/153.60 o 34
153.54/153.60 c * 145s|204503 |119340 | 1149k| 74M| 55 | - | 165 | 11 | 0 | 165 | 20 | 19 | 14k|5926 | 0.000000e+00 | 3.400000e+01 | Inf
153.54/153.64 o 32
153.54/153.64 c * 145s|204505 |104495 | 1149k| 62M| 55 | - | 165 | 11 | 0 | 165 | 20 | 19 | 14k|5927 | 0.000000e+00 | 3.200000e+01 | Inf
157.04/157.13 c 148s|210000 |107247 | 1178k| 64M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 14k|6019 | 0.000000e+00 | 3.200000e+01 | Inf
163.15/163.21 c 154s|220000 |111755 | 1229k| 67M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 15k|6181 | 0.000000e+00 | 3.200000e+01 | Inf
169.44/169.54 c 160s|230000 |116444 | 1281k| 71M| 55 | 7 | 165 | 16 | 7 | 165 | 20 | 19 | 16k|6328 | 0.000000e+00 | 3.200000e+01 | Inf
175.54/175.61 c 165s|240000 |120994 | 1333k| 74M| 55 | 7 | 165 | 17 | 7 | 165 | 20 | 19 | 17k|6468 | 0.000000e+00 | 3.200000e+01 | Inf
181.73/181.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.73/181.82 c 171s|250000 |125683 | 1385k| 77M| 55 | 7 | 165 | 14 | 8 | 165 | 20 | 19 | 18k|6605 | 0.000000e+00 | 3.200000e+01 | Inf
186.63/186.73 o 30
186.63/186.73 c * 176s|257784 |128083 | 1425k| 78M| 55 | - | 165 | 14 | 0 | 165 | 20 | 19 | 18k|6726 | 0.000000e+00 | 3.000000e+01 | Inf
188.04/188.12 c 177s|260000 |129073 | 1437k| 79M| 55 | 7 | 165 | 15 | 8 | 165 | 20 | 19 | 18k|6758 | 0.000000e+00 | 3.000000e+01 | Inf
193.33/193.41 o 28
193.33/193.41 c * 182s|268116 |131301 | 1480k| 80M| 55 | - | 165 | 11 | 0 | 165 | 20 | 19 | 19k|6863 | 0.000000e+00 | 2.800000e+01 | Inf
193.33/193.43 o 26
193.33/193.43 c * 182s|268119 |129224 | 1480k| 77M| 55 | - | 165 | 11 | 0 | 165 | 20 | 19 | 19k|6870 | 0.000000e+00 | 2.600000e+01 | Inf
196.13/196.27 c 185s|270000 |130180 | 1489k| 78M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 19k|6879 | 0.000000e+00 | 2.600000e+01 | Inf
201.73/201.87 c 190s|280000 |133762 | 1536k| 81M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 20k|7025 | 0.000000e+00 | 2.600000e+01 | Inf
206.93/207.03 o 25
206.93/207.03 c l 195s|285878 |135061 | 1565k| 81M| 55 | - | 165 | 12 | 0 | 165 | 20 | 19 | 20k|7114 | 0.000000e+00 | 2.500000e+01 | Inf
210.83/210.91 c 198s|290000 |136282 | 1583k| 82M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 21k|7162 | 0.000000e+00 | 2.500000e+01 | Inf
217.13/217.25 c 204s|300000 |141094 | 1634k| 85M| 55 | 7 | 165 | 12 | 8 | 165 | 20 | 19 | 21k|7283 | 0.000000e+00 | 2.500000e+01 | Inf
223.03/223.15 c 210s|310000 |145557 | 1681k| 88M| 55 | - | 165 | 12 | 6 | 165 | 20 | 19 | 22k|7426 | 0.000000e+00 | 2.500000e+01 | Inf
228.92/229.05 c 216s|320000 |149951 | 1727k| 91M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 23k|7556 | 0.000000e+00 | 2.500000e+01 | Inf
234.63/234.78 c 221s|330000 |153901 | 1774k| 94M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 24k|7679 | 0.000000e+00 | 2.500000e+01 | Inf
240.12/240.23 c 226s|340000 |157128 | 1818k| 97M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 24k|7790 | 0.000000e+00 | 2.500000e+01 | Inf
240.83/240.92 o 23
240.83/240.92 c * 227s|341244 |154662 | 1824k| 94M| 55 | - | 165 | 12 | 0 | 165 | 20 | 19 | 25k|7810 | 0.000000e+00 | 2.300000e+01 | Inf
245.62/245.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
245.62/245.72 c 231s|350000 |157140 | 1862k| 96M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 25k|7932 | 0.000000e+00 | 2.300000e+01 | Inf
250.92/251.08 c 236s|360000 |160168 | 1906k| 99M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 26k|8053 | 0.000000e+00 | 2.300000e+01 | Inf
256.32/256.48 c 241s|370000 |163312 | 1950k| 101M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 27k|8186 | 0.000000e+00 | 2.300000e+01 | Inf
261.72/261.83 c 246s|380000 |166284 | 1994k| 104M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 28k|8304 | 0.000000e+00 | 2.300000e+01 | Inf
267.22/267.33 c 252s|390000 |169394 | 2040k| 106M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 29k|8440 | 0.000000e+00 | 2.300000e+01 | Inf
270.11/270.26 o 21
270.11/270.26 c * 254s|395442 |167504 | 2064k| 103M| 55 | - | 165 | 11 | 0 | 165 | 20 | 19 | 29k|8510 | 0.000000e+00 | 2.100000e+01 | Inf
270.11/270.28 o 19
270.11/270.28 c * 254s|395443 |163217 | 2064k| 98M| 55 | - | 165 | 11 | 0 | 165 | 20 | 19 | 29k|8513 | 0.000000e+00 | 1.900000e+01 | Inf
272.51/272.67 c 257s|400000 |164218 | 2083k| 99M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 29k|8568 | 0.000000e+00 | 1.900000e+01 | Inf
277.51/277.63 c 261s|410000 |166035 | 2124k| 101M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 30k|8664 | 0.000000e+00 | 1.900000e+01 | Inf
282.51/282.60 c 266s|420000 |167989 | 2165k| 103M| 55 | - | 165 | 11 | 7 | 0 | 0 | 19 | 31k|8776 | 0.000000e+00 | 1.900000e+01 | Inf
288.01/288.15 c 271s|430000 |171251 | 2210k| 105M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 32k|8876 | 0.000000e+00 | 1.900000e+01 | Inf
293.21/293.38 c 276s|440000 |174187 | 2254k| 107M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 32k|8973 | 0.000000e+00 | 1.900000e+01 | Inf
298.40/298.52 c 281s|450000 |176836 | 2298k| 109M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 33k|9097 | 0.000000e+00 | 1.900000e+01 | Inf
303.41/303.56 c 286s|460000 |178944 | 2340k| 111M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 34k|9170 | 0.000000e+00 | 1.900000e+01 | Inf
308.50/308.64 c 291s|470000 |181076 | 2383k| 112M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 34k|9286 | 0.000000e+00 | 1.900000e+01 | Inf
313.60/313.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.60/313.75 c 295s|480000 |183222 | 2425k| 114M| 55 | - | 165 | 11 | 8 | 165 | 20 | 19 | 35k|9378 | 0.000000e+00 | 1.900000e+01 | Inf
318.70/318.88 c 300s|490000 |185519 | 2467k| 116M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 36k|9475 | 0.000000e+00 | 1.900000e+01 | Inf
323.80/323.98 c 305s|500000 |187289 | 2510k| 117M| 55 | 7 | 165 | 19 | 9 | 165 | 20 | 19 | 36k|9569 | 0.000000e+00 | 1.900000e+01 | Inf
328.90/329.08 c 310s|510000 |189137 | 2552k| 119M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 37k|9684 | 0.000000e+00 | 1.900000e+01 | Inf
334.00/334.15 c 315s|520000 |190732 | 2593k| 121M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 38k|9780 | 0.000000e+00 | 1.900000e+01 | Inf
339.19/339.34 c 320s|530000 |192683 | 2636k| 122M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 39k|9872 | 0.000000e+00 | 1.900000e+01 | Inf
344.39/344.57 c 324s|540000 |195205 | 2679k| 124M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 39k|9960 | 0.000000e+00 | 1.900000e+01 | Inf
349.59/349.73 c 329s|550000 |197458 | 2721k| 126M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 40k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
354.69/354.83 c 334s|560000 |199457 | 2763k| 127M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 41k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
359.78/359.93 c 339s|570000 |201410 | 2805k| 129M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 41k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
365.09/365.22 c 344s|580000 |203902 | 2849k| 131M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 42k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
370.98/371.11 c 350s|590000 |207782 | 2896k| 133M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 43k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
376.38/376.54 c 355s|600000 |210872 | 2941k| 135M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 44k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
382.88/383.06 c 361s|610000 |214595 | 2988k| 138M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 44k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
388.38/388.58 c 366s|620000 |217743 | 3033k| 140M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 45k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
393.78/393.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.78/393.97 c 371s|630000 |220935 | 3076k| 142M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 46k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
399.07/399.22 c 376s|640000 |224162 | 3119k| 144M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 46k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
404.27/404.48 c 381s|650000 |226860 | 3163k| 146M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 47k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
410.08/410.20 c 386s|660000 |230560 | 3208k| 148M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 48k| 10k| 0.000000e+00 | 1.900000e+01 | Inf
415.17/415.39 o 17
415.17/415.39 c * 391s|669569 |228841 | 3250k| 145M| 55 | - | 165 | 10 | 0 | 165 | 20 | 19 | 48k| 11k| 0.000000e+00 | 1.700000e+01 | Inf
415.27/415.44 o 15
415.27/415.44 c * 391s|669570 |214987 | 3250k| 132M| 55 | - | 165 | 10 | 0 | 165 | 20 | 19 | 48k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
416.88/417.10 c 393s|670000 |215091 | 3252k| 133M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 48k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
425.87/426.00 c 401s|680000 |217648 | 3294k| 134M| 55 | - | 165 | 13 | 7 | 0 | 0 | 19 | 49k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
431.07/431.25 c 406s|690000 |220678 | 3338k| 136M| 55 | - | 165 | 12 | 8 | 0 | 0 | 19 | 50k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
436.06/436.24 c 411s|700000 |222954 | 3379k| 137M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 51k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
441.07/441.28 c 415s|710000 |225325 | 3421k| 139M| 55 | 7 | 165 | 14 | 8 | 165 | 20 | 19 | 51k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
446.06/446.24 c 420s|720000 |227548 | 3462k| 141M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 52k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
451.06/451.25 c 425s|730000 |229532 | 3504k| 142M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 53k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
456.16/456.32 c 430s|740000 |231997 | 3546k| 144M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 54k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
461.06/461.26 c 434s|750000 |234386 | 3587k| 145M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 54k| 11k| 0.000000e+00 | 1.500000e+01 | Inf
466.26/466.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.26/466.47 c 439s|760000 |237522 | 3629k| 147M| 55 | 7 | 165 | 16 | 7 | 165 | 20 | 19 | 55k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
471.35/471.55 c 444s|770000 |240125 | 3671k| 149M| 55 | 7 | 165 | 18 | 8 | 165 | 20 | 19 | 56k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
476.36/476.53 c 449s|780000 |242297 | 3713k| 150M| 55 | - | 165 | 15 | 7 | 165 | 20 | 19 | 56k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
481.85/482.00 c 454s|790000 |245978 | 3759k| 152M| 55 | 7 | 165 | 17 | 7 | 165 | 20 | 19 | 57k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
487.05/487.21 c 459s|800000 |248945 | 3803k| 154M| 55 | - | 165 | 15 | 7 | 165 | 20 | 19 | 58k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
492.35/492.55 c 464s|810000 |252228 | 3848k| 156M| 55 | 7 | 165 | 19 | 7 | 165 | 20 | 19 | 59k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
497.74/497.91 c 469s|820000 |255596 | 3893k| 158M| 55 | 7 | 165 | 17 | 7 | 165 | 20 | 19 | 59k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
503.25/503.42 c 474s|830000 |259290 | 3938k| 160M| 55 | - | 165 | 14 | 7 | 165 | 20 | 19 | 60k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
508.64/508.85 c 479s|840000 |263153 | 3982k| 162M| 55 | 7 | 165 | 15 | 7 | 165 | 20 | 19 | 61k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
513.84/514.05 c 484s|850000 |266506 | 4025k| 164M| 55 | 7 | 165 | 17 | 8 | 165 | 20 | 19 | 61k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
518.94/519.12 c 489s|860000 |269651 | 4066k| 166M| 55 | 7 | 165 | 15 | 7 | 165 | 20 | 19 | 62k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
523.84/524.02 c 494s|870000 |272476 | 4107k| 167M| 55 | - | 165 | 16 | 7 | 0 | 0 | 19 | 63k| 12k| 0.000000e+00 | 1.500000e+01 | Inf
530.74/530.90 c 500s|880000 |274977 | 4148k| 169M| 55 | 7 | 165 | 21 | 7 | 165 | 20 | 19 | 64k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
535.54/535.78 c 504s|890000 |277521 | 4188k| 170M| 55 | - | 165 | 13 | 7 | 165 | 20 | 19 | 64k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
540.54/540.72 c 509s|900000 |280018 | 4229k| 172M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 65k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
545.44/545.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
545.44/545.60 c 514s|910000 |282164 | 4270k| 173M| 55 | - | 165 | 13 | 7 | 165 | 20 | 19 | 66k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
550.34/550.55 c 518s|920000 |284499 | 4311k| 175M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 66k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
555.24/555.40 c 523s|930000 |286386 | 4351k| 176M| 55 | 7 | 165 | 19 | 7 | 165 | 20 | 19 | 67k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
560.03/560.28 c 528s|940000 |288782 | 4392k| 178M| 55 | 7 | 165 | 19 | 7 | 165 | 20 | 19 | 68k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
564.93/565.15 c 532s|950000 |290902 | 4433k| 179M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 68k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
569.83/570.05 c 537s|960000 |293002 | 4474k| 180M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 69k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
574.72/574.95 c 541s|970000 |295050 | 4514k| 182M| 55 | - | 165 | 14 | 7 | 165 | 20 | 19 | 70k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
580.12/580.35 c 546s|980000 |298113 | 4559k| 184M| 55 | 7 | 165 | 16 | 7 | 165 | 20 | 19 | 70k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
585.63/585.83 c 552s|990000 |302185 | 4605k| 186M| 55 | 7 | 165 | 14 | 9 | 165 | 20 | 19 | 71k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
590.72/590.91 c 556s| 1000k|305412 | 4647k| 187M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 71k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
595.72/595.91 c 561s| 1010k|308300 | 4689k| 189M| 55 | 7 | 165 | 16 | 7 | 165 | 20 | 19 | 72k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
600.81/601.07 c 566s| 1020k|311627 | 4732k| 191M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 73k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
605.82/606.01 c 571s| 1030k|314281 | 4772k| 193M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 73k| 13k| 0.000000e+00 | 1.500000e+01 | Inf
610.72/610.99 c 575s| 1040k|316620 | 4814k| 194M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 74k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
615.71/615.93 c 580s| 1050k|319020 | 4855k| 196M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 75k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
620.62/620.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
620.62/620.81 c 585s| 1060k|321416 | 4896k| 197M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 75k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
625.61/625.82 c 589s| 1070k|323841 | 4937k| 199M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 76k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
630.70/630.92 c 594s| 1080k|326758 | 4978k| 200M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 77k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
635.61/635.82 c 599s| 1090k|329080 | 5019k| 202M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 77k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
640.41/640.63 c 603s| 1100k|331114 | 5059k| 203M| 55 | 7 | 165 | 14 | 8 | 165 | 20 | 19 | 78k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
645.21/645.48 c 608s| 1110k|333164 | 5099k| 205M| 55 | 7 | 165 | 15 | 7 | 165 | 20 | 19 | 79k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
650.10/650.34 c 612s| 1120k|335313 | 5138k| 206M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 79k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
654.91/655.12 c 617s| 1130k|337089 | 5177k| 207M| 55 | - | 165 | 12 | 9 | 165 | 20 | 19 | 80k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
659.70/659.96 c 622s| 1140k|338892 | 5217k| 209M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 81k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
664.50/664.78 c 626s| 1150k|341045 | 5258k| 210M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 81k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
669.40/669.61 c 631s| 1160k|342714 | 5297k| 211M| 55 | - | 165 | 10 | 6 | 0 | 0 | 19 | 82k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
674.20/674.45 c 635s| 1170k|344265 | 5338k| 212M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 83k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
679.00/679.27 c 640s| 1180k|345813 | 5378k| 214M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 83k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
683.79/684.02 c 644s| 1190k|347775 | 5417k| 215M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 84k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
688.60/688.84 c 649s| 1200k|349578 | 5457k| 216M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 85k| 14k| 0.000000e+00 | 1.500000e+01 | Inf
693.29/693.58 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.29/693.58 c 653s| 1210k|351208 | 5496k| 217M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 85k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
698.19/698.45 c 658s| 1220k|352994 | 5536k| 218M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 86k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
702.89/703.13 c 662s| 1230k|355029 | 5575k| 220M| 55 | - | 165 | 13 | 7 | 165 | 20 | 19 | 87k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
707.69/707.98 c 667s| 1240k|356900 | 5614k| 221M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 88k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
712.48/712.78 c 671s| 1250k|358404 | 5654k| 222M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 88k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
717.48/717.73 c 676s| 1260k|360755 | 5695k| 224M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 89k| 15k| 0.000000e+00 | 1.500000e+01 | Inf
720.58/720.89 o 14
720.58/720.89 c * 679s| 1266k|359239 | 5721k| 221M| 55 | - | 165 | 10 | 0 | 165 | 20 | 19 | 89k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
722.38/722.66 c 681s| 1270k|359791 | 5735k| 221M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 90k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
727.28/727.55 c 685s| 1280k|361361 | 5774k| 222M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 90k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
732.08/732.37 c 690s| 1290k|362668 | 5814k| 223M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 91k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
736.89/737.12 c 694s| 1300k|364125 | 5852k| 224M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 92k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
741.58/741.81 c 699s| 1310k|365418 | 5891k| 225M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 93k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
746.38/746.61 c 703s| 1320k|366678 | 5930k| 226M| 55 | - | 165 | 11 | 8 | 0 | 0 | 19 | 93k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
751.08/751.38 c 708s| 1330k|367932 | 5969k| 227M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 94k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
755.87/756.11 c 712s| 1340k|369600 | 6008k| 228M| 55 | - | 165 | 14 | 6 | 0 | 0 | 19 | 95k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
760.47/760.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.47/760.75 c 716s| 1350k|370832 | 6046k| 229M| 55 | - | 165 | 17 | 8 | 165 | 20 | 19 | 95k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
765.27/765.54 c 721s| 1360k|372495 | 6085k| 230M| 55 | - | 165 | 12 | 7 | 0 | 0 | 19 | 96k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
770.07/770.38 c 726s| 1370k|373785 | 6123k| 231M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 97k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
775.17/775.42 c 730s| 1380k|376200 | 6165k| 233M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 98k| 15k| 0.000000e+00 | 1.400000e+01 | Inf
779.86/780.17 c 735s| 1390k|378142 | 6205k| 234M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 98k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
784.67/784.92 c 739s| 1400k|379636 | 6244k| 235M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 99k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
789.57/789.85 c 744s| 1410k|381701 | 6285k| 237M| 55 | - | 165 | 13 | 7 | 165 | 20 | 19 | 100k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
794.36/794.68 c 748s| 1420k|383260 | 6326k| 238M| 55 | - | 165 | 13 | 7 | 165 | 20 | 19 | 100k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
799.16/799.41 c 753s| 1430k|384770 | 6365k| 239M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 101k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
803.86/804.16 c 757s| 1440k|385938 | 6405k| 240M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 102k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
808.65/808.94 c 762s| 1450k|387139 | 6444k| 241M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 102k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
813.46/813.72 c 766s| 1460k|388128 | 6482k| 242M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 103k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
818.15/818.48 c 771s| 1470k|389031 | 6522k| 242M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 104k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
822.86/823.17 c 775s| 1480k|389832 | 6560k| 243M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 104k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
827.65/827.92 c 780s| 1490k|391604 | 6598k| 244M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 105k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
832.35/832.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.35/832.63 c 784s| 1500k|392936 | 6637k| 245M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 106k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
837.05/837.37 c 789s| 1510k|393655 | 6676k| 246M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 107k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
841.74/842.05 c 793s| 1520k|394500 | 6714k| 247M| 55 | - | 165 | 11 | 8 | 0 | 0 | 19 | 107k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
846.54/846.82 c 798s| 1530k|395417 | 6753k| 248M| 55 | - | 165 | 14 | 7 | 0 | 0 | 19 | 108k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
851.35/851.68 c 802s| 1540k|396347 | 6794k| 249M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 109k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
856.24/856.58 c 807s| 1550k|397476 | 6835k| 249M| 55 | 7 | 165 | 14 | 8 | 165 | 20 | 19 | 109k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
861.24/861.52 c 811s| 1560k|400291 | 6876k| 251M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 110k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
866.04/866.35 c 816s| 1570k|402493 | 6917k| 252M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 111k| 16k| 0.000000e+00 | 1.400000e+01 | Inf
870.84/871.12 c 820s| 1580k|404480 | 6956k| 254M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 111k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
875.53/875.87 c 825s| 1590k|406070 | 6995k| 255M| 55 | - | 165 | 11 | 8 | 165 | 20 | 19 | 112k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
880.44/880.77 c 829s| 1600k|407949 | 7036k| 256M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 113k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
885.43/885.71 c 834s| 1610k|410197 | 7078k| 257M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 114k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
890.44/890.74 c 839s| 1620k|412780 | 7120k| 259M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 114k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
895.53/895.84 c 844s| 1630k|415390 | 7163k| 261M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 115k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
900.73/901.05 c 849s| 1640k|418491 | 7207k| 262M| 55 | - | 165 | 13 | 8 | 0 | 0 | 19 | 116k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
905.83/906.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
905.83/906.13 c 853s| 1650k|420842 | 7249k| 264M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 116k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
910.83/911.16 c 858s| 1660k|423483 | 7291k| 265M| 55 | - | 165 | 13 | 6 | 0 | 0 | 19 | 117k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
915.83/916.12 c 863s| 1670k|425433 | 7332k| 267M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 118k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
920.82/921.18 c 868s| 1680k|428038 | 7374k| 268M| 55 | 7 | 165 | 14 | 8 | 165 | 20 | 19 | 119k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
926.03/926.33 c 872s| 1690k|430613 | 7417k| 270M| 55 | 7 | 165 | 13 | 8 | 165 | 20 | 19 | 119k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
931.02/931.37 c 877s| 1700k|432900 | 7458k| 271M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 120k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
936.02/936.30 c 882s| 1710k|434659 | 7499k| 272M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 121k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
941.02/941.38 c 887s| 1720k|436862 | 7542k| 274M| 55 | - | 165 | 13 | 7 | 165 | 20 | 19 | 121k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
946.02/946.32 c 891s| 1730k|438817 | 7583k| 275M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 122k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
950.81/951.16 c 896s| 1740k|440460 | 7622k| 276M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 123k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
955.92/956.24 c 901s| 1750k|442794 | 7665k| 278M| 55 | - | 165 | 16 | 7 | 165 | 20 | 19 | 124k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
961.61/961.98 c 906s| 1760k|446944 | 7712k| 280M| 55 | - | 165 | 15 | 9 | 0 | 0 | 19 | 124k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
967.11/967.41 c 911s| 1770k|450828 | 7756k| 282M| 55 | 7 | 165 | 15 | 7 | 165 | 20 | 19 | 125k| 17k| 0.000000e+00 | 1.400000e+01 | Inf
972.31/972.63 c 916s| 1780k|454041 | 7799k| 284M| 55 | - | 165 | 16 | 7 | 165 | 20 | 19 | 126k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
977.51/977.88 c 921s| 1790k|457171 | 7842k| 285M| 55 | 7 | 165 | 18 | 7 | 165 | 20 | 19 | 126k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
982.81/983.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.81/983.16 c 926s| 1800k|460440 | 7885k| 287M| 55 | - | 165 | 16 | 8 | 0 | 0 | 19 | 127k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
988.01/988.33 c 931s| 1810k|463250 | 7928k| 289M| 55 | 7 | 165 | 17 | 7 | 165 | 20 | 19 | 128k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
993.21/993.60 c 936s| 1820k|466622 | 7971k| 291M| 55 | 7 | 165 | 18 | 7 | 165 | 20 | 19 | 128k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
998.31/998.61 c 941s| 1830k|469011 | 8013k| 292M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 129k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1003.30/1003.61 c 945s| 1840k|471325 | 8055k| 294M| 55 | 7 | 165 | 16 | 8 | 165 | 20 | 19 | 130k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1008.60/1008.92 c 950s| 1850k|474519 | 8098k| 296M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 130k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1013.70/1014.09 c 955s| 1860k|477476 | 8140k| 297M| 55 | - | 165 | 11 | 7 | 0 | 0 | 19 | 131k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1018.70/1019.01 c 960s| 1870k|479865 | 8182k| 299M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 132k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1023.90/1024.29 c 965s| 1880k|483135 | 8225k| 301M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 132k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1029.30/1029.64 c 970s| 1890k|486497 | 8269k| 302M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 133k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1034.69/1035.05 c 975s| 1900k|490036 | 8314k| 304M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 134k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1039.69/1040.01 c 980s| 1910k|492499 | 8357k| 306M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 134k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1045.09/1045.40 c 985s| 1920k|495835 | 8401k| 308M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 135k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1050.29/1050.60 c 990s| 1930k|498478 | 8444k| 309M| 55 | - | 165 | 11 | 7 | 0 | 0 | 19 | 136k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1055.69/1056.04 c 995s| 1940k|501951 | 8489k| 311M| 55 | 7 | 165 | 13 | 8 | 165 | 20 | 19 | 136k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1060.89/1061.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1060.89/1061.21 c 1000s| 1950k|505109 | 8532k| 313M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 137k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1065.89/1066.29 c 1005s| 1960k|507723 | 8574k| 315M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 138k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1071.08/1071.46 c 1009s| 1970k|510217 | 8617k| 316M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 138k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1076.18/1076.56 c 1014s| 1980k|512964 | 8660k| 318M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 139k| 18k| 0.000000e+00 | 1.400000e+01 | Inf
1076.88/1077.20 o 13
1076.88/1077.20 c v1015s| 1980k|509611 | 8664k| 313M| 55 | - | 165 | 14 | 0 | 165 | 20 | 19 | 139k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
1076.88/1077.27 o 11
1076.88/1077.27 c l1015s| 1980k|499145 | 8664k| 298M| 55 | - | 165 | 14 | 0 | 165 | 20 | 19 | 139k| 18k| 0.000000e+00 | 1.100000e+01 | Inf
1081.97/1082.32 c 1020s| 1990k|502888 | 8705k| 300M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 140k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1087.28/1087.61 c 1025s| 2000k|506185 | 8748k| 301M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 140k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1092.28/1092.65 c 1029s| 2010k|509012 | 8789k| 303M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 141k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1097.38/1097.74 c 1034s| 2020k|512216 | 8830k| 305M| 55 | 7 | 165 | 17 | 7 | 165 | 20 | 19 | 142k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1102.48/1102.83 c 1039s| 2030k|515157 | 8872k| 306M| 55 | 7 | 165 | 15 | 8 | 165 | 20 | 19 | 142k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1107.68/1108.01 c 1044s| 2040k|518027 | 8913k| 308M| 55 | 7 | 165 | 17 | 7 | 165 | 20 | 19 | 143k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1112.97/1113.31 c 1049s| 2050k|521690 | 8956k| 310M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 144k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1118.06/1118.42 c 1054s| 2060k|524894 | 8997k| 312M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 144k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1122.87/1123.21 c 1058s| 2070k|527436 | 9036k| 313M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 145k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1127.67/1128.08 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.67/1128.08 c 1063s| 2080k|529908 | 9076k| 315M| 55 | 7 | 165 | 18 | 8 | 165 | 20 | 19 | 145k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1134.46/1134.85 c 1069s| 2090k|532668 | 9115k| 316M| 55 | - | 165 | 15 | 7 | 0 | 0 | 19 | 146k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1139.16/1139.54 c 1074s| 2100k|534924 | 9153k| 317M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 147k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1144.06/1144.43 c 1078s| 2110k|537239 | 9194k| 319M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 147k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1148.76/1149.14 c 1083s| 2120k|539165 | 9233k| 320M| 55 | - | 165 | 20 | 9 | 0 | 0 | 19 | 148k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1153.46/1153.90 c 1087s| 2130k|541448 | 9272k| 321M| 55 | 7 | 165 | 17 | 8 | 165 | 20 | 19 | 148k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1158.36/1158.77 c 1092s| 2140k|543497 | 9312k| 323M| 55 | - | 165 | 15 | 7 | 165 | 20 | 19 | 149k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1163.16/1163.52 c 1096s| 2150k|545425 | 9351k| 324M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 149k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1167.96/1168.31 c 1101s| 2160k|547704 | 9390k| 325M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 150k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1172.75/1173.11 c 1105s| 2170k|549946 | 9429k| 327M| 55 | 7 | 165 | 15 | 7 | 165 | 20 | 19 | 151k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1177.35/1177.76 c 1110s| 2180k|552004 | 9467k| 328M| 55 | - | 165 | 13 | 7 | 0 | 0 | 19 | 151k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1182.05/1182.44 c 1114s| 2190k|553962 | 9506k| 329M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 152k| 19k| 0.000000e+00 | 1.100000e+01 | Inf
1186.75/1187.11 c 1118s| 2200k|555852 | 9544k| 330M| 55 | 7 | 165 | 14 | 10 | 165 | 20 | 19 | 152k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1191.45/1191.85 c 1123s| 2210k|557734 | 9583k| 332M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 153k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1196.35/1196.74 c 1127s| 2220k|560307 | 9622k| 333M| 55 | 7 | 165 | 14 | 8 | 165 | 20 | 19 | 154k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1201.15/1201.50 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1201.15/1201.50 c 1132s| 2230k|562856 | 9662k| 335M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 154k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1205.85/1206.29 c 1136s| 2240k|565115 | 9701k| 336M| 55 | 7 | 165 | 15 | 7 | 165 | 20 | 19 | 155k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1210.74/1211.13 c 1141s| 2250k|567197 | 9740k| 337M| 55 | - | 165 | 13 | 7 | 165 | 20 | 19 | 155k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1215.54/1215.97 c 1146s| 2260k|569536 | 9780k| 338M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 156k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1220.24/1220.62 c 1150s| 2270k|570968 | 9817k| 339M| 55 | 7 | 165 | 15 | 7 | 165 | 20 | 19 | 156k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1224.84/1225.29 c 1154s| 2280k|572471 | 9856k| 341M| 55 | - | 165 | 13 | 8 | 165 | 20 | 19 | 157k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1229.54/1229.91 c 1159s| 2290k|574235 | 9893k| 342M| 55 | - | 165 | 13 | 7 | 165 | 20 | 19 | 158k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1234.04/1234.44 c 1163s| 2300k|575564 | 9929k| 343M| 55 | - | 165 | 11 | 8 | 165 | 20 | 19 | 158k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1238.73/1239.14 c 1167s| 2310k|577531 | 9967k| 344M| 55 | 7 | 165 | 13 | 8 | 165 | 20 | 19 | 159k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1243.43/1243.90 c 1172s| 2320k|580158 | 10005k| 345M| 55 | - | 165 | 11 | 7 | 0 | 0 | 19 | 159k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1248.13/1248.58 c 1176s| 2330k|582036 | 10041k| 346M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 160k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1252.73/1253.19 c 1181s| 2340k|583888 | 10078k| 348M| 55 | - | 165 | 15 | 8 | 0 | 0 | 19 | 161k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1257.33/1257.79 c 1185s| 2350k|585448 | 10115k| 349M| 55 | - | 165 | 14 | 7 | 165 | 20 | 19 | 161k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1261.93/1262.36 c 1189s| 2360k|587254 | 10152k| 350M| 55 | - | 165 | 13 | 9 | 165 | 20 | 19 | 162k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1266.52/1266.92 c 1194s| 2370k|588692 | 10188k| 351M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 163k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1271.23/1271.63 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.23/1271.63 c 1198s| 2380k|590654 | 10224k| 352M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 163k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1276.12/1276.56 c 1203s| 2390k|593534 | 10264k| 354M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 164k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1280.82/1281.20 c 1207s| 2400k|595971 | 10301k| 355M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 165k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1285.42/1285.88 c 1211s| 2410k|597756 | 10338k| 356M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 165k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1290.02/1290.46 c 1216s| 2420k|599468 | 10374k| 357M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 166k| 20k| 0.000000e+00 | 1.100000e+01 | Inf
1294.71/1295.11 c 1220s| 2430k|601237 | 10411k| 358M| 55 | - | 165 | 11 | 7 | 0 | 0 | 19 | 167k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1299.22/1299.66 c 1224s| 2440k|602981 | 10448k| 360M| 55 | 7 | 165 | 13 | 8 | 165 | 20 | 19 | 167k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1303.82/1304.25 c 1229s| 2450k|604750 | 10484k| 361M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 168k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1308.41/1308.85 c 1233s| 2460k|606278 | 10520k| 362M| 55 | 7 | 165 | 13 | 8 | 165 | 20 | 19 | 169k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1313.01/1313.45 c 1237s| 2470k|607909 | 10556k| 363M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 169k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1317.52/1317.94 c 1242s| 2480k|609013 | 10591k| 364M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 170k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1322.00/1322.48 c 1246s| 2490k|610269 | 10628k| 365M| 55 | 7 | 165 | 17 | 7 | 165 | 20 | 19 | 171k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1326.71/1327.14 c 1250s| 2500k|611778 | 10665k| 366M| 55 | 7 | 165 | 16 | 7 | 165 | 20 | 19 | 171k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1331.30/1331.79 c 1255s| 2510k|613329 | 10702k| 367M| 55 | 7 | 165 | 16 | 7 | 165 | 20 | 19 | 172k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1335.91/1336.37 c 1259s| 2520k|614695 | 10739k| 368M| 55 | 7 | 165 | 15 | 7 | 165 | 20 | 19 | 172k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1340.51/1340.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.51/1340.95 c 1263s| 2530k|616018 | 10776k| 369M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 173k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1345.10/1345.52 c 1268s| 2540k|616939 | 10813k| 369M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 174k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1349.80/1350.23 c 1272s| 2550k|618188 | 10851k| 370M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 174k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1355.00/1355.43 c 1277s| 2560k|621396 | 10893k| 372M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 175k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1359.70/1360.14 c 1282s| 2570k|623508 | 10933k| 373M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 175k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1364.40/1364.88 c 1286s| 2580k|625251 | 10972k| 375M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 176k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1369.20/1369.61 c 1290s| 2590k|627116 | 11011k| 376M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 177k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1373.79/1374.29 c 1295s| 2600k|628676 | 11049k| 377M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 177k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1378.49/1378.97 c 1299s| 2610k|629967 | 11089k| 378M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 178k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1383.19/1383.65 c 1304s| 2620k|631441 | 11128k| 379M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 178k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1387.89/1388.34 c 1308s| 2630k|632795 | 11166k| 380M| 55 | - | 165 | 13 | 10 | 165 | 20 | 19 | 179k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1392.59/1393.03 c 1313s| 2640k|633866 | 11204k| 380M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 179k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1397.18/1397.68 c 1317s| 2650k|634895 | 11243k| 381M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 180k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1401.88/1402.33 c 1321s| 2660k|636048 | 11281k| 382M| 55 | - | 165 | 11 | 8 | 0 | 0 | 19 | 181k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1406.59/1407.04 c 1326s| 2670k|637428 | 11319k| 383M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 181k| 21k| 0.000000e+00 | 1.100000e+01 | Inf
1411.28/1411.72 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.28/1411.72 c 1330s| 2680k|639033 | 11357k| 384M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 182k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1415.88/1416.33 c 1334s| 2690k|640160 | 11395k| 385M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 182k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1420.58/1421.07 c 1339s| 2700k|641779 | 11433k| 386M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 183k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1425.28/1425.72 c 1343s| 2710k|643197 | 11471k| 387M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 184k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1429.87/1430.33 c 1348s| 2720k|644414 | 11508k| 388M| 55 | - | 165 | 13 | 8 | 0 | 0 | 19 | 184k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1434.47/1434.98 c 1352s| 2730k|645483 | 11545k| 389M| 55 | - | 165 | 13 | 8 | 165 | 20 | 19 | 185k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1439.07/1439.52 c 1356s| 2740k|647146 | 11582k| 390M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 185k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1443.77/1444.25 c 1361s| 2750k|649040 | 11619k| 391M| 55 | - | 165 | 17 | 7 | 0 | 0 | 19 | 186k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1448.37/1448.85 c 1365s| 2760k|650287 | 11655k| 392M| 55 | - | 165 | 15 | 9 | 165 | 20 | 19 | 187k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1452.96/1453.46 c 1369s| 2770k|651070 | 11692k| 393M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 187k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1457.67/1458.12 c 1374s| 2780k|652123 | 11729k| 394M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 188k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1462.27/1462.70 c 1378s| 2790k|653123 | 11767k| 394M| 55 | - | 165 | 14 | 7 | 0 | 0 | 19 | 188k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1466.87/1467.35 c 1383s| 2800k|653751 | 11804k| 395M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 189k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1471.56/1472.01 c 1387s| 2810k|654559 | 11841k| 396M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 190k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1476.16/1476.63 c 1391s| 2820k|655744 | 11880k| 397M| 55 | - | 165 | 15 | 7 | 165 | 20 | 19 | 190k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1480.76/1481.29 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.76/1481.29 c 1396s| 2830k|656811 | 11918k| 397M| 55 | - | 165 | 12 | 7 | 0 | 0 | 19 | 191k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1485.36/1485.88 c 1400s| 2840k|657543 | 11955k| 398M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 191k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1489.96/1490.47 c 1404s| 2850k|658591 | 11992k| 399M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 192k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1494.65/1495.13 c 1409s| 2860k|659341 | 12030k| 400M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 193k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1499.15/1499.67 c 1413s| 2870k|660532 | 12066k| 400M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 193k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1503.75/1504.24 c 1417s| 2880k|661442 | 12102k| 401M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 194k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1508.45/1508.95 c 1422s| 2890k|662499 | 12140k| 402M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 195k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1513.15/1513.64 c 1426s| 2900k|663599 | 12177k| 403M| 55 | 7 | 165 | 15 | 7 | 165 | 20 | 19 | 195k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1517.84/1518.39 c 1431s| 2910k|665366 | 12216k| 404M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 196k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1522.54/1523.03 c 1435s| 2920k|666844 | 12254k| 405M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 197k| 22k| 0.000000e+00 | 1.100000e+01 | Inf
1527.24/1527.72 c 1440s| 2930k|667686 | 12291k| 406M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 197k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1531.85/1532.34 c 1444s| 2940k|668717 | 12328k| 407M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 198k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1536.34/1536.87 c 1448s| 2950k|670142 | 12365k| 408M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 198k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1540.94/1541.45 c 1452s| 2960k|671201 | 12401k| 408M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 199k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1545.54/1546.07 c 1457s| 2970k|672379 | 12438k| 409M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 200k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1550.24/1550.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.24/1550.75 c 1461s| 2980k|673794 | 12476k| 410M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 200k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1554.83/1555.40 c 1466s| 2990k|675170 | 12514k| 411M| 55 | - | 165 | 12 | 8 | 0 | 0 | 19 | 201k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1559.54/1560.00 c 1470s| 3000k|676224 | 12550k| 412M| 55 | - | 165 | 13 | 7 | 0 | 0 | 19 | 202k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1564.23/1564.70 c 1474s| 3010k|677141 | 12588k| 413M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 202k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1568.73/1569.24 c 1479s| 3020k|678779 | 12624k| 414M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 203k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1573.33/1573.81 c 1483s| 3030k|679372 | 12660k| 415M| 55 | - | 165 | 11 | 8 | 0 | 0 | 19 | 203k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1577.93/1578.49 c 1487s| 3040k|680905 | 12697k| 416M| 55 | 7 | 165 | 12 | 8 | 165 | 20 | 19 | 204k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1582.53/1583.00 c 1492s| 3050k|681620 | 12732k| 416M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 205k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1587.12/1587.62 c 1496s| 3060k|682242 | 12768k| 417M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 205k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1591.72/1592.26 c 1500s| 3070k|682743 | 12804k| 417M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 206k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1596.32/1596.83 c 1505s| 3080k|683592 | 12840k| 418M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 207k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1600.92/1601.43 c 1509s| 3090k|683982 | 12876k| 419M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 207k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1605.52/1606.00 c 1513s| 3100k|685368 | 12911k| 420M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 208k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1610.11/1610.64 c 1518s| 3110k|686380 | 12947k| 420M| 55 | - | 165 | 10 | 8 | 0 | 0 | 19 | 209k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1614.71/1615.20 c 1522s| 3120k|687663 | 12984k| 421M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 209k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1619.21/1619.75 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1619.21/1619.75 c 1526s| 3130k|688560 | 13021k| 422M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 210k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1623.82/1624.34 c 1531s| 3140k|689242 | 13058k| 423M| 55 | - | 165 | 10 | 7 | 0 | 0 | 19 | 211k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1628.41/1628.95 c 1535s| 3150k|689789 | 13094k| 423M| 55 | - | 165 | 10 | 7 | 0 | 0 | 19 | 211k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1633.11/1633.65 c 1539s| 3160k|690359 | 13131k| 424M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 212k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1637.81/1638.33 c 1544s| 3170k|690996 | 13170k| 424M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 212k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1642.31/1642.89 c 1548s| 3180k|691598 | 13207k| 425M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 213k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1647.00/1647.51 c 1553s| 3190k|692208 | 13243k| 426M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 214k| 23k| 0.000000e+00 | 1.100000e+01 | Inf
1651.71/1652.25 c 1557s| 3200k|692805 | 13282k| 426M| 55 | - | 165 | 13 | 8 | 165 | 20 | 19 | 214k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1656.51/1657.08 c 1562s| 3210k|693468 | 13321k| 427M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 215k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1661.20/1661.75 c 1566s| 3220k|694051 | 13360k| 428M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 215k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1665.80/1666.37 c 1570s| 3230k|694724 | 13396k| 428M| 55 | 7 | 165 | 11 | 8 | 165 | 20 | 19 | 216k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1670.50/1671.02 c 1575s| 3240k|696036 | 13433k| 429M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 217k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1675.10/1675.63 c 1579s| 3250k|696491 | 13469k| 430M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 217k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1679.80/1680.36 c 1584s| 3260k|697580 | 13506k| 430M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 218k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1684.39/1684.96 c 1588s| 3270k|698861 | 13543k| 431M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 219k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1688.99/1689.56 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.99/1689.56 c 1592s| 3280k|699834 | 13579k| 432M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 219k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1693.60/1694.17 c 1597s| 3290k|700889 | 13616k| 433M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 220k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1698.19/1698.77 c 1601s| 3300k|701654 | 13653k| 434M| 55 | - | 165 | 12 | 7 | 165 | 20 | 19 | 221k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1702.89/1703.48 c 1605s| 3310k|703147 | 13690k| 435M| 55 | 7 | 165 | 11 | 8 | 165 | 20 | 19 | 221k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1707.58/1708.14 c 1610s| 3320k|705201 | 13727k| 436M| 55 | - | 165 | 10 | 7 | 0 | 0 | 19 | 222k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1712.18/1712.78 c 1614s| 3330k|706918 | 13764k| 437M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 222k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1716.78/1717.38 c 1618s| 3340k|708451 | 13801k| 438M| 55 | 7 | 165 | 15 | 7 | 165 | 20 | 19 | 223k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1721.38/1721.92 c 1623s| 3350k|709579 | 13837k| 439M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 223k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1725.88/1726.46 c 1627s| 3360k|710830 | 13873k| 440M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 224k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1730.38/1730.98 c 1631s| 3370k|711843 | 13909k| 441M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 225k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1734.98/1735.55 c 1636s| 3380k|712766 | 13945k| 441M| 55 | - | 165 | 10 | 7 | 165 | 20 | 19 | 225k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1739.47/1740.09 c 1640s| 3390k|713648 | 13981k| 442M| 55 | - | 165 | 14 | 7 | 165 | 20 | 19 | 226k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1744.07/1744.66 c 1644s| 3400k|714820 | 14018k| 443M| 55 | 7 | 165 | 18 | 12 | 165 | 20 | 19 | 226k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1748.58/1749.17 c 1648s| 3410k|715750 | 14053k| 444M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 227k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1753.17/1753.79 c 1653s| 3420k|716547 | 14089k| 444M| 55 | 7 | 165 | 13 | 7 | 165 | 20 | 19 | 227k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1757.87/1758.42 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.87/1758.42 c 1657s| 3430k|717849 | 14125k| 445M| 55 | 7 | 165 | 14 | 7 | 165 | 20 | 19 | 228k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1762.37/1763.00 c 1661s| 3440k|719134 | 14162k| 446M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 229k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1767.06/1767.60 c 1666s| 3450k|719748 | 14198k| 447M| 55 | - | 165 | 15 | 8 | 165 | 20 | 19 | 229k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1771.67/1772.23 c 1670s| 3460k|720454 | 14233k| 448M| 55 | 7 | 165 | 12 | 8 | 165 | 20 | 19 | 230k| 24k| 0.000000e+00 | 1.100000e+01 | Inf
1776.17/1776.79 c 1674s| 3470k|721128 | 14269k| 448M| 55 | 7 | 165 | 11 | 7 | 165 | 20 | 19 | 230k| 25k| 0.000000e+00 | 1.100000e+01 | Inf
1780.87/1781.43 c 1679s| 3480k|722445 | 14307k| 449M| 55 | 7 | 165 | 12 | 7 | 165 | 20 | 19 | 231k| 25k| 0.000000e+00 | 1.100000e+01 | Inf
1785.46/1786.05 c 1683s| 3490k|723247 | 14343k| 450M| 55 | - | 165 | 11 | 7 | 165 | 20 | 19 | 232k| 25k| 0.000000e+00 | 1.100000e+01 | Inf
1790.16/1790.75 c 1688s| 3500k|724176 | 14380k| 451M| 55 | 7 | 165 | 14 | 11 | 165 | 20 | 19 | 232k| 25k| 0.000000e+00 | 1.100000e+01 | Inf
1794.96/1795.51 c 1692s| 3510k|726276 | 14420k| 452M| 55 | - | 165 | 13 | 8 | 0 | 0 | 19 | 233k| 25k| 0.000000e+00 | 1.100000e+01 | Inf
1799.66/1800.27 c 1697s| 3520k|728207 | 14459k| 453M| 55 | 7 | 165 | 10 | 7 | 165 | 20 | 19 | 233k| 25k| 0.000000e+00 | 1.100000e+01 | Inf
1800.07/1800.60 c
1800.07/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.60 c Solving Time (sec) : 1696.88
1800.07/1800.60 c Solving Nodes : 3520686
1800.07/1800.60 c Primal Bound : +1.10000000000000e+01 (73 solutions)
1800.07/1800.60 c Dual Bound : +0.00000000000000e+00
1800.07/1800.60 c Gap : infinite
1800.07/1800.60 c NODE 3520686
1800.07/1800.60 c DUAL BOUND 0
1800.07/1800.60 c PRIMAL BOUND 11
1800.07/1800.60 c GAP 1e+20
1800.07/1800.60 s SATISFIABLE
1800.07/1800.60 v x127 x172 x171 -x170 x169 x168 -x167 -x166 -x165 -x164 x163 -x162 x161 -x160 x159 x158 -x157 x156 -x155 x154 x153 -x152 -x151 x150
1800.07/1800.60 v x149 x148 x147 -x146 x145 -x144 x143 x142 -x141 -x140 x139 x138 x137 -x136 -x135 x134 x133 -x132 x131 -x130 -x129 x128 -x126
1800.07/1800.60 v -x125 -x124 -x123 x122 -x121 x120 -x119 x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.07/1800.60 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 -x80
1800.07/1800.60 v -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55
1800.07/1800.60 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.07/1800.60 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.07/1800.60 v -x3 -x2 -x1
1800.07/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.60 c Solving Time : 1696.88
1800.07/1800.60 c Original Problem :
1800.07/1800.60 c Problem name : HOME/instance-1869526-1245176562.opb
1800.07/1800.60 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.60 c Constraints : 14 initial, 14 maximal
1800.07/1800.60 c Presolved Problem :
1800.07/1800.60 c Problem name : t_HOME/instance-1869526-1245176562.opb
1800.07/1800.60 c Variables : 165 (165 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.60 c Constraints : 7 initial, 28 maximal
1800.07/1800.60 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.60 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c probing : 0.02 0 0 0 0 0 0 0 0
1800.07/1800.60 c linear : 0.00 0 7 0 0 0 7 0 0
1800.07/1800.60 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.60 c root node : - 56 - - 56 - - - -
1800.07/1800.60 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.60 c integral : 0 0 0 2190838 0 140 4225 0 0 4373106
1800.07/1800.60 c linear : 7 6 5488873 0 0 543423 3644489 15 0 0
1800.07/1800.60 c logicor : 0+ 0 570594 0 0 5896 75721 0 0 0
1800.07/1800.60 c countsols : 0 0 0 43 0 0 0 0 0 0
1800.07/1800.60 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.60 c integral : 29.63 0.00 0.00 29.63 0.00
1800.07/1800.60 c linear : 418.92 0.00 418.92 0.00 0.00
1800.07/1800.60 c logicor : 1.42 0.00 1.42 0.00 0.00
1800.07/1800.60 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.60 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.60 c rootredcost : 2.12 71 0 56
1800.07/1800.60 c pseudoobj : 47.99 5508903 20119 57975
1800.07/1800.60 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.60 c propagation : 41.65 565796 230214 265657 58.3 1 59.0 -
1800.07/1800.60 c infeasible LP : 0.28 4300 4295 4455 29.6 0 0.0 0
1800.07/1800.60 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.60 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.60 c pseudo solution : 0.00 1 1 1 38.0 0 0.0 -
1800.07/1800.60 c applied globally : - - - 3043 26.1 - - -
1800.07/1800.60 c applied locally : - - - 230920 58.1 - - -
1800.07/1800.60 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.60 c cut pool : 0.00 5 - - 5 - (maximal pool size: 67)
1800.07/1800.60 c redcost : 56.87 2994312 0 16748431 0 0
1800.07/1800.60 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.60 c intobj : 0.00 0 0 0 0 0
1800.07/1800.60 c gomory : 0.00 6 0 0 0 0
1800.07/1800.60 c strongcg : 0.01 6 0 0 16 0
1800.07/1800.60 c cmir : 0.05 6 0 0 17 0
1800.07/1800.60 c flowcover : 0.05 6 0 0 21 0
1800.07/1800.60 c clique : 0.00 1 0 0 0 0
1800.07/1800.60 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.60 c mcf : 0.00 1 0 0 0 0
1800.07/1800.60 c Pricers : Time Calls Vars
1800.07/1800.60 c problem variables: 0.00 0 0
1800.07/1800.60 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.60 c relpscost : 27.65 2190795 140 4225 0 0 4373106
1800.07/1800.60 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.60 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.60 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.60 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.60 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.60 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.60 c random : 0.00 0 0 0 0 0 0
1800.07/1800.60 c Primal Heuristics : Time Calls Found
1800.07/1800.60 c LP solutions : 0.30 - 43
1800.07/1800.60 c pseudo solutions : 0.00 - 0
1800.07/1800.60 c feaspump : 0.19 2 0
1800.07/1800.60 c oneopt : 1.46 69 0
1800.07/1800.60 c crossover : 20.96 17 1
1800.07/1800.60 c veclendiving : 19.84 8018 2
1800.07/1800.60 c guideddiving : 19.90 8018 2
1800.07/1800.60 c linesearchdiving : 19.02 8018 11
1800.07/1800.60 c pscostdiving : 26.11 8019 3
1800.07/1800.60 c coefdiving : 32.37 8019 3
1800.07/1800.60 c fracdiving : 25.72 8019 5
1800.07/1800.60 c simplerounding : 1.31 0 0
1800.07/1800.60 c rounding : 2.66 22024 0
1800.07/1800.60 c shifting : 26.07 24274 1
1800.07/1800.60 c intshifting : 0.08 0 0
1800.07/1800.60 c fixandinfer : 0.00 0 0
1800.07/1800.60 c intdiving : 0.00 0 0
1800.07/1800.60 c actconsdiving : 0.00 0 0
1800.07/1800.60 c objpscostdiving : 8.26 3665 1
1800.07/1800.60 c rootsoldiving : 5.10 722 1
1800.07/1800.60 c octane : 0.00 0 0
1800.07/1800.60 c rens : 0.03 1 0
1800.07/1800.60 c rins : 0.00 0 0
1800.07/1800.60 c localbranching : 0.00 0 0
1800.07/1800.60 c mutation : 0.00 0 0
1800.07/1800.60 c dins : 0.00 0 0
1800.07/1800.60 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.60 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.60 c dual LP : 631.50 3289161 13133979 3.99 20798.07
1800.07/1800.60 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.60 c diving/probing LP: 79.32 621675 1328489 2.14 16748.47
1800.07/1800.60 c strong branching : 6.49 25185 79195 3.14 12202.62
1800.07/1800.60 c (at root node) : - 19 675 35.53 -
1800.07/1800.60 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.60 c B&B Tree :
1800.07/1800.60 c number of runs : 1
1800.07/1800.60 c nodes : 3520686
1800.07/1800.60 c nodes (total) : 3520686
1800.07/1800.60 c nodes left : 728277
1800.07/1800.60 c max depth : 55
1800.07/1800.60 c max depth (total): 55
1800.07/1800.60 c backtracks : 678643 (19.3%)
1800.07/1800.60 c delayed cutoffs : 44323
1800.07/1800.60 c repropagations : 79020 (304209 domain reductions, 44304 cutoffs)
1800.07/1800.60 c avg switch length: 5.66
1800.07/1800.60 c switching time : 114.88
1800.07/1800.60 c Solution :
1800.07/1800.60 c Solutions found : 73 (71 improvements)
1800.07/1800.60 c Primal Bound : +1.10000000000000e+01 (in run 1, after 1980828 nodes, 1014.85 seconds, depth 47, found by <linesearchdiving>)
1800.07/1800.60 c Dual Bound : +0.00000000000000e+00
1800.07/1800.60 c Gap : infinite
1800.07/1800.60 c Root Dual Bound : +0.00000000000000e+00
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869526-1245176562/watcher-1869526-1245176562 -o /tmp/evaluation-result-1869526-1245176562/solver-1869526-1245176562 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869526-1245176562.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: 0.99 1.00 0.99 3/64 6994
/proc/meminfo: memFree=1848640/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=4324 CPUtime=0
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 473 0 0 0 0 0 0 0 18 0 1 0 185253049 4427776 457 1992294400 4194304 7823515 548682068736 18446744073709551615 6820784 0 0 4096 0 0 0 0 17 1 0 0
/proc/6994/statm: 1082 464 300 886 0 192 0
[startup+0.1046 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 6994
/proc/meminfo: memFree=1848640/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=13116 CPUtime=0.09
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 2843 0 0 0 8 1 0 0 18 0 1 0 185253049 13430784 2471 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 3279 2471 551 886 0 2389 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13116
[startup+0.20161 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 6994
/proc/meminfo: memFree=1848640/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=20952 CPUtime=0.19
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 4515 0 0 0 17 2 0 0 18 0 1 0 185253049 21454848 4143 1992294400 4194304 7823515 548682068736 18446744073709551615 5638400 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 5238 4143 563 886 0 4348 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20952
[startup+0.301622 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 6994
/proc/meminfo: memFree=1848640/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=13116 CPUtime=0.29
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 4519 0 0 0 27 2 0 0 19 0 1 0 185253049 13430784 2535 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 3279 2535 567 886 0 2389 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13116
[startup+0.701665 s]
/proc/loadavg: 0.99 1.00 0.99 3/64 6994
/proc/meminfo: memFree=1848640/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=13252 CPUtime=0.69
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 4526 0 0 0 63 6 0 0 22 0 1 0 185253049 13570048 2542 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 3313 2542 573 886 0 2423 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13252
[startup+1.50175 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1840056/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=14256 CPUtime=1.49
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 5473 0 0 0 138 11 0 0 25 0 1 0 185253049 14598144 2827 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 3564 2827 573 886 0 2674 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14256
[startup+3.10193 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1833080/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=14556 CPUtime=3.09
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 7866 0 0 0 287 22 0 0 25 0 1 0 185253049 14905344 2893 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 3639 2893 573 886 0 2749 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14556
[startup+6.30128 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1837368/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=16596 CPUtime=6.29
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 9694 0 0 0 587 42 0 0 25 0 1 0 185253049 16994304 3406 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 4149 3406 573 886 0 3259 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16596
[startup+12.702 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1832824/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=20736 CPUtime=12.69
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 16686 0 0 0 1188 81 0 0 25 0 1 0 185253049 21233664 4477 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 5184 4477 573 886 0 4294 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20736
[startup+25.5014 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1826744/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=26544 CPUtime=25.48
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 31984 0 0 0 2398 150 0 0 25 0 1 0 185253049 27181056 5986 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 6636 5986 573 886 0 5746 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26544
[startup+51.1012 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1813880/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=39244 CPUtime=51.08
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 47099 0 0 0 4802 306 0 0 25 0 1 0 185253049 40185856 9220 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 9811 9220 573 886 0 8921 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39244
[startup+102.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1778296/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=75612 CPUtime=102.27
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 74957 0 0 0 9629 598 0 0 25 0 1 0 185253049 77426688 18068 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 18903 18068 573 886 0 18013 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 75612
[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1747320/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=105884 CPUtime=162.25
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 103537 0 0 0 15283 942 0 0 25 0 1 0 185253049 108425216 25763 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 26471 25763 573 886 0 25581 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 105884
[startup+222.305 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1733624/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=119356 CPUtime=222.23
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 122257 0 0 0 20918 1305 0 0 25 0 1 0 185253049 122220544 29173 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 29839 29173 573 886 0 28949 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 119356
[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1716856/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=135300 CPUtime=282.21
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 135409 0 0 0 26573 1648 0 0 25 0 1 0 185253049 138547200 33266 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 33825 33266 573 886 0 32935 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 135300
[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1700728/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=151368 CPUtime=342.19
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 141402 0 0 0 32232 1987 0 0 25 0 1 0 185253049 155000832 37319 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 37842 37319 573 886 0 36952 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 151368
[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1679096/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=176880 CPUtime=402.18
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 148531 0 0 0 37892 2326 0 0 25 0 1 0 185253049 181125120 42791 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 44220 42791 573 886 0 43330 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 176880
[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1671224/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=184112 CPUtime=462.15
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 158700 0 0 0 43524 2691 0 0 25 0 1 0 185253049 188530688 44667 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 46028 44667 573 886 0 45138 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 184112
[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1654392/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=200308 CPUtime=522.14
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 163508 0 0 0 49189 3025 0 0 25 0 1 0 185253049 205115392 48829 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 50077 48829 573 886 0 49187 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 200308
[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1636984/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=217660 CPUtime=582.12
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 169974 0 0 0 54832 3380 0 0 25 0 1 0 185253049 222883840 53275 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 54415 53275 573 886 0 53525 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 217660
[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1615864/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=237620 CPUtime=642.11
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 175120 0 0 0 60486 3725 0 0 25 0 1 0 185253049 243322880 58421 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 59405 58421 573 886 0 58515 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 237620
[startup+702.301 s]
################
# More data... #
################
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 209011 0 0 0 100084 6115 0 0 25 0 1 0 185253049 361500672 85873 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 88257 85873 573 886 0 87367 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 353028
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1494328/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=363328 CPUtime=1121.97
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 211701 0 0 0 105737 6460 0 0 25 0 1 0 185253049 372047872 88563 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 90832 88563 573 886 0 89942 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 363328
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1478328/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=378916 CPUtime=1181.95
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 217001 0 0 0 111386 6809 0 0 25 0 1 0 185253049 388009984 92533 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 94729 92533 573 886 0 93839 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 378916
[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1466296/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=390384 CPUtime=1241.94
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 219983 0 0 0 117045 7149 0 0 25 0 1 0 185253049 399753216 95515 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 97596 95515 573 886 0 96706 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 390384
[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1452664/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=403488 CPUtime=1301.91
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 223339 0 0 0 122695 7496 0 0 25 0 1 0 185253049 413171712 98871 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 100872 98871 573 886 0 99982 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 403488
[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1439864/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=415844 CPUtime=1361.89
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 226508 0 0 0 128358 7831 0 0 25 0 1 0 185253049 425824256 102040 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 103961 102040 573 886 0 103071 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 415844
[startup+1422.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1425464/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=429900 CPUtime=1421.89
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 230093 0 0 0 134012 8177 0 0 25 0 1 0 185253049 440217600 105625 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 107475 105625 573 886 0 106585 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 429900
[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1416696/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=438356 CPUtime=1481.86
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 232264 0 0 0 139669 8517 0 0 25 0 1 0 185253049 448876544 107796 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 109589 107796 573 886 0 108699 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 438356
[startup+1542.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1406264/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=448416 CPUtime=1541.84
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 234835 0 0 0 145329 8855 0 0 25 0 1 0 185253049 459177984 110367 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 112104 110367 573 886 0 111214 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 448416
[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1397112/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=457380 CPUtime=1601.82
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 237128 0 0 0 150987 9195 0 0 25 0 1 0 185253049 468357120 112660 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 114345 112660 573 886 0 113455 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 457380
[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1388664/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=465532 CPUtime=1661.8
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 239203 0 0 0 156648 9532 0 0 25 0 1 0 185253049 476704768 114735 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 116383 114735 573 886 0 115493 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 465532
[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1375800/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=478112 CPUtime=1721.78
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 242411 0 0 0 162307 9871 0 0 25 0 1 0 185253049 489586688 117943 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 119528 117943 573 886 0 118638 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 478112
[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6995
/proc/meminfo: memFree=1364280/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=489260 CPUtime=1781.76
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 245247 0 0 0 167959 10217 0 0 25 0 1 0 185253049 501002240 120779 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 122315 120779 573 886 0 121425 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 489260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 6997
/proc/meminfo: memFree=1360056/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=493244 CPUtime=1800.07
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 246264 0 0 0 169688 10319 0 0 25 0 1 0 185253049 505081856 121796 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6994/statm: 123311 121796 573 886 0 122421 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 493244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -6994
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 6998
/proc/meminfo: memFree=1359984/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=493244 CPUtime=1800.95
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 246266 0 0 0 169776 10319 0 0 25 0 1 0 185253049 505081856 121798 1992294400 4194304 7823515 548682068736 18446744073709551615 4743854 0 0 4096 0 0 0 0 17 1 0 0
/proc/6994/statm: 123311 121798 575 886 0 122421 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 493244
[startup+1802.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 6998
/proc/meminfo: memFree=1359984/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=493244 CPUtime=1801.75
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 246266 0 0 0 169856 10319 0 0 25 0 1 0 185253049 505081856 121798 1992294400 4194304 7823515 548682068736 18446744073709551615 5875141 0 0 4096 0 0 0 0 17 1 0 0
/proc/6994/statm: 123311 121798 575 886 0 122421 0
Current children cumulated CPU time (s) 1801.75
Current children cumulated vsize (KiB) 493244
[startup+1802.5 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 6998
/proc/meminfo: memFree=1359984/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=493244 CPUtime=1801.95
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 246266 0 0 0 169876 10319 0 0 25 0 1 0 185253049 505081856 121798 1992294400 4194304 7823515 548682068736 18446744073709551615 5875141 0 0 4096 0 0 0 0 17 1 0 0
/proc/6994/statm: 123311 121798 575 886 0 122421 0
Current children cumulated CPU time (s) 1801.95
Current children cumulated vsize (KiB) 493244
[startup+1802.6 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 6998
/proc/meminfo: memFree=1359984/2055920 swapFree=4192812/4192956
[pid=6994] ppid=6992 vsize=493244 CPUtime=1802.05
/proc/6994/stat : 6994 (pbscip.linux.x8) R 6992 6994 6915 0 -1 4194304 246266 0 0 0 169886 10319 0 0 25 0 1 0 185253049 505081856 121798 1992294400 4194304 7823515 548682068736 18446744073709551615 5875162 0 0 4096 0 0 0 0 17 1 0 0
/proc/6994/statm: 123311 121798 575 886 0 122421 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 493244
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.14
CPU user time (s): 1698.88
CPU system time (s): 103.269
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 493244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1698.88
system time used= 103.269
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246266
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 3053
runsolver used 1.63675 second user time and 3.35249 second system time
The end