0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693800-1277893271.wbo>
0.00/0.01 c original problem has 3738 variables (3699 bin, 0 int, 0 impl, 39 cont) and 161 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39 impls, 42 clqs
0.00/0.02 c (round 2) 0 del vars, 1 del conss, 39 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 39 impls, 42 clqs
0.00/0.03 c (round 3) 0 del vars, 1 del conss, 39 chg bounds, 0 chg sides, 0 chg coeffs, 40 upgd conss, 39 impls, 42 clqs
0.00/0.03 c (round 4) 0 del vars, 1 del conss, 39 chg bounds, 0 chg sides, 0 chg coeffs, 82 upgd conss, 39 impls, 42 clqs
0.04/0.05 c (0.0s) probing: 101/3699 (2.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.04/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.04/0.05 c presolving (5 rounds):
0.04/0.05 c 0 deleted vars, 1 deleted constraints, 39 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.05 c 39 implications, 42 cliques
0.04/0.05 c presolved problem has 3738 variables (3699 bin, 0 int, 0 impl, 39 cont) and 160 constraints
0.04/0.05 c 39 constraints of type <indicator>
0.04/0.05 c 42 constraints of type <setppc>
0.04/0.05 c 39 constraints of type <linear>
0.04/0.05 c 40 constraints of type <logicor>
0.04/0.05 c transformed objective value is always integral (scale: 1)
0.04/0.05 c Presolving Time: 0.04
0.04/0.05 c - non default parameters ----------------------------------------------------------------------
0.04/0.05 c # SCIP version 1.2.1.2
0.04/0.05 c
0.04/0.05 c # frequency for displaying node information lines
0.04/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.05 c display/freq = 10000
0.04/0.05 c
0.04/0.05 c # maximal time in seconds to run
0.04/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.05 c limits/time = 1799.99
0.04/0.05 c
0.04/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.05 c limits/memory = 3420
0.04/0.05 c
0.04/0.05 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.04/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.05 c lp/solvefreq = -1
0.04/0.05 c
0.04/0.05 c # should presolving try to simplify inequalities
0.04/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.05 c constraints/linear/simplifyinequalities = TRUE
0.04/0.05 c
0.04/0.05 c # should presolving try to simplify knapsacks
0.04/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.05 c
0.04/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.05 c separating/rapidlearning/freq = 0
0.04/0.05 c
0.04/0.05 c -----------------------------------------------------------------------------------------------
0.04/0.05 c start solving
0.04/0.05 c
0.04/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.04/0.06 c 0.0s| 1 | 2 | 0 | - |7260k| 0 | - |3738 | 160 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.59/2.66 c 2.5s| 10000 | 9981 | 0 | 0.0 | 10M|2745 | - |3738 | 210 | 0 | 0 | 0 | 99 | 0 | 0.000000e+00 | -- | Inf
5.09/5.18 c 4.8s| 20000 | 19950 | 0 | 0.0 | 13M|2745 | - |3738 | 233 | 0 | 0 | 0 | 259 | 0 | 0.000000e+00 | -- | Inf
7.79/7.89 c 7.3s| 30000 | 29918 | 0 | 0.0 | 16M|2745 | - |3738 | 232 | 0 | 0 | 0 | 419 | 0 | 0.000000e+00 | -- | Inf
10.49/10.53 c 9.8s| 40000 | 39892 | 0 | 0.0 | 19M|2745 | - |3738 | 220 | 0 | 0 | 0 | 549 | 0 | 0.000000e+00 | -- | Inf
13.20/13.21 c 12.3s| 50000 | 49872 | 0 | 0.0 | 22M|2745 | - |3738 | 192 | 0 | 0 | 0 | 649 | 0 | 0.000000e+00 | -- | Inf
15.99/16.09 c 15.0s| 60000 | 59852 | 0 | 0.0 | 25M|2745 | - |3738 | 213 | 0 | 0 | 0 | 745 | 0 | 0.000000e+00 | -- | Inf
18.99/19.01 c 17.8s| 70000 | 69833 | 0 | 0.0 | 27M|2745 | - |3738 | 251 | 0 | 0 | 0 | 838 | 0 | 0.000000e+00 | -- | Inf
21.79/21.88 c 20.5s| 80000 | 79813 | 0 | 0.0 | 30M|2745 | - |3738 | 286 | 0 | 0 | 0 | 934 | 0 | 0.000000e+00 | -- | Inf
24.59/24.69 c 23.1s| 90000 | 89788 | 0 | 0.0 | 33M|2745 | - |3738 | 290 | 0 | 0 | 0 |1064 | 0 | 0.000000e+00 | -- | Inf
27.50/27.50 c 25.7s|100000 | 99764 | 0 | 0.0 | 36M|2745 | - |3738 | 292 | 0 | 0 | 0 |1184 | 0 | 0.000000e+00 | -- | Inf
30.19/30.26 c 28.3s|110000 |109740 | 0 | 0.0 | 38M|2763 | - |3738 | 287 | 0 | 0 | 0 |1304 | 0 | 0.000000e+00 | -- | Inf
32.89/32.95 c 30.8s|120000 |119718 | 0 | 0.0 | 41M|2810 | - |3738 | 296 | 0 | 0 | 0 |1414 | 0 | 0.000000e+00 | -- | Inf
35.69/35.78 c 33.5s|130000 |129706 | 0 | 0.0 | 44M|2856 | - |3738 | 277 | 0 | 0 | 0 |1474 | 0 | 0.000000e+00 | -- | Inf
38.50/38.58 c 36.1s|140000 |139682 | 0 | 0.0 | 47M|2856 | - |3738 | 320 | 0 | 0 | 0 |1590 | 0 | 0.000000e+00 | -- | Inf
41.29/41.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.29/41.33 c 38.7s|150000 |149663 | 0 | 0.0 | 49M|2856 | - |3738 | 318 | 0 | 0 | 0 |1676 | 0 | 0.000000e+00 | -- | Inf
44.09/44.16 c 41.3s|160000 |159647 | 0 | 0.0 | 52M|2908 | - |3738 | 329 | 0 | 0 | 0 |1756 | 0 | 0.000000e+00 | -- | Inf
46.89/46.97 c 44.0s|170000 |169621 | 0 | 0.0 | 55M|2912 | - |3738 | 333 | 0 | 0 | 0 |1885 | 0 | 0.000000e+00 | -- | Inf
49.69/49.76 c 46.6s|180000 |179601 | 0 | 0.0 | 58M|2912 | - |3738 | 343 | 0 | 0 | 0 |1984 | 0 | 0.000000e+00 | -- | Inf
52.49/52.55 c 49.2s|190000 |189583 | 0 | 0.0 | 60M|2923 | - |3738 | 319 | 0 | 0 | 0 |2074 | 0 | 0.000000e+00 | -- | Inf
55.20/55.26 c 51.7s|200000 |199559 | 0 | 0.0 | 63M|2923 | - |3738 | 319 | 0 | 0 | 0 |2194 | 0 | 0.000000e+00 | -- | Inf
58.09/58.20 c 54.4s|210000 |209539 | 0 | 0.0 | 66M|2940 | - |3738 | 335 | 0 | 0 | 0 |2294 | 0 | 0.000000e+00 | -- | Inf
60.89/60.90 c 56.9s|220000 |219517 | 0 | 0.0 | 69M|2954 | - |3738 | 361 | 0 | 0 | 0 |2404 | 0 | 0.000000e+00 | -- | Inf
63.60/63.67 c 59.5s|230000 |229500 | 0 | 0.0 | 71M|2954 | - |3738 | 368 | 0 | 0 | 0 |2494 | 0 | 0.000000e+00 | -- | Inf
66.39/66.40 c 62.0s|240000 |239474 | 0 | 0.0 | 74M|2963 | - |3738 | 378 | 0 | 0 | 0 |2624 | 0 | 0.000000e+00 | -- | Inf
69.09/69.11 c 64.6s|250000 |249458 | 0 | 0.0 | 77M|2971 | - |3738 | 365 | 0 | 0 | 0 |2704 | 0 | 0.000000e+00 | -- | Inf
71.80/71.86 c 67.1s|260000 |259438 | 0 | 0.0 | 79M|2971 | - |3738 | 361 | 0 | 0 | 0 |2804 | 0 | 0.000000e+00 | -- | Inf
74.50/74.58 c 69.7s|270000 |269424 | 0 | 0.0 | 82M|2971 | - |3738 | 352 | 0 | 0 | 0 |2874 | 0 | 0.000000e+00 | -- | Inf
77.49/77.53 c 72.4s|280000 |279398 | 0 | 0.0 | 85M|2971 | - |3738 | 379 | 0 | 0 | 0 |3004 | 0 | 0.000000e+00 | -- | Inf
80.19/80.30 c 75.0s|290000 |289378 | 0 | 0.0 | 87M|2971 | - |3738 | 394 | 0 | 0 | 0 |3099 | 0 | 0.000000e+00 | -- | Inf
83.00/83.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.00/83.09 c 77.5s|300000 |299354 | 0 | 0.0 | 90M|2971 | - |3738 | 414 | 0 | 0 | 0 |3216 | 0 | 0.000000e+00 | -- | Inf
85.89/85.93 c 80.2s|310000 |309334 | 0 | 0.0 | 93M|2971 | - |3738 | 408 | 0 | 0 | 0 |3316 | 0 | 0.000000e+00 | -- | Inf
88.80/88.83 c 82.9s|320000 |319308 | 0 | 0.0 | 96M|2971 | - |3738 | 431 | 0 | 0 | 0 |3446 | 0 | 0.000000e+00 | -- | Inf
91.69/91.70 c 85.6s|330000 |329280 | 0 | 0.0 | 98M|2971 | - |3738 | 440 | 0 | 0 | 0 |3586 | 0 | 0.000000e+00 | -- | Inf
94.40/94.44 c 88.2s|340000 |339266 | 0 | 0.0 | 101M|2971 | - |3738 | 424 | 0 | 0 | 0 |3656 | 0 | 0.000000e+00 | -- | Inf
97.19/97.27 c 90.8s|350000 |349244 | 0 | 0.0 | 104M|2971 | - |3738 | 461 | 0 | 0 | 0 |3766 | 0 | 0.000000e+00 | -- | Inf
100.00/100.02 c 93.4s|360000 |359228 | 0 | 0.0 | 106M|2971 | - |3738 | 437 | 0 | 0 | 0 |3846 | 0 | 0.000000e+00 | -- | Inf
102.69/102.79 c 96.0s|370000 |369210 | 0 | 0.0 | 109M|2971 | - |3738 | 454 | 0 | 0 | 0 |3936 | 0 | 0.000000e+00 | -- | Inf
105.60/105.67 c 98.7s|380000 |379184 | 0 | 0.0 | 112M|2996 | - |3738 | 478 | 0 | 0 | 0 |4066 | 0 | 0.000000e+00 | -- | Inf
108.29/108.37 c 101s|390000 |389162 | 0 | 0.0 | 115M|2996 | - |3738 | 478 | 0 | 0 | 0 |4176 | 0 | 0.000000e+00 | -- | Inf
111.20/111.22 c 104s|400000 |399146 | 0 | 0.0 | 117M|2996 | - |3738 | 464 | 0 | 0 | 0 |4256 | 0 | 0.000000e+00 | -- | Inf
114.00/114.00 c 106s|410000 |409118 | 0 | 0.0 | 120M|3025 | - |3738 | 489 | 0 | 0 | 0 |4396 | 0 | 0.000000e+00 | -- | Inf
116.69/116.78 c 109s|420000 |419096 | 0 | 0.0 | 123M|3025 | - |3738 | 500 | 0 | 0 | 0 |4506 | 0 | 0.000000e+00 | -- | Inf
119.49/119.56 c 112s|430000 |429080 | 0 | 0.0 | 125M|3025 | - |3738 | 454 | 0 | 0 | 0 |4586 | 0 | 0.000000e+00 | -- | Inf
122.20/122.23 c 114s|440000 |439056 | 0 | 0.0 | 128M|3025 | - |3738 | 471 | 0 | 0 | 0 |4706 | 0 | 0.000000e+00 | -- | Inf
124.90/124.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.90/124.97 c 117s|450000 |449042 | 0 | 0.0 | 131M|3025 | - |3738 | 460 | 0 | 0 | 0 |4776 | 0 | 0.000000e+00 | -- | Inf
127.60/127.67 c 119s|460000 |459014 | 0 | 0.0 | 133M|3025 | - |3738 | 468 | 0 | 0 | 0 |4916 | 0 | 0.000000e+00 | -- | Inf
130.30/130.32 c 122s|470000 |468991 | 0 | 0.0 | 136M|3025 | - |3738 | 490 | 0 | 0 | 0 |5036 | 0 | 0.000000e+00 | -- | Inf
133.00/133.05 c 124s|480000 |478975 | 0 | 0.0 | 139M|3025 | - |3738 | 469 | 0 | 0 | 0 |5116 | 0 | 0.000000e+00 | -- | Inf
135.70/135.75 c 127s|490000 |488949 | 0 | 0.0 | 142M|3025 | - |3738 | 491 | 0 | 0 | 0 |5243 | 0 | 0.000000e+00 | -- | Inf
138.39/138.47 c 129s|500000 |498921 | 0 | 0.0 | 144M|3025 | - |3738 | 535 | 0 | 0 | 0 |5383 | 0 | 0.000000e+00 | -- | Inf
140.99/141.10 c 132s|510000 |508901 | 0 | 0.0 | 147M|3025 | - |3738 | 516 | 0 | 0 | 0 |5483 | 0 | 0.000000e+00 | -- | Inf
143.70/143.71 c 134s|520000 |518881 | 0 | 0.0 | 150M|3025 | - |3738 | 531 | 0 | 0 | 0 |5583 | 0 | 0.000000e+00 | -- | Inf
146.30/146.39 c 137s|530000 |528867 | 0 | 0.0 | 152M|3025 | - |3738 | 515 | 0 | 0 | 0 |5653 | 0 | 0.000000e+00 | -- | Inf
148.99/149.09 c 139s|540000 |538843 | 0 | 0.0 | 155M|3025 | - |3738 | 528 | 0 | 0 | 0 |5773 | 0 | 0.000000e+00 | -- | Inf
151.70/151.75 c 142s|550000 |548819 | 0 | 0.0 | 158M|3025 | - |3738 | 550 | 0 | 0 | 0 |5892 | 0 | 0.000000e+00 | -- | Inf
154.40/154.46 c 144s|560000 |558797 | 0 | 0.0 | 161M|3025 | - |3738 | 573 | 0 | 0 | 0 |6002 | 0 | 0.000000e+00 | -- | Inf
157.10/157.12 c 147s|570000 |568779 | 0 | 0.0 | 163M|3025 | - |3738 | 548 | 0 | 0 | 0 |6092 | 0 | 0.000000e+00 | -- | Inf
159.59/159.65 c 149s|580000 |578760 | 0 | 0.0 | 166M|3025 | - |3738 | 552 | 0 | 0 | 0 |6188 | 0 | 0.000000e+00 | -- | Inf
162.29/162.31 c 151s|590000 |588731 | 0 | 0.0 | 169M|3025 | - |3738 | 607 | 0 | 0 | 0 |6338 | 0 | 0.000000e+00 | -- | Inf
164.79/164.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.79/164.89 c 154s|600000 |598715 | 0 | 0.0 | 172M|3025 | - |3738 | 568 | 0 | 0 | 0 |6418 | 0 | 0.000000e+00 | -- | Inf
167.50/167.51 c 156s|610000 |608689 | 0 | 0.0 | 174M|3025 | - |3738 | 589 | 0 | 0 | 0 |6548 | 0 | 0.000000e+00 | -- | Inf
170.10/170.16 c 159s|620000 |618667 | 0 | 0.0 | 177M|3025 | - |3738 | 566 | 0 | 0 | 0 |6658 | 0 | 0.000000e+00 | -- | Inf
172.79/172.81 c 161s|630000 |628641 | 0 | 0.0 | 180M|3025 | - |3738 | 577 | 0 | 0 | 0 |6788 | 0 | 0.000000e+00 | -- | Inf
175.39/175.40 c 164s|640000 |638613 | 0 | 0.0 | 182M|3025 | - |3738 | 604 | 0 | 0 | 0 |6928 | 0 | 0.000000e+00 | -- | Inf
177.99/178.02 c 166s|650000 |648591 | 0 | 0.0 | 185M|3025 | - |3738 | 582 | 0 | 0 | 0 |7038 | 0 | 0.000000e+00 | -- | Inf
180.60/180.64 c 168s|660000 |658577 | 0 | 0.0 | 188M|3025 | - |3738 | 546 | 0 | 0 | 0 |7108 | 0 | 0.000000e+00 | -- | Inf
183.20/183.29 c 171s|670000 |668557 | 0 | 0.0 | 191M|3025 | - |3738 | 564 | 0 | 0 | 0 |7208 | 0 | 0.000000e+00 | -- | Inf
185.90/185.98 c 173s|680000 |678533 | 0 | 0.0 | 193M|3025 | - |3738 | 577 | 0 | 0 | 0 |7328 | 0 | 0.000000e+00 | -- | Inf
188.50/188.53 c 176s|690000 |688509 | 0 | 0.0 | 196M|3025 | - |3738 | 579 | 0 | 0 | 0 |7448 | 0 | 0.000000e+00 | -- | Inf
191.09/191.12 c 178s|700000 |698487 | 0 | 0.0 | 199M|3025 | - |3738 | 583 | 0 | 0 | 0 |7558 | 0 | 0.000000e+00 | -- | Inf
193.61/193.65 c 181s|710000 |708463 | 0 | 0.0 | 201M|3025 | - |3738 | 594 | 0 | 0 | 0 |7678 | 0 | 0.000000e+00 | -- | Inf
196.20/196.22 c 183s|720000 |718441 | 0 | 0.0 | 204M|3025 | - |3738 | 565 | 0 | 0 | 0 |7788 | 0 | 0.000000e+00 | -- | Inf
198.70/198.78 c 185s|730000 |728423 | 0 | 0.0 | 207M|3025 | - |3738 | 570 | 0 | 0 | 0 |7878 | 0 | 0.000000e+00 | -- | Inf
201.30/201.34 c 188s|740000 |738391 | 0 | 0.0 | 210M|3025 | - |3738 | 613 | 0 | 0 | 0 |8038 | 0 | 0.000000e+00 | -- | Inf
203.80/203.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.80/203.84 c 190s|750000 |748367 | 0 | 0.0 | 212M|3025 | - |3738 | 595 | 0 | 0 | 0 |8158 | 0 | 0.000000e+00 | -- | Inf
206.29/206.32 c 192s|760000 |758343 | 0 | 0.0 | 215M|3025 | - |3738 | 596 | 0 | 0 | 0 |8278 | 0 | 0.000000e+00 | -- | Inf
208.90/208.94 c 195s|770000 |768309 | 0 | 0.0 | 218M|3025 | - |3738 | 607 | 0 | 0 | 0 |8448 | 0 | 0.000000e+00 | -- | Inf
211.50/211.54 c 197s|780000 |778283 | 0 | 0.0 | 221M|3025 | - |3738 | 594 | 0 | 0 | 0 |8578 | 0 | 0.000000e+00 | -- | Inf
214.00/214.05 c 200s|790000 |788263 | 0 | 0.0 | 223M|3025 | - |3738 | 578 | 0 | 0 | 0 |8678 | 0 | 0.000000e+00 | -- | Inf
216.50/216.55 c 202s|800000 |798241 | 0 | 0.0 | 226M|3025 | - |3738 | 589 | 0 | 0 | 0 |8788 | 0 | 0.000000e+00 | -- | Inf
219.09/219.11 c 204s|810000 |808207 | 0 | 0.0 | 229M|3025 | - |3738 | 595 | 0 | 0 | 0 |8958 | 0 | 0.000000e+00 | -- | Inf
221.59/221.69 c 207s|820000 |818183 | 0 | 0.0 | 232M|3025 | - |3738 | 617 | 0 | 0 | 0 |9078 | 0 | 0.000000e+00 | -- | Inf
224.19/224.23 c 209s|830000 |828155 | 0 | 0.0 | 235M|3025 | - |3738 | 600 | 0 | 0 | 0 |9218 | 0 | 0.000000e+00 | -- | Inf
226.70/226.72 c 211s|840000 |838123 | 0 | 0.0 | 237M|3025 | - |3738 | 621 | 0 | 0 | 0 |9378 | 0 | 0.000000e+00 | -- | Inf
229.20/229.26 c 214s|850000 |848087 | 0 | 0.0 | 240M|3025 | - |3738 | 614 | 0 | 0 | 0 |9558 | 0 | 0.000000e+00 | -- | Inf
231.90/231.91 c 216s|860000 |858065 | 0 | 0.0 | 243M|3025 | - |3738 | 587 | 0 | 0 | 0 |9668 | 0 | 0.000000e+00 | -- | Inf
234.50/234.50 c 218s|870000 |868032 | 0 | 0.0 | 246M|3025 | - |3738 | 586 | 0 | 0 | 0 |9838 | 0 | 0.000000e+00 | -- | Inf
236.90/236.94 c 221s|880000 |878010 | 0 | 0.0 | 248M|3025 | - |3738 | 608 | 0 | 0 | 0 |9948 | 0 | 0.000000e+00 | -- | Inf
239.50/239.53 c 223s|890000 |887980 | 0 | 0.0 | 251M|3025 | - |3738 | 633 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
242.00/242.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.00/242.08 c 226s|900000 |897958 | 0 | 0.0 | 254M|3025 | - |3738 | 624 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
244.50/244.55 c 228s|910000 |907934 | 0 | 0.0 | 257M|3025 | - |3738 | 618 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
247.00/247.06 c 230s|920000 |917902 | 0 | 0.0 | 259M|3025 | - |3738 | 625 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
249.50/249.58 c 232s|930000 |927880 | 0 | 0.0 | 262M|3025 | - |3738 | 634 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
252.00/252.05 c 235s|940000 |937856 | 0 | 0.0 | 265M|3025 | - |3738 | 626 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
254.50/254.58 c 237s|950000 |947832 | 0 | 0.0 | 268M|3025 | - |3738 | 621 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
257.10/257.10 c 239s|960000 |957808 | 0 | 0.0 | 271M|3025 | - |3738 | 624 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
259.60/259.67 c 242s|970000 |967770 | 0 | 0.0 | 273M|3025 | - |3738 | 667 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
262.20/262.20 c 244s|980000 |977748 | 0 | 0.0 | 276M|3025 | - |3738 | 655 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
264.60/264.67 c 246s|990000 |987727 | 0 | 0.0 | 279M|3025 | - |3738 | 657 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
267.21/267.25 c 249s| 1000k|997701 | 0 | 0.0 | 282M|3025 | - |3738 | 681 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
269.59/269.68 c 251s| 1010k| 1007k| 0 | 0.0 | 284M|3025 | - |3738 | 680 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
272.20/272.27 c 254s| 1020k| 1017k| 0 | 0.0 | 287M|3025 | - |3738 | 661 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
274.60/274.64 c 256s| 1030k| 1027k| 0 | 0.0 | 290M|3025 | - |3738 | 680 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
277.20/277.23 c 258s| 1040k| 1037k| 0 | 0.0 | 293M|3025 | - |3738 | 685 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
279.60/279.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.60/279.66 c 260s| 1050k| 1047k| 0 | 0.0 | 296M|3025 | - |3738 | 659 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
282.00/282.09 c 263s| 1060k| 1057k| 0 | 0.0 | 298M|3025 | - |3738 | 665 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
284.50/284.54 c 265s| 1070k| 1067k| 0 | 0.0 | 301M|3025 | - |3738 | 687 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
286.90/286.97 c 267s| 1080k| 1077k| 0 | 0.0 | 304M|3025 | - |3738 | 691 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
289.40/289.44 c 269s| 1090k| 1087k| 0 | 0.0 | 307M|3025 | - |3738 | 690 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
291.90/291.95 c 272s| 1100k| 1097k| 0 | 0.0 | 310M|3025 | - |3738 | 677 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
294.40/294.45 c 274s| 1110k| 1107k| 0 | 0.0 | 312M|3025 | - |3738 | 706 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
297.01/297.01 c 276s| 1120k| 1117k| 0 | 0.0 | 315M|3025 | - |3738 | 686 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
299.50/299.53 c 279s| 1130k| 1127k| 0 | 0.0 | 318M|3025 | - |3738 | 661 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
302.00/302.03 c 281s| 1140k| 1137k| 0 | 0.0 | 321M|3025 | - |3738 | 683 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
304.50/304.55 c 284s| 1150k| 1147k| 0 | 0.0 | 324M|3025 | - |3738 | 677 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
307.00/307.09 c 286s| 1160k| 1157k| 0 | 0.0 | 326M|3025 | - |3738 | 718 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
309.50/309.51 c 288s| 1170k| 1167k| 0 | 0.0 | 329M|3025 | - |3738 | 691 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
312.00/312.02 c 290s| 1180k| 1177k| 0 | 0.0 | 332M|3025 | - |3738 | 738 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
314.40/314.47 c 293s| 1190k| 1187k| 0 | 0.0 | 335M|3025 | - |3738 | 660 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
316.90/316.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.90/316.97 c 295s| 1200k| 1197k| 0 | 0.0 | 338M|3025 | - |3738 | 681 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
319.40/319.48 c 297s| 1210k| 1207k| 0 | 0.0 | 341M|3025 | - |3738 | 682 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
321.90/321.99 c 300s| 1220k| 1217k| 0 | 0.0 | 343M|3025 | - |3738 | 694 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
324.51/324.51 c 302s| 1230k| 1227k| 0 | 0.0 | 346M|3025 | - |3738 | 720 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
327.00/327.06 c 304s| 1240k| 1237k| 0 | 0.0 | 349M|3025 | - |3738 | 726 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
329.40/329.49 c 307s| 1250k| 1246k| 0 | 0.0 | 352M|3025 | - |3738 | 752 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
331.90/331.97 c 309s| 1260k| 1256k| 0 | 0.0 | 355M|3025 | - |3738 | 742 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
334.40/334.42 c 311s| 1270k| 1266k| 0 | 0.0 | 357M|3025 | - |3738 | 737 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
336.80/336.89 c 313s| 1280k| 1276k| 0 | 0.0 | 360M|3025 | - |3738 | 724 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
339.31/339.36 c 316s| 1290k| 1286k| 0 | 0.0 | 363M|3025 | - |3738 | 731 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
341.81/341.89 c 318s| 1300k| 1296k| 0 | 0.0 | 366M|3025 | - |3738 | 736 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
344.31/344.38 c 320s| 1310k| 1306k| 0 | 0.0 | 369M|3025 | - |3738 | 734 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
346.80/346.89 c 323s| 1320k| 1316k| 0 | 0.0 | 372M|3025 | - |3738 | 757 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
349.30/349.38 c 325s| 1330k| 1326k| 0 | 0.0 | 375M|3025 | - |3738 | 754 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
351.91/351.91 c 327s| 1340k| 1336k| 0 | 0.0 | 377M|3025 | - |3738 | 743 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
354.41/354.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
354.41/354.43 c 330s| 1350k| 1346k| 0 | 0.0 | 380M|3025 | - |3738 | 726 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
356.90/356.91 c 332s| 1360k| 1356k| 0 | 0.0 | 383M|3025 | - |3738 | 735 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
359.30/359.36 c 334s| 1370k| 1366k| 0 | 0.0 | 386M|3025 | - |3738 | 746 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
361.80/361.84 c 337s| 1380k| 1376k| 0 | 0.0 | 389M|3025 | - |3738 | 747 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
364.30/364.35 c 339s| 1390k| 1386k| 0 | 0.0 | 392M|3025 | - |3738 | 761 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
366.90/366.97 c 341s| 1400k| 1396k| 0 | 0.0 | 394M|3025 | - |3738 | 788 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
369.41/369.48 c 344s| 1410k| 1406k| 0 | 0.0 | 397M|3025 | - |3738 | 782 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
371.91/371.98 c 346s| 1420k| 1416k| 0 | 0.0 | 400M|3025 | - |3738 | 770 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
374.40/374.45 c 348s| 1430k| 1426k| 0 | 0.0 | 403M|3025 | - |3738 | 762 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
376.90/376.90 c 351s| 1440k| 1436k| 0 | 0.0 | 406M|3025 | - |3738 | 760 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
379.60/379.60 c 353s| 1450k| 1446k| 0 | 0.0 | 409M|3025 | - |3738 | 765 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
382.01/382.07 c 355s| 1460k| 1456k| 0 | 0.0 | 412M|3025 | - |3738 | 791 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
384.60/384.65 c 358s| 1470k| 1466k| 0 | 0.0 | 414M|3025 | - |3738 | 799 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
387.21/387.26 c 360s| 1480k| 1476k| 0 | 0.0 | 417M|3025 | - |3738 | 799 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
389.80/389.83 c 363s| 1490k| 1486k| 0 | 0.0 | 420M|3025 | - |3738 | 813 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
392.30/392.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.30/392.33 c 365s| 1500k| 1496k| 0 | 0.0 | 423M|3025 | - |3738 | 854 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
394.91/394.94 c 367s| 1510k| 1506k| 0 | 0.0 | 426M|3025 | - |3738 | 855 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
397.50/397.58 c 370s| 1520k| 1516k| 0 | 0.0 | 429M|3025 | - |3738 | 847 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
400.10/400.11 c 372s| 1530k| 1526k| 0 | 0.0 | 432M|3025 | - |3738 | 852 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
402.61/402.64 c 374s| 1540k| 1536k| 0 | 0.0 | 434M|3025 | - |3738 | 846 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
405.10/405.18 c 377s| 1550k| 1546k| 0 | 0.0 | 437M|3025 | - |3738 | 863 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
407.60/407.69 c 379s| 1560k| 1556k| 0 | 0.0 | 440M|3025 | - |3738 | 877 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
410.31/410.35 c 381s| 1570k| 1565k| 0 | 0.0 | 443M|3025 | - |3738 | 919 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
412.90/412.90 c 384s| 1580k| 1575k| 0 | 0.0 | 446M|3025 | - |3738 | 884 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
415.40/415.48 c 386s| 1590k| 1585k| 0 | 0.0 | 449M|3025 | - |3738 | 899 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
418.01/418.08 c 389s| 1600k| 1595k| 0 | 0.0 | 452M|3025 | - |3738 | 912 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
420.71/420.74 c 391s| 1610k| 1605k| 0 | 0.0 | 455M|3025 | - |3738 | 903 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
423.41/423.41 c 394s| 1620k| 1615k| 0 | 0.0 | 457M|3025 | - |3738 | 920 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
426.11/426.19 c 396s| 1630k| 1625k| 0 | 0.0 | 460M|3025 | - |3738 | 953 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
429.01/429.04 c 399s| 1640k| 1635k| 0 | 0.0 | 463M|3025 | - |3738 | 952 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
431.60/431.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
431.60/431.64 c 401s| 1650k| 1645k| 0 | 0.0 | 466M|3025 | - |3738 | 964 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
434.21/434.26 c 404s| 1660k| 1655k| 0 | 0.0 | 469M|3025 | - |3738 | 919 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
437.00/437.08 c 406s| 1670k| 1665k| 0 | 0.0 | 472M|3025 | - |3738 | 913 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
439.91/439.91 c 409s| 1680k| 1675k| 0 | 0.0 | 475M|3025 | - |3738 | 969 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
442.70/442.70 c 412s| 1690k| 1685k| 0 | 0.0 | 478M|3025 | - |3738 | 967 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
445.30/445.39 c 414s| 1700k| 1695k| 0 | 0.0 | 480M|3025 | - |3738 | 953 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
448.11/448.15 c 417s| 1710k| 1705k| 0 | 0.0 | 483M|3025 | - |3738 | 949 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
450.91/450.96 c 419s| 1720k| 1715k| 0 | 0.0 | 486M|3025 | - |3738 | 971 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
453.60/453.62 c 422s| 1730k| 1725k| 0 | 0.0 | 489M|3025 | - |3738 | 934 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
456.51/456.57 c 424s| 1740k| 1735k| 0 | 0.0 | 492M|3025 | - |3738 | 985 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
459.30/459.30 c 427s| 1750k| 1745k| 0 | 0.0 | 495M|3025 | - |3738 | 939 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
462.11/462.11 c 430s| 1760k| 1755k| 0 | 0.0 | 498M|3025 | - |3738 | 983 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
465.11/465.12 c 432s| 1770k| 1765k| 0 | 0.0 | 501M|3025 | - |3738 | 979 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
467.91/467.97 c 435s| 1780k| 1775k| 0 | 0.0 | 503M|3025 | - |3738 | 947 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
470.81/470.89 c 438s| 1790k| 1785k| 0 | 0.0 | 506M|3025 | - |3738 | 962 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
473.61/473.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.61/473.65 c 440s| 1800k| 1795k| 0 | 0.0 | 509M|3025 | - |3738 | 936 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
476.51/476.57 c 443s| 1810k| 1805k| 0 | 0.0 | 512M|3025 | - |3738 | 978 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
479.40/479.42 c 446s| 1820k| 1815k| 0 | 0.0 | 515M|3025 | - |3738 | 985 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
482.20/482.22 c 448s| 1830k| 1825k| 0 | 0.0 | 518M|3025 | - |3738 | 916 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
485.01/485.06 c 451s| 1840k| 1834k| 0 | 0.0 | 521M|3025 | - |3738 | 943 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
487.91/487.92 c 454s| 1850k| 1844k| 0 | 0.0 | 524M|3025 | - |3738 | 949 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
490.62/490.65 c 456s| 1860k| 1854k| 0 | 0.0 | 526M|3025 | - |3738 | 930 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
493.41/493.48 c 459s| 1870k| 1864k| 0 | 0.0 | 529M|3025 | - |3738 | 954 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
496.21/496.27 c 462s| 1880k| 1874k| 0 | 0.0 | 532M|3025 | - |3738 | 962 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
499.01/499.04 c 464s| 1890k| 1884k| 0 | 0.0 | 535M|3025 | - |3738 | 953 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
501.81/501.83 c 467s| 1900k| 1894k| 0 | 0.0 | 538M|3025 | - |3738 | 960 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
504.61/504.65 c 469s| 1910k| 1904k| 0 | 0.0 | 541M|3025 | - |3738 | 981 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
507.41/507.47 c 472s| 1920k| 1914k| 0 | 0.0 | 544M|3025 | - |3738 | 954 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
510.20/510.20 c 475s| 1930k| 1924k| 0 | 0.0 | 547M|3025 | - |3738 | 932 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
513.01/513.00 c 477s| 1940k| 1934k| 0 | 0.0 | 550M|3025 | - |3738 | 953 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
515.81/515.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.81/515.83 c 480s| 1950k| 1944k| 0 | 0.0 | 553M|3025 | - |3738 | 977 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
518.51/518.59 c 482s| 1960k| 1954k| 0 | 0.0 | 556M|3025 | - |3738 | 968 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
521.21/521.27 c 485s| 1970k| 1964k| 0 | 0.0 | 558M|3025 | - |3738 | 935 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
524.00/524.01 c 487s| 1980k| 1974k| 0 | 0.0 | 561M|3025 | - |3738 | 977 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
526.61/526.69 c 490s| 1990k| 1984k| 0 | 0.0 | 564M|3025 | - |3738 | 943 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
529.41/529.46 c 492s| 2000k| 1994k| 0 | 0.0 | 567M|3025 | - |3738 | 958 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
532.11/532.13 c 495s| 2010k| 2004k| 0 | 0.0 | 570M|3025 | - |3738 | 930 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
534.81/534.88 c 498s| 2020k| 2014k| 0 | 0.0 | 573M|3025 | - |3738 | 949 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
537.51/537.58 c 500s| 2030k| 2024k| 0 | 0.0 | 576M|3025 | - |3738 | 953 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
540.21/540.20 c 502s| 2040k| 2034k| 0 | 0.0 | 579M|3025 | - |3738 | 968 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
542.81/542.88 c 505s| 2050k| 2044k| 0 | 0.0 | 582M|3025 | - |3738 | 949 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
545.51/545.51 c 507s| 2060k| 2054k| 0 | 0.0 | 585M|3025 | - |3738 | 951 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
548.01/548.06 c 510s| 2070k| 2064k| 0 | 0.0 | 588M|3025 | - |3738 | 937 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
550.61/550.61 c 512s| 2080k| 2074k| 0 | 0.0 | 591M|3025 | - |3738 | 943 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
553.11/553.17 c 514s| 2090k| 2084k| 0 | 0.0 | 594M|3025 | - |3738 | 947 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
555.81/555.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
555.81/555.80 c 517s| 2100k| 2094k| 0 | 0.0 | 597M|3025 | - |3738 | 967 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
558.41/558.45 c 519s| 2110k| 2103k| 0 | 0.0 | 600M|3025 | - |3738 | 951 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
561.02/561.04 c 522s| 2120k| 2113k| 0 | 0.0 | 603M|3025 | - |3738 | 954 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
563.61/563.66 c 524s| 2130k| 2123k| 0 | 0.0 | 606M|3025 | - |3738 | 965 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
566.21/566.23 c 527s| 2140k| 2133k| 0 | 0.0 | 609M|3025 | - |3738 | 954 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
568.81/568.86 c 529s| 2150k| 2143k| 0 | 0.0 | 612M|3025 | - |3738 | 962 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
571.31/571.36 c 531s| 2160k| 2153k| 0 | 0.0 | 615M|3025 | - |3738 | 934 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
573.91/573.93 c 534s| 2170k| 2163k| 0 | 0.0 | 618M|3025 | - |3738 | 933 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
576.42/576.44 c 536s| 2180k| 2173k| 0 | 0.0 | 621M|3025 | - |3738 | 942 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
579.01/579.01 c 538s| 2190k| 2183k| 0 | 0.0 | 624M|3025 | - |3738 | 942 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
581.51/581.55 c 541s| 2200k| 2193k| 0 | 0.0 | 626M|3025 | - |3738 | 939 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
584.12/584.13 c 543s| 2210k| 2203k| 0 | 0.0 | 630M|3025 | - |3738 | 996 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
586.51/586.59 c 545s| 2220k| 2213k| 0 | 0.0 | 632M|3025 | - |3738 | 939 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
589.11/589.17 c 548s| 2230k| 2223k| 0 | 0.0 | 635M|3025 | - |3738 | 965 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
591.61/591.63 c 550s| 2240k| 2233k| 0 | 0.0 | 638M|3025 | - |3738 | 936 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
594.11/594.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.11/594.13 c 553s| 2250k| 2243k| 0 | 0.0 | 641M|3025 | - |3738 | 959 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
596.51/596.59 c 555s| 2260k| 2253k| 0 | 0.0 | 644M|3025 | - |3738 | 957 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
599.01/599.02 c 557s| 2270k| 2263k| 0 | 0.0 | 647M|3025 | - |3738 | 948 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
601.40/601.42 c 559s| 2280k| 2273k| 0 | 0.0 | 650M|3025 | - |3738 | 966 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
603.82/603.84 c 562s| 2290k| 2283k| 0 | 0.0 | 653M|3025 | - |3738 | 950 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
606.31/606.31 c 564s| 2300k| 2293k| 0 | 0.0 | 656M|3025 | - |3738 | 964 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
608.81/608.80 c 566s| 2310k| 2303k| 0 | 0.0 | 659M|3025 | - |3738 | 980 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
611.31/611.31 c 569s| 2320k| 2313k| 0 | 0.0 | 662M|3025 | - |3738 | 971 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
613.71/613.76 c 571s| 2330k| 2323k| 0 | 0.0 | 665M|3025 | - |3738 | 971 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
616.21/616.26 c 573s| 2340k| 2333k| 0 | 0.0 | 668M|3025 | - |3738 | 978 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
618.71/618.79 c 576s| 2350k| 2343k| 0 | 0.0 | 671M|3025 | - |3738 | 986 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
621.21/621.22 c 578s| 2360k| 2353k| 0 | 0.0 | 674M|3025 | - |3738 | 962 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
623.62/623.63 c 580s| 2370k| 2362k| 0 | 0.0 | 677M|3025 | - |3738 | 977 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
626.01/626.01 c 582s| 2380k| 2372k| 0 | 0.0 | 680M|3025 | - |3738 | 956 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
628.41/628.43 c 585s| 2390k| 2382k| 0 | 0.0 | 683M|3025 | - |3738 | 979 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
630.81/630.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
630.81/630.81 c 587s| 2400k| 2392k| 0 | 0.0 | 686M|3025 | - |3738 | 973 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
633.11/633.19 c 589s| 2410k| 2402k| 0 | 0.0 | 689M|3025 | - |3738 | 974 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
635.51/635.57 c 591s| 2420k| 2412k| 0 | 0.0 | 692M|3025 | - |3738 |1002 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
637.81/637.89 c 593s| 2430k| 2422k| 0 | 0.0 | 695M|3025 | - |3738 | 984 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
640.12/640.17 c 596s| 2440k| 2432k| 0 | 0.0 | 699M|3025 | - |3738 | 978 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
642.41/642.44 c 598s| 2450k| 2442k| 0 | 0.0 | 702M|3025 | - |3738 | 978 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
644.71/644.77 c 600s| 2460k| 2452k| 0 | 0.0 | 705M|3025 | - |3738 | 992 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
647.01/647.02 c 602s| 2470k| 2462k| 0 | 0.0 | 708M|3025 | - |3738 |1026 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
649.21/649.29 c 604s| 2480k| 2472k| 0 | 0.0 | 711M|3025 | - |3738 | 990 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
651.52/651.55 c 606s| 2490k| 2482k| 0 | 0.0 | 714M|3025 | - |3738 | 996 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
653.71/653.75 c 608s| 2500k| 2492k| 0 | 0.0 | 717M|3025 | - |3738 | 999 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
655.91/655.93 c 610s| 2510k| 2502k| 0 | 0.0 | 720M|3025 | - |3738 |1002 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
658.12/658.13 c 612s| 2520k| 2512k| 0 | 0.0 | 723M|3025 | - |3738 |1007 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
660.31/660.33 c 614s| 2530k| 2522k| 0 | 0.0 | 726M|3025 | - |3738 |1002 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
662.51/662.53 c 616s| 2540k| 2532k| 0 | 0.0 | 729M|3025 | - |3738 |1057 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
664.61/664.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
664.61/664.69 c 618s| 2550k| 2542k| 0 | 0.0 | 732M|3025 | - |3738 |1029 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
666.91/666.93 c 620s| 2560k| 2552k| 0 | 0.0 | 735M|3025 | - |3738 |1020 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
669.01/669.08 c 622s| 2570k| 2561k| 0 | 0.0 | 738M|3025 | - |3738 |1013 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
671.22/671.27 c 624s| 2580k| 2571k| 0 | 0.0 | 741M|3025 | - |3738 |1022 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
673.41/673.44 c 626s| 2590k| 2581k| 0 | 0.0 | 744M|3025 | - |3738 |1000 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
675.61/675.66 c 628s| 2600k| 2591k| 0 | 0.0 | 748M|3025 | - |3738 |1043 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
677.91/677.90 c 630s| 2610k| 2601k| 0 | 0.0 | 751M|3025 | - |3738 |1063 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
680.01/680.07 c 632s| 2620k| 2611k| 0 | 0.0 | 754M|3025 | - |3738 |1067 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
682.22/682.24 c 635s| 2630k| 2621k| 0 | 0.0 | 757M|3025 | - |3738 |1088 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
684.52/684.51 c 637s| 2640k| 2631k| 0 | 0.0 | 760M|3025 | - |3738 |1107 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
686.51/686.60 c 639s| 2650k| 2641k| 0 | 0.0 | 764M|3025 | - |3738 |1117 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
688.52/688.60 c 640s| 2660k| 2651k| 0 | 0.0 | 767M|3025 | - |3738 |1092 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
690.51/690.58 c 642s| 2670k| 2661k| 0 | 0.0 | 770M|3025 | - |3738 |1104 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
692.52/692.57 c 644s| 2680k| 2671k| 0 | 0.0 | 773M|3025 | - |3738 |1138 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
694.51/694.59 c 646s| 2690k| 2681k| 0 | 0.0 | 777M|3025 | - |3738 |1169 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
696.51/696.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
696.51/696.51 c 648s| 2700k| 2691k| 0 | 0.0 | 780M|3025 | - |3738 |1193 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
698.42/698.41 c 649s| 2710k| 2701k| 0 | 0.0 | 784M|3025 | - |3738 |1211 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
700.31/700.33 c 651s| 2720k| 2710k| 0 | 0.0 | 787M|3025 | - |3738 |1197 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
702.12/702.17 c 653s| 2730k| 2720k| 0 | 0.0 | 790M|3025 | - |3738 |1222 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
704.11/704.11 c 655s| 2740k| 2730k| 0 | 0.0 | 794M|3025 | - |3738 |1230 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
705.91/705.98 c 656s| 2750k| 2740k| 0 | 0.0 | 797M|3025 | - |3738 |1209 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
707.81/707.86 c 658s| 2760k| 2750k| 0 | 0.0 | 801M|3025 | - |3738 |1241 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
709.61/709.69 c 660s| 2770k| 2760k| 0 | 0.0 | 804M|3025 | - |3738 |1263 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
711.41/711.49 c 661s| 2780k| 2770k| 0 | 0.0 | 808M|3025 | - |3738 |1282 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
713.21/713.29 c 663s| 2790k| 2780k| 0 | 0.0 | 812M|3025 | - |3738 |1251 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
715.02/715.08 c 665s| 2800k| 2790k| 0 | 0.0 | 815M|3025 | - |3738 |1294 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
716.92/716.91 c 666s| 2810k| 2800k| 0 | 0.0 | 819M|3025 | - |3738 |1304 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
718.72/718.73 c 668s| 2820k| 2809k| 0 | 0.0 | 823M|3025 | - |3738 |1325 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
720.52/720.53 c 670s| 2830k| 2819k| 0 | 0.0 | 826M|3025 | - |3738 |1337 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
722.21/722.28 c 671s| 2840k| 2829k| 0 | 0.0 | 830M|3025 | - |3738 |1349 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
723.91/723.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.91/723.99 c 673s| 2850k| 2839k| 0 | 0.0 | 834M|3025 | - |3738 |1357 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
725.71/725.78 c 674s| 2860k| 2849k| 0 | 0.0 | 838M|3025 | - |3738 |1395 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
727.51/727.51 c 676s| 2870k| 2859k| 0 | 0.0 | 842M|3025 | - |3738 |1438 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
729.22/729.23 c 677s| 2880k| 2869k| 0 | 0.0 | 847M|3025 | - |3738 |1517 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
730.91/730.91 c 679s| 2890k| 2878k| 0 | 0.0 | 851M|3025 | - |3738 |1611 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
732.62/732.62 c 680s| 2900k| 2888k| 0 | 0.0 | 855M|3025 | - |3738 |1768 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
734.31/734.39 c 682s| 2910k| 2898k| 0 | 0.0 | 860M|3025 | - |3738 |1926 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
736.21/736.21 c 684s| 2920k| 2908k| 0 | 0.0 | 865M|3025 | - |3738 |2097 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
738.02/738.09 c 685s| 2930k| 2917k| 0 | 0.0 | 871M|3025 | - |3738 |2476 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
740.32/740.39 c 687s| 2940k| 2927k| 0 | 0.0 | 878M|3025 | - |3738 |3019 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
743.91/743.94 c 691s| 2950k| 2936k| 0 | 0.0 | 887M|3025 | - |3738 |3913 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
750.81/750.89 c 697s| 2960k| 2945k| 0 | 0.0 | 895M|3180 | - |3738 |5668 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
753.52/753.53 c 700s| 2970k| 2955k| 0 | 0.0 | 896M|3180 | - |3738 |2124 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
756.22/756.29 c 703s| 2980k| 2965k| 0 | 0.0 | 898M|3180 | - |3738 |1071 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
758.92/758.94 c 705s| 2990k| 2975k| 0 | 0.0 | 900M|3180 | - |3738 | 968 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
761.71/761.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
761.71/761.71 c 708s| 3000k| 2985k| 0 | 0.0 | 903M|3180 | - |3738 | 977 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
764.62/764.61 c 710s| 3010k| 2995k| 0 | 0.0 | 906M|3180 | - |3738 | 967 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
767.42/767.40 c 713s| 3020k| 3005k| 0 | 0.0 | 908M|3180 | - |3738 | 938 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
770.02/770.05 c 716s| 3030k| 3015k| 0 | 0.0 | 911M|3180 | - |3738 | 985 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
772.72/772.77 c 718s| 3040k| 3025k| 0 | 0.0 | 914M|3180 | - |3738 | 956 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
775.42/775.45 c 721s| 3050k| 3035k| 0 | 0.0 | 916M|3180 | - |3738 | 955 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
778.01/778.07 c 723s| 3060k| 3045k| 0 | 0.0 | 919M|3180 | - |3738 | 937 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
780.82/780.83 c 726s| 3070k| 3055k| 0 | 0.0 | 922M|3180 | - |3738 | 906 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
783.52/783.50 c 728s| 3080k| 3065k| 0 | 0.0 | 924M|3180 | - |3738 | 889 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
786.22/786.23 c 731s| 3090k| 3075k| 0 | 0.0 | 927M|3180 | - |3738 | 905 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
789.02/789.07 c 734s| 3100k| 3085k| 0 | 0.0 | 930M|3180 | - |3738 | 874 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
792.03/792.03 c 736s| 3110k| 3095k| 0 | 0.0 | 933M|3180 | - |3738 | 903 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
794.82/794.88 c 739s| 3120k| 3105k| 0 | 0.0 | 935M|3180 | - |3738 | 872 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
797.72/797.72 c 742s| 3130k| 3115k| 0 | 0.0 | 938M|3180 | - |3738 | 915 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
800.41/800.42 c 744s| 3140k| 3125k| 0 | 0.0 | 941M|3180 | - |3738 | 883 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
803.22/803.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.22/803.22 c 747s| 3150k| 3135k| 0 | 0.0 | 944M|3180 | - |3738 | 893 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
805.91/805.94 c 749s| 3160k| 3145k| 0 | 0.0 | 946M|3180 | - |3738 | 917 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
808.62/808.69 c 752s| 3170k| 3155k| 0 | 0.0 | 949M|3180 | - |3738 | 898 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
811.41/811.40 c 755s| 3180k| 3165k| 0 | 0.0 | 952M|3180 | - |3738 | 869 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
814.03/814.07 c 757s| 3190k| 3175k| 0 | 0.0 | 954M|3180 | - |3738 | 857 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
816.82/816.87 c 760s| 3200k| 3185k| 0 | 0.0 | 957M|3180 | - |3738 | 844 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
819.62/819.68 c 762s| 3210k| 3195k| 0 | 0.0 | 960M|3180 | - |3738 | 828 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
822.42/822.46 c 765s| 3220k| 3205k| 0 | 0.0 | 962M|3180 | - |3738 | 842 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
825.22/825.23 c 768s| 3230k| 3215k| 0 | 0.0 | 965M|3180 | - |3738 | 828 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
827.92/827.98 c 770s| 3240k| 3224k| 0 | 0.0 | 968M|3180 | - |3738 | 840 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
830.81/830.83 c 773s| 3250k| 3234k| 0 | 0.0 | 970M|3180 | - |3738 | 807 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
833.62/833.61 c 776s| 3260k| 3244k| 0 | 0.0 | 973M|3180 | - |3738 | 790 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
836.32/836.37 c 778s| 3270k| 3254k| 0 | 0.0 | 976M|3180 | - |3738 | 760 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
839.12/839.17 c 781s| 3280k| 3264k| 0 | 0.0 | 979M|3180 | - |3738 | 779 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
841.91/841.99 c 783s| 3290k| 3274k| 0 | 0.0 | 981M|3180 | - |3738 | 758 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
844.72/844.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
844.72/844.78 c 786s| 3300k| 3284k| 0 | 0.0 | 984M|3180 | - |3738 | 757 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
847.52/847.56 c 789s| 3310k| 3294k| 0 | 0.0 | 987M|3180 | - |3738 | 731 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
850.32/850.34 c 791s| 3320k| 3304k| 0 | 0.0 | 989M|3180 | - |3738 | 694 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
853.12/853.13 c 794s| 3330k| 3314k| 0 | 0.0 | 992M|3180 | - |3738 | 669 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
855.91/855.94 c 797s| 3340k| 3324k| 0 | 0.0 | 995M|3180 | - |3738 | 637 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
858.61/858.61 c 799s| 3350k| 3334k| 0 | 0.0 | 997M|3180 | - |3738 | 632 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
861.41/861.42 c 802s| 3360k| 3344k| 0 | 0.0 |1000M|3180 | - |3738 | 624 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
864.11/864.10 c 804s| 3370k| 3354k| 0 | 0.0 |1003M|3180 | - |3738 | 635 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
866.92/866.91 c 807s| 3380k| 3364k| 0 | 0.0 |1006M|3180 | - |3738 | 621 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
869.72/869.72 c 810s| 3390k| 3374k| 0 | 0.0 |1008M|3180 | - |3738 | 630 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
872.62/872.61 c 812s| 3400k| 3384k| 0 | 0.0 |1011M|3180 | - |3738 | 626 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
875.32/875.34 c 815s| 3410k| 3394k| 0 | 0.0 |1014M|3180 | - |3738 | 597 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
878.12/878.11 c 817s| 3420k| 3404k| 0 | 0.0 |1016M|3180 | - |3738 | 599 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
880.92/880.93 c 820s| 3430k| 3414k| 0 | 0.0 |1019M|3180 | - |3738 | 600 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
883.72/883.71 c 823s| 3440k| 3424k| 0 | 0.0 |1022M|3180 | - |3738 | 605 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
886.53/886.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
886.53/886.56 c 825s| 3450k| 3434k| 0 | 0.0 |1024M|3180 | - |3738 | 638 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
889.32/889.32 c 828s| 3460k| 3444k| 0 | 0.0 |1027M|3180 | - |3738 | 619 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
892.12/892.15 c 831s| 3470k| 3454k| 0 | 0.0 |1030M|3180 | - |3738 | 628 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
894.92/894.94 c 833s| 3480k| 3464k| 0 | 0.0 |1032M|3180 | - |3738 | 647 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
897.62/897.69 c 836s| 3490k| 3474k| 0 | 0.0 |1035M|3180 | - |3738 | 636 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
900.42/900.42 c 839s| 3500k| 3484k| 0 | 0.0 |1038M|3180 | - |3738 | 639 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
903.13/903.15 c 841s| 3510k| 3494k| 0 | 0.0 |1040M|3180 | - |3738 | 613 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
905.92/905.96 c 844s| 3520k| 3504k| 0 | 0.0 |1043M|3180 | - |3738 | 618 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
908.62/908.68 c 846s| 3530k| 3514k| 0 | 0.0 |1046M|3180 | - |3738 | 608 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
911.52/911.52 c 849s| 3540k| 3524k| 0 | 0.0 |1049M|3180 | - |3738 | 573 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
914.22/914.21 c 851s| 3550k| 3534k| 0 | 0.0 |1051M|3180 | - |3738 | 634 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
917.02/917.02 c 854s| 3560k| 3544k| 0 | 0.0 |1054M|3180 | - |3738 | 572 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
919.82/919.81 c 857s| 3570k| 3554k| 0 | 0.0 |1057M|3180 | - |3738 | 602 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
922.52/922.57 c 859s| 3580k| 3564k| 0 | 0.0 |1059M|3180 | - |3738 | 605 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
925.41/925.41 c 862s| 3590k| 3574k| 0 | 0.0 |1062M|3180 | - |3738 | 599 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
928.12/928.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
928.12/928.15 c 865s| 3600k| 3584k| 0 | 0.0 |1065M|3180 | - |3738 | 613 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
930.92/930.90 c 867s| 3610k| 3594k| 0 | 0.0 |1067M|3180 | - |3738 | 612 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
933.62/933.65 c 870s| 3620k| 3604k| 0 | 0.0 |1070M|3180 | - |3738 | 617 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
936.32/936.39 c 872s| 3630k| 3614k| 0 | 0.0 |1073M|3180 | - |3738 | 607 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
939.12/939.14 c 875s| 3640k| 3624k| 0 | 0.0 |1075M|3180 | - |3738 | 605 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
941.82/941.87 c 878s| 3650k| 3634k| 0 | 0.0 |1078M|3180 | - |3738 | 625 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
944.72/944.72 c 880s| 3660k| 3644k| 0 | 0.0 |1081M|3180 | - |3738 | 622 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
947.42/947.47 c 883s| 3670k| 3654k| 0 | 0.0 |1083M|3180 | - |3738 | 665 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
950.32/950.32 c 886s| 3680k| 3664k| 0 | 0.0 |1086M|3180 | - |3738 | 658 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
953.02/953.04 c 888s| 3690k| 3674k| 0 | 0.0 |1089M|3180 | - |3738 | 636 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
955.83/955.84 c 891s| 3700k| 3684k| 0 | 0.0 |1091M|3180 | - |3738 | 629 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
958.42/958.50 c 893s| 3710k| 3694k| 0 | 0.0 |1094M|3180 | - |3738 | 612 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
961.22/961.28 c 896s| 3720k| 3703k| 0 | 0.0 |1097M|3180 | - |3738 | 601 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
964.02/964.01 c 898s| 3730k| 3713k| 0 | 0.0 |1100M|3180 | - |3738 | 613 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
966.82/966.81 c 901s| 3740k| 3723k| 0 | 0.0 |1102M|3180 | - |3738 | 612 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
969.62/969.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.62/969.60 c 904s| 3750k| 3733k| 0 | 0.0 |1105M|3180 | - |3738 | 594 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
972.33/972.39 c 906s| 3760k| 3743k| 0 | 0.0 |1108M|3180 | - |3738 | 592 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
975.12/975.11 c 909s| 3770k| 3753k| 0 | 0.0 |1110M|3180 | - |3738 | 630 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
977.82/977.85 c 912s| 3780k| 3763k| 0 | 0.0 |1113M|3180 | - |3738 | 577 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
980.62/980.62 c 914s| 3790k| 3773k| 0 | 0.0 |1116M|3180 | - |3738 | 611 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
983.32/983.40 c 917s| 3800k| 3783k| 0 | 0.0 |1118M|3180 | - |3738 | 620 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
986.22/986.21 c 919s| 3810k| 3793k| 0 | 0.0 |1121M|3180 | - |3738 | 605 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
988.93/988.95 c 922s| 3820k| 3803k| 0 | 0.0 |1124M|3180 | - |3738 | 594 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
991.72/991.70 c 925s| 3830k| 3813k| 0 | 0.0 |1126M|3180 | - |3738 | 606 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
994.42/994.49 c 927s| 3840k| 3823k| 0 | 0.0 |1129M|3180 | - |3738 | 614 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
997.23/997.23 c 930s| 3850k| 3833k| 0 | 0.0 |1132M|3180 | - |3738 | 623 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
999.93/999.99 c 932s| 3860k| 3843k| 0 | 0.0 |1134M|3180 | - |3738 | 609 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1002.63/1002.69 c 935s| 3870k| 3853k| 0 | 0.0 |1137M|3180 | - |3738 | 599 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1005.42/1005.46 c 938s| 3880k| 3863k| 0 | 0.0 |1140M|3180 | - |3738 | 574 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1008.12/1008.16 c 940s| 3890k| 3873k| 0 | 0.0 |1142M|3180 | - |3738 | 605 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1010.93/1010.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1010.93/1010.95 c 943s| 3900k| 3883k| 0 | 0.0 |1145M|3180 | - |3738 | 590 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1013.62/1013.62 c 945s| 3910k| 3893k| 0 | 0.0 |1148M|3180 | - |3738 | 593 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1016.42/1016.49 c 948s| 3920k| 3903k| 0 | 0.0 |1150M|3180 | - |3738 | 606 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1019.12/1019.15 c 950s| 3930k| 3913k| 0 | 0.0 |1153M|3180 | - |3738 | 590 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1021.93/1021.99 c 953s| 3940k| 3923k| 0 | 0.0 |1156M|3180 | - |3738 | 606 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1024.63/1024.67 c 956s| 3950k| 3933k| 0 | 0.0 |1158M|3180 | - |3738 | 578 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1027.53/1027.51 c 958s| 3960k| 3943k| 0 | 0.0 |1161M|3180 | - |3738 | 602 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1030.13/1030.17 c 961s| 3970k| 3953k| 0 | 0.0 |1164M|3180 | - |3738 | 602 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1033.02/1033.05 c 964s| 3980k| 3963k| 0 | 0.0 |1166M|3180 | - |3738 | 591 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1035.73/1035.79 c 966s| 3990k| 3973k| 0 | 0.0 |1169M|3180 | - |3738 | 578 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1038.62/1038.66 c 969s| 4000k| 3983k| 0 | 0.0 |1172M|3180 | - |3738 | 557 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1041.42/1041.46 c 972s| 4010k| 3993k| 0 | 0.0 |1174M|3180 | - |3738 | 549 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1044.22/1044.26 c 974s| 4020k| 4003k| 0 | 0.0 |1177M|3180 | - |3738 | 550 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1047.02/1047.09 c 977s| 4030k| 4013k| 0 | 0.0 |1180M|3180 | - |3738 | 569 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1049.82/1049.84 c 979s| 4040k| 4023k| 0 | 0.0 |1183M|3180 | - |3738 | 579 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1052.63/1052.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.63/1052.66 c 982s| 4050k| 4033k| 0 | 0.0 |1185M|3180 | - |3738 | 564 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1055.53/1055.50 c 985s| 4060k| 4043k| 0 | 0.0 |1188M|3180 | - |3738 | 603 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1058.32/1058.36 c 987s| 4070k| 4053k| 0 | 0.0 |1191M|3180 | - |3738 | 608 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1061.12/1061.12 c 990s| 4080k| 4063k| 0 | 0.0 |1193M|3180 | - |3738 | 602 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1063.83/1063.89 c 993s| 4090k| 4073k| 0 | 0.0 |1196M|3180 | - |3738 | 590 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1066.53/1066.57 c 995s| 4100k| 4083k| 0 | 0.0 |1199M|3180 | - |3738 | 578 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1069.42/1069.42 c 998s| 4110k| 4093k| 0 | 0.0 |1201M|3180 | - |3738 | 611 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1072.13/1072.17 c 1000s| 4120k| 4103k| 0 | 0.0 |1204M|3180 | - |3738 | 594 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1075.03/1075.07 c 1003s| 4130k| 4113k| 0 | 0.0 |1207M|3180 | - |3738 | 647 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1077.83/1077.85 c 1006s| 4140k| 4123k| 0 | 0.0 |1209M|3180 | - |3738 | 631 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1080.62/1080.67 c 1008s| 4150k| 4133k| 0 | 0.0 |1212M|3180 | - |3738 | 617 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1083.33/1083.36 c 1011s| 4160k| 4143k| 0 | 0.0 |1215M|3180 | - |3738 | 605 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1086.12/1086.16 c 1014s| 4170k| 4153k| 0 | 0.0 |1217M|3180 | - |3738 | 629 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1088.82/1088.90 c 1016s| 4180k| 4163k| 0 | 0.0 |1220M|3180 | - |3738 | 644 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1091.72/1091.72 c 1019s| 4190k| 4173k| 0 | 0.0 |1223M|3180 | - |3738 | 645 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1094.53/1094.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1094.53/1094.55 c 1022s| 4200k| 4183k| 0 | 0.0 |1226M|3180 | - |3738 | 619 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1097.33/1097.33 c 1024s| 4210k| 4192k| 0 | 0.0 |1228M|3180 | - |3738 | 606 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1100.03/1100.08 c 1027s| 4220k| 4202k| 0 | 0.0 |1231M|3180 | - |3738 | 615 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1102.83/1102.80 c 1029s| 4230k| 4212k| 0 | 0.0 |1234M|3180 | - |3738 | 605 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1105.53/1105.59 c 1032s| 4240k| 4222k| 0 | 0.0 |1236M|3180 | - |3738 | 597 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1108.32/1108.35 c 1035s| 4250k| 4232k| 0 | 0.0 |1239M|3180 | - |3738 | 631 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1111.12/1111.18 c 1037s| 4260k| 4242k| 0 | 0.0 |1242M|3180 | - |3738 | 622 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1113.83/1113.88 c 1040s| 4270k| 4252k| 0 | 0.0 |1244M|3180 | - |3738 | 599 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1116.73/1116.72 c 1042s| 4280k| 4262k| 0 | 0.0 |1247M|3180 | - |3738 | 617 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1119.32/1119.39 c 1045s| 4290k| 4272k| 0 | 0.0 |1250M|3180 | - |3738 | 620 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1122.22/1122.28 c 1048s| 4300k| 4282k| 0 | 0.0 |1252M|3180 | - |3738 | 653 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1124.93/1124.94 c 1050s| 4310k| 4292k| 0 | 0.0 |1255M|3180 | - |3738 | 628 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1127.73/1127.70 c 1053s| 4320k| 4302k| 0 | 0.0 |1258M|3180 | - |3738 | 629 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1130.43/1130.44 c 1055s| 4330k| 4312k| 0 | 0.0 |1260M|3180 | - |3738 | 658 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1133.23/1133.27 c 1058s| 4340k| 4322k| 0 | 0.0 |1263M|3180 | - |3738 | 640 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1135.93/1135.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1135.93/1135.97 c 1061s| 4350k| 4332k| 0 | 0.0 |1266M|3180 | - |3738 | 659 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1138.83/1138.80 c 1063s| 4360k| 4342k| 0 | 0.0 |1268M|3180 | - |3738 | 655 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1141.42/1141.43 c 1066s| 4370k| 4352k| 0 | 0.0 |1271M|3180 | - |3738 | 631 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1144.23/1144.20 c 1068s| 4380k| 4362k| 0 | 0.0 |1274M|3180 | - |3738 | 661 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1146.92/1146.95 c 1071s| 4390k| 4372k| 0 | 0.0 |1276M|3180 | - |3738 | 674 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1149.73/1149.75 c 1074s| 4400k| 4382k| 0 | 0.0 |1279M|3180 | - |3738 | 630 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1152.43/1152.47 c 1076s| 4410k| 4392k| 0 | 0.0 |1282M|3180 | - |3738 | 628 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1155.23/1155.27 c 1079s| 4420k| 4402k| 0 | 0.0 |1284M|3180 | - |3738 | 628 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1158.03/1158.01 c 1081s| 4430k| 4412k| 0 | 0.0 |1287M|3180 | - |3738 | 689 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1160.83/1160.81 c 1084s| 4440k| 4422k| 0 | 0.0 |1290M|3180 | - |3738 | 658 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1163.42/1163.43 c 1086s| 4450k| 4432k| 0 | 0.0 |1292M|3180 | - |3738 | 655 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1166.23/1166.24 c 1089s| 4460k| 4442k| 0 | 0.0 |1295M|3180 | - |3738 | 662 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1168.92/1168.90 c 1092s| 4470k| 4452k| 0 | 0.0 |1298M|3180 | - |3738 | 652 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1171.63/1171.69 c 1094s| 4480k| 4462k| 0 | 0.0 |1301M|3180 | - |3738 | 645 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1174.33/1174.32 c 1097s| 4490k| 4472k| 0 | 0.0 |1303M|3180 | - |3738 | 632 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1177.13/1177.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.13/1177.13 c 1099s| 4500k| 4482k| 0 | 0.0 |1306M|3180 | - |3738 | 629 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1179.73/1179.79 c 1102s| 4510k| 4492k| 0 | 0.0 |1309M|3180 | - |3738 | 637 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1182.53/1182.55 c 1105s| 4520k| 4502k| 0 | 0.0 |1311M|3180 | - |3738 | 622 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1185.23/1185.20 c 1107s| 4530k| 4512k| 0 | 0.0 |1314M|3180 | - |3738 | 644 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1187.94/1187.95 c 1110s| 4540k| 4522k| 0 | 0.0 |1317M|3180 | - |3738 | 622 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1190.73/1190.74 c 1112s| 4550k| 4532k| 0 | 0.0 |1319M|3180 | - |3738 | 635 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1193.44/1193.47 c 1115s| 4560k| 4542k| 0 | 0.0 |1322M|3180 | - |3738 | 621 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1196.23/1196.22 c 1117s| 4570k| 4552k| 0 | 0.0 |1325M|3180 | - |3738 | 644 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1198.93/1198.99 c 1120s| 4580k| 4562k| 0 | 0.0 |1327M|3180 | - |3738 | 623 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1201.72/1201.78 c 1123s| 4590k| 4572k| 0 | 0.0 |1330M|3180 | - |3738 | 630 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1204.53/1204.51 c 1125s| 4600k| 4582k| 0 | 0.0 |1333M|3180 | - |3738 | 666 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1207.23/1207.28 c 1128s| 4610k| 4592k| 0 | 0.0 |1335M|3180 | - |3738 | 611 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1209.93/1209.97 c 1130s| 4620k| 4602k| 0 | 0.0 |1338M|3180 | - |3738 | 644 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1212.72/1212.75 c 1133s| 4630k| 4612k| 0 | 0.0 |1341M|3180 | - |3738 | 666 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1215.43/1215.40 c 1135s| 4640k| 4622k| 0 | 0.0 |1343M|3180 | - |3738 | 665 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1218.13/1218.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.13/1218.17 c 1138s| 4650k| 4632k| 0 | 0.0 |1346M|3180 | - |3738 | 646 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1220.83/1220.88 c 1141s| 4660k| 4642k| 0 | 0.0 |1349M|3180 | - |3738 | 646 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1223.73/1223.73 c 1143s| 4670k| 4652k| 0 | 0.0 |1351M|3180 | - |3738 | 644 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1226.43/1226.41 c 1146s| 4680k| 4662k| 0 | 0.0 |1354M|3180 | - |3738 | 651 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1229.23/1229.25 c 1148s| 4690k| 4672k| 0 | 0.0 |1357M|3180 | - |3738 | 632 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1231.83/1231.89 c 1151s| 4700k| 4681k| 0 | 0.0 |1359M|3180 | - |3738 | 635 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1234.62/1234.68 c 1154s| 4710k| 4691k| 0 | 0.0 |1362M|3180 | - |3738 | 641 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1237.44/1237.41 c 1156s| 4720k| 4701k| 0 | 0.0 |1365M|3180 | - |3738 | 618 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1240.13/1240.12 c 1159s| 4730k| 4711k| 0 | 0.0 |1368M|3180 | - |3738 | 651 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1242.83/1242.85 c 1161s| 4740k| 4721k| 0 | 0.0 |1370M|3180 | - |3738 | 643 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1245.73/1245.71 c 1164s| 4750k| 4731k| 0 | 0.0 |1373M|3180 | - |3738 | 661 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1248.43/1248.43 c 1167s| 4760k| 4741k| 0 | 0.0 |1376M|3180 | - |3738 | 618 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1251.23/1251.28 c 1169s| 4770k| 4751k| 0 | 0.0 |1378M|3180 | - |3738 | 634 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1254.13/1254.10 c 1172s| 4780k| 4761k| 0 | 0.0 |1381M|3180 | - |3738 | 641 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1256.83/1256.86 c 1175s| 4790k| 4771k| 0 | 0.0 |1384M|3180 | - |3738 | 636 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1259.63/1259.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1259.63/1259.69 c 1177s| 4800k| 4781k| 0 | 0.0 |1386M|3180 | - |3738 | 651 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1262.43/1262.41 c 1180s| 4810k| 4791k| 0 | 0.0 |1389M|3180 | - |3738 | 622 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1265.23/1265.22 c 1182s| 4820k| 4801k| 0 | 0.0 |1392M|3180 | - |3738 | 629 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1268.03/1268.04 c 1185s| 4830k| 4811k| 0 | 0.0 |1394M|3180 | - |3738 | 678 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1270.83/1270.80 c 1188s| 4840k| 4821k| 0 | 0.0 |1397M|3180 | - |3738 | 604 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1273.53/1273.55 c 1190s| 4850k| 4831k| 0 | 0.0 |1400M|3180 | - |3738 | 649 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1276.33/1276.30 c 1193s| 4860k| 4841k| 0 | 0.0 |1402M|3180 | - |3738 | 640 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1278.93/1278.99 c 1195s| 4870k| 4851k| 0 | 0.0 |1405M|3180 | - |3738 | 654 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1281.83/1281.83 c 1198s| 4880k| 4861k| 0 | 0.0 |1408M|3180 | - |3738 | 635 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1284.43/1284.49 c 1201s| 4890k| 4871k| 0 | 0.0 |1410M|3180 | - |3738 | 613 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1287.23/1287.29 c 1203s| 4900k| 4881k| 0 | 0.0 |1413M|3180 | - |3738 | 633 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1289.93/1289.99 c 1206s| 4910k| 4891k| 0 | 0.0 |1416M|3180 | - |3738 | 623 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1292.73/1292.78 c 1208s| 4920k| 4901k| 0 | 0.0 |1418M|3180 | - |3738 | 636 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1295.43/1295.49 c 1211s| 4930k| 4911k| 0 | 0.0 |1421M|3180 | - |3738 | 629 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1298.23/1298.25 c 1214s| 4940k| 4921k| 0 | 0.0 |1424M|3180 | - |3738 | 651 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1301.03/1301.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1301.03/1301.01 c 1216s| 4950k| 4931k| 0 | 0.0 |1426M|3180 | - |3738 | 639 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1303.73/1303.71 c 1219s| 4960k| 4941k| 0 | 0.0 |1429M|3180 | - |3738 | 640 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1306.43/1306.49 c 1221s| 4970k| 4951k| 0 | 0.0 |1432M|3180 | - |3738 | 654 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1309.24/1309.28 c 1224s| 4980k| 4961k| 0 | 0.0 |1434M|3180 | - |3738 | 656 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1312.03/1312.09 c 1227s| 4990k| 4971k| 0 | 0.0 |1437M|3180 | - |3738 | 654 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1314.83/1314.88 c 1229s| 5000k| 4981k| 0 | 0.0 |1440M|3180 | - |3738 | 624 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1317.63/1317.66 c 1232s| 5010k| 4991k| 0 | 0.0 |1442M|3180 | - |3738 | 633 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1320.53/1320.53 c 1235s| 5020k| 5001k| 0 | 0.0 |1445M|3180 | - |3738 | 606 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1323.13/1323.18 c 1237s| 5030k| 5011k| 0 | 0.0 |1448M|3180 | - |3738 | 601 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1325.93/1325.99 c 1240s| 5040k| 5021k| 0 | 0.0 |1450M|3180 | - |3738 | 656 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1328.74/1328.73 c 1242s| 5050k| 5031k| 0 | 0.0 |1453M|3180 | - |3738 | 658 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1331.53/1331.55 c 1245s| 5060k| 5041k| 0 | 0.0 |1456M|3180 | - |3738 | 646 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1334.24/1334.25 c 1247s| 5070k| 5051k| 0 | 0.0 |1458M|3180 | - |3738 | 640 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1337.13/1337.18 c 1250s| 5080k| 5061k| 0 | 0.0 |1461M|3180 | - |3738 | 662 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1339.93/1339.90 c 1253s| 5090k| 5071k| 0 | 0.0 |1464M|3180 | - |3738 | 655 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1342.63/1342.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1342.63/1342.67 c 1255s| 5100k| 5081k| 0 | 0.0 |1466M|3180 | - |3738 | 628 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1345.34/1345.34 c 1258s| 5110k| 5091k| 0 | 0.0 |1469M|3180 | - |3738 | 632 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1348.23/1348.20 c 1261s| 5120k| 5101k| 0 | 0.0 |1472M|3180 | - |3738 | 641 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1350.94/1350.92 c 1263s| 5130k| 5111k| 0 | 0.0 |1474M|3180 | - |3738 | 627 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1353.73/1353.79 c 1266s| 5140k| 5121k| 0 | 0.0 |1477M|3180 | - |3738 | 687 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1356.53/1356.59 c 1269s| 5150k| 5131k| 0 | 0.0 |1480M|3180 | - |3738 | 666 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1359.23/1359.29 c 1271s| 5160k| 5141k| 0 | 0.0 |1483M|3180 | - |3738 | 680 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1362.04/1362.08 c 1274s| 5170k| 5151k| 0 | 0.0 |1485M|3180 | - |3738 | 664 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1364.83/1364.83 c 1276s| 5180k| 5160k| 0 | 0.0 |1488M|3180 | - |3738 | 647 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1367.64/1367.63 c 1279s| 5190k| 5170k| 0 | 0.0 |1490M|3180 | - |3738 | 654 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1370.33/1370.30 c 1281s| 5200k| 5180k| 0 | 0.0 |1493M|3180 | - |3738 | 669 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1373.04/1373.09 c 1284s| 5210k| 5190k| 0 | 0.0 |1496M|3180 | - |3738 | 674 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1375.73/1375.74 c 1287s| 5220k| 5200k| 0 | 0.0 |1498M|3180 | - |3738 | 659 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1378.64/1378.60 c 1289s| 5230k| 5210k| 0 | 0.0 |1501M|3180 | - |3738 | 672 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1381.34/1381.30 c 1292s| 5240k| 5220k| 0 | 0.0 |1504M|3180 | - |3738 | 653 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1384.13/1384.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.13/1384.16 c 1294s| 5250k| 5230k| 0 | 0.0 |1507M|3180 | - |3738 | 665 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1386.93/1386.92 c 1297s| 5260k| 5240k| 0 | 0.0 |1509M|3180 | - |3738 | 628 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1389.74/1389.73 c 1300s| 5270k| 5250k| 0 | 0.0 |1512M|3180 | - |3738 | 644 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1392.43/1392.40 c 1302s| 5280k| 5260k| 0 | 0.0 |1515M|3180 | - |3738 | 637 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1395.23/1395.20 c 1305s| 5290k| 5270k| 0 | 0.0 |1517M|3180 | - |3738 | 635 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1397.94/1397.93 c 1307s| 5300k| 5280k| 0 | 0.0 |1520M|3180 | - |3738 | 635 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1400.74/1400.78 c 1310s| 5310k| 5290k| 0 | 0.0 |1523M|3180 | - |3738 | 647 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1403.44/1403.47 c 1313s| 5320k| 5300k| 0 | 0.0 |1525M|3180 | - |3738 | 624 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1406.23/1406.27 c 1315s| 5330k| 5310k| 0 | 0.0 |1528M|3180 | - |3738 | 650 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1408.94/1408.98 c 1318s| 5340k| 5320k| 0 | 0.0 |1531M|3180 | - |3738 | 634 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1411.74/1411.77 c 1320s| 5350k| 5330k| 0 | 0.0 |1533M|3180 | - |3738 | 676 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1414.54/1414.59 c 1323s| 5360k| 5340k| 0 | 0.0 |1536M|3180 | - |3738 | 679 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1417.44/1417.46 c 1326s| 5370k| 5350k| 0 | 0.0 |1539M|3180 | - |3738 | 690 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1420.23/1420.29 c 1329s| 5380k| 5360k| 0 | 0.0 |1541M|3180 | - |3738 | 711 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1423.04/1423.03 c 1331s| 5390k| 5370k| 0 | 0.0 |1544M|3180 | - |3738 | 757 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1425.93/1425.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1425.93/1425.96 c 1334s| 5400k| 5380k| 0 | 0.0 |1547M|3180 | - |3738 | 742 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1428.63/1428.63 c 1336s| 5410k| 5390k| 0 | 0.0 |1549M|3180 | - |3738 | 732 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1431.44/1431.47 c 1339s| 5420k| 5400k| 0 | 0.0 |1552M|3180 | - |3738 | 707 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1434.13/1434.15 c 1342s| 5430k| 5410k| 0 | 0.0 |1555M|3180 | - |3738 | 712 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1436.93/1436.97 c 1344s| 5440k| 5420k| 0 | 0.0 |1557M|3180 | - |3738 | 702 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1439.74/1439.70 c 1347s| 5450k| 5430k| 0 | 0.0 |1560M|3180 | - |3738 | 699 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1442.53/1442.58 c 1350s| 5460k| 5440k| 0 | 0.0 |1563M|3180 | - |3738 | 684 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1445.24/1445.26 c 1352s| 5470k| 5450k| 0 | 0.0 |1565M|3180 | - |3738 | 646 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1448.13/1448.13 c 1355s| 5480k| 5460k| 0 | 0.0 |1568M|3180 | - |3738 | 672 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1450.84/1450.84 c 1357s| 5490k| 5470k| 0 | 0.0 |1571M|3180 | - |3738 | 672 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1453.74/1453.76 c 1360s| 5500k| 5480k| 0 | 0.0 |1573M|3180 | - |3738 | 707 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1456.54/1456.50 c 1363s| 5510k| 5490k| 0 | 0.0 |1576M|3180 | - |3738 | 674 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1459.34/1459.32 c 1365s| 5520k| 5500k| 0 | 0.0 |1579M|3180 | - |3738 | 699 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1462.03/1462.08 c 1368s| 5530k| 5510k| 0 | 0.0 |1581M|3180 | - |3738 | 678 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1464.94/1464.91 c 1371s| 5540k| 5520k| 0 | 0.0 |1584M|3180 | - |3738 | 665 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1467.54/1467.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1467.54/1467.56 c 1373s| 5550k| 5530k| 0 | 0.0 |1587M|3180 | - |3738 | 671 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1470.33/1470.35 c 1376s| 5560k| 5540k| 0 | 0.0 |1589M|3180 | - |3738 | 694 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1473.04/1473.09 c 1378s| 5570k| 5550k| 0 | 0.0 |1592M|3180 | - |3738 | 702 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1475.93/1475.92 c 1381s| 5580k| 5560k| 0 | 0.0 |1595M|3180 | - |3738 | 698 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1478.64/1478.67 c 1384s| 5590k| 5570k| 0 | 0.0 |1597M|3180 | - |3738 | 691 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1481.43/1481.43 c 1386s| 5600k| 5580k| 0 | 0.0 |1600M|3180 | - |3738 | 673 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1484.14/1484.17 c 1389s| 5610k| 5590k| 0 | 0.0 |1603M|3180 | - |3738 | 684 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1487.04/1487.01 c 1391s| 5620k| 5600k| 0 | 0.0 |1606M|3180 | - |3738 | 690 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1489.63/1489.68 c 1394s| 5630k| 5610k| 0 | 0.0 |1608M|3180 | - |3738 | 662 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1492.44/1492.43 c 1396s| 5640k| 5620k| 0 | 0.0 |1611M|3180 | - |3738 | 686 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1495.13/1495.16 c 1399s| 5650k| 5630k| 0 | 0.0 |1614M|3180 | - |3738 | 676 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1497.84/1497.89 c 1402s| 5660k| 5640k| 0 | 0.0 |1616M|3180 | - |3738 | 689 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1500.64/1500.66 c 1404s| 5670k| 5649k| 0 | 0.0 |1619M|3180 | - |3738 | 704 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1503.54/1503.52 c 1407s| 5680k| 5659k| 0 | 0.0 |1622M|3180 | - |3738 | 732 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1506.24/1506.25 c 1410s| 5690k| 5669k| 0 | 0.0 |1624M|3180 | - |3738 | 716 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1509.14/1509.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1509.14/1509.10 c 1412s| 5700k| 5679k| 0 | 0.0 |1627M|3180 | - |3738 | 703 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1511.84/1511.85 c 1415s| 5710k| 5689k| 0 | 0.0 |1630M|3180 | - |3738 | 691 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1514.64/1514.62 c 1417s| 5720k| 5699k| 0 | 0.0 |1632M|3180 | - |3738 | 686 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1517.44/1517.42 c 1420s| 5730k| 5709k| 0 | 0.0 |1635M|3180 | - |3738 | 707 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1520.24/1520.21 c 1423s| 5740k| 5719k| 0 | 0.0 |1638M|3180 | - |3738 | 652 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1522.94/1522.98 c 1425s| 5750k| 5729k| 0 | 0.0 |1640M|3180 | - |3738 | 677 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1525.65/1525.68 c 1428s| 5760k| 5739k| 0 | 0.0 |1643M|3180 | - |3738 | 640 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1528.44/1528.42 c 1430s| 5770k| 5749k| 0 | 0.0 |1646M|3180 | - |3738 | 625 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1531.14/1531.17 c 1433s| 5780k| 5759k| 0 | 0.0 |1648M|3180 | - |3738 | 618 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1533.94/1533.94 c 1436s| 5790k| 5769k| 0 | 0.0 |1651M|3180 | - |3738 | 634 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1536.54/1536.59 c 1438s| 5800k| 5779k| 0 | 0.0 |1654M|3180 | - |3738 | 626 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1539.44/1539.49 c 1441s| 5810k| 5789k| 0 | 0.0 |1656M|3180 | - |3738 | 653 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1542.24/1542.20 c 1443s| 5820k| 5799k| 0 | 0.0 |1659M|3180 | - |3738 | 614 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1544.94/1544.97 c 1446s| 5830k| 5809k| 0 | 0.0 |1662M|3180 | - |3738 | 634 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1547.64/1547.67 c 1449s| 5840k| 5819k| 0 | 0.0 |1664M|3180 | - |3738 | 626 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1550.54/1550.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1550.54/1550.54 c 1451s| 5850k| 5829k| 0 | 0.0 |1667M|3180 | - |3738 | 625 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1553.34/1553.33 c 1454s| 5860k| 5839k| 0 | 0.0 |1670M|3180 | - |3738 | 626 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1556.14/1556.18 c 1457s| 5870k| 5849k| 0 | 0.0 |1672M|3180 | - |3738 | 653 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1558.84/1558.81 c 1459s| 5880k| 5859k| 0 | 0.0 |1675M|3180 | - |3738 | 629 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1561.64/1561.60 c 1462s| 5890k| 5869k| 0 | 0.0 |1678M|3180 | - |3738 | 653 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1564.34/1564.34 c 1464s| 5900k| 5879k| 0 | 0.0 |1680M|3180 | - |3738 | 647 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1567.24/1567.21 c 1467s| 5910k| 5889k| 0 | 0.0 |1683M|3180 | - |3738 | 659 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1569.94/1569.96 c 1470s| 5920k| 5899k| 0 | 0.0 |1686M|3180 | - |3738 | 653 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1572.74/1572.79 c 1472s| 5930k| 5909k| 0 | 0.0 |1689M|3180 | - |3738 | 655 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1575.54/1575.55 c 1475s| 5940k| 5919k| 0 | 0.0 |1691M|3180 | - |3738 | 632 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1578.24/1578.23 c 1477s| 5950k| 5929k| 0 | 0.0 |1694M|3180 | - |3738 | 662 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1581.04/1581.05 c 1480s| 5960k| 5939k| 0 | 0.0 |1697M|3180 | - |3738 | 646 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1583.95/1583.92 c 1483s| 5970k| 5949k| 0 | 0.0 |1699M|3180 | - |3738 | 672 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1586.64/1586.65 c 1485s| 5980k| 5959k| 0 | 0.0 |1702M|3180 | - |3738 | 654 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1589.44/1589.44 c 1488s| 5990k| 5969k| 0 | 0.0 |1705M|3180 | - |3738 | 642 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1592.14/1592.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1592.14/1592.11 c 1490s| 6000k| 5979k| 0 | 0.0 |1707M|3180 | - |3738 | 643 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1594.84/1594.89 c 1493s| 6010k| 5989k| 0 | 0.0 |1710M|3180 | - |3738 | 654 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1597.54/1597.53 c 1495s| 6020k| 5999k| 0 | 0.0 |1713M|3180 | - |3738 | 633 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1600.34/1600.40 c 1498s| 6030k| 6009k| 0 | 0.0 |1715M|3180 | - |3738 | 636 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1603.04/1603.07 c 1501s| 6040k| 6019k| 0 | 0.0 |1718M|3180 | - |3738 | 649 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1605.84/1605.90 c 1503s| 6050k| 6029k| 0 | 0.0 |1721M|3180 | - |3738 | 632 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1608.64/1608.65 c 1506s| 6060k| 6039k| 0 | 0.0 |1723M|3180 | - |3738 | 644 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1611.44/1611.43 c 1509s| 6070k| 6049k| 0 | 0.0 |1726M|3180 | - |3738 | 649 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1614.14/1614.17 c 1511s| 6080k| 6059k| 0 | 0.0 |1729M|3180 | - |3738 | 627 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1616.84/1616.81 c 1514s| 6090k| 6069k| 0 | 0.0 |1731M|3180 | - |3738 | 614 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1619.64/1619.60 c 1516s| 6100k| 6079k| 0 | 0.0 |1734M|3180 | - |3738 | 626 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1622.24/1622.29 c 1519s| 6110k| 6089k| 0 | 0.0 |1737M|3180 | - |3738 | 628 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1625.25/1625.20 c 1522s| 6120k| 6099k| 0 | 0.0 |1739M|3180 | - |3738 | 626 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1627.94/1627.92 c 1524s| 6130k| 6109k| 0 | 0.0 |1742M|3180 | - |3738 | 649 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1630.74/1630.77 c 1527s| 6140k| 6118k| 0 | 0.0 |1745M|3180 | - |3738 | 606 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1633.45/1633.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.45/1633.45 c 1529s| 6150k| 6128k| 0 | 0.0 |1747M|3180 | - |3738 | 601 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1636.15/1636.19 c 1532s| 6160k| 6138k| 0 | 0.0 |1750M|3180 | - |3738 | 581 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1638.94/1638.93 c 1534s| 6170k| 6148k| 0 | 0.0 |1753M|3180 | - |3738 | 606 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1641.74/1641.74 c 1537s| 6180k| 6158k| 0 | 0.0 |1755M|3180 | - |3738 | 596 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1644.45/1644.45 c 1540s| 6190k| 6168k| 0 | 0.0 |1758M|3180 | - |3738 | 583 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1647.25/1647.25 c 1542s| 6200k| 6178k| 0 | 0.0 |1761M|3180 | - |3738 | 586 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1650.04/1650.01 c 1545s| 6210k| 6188k| 0 | 0.0 |1763M|3180 | - |3738 | 608 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1652.74/1652.72 c 1547s| 6220k| 6198k| 0 | 0.0 |1766M|3180 | - |3738 | 589 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1655.45/1655.47 c 1550s| 6230k| 6208k| 0 | 0.0 |1769M|3180 | - |3738 | 592 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1658.24/1658.26 c 1553s| 6240k| 6218k| 0 | 0.0 |1771M|3180 | - |3738 | 584 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1660.95/1660.99 c 1555s| 6250k| 6228k| 0 | 0.0 |1774M|3180 | - |3738 | 562 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1663.64/1663.69 c 1558s| 6260k| 6238k| 0 | 0.0 |1777M|3180 | - |3738 | 559 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1666.45/1666.46 c 1560s| 6270k| 6248k| 0 | 0.0 |1780M|3180 | - |3738 | 574 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1669.14/1669.16 c 1563s| 6280k| 6258k| 0 | 0.0 |1782M|3180 | - |3738 | 559 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1671.95/1671.95 c 1566s| 6290k| 6268k| 0 | 0.0 |1785M|3180 | - |3738 | 547 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1674.75/1674.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1674.75/1674.77 c 1568s| 6300k| 6278k| 0 | 0.0 |1788M|3180 | - |3738 | 547 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1677.44/1677.49 c 1571s| 6310k| 6288k| 0 | 0.0 |1790M|3180 | - |3738 | 532 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1680.24/1680.23 c 1573s| 6320k| 6298k| 0 | 0.0 |1793M|3180 | - |3738 | 530 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1682.85/1682.90 c 1576s| 6330k| 6308k| 0 | 0.0 |1796M|3180 | - |3738 | 555 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1685.64/1685.67 c 1578s| 6340k| 6318k| 0 | 0.0 |1798M|3180 | - |3738 | 529 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1688.45/1688.49 c 1581s| 6350k| 6328k| 0 | 0.0 |1801M|3180 | - |3738 | 526 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1691.14/1691.14 c 1584s| 6360k| 6338k| 0 | 0.0 |1804M|3180 | - |3738 | 513 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1693.94/1693.98 c 1586s| 6370k| 6348k| 0 | 0.0 |1806M|3180 | - |3738 | 530 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1696.65/1696.69 c 1589s| 6380k| 6358k| 0 | 0.0 |1809M|3180 | - |3738 | 546 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1699.45/1699.47 c 1591s| 6390k| 6368k| 0 | 0.0 |1812M|3180 | - |3738 | 525 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1702.14/1702.18 c 1594s| 6400k| 6378k| 0 | 0.0 |1815M|3180 | - |3738 | 521 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1704.95/1704.95 c 1597s| 6410k| 6388k| 0 | 0.0 |1817M|3180 | - |3738 | 527 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1707.74/1707.70 c 1599s| 6420k| 6398k| 0 | 0.0 |1820M|3180 | - |3738 | 541 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1710.45/1710.43 c 1602s| 6430k| 6408k| 0 | 0.0 |1823M|3180 | - |3738 | 531 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1713.35/1713.31 c 1604s| 6440k| 6418k| 0 | 0.0 |1825M|3180 | - |3738 | 534 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1716.05/1716.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.05/1716.05 c 1607s| 6450k| 6428k| 0 | 0.0 |1828M|3180 | - |3738 | 590 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1718.84/1718.85 c 1610s| 6460k| 6438k| 0 | 0.0 |1831M|3180 | - |3738 | 535 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1721.64/1721.64 c 1612s| 6470k| 6448k| 0 | 0.0 |1833M|3180 | - |3738 | 540 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1724.34/1724.34 c 1615s| 6480k| 6458k| 0 | 0.0 |1836M|3180 | - |3738 | 519 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1727.25/1727.26 c 1618s| 6490k| 6468k| 0 | 0.0 |1839M|3180 | - |3738 | 523 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1730.14/1730.15 c 1620s| 6500k| 6478k| 0 | 0.0 |1841M|3180 | - |3738 | 558 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1733.04/1733.00 c 1623s| 6510k| 6488k| 0 | 0.0 |1844M|3180 | - |3738 | 557 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1735.75/1735.78 c 1626s| 6520k| 6498k| 0 | 0.0 |1847M|3180 | - |3738 | 561 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1738.55/1738.54 c 1628s| 6530k| 6508k| 0 | 0.0 |1849M|3180 | - |3738 | 537 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1741.25/1741.28 c 1631s| 6540k| 6518k| 0 | 0.0 |1852M|3180 | - |3738 | 551 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1744.14/1744.11 c 1634s| 6550k| 6528k| 0 | 0.0 |1855M|3180 | - |3738 | 545 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1746.95/1746.92 c 1636s| 6560k| 6538k| 0 | 0.0 |1858M|3180 | - |3738 | 549 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1749.75/1749.72 c 1639s| 6570k| 6548k| 0 | 0.0 |1860M|3180 | - |3738 | 537 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1752.44/1752.46 c 1641s| 6580k| 6558k| 0 | 0.0 |1863M|3180 | - |3738 | 543 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1755.24/1755.24 c 1644s| 6590k| 6568k| 0 | 0.0 |1866M|3180 | - |3738 | 563 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1757.95/1757.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.95/1757.96 c 1647s| 6600k| 6578k| 0 | 0.0 |1868M|3180 | - |3738 | 565 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1760.75/1760.75 c 1649s| 6610k| 6588k| 0 | 0.0 |1871M|3180 | - |3738 | 559 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1763.44/1763.47 c 1652s| 6620k| 6598k| 0 | 0.0 |1874M|3180 | - |3738 | 542 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1766.35/1766.34 c 1655s| 6630k| 6608k| 0 | 0.0 |1876M|3180 | - |3738 | 565 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1769.14/1769.18 c 1657s| 6640k| 6617k| 0 | 0.0 |1879M|3180 | - |3738 | 588 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1771.95/1772.00 c 1660s| 6650k| 6627k| 0 | 0.0 |1882M|3180 | - |3738 | 563 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1774.75/1774.79 c 1663s| 6660k| 6637k| 0 | 0.0 |1884M|3180 | - |3738 | 571 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1777.55/1777.51 c 1665s| 6670k| 6647k| 0 | 0.0 |1887M|3180 | - |3738 | 536 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1780.35/1780.30 c 1668s| 6680k| 6657k| 0 | 0.0 |1890M|3180 | - |3738 | 557 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1782.94/1782.98 c 1670s| 6690k| 6667k| 0 | 0.0 |1892M|3180 | - |3738 | 542 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1785.84/1785.82 c 1673s| 6700k| 6677k| 0 | 0.0 |1895M|3180 | - |3738 | 560 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1788.45/1788.49 c 1675s| 6710k| 6687k| 0 | 0.0 |1898M|3180 | - |3738 | 561 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1791.34/1791.38 c 1678s| 6720k| 6697k| 0 | 0.0 |1900M|3180 | - |3738 | 576 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1794.15/1794.10 c 1681s| 6730k| 6707k| 0 | 0.0 |1903M|3180 | - |3738 | 592 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1796.94/1796.99 c 1683s| 6740k| 6717k| 0 | 0.0 |1906M|3180 | - |3738 | 586 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1799.75/1799.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1799.75/1799.73 c 1686s| 6750k| 6727k| 0 | 0.0 |1908M|3180 | - |3738 | 579 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1686.32
1800.05/1800.00 c Solving Nodes : 6750859
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time : 1686.32
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-2693800-1277893271.wbo
1800.05/1800.00 c Variables : 3738 (3699 binary, 0 integer, 0 implicit integer, 39 continuous)
1800.05/1800.00 c Constraints : 161 initial, 161 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-2693800-1277893271.wbo
1800.05/1800.00 c Variables : 3738 (3699 binary, 0 integer, 0 implicit integer, 39 continuous)
1800.05/1800.00 c Constraints : 160 initial, 5763 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 0 0 0 39 0 1 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c indicator : 39 0 3432 0 3187 0 46 0 0 0
1800.05/1800.00 c setppc : 42 0 7063046 0 6737549 7418 3365297 0 0 0
1800.05/1800.00 c linear : 39 0 7061104 0 6740347 2587 450255 0 0 0
1800.05/1800.00 c logicor : 40+ 0 859814 0 6740452 1683 159526 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 6740452 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c setppc : 266.80 0.00 58.84 0.00 207.96
1800.05/1800.00 c linear : 37.74 0.00 37.23 0.00 0.51
1800.05/1800.00 c logicor : 178.63 0.00 16.45 0.00 162.18
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.00 c vbounds : 0.00 2 0 0
1800.05/1800.00 c rootredcost : 0.00 0 0 0
1800.05/1800.00 c pseudoobj : 6.29 7069107 0 0
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 92.36 11688 11688 323206 576.9 131260 57.1 -
1800.05/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 112502 66.7 - - -
1800.05/1800.00 c applied locally : - - - 594 507.3 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.00 c redcost : 0.00 0 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 0 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 1142.19 6740452 0 0 0 0 13480904
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c oneopt : 0.00 0 0
1800.05/1800.00 c trivial : 0.01 2 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c nlp : 0.00 0 0
1800.05/1800.00 c trysol : 0.00 1 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.00 c (at root node) : - 0 0 0.00 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 6750859
1800.05/1800.00 c nodes (total) : 6750859
1800.05/1800.00 c nodes left : 6728612
1800.05/1800.00 c max depth : 3180
1800.05/1800.00 c max depth (total): 3180
1800.05/1800.00 c backtracks : 4512 (0.1%)
1800.05/1800.00 c delayed cutoffs : 1434
1800.05/1800.00 c repropagations : 17511 (125819 domain reductions, 1281 cutoffs)
1800.05/1800.00 c avg switch length: 2.21
1800.05/1800.00 c switching time : 23.50
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 0 (0 improvements)
1800.05/1800.00 c Primal Bound : -
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693800-1277893271/watcher-2693800-1277893271 -o /tmp/evaluation-result-2693800-1277893271/solver-2693800-1277893271 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693800-1277893271.wbo -t 1800 -m 3800
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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 8751
/proc/meminfo: memFree=28939408/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=8540 CPUtime=0
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 1615 0 0 0 0 0 0 0 21 0 1 0 130624429 8744960 1537 4089446400 4194304 7136930 140736856535936 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8751/statm: 2135 1537 275 719 0 1414 0
[startup+0.0506509 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 8751
/proc/meminfo: memFree=28939408/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=21272 CPUtime=0.04
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 6295 0 0 0 4 0 0 0 21 0 1 0 130624429 21782528 4578 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 5318 4578 370 719 0 4597 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21272
[startup+0.10064 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 8751
/proc/meminfo: memFree=28939408/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=22300 CPUtime=0.09
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 6588 0 0 0 9 0 0 0 18 0 1 0 130624429 22835200 4871 4089446400 4194304 7136930 140736856535936 18446744073709551615 4740336 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 5575 4871 390 719 0 4854 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22300
[startup+0.300604 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 8751
/proc/meminfo: memFree=28939408/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=22752 CPUtime=0.29
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 6670 0 0 0 28 1 0 0 18 0 1 0 130624429 23298048 4953 4089446400 4194304 7136930 140736856535936 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 5688 4953 390 719 0 4967 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22752
[startup+0.700528 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 8751
/proc/meminfo: memFree=28939408/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=23416 CPUtime=0.69
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 6858 0 0 0 65 4 0 0 18 0 1 0 130624429 23977984 5141 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 5854 5141 390 719 0 5133 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23416
[startup+1.50038 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 8752
/proc/meminfo: memFree=28917452/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=24872 CPUtime=1.49
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 7241 0 0 0 139 10 0 0 19 0 1 0 130624429 25468928 5524 4089446400 4194304 7136930 140736856535936 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 6218 5524 394 719 0 5497 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24872
[startup+3.10109 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 8752
/proc/meminfo: memFree=28913112/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=27220 CPUtime=3.09
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 7838 0 0 0 289 20 0 0 25 0 1 0 130624429 27873280 6121 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 6805 6121 394 719 0 6084 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27220
[startup+6.30052 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 8752
/proc/meminfo: memFree=28902944/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=32692 CPUtime=6.29
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 9272 0 0 0 589 40 0 0 25 0 1 0 130624429 33476608 7555 4089446400 4194304 7136930 140736856535936 18446744073709551615 4407888 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 8173 7555 394 719 0 7452 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32692
[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 8752
/proc/meminfo: memFree=28879768/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=40452 CPUtime=12.69
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 11291 0 0 0 1185 84 0 0 25 0 1 0 130624429 41422848 9574 4089446400 4194304 7136930 140736856535936 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 10113 9574 394 719 0 9392 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40452
[startup+25.501 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 8752
/proc/meminfo: memFree=28819768/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=55248 CPUtime=25.49
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 14656 0 0 0 2388 161 0 0 25 0 1 0 130624429 56573952 12939 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 13812 12939 394 719 0 13091 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55248
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 8753
/proc/meminfo: memFree=28712440/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=83188 CPUtime=51.09
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 21964 0 0 0 4781 328 0 0 25 0 1 0 130624429 85184512 20245 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 20797 20245 394 719 0 20076 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 83188
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 8754
/proc/meminfo: memFree=28514476/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=140512 CPUtime=102.3
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 35966 0 0 0 9554 676 0 0 25 0 1 0 130624429 143884288 34247 4089446400 4194304 7136930 140736856535936 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 35128 34247 394 719 0 34407 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 140512
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 8756
/proc/meminfo: memFree=28296152/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=212400 CPUtime=162.29
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 52691 0 0 0 15137 1092 0 0 25 0 1 0 130624429 217497600 50972 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 53100 50972 394 719 0 52379 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 212400
[startup+222.301 s]
/proc/loadavg: 2.05 2.00 2.00 3/179 8758
/proc/meminfo: memFree=28066300/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=277984 CPUtime=222.29
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 69941 0 0 0 20717 1512 0 0 25 0 1 0 130624429 284655616 68222 4089446400 4194304 7136930 140736856535936 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 69496 68222 394 719 0 68775 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 277984
[startup+282.301 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 8759
/proc/meminfo: memFree=27851588/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=363072 CPUtime=282.3
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 88021 0 0 0 26287 1943 0 0 25 0 1 0 130624429 371785728 86302 4089446400 4194304 7136930 140736856535936 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 90768 86302 394 719 0 90047 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 363072
[startup+342.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 8760
/proc/meminfo: memFree=27667004/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=431552 CPUtime=342.3
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 106044 0 0 0 31842 2388 0 0 25 0 1 0 130624429 441909248 104325 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 107888 104325 394 719 0 107167 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 431552
[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 8762
/proc/meminfo: memFree=27496936/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=504452 CPUtime=402.3
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 125148 0 0 0 37399 2831 0 0 25 0 1 0 130624429 516558848 123429 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 126113 123429 394 719 0 125392 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 504452
[startup+462.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 8764
/proc/meminfo: memFree=27290528/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=571672 CPUtime=462.3
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 142730 0 0 0 42980 3250 0 0 25 0 1 0 130624429 585392128 141011 4089446400 4194304 7136930 140736856535936 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 142918 141011 394 719 0 142197 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 571672
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8766
/proc/meminfo: memFree=27110768/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=635196 CPUtime=522.31
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 159316 0 0 0 48583 3648 0 0 25 0 1 0 130624429 650440704 157597 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 158799 157597 394 719 0 158078 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 635196
[startup+582.301 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 8895
/proc/meminfo: memFree=30791036/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=738316 CPUtime=582.31
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 177776 0 0 0 54149 4082 0 0 25 0 1 0 130624429 756035584 176057 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 184579 176057 394 719 0 183858 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 738316
[startup+642.301 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 8900
/proc/meminfo: memFree=30655576/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=812124 CPUtime=642.32
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 197123 0 0 0 59753 4479 0 0 25 0 1 0 130624429 831614976 195404 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 203031 195404 394 719 0 202310 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 812124
[startup+702.301 s]
################
# More data... #
################
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 315656 0 0 0 93456 6776 0 0 25 0 1 0 130624429 1295732736 313937 4089446400 4194304 7136930 140736856535936 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 316341 313937 394 719 0 315620 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1265364
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8911
/proc/meminfo: memFree=29768472/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=1321064 CPUtime=1062.32
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 330395 0 0 0 99121 7111 0 0 25 0 1 0 130624429 1352769536 328676 4089446400 4194304 7136930 140736856535936 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 330266 328676 394 719 0 329545 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1321064
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8913
/proc/meminfo: memFree=29653720/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=1443076 CPUtime=1122.33
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 345339 0 0 0 104768 7465 0 0 25 0 1 0 130624429 1477709824 343620 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 360769 343620 394 719 0 360048 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1443076
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8914
/proc/meminfo: memFree=29538092/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=1500784 CPUtime=1182.33
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 360617 0 0 0 110430 7803 0 0 25 0 1 0 130624429 1536802816 358898 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 375196 358898 394 719 0 374475 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1500784
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8915
/proc/meminfo: memFree=29415876/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=1560200 CPUtime=1242.33
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 376322 0 0 0 116082 8151 0 0 25 0 1 0 130624429 1597644800 374603 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 390050 374603 394 719 0 389329 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1560200
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8917
/proc/meminfo: memFree=29293040/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=1619648 CPUtime=1302.34
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 392026 0 0 0 121736 8498 0 0 25 0 1 0 130624429 1658519552 390307 4089446400 4194304 7136930 140736856535936 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 404912 390307 394 719 0 404191 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1619648
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8919
/proc/meminfo: memFree=29171560/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=1677236 CPUtime=1362.34
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 407232 0 0 0 127390 8844 0 0 25 0 1 0 130624429 1717489664 405513 4089446400 4194304 7136930 140736856535936 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 419309 405513 394 719 0 418588 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1677236
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8921
/proc/meminfo: memFree=29044140/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=1737352 CPUtime=1422.34
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 423037 0 0 0 133045 9189 0 0 25 0 1 0 130624429 1779048448 421318 4089446400 4194304 7136930 140736856535936 18446744073709551615 5892210 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 434338 421318 394 719 0 433617 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1737352
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8922
/proc/meminfo: memFree=28920448/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=1795144 CPUtime=1482.33
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 438332 0 0 0 138693 9540 0 0 25 0 1 0 130624429 1838227456 436613 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 448786 436613 394 719 0 448065 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1795144
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8923
/proc/meminfo: memFree=28793656/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=1853348 CPUtime=1542.34
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 453731 0 0 0 144348 9886 0 0 25 0 1 0 130624429 1897828352 452012 4089446400 4194304 7136930 140736856535936 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 463337 452012 394 719 0 462616 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1853348
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8925
/proc/meminfo: memFree=28662528/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=1911672 CPUtime=1602.34
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 469160 0 0 0 149998 10236 0 0 25 0 1 0 130624429 1957552128 467441 4089446400 4194304 7136930 140736856535936 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 477918 467441 394 719 0 477197 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1911672
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8927
/proc/meminfo: memFree=28530992/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=1966648 CPUtime=1662.35
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 483752 0 0 0 155650 10585 0 0 25 0 1 0 130624429 2013847552 482033 4089446400 4194304 7136930 140736856535936 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 491662 482033 394 719 0 490941 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1966648
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8929
/proc/meminfo: memFree=28408664/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=2021704 CPUtime=1722.34
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 498342 0 0 0 161297 10937 0 0 25 0 1 0 130624429 2070224896 496623 4089446400 4194304 7136930 140736856535936 18446744073709551615 4740336 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 505426 496623 394 719 0 504705 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2021704
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8930
/proc/meminfo: memFree=28288568/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=2078792 CPUtime=1782.35
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 513405 0 0 0 166963 11272 0 0 25 0 1 0 130624429 2128683008 511686 4089446400 4194304 7136930 140736856535936 18446744073709551615 4642989 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 519698 511686 394 719 0 518977 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2078792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8931
/proc/meminfo: memFree=28252716/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=2095368 CPUtime=1800.05
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 517805 0 0 0 168632 11373 0 0 25 0 1 0 130624429 2145656832 516086 4089446400 4194304 7136930 140736856535936 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/8751/statm: 523842 516086 394 719 0 523121 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2095368
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8751
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8932
/proc/meminfo: memFree=28252212/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=2094980 CPUtime=1801.45
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 517857 0 0 0 168772 11373 0 0 19 0 1 0 130624429 2145259520 516009 4089446400 4194304 7136930 140736856535936 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8751/statm: 523745 516009 399 719 0 523024 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 2094980
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8932
/proc/meminfo: memFree=28251468/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=2094596 CPUtime=1801.86
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 517858 0 0 0 168813 11373 0 0 20 0 1 0 130624429 2144866304 515913 4089446400 4194304 7136930 140736856535936 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8751/statm: 523649 515913 399 719 0 522928 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 2094596
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8932
/proc/meminfo: memFree=28251468/32951124 swapFree=67111528/67111528
[pid=8751] ppid=8749 vsize=2094596 CPUtime=1802.05
/proc/8751/stat : 8751 (pbscip.linux.x8) R 8749 8751 7618 0 -1 4202496 517858 0 0 0 168832 11373 0 0 21 0 1 0 130624429 2144866304 515913 4089446400 4194304 7136930 140736856535936 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8751/statm: 523649 515913 399 719 0 522928 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 2094596
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.07
CPU time (s): 1802.13
CPU user time (s): 1688.33
CPU system time (s): 113.799
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2095496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1688.33
system time used= 113.799
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517858
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 903
runsolver used 2.55461 second user time and 5.67414 second system time
The end
Begin job on node109 at 2010-06-30 12:21:11
IDJOB=2693800
IDBENCH=78723
IDSOLVER=1206
FILE ID=node109/2693800-1277893271
PBS_JOBID= 11197136
Free space on /tmp= 74208 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693800-1277893271/watcher-2693800-1277893271 -o /tmp/evaluation-result-2693800-1277893271/solver-2693800-1277893271 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693800-1277893271.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 93dc403e7aa7832c1308ab9b3db02163
RANDOM SEED=329229599
node109.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.63
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28939936 kB
Buffers: 175144 kB
Cached: 1041596 kB
SwapCached: 0 kB
Active: 3130992 kB
Inactive: 727940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28939936 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3076 kB
Writeback: 0 kB
AnonPages: 2642588 kB
Mapped: 14696 kB
Slab: 81776 kB
PageTables: 9764 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2791336 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74204 MiB
End job on node109 at 2010-06-30 12:51:13