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-1869498-1245174990.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 constraints
0.00/0.01 c start presolving problem
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 8 del vars, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/190 (53.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 8 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 190 variables (190 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03 c 8 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.04 c OPT-LIN
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = c 1620
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = c 1791
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = c 10000
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving problem
0.00/0.04 c
0.00/0.04 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 143 | 611k| 0 | 8 | 190 | 8 | 8 | 190 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.04/0.06 c 0.0s| 1 | 0 | 266 | 732k| 0 | 12 | 190 | 8 | 8 | 190 | 16 | 8 | 0 | 0 | 1.818989e-12 | -- | Inf
0.04/0.08 c 0.1s| 1 | 0 | 276 | 778k| 0 | 17 | 190 | 8 | 8 | 190 | 21 | 13 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 289 | 787k| 0 | 16 | 190 | 8 | 8 | 190 | 22 | 14 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 292 | 796k| 0 | 18 | 190 | 8 | 8 | 190 | 24 | 16 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 299 | 811k| 0 | 21 | 190 | 8 | 8 | 190 | 27 | 19 | 0 | 0 | 1.818989e-12 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 309 | 827k| 0 | 19 | 190 | 8 | 8 | 190 | 29 | 21 | 0 | 0 | 1.818989e-12 | -- | Inf
0.19/0.29 c 0.3s| 1 | 2 | 309 | 828k| 0 | 19 | 190 | 8 | 8 | 190 | 29 | 21 | 0 | 19 | 1.818989e-12 | -- | Inf
0.49/0.55 o 1657
0.49/0.55 c c 0.5s| 46 | 47 | 578 | 903k| 45 | - | 190 | 8 | 1 | 190 | 20 | 21 | 0 | 312 | 1.818989e-12 | 1.657000e+03 | Inf
0.59/0.70 o 1195
0.59/0.70 c f 0.7s| 123 | 122 | 975 | 970k| 59 | - | 190 | 8 | 1 | 190 | 20 | 21 | 3 | 528 | 1.818989e-12 | 1.195000e+03 | Inf
0.89/0.93 o 855
0.89/0.93 c p 0.9s| 296 | 281 | 2515 |1060k| 59 | - | 190 | 8 | 2 | 190 | 20 | 21 | 6 | 702 | 1.818989e-12 | 8.550000e+02 | Inf
1.00/1.02 o 606
1.00/1.02 c g 1.0s| 407 | 368 | 3029 |1086k| 59 | - | 190 | 8 | 3 | 190 | 20 | 21 | 6 | 733 | 1.818989e-12 | 6.060000e+02 | Inf
1.09/1.17 o 312
1.09/1.17 c f 1.1s| 543 | 469 | 4420 |1143k| 59 | - | 190 | 8 | 2 | 190 | 20 | 21 | 8 | 787 | 1.818989e-12 | 3.120000e+02 | Inf
1.09/1.19 o 309
1.09/1.19 c s 1.1s| 557 | 479 | 4490 |1132k| 59 | - | 190 | 8 | 2 | 190 | 20 | 21 | 8 | 804 | 1.818989e-12 | 3.090000e+02 | Inf
4.09/4.12 o 246
4.09/4.12 c f 3.8s| 2949 | 2827 | 21409 |2134k| 61 | - | 190 | 8 | 2 | 190 | 20 | 21 | 92 | 929 | 1.818989e-12 | 2.460000e+02 | Inf
4.39/4.46 o 121
4.39/4.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.39/4.46 c c 4.2s| 3299 | 2979 | 23800 |2166k| 69 | - | 190 | 8 | 1 | 190 | 20 | 21 | 101 | 952 | 1.818989e-12 | 1.210000e+02 | Inf
6.79/6.87 o 120
6.79/6.87 c l 6.5s| 5644 | 5287 | 40595 |3124k| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 183 |1025 | 1.818989e-12 | 1.200000e+02 | Inf
11.69/11.74 c 11.1s| 10000 | 9579 | 73804 |4966k| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 378 |1086 | 1.818989e-12 | 1.200000e+02 | Inf
12.09/12.12 o 118
12.09/12.12 c *11.4s| 10319 | 9884 | 76379 |5093k| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 401 |1095 | 1.818989e-12 | 1.180000e+02 | Inf
12.69/12.70 o 116
12.69/12.70 c c12.0s| 10797 | 10350 | 80198 |5314k| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 427 |1123 | 1.818989e-12 | 1.160000e+02 | Inf
12.69/12.70 o 114
12.69/12.70 c k12.0s| 10798 | 10348 | 80200 |5306k| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 427 |1123 | 1.818989e-12 | 1.140000e+02 | Inf
21.59/21.69 c 20.6s| 20000 | 19146 |142893 |9302k| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 771 |1477 | 1.818989e-12 | 1.140000e+02 | Inf
22.59/22.60 o 113
22.59/22.60 c *21.4s| 21115 | 20168 |149482 |9802k| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 799 |1522 | 1.818989e-12 | 1.130000e+02 | Inf
22.59/22.60 o 111
22.59/22.60 c *21.5s| 21116 | 20147 |149486 |9781k| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 799 |1524 | 1.818989e-12 | 1.110000e+02 | Inf
28.38/28.42 o 110
28.38/28.42 c *26.8s| 25654 | 24249 |178219 | 11M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 918 |1742 | 1.818989e-12 | 1.100000e+02 | Inf
29.78/29.84 o 108
29.78/29.84 c *28.2s| 27308 | 25717 |188213 | 12M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 971 |1842 | 1.818989e-12 | 1.080000e+02 | Inf
31.68/31.70 o 107
31.68/31.70 c l29.9s| 29458 | 27692 |201976 | 13M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |1033 |1911 | 1.818989e-12 | 1.070000e+02 | Inf
32.19/32.27 c 30.5s| 30000 | 28182 |206296 | 13M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 |1056 |1936 | 1.818989e-12 | 1.070000e+02 | Inf
32.48/32.54 o 105
32.48/32.54 c *30.7s| 30241 | 28350 |208440 | 13M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |1063 |1954 | 1.818989e-12 | 1.050000e+02 | Inf
32.48/32.57 o 104
32.48/32.57 c p30.8s| 30276 | 28352 |208677 | 13M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |1063 |1957 | 1.818989e-12 | 1.040000e+02 | Inf
38.18/38.21 o 103
38.18/38.21 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.18/38.21 c *36.1s| 35569 | 32877 |245329 | 16M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |1297 |2172 | 1.818989e-12 | 1.030000e+02 | Inf
41.97/42.07 c 39.7s| 40000 | 36660 |273764 | 18M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |1445 |2384 | 1.818989e-12 | 1.030000e+02 | Inf
43.37/43.49 o 102
43.37/43.49 c *41.1s| 41025 | 37548 |280658 | 18M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |1473 |2433 | 1.818989e-12 | 1.020000e+02 | Inf
43.37/43.49 o 100
43.37/43.49 c *41.1s| 41026 | 37496 |280659 | 18M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |1473 |2435 | 1.818989e-12 | 1.000000e+02 | Inf
45.08/45.14 o 99
45.08/45.14 c *42.6s| 42942 | 39109 |292782 | 19M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |1523 |2512 | 1.818989e-12 | 9.900000e+01 | Inf
45.08/45.14 o 97
45.08/45.14 c *42.6s| 42943 | 39040 |292784 | 19M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |1523 |2512 | 1.818989e-12 | 9.700000e+01 | Inf
51.17/51.21 c 48.4s| 50000 | 44810 |337130 | 22M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |1782 |2774 | 1.818989e-12 | 9.700000e+01 | Inf
51.58/51.67 o 96
51.58/51.67 c *48.8s| 50533 | 45191 |340469 | 22M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |1794 |2797 | 1.818989e-12 | 9.600000e+01 | Inf
52.27/52.37 o 94
52.27/52.37 c *49.5s| 51312 | 45749 |345425 | 23M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |1817 |2840 | 1.818989e-12 | 9.400000e+01 | Inf
56.87/56.92 o 92
56.87/56.92 c *53.8s| 55715 | 49118 |373367 | 25M| 69 | - | 190 | 9 | 1 | 190 | 20 | 21 |1969 |2987 | 1.818989e-12 | 9.200000e+01 | Inf
58.97/59.05 o 91
58.97/59.05 c *55.8s| 58197 | 50911 |389093 | 26M| 69 | - | 190 | 9 | 0 | 190 | 20 | 21 |2065 |3076 | 1.818989e-12 | 9.100000e+01 | Inf
60.57/60.63 c 57.3s| 60000 | 52339 |401094 | 27M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |2141 |3129 | 1.818989e-12 | 9.100000e+01 | Inf
63.78/63.81 o 89
63.78/63.81 c *60.3s| 63677 | 54975 |423872 | 28M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |2306 |3285 | 1.818989e-12 | 8.900000e+01 | Inf
63.78/63.81 o 87
63.78/63.81 c *60.3s| 63678 | 54744 |423874 | 28M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |2306 |3285 | 1.818989e-12 | 8.700000e+01 | Inf
63.87/63.96 o 85
63.87/63.96 c *60.4s| 63782 | 54590 |424867 | 28M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |2310 |3295 | 1.818989e-12 | 8.500000e+01 | Inf
64.38/64.46 o 84
64.38/64.46 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.38/64.46 c *60.9s| 64384 | 54963 |428398 | 28M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |2332 |3317 | 1.818989e-12 | 8.400000e+01 | Inf
69.07/69.17 c 65.3s| 70000 | 59244 |462083 | 31M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |2535 |3516 | 1.818989e-12 | 8.400000e+01 | Inf
69.67/69.71 o 82
69.67/69.71 c g65.8s| 70608 | 59434 |465923 | 31M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |2570 |3535 | 1.818989e-12 | 8.200000e+01 | Inf
70.37/70.48 o 81
70.37/70.48 c *66.6s| 71303 | 59816 |471656 | 31M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |2599 |3579 | 1.818989e-12 | 8.100000e+01 | Inf
72.66/72.71 o 80
72.66/72.71 c *68.7s| 73550 | 61280 |487651 | 32M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |2702 |3658 | 1.818989e-12 | 8.000000e+01 | Inf
76.46/76.56 o 76
76.46/76.56 c g72.3s| 78179 | 63950 |515408 | 33M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |2920 |3829 | 1.818989e-12 | 7.600000e+01 | Inf
78.37/78.45 c 74.1s| 80000 | 65258 |529052 | 34M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |3016 |3881 | 1.818989e-12 | 7.600000e+01 | Inf
79.97/80.00 o 75
79.97/80.00 c *75.6s| 81829 | 66271 |540063 | 35M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |3104 |3925 | 1.818989e-12 | 7.500000e+01 | Inf
81.37/81.48 o 73
81.37/81.48 c *77.0s| 83603 | 67093 |551013 | 35M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |3175 |3972 | 1.818989e-12 | 7.300000e+01 | Inf
81.37/81.49 o 71
81.37/81.49 c *77.0s| 83604 | 66665 |551013 | 35M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |3175 |3976 | 1.818989e-12 | 7.100000e+01 | Inf
86.77/86.83 c 82.1s| 90000 | 71018 |589925 | 38M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |3403 |4159 | 1.818989e-12 | 7.100000e+01 | Inf
86.77/86.89 o 70
86.77/86.89 c *82.1s| 90074 | 70791 |590306 | 37M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |3407 |4166 | 1.818989e-12 | 7.000000e+01 | Inf
86.77/86.90 o 68
86.77/86.90 c *82.1s| 90075 | 70268 |590307 | 37M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |3407 |4166 | 1.818989e-12 | 6.800000e+01 | Inf
89.27/89.36 o 67
89.27/89.36 c *84.5s| 92975 | 71915 |607653 | 38M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |3535 |4253 | 1.818989e-12 | 6.700000e+01 | Inf
89.27/89.36 o 65
89.27/89.36 c *84.5s| 92976 | 71380 |607654 | 37M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |3535 |4253 | 1.818989e-12 | 6.500000e+01 | Inf
94.06/94.11 o 64
94.06/94.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.06/94.11 c *88.8s| 96047 | 72929 |626492 | 39M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |3653 |4356 | 1.818989e-12 | 6.400000e+01 | Inf
94.06/94.11 o 62
94.06/94.11 c s88.8s| 96048 | 72398 |626494 | 38M| 69 | - | 190 | 8 | 3 | 190 | 20 | 21 |3653 |4356 | 1.818989e-12 | 6.200000e+01 | Inf
97.36/97.46 c 92.0s|100000 | 75263 |651090 | 40M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |3785 |4481 | 1.818989e-12 | 6.200000e+01 | Inf
106.36/106.44 c 100s|110000 | 82228 |713162 | 44M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |4220 |4769 | 1.818989e-12 | 6.200000e+01 | Inf
114.56/114.69 c 108s|120000 | 89132 |775575 | 49M| 69 | - | 190 | 8 | 9 | 0 | 0 | 21 |4663 |5048 | 1.818989e-12 | 6.200000e+01 | Inf
122.76/122.86 c 116s|130000 | 96356 |837096 | 54M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |5059 |5290 | 1.818989e-12 | 6.200000e+01 | Inf
131.05/131.11 c 124s|140000 |103311 |900003 | 58M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |5472 |5538 | 1.818989e-12 | 6.200000e+01 | Inf
139.25/139.39 c 132s|150000 |110025 |963467 | 63M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |5942 |5747 | 1.818989e-12 | 6.200000e+01 | Inf
145.35/145.46 o 61
145.35/145.46 c * 137s|157443 |114851 | 1009k| 66M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |6244 |5895 | 1.818989e-12 | 6.100000e+01 | Inf
147.56/147.62 c 140s|160000 |116542 | 1025k| 67M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |6338 |5942 | 1.818989e-12 | 6.100000e+01 | Inf
152.35/152.48 o 59
152.35/152.48 c * 144s|165940 |119661 | 1062k| 68M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |6585 |6072 | 1.818989e-12 | 5.900000e+01 | Inf
152.35/152.49 o 57
152.35/152.49 c * 144s|165941 |118653 | 1062k| 67M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 |6585 |6074 | 1.818989e-12 | 5.700000e+01 | Inf
157.95/158.09 c 149s|170000 |121377 | 1086k| 69M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |6746 |6158 | 1.818989e-12 | 5.700000e+01 | Inf
166.05/166.18 c 157s|180000 |127694 | 1146k| 73M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |7187 |6372 | 1.818989e-12 | 5.700000e+01 | Inf
168.95/169.04 o 56
168.95/169.04 c s 160s|183504 |129408 | 1167k| 74M| 69 | - | 190 | 9 | 3 | 190 | 20 | 21 |7340 |6438 | 1.818989e-12 | 5.600000e+01 | Inf
174.25/174.33 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.25/174.33 c 165s|190000 |133165 | 1206k| 77M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 |7697 |6585 | 1.818989e-12 | 5.600000e+01 | Inf
182.35/182.44 c 172s|200000 |140036 | 1266k| 81M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 |8079 |6754 | 1.818989e-12 | 5.600000e+01 | Inf
190.44/190.54 c 180s|210000 |145976 | 1327k| 85M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 |8563 |6919 | 1.818989e-12 | 5.600000e+01 | Inf
191.84/191.97 o 54
191.84/191.97 c * 181s|211666 |145584 | 1338k| 84M| 69 | - | 190 | 9 | 0 | 190 | 20 | 21 |8641 |6969 | 1.818989e-12 | 5.400000e+01 | Inf
191.84/191.98 o 52
191.84/191.98 c * 181s|211668 |143919 | 1338k| 82M| 69 | - | 190 | 9 | 0 | 190 | 20 | 21 |8641 |6977 | 1.818989e-12 | 5.200000e+01 | Inf
191.95/192.00 o 50
191.95/192.00 c * 181s|211669 |142131 | 1338k| 80M| 69 | - | 190 | 9 | 0 | 190 | 20 | 21 |8641 |6980 | 1.818989e-12 | 5.000000e+01 | Inf
198.54/198.62 c 188s|220000 |146704 | 1386k| 83M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |9015 |7114 | 1.818989e-12 | 5.000000e+01 | Inf
206.24/206.39 c 195s|230000 |152167 | 1445k| 88M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |9475 |7274 | 1.818989e-12 | 5.000000e+01 | Inf
214.34/214.42 c 203s|240000 |157803 | 1504k| 92M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 |9870 |7428 | 1.818989e-12 | 5.000000e+01 | Inf
218.44/218.51 o 49
218.44/218.51 c * 207s|245088 |159680 | 1535k| 93M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 10k|7501 | 1.818989e-12 | 4.900000e+01 | Inf
218.44/218.53 o 47
218.44/218.53 c * 207s|245090 |156922 | 1535k| 90M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 10k|7504 | 1.818989e-12 | 4.700000e+01 | Inf
218.44/218.54 o 45
218.44/218.54 c * 207s|245091 |154976 | 1535k| 88M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 10k|7504 | 1.818989e-12 | 4.500000e+01 | Inf
222.43/222.59 c 210s|250000 |157608 | 1564k| 89M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 10k|7585 | 1.818989e-12 | 4.500000e+01 | Inf
232.33/232.45 c 220s|260000 |162666 | 1621k| 93M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 10k|7749 | 1.818989e-12 | 4.500000e+01 | Inf
233.93/234.01 o 43
233.93/234.01 c * 221s|262076 |161438 | 1632k| 92M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 10k|7795 | 1.818989e-12 | 4.300000e+01 | Inf
233.93/234.03 o 41
233.93/234.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.93/234.03 c * 221s|262077 |159158 | 1632k| 89M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 10k|7797 | 1.818989e-12 | 4.100000e+01 | Inf
242.83/242.95 c 230s|270000 |162854 | 1675k| 92M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 11k|7943 | 1.818989e-12 | 4.100000e+01 | Inf
250.23/250.38 c 237s|280000 |167491 | 1730k| 96M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 11k|8085 | 1.818989e-12 | 4.100000e+01 | Inf
258.02/258.17 c 244s|290000 |172521 | 1788k| 100M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 11k|8257 | 1.818989e-12 | 4.100000e+01 | Inf
265.53/265.65 c 251s|300000 |177184 | 1843k| 103M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 12k|8379 | 1.818989e-12 | 4.100000e+01 | Inf
273.32/273.42 c 259s|310000 |182296 | 1900k| 107M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 12k|8538 | 1.818989e-12 | 4.100000e+01 | Inf
281.02/281.10 c 266s|320000 |187218 | 1957k| 111M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 | 12k|8662 | 1.818989e-12 | 4.100000e+01 | Inf
282.92/283.09 o 39
282.92/283.09 c * 268s|322461 |185840 | 1971k| 109M| 69 | - | 190 | 10 | 0 | 190 | 20 | 21 | 13k|8697 | 1.818989e-12 | 3.900000e+01 | Inf
283.03/283.11 o 37
283.03/283.11 c * 268s|322462 |182973 | 1971k| 105M| 69 | - | 190 | 10 | 0 | 190 | 20 | 21 | 13k|8697 | 1.818989e-12 | 3.700000e+01 | Inf
290.42/290.57 c 275s|330000 |186148 | 2010k| 108M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 | 13k|8802 | 1.818989e-12 | 3.700000e+01 | Inf
297.82/297.91 c 282s|340000 |190840 | 2065k| 112M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 | 13k|8948 | 1.818989e-12 | 3.700000e+01 | Inf
306.92/307.05 c 290s|350000 |195271 | 2118k| 115M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 14k|9086 | 1.818989e-12 | 3.700000e+01 | Inf
314.62/314.75 c 297s|360000 |200321 | 2174k| 119M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 14k|9205 | 1.818989e-12 | 3.700000e+01 | Inf
322.12/322.25 c 305s|370000 |205062 | 2229k| 122M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 14k|9346 | 1.818989e-12 | 3.700000e+01 | Inf
325.31/325.40 o 35
325.31/325.40 c * 308s|374574 |203957 | 2253k| 121M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 14k|9419 | 1.818989e-12 | 3.500000e+01 | Inf
329.01/329.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.01/329.14 c 311s|380000 |206005 | 2280k| 122M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 15k|9484 | 1.818989e-12 | 3.500000e+01 | Inf
336.52/336.61 c 318s|390000 |210966 | 2335k| 126M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 15k|9614 | 1.818989e-12 | 3.500000e+01 | Inf
343.50/343.60 c 325s|400000 |215360 | 2387k| 129M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 15k|9735 | 1.818989e-12 | 3.500000e+01 | Inf
350.60/350.72 c 332s|410000 |219449 | 2441k| 132M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 15k|9882 | 1.818989e-12 | 3.500000e+01 | Inf
357.90/358.09 c 339s|420000 |224011 | 2494k| 136M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 16k| 10k| 1.818989e-12 | 3.500000e+01 | Inf
365.30/365.49 c 346s|430000 |228623 | 2548k| 139M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 16k| 10k| 1.818989e-12 | 3.500000e+01 | Inf
372.90/373.08 c 353s|440000 |233732 | 2604k| 142M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 16k| 10k| 1.818989e-12 | 3.500000e+01 | Inf
380.30/380.42 c 360s|450000 |238615 | 2658k| 146M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 17k| 10k| 1.818989e-12 | 3.500000e+01 | Inf
387.40/387.59 c 367s|460000 |243187 | 2710k| 149M| 69 | - | 190 | 8 | 8 | 0 | 0 | 21 | 17k| 10k| 1.818989e-12 | 3.500000e+01 | Inf
391.20/391.34 o 34
391.20/391.34 c * 370s|464925 |244005 | 2737k| 149M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 17k| 10k| 1.818989e-12 | 3.400000e+01 | Inf
394.90/395.00 c 374s|470000 |246310 | 2763k| 151M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 17k| 10k| 1.818989e-12 | 3.400000e+01 | Inf
401.80/401.93 c 380s|480000 |250691 | 2815k| 154M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 18k| 10k| 1.818989e-12 | 3.400000e+01 | Inf
408.79/408.97 c 387s|490000 |255120 | 2867k| 157M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 18k| 10k| 1.818989e-12 | 3.400000e+01 | Inf
415.99/416.15 c 394s|500000 |259715 | 2919k| 161M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 18k| 10k| 1.818989e-12 | 3.400000e+01 | Inf
422.79/422.94 c 400s|510000 |263763 | 2970k| 164M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 19k| 11k| 1.818989e-12 | 3.400000e+01 | Inf
429.59/429.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
429.59/429.74 c 407s|520000 |267790 | 3021k| 167M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 19k| 11k| 1.818989e-12 | 3.400000e+01 | Inf
436.09/436.24 c 413s|530000 |271448 | 3070k| 170M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 19k| 11k| 1.818989e-12 | 3.400000e+01 | Inf
442.78/442.92 c 419s|540000 |275496 | 3120k| 173M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 20k| 11k| 1.818989e-12 | 3.400000e+01 | Inf
449.09/449.28 c 425s|550000 |278756 | 3169k| 176M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 20k| 11k| 1.818989e-12 | 3.400000e+01 | Inf
455.59/455.79 c 431s|560000 |282315 | 3217k| 179M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 20k| 11k| 1.818989e-12 | 3.400000e+01 | Inf
462.08/462.24 c 437s|570000 |285719 | 3265k| 182M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 20k| 11k| 1.818989e-12 | 3.400000e+01 | Inf
468.68/468.80 c 444s|580000 |289289 | 3314k| 185M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 21k| 11k| 1.818989e-12 | 3.400000e+01 | Inf
475.38/475.55 c 450s|590000 |293202 | 3365k| 188M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 21k| 11k| 1.818989e-12 | 3.400000e+01 | Inf
481.88/482.08 c 456s|600000 |296874 | 3413k| 192M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 21k| 12k| 1.818989e-12 | 3.400000e+01 | Inf
488.28/488.46 c 462s|610000 |300154 | 3461k| 195M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 22k| 12k| 1.818989e-12 | 3.400000e+01 | Inf
494.88/495.07 c 469s|620000 |303745 | 3513k| 198M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 22k| 12k| 1.818989e-12 | 3.400000e+01 | Inf
501.27/501.46 c 475s|630000 |306764 | 3562k| 200M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 22k| 12k| 1.818989e-12 | 3.400000e+01 | Inf
502.77/502.99 o 33
502.77/502.99 c * 476s|632291 |305738 | 3574k| 199M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 22k| 12k| 1.818989e-12 | 3.300000e+01 | Inf
509.87/510.00 c 483s|640000 |308032 | 3610k| 201M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 22k| 12k| 1.818989e-12 | 3.300000e+01 | Inf
516.27/516.47 c 489s|650000 |311006 | 3660k| 204M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 23k| 12k| 1.818989e-12 | 3.300000e+01 | Inf
516.97/517.19 o 31
516.97/517.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.97/517.19 c * 489s|651099 |298767 | 3665k| 192M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 23k| 12k| 1.818989e-12 | 3.100000e+01 | Inf
517.07/517.22 o 29
517.07/517.22 c * 489s|651101 |295097 | 3665k| 188M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 23k| 12k| 1.818989e-12 | 2.900000e+01 | Inf
517.07/517.25 o 27
517.07/517.25 c * 489s|651102 |290750 | 3665k| 182M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 23k| 12k| 1.818989e-12 | 2.700000e+01 | Inf
527.07/527.26 c 499s|660000 |294285 | 3713k| 185M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 23k| 12k| 1.818989e-12 | 2.700000e+01 | Inf
533.37/533.57 c 505s|670000 |297396 | 3764k| 187M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 | 23k| 12k| 1.818989e-12 | 2.700000e+01 | Inf
539.67/539.81 c 511s|680000 |300547 | 3815k| 190M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 24k| 13k| 1.818989e-12 | 2.700000e+01 | Inf
545.97/546.14 c 517s|690000 |303909 | 3866k| 192M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 24k| 13k| 1.818989e-12 | 2.700000e+01 | Inf
552.07/552.27 c 522s|700000 |306967 | 3916k| 195M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 24k| 13k| 1.818989e-12 | 2.700000e+01 | Inf
558.46/558.65 c 528s|710000 |310153 | 3968k| 197M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 24k| 13k| 1.818989e-12 | 2.700000e+01 | Inf
564.56/564.76 c 534s|720000 |312942 | 4019k| 199M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 25k| 13k| 1.818989e-12 | 2.700000e+01 | Inf
570.96/571.13 c 540s|730000 |316273 | 4071k| 202M| 69 | - | 190 | 10 | 8 | 190 | 20 | 21 | 25k| 13k| 1.818989e-12 | 2.700000e+01 | Inf
577.06/577.22 c 546s|740000 |319113 | 4122k| 204M| 69 | - | 190 | 10 | 8 | 0 | 0 | 21 | 25k| 13k| 1.818989e-12 | 2.700000e+01 | Inf
583.35/583.53 c 552s|750000 |322307 | 4173k| 206M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 25k| 13k| 1.818989e-12 | 2.700000e+01 | Inf
589.75/589.90 c 558s|760000 |325780 | 4224k| 209M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 26k| 13k| 1.818989e-12 | 2.700000e+01 | Inf
595.75/595.99 c 564s|770000 |328847 | 4274k| 211M| 69 | - | 190 | 9 | 8 | 0 | 0 | 21 | 26k| 13k| 1.818989e-12 | 2.700000e+01 | Inf
601.85/602.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
601.85/602.03 c 570s|780000 |331564 | 4325k| 213M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 26k| 13k| 1.818989e-12 | 2.700000e+01 | Inf
607.95/608.14 c 575s|790000 |334445 | 4376k| 216M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 | 26k| 14k| 1.818989e-12 | 2.700000e+01 | Inf
614.05/614.27 c 581s|800000 |337275 | 4426k| 218M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 26k| 14k| 1.818989e-12 | 2.700000e+01 | Inf
620.26/620.45 c 587s|810000 |340307 | 4478k| 220M| 69 | - | 190 | 9 | 8 | 0 | 0 | 21 | 27k| 14k| 1.818989e-12 | 2.700000e+01 | Inf
626.35/626.55 c 593s|820000 |343301 | 4529k| 222M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 27k| 14k| 1.818989e-12 | 2.700000e+01 | Inf
632.35/632.57 c 598s|830000 |345960 | 4578k| 225M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 27k| 14k| 1.818989e-12 | 2.700000e+01 | Inf
638.45/638.65 c 604s|840000 |348536 | 4629k| 227M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 27k| 14k| 1.818989e-12 | 2.700000e+01 | Inf
644.55/644.78 c 610s|850000 |351815 | 4679k| 229M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 28k| 14k| 1.818989e-12 | 2.700000e+01 | Inf
650.74/650.91 c 616s|860000 |354793 | 4729k| 231M| 69 | - | 190 | 8 | 7 | 0 | 0 | 21 | 28k| 14k| 1.818989e-12 | 2.700000e+01 | Inf
656.64/656.84 c 621s|870000 |357353 | 4778k| 233M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 28k| 14k| 1.818989e-12 | 2.700000e+01 | Inf
662.44/662.68 c 627s|880000 |359661 | 4827k| 235M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 28k| 14k| 1.818989e-12 | 2.700000e+01 | Inf
668.44/668.68 c 633s|890000 |362215 | 4877k| 237M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 28k| 14k| 1.818989e-12 | 2.700000e+01 | Inf
674.74/674.96 c 639s|900000 |365559 | 4928k| 240M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 29k| 15k| 1.818989e-12 | 2.700000e+01 | Inf
680.74/680.99 c 644s|910000 |368444 | 4976k| 242M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 29k| 15k| 1.818989e-12 | 2.700000e+01 | Inf
686.83/687.01 c 650s|920000 |370771 | 5025k| 244M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 29k| 15k| 1.818989e-12 | 2.700000e+01 | Inf
692.94/693.19 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
692.94/693.19 c 656s|930000 |373631 | 5077k| 246M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 29k| 15k| 1.818989e-12 | 2.700000e+01 | Inf
699.23/699.42 c 662s|940000 |376606 | 5126k| 248M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 30k| 15k| 1.818989e-12 | 2.700000e+01 | Inf
703.83/704.03 o 26
703.83/704.03 c * 666s|947150 |376675 | 5163k| 247M| 69 | - | 190 | 9 | 0 | 190 | 20 | 21 | 30k| 15k| 1.818989e-12 | 2.600000e+01 | Inf
707.64/707.88 c 670s|950000 |377602 | 5176k| 247M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 30k| 15k| 1.818989e-12 | 2.600000e+01 | Inf
713.93/714.14 c 676s|960000 |380941 | 5226k| 250M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 30k| 15k| 1.818989e-12 | 2.600000e+01 | Inf
720.13/720.35 c 681s|970000 |384248 | 5276k| 252M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 30k| 15k| 1.818989e-12 | 2.600000e+01 | Inf
726.32/726.58 c 687s|980000 |387400 | 5326k| 254M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 31k| 15k| 1.818989e-12 | 2.600000e+01 | Inf
733.03/733.23 c 694s|990000 |391604 | 5378k| 257M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 31k| 15k| 1.818989e-12 | 2.600000e+01 | Inf
739.82/740.00 c 700s| 1000k|395977 | 5430k| 260M| 69 | 8 | 190 | 11 | 8 | 190 | 20 | 21 | 31k| 15k| 1.818989e-12 | 2.600000e+01 | Inf
746.62/746.81 c 707s| 1010k|400399 | 5483k| 262M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 31k| 15k| 1.818989e-12 | 2.600000e+01 | Inf
753.23/753.50 c 713s| 1020k|404579 | 5535k| 265M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 32k| 16k| 1.818989e-12 | 2.600000e+01 | Inf
759.82/760.04 c 719s| 1030k|408298 | 5587k| 268M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 32k| 16k| 1.818989e-12 | 2.600000e+01 | Inf
766.22/766.49 c 725s| 1040k|412033 | 5639k| 270M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 32k| 16k| 1.818989e-12 | 2.600000e+01 | Inf
772.71/772.98 c 732s| 1050k|415664 | 5691k| 273M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 32k| 16k| 1.818989e-12 | 2.600000e+01 | Inf
779.41/779.65 c 738s| 1060k|419604 | 5743k| 275M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 33k| 16k| 1.818989e-12 | 2.600000e+01 | Inf
786.71/786.91 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.71/786.91 c 745s| 1070k|424294 | 5799k| 278M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 33k| 16k| 1.818989e-12 | 2.600000e+01 | Inf
793.62/793.84 c 751s| 1080k|428572 | 5853k| 281M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 33k| 16k| 1.818989e-12 | 2.600000e+01 | Inf
799.91/800.19 c 757s| 1090k|432196 | 5905k| 283M| 69 | - | 190 | 8 | 8 | 0 | 0 | 21 | 33k| 16k| 1.818989e-12 | 2.600000e+01 | Inf
803.51/803.74 o 25
803.51/803.74 c * 761s| 1095k|431149 | 5933k| 281M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 34k| 16k| 1.818989e-12 | 2.500000e+01 | Inf
808.51/808.75 c 765s| 1100k|432516 | 5955k| 282M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 34k| 16k| 1.818989e-12 | 2.500000e+01 | Inf
816.41/816.61 c 773s| 1110k|435762 | 6004k| 284M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 34k| 16k| 1.818989e-12 | 2.500000e+01 | Inf
822.41/822.68 c 778s| 1120k|438713 | 6053k| 286M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 34k| 16k| 1.818989e-12 | 2.500000e+01 | Inf
828.71/828.97 c 784s| 1130k|441972 | 6103k| 289M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 34k| 16k| 1.818989e-12 | 2.500000e+01 | Inf
835.10/835.31 c 790s| 1140k|445411 | 6153k| 291M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 35k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
841.31/841.57 c 796s| 1150k|448557 | 6203k| 294M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 35k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
847.50/847.76 c 802s| 1160k|451919 | 6252k| 296M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 35k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
853.60/853.88 c 808s| 1170k|454749 | 6301k| 298M| 69 | 8 | 190 | 11 | 8 | 190 | 20 | 21 | 35k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
860.20/860.42 c 814s| 1180k|458444 | 6352k| 301M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 35k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
866.50/866.77 c 820s| 1190k|462051 | 6403k| 303M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 36k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
872.89/873.16 c 826s| 1200k|465448 | 6453k| 306M| 69 | - | 190 | 8 | 8 | 0 | 0 | 21 | 36k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
879.29/879.54 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
879.29/879.54 c 832s| 1210k|468766 | 6504k| 308M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 36k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
885.49/885.74 c 838s| 1220k|472279 | 6554k| 310M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 36k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
891.59/891.81 c 844s| 1230k|475517 | 6603k| 312M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 36k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
897.69/897.95 c 850s| 1240k|478678 | 6652k| 315M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 37k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
903.99/904.20 c 856s| 1250k|481983 | 6702k| 317M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 37k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
910.08/910.38 c 862s| 1260k|485020 | 6751k| 319M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 37k| 17k| 1.818989e-12 | 2.500000e+01 | Inf
916.19/916.48 c 867s| 1270k|487962 | 6801k| 321M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 37k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
922.18/922.49 c 873s| 1280k|490744 | 6849k| 324M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 38k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
928.48/928.80 c 879s| 1290k|493832 | 6900k| 326M| 69 | - | 190 | 10 | 8 | 190 | 20 | 21 | 38k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
934.98/935.29 c 885s| 1300k|497820 | 6950k| 328M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 38k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
941.18/941.48 c 891s| 1310k|501030 | 7000k| 331M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 38k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
947.98/948.26 c 897s| 1320k|505181 | 7052k| 333M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 | 38k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
954.18/954.47 c 903s| 1330k|508490 | 7101k| 336M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 39k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
960.67/960.97 c 909s| 1340k|512362 | 7151k| 338M| 69 | - | 190 | 10 | 8 | 0 | 0 | 21 | 39k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
966.68/966.97 c 915s| 1350k|515226 | 7199k| 340M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 39k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
973.37/973.62 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.37/973.62 c 921s| 1360k|519006 | 7251k| 343M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 39k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
979.78/980.08 c 927s| 1370k|522675 | 7301k| 345M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 39k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
986.07/986.35 c 933s| 1380k|526266 | 7351k| 348M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 40k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
992.27/992.53 c 939s| 1390k|529516 | 7401k| 350M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 40k| 18k| 1.818989e-12 | 2.500000e+01 | Inf
998.47/998.77 c 945s| 1400k|533040 | 7449k| 352M| 69 | 8 | 190 | 9 | 9 | 190 | 20 | 21 | 40k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
1004.56/1004.87 c 951s| 1410k|536165 | 7497k| 355M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 40k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
1010.57/1010.86 c 957s| 1420k|539142 | 7547k| 357M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 40k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
1016.86/1017.15 c 963s| 1430k|542485 | 7597k| 359M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 41k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
1022.86/1023.13 c 968s| 1440k|545351 | 7646k| 361M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 41k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
1028.86/1029.17 c 974s| 1450k|548552 | 7695k| 364M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 41k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
1034.86/1035.14 c 980s| 1460k|551235 | 7743k| 366M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 41k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
1040.76/1041.04 c 985s| 1470k|553999 | 7790k| 368M| 69 | - | 190 | 8 | 8 | 0 | 0 | 21 | 42k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
1046.66/1046.99 c 991s| 1480k|556627 | 7839k| 370M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 42k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
1052.66/1052.98 c 996s| 1490k|559339 | 7888k| 372M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 | 42k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
1058.66/1058.94 c 1002s| 1500k|562129 | 7935k| 374M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 | 42k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
1064.65/1064.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1064.65/1064.97 c 1008s| 1510k|565146 | 7985k| 376M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 | 42k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
1070.55/1070.81 c 1013s| 1520k|567676 | 8032k| 378M| 69 | - | 190 | 10 | 8 | 190 | 20 | 21 | 43k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
1076.56/1076.89 c 1019s| 1530k|570604 | 8080k| 381M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 | 43k| 19k| 1.818989e-12 | 2.500000e+01 | Inf
1082.45/1082.78 c 1025s| 1540k|573655 | 8128k| 383M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 43k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1088.45/1088.73 c 1030s| 1550k|576346 | 8175k| 385M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 43k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1094.35/1094.62 c 1036s| 1560k|578782 | 8223k| 387M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 43k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1100.24/1100.58 c 1042s| 1570k|581771 | 8270k| 389M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 44k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1106.14/1106.46 c 1047s| 1580k|584372 | 8318k| 391M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 | 44k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1112.04/1112.33 c 1053s| 1590k|586834 | 8366k| 393M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 | 44k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1117.94/1118.22 c 1058s| 1600k|589236 | 8413k| 395M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 44k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1123.95/1124.21 c 1064s| 1610k|591870 | 8462k| 397M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 44k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1129.94/1130.21 c 1070s| 1620k|594457 | 8511k| 399M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 45k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1135.83/1136.16 c 1075s| 1630k|597159 | 8559k| 401M| 69 | 8 | 190 | 9 | 9 | 190 | 20 | 21 | 45k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1142.04/1142.34 c 1081s| 1640k|600381 | 8607k| 403M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 45k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1148.04/1148.30 c 1087s| 1650k|603487 | 8654k| 406M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 | 45k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1153.94/1154.20 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1153.94/1154.20 c 1092s| 1660k|606002 | 8702k| 408M| 69 | - | 190 | 10 | 9 | 0 | 0 | 21 | 45k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1159.84/1160.14 c 1098s| 1670k|608480 | 8749k| 409M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 46k| 20k| 1.818989e-12 | 2.500000e+01 | Inf
1165.53/1165.89 c 1103s| 1680k|610839 | 8796k| 411M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 46k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1171.33/1171.65 c 1109s| 1690k|612945 | 8842k| 413M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 | 46k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1177.43/1177.77 c 1115s| 1700k|615892 | 8891k| 415M| 69 | - | 190 | 10 | 8 | 190 | 20 | 21 | 46k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1183.42/1183.74 c 1120s| 1710k|618936 | 8939k| 418M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 46k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1189.33/1189.62 c 1126s| 1720k|621489 | 8985k| 420M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 47k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1195.13/1195.45 c 1132s| 1730k|623920 | 9031k| 421M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 47k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1200.93/1201.26 c 1137s| 1740k|626355 | 9078k| 423M| 69 | - | 190 | 9 | 8 | 0 | 0 | 21 | 47k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1206.83/1207.14 c 1143s| 1750k|629502 | 9124k| 425M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 47k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1212.82/1213.12 c 1148s| 1760k|632002 | 9173k| 427M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 47k| 21k| 1.818989e-12 | 2.500000e+01 | Inf
1213.92/1214.30 o 23
1213.92/1214.30 c *1149s| 1761k|624863 | 9182k| 417M| 69 | - | 190 | 8 | 0 | 190 | 20 | 21 | 47k| 21k| 1.818989e-12 | 2.300000e+01 | Inf
1220.73/1221.04 c 1156s| 1770k|627161 | 9221k| 418M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 48k| 21k| 1.818989e-12 | 2.300000e+01 | Inf
1228.82/1229.13 c 1163s| 1780k|629500 | 9267k| 420M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 48k| 21k| 1.818989e-12 | 2.300000e+01 | Inf
1234.62/1234.98 c 1169s| 1790k|631485 | 9313k| 422M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 48k| 21k| 1.818989e-12 | 2.300000e+01 | Inf
1240.52/1240.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.52/1240.88 c 1174s| 1800k|633697 | 9361k| 424M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 48k| 21k| 1.818989e-12 | 2.300000e+01 | Inf
1246.61/1246.94 c 1180s| 1810k|636818 | 9409k| 426M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 48k| 21k| 1.818989e-12 | 2.300000e+01 | Inf
1252.42/1252.71 c 1186s| 1820k|639608 | 9455k| 428M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 49k| 21k| 1.818989e-12 | 2.300000e+01 | Inf
1258.02/1258.38 c 1191s| 1830k|641640 | 9500k| 429M| 69 | - | 190 | 8 | 8 | 0 | 0 | 21 | 49k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1263.71/1264.02 c 1196s| 1840k|643825 | 9545k| 431M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 49k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1269.61/1269.91 c 1202s| 1850k|646341 | 9592k| 433M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 49k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1275.31/1275.63 c 1207s| 1860k|648281 | 9638k| 435M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 49k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1281.11/1281.40 c 1213s| 1870k|650405 | 9684k| 437M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 49k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1286.71/1287.03 c 1218s| 1880k|652306 | 9729k| 438M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 50k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1292.41/1292.75 c 1223s| 1890k|654430 | 9775k| 440M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 50k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1298.31/1298.67 c 1229s| 1900k|657022 | 9822k| 442M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 50k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1304.00/1304.36 c 1234s| 1910k|658715 | 9868k| 443M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 50k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1309.71/1310.06 c 1240s| 1920k|660474 | 9914k| 445M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 50k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1315.60/1315.91 c 1245s| 1930k|663039 | 9961k| 447M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 51k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1321.30/1321.64 c 1251s| 1940k|665147 | 10008k| 449M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 51k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1327.00/1327.31 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1327.00/1327.31 c 1256s| 1950k|666990 | 10054k| 451M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 51k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1332.60/1332.97 c 1262s| 1960k|668531 | 10100k| 452M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 51k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1338.40/1338.70 c 1267s| 1970k|670370 | 10146k| 454M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 51k| 22k| 1.818989e-12 | 2.300000e+01 | Inf
1344.10/1344.48 c 1272s| 1980k|672241 | 10192k| 455M| 69 | - | 190 | 8 | 8 | 0 | 0 | 21 | 52k| 23k| 1.818989e-12 | 2.300000e+01 | Inf
1349.99/1350.31 c 1278s| 1990k|674509 | 10240k| 457M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 52k| 23k| 1.818989e-12 | 2.300000e+01 | Inf
1355.79/1356.11 c 1284s| 2000k|676333 | 10287k| 459M| 69 | - | 190 | 8 | 9 | 0 | 0 | 21 | 52k| 23k| 1.818989e-12 | 2.300000e+01 | Inf
1361.59/1361.95 c 1289s| 2010k|678528 | 10334k| 461M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 52k| 23k| 1.818989e-12 | 2.300000e+01 | Inf
1367.39/1367.73 c 1295s| 2020k|680861 | 10380k| 463M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 52k| 23k| 1.818989e-12 | 2.300000e+01 | Inf
1373.09/1373.45 c 1300s| 2030k|682476 | 10427k| 464M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 52k| 23k| 1.818989e-12 | 2.300000e+01 | Inf
1378.78/1379.11 c 1305s| 2040k|684251 | 10472k| 466M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 53k| 23k| 1.818989e-12 | 2.300000e+01 | Inf
1384.39/1384.76 c 1311s| 2050k|686062 | 10518k| 468M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 53k| 23k| 1.818989e-12 | 2.300000e+01 | Inf
1390.19/1390.50 c 1316s| 2060k|688312 | 10564k| 469M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 53k| 23k| 1.818989e-12 | 2.300000e+01 | Inf
1396.08/1396.41 c 1322s| 2070k|690284 | 10612k| 471M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 53k| 23k| 1.818989e-12 | 2.300000e+01 | Inf
1401.78/1402.11 c 1327s| 2080k|692014 | 10658k| 473M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 53k| 23k| 1.818989e-12 | 2.300000e+01 | Inf
1407.48/1407.80 c 1333s| 2090k|693902 | 10703k| 474M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 53k| 23k| 1.818989e-12 | 2.300000e+01 | Inf
1413.38/1413.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1413.38/1413.77 c 1338s| 2100k|695905 | 10750k| 476M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 54k| 23k| 1.818989e-12 | 2.300000e+01 | Inf
1419.98/1420.35 c 1344s| 2110k|700145 | 10799k| 479M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 54k| 23k| 1.818989e-12 | 2.300000e+01 | Inf
1425.98/1426.38 c 1350s| 2120k|703278 | 10847k| 481M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 54k| 23k| 1.818989e-12 | 2.300000e+01 | Inf
1431.98/1432.34 c 1356s| 2130k|705980 | 10895k| 483M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 54k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1438.07/1438.40 c 1362s| 2140k|709001 | 10943k| 485M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 54k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1443.88/1444.21 c 1367s| 2150k|711430 | 10989k| 487M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 55k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1449.67/1450.09 c 1373s| 2160k|713990 | 11036k| 489M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 55k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1455.57/1455.92 c 1378s| 2170k|716215 | 11082k| 491M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 55k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1461.47/1461.87 c 1384s| 2180k|718900 | 11128k| 493M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 55k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1467.37/1467.80 c 1389s| 2190k|721808 | 11175k| 495M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 55k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1473.26/1473.60 c 1395s| 2200k|724160 | 11220k| 497M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 56k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1479.07/1479.50 c 1400s| 2210k|726918 | 11267k| 499M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 56k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1485.16/1485.52 c 1406s| 2220k|729893 | 11313k| 501M| 69 | - | 190 | 10 | 8 | 190 | 20 | 21 | 56k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1490.96/1491.35 c 1412s| 2230k|732311 | 11360k| 503M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 56k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1496.76/1497.16 c 1417s| 2240k|734503 | 11406k| 505M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 56k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1502.46/1502.88 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1502.46/1502.88 c 1423s| 2250k|736438 | 11452k| 507M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 57k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1508.26/1508.65 c 1428s| 2260k|738509 | 11497k| 509M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 57k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1514.06/1514.41 c 1434s| 2270k|740587 | 11543k| 511M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 57k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1519.76/1520.19 c 1439s| 2280k|742508 | 11588k| 513M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 57k| 24k| 1.818989e-12 | 2.300000e+01 | Inf
1525.56/1525.94 c 1444s| 2290k|744619 | 11634k| 514M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 57k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1531.45/1531.89 c 1450s| 2300k|747233 | 11681k| 516M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 58k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1537.25/1537.69 c 1456s| 2310k|749190 | 11728k| 518M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 58k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1542.96/1543.37 c 1461s| 2320k|751204 | 11774k| 520M| 69 | - | 190 | 8 | 8 | 0 | 0 | 21 | 58k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1548.85/1549.24 c 1467s| 2330k|753331 | 11821k| 522M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 58k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1554.65/1555.07 c 1472s| 2340k|755582 | 11867k| 524M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 58k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1560.46/1560.87 c 1478s| 2350k|758098 | 11913k| 526M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 59k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1566.15/1566.54 c 1483s| 2360k|760599 | 11957k| 527M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 59k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1571.95/1572.33 c 1488s| 2370k|762692 | 12003k| 529M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 59k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1577.65/1578.08 c 1494s| 2380k|764289 | 12048k| 531M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 59k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1583.44/1583.81 c 1499s| 2390k|766115 | 12094k| 532M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 59k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1589.14/1589.57 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1589.14/1589.57 c 1505s| 2400k|768163 | 12140k| 534M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 60k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1594.95/1595.38 c 1510s| 2410k|770035 | 12186k| 536M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 60k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1600.74/1601.10 c 1516s| 2420k|771941 | 12231k| 538M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 60k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1606.44/1606.81 c 1521s| 2430k|773656 | 12277k| 539M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 60k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1612.14/1612.54 c 1527s| 2440k|775665 | 12322k| 541M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 60k| 25k| 1.818989e-12 | 2.300000e+01 | Inf
1618.04/1618.41 c 1532s| 2450k|778090 | 12367k| 543M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 60k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1623.64/1624.04 c 1537s| 2460k|780033 | 12412k| 545M| 69 | - | 190 | 8 | 8 | 0 | 0 | 21 | 61k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1629.43/1629.84 c 1543s| 2470k|781690 | 12458k| 546M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 61k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1635.13/1635.56 c 1548s| 2480k|783673 | 12503k| 548M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 61k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1640.83/1641.26 c 1554s| 2490k|785368 | 12547k| 550M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 61k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1646.63/1647.09 c 1559s| 2500k|787302 | 12593k| 551M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 61k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1652.43/1652.81 c 1565s| 2510k|789211 | 12638k| 553M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 62k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1658.22/1658.60 c 1570s| 2520k|790957 | 12683k| 555M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 62k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1664.02/1664.49 c 1576s| 2530k|793825 | 12730k| 557M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 62k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1670.12/1670.55 c 1581s| 2540k|797001 | 12777k| 559M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 62k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1676.22/1676.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1676.22/1676.60 c 1587s| 2550k|799783 | 12825k| 561M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 63k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1682.12/1682.58 c 1593s| 2560k|802486 | 12871k| 563M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 63k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1688.12/1688.53 c 1599s| 2570k|805208 | 12918k| 565M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 63k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1694.02/1694.48 c 1604s| 2580k|807926 | 12964k| 567M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 63k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1700.82/1701.29 c 1611s| 2590k|811887 | 13016k| 569M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 63k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1707.71/1708.11 c 1617s| 2600k|816230 | 13069k| 572M| 69 | - | 190 | 8 | 7 | 190 | 20 | 21 | 64k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1714.12/1714.53 c 1623s| 2610k|819825 | 13118k| 574M| 69 | - | 190 | 8 | 8 | 190 | 20 | 21 | 64k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1720.61/1721.06 c 1629s| 2620k|823775 | 13169k| 577M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 64k| 26k| 1.818989e-12 | 2.300000e+01 | Inf
1726.91/1727.32 c 1635s| 2630k|827109 | 13218k| 579M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 64k| 27k| 1.818989e-12 | 2.300000e+01 | Inf
1733.71/1734.13 c 1642s| 2640k|830989 | 13270k| 581M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 64k| 27k| 1.818989e-12 | 2.300000e+01 | Inf
1741.81/1742.20 c 1649s| 2650k|836811 | 13328k| 584M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 65k| 27k| 1.818989e-12 | 2.300000e+01 | Inf
1748.81/1749.21 c 1656s| 2660k|841560 | 13379k| 587M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 65k| 27k| 1.818989e-12 | 2.300000e+01 | Inf
1755.31/1755.74 c 1662s| 2670k|845904 | 13429k| 590M| 69 | 8 | 190 | 11 | 8 | 190 | 20 | 21 | 65k| 27k| 1.818989e-12 | 2.300000e+01 | Inf
1762.00/1762.47 c 1669s| 2680k|850097 | 13480k| 592M| 69 | 8 | 190 | 10 | 8 | 190 | 20 | 21 | 65k| 27k| 1.818989e-12 | 2.300000e+01 | Inf
1768.70/1769.13 c 1675s| 2690k|854244 | 13531k| 595M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 65k| 27k| 1.818989e-12 | 2.300000e+01 | Inf
1775.20/1775.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.20/1775.70 c 1681s| 2700k|858376 | 13580k| 597M| 69 | - | 190 | 9 | 8 | 190 | 20 | 21 | 66k| 27k| 1.818989e-12 | 2.300000e+01 | Inf
1781.70/1782.14 c 1687s| 2710k|861993 | 13630k| 600M| 69 | 8 | 190 | 8 | 8 | 190 | 20 | 21 | 66k| 27k| 1.818989e-12 | 2.300000e+01 | Inf
1787.90/1788.36 c 1693s| 2720k|865631 | 13679k| 602M| 69 | 8 | 190 | 9 | 8 | 190 | 20 | 21 | 66k| 27k| 1.818989e-12 | 2.300000e+01 | Inf
1794.30/1794.73 c 1699s| 2730k|869277 | 13728k| 605M| 69 | - | 190 | 10 | 9 | 0 | 0 | 21 | 66k| 27k| 1.818989e-12 | 2.300000e+01 | Inf
1800.00/1800.40 c
1800.00/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.40 c Solving Time (sec) : 1704.65
1800.00/1800.40 c Solving Nodes : 2739008
1800.00/1800.40 c Primal Bound : +2.30000000000000e+01 (70 solutions)
1800.00/1800.40 c Dual Bound : +1.81898940354586e-12
1800.00/1800.40 c Gap : infinite
1800.00/1800.40 c NODE 2739008
1800.00/1800.40 c DUAL BOUND 1.81899e-12
1800.00/1800.40 c PRIMAL BOUND 23
1800.00/1800.40 c GAP 1e+20
1800.00/1800.40 s SATISFIABLE
1800.00/1800.40 v -x198 x197 -x196 x195 -x194 -x193 x192 x191 -x190 -x189 -x188 x187 -x186 -x185 x184 x183 -x182 -x181 x180 -x179 -x178 x177 -x176
1800.00/1800.40 v -x175 -x174 x173 x172 x171 x170 -x169 -x168 x167 -x166 x165 x164 -x163 x162 -x161 x160 x159 x158 -x157 -x156 -x155 x154 x153
1800.00/1800.40 v -x152 x151 x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 x142 x141 -x140 x139 -x138 x137 -x136 x135 x134 x133 x132 x131 x130
1800.00/1800.40 v -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109
1800.00/1800.40 v -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85
1800.00/1800.40 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 x65 -x64 -x63 -x62 -x61 -x60
1800.00/1800.40 v -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34
1800.00/1800.40 v -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9
1800.00/1800.40 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.00/1800.40 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.40 c Solving Time : 1704.65
1800.00/1800.40 c Original Problem :
1800.00/1800.40 c Problem name : HOME/instance-1869498-1245174990.opb
1800.00/1800.40 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.40 c Constraints : 16 initial, 16 maximal
1800.00/1800.40 c Presolved Problem :
1800.00/1800.40 c Problem name : t_HOME/instance-1869498-1245174990.opb
1800.00/1800.40 c Variables : 190 (190 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.40 c Constraints : 8 initial, 13 maximal
1800.00/1800.40 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.40 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.40 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.40 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.40 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.40 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.40 c probing : 0.01 0 0 0 0 0 0 0 0
1800.00/1800.40 c linear : 0.00 0 8 0 0 0 8 0 0
1800.00/1800.40 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.40 c root node : - 48 - - 48 - - - -
1800.00/1800.40 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.40 c integral : 0 0 0 1851392 0 82 6020 0 0 3691088
1800.00/1800.40 c linear : 8 6 4685269 0 0 271295 1948717 9 0 0
1800.00/1800.40 c logicor : 0+ 0 78410 0 0 2210 18696 0 0 0
1800.00/1800.40 c countsols : 0 0 0 51 0 0 0 0 0 0
1800.00/1800.40 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.40 c integral : 29.68 0.00 0.00 29.68 0.00
1800.00/1800.40 c linear : 431.45 0.01 431.44 0.00 0.00
1800.00/1800.40 c logicor : 0.30 0.00 0.30 0.00 0.00
1800.00/1800.40 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.40 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.40 c rootredcost : 1.76 68 0 48
1800.00/1800.40 c pseudoobj : 44.92 4696569 11404 32555
1800.00/1800.40 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.40 c propagation : 26.32 282699 65425 77610 72.2 0 0.0 -
1800.00/1800.40 c infeasible LP : 0.17 3131 3054 3149 38.8 0 0.0 0
1800.00/1800.40 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.40 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.40 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.40 c applied globally : - - - 264 28.9 - - -
1800.00/1800.40 c applied locally : - - - 66728 71.4 - - -
1800.00/1800.40 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.40 c cut pool : 0.00 5 - - 5 - (maximal pool size: 52)
1800.00/1800.40 c redcost : 61.13 2713530 0 17060325 0 0
1800.00/1800.40 c impliedbounds : 0.00 6 0 0 0 0
1800.00/1800.40 c intobj : 0.00 0 0 0 0 0
1800.00/1800.40 c gomory : 0.00 6 0 0 0 0
1800.00/1800.40 c strongcg : 0.01 6 0 0 13 0
1800.00/1800.40 c cmir : 0.06 6 0 0 19 0
1800.00/1800.40 c flowcover : 0.05 6 0 0 17 0
1800.00/1800.40 c clique : 0.00 1 0 0 0 0
1800.00/1800.40 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.40 c mcf : 0.00 1 0 0 0 0
1800.00/1800.40 c Pricers : Time Calls Vars
1800.00/1800.40 c problem variables: 0.00 0 0
1800.00/1800.40 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.40 c relpscost : 28.15 1851341 82 6020 0 0 3691088
1800.00/1800.40 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.40 c inference : 0.00 0 0 0 0 0 0
1800.00/1800.40 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.40 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.40 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.40 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.40 c random : 0.00 0 0 0 0 0 0
1800.00/1800.40 c Primal Heuristics : Time Calls Found
1800.00/1800.40 c LP solutions : 0.54 - 51
1800.00/1800.40 c pseudo solutions : 0.00 - 0
1800.00/1800.40 c feaspump : 0.09 1 0
1800.00/1800.40 c oneopt : 1.29 68 1
1800.00/1800.40 c crossover : 33.14 23 0
1800.00/1800.40 c rootsoldiving : 5.01 536 1
1800.00/1800.40 c objpscostdiving : 7.51 3395 1
1800.00/1800.40 c linesearchdiving : 23.68 6790 2
1800.00/1800.40 c guideddiving : 28.07 6790 3
1800.00/1800.40 c coefdiving : 52.10 6790 3
1800.00/1800.40 c pscostdiving : 37.24 6790 2
1800.00/1800.40 c fracdiving : 37.90 6790 3
1800.00/1800.40 c veclendiving : 25.15 6790 0
1800.00/1800.40 c simplerounding : 1.30 0 0
1800.00/1800.40 c rounding : 2.44 19733 0
1800.00/1800.40 c shifting : 40.20 33762 3
1800.00/1800.40 c intshifting : 0.10 0 0
1800.00/1800.40 c fixandinfer : 0.00 0 0
1800.00/1800.40 c intdiving : 0.00 0 0
1800.00/1800.40 c actconsdiving : 0.00 0 0
1800.00/1800.40 c octane : 0.00 0 0
1800.00/1800.40 c rens : 0.04 1 0
1800.00/1800.40 c rins : 0.00 0 0
1800.00/1800.40 c localbranching : 0.00 0 0
1800.00/1800.40 c mutation : 0.00 0 0
1800.00/1800.40 c dins : 0.00 0 0
1800.00/1800.40 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.40 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.40 c dual LP : 613.46 2597123 12161064 4.68 19823.73
1800.00/1800.40 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.40 c diving/probing LP: 108.20 818756 1610608 1.97 14885.47
1800.00/1800.40 c strong branching : 8.43 27586 95765 3.47 11360.02
1800.00/1800.40 c (at root node) : - 19 923 48.58 -
1800.00/1800.40 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.40 c B&B Tree :
1800.00/1800.40 c number of runs : 1
1800.00/1800.40 c nodes : 2739008
1800.00/1800.40 c nodes (total) : 2739008
1800.00/1800.40 c nodes left : 872517
1800.00/1800.40 c max depth : 69
1800.00/1800.40 c max depth (total): 69
1800.00/1800.40 c backtracks : 431352 (15.7%)
1800.00/1800.40 c delayed cutoffs : 9486
1800.00/1800.40 c repropagations : 20477 (70104 domain reductions, 9485 cutoffs)
1800.00/1800.40 c avg switch length: 5.64
1800.00/1800.40 c switching time : 89.64
1800.00/1800.40 c Solution :
1800.00/1800.40 c Solutions found : 70 (68 improvements)
1800.00/1800.40 c Primal Bound : +2.30000000000000e+01 (in run 1, after 1761888 nodes, 1149.24 seconds, depth 49, found by <relaxation>)
1800.00/1800.40 c Dual Bound : +1.81898940354586e-12
1800.00/1800.40 c Gap : infinite
1800.00/1800.40 c Root Dual Bound : +1.81898940354586e-12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869498-1245174990/watcher-1869498-1245174990 -o /tmp/evaluation-result-1869498-1245174990/solver-1869498-1245174990 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869498-1245174990.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.92 0.98 0.99 3/64 2772
/proc/meminfo: memFree=1849312/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=4488 CPUtime=0
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 489 0 0 0 0 0 0 0 18 0 1 0 185098569 4595712 473 1992294400 4194304 7823515 548682068736 18446744073709551615 6962474 0 0 4096 0 0 0 0 17 1 0 0
/proc/2772/statm: 1162 484 317 886 0 272 0
[startup+0.0507851 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 2772
/proc/meminfo: memFree=1849312/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=13176 CPUtime=0.04
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 2819 0 0 0 3 1 0 0 18 0 1 0 185098569 13492224 2447 1992294400 4194304 7823515 548682068736 18446744073709551615 4964400 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 3294 2447 531 886 0 2404 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13176
[startup+0.101788 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 2772
/proc/meminfo: memFree=1849312/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=13176 CPUtime=0.09
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 2857 0 0 0 8 1 0 0 18 0 1 0 185098569 13492224 2485 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 3294 2485 551 886 0 2404 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13176
[startup+0.3018 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 2772
/proc/meminfo: memFree=1849312/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=16108 CPUtime=0.29
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 4591 0 0 0 27 2 0 0 19 0 1 0 185098569 16494592 3255 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 4027 3255 567 886 0 3137 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16108
[startup+0.701825 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 2772
/proc/meminfo: memFree=1849312/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=16108 CPUtime=0.69
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 4597 0 0 0 65 4 0 0 22 0 1 0 185098569 16494592 3261 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 4027 3261 573 886 0 3137 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16108
[startup+1.50187 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 2773
/proc/meminfo: memFree=1838296/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=13880 CPUtime=1.49
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 4703 0 0 0 141 8 0 0 25 0 1 0 185098569 14213120 2703 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 3470 2703 573 886 0 2580 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13880
[startup+3.10197 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 2773
/proc/meminfo: memFree=1840088/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=22544 CPUtime=3.09
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 7234 0 0 0 288 21 0 0 25 0 1 0 185098569 23085056 4571 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 5636 4571 573 886 0 4746 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22544
[startup+6.30117 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 2773
/proc/meminfo: memFree=1838168/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=16068 CPUtime=6.29
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 7649 0 0 0 591 38 0 0 25 0 1 0 185098569 16453632 3292 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 4017 3292 573 886 0 3127 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16068
[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 2773
/proc/meminfo: memFree=1835864/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=18600 CPUtime=12.69
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 11601 0 0 0 1200 69 0 0 25 0 1 0 185098569 19046400 3952 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 4650 3952 573 886 0 3760 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18600
[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 2773
/proc/meminfo: memFree=1822488/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=33140 CPUtime=25.48
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 19527 0 0 0 2418 130 0 0 25 0 1 0 185098569 33935360 7281 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 8285 7281 573 886 0 7395 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33140
[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 2773
/proc/meminfo: memFree=1815128/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=39072 CPUtime=51.08
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 29347 0 0 0 4828 280 0 0 25 0 1 0 185098569 40009728 9193 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 9768 9193 573 886 0 8878 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39072
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 2773
/proc/meminfo: memFree=1791320/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=63376 CPUtime=102.27
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 60124 0 0 0 9658 569 0 0 25 0 1 0 185098569 64897024 14986 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 15844 14986 573 886 0 14954 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 63376
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2773
/proc/meminfo: memFree=1757016/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=97044 CPUtime=162.25
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 77834 0 0 0 15334 891 0 0 25 0 1 0 185098569 99373056 23536 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 24261 23536 573 886 0 23371 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 97044
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2773
/proc/meminfo: memFree=1732440/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=120824 CPUtime=222.23
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 97388 0 0 0 21016 1207 0 0 25 0 1 0 185098569 123723776 29616 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 30206 29616 573 886 0 29316 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 120824
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2779
/proc/meminfo: memFree=1715352/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=137684 CPUtime=282.23
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 112168 0 0 0 26695 1528 0 0 25 0 1 0 185098569 140988416 33880 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 34421 33880 573 886 0 33531 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 137684
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2779
/proc/meminfo: memFree=1694872/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=162568 CPUtime=342.21
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 124642 0 0 0 32362 1859 0 0 25 0 1 0 185098569 166469632 39169 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 40642 39169 573 886 0 39752 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 162568
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2779
/proc/meminfo: memFree=1668760/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=187684 CPUtime=402.2
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 134952 0 0 0 38056 2164 0 0 25 0 1 0 185098569 192188416 45593 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 46921 45593 573 886 0 46031 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 187684
[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2779
/proc/meminfo: memFree=1635288/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=220148 CPUtime=462.19
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 145174 0 0 0 43743 2476 0 0 25 0 1 0 185098569 225431552 53876 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 55037 53876 573 886 0 54147 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 220148
[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2779
/proc/meminfo: memFree=1605208/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=251828 CPUtime=522.17
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 159934 0 0 0 49407 2810 0 0 25 0 1 0 185098569 257871872 61545 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 62957 61545 573 886 0 62067 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 251828
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2779
/proc/meminfo: memFree=1604824/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=250328 CPUtime=582.16
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 164701 0 0 0 55085 3131 0 0 25 0 1 0 185098569 256335872 61530 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 62582 61530 573 886 0 61692 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 250328
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 2779
/proc/meminfo: memFree=1586136/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=268156 CPUtime=642.15
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 169921 0 0 0 60767 3448 0 0 25 0 1 0 185098569 274591744 66101 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 67039 66101 573 886 0 66149 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 268156
[startup+702.301 s]
################
# More data... #
################
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 220401 0 0 0 100533 5673 0 0 25 0 1 0 185098569 429563904 102742 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 104874 102742 573 886 0 103984 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 419496
[startup+1122.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 2779
/proc/meminfo: memFree=1416792/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=441188 CPUtime=1122.05
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 225925 0 0 0 106210 5995 0 0 25 0 1 0 185098569 451776512 108266 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 110297 108266 573 886 0 109407 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 441188
[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 2779
/proc/meminfo: memFree=1398616/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=459928 CPUtime=1182.03
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 230697 0 0 0 111902 6301 0 0 25 0 1 0 185098569 470966272 113038 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 114982 113038 573 886 0 114092 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 459928
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2779
/proc/meminfo: memFree=1386648/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=470412 CPUtime=1242.01
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 237310 0 0 0 117564 6637 0 0 25 0 1 0 185098569 481701888 115724 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 117603 115724 573 886 0 116713 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 470412
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2779
/proc/meminfo: memFree=1369688/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=486796 CPUtime=1302.01
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 241529 0 0 0 123251 6950 0 0 25 0 1 0 185098569 498479104 119943 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 121699 119943 573 886 0 120809 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 486796
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2779
/proc/meminfo: memFree=1353816/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=503756 CPUtime=1361.99
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 246461 0 0 0 128939 7260 0 0 25 0 1 0 185098569 515846144 124231 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 125939 124231 573 886 0 125049 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 503756
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2779
/proc/meminfo: memFree=1333336/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=522456 CPUtime=1421.98
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 251226 0 0 0 134631 7567 0 0 25 0 1 0 185098569 534994944 128996 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 130614 128996 573 886 0 129724 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 522456
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2779
/proc/meminfo: memFree=1315032/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=541252 CPUtime=1481.96
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 256674 0 0 0 140313 7883 0 0 25 0 1 0 185098569 554242048 133800 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 135313 133800 573 886 0 134423 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 541252
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2779
/proc/meminfo: memFree=1290648/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=564048 CPUtime=1541.95
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 262493 0 0 0 146000 8195 0 0 25 0 1 0 185098569 577585152 139619 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 141012 139619 573 886 0 140122 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 564048
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2779
/proc/meminfo: memFree=1273240/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=581188 CPUtime=1601.94
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 266831 0 0 0 151687 8507 0 0 25 0 1 0 185098569 595136512 143957 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 145297 143957 573 886 0 144407 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 581188
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2779
/proc/meminfo: memFree=1256344/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=597604 CPUtime=1661.92
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 271014 0 0 0 157365 8827 0 0 25 0 1 0 185098569 611946496 148140 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 149401 148140 573 886 0 148511 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 597604
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2779
/proc/meminfo: memFree=1235544/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=617812 CPUtime=1721.91
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 276834 0 0 0 163059 9132 0 0 25 0 1 0 185098569 632639488 153316 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 154453 153316 573 886 0 153563 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 617812
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2779
/proc/meminfo: memFree=1214360/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=638772 CPUtime=1781.9
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 282219 0 0 0 168749 9441 0 0 25 0 1 0 185098569 654102528 158701 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 159693 158701 573 886 0 158803 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 638772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2779
/proc/meminfo: memFree=1206744/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=645732 CPUtime=1800
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 284002 0 0 0 170465 9535 0 0 25 0 1 0 185098569 661229568 160484 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2772/statm: 161433 160484 573 886 0 160543 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 645732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -2772
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2780
/proc/meminfo: memFree=1206672/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=645732 CPUtime=1801
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 284004 0 0 0 170565 9535 0 0 25 0 1 0 185098569 661229568 160486 1992294400 4194304 7823515 548682068736 18446744073709551615 4805796 0 0 4096 0 0 0 0 17 1 0 0
/proc/2772/statm: 161433 160486 575 886 0 160543 0
Current children cumulated CPU time (s) 1801
Current children cumulated vsize (KiB) 645732
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2780
/proc/meminfo: memFree=1206672/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=645732 CPUtime=1801.8
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 284004 0 0 0 170645 9535 0 0 25 0 1 0 185098569 661229568 160486 1992294400 4194304 7823515 548682068736 18446744073709551615 5875147 0 0 4096 0 0 0 0 17 1 0 0
/proc/2772/statm: 161433 160486 575 886 0 160543 0
Current children cumulated CPU time (s) 1801.8
Current children cumulated vsize (KiB) 645732
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2780
/proc/meminfo: memFree=1206672/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=645732 CPUtime=1802
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4194304 284004 0 0 0 170665 9535 0 0 25 0 1 0 185098569 661229568 160486 1992294400 4194304 7823515 548682068736 18446744073709551615 4743854 0 0 4096 0 0 0 0 17 1 0 0
/proc/2772/statm: 161433 160486 575 886 0 160543 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 645732
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2780
/proc/meminfo: memFree=1206672/2055920 swapFree=4191900/4192956
[pid=2772] ppid=2770 vsize=0 CPUtime=1802.1
/proc/2772/stat : 2772 (pbscip.linux.x8) R 2770 2772 2735 0 -1 4195332 284004 0 0 0 170666 9544 0 0 25 0 1 0 185098569 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/2772/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.51
CPU time (s): 1802.11
CPU user time (s): 1706.66
CPU system time (s): 95.4515
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 645732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1706.66
system time used= 95.4515
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284004
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= 3032
runsolver used 1.3168 second user time and 3.76743 second system time
The end