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-2664022-1276618239.opb>
0.00/0.01 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 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.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c (round 2) 1 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 211k| 0 | - | 40 | 5 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.34 c 1.2s| 10000 | 5261 | 0 | 0.0 |2387k| 25 | - | 40 | 433 | 0 | 0 | 0 | 482 | 0 | 0.000000e+00 | -- | Inf
2.69/2.74 c 2.4s| 20000 | 11350 | 0 | 0.0 |4617k| 25 | - | 40 | 802 | 0 | 0 | 0 | 979 | 0 | 0.000000e+00 | -- | Inf
4.40/4.48 c 4.0s| 30000 | 15994 | 0 | 0.0 |6578k| 25 | - | 40 |1036 | 0 | 0 | 0 |1528 | 0 | 0.000000e+00 | -- | Inf
6.39/6.40 c 5.8s| 40000 | 19594 | 0 | 0.0 |8331k| 26 | - | 40 |1244 | 0 | 0 | 0 |2162 | 0 | 0.000000e+00 | -- | Inf
7.79/7.89 c 7.2s| 50000 | 26252 | 0 | 0.0 | 10M| 26 | - | 40 |1261 | 0 | 0 | 0 |2567 | 0 | 0.000000e+00 | -- | Inf
9.39/9.48 c 8.6s| 60000 | 32266 | 0 | 0.0 | 12M| 26 | - | 40 |1056 | 0 | 0 | 0 |3033 | 0 | 0.000000e+00 | -- | Inf
11.00/11.09 c 10.1s| 70000 | 37881 | 0 | 0.0 | 14M| 26 | - | 40 | 837 | 0 | 0 | 0 |3510 | 0 | 0.000000e+00 | -- | Inf
12.59/12.68 c 11.5s| 80000 | 43081 | 0 | 0.0 | 16M| 26 | - | 40 | 765 | 0 | 0 | 0 |4006 | 0 | 0.000000e+00 | -- | Inf
14.19/14.29 c 13.0s| 90000 | 47979 | 0 | 0.0 | 18M| 26 | - | 40 | 745 | 0 | 0 | 0 |4536 | 0 | 0.000000e+00 | -- | Inf
15.88/15.96 c 14.5s|100000 | 52427 | 0 | 0.0 | 20M| 26 | - | 40 | 736 | 0 | 0 | 0 |5099 | 0 | 0.000000e+00 | -- | Inf
17.59/17.67 c 16.1s|110000 | 56421 | 0 | 0.0 | 21M| 26 | - | 40 | 736 | 0 | 0 | 0 |5732 | 0 | 0.000000e+00 | -- | Inf
19.29/19.39 c 17.6s|120000 | 60258 | 0 | 0.0 | 23M| 26 | - | 40 | 706 | 0 | 0 | 0 |6328 | 0 | 0.000000e+00 | -- | Inf
21.09/21.18 c 19.3s|130000 | 63477 | 0 | 0.0 | 25M| 26 | - | 40 | 721 | 0 | 0 | 0 |6962 | 0 | 0.000000e+00 | -- | Inf
23.00/23.02 c 21.0s|140000 | 66134 | 0 | 0.0 | 26M| 26 | - | 40 | 818 | 0 | 0 | 0 |7669 | 0 | 0.000000e+00 | -- | Inf
24.69/24.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.69/24.75 c 22.6s|150000 | 69794 | 0 | 0.0 | 28M| 28 | - | 40 | 798 | 0 | 0 | 0 |8415 | 0 | 0.000000e+00 | -- | Inf
25.99/26.01 c 23.7s|160000 | 76520 | 0 | 0.0 | 30M| 28 | - | 40 | 644 | 0 | 0 | 0 |8814 | 0 | 0.000000e+00 | -- | Inf
27.28/27.31 c 24.9s|170000 | 82854 | 0 | 0.0 | 32M| 28 | - | 40 | 560 | 0 | 0 | 0 |9271 | 0 | 0.000000e+00 | -- | Inf
28.59/28.64 c 26.1s|180000 | 88890 | 0 | 0.0 | 34M| 28 | - | 40 | 568 | 0 | 0 | 0 |9750 | 0 | 0.000000e+00 | -- | Inf
29.89/29.93 c 27.2s|190000 | 94933 | 0 | 0.0 | 36M| 28 | - | 40 | 364 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
31.18/31.26 c 28.4s|200000 |100687 | 0 | 0.0 | 38M| 28 | - | 40 | 442 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
32.48/32.58 c 29.6s|210000 |106467 | 0 | 0.0 | 40M| 28 | - | 40 | 376 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
33.87/33.93 c 30.8s|220000 |111891 | 0 | 0.0 | 42M| 28 | - | 40 | 379 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
35.19/35.28 c 32.0s|230000 |117256 | 0 | 0.0 | 44M| 28 | - | 40 | 524 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
36.57/36.67 c 33.2s|240000 |122671 | 0 | 0.0 | 45M| 28 | - | 40 | 410 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
37.97/38.09 c 34.5s|250000 |127735 | 0 | 0.0 | 47M| 28 | - | 40 | 459 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
39.48/39.53 c 35.8s|260000 |132716 | 0 | 0.0 | 49M| 28 | - | 40 | 463 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
40.87/40.99 c 37.1s|270000 |137728 | 0 | 0.0 | 51M| 28 | - | 40 | 389 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
42.38/42.40 c 38.4s|280000 |142729 | 0 | 0.0 | 53M| 28 | - | 40 | 411 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
43.77/43.88 c 39.7s|290000 |147341 | 0 | 0.0 | 55M| 28 | - | 40 | 479 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
45.38/45.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.38/45.42 c 41.1s|300000 |151677 | 0 | 0.0 | 57M| 28 | - | 40 | 560 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
46.87/46.97 c 42.5s|310000 |156052 | 0 | 0.0 | 58M| 28 | - | 40 | 492 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
48.47/48.52 c 43.9s|320000 |160430 | 0 | 0.0 | 60M| 28 | - | 40 | 459 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
49.98/50.02 c 45.3s|330000 |164903 | 0 | 0.0 | 62M| 28 | - | 40 | 401 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
51.47/51.56 c 46.7s|340000 |168992 | 0 | 0.0 | 64M| 28 | - | 40 | 550 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
53.17/53.25 c 48.2s|350000 |172599 | 0 | 0.0 | 65M| 28 | - | 40 | 679 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
54.88/54.94 c 49.7s|360000 |176327 | 0 | 0.0 | 67M| 28 | - | 40 | 623 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
56.58/56.63 c 51.3s|370000 |180188 | 0 | 0.0 | 69M| 28 | - | 40 | 557 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
58.18/58.24 c 52.8s|380000 |184079 | 0 | 0.0 | 71M| 28 | - | 40 | 502 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
59.77/59.85 c 54.2s|390000 |187920 | 0 | 0.0 | 72M| 28 | - | 40 | 541 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
61.37/61.45 c 55.7s|400000 |191793 | 0 | 0.0 | 74M| 28 | - | 40 | 576 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
63.17/63.21 c 57.3s|410000 |194814 | 0 | 0.0 | 75M| 28 | - | 40 | 748 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
64.97/65.04 c 59.0s|420000 |197857 | 0 | 0.0 | 77M| 28 | - | 40 | 807 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
66.77/66.86 c 60.6s|430000 |201034 | 0 | 0.0 | 79M| 28 | - | 40 | 787 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
68.67/68.70 c 62.4s|440000 |204143 | 0 | 0.0 | 80M| 28 | - | 40 | 762 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
70.38/70.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.38/70.48 c 64.0s|450000 |207387 | 0 | 0.0 | 82M| 28 | - | 40 | 705 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
72.17/72.25 c 65.6s|460000 |210529 | 0 | 0.0 | 83M| 28 | - | 40 | 686 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
74.06/74.19 c 67.4s|470000 |212694 | 0 | 0.0 | 85M| 28 | - | 40 | 993 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
76.17/76.26 c 69.3s|480000 |214911 | 0 | 0.0 | 86M| 28 | - | 40 |1088 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
78.27/78.38 c 71.3s|490000 |217217 | 0 | 0.0 | 87M| 28 | - | 40 |1154 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
80.37/80.44 c 73.2s|500000 |219483 | 0 | 0.0 | 89M| 28 | - | 40 |1016 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
82.77/82.86 c 75.5s|510000 |220275 | 0 | 0.0 | 90M| 28 | - | 40 |1464 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
85.96/86.05 c 78.5s|520000 |219883 | 0 | 0.0 | 90M| 29 | - | 40 |1921 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
87.37/87.45 c 79.8s|530000 |226918 | 0 | 0.0 | 92M| 29 | - | 40 |1451 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
88.77/88.84 c 81.0s|540000 |233602 | 0 | 0.0 | 94M| 29 | - | 40 |1296 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
90.17/90.23 c 82.3s|550000 |240175 | 0 | 0.0 | 96M| 29 | - | 40 |1246 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
91.56/91.67 c 83.6s|560000 |246503 | 0 | 0.0 | 98M| 29 | - | 40 |1242 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
93.07/93.12 c 84.9s|570000 |252818 | 0 | 0.0 | 100M| 29 | - | 40 |1018 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
94.47/94.59 c 86.2s|580000 |258765 | 0 | 0.0 | 102M| 29 | - | 40 |1268 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
96.07/96.11 c 87.6s|590000 |264869 | 0 | 0.0 | 104M| 29 | - | 40 | 877 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
97.36/97.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.36/97.49 c 88.8s|600000 |270986 | 0 | 0.0 | 106M| 29 | - | 40 | 767 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
98.77/98.84 c 90.0s|610000 |276846 | 0 | 0.0 | 108M| 29 | - | 40 | 614 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
100.17/100.27 c 91.3s|620000 |282473 | 0 | 0.0 | 110M| 29 | - | 40 | 820 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
101.57/101.68 c 92.6s|630000 |288176 | 0 | 0.0 | 112M| 29 | - | 40 | 762 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
102.96/103.09 c 93.9s|640000 |293982 | 0 | 0.0 | 114M| 29 | - | 40 | 622 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
104.37/104.45 c 95.1s|650000 |299765 | 0 | 0.0 | 116M| 29 | - | 40 | 611 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
105.76/105.82 c 96.3s|660000 |305648 | 0 | 0.0 | 118M| 29 | - | 40 | 473 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
107.06/107.19 c 97.5s|670000 |311130 | 0 | 0.0 | 120M| 29 | - | 40 | 645 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
108.56/108.66 c 98.9s|680000 |316427 | 0 | 0.0 | 122M| 29 | - | 40 | 732 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
110.06/110.12 c 100s|690000 |321792 | 0 | 0.0 | 123M| 29 | - | 40 | 728 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
111.46/111.58 c 102s|700000 |327253 | 0 | 0.0 | 125M| 29 | - | 40 | 604 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
112.96/113.04 c 103s|710000 |332612 | 0 | 0.0 | 127M| 29 | - | 40 | 609 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
114.37/114.45 c 104s|720000 |338116 | 0 | 0.0 | 129M| 29 | - | 40 | 482 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
115.75/115.82 c 105s|730000 |343647 | 0 | 0.0 | 131M| 29 | - | 40 | 477 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
117.16/117.22 c 107s|740000 |348993 | 0 | 0.0 | 133M| 29 | - | 40 | 556 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
118.56/118.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.56/118.64 c 108s|750000 |354427 | 0 | 0.0 | 135M| 29 | - | 40 | 511 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
120.06/120.11 c 109s|760000 |359333 | 0 | 0.0 | 137M| 29 | - | 40 | 511 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
121.46/121.57 c 110s|770000 |364217 | 0 | 0.0 | 138M| 29 | - | 40 | 474 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
122.96/123.04 c 112s|780000 |369057 | 0 | 0.0 | 140M| 29 | - | 40 | 404 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
124.45/124.51 c 113s|790000 |373841 | 0 | 0.0 | 142M| 29 | - | 40 | 587 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
125.96/126.04 c 114s|800000 |378747 | 0 | 0.0 | 144M| 29 | - | 40 | 625 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
127.46/127.51 c 116s|810000 |383679 | 0 | 0.0 | 146M| 29 | - | 40 | 600 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
128.95/129.03 c 117s|820000 |388608 | 0 | 0.0 | 147M| 29 | - | 40 | 517 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
130.46/130.52 c 119s|830000 |393584 | 0 | 0.0 | 149M| 29 | - | 40 | 440 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
131.86/131.98 c 120s|840000 |398550 | 0 | 0.0 | 151M| 29 | - | 40 | 552 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
133.35/133.48 c 121s|850000 |403573 | 0 | 0.0 | 153M| 29 | - | 40 | 474 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
134.85/134.97 c 123s|860000 |408594 | 0 | 0.0 | 155M| 29 | - | 40 | 463 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
136.36/136.47 c 124s|870000 |413450 | 0 | 0.0 | 157M| 29 | - | 40 | 463 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
137.95/138.05 c 125s|880000 |417697 | 0 | 0.0 | 158M| 29 | - | 40 | 481 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
139.56/139.63 c 127s|890000 |421873 | 0 | 0.0 | 160M| 29 | - | 40 | 542 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
141.05/141.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.05/141.19 c 128s|900000 |426109 | 0 | 0.0 | 162M| 29 | - | 40 | 497 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
142.66/142.78 c 130s|910000 |430395 | 0 | 0.0 | 163M| 29 | - | 40 | 539 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
144.35/144.40 c 131s|920000 |434691 | 0 | 0.0 | 165M| 29 | - | 40 | 526 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
145.85/145.94 c 133s|930000 |439099 | 0 | 0.0 | 167M| 29 | - | 40 | 462 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
147.35/147.49 c 134s|940000 |443426 | 0 | 0.0 | 169M| 29 | - | 40 | 473 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
148.95/149.02 c 135s|950000 |447902 | 0 | 0.0 | 170M| 29 | - | 40 | 392 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
150.45/150.58 c 137s|960000 |452266 | 0 | 0.0 | 172M| 29 | - | 40 | 389 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
152.05/152.14 c 138s|970000 |456516 | 0 | 0.0 | 174M| 29 | - | 40 | 512 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
153.65/153.72 c 140s|980000 |460751 | 0 | 0.0 | 175M| 29 | - | 40 | 636 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
155.24/155.32 c 141s|990000 |465114 | 0 | 0.0 | 177M| 29 | - | 40 | 503 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
156.75/156.89 c 142s| 1000k|469495 | 0 | 0.0 | 179M| 29 | - | 40 | 468 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
158.45/158.50 c 144s| 1010k|473690 | 0 | 0.0 | 181M| 29 | - | 40 | 588 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
160.05/160.12 c 145s| 1020k|478108 | 0 | 0.0 | 182M| 29 | - | 40 | 532 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
161.65/161.74 c 147s| 1030k|482447 | 0 | 0.0 | 184M| 29 | - | 40 | 510 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
163.35/163.45 c 149s| 1040k|485988 | 0 | 0.0 | 186M| 29 | - | 40 | 631 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
165.15/165.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.15/165.20 c 150s| 1050k|489497 | 0 | 0.0 | 187M| 29 | - | 40 | 674 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
166.85/166.95 c 152s| 1060k|492971 | 0 | 0.0 | 189M| 29 | - | 40 | 588 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
168.54/168.67 c 153s| 1070k|496587 | 0 | 0.0 | 191M| 29 | - | 40 | 594 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
170.25/170.38 c 155s| 1080k|500217 | 0 | 0.0 | 192M| 29 | - | 40 | 605 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
172.04/172.13 c 156s| 1090k|503815 | 0 | 0.0 | 194M| 29 | - | 40 | 634 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
173.75/173.82 c 158s| 1100k|507519 | 0 | 0.0 | 195M| 29 | - | 40 | 514 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
175.44/175.50 c 160s| 1110k|511152 | 0 | 0.0 | 197M| 29 | - | 40 | 510 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
177.05/177.19 c 161s| 1120k|514733 | 0 | 0.0 | 199M| 29 | - | 40 | 570 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
178.85/178.92 c 163s| 1130k|518321 | 0 | 0.0 | 200M| 29 | - | 40 | 626 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
180.54/180.64 c 164s| 1140k|521925 | 0 | 0.0 | 202M| 29 | - | 40 | 636 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
182.25/182.38 c 166s| 1150k|525576 | 0 | 0.0 | 204M| 29 | - | 40 | 555 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
183.94/184.07 c 167s| 1160k|529284 | 0 | 0.0 | 205M| 29 | - | 40 | 572 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
185.75/185.82 c 169s| 1170k|532926 | 0 | 0.0 | 207M| 29 | - | 40 | 598 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
187.44/187.55 c 171s| 1180k|536690 | 0 | 0.0 | 208M| 29 | - | 40 | 684 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
189.24/189.30 c 172s| 1190k|540267 | 0 | 0.0 | 210M| 29 | - | 40 | 680 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
190.94/191.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.94/191.04 c 174s| 1200k|543889 | 0 | 0.0 | 212M| 29 | - | 40 | 634 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
192.64/192.76 c 175s| 1210k|547465 | 0 | 0.0 | 213M| 29 | - | 40 | 624 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
194.34/194.49 c 177s| 1220k|551133 | 0 | 0.0 | 215M| 29 | - | 40 | 636 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
196.14/196.26 c 178s| 1230k|554872 | 0 | 0.0 | 217M| 29 | - | 40 | 640 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
198.04/198.12 c 180s| 1240k|557734 | 0 | 0.0 | 218M| 29 | - | 40 | 743 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
199.94/200.05 c 182s| 1250k|560385 | 0 | 0.0 | 220M| 29 | - | 40 | 871 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
201.94/202.05 c 184s| 1260k|563261 | 0 | 0.0 | 221M| 29 | - | 40 | 873 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
203.94/204.04 c 186s| 1270k|566292 | 0 | 0.0 | 223M| 29 | - | 40 | 926 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
205.94/206.06 c 188s| 1280k|569303 | 0 | 0.0 | 224M| 29 | - | 40 | 871 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
207.94/208.06 c 189s| 1290k|572357 | 0 | 0.0 | 226M| 29 | - | 40 | 849 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
209.95/210.03 c 191s| 1300k|575354 | 0 | 0.0 | 227M| 29 | - | 40 | 873 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
211.84/211.95 c 193s| 1310k|578434 | 0 | 0.0 | 229M| 29 | - | 40 | 862 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
213.83/213.90 c 195s| 1320k|581473 | 0 | 0.0 | 230M| 29 | - | 40 | 902 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
215.73/215.84 c 197s| 1330k|584564 | 0 | 0.0 | 232M| 29 | - | 40 | 900 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
217.64/217.77 c 198s| 1340k|587675 | 0 | 0.0 | 233M| 29 | - | 40 | 844 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
219.64/219.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.64/219.74 c 200s| 1350k|590663 | 0 | 0.0 | 235M| 29 | - | 40 | 956 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
221.63/221.77 c 202s| 1360k|593734 | 0 | 0.0 | 236M| 29 | - | 40 |1090 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
223.73/223.81 c 204s| 1370k|596812 | 0 | 0.0 | 238M| 29 | - | 40 |1161 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
225.73/225.88 c 206s| 1380k|599912 | 0 | 0.0 | 239M| 29 | - | 40 |1105 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
227.73/227.89 c 208s| 1390k|603088 | 0 | 0.0 | 241M| 29 | - | 40 |1068 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
229.74/229.87 c 210s| 1400k|606263 | 0 | 0.0 | 242M| 29 | - | 40 |1031 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
231.73/231.84 c 211s| 1410k|609367 | 0 | 0.0 | 244M| 29 | - | 40 | 957 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
233.73/233.85 c 213s| 1420k|612355 | 0 | 0.0 | 245M| 29 | - | 40 | 868 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
235.73/235.88 c 215s| 1430k|615247 | 0 | 0.0 | 246M| 29 | - | 40 | 887 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
237.83/237.92 c 217s| 1440k|618048 | 0 | 0.0 | 248M| 29 | - | 40 |1016 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
240.02/240.18 c 219s| 1450k|620080 | 0 | 0.0 | 249M| 29 | - | 40 |1228 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
242.33/242.49 c 221s| 1460k|622281 | 0 | 0.0 | 251M| 29 | - | 40 |1311 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
244.73/244.88 c 224s| 1470k|624414 | 0 | 0.0 | 252M| 29 | - | 40 |1405 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
247.23/247.32 c 226s| 1480k|626563 | 0 | 0.0 | 253M| 29 | - | 40 |1518 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
249.63/249.75 c 228s| 1490k|628736 | 0 | 0.0 | 254M| 29 | - | 40 |1424 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
251.92/252.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
251.92/252.07 c 230s| 1500k|631037 | 0 | 0.0 | 256M| 29 | - | 40 |1332 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
254.32/254.41 c 233s| 1510k|633195 | 0 | 0.0 | 257M| 29 | - | 40 |1371 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
256.62/256.73 c 235s| 1520k|635534 | 0 | 0.0 | 258M| 29 | - | 40 |1342 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
258.92/259.07 c 237s| 1530k|637805 | 0 | 0.0 | 260M| 29 | - | 40 |1397 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
261.32/261.44 c 239s| 1540k|640106 | 0 | 0.0 | 261M| 29 | - | 40 |1356 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
263.62/263.70 c 241s| 1550k|642396 | 0 | 0.0 | 262M| 29 | - | 40 |1372 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
265.82/265.97 c 243s| 1560k|644733 | 0 | 0.0 | 263M| 29 | - | 40 |1348 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
268.12/268.25 c 245s| 1570k|647124 | 0 | 0.0 | 265M| 29 | - | 40 |1363 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
270.63/270.74 c 248s| 1580k|649072 | 0 | 0.0 | 266M| 29 | - | 40 |1489 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
273.22/273.33 c 250s| 1590k|650908 | 0 | 0.0 | 267M| 29 | - | 40 |1507 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
276.02/276.15 c 253s| 1600k|652131 | 0 | 0.0 | 268M| 29 | - | 40 |1758 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
278.92/279.05 c 256s| 1610k|652654 | 0 | 0.0 | 269M| 32 | - | 40 |2006 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
281.92/282.06 c 259s| 1620k|653287 | 0 | 0.0 | 270M| 32 | - | 40 |2050 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
284.92/285.07 c 261s| 1630k|653992 | 0 | 0.0 | 271M| 32 | - | 40 |2238 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
288.02/288.16 c 264s| 1640k|654807 | 0 | 0.0 | 272M| 32 | - | 40 |2316 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
291.01/291.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.01/291.13 c 267s| 1650k|655765 | 0 | 0.0 | 272M| 32 | - | 40 |2331 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
294.01/294.18 c 270s| 1660k|656773 | 0 | 0.0 | 273M| 32 | - | 40 |2368 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
297.52/297.64 c 273s| 1670k|657122 | 0 | 0.0 | 274M| 32 | - | 40 |2552 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
301.32/301.45 c 277s| 1680k|657263 | 0 | 0.0 | 275M| 32 | - | 40 |2820 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
306.01/306.12 c 282s| 1690k|656285 | 0 | 0.0 | 275M| 32 | - | 40 |3274 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
310.71/310.84 c 286s| 1700k|655615 | 0 | 0.0 | 275M| 32 | - | 40 |3527 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
316.41/316.56 c 292s| 1710k|656160 | 0 | 0.0 | 276M| 33 | - | 40 |3399 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
318.31/318.44 c 294s| 1720k|662253 | 0 | 0.0 | 278M| 33 | - | 40 |2756 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
320.11/320.25 c 295s| 1730k|668298 | 0 | 0.0 | 280M| 33 | - | 40 |2540 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | -- | Inf
321.91/322.08 c 297s| 1740k|674169 | 0 | 0.0 | 282M| 33 | - | 40 |2658 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
323.81/323.99 c 299s| 1750k|680020 | 0 | 0.0 | 284M| 33 | - | 40 |2603 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | -- | Inf
325.71/325.80 c 300s| 1760k|685827 | 0 | 0.0 | 285M| 33 | - | 40 |2381 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
327.62/327.74 c 302s| 1770k|691365 | 0 | 0.0 | 287M| 33 | - | 40 |2748 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | -- | Inf
329.60/329.78 c 304s| 1780k|696852 | 0 | 0.0 | 289M| 33 | - | 40 |2733 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
331.60/331.73 c 306s| 1790k|702446 | 0 | 0.0 | 291M| 33 | - | 40 |2730 | 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | -- | Inf
333.60/333.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.60/333.72 c 308s| 1800k|708060 | 0 | 0.0 | 293M| 33 | - | 40 |2515 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
335.50/335.61 c 309s| 1810k|713676 | 0 | 0.0 | 294M| 33 | - | 40 |1856 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
337.20/337.39 c 311s| 1820k|719013 | 0 | 0.0 | 296M| 33 | - | 40 |1581 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | -- | Inf
338.80/338.99 c 313s| 1830k|724543 | 0 | 0.0 | 298M| 33 | - | 40 | 936 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
340.41/340.57 c 314s| 1840k|729751 | 0 | 0.0 | 300M| 33 | - | 40 |1421 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | -- | Inf
342.20/342.32 c 316s| 1850k|734931 | 0 | 0.0 | 301M| 33 | - | 40 |1700 | 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | -- | Inf
344.00/344.15 c 317s| 1860k|740097 | 0 | 0.0 | 303M| 33 | - | 40 |1782 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
345.80/345.92 c 319s| 1870k|745350 | 0 | 0.0 | 305M| 33 | - | 40 |1560 | 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | -- | Inf
347.51/347.61 c 320s| 1880k|750682 | 0 | 0.0 | 307M| 33 | - | 40 |1497 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
349.21/349.31 c 322s| 1890k|755951 | 0 | 0.0 | 309M| 33 | - | 40 |1670 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | -- | Inf
350.90/351.08 c 324s| 1900k|761115 | 0 | 0.0 | 310M| 33 | - | 40 |1420 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
352.70/352.85 c 325s| 1910k|766233 | 0 | 0.0 | 312M| 33 | - | 40 |1214 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
354.41/354.53 c 327s| 1920k|771217 | 0 | 0.0 | 314M| 33 | - | 40 |1200 | 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | -- | Inf
356.10/356.21 c 328s| 1930k|776226 | 0 | 0.0 | 316M| 33 | - | 40 |1336 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
357.70/357.87 c 330s| 1940k|781362 | 0 | 0.0 | 317M| 33 | - | 40 |1120 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | -- | Inf
359.40/359.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.40/359.51 c 331s| 1950k|786419 | 0 | 0.0 | 319M| 33 | - | 40 |1057 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | -- | Inf
360.90/361.08 c 333s| 1960k|791570 | 0 | 0.0 | 321M| 33 | - | 40 | 935 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
362.50/362.68 c 334s| 1970k|796709 | 0 | 0.0 | 322M| 33 | - | 40 | 869 | 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | -- | Inf
364.10/364.24 c 336s| 1980k|801950 | 0 | 0.0 | 324M| 33 | - | 40 | 831 | 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | -- | Inf
365.70/365.86 c 337s| 1990k|806706 | 0 | 0.0 | 326M| 33 | - | 40 |1269 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
367.40/367.54 c 339s| 2000k|811580 | 0 | 0.0 | 328M| 33 | - | 40 |1413 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
369.19/369.38 c 340s| 2010k|816401 | 0 | 0.0 | 330M| 33 | - | 40 |1696 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | -- | Inf
371.10/371.23 c 342s| 2020k|821252 | 0 | 0.0 | 331M| 33 | - | 40 |1525 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
372.81/372.92 c 344s| 2030k|826233 | 0 | 0.0 | 333M| 33 | - | 40 |1533 | 0 | 0 | 0 | 134k| 0 | 0.000000e+00 | -- | Inf
374.59/374.75 c 345s| 2040k|831154 | 0 | 0.0 | 335M| 33 | - | 40 |1629 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | -- | Inf
376.50/376.63 c 347s| 2050k|835737 | 0 | 0.0 | 336M| 33 | - | 40 |1600 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
378.40/378.50 c 349s| 2060k|840458 | 0 | 0.0 | 338M| 33 | - | 40 |1188 | 0 | 0 | 0 | 136k| 0 | 0.000000e+00 | -- | Inf
380.10/380.25 c 350s| 2070k|844945 | 0 | 0.0 | 340M| 33 | - | 40 |1441 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | -- | Inf
382.00/382.11 c 352s| 2080k|849588 | 0 | 0.0 | 341M| 33 | - | 40 |1290 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
383.80/383.93 c 354s| 2090k|854202 | 0 | 0.0 | 343M| 33 | - | 40 |1199 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
385.50/385.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.50/385.64 c 355s| 2100k|858934 | 0 | 0.0 | 345M| 33 | - | 40 |1031 | 0 | 0 | 0 | 139k| 0 | 0.000000e+00 | -- | Inf
387.19/387.33 c 357s| 2110k|863568 | 0 | 0.0 | 346M| 33 | - | 40 | 997 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
388.90/389.00 c 358s| 2120k|868371 | 0 | 0.0 | 348M| 33 | - | 40 | 962 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | -- | Inf
390.50/390.65 c 360s| 2130k|872991 | 0 | 0.0 | 350M| 33 | - | 40 |1296 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
392.19/392.37 c 362s| 2140k|877643 | 0 | 0.0 | 351M| 33 | - | 40 |1036 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | -- | Inf
393.89/394.05 c 363s| 2150k|882335 | 0 | 0.0 | 353M| 33 | - | 40 |1082 | 0 | 0 | 0 | 142k| 0 | 0.000000e+00 | -- | Inf
395.59/395.74 c 365s| 2160k|887030 | 0 | 0.0 | 355M| 33 | - | 40 |1049 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
397.29/397.42 c 366s| 2170k|891684 | 0 | 0.0 | 356M| 33 | - | 40 |1043 | 0 | 0 | 0 | 143k| 0 | 0.000000e+00 | -- | Inf
398.89/399.07 c 368s| 2180k|896472 | 0 | 0.0 | 358M| 33 | - | 40 | 919 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | -- | Inf
400.59/400.72 c 369s| 2190k|901394 | 0 | 0.0 | 360M| 33 | - | 40 | 842 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
402.19/402.35 c 371s| 2200k|906235 | 0 | 0.0 | 361M| 33 | - | 40 | 917 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
403.79/403.96 c 372s| 2210k|911041 | 0 | 0.0 | 363M| 33 | - | 40 | 929 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
405.39/405.58 c 374s| 2220k|915645 | 0 | 0.0 | 365M| 33 | - | 40 |1093 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | -- | Inf
407.19/407.33 c 375s| 2230k|920150 | 0 | 0.0 | 366M| 33 | - | 40 |1395 | 0 | 0 | 0 | 147k| 0 | 0.000000e+00 | -- | Inf
408.99/409.16 c 377s| 2240k|924738 | 0 | 0.0 | 368M| 33 | - | 40 |1591 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
410.89/411.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
410.89/411.01 c 379s| 2250k|929326 | 0 | 0.0 | 370M| 33 | - | 40 |1495 | 0 | 0 | 0 | 148k| 0 | 0.000000e+00 | -- | Inf
412.69/412.80 c 380s| 2260k|933978 | 0 | 0.0 | 371M| 33 | - | 40 |1441 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | -- | Inf
414.50/414.65 c 382s| 2270k|938571 | 0 | 0.0 | 373M| 33 | - | 40 |1491 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
416.39/416.57 c 384s| 2280k|942780 | 0 | 0.0 | 375M| 33 | - | 40 |1481 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | -- | Inf
418.29/418.49 c 386s| 2290k|946991 | 0 | 0.0 | 376M| 33 | - | 40 |1250 | 0 | 0 | 0 | 151k| 0 | 0.000000e+00 | -- | Inf
420.28/420.43 c 387s| 2300k|951065 | 0 | 0.0 | 378M| 33 | - | 40 |1516 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
422.19/422.31 c 389s| 2310k|955229 | 0 | 0.0 | 379M| 33 | - | 40 |1349 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
424.08/424.21 c 391s| 2320k|959490 | 0 | 0.0 | 381M| 33 | - | 40 |1188 | 0 | 0 | 0 | 153k| 0 | 0.000000e+00 | -- | Inf
425.88/426.07 c 393s| 2330k|963660 | 0 | 0.0 | 383M| 33 | - | 40 |1201 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
427.69/427.90 c 394s| 2340k|967967 | 0 | 0.0 | 384M| 33 | - | 40 |1024 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | -- | Inf
429.48/429.70 c 396s| 2350k|972045 | 0 | 0.0 | 386M| 33 | - | 40 |1255 | 0 | 0 | 0 | 155k| 0 | 0.000000e+00 | -- | Inf
431.39/431.58 c 398s| 2360k|976228 | 0 | 0.0 | 387M| 33 | - | 40 |1208 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
433.29/433.45 c 399s| 2370k|980371 | 0 | 0.0 | 389M| 33 | - | 40 |1134 | 0 | 0 | 0 | 156k| 0 | 0.000000e+00 | -- | Inf
435.08/435.25 c 401s| 2380k|984638 | 0 | 0.0 | 391M| 33 | - | 40 |1165 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | -- | Inf
436.88/437.06 c 403s| 2390k|988842 | 0 | 0.0 | 392M| 33 | - | 40 |1127 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
438.68/438.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
438.68/438.81 c 404s| 2400k|993130 | 0 | 0.0 | 394M| 33 | - | 40 | 970 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
440.38/440.53 c 406s| 2410k|997579 | 0 | 0.0 | 395M| 33 | - | 40 | 893 | 0 | 0 | 0 | 159k| 0 | 0.000000e+00 | -- | Inf
442.09/442.27 c 407s| 2420k| 1001k| 0 | 0.0 | 397M| 33 | - | 40 | 958 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
443.88/444.05 c 409s| 2430k| 1006k| 0 | 0.0 | 398M| 33 | - | 40 | 921 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | -- | Inf
445.68/445.80 c 411s| 2440k| 1010k| 0 | 0.0 | 400M| 33 | - | 40 | 906 | 0 | 0 | 0 | 161k| 0 | 0.000000e+00 | -- | Inf
447.37/447.51 c 412s| 2450k| 1014k| 0 | 0.0 | 402M| 33 | - | 40 | 853 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
448.98/449.19 c 414s| 2460k| 1018k| 0 | 0.0 | 403M| 33 | - | 40 | 767 | 0 | 0 | 0 | 162k| 0 | 0.000000e+00 | -- | Inf
450.68/450.85 c 415s| 2470k| 1023k| 0 | 0.0 | 405M| 33 | - | 40 | 894 | 0 | 0 | 0 | 163k| 0 | 0.000000e+00 | -- | Inf
452.38/452.59 c 417s| 2480k| 1027k| 0 | 0.0 | 406M| 33 | - | 40 | 957 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
454.18/454.32 c 419s| 2490k| 1031k| 0 | 0.0 | 408M| 33 | - | 40 | 907 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | -- | Inf
455.88/456.04 c 420s| 2500k| 1035k| 0 | 0.0 | 410M| 33 | - | 40 | 940 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
457.57/457.78 c 422s| 2510k| 1039k| 0 | 0.0 | 411M| 33 | - | 40 | 891 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
459.28/459.46 c 423s| 2520k| 1044k| 0 | 0.0 | 413M| 33 | - | 40 | 714 | 0 | 0 | 0 | 166k| 0 | 0.000000e+00 | -- | Inf
460.97/461.12 c 425s| 2530k| 1048k| 0 | 0.0 | 414M| 33 | - | 40 | 718 | 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | -- | Inf
462.58/462.76 c 426s| 2540k| 1052k| 0 | 0.0 | 416M| 33 | - | 40 | 836 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
464.28/464.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
464.28/464.44 c 428s| 2550k| 1057k| 0 | 0.0 | 418M| 33 | - | 40 | 720 | 0 | 0 | 0 | 168k| 0 | 0.000000e+00 | -- | Inf
465.87/466.08 c 429s| 2560k| 1061k| 0 | 0.0 | 419M| 33 | - | 40 | 761 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | -- | Inf
467.47/467.68 c 431s| 2570k| 1065k| 0 | 0.0 | 421M| 33 | - | 40 |1007 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
469.27/469.49 c 432s| 2580k| 1069k| 0 | 0.0 | 422M| 33 | - | 40 |1387 | 0 | 0 | 0 | 170k| 0 | 0.000000e+00 | -- | Inf
471.28/471.40 c 434s| 2590k| 1073k| 0 | 0.0 | 424M| 33 | - | 40 |1507 | 0 | 0 | 0 | 171k| 0 | 0.000000e+00 | -- | Inf
473.07/473.30 c 436s| 2600k| 1077k| 0 | 0.0 | 426M| 33 | - | 40 |1324 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
474.97/475.20 c 438s| 2610k| 1081k| 0 | 0.0 | 427M| 33 | - | 40 |1462 | 0 | 0 | 0 | 172k| 0 | 0.000000e+00 | -- | Inf
477.07/477.21 c 440s| 2620k| 1085k| 0 | 0.0 | 429M| 33 | - | 40 |1446 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
479.07/479.21 c 441s| 2630k| 1089k| 0 | 0.0 | 430M| 33 | - | 40 |1289 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | -- | Inf
480.97/481.18 c 443s| 2640k| 1092k| 0 | 0.0 | 432M| 33 | - | 40 |1430 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | -- | Inf
483.07/483.24 c 445s| 2650k| 1096k| 0 | 0.0 | 433M| 33 | - | 40 |1374 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
485.07/485.25 c 447s| 2660k| 1099k| 0 | 0.0 | 434M| 33 | - | 40 |1154 | 0 | 0 | 0 | 176k| 0 | 0.000000e+00 | -- | Inf
486.97/487.17 c 449s| 2670k| 1103k| 0 | 0.0 | 436M| 33 | - | 40 |1165 | 0 | 0 | 0 | 177k| 0 | 0.000000e+00 | -- | Inf
488.87/489.09 c 451s| 2680k| 1107k| 0 | 0.0 | 437M| 33 | - | 40 | 986 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
490.77/490.97 c 452s| 2690k| 1110k| 0 | 0.0 | 439M| 33 | - | 40 |1225 | 0 | 0 | 0 | 178k| 0 | 0.000000e+00 | -- | Inf
492.77/492.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
492.77/492.94 c 454s| 2700k| 1114k| 0 | 0.0 | 440M| 33 | - | 40 |1201 | 0 | 0 | 0 | 179k| 0 | 0.000000e+00 | -- | Inf
494.77/494.93 c 456s| 2710k| 1117k| 0 | 0.0 | 442M| 33 | - | 40 |1067 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | -- | Inf
496.67/496.86 c 458s| 2720k| 1121k| 0 | 0.0 | 443M| 33 | - | 40 |1131 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
498.57/498.76 c 460s| 2730k| 1124k| 0 | 0.0 | 445M| 33 | - | 40 | 939 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
500.47/500.60 c 461s| 2740k| 1128k| 0 | 0.0 | 446M| 33 | - | 40 | 895 | 0 | 0 | 0 | 182k| 0 | 0.000000e+00 | -- | Inf
502.37/502.51 c 463s| 2750k| 1132k| 0 | 0.0 | 448M| 33 | - | 40 |1008 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | -- | Inf
504.27/504.41 c 465s| 2760k| 1136k| 0 | 0.0 | 449M| 33 | - | 40 | 908 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
506.07/506.26 c 466s| 2770k| 1139k| 0 | 0.0 | 451M| 33 | - | 40 | 928 | 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | -- | Inf
507.86/508.08 c 468s| 2780k| 1143k| 0 | 0.0 | 452M| 33 | - | 40 | 935 | 0 | 0 | 0 | 185k| 0 | 0.000000e+00 | -- | Inf
509.76/509.91 c 470s| 2790k| 1147k| 0 | 0.0 | 454M| 33 | - | 40 | 813 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | -- | Inf
511.66/511.80 c 472s| 2800k| 1150k| 0 | 0.0 | 455M| 33 | - | 40 |1066 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
513.57/513.75 c 473s| 2810k| 1154k| 0 | 0.0 | 457M| 33 | - | 40 |1022 | 0 | 0 | 0 | 187k| 0 | 0.000000e+00 | -- | Inf
515.46/515.64 c 475s| 2820k| 1157k| 0 | 0.0 | 458M| 33 | - | 40 | 937 | 0 | 0 | 0 | 188k| 0 | 0.000000e+00 | -- | Inf
517.36/517.51 c 477s| 2830k| 1161k| 0 | 0.0 | 460M| 33 | - | 40 | 954 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
519.26/519.43 c 479s| 2840k| 1165k| 0 | 0.0 | 461M| 33 | - | 40 | 817 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
521.06/521.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.06/521.27 c 480s| 2850k| 1168k| 0 | 0.0 | 463M| 33 | - | 40 | 772 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | -- | Inf
522.96/523.14 c 482s| 2860k| 1172k| 0 | 0.0 | 464M| 33 | - | 40 | 971 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | -- | Inf
524.86/525.02 c 484s| 2870k| 1176k| 0 | 0.0 | 466M| 33 | - | 40 | 853 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
526.77/526.91 c 485s| 2880k| 1180k| 0 | 0.0 | 467M| 33 | - | 40 | 863 | 0 | 0 | 0 | 192k| 0 | 0.000000e+00 | -- | Inf
528.56/528.75 c 487s| 2890k| 1183k| 0 | 0.0 | 469M| 33 | - | 40 | 933 | 0 | 0 | 0 | 193k| 0 | 0.000000e+00 | -- | Inf
530.45/530.62 c 489s| 2900k| 1187k| 0 | 0.0 | 470M| 33 | - | 40 | 916 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | -- | Inf
532.27/532.48 c 491s| 2910k| 1190k| 0 | 0.0 | 472M| 33 | - | 40 | 909 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
534.16/534.31 c 492s| 2920k| 1194k| 0 | 0.0 | 473M| 33 | - | 40 | 816 | 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | -- | Inf
535.96/536.10 c 494s| 2930k| 1198k| 0 | 0.0 | 475M| 33 | - | 40 | 834 | 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | -- | Inf
537.66/537.90 c 496s| 2940k| 1201k| 0 | 0.0 | 476M| 33 | - | 40 | 827 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
539.56/539.75 c 497s| 2950k| 1205k| 0 | 0.0 | 478M| 33 | - | 40 | 828 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
541.45/541.60 c 499s| 2960k| 1209k| 0 | 0.0 | 479M| 33 | - | 40 | 770 | 0 | 0 | 0 | 198k| 0 | 0.000000e+00 | -- | Inf
543.26/543.41 c 501s| 2970k| 1212k| 0 | 0.0 | 480M| 33 | - | 40 | 741 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
544.95/545.14 c 502s| 2980k| 1216k| 0 | 0.0 | 482M| 33 | - | 40 | 613 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | -- | Inf
546.66/546.87 c 504s| 2990k| 1220k| 0 | 0.0 | 484M| 33 | - | 40 | 626 | 0 | 0 | 0 | 200k| 0 | 0.000000e+00 | -- | Inf
548.45/548.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.45/548.65 c 505s| 3000k| 1224k| 0 | 0.0 | 485M| 33 | - | 40 | 728 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | -- | Inf
550.25/550.49 c 507s| 3010k| 1227k| 0 | 0.0 | 487M| 33 | - | 40 | 784 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
552.06/552.26 c 509s| 3020k| 1231k| 0 | 0.0 | 488M| 33 | - | 40 | 805 | 0 | 0 | 0 | 202k| 0 | 0.000000e+00 | -- | Inf
553.85/554.08 c 510s| 3030k| 1235k| 0 | 0.0 | 490M| 33 | - | 40 | 788 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | -- | Inf
555.75/555.91 c 512s| 3040k| 1238k| 0 | 0.0 | 491M| 33 | - | 40 | 704 | 0 | 0 | 0 | 204k| 0 | 0.000000e+00 | -- | Inf
557.45/557.69 c 514s| 3050k| 1242k| 0 | 0.0 | 492M| 33 | - | 40 | 785 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | -- | Inf
559.35/559.52 c 515s| 3060k| 1245k| 0 | 0.0 | 494M| 33 | - | 40 | 815 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
561.15/561.33 c 517s| 3070k| 1249k| 0 | 0.0 | 495M| 33 | - | 40 | 803 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
562.95/563.18 c 519s| 3080k| 1253k| 0 | 0.0 | 497M| 33 | - | 40 | 830 | 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | -- | Inf
564.75/564.99 c 520s| 3090k| 1256k| 0 | 0.0 | 498M| 33 | - | 40 |1008 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | -- | Inf
566.65/566.88 c 522s| 3100k| 1260k| 0 | 0.0 | 500M| 33 | - | 40 |1097 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
568.75/568.91 c 524s| 3110k| 1263k| 0 | 0.0 | 502M| 33 | - | 40 |1236 | 0 | 0 | 0 | 209k| 0 | 0.000000e+00 | -- | Inf
570.85/571.02 c 526s| 3120k| 1266k| 0 | 0.0 | 503M| 33 | - | 40 |1152 | 0 | 0 | 0 | 210k| 0 | 0.000000e+00 | -- | Inf
572.86/573.09 c 528s| 3130k| 1269k| 0 | 0.0 | 504M| 33 | - | 40 | 907 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | -- | Inf
574.95/575.15 c 530s| 3140k| 1272k| 0 | 0.0 | 506M| 33 | - | 40 | 975 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
577.05/577.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.05/577.20 c 532s| 3150k| 1275k| 0 | 0.0 | 507M| 33 | - | 40 | 984 | 0 | 0 | 0 | 212k| 0 | 0.000000e+00 | -- | Inf
579.05/579.21 c 534s| 3160k| 1278k| 0 | 0.0 | 508M| 33 | - | 40 | 986 | 0 | 0 | 0 | 213k| 0 | 0.000000e+00 | -- | Inf
581.04/581.21 c 536s| 3170k| 1281k| 0 | 0.0 | 510M| 33 | - | 40 | 969 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | -- | Inf
582.94/583.19 c 537s| 3180k| 1284k| 0 | 0.0 | 511M| 33 | - | 40 | 866 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
584.95/585.15 c 539s| 3190k| 1287k| 0 | 0.0 | 512M| 33 | - | 40 | 777 | 0 | 0 | 0 | 216k| 0 | 0.000000e+00 | -- | Inf
586.95/587.13 c 541s| 3200k| 1290k| 0 | 0.0 | 514M| 33 | - | 40 | 918 | 0 | 0 | 0 | 217k| 0 | 0.000000e+00 | -- | Inf
588.95/589.17 c 543s| 3210k| 1293k| 0 | 0.0 | 515M| 33 | - | 40 | 896 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
591.05/591.20 c 545s| 3220k| 1296k| 0 | 0.0 | 517M| 33 | - | 40 | 926 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | -- | Inf
593.14/593.30 c 547s| 3230k| 1299k| 0 | 0.0 | 518M| 33 | - | 40 |1024 | 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | -- | Inf
595.14/595.36 c 549s| 3240k| 1302k| 0 | 0.0 | 519M| 33 | - | 40 |1042 | 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | -- | Inf
597.15/597.37 c 550s| 3250k| 1305k| 0 | 0.0 | 521M| 33 | - | 40 | 998 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
599.24/599.41 c 552s| 3260k| 1308k| 0 | 0.0 | 522M| 33 | - | 40 | 956 | 0 | 0 | 0 | 221k| 0 | 0.000000e+00 | -- | Inf
601.24/601.44 c 554s| 3270k| 1311k| 0 | 0.0 | 524M| 33 | - | 40 |1140 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | -- | Inf
603.44/603.63 c 556s| 3280k| 1314k| 0 | 0.0 | 525M| 33 | - | 40 |1168 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
605.55/605.76 c 558s| 3290k| 1317k| 0 | 0.0 | 526M| 33 | - | 40 |1098 | 0 | 0 | 0 | 224k| 0 | 0.000000e+00 | -- | Inf
607.64/607.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
607.64/607.84 c 560s| 3300k| 1320k| 0 | 0.0 | 528M| 33 | - | 40 |1180 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | -- | Inf
609.84/610.01 c 562s| 3310k| 1323k| 0 | 0.0 | 529M| 33 | - | 40 |1101 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
611.93/612.12 c 564s| 3320k| 1326k| 0 | 0.0 | 530M| 33 | - | 40 | 919 | 0 | 0 | 0 | 226k| 0 | 0.000000e+00 | -- | Inf
613.94/614.18 c 566s| 3330k| 1329k| 0 | 0.0 | 532M| 33 | - | 40 |1062 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | -- | Inf
616.04/616.22 c 568s| 3340k| 1333k| 0 | 0.0 | 533M| 33 | - | 40 | 926 | 0 | 0 | 0 | 228k| 0 | 0.000000e+00 | -- | Inf
618.04/618.27 c 570s| 3350k| 1336k| 0 | 0.0 | 535M| 33 | - | 40 | 932 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
620.14/620.34 c 572s| 3360k| 1339k| 0 | 0.0 | 536M| 33 | - | 40 |1045 | 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | -- | Inf
622.24/622.44 c 574s| 3370k| 1342k| 0 | 0.0 | 537M| 33 | - | 40 |1141 | 0 | 0 | 0 | 230k| 0 | 0.000000e+00 | -- | Inf
624.33/624.56 c 576s| 3380k| 1344k| 0 | 0.0 | 539M| 33 | - | 40 |1116 | 0 | 0 | 0 | 231k| 0 | 0.000000e+00 | -- | Inf
626.43/626.61 c 578s| 3390k| 1347k| 0 | 0.0 | 540M| 33 | - | 40 |1128 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
628.64/628.82 c 580s| 3400k| 1350k| 0 | 0.0 | 542M| 33 | - | 40 |1088 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
630.73/630.91 c 582s| 3410k| 1353k| 0 | 0.0 | 543M| 33 | - | 40 | 934 | 0 | 0 | 0 | 233k| 0 | 0.000000e+00 | -- | Inf
632.73/632.92 c 584s| 3420k| 1356k| 0 | 0.0 | 544M| 33 | - | 40 |1038 | 0 | 0 | 0 | 234k| 0 | 0.000000e+00 | -- | Inf
634.83/635.04 c 585s| 3430k| 1359k| 0 | 0.0 | 546M| 33 | - | 40 |1028 | 0 | 0 | 0 | 235k| 0 | 0.000000e+00 | -- | Inf
636.93/637.10 c 587s| 3440k| 1362k| 0 | 0.0 | 547M| 33 | - | 40 |1055 | 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | -- | Inf
639.04/639.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.04/639.22 c 589s| 3450k| 1365k| 0 | 0.0 | 548M| 33 | - | 40 |1058 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | -- | Inf
641.14/641.32 c 591s| 3460k| 1368k| 0 | 0.0 | 550M| 33 | - | 40 |1085 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
643.24/643.47 c 593s| 3470k| 1371k| 0 | 0.0 | 551M| 33 | - | 40 |1056 | 0 | 0 | 0 | 238k| 0 | 0.000000e+00 | -- | Inf
645.33/645.54 c 595s| 3480k| 1374k| 0 | 0.0 | 552M| 33 | - | 40 |1031 | 0 | 0 | 0 | 239k| 0 | 0.000000e+00 | -- | Inf
647.43/647.64 c 597s| 3490k| 1377k| 0 | 0.0 | 554M| 33 | - | 40 |1063 | 0 | 0 | 0 | 240k| 0 | 0.000000e+00 | -- | Inf
649.53/649.73 c 599s| 3500k| 1381k| 0 | 0.0 | 555M| 33 | - | 40 | 972 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
651.63/651.83 c 601s| 3510k| 1384k| 0 | 0.0 | 557M| 33 | - | 40 | 968 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
653.63/653.85 c 603s| 3520k| 1387k| 0 | 0.0 | 558M| 33 | - | 40 | 925 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | -- | Inf
655.63/655.80 c 605s| 3530k| 1390k| 0 | 0.0 | 559M| 33 | - | 40 | 855 | 0 | 0 | 0 | 243k| 0 | 0.000000e+00 | -- | Inf
657.64/657.81 c 607s| 3540k| 1393k| 0 | 0.0 | 561M| 33 | - | 40 | 859 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
659.53/659.79 c 608s| 3550k| 1396k| 0 | 0.0 | 562M| 33 | - | 40 | 910 | 0 | 0 | 0 | 244k| 0 | 0.000000e+00 | -- | Inf
661.63/661.82 c 610s| 3560k| 1399k| 0 | 0.0 | 564M| 33 | - | 40 |1001 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | -- | Inf
663.62/663.81 c 612s| 3570k| 1402k| 0 | 0.0 | 565M| 33 | - | 40 | 873 | 0 | 0 | 0 | 246k| 0 | 0.000000e+00 | -- | Inf
665.63/665.81 c 614s| 3580k| 1406k| 0 | 0.0 | 566M| 33 | - | 40 | 790 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
667.62/667.81 c 616s| 3590k| 1409k| 0 | 0.0 | 568M| 33 | - | 40 | 913 | 0 | 0 | 0 | 247k| 0 | 0.000000e+00 | -- | Inf
669.63/669.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
669.63/669.85 c 618s| 3600k| 1412k| 0 | 0.0 | 569M| 33 | - | 40 | 893 | 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | -- | Inf
671.73/671.92 c 620s| 3610k| 1415k| 0 | 0.0 | 571M| 33 | - | 40 | 935 | 0 | 0 | 0 | 249k| 0 | 0.000000e+00 | -- | Inf
673.83/674.06 c 622s| 3620k| 1418k| 0 | 0.0 | 572M| 33 | - | 40 | 930 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | -- | Inf
675.82/676.05 c 623s| 3630k| 1421k| 0 | 0.0 | 574M| 33 | - | 40 | 968 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
677.92/678.16 c 625s| 3640k| 1424k| 0 | 0.0 | 575M| 33 | - | 40 | 931 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
680.02/680.25 c 627s| 3650k| 1427k| 0 | 0.0 | 576M| 33 | - | 40 | 886 | 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | -- | Inf
682.02/682.26 c 629s| 3660k| 1430k| 0 | 0.0 | 578M| 33 | - | 40 | 978 | 0 | 0 | 0 | 253k| 0 | 0.000000e+00 | -- | Inf
684.12/684.36 c 631s| 3670k| 1433k| 0 | 0.0 | 579M| 33 | - | 40 | 894 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
686.13/686.37 c 633s| 3680k| 1437k| 0 | 0.0 | 580M| 33 | - | 40 | 877 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | -- | Inf
688.12/688.37 c 635s| 3690k| 1440k| 0 | 0.0 | 582M| 33 | - | 40 | 901 | 0 | 0 | 0 | 255k| 0 | 0.000000e+00 | -- | Inf
690.22/690.40 c 637s| 3700k| 1443k| 0 | 0.0 | 583M| 33 | - | 40 | 812 | 0 | 0 | 0 | 256k| 0 | 0.000000e+00 | -- | Inf
692.22/692.40 c 639s| 3710k| 1446k| 0 | 0.0 | 585M| 33 | - | 40 | 771 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
694.22/694.45 c 641s| 3720k| 1449k| 0 | 0.0 | 586M| 33 | - | 40 | 788 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | -- | Inf
696.22/696.43 c 642s| 3730k| 1452k| 0 | 0.0 | 587M| 33 | - | 40 | 809 | 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | -- | Inf
698.23/698.45 c 644s| 3740k| 1455k| 0 | 0.0 | 589M| 33 | - | 40 | 931 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | -- | Inf
700.32/700.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
700.32/700.51 c 646s| 3750k| 1458k| 0 | 0.0 | 590M| 33 | - | 40 |1032 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | -- | Inf
702.31/702.57 c 648s| 3760k| 1462k| 0 | 0.0 | 592M| 33 | - | 40 | 958 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
704.41/704.61 c 650s| 3770k| 1465k| 0 | 0.0 | 593M| 33 | - | 40 | 999 | 0 | 0 | 0 | 261k| 0 | 0.000000e+00 | -- | Inf
706.51/706.76 c 652s| 3780k| 1467k| 0 | 0.0 | 594M| 33 | - | 40 |1056 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
708.81/709.04 c 654s| 3790k| 1470k| 0 | 0.0 | 596M| 33 | - | 40 |1079 | 0 | 0 | 0 | 263k| 0 | 0.000000e+00 | -- | Inf
711.11/711.30 c 656s| 3800k| 1472k| 0 | 0.0 | 597M| 33 | - | 40 |1101 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | -- | Inf
713.22/713.48 c 658s| 3810k| 1474k| 0 | 0.0 | 598M| 33 | - | 40 |1121 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | -- | Inf
715.51/715.78 c 660s| 3820k| 1477k| 0 | 0.0 | 599M| 33 | - | 40 |1169 | 0 | 0 | 0 | 266k| 0 | 0.000000e+00 | -- | Inf
717.81/718.03 c 662s| 3830k| 1479k| 0 | 0.0 | 601M| 33 | - | 40 | 964 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | -- | Inf
719.91/720.18 c 664s| 3840k| 1482k| 0 | 0.0 | 602M| 33 | - | 40 |1099 | 0 | 0 | 0 | 268k| 0 | 0.000000e+00 | -- | Inf
722.21/722.46 c 667s| 3850k| 1484k| 0 | 0.0 | 603M| 33 | - | 40 |1216 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
724.62/724.82 c 669s| 3860k| 1486k| 0 | 0.0 | 604M| 33 | - | 40 |1295 | 0 | 0 | 0 | 269k| 0 | 0.000000e+00 | -- | Inf
726.92/727.16 c 671s| 3870k| 1489k| 0 | 0.0 | 606M| 33 | - | 40 |1234 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | -- | Inf
729.21/729.47 c 673s| 3880k| 1491k| 0 | 0.0 | 607M| 33 | - | 40 |1278 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | -- | Inf
731.71/731.91 c 675s| 3890k| 1494k| 0 | 0.0 | 608M| 33 | - | 40 |1378 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
734.11/734.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.11/734.38 c 678s| 3900k| 1496k| 0 | 0.0 | 610M| 33 | - | 40 |1441 | 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | -- | Inf
736.60/736.86 c 680s| 3910k| 1499k| 0 | 0.0 | 611M| 33 | - | 40 |1471 | 0 | 0 | 0 | 274k| 0 | 0.000000e+00 | -- | Inf
739.02/739.25 c 682s| 3920k| 1501k| 0 | 0.0 | 612M| 33 | - | 40 |1320 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
741.40/741.65 c 685s| 3930k| 1503k| 0 | 0.0 | 613M| 33 | - | 40 |1285 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | -- | Inf
743.81/744.06 c 687s| 3940k| 1506k| 0 | 0.0 | 615M| 33 | - | 40 |1429 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | -- | Inf
746.30/746.52 c 689s| 3950k| 1508k| 0 | 0.0 | 616M| 33 | - | 40 |1304 | 0 | 0 | 0 | 277k| 0 | 0.000000e+00 | -- | Inf
748.71/748.92 c 692s| 3960k| 1511k| 0 | 0.0 | 617M| 33 | - | 40 |1245 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | -- | Inf
751.01/751.24 c 694s| 3970k| 1513k| 0 | 0.0 | 618M| 33 | - | 40 |1119 | 0 | 0 | 0 | 279k| 0 | 0.000000e+00 | -- | Inf
753.21/753.50 c 696s| 3980k| 1515k| 0 | 0.0 | 619M| 33 | - | 40 |1195 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
755.52/755.78 c 698s| 3990k| 1518k| 0 | 0.0 | 621M| 33 | - | 40 |1075 | 0 | 0 | 0 | 280k| 0 | 0.000000e+00 | -- | Inf
757.91/758.12 c 700s| 4000k| 1520k| 0 | 0.0 | 622M| 33 | - | 40 |1164 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | -- | Inf
760.20/760.47 c 702s| 4010k| 1523k| 0 | 0.0 | 623M| 33 | - | 40 |1177 | 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | -- | Inf
762.60/762.80 c 704s| 4020k| 1525k| 0 | 0.0 | 624M| 33 | - | 40 |1264 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
764.90/765.12 c 707s| 4030k| 1527k| 0 | 0.0 | 626M| 33 | - | 40 |1259 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | -- | Inf
767.30/767.53 c 709s| 4040k| 1530k| 0 | 0.0 | 627M| 33 | - | 40 |1395 | 0 | 0 | 0 | 285k| 0 | 0.000000e+00 | -- | Inf
769.71/769.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
769.71/769.96 c 711s| 4050k| 1532k| 0 | 0.0 | 628M| 33 | - | 40 |1440 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
772.10/772.40 c 713s| 4060k| 1535k| 0 | 0.0 | 629M| 33 | - | 40 |1308 | 0 | 0 | 0 | 286k| 0 | 0.000000e+00 | -- | Inf
774.50/774.75 c 716s| 4070k| 1537k| 0 | 0.0 | 630M| 33 | - | 40 |1221 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | -- | Inf
776.90/777.14 c 718s| 4080k| 1540k| 0 | 0.0 | 632M| 33 | - | 40 |1225 | 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | -- | Inf
779.20/779.49 c 720s| 4090k| 1542k| 0 | 0.0 | 633M| 33 | - | 40 |1254 | 0 | 0 | 0 | 289k| 0 | 0.000000e+00 | -- | Inf
781.60/781.88 c 722s| 4100k| 1544k| 0 | 0.0 | 634M| 33 | - | 40 |1222 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | -- | Inf
784.00/784.25 c 725s| 4110k| 1547k| 0 | 0.0 | 635M| 33 | - | 40 |1283 | 0 | 0 | 0 | 291k| 0 | 0.000000e+00 | -- | Inf
786.39/786.68 c 727s| 4120k| 1549k| 0 | 0.0 | 637M| 33 | - | 40 |1348 | 0 | 0 | 0 | 292k| 0 | 0.000000e+00 | -- | Inf
788.90/789.17 c 729s| 4130k| 1551k| 0 | 0.0 | 638M| 33 | - | 40 |1379 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | -- | Inf
791.40/791.67 c 732s| 4140k| 1553k| 0 | 0.0 | 639M| 33 | - | 40 |1489 | 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | -- | Inf
794.00/794.21 c 734s| 4150k| 1555k| 0 | 0.0 | 640M| 33 | - | 40 |1400 | 0 | 0 | 0 | 295k| 0 | 0.000000e+00 | -- | Inf
796.49/796.74 c 736s| 4160k| 1557k| 0 | 0.0 | 642M| 33 | - | 40 |1280 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
798.99/799.21 c 739s| 4170k| 1560k| 0 | 0.0 | 643M| 33 | - | 40 |1351 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
801.40/801.62 c 741s| 4180k| 1562k| 0 | 0.0 | 644M| 33 | - | 40 |1211 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | -- | Inf
803.80/804.08 c 743s| 4190k| 1564k| 0 | 0.0 | 645M| 33 | - | 40 |1302 | 0 | 0 | 0 | 298k| 0 | 0.000000e+00 | -- | Inf
806.29/806.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
806.29/806.50 c 746s| 4200k| 1567k| 0 | 0.0 | 647M| 33 | - | 40 |1336 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | -- | Inf
808.69/808.96 c 748s| 4210k| 1569k| 0 | 0.0 | 648M| 33 | - | 40 |1378 | 0 | 0 | 0 | 300k| 0 | 0.000000e+00 | -- | Inf
811.19/811.42 c 750s| 4220k| 1571k| 0 | 0.0 | 649M| 33 | - | 40 |1399 | 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | -- | Inf
813.80/814.02 c 753s| 4230k| 1573k| 0 | 0.0 | 650M| 33 | - | 40 |1393 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | -- | Inf
816.19/816.49 c 755s| 4240k| 1576k| 0 | 0.0 | 652M| 33 | - | 40 |1321 | 0 | 0 | 0 | 303k| 0 | 0.000000e+00 | -- | Inf
818.69/818.91 c 757s| 4250k| 1578k| 0 | 0.0 | 653M| 33 | - | 40 |1366 | 0 | 0 | 0 | 304k| 0 | 0.000000e+00 | -- | Inf
821.18/821.42 c 760s| 4260k| 1580k| 0 | 0.0 | 654M| 33 | - | 40 |1373 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | -- | Inf
823.59/823.89 c 762s| 4270k| 1583k| 0 | 0.0 | 655M| 33 | - | 40 |1258 | 0 | 0 | 0 | 306k| 0 | 0.000000e+00 | -- | Inf
826.09/826.38 c 764s| 4280k| 1585k| 0 | 0.0 | 657M| 33 | - | 40 |1385 | 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | -- | Inf
828.48/828.79 c 766s| 4290k| 1587k| 0 | 0.0 | 658M| 33 | - | 40 |1320 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
830.99/831.26 c 769s| 4300k| 1590k| 0 | 0.0 | 659M| 33 | - | 40 |1364 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | -- | Inf
833.39/833.70 c 771s| 4310k| 1592k| 0 | 0.0 | 660M| 33 | - | 40 |1251 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
835.89/836.11 c 773s| 4320k| 1595k| 0 | 0.0 | 662M| 33 | - | 40 |1257 | 0 | 0 | 0 | 310k| 0 | 0.000000e+00 | -- | Inf
838.19/838.49 c 776s| 4330k| 1597k| 0 | 0.0 | 663M| 33 | - | 40 |1168 | 0 | 0 | 0 | 311k| 0 | 0.000000e+00 | -- | Inf
840.59/840.81 c 778s| 4340k| 1599k| 0 | 0.0 | 664M| 33 | - | 40 |1216 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | -- | Inf
842.78/843.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.78/843.09 c 780s| 4350k| 1602k| 0 | 0.0 | 665M| 33 | - | 40 |1333 | 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | -- | Inf
845.28/845.51 c 782s| 4360k| 1604k| 0 | 0.0 | 667M| 33 | - | 40 |1278 | 0 | 0 | 0 | 314k| 0 | 0.000000e+00 | -- | Inf
847.68/847.94 c 784s| 4370k| 1607k| 0 | 0.0 | 668M| 33 | - | 40 |1338 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | -- | Inf
850.09/850.38 c 787s| 4380k| 1609k| 0 | 0.0 | 669M| 33 | - | 40 |1252 | 0 | 0 | 0 | 316k| 0 | 0.000000e+00 | -- | Inf
852.38/852.69 c 789s| 4390k| 1611k| 0 | 0.0 | 671M| 33 | - | 40 |1254 | 0 | 0 | 0 | 317k| 0 | 0.000000e+00 | -- | Inf
854.78/855.08 c 791s| 4400k| 1614k| 0 | 0.0 | 672M| 33 | - | 40 |1319 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | -- | Inf
857.28/857.51 c 793s| 4410k| 1616k| 0 | 0.0 | 673M| 33 | - | 40 |1227 | 0 | 0 | 0 | 319k| 0 | 0.000000e+00 | -- | Inf
859.68/859.92 c 796s| 4420k| 1619k| 0 | 0.0 | 674M| 33 | - | 40 |1240 | 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | -- | Inf
862.08/862.36 c 798s| 4430k| 1621k| 0 | 0.0 | 676M| 33 | - | 40 |1343 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
864.48/864.75 c 800s| 4440k| 1624k| 0 | 0.0 | 677M| 33 | - | 40 |1327 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
866.98/867.28 c 803s| 4450k| 1626k| 0 | 0.0 | 678M| 33 | - | 40 |1330 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | -- | Inf
869.48/869.76 c 805s| 4460k| 1628k| 0 | 0.0 | 679M| 33 | - | 40 |1328 | 0 | 0 | 0 | 323k| 0 | 0.000000e+00 | -- | Inf
871.88/872.16 c 807s| 4470k| 1631k| 0 | 0.0 | 681M| 33 | - | 40 |1214 | 0 | 0 | 0 | 324k| 0 | 0.000000e+00 | -- | Inf
874.37/874.64 c 809s| 4480k| 1633k| 0 | 0.0 | 682M| 33 | - | 40 |1338 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | -- | Inf
876.88/877.12 c 812s| 4490k| 1636k| 0 | 0.0 | 683M| 33 | - | 40 |1337 | 0 | 0 | 0 | 326k| 0 | 0.000000e+00 | -- | Inf
879.37/879.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
879.37/879.60 c 814s| 4500k| 1638k| 0 | 0.0 | 684M| 33 | - | 40 |1351 | 0 | 0 | 0 | 327k| 0 | 0.000000e+00 | -- | Inf
881.88/882.16 c 817s| 4510k| 1640k| 0 | 0.0 | 685M| 33 | - | 40 |1486 | 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | -- | Inf
884.57/884.86 c 819s| 4520k| 1642k| 0 | 0.0 | 687M| 33 | - | 40 |1542 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | -- | Inf
887.18/887.47 c 822s| 4530k| 1643k| 0 | 0.0 | 688M| 33 | - | 40 |1546 | 0 | 0 | 0 | 330k| 0 | 0.000000e+00 | -- | Inf
889.87/890.14 c 824s| 4540k| 1645k| 0 | 0.0 | 689M| 33 | - | 40 |1595 | 0 | 0 | 0 | 331k| 0 | 0.000000e+00 | -- | Inf
892.57/892.86 c 827s| 4550k| 1646k| 0 | 0.0 | 690M| 33 | - | 40 |1749 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | -- | Inf
895.47/895.73 c 829s| 4560k| 1648k| 0 | 0.0 | 691M| 33 | - | 40 |1683 | 0 | 0 | 0 | 333k| 0 | 0.000000e+00 | -- | Inf
898.37/898.65 c 832s| 4570k| 1650k| 0 | 0.0 | 692M| 33 | - | 40 |1914 | 0 | 0 | 0 | 334k| 0 | 0.000000e+00 | -- | Inf
901.47/901.74 c 835s| 4580k| 1651k| 0 | 0.0 | 693M| 33 | - | 40 |2023 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
904.67/904.94 c 838s| 4590k| 1653k| 0 | 0.0 | 694M| 33 | - | 40 |2123 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | -- | Inf
907.97/908.23 c 841s| 4600k| 1655k| 0 | 0.0 | 695M| 33 | - | 40 |2169 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
911.17/911.42 c 844s| 4610k| 1656k| 0 | 0.0 | 696M| 33 | - | 40 |1910 | 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | -- | Inf
914.16/914.45 c 847s| 4620k| 1658k| 0 | 0.0 | 697M| 33 | - | 40 |1927 | 0 | 0 | 0 | 338k| 0 | 0.000000e+00 | -- | Inf
917.18/917.46 c 850s| 4630k| 1660k| 0 | 0.0 | 698M| 33 | - | 40 |1884 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | -- | Inf
920.06/920.39 c 853s| 4640k| 1661k| 0 | 0.0 | 699M| 33 | - | 40 |1924 | 0 | 0 | 0 | 340k| 0 | 0.000000e+00 | -- | Inf
923.06/923.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.06/923.36 c 856s| 4650k| 1663k| 0 | 0.0 | 700M| 33 | - | 40 |1871 | 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | -- | Inf
926.16/926.40 c 859s| 4660k| 1665k| 0 | 0.0 | 701M| 33 | - | 40 |1869 | 0 | 0 | 0 | 342k| 0 | 0.000000e+00 | -- | Inf
929.06/929.34 c 861s| 4670k| 1666k| 0 | 0.0 | 703M| 33 | - | 40 |1863 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | -- | Inf
932.06/932.32 c 864s| 4680k| 1668k| 0 | 0.0 | 704M| 33 | - | 40 |1885 | 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | -- | Inf
935.06/935.32 c 867s| 4690k| 1670k| 0 | 0.0 | 705M| 33 | - | 40 |1991 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
937.97/938.25 c 870s| 4700k| 1671k| 0 | 0.0 | 706M| 33 | - | 40 |1852 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
940.86/941.11 c 873s| 4710k| 1673k| 0 | 0.0 | 707M| 33 | - | 40 |1953 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
943.76/944.06 c 875s| 4720k| 1675k| 0 | 0.0 | 708M| 33 | - | 40 |2030 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
946.77/947.05 c 878s| 4730k| 1676k| 0 | 0.0 | 709M| 33 | - | 40 |2048 | 0 | 0 | 0 | 348k| 0 | 0.000000e+00 | -- | Inf
949.66/949.94 c 881s| 4740k| 1678k| 0 | 0.0 | 710M| 33 | - | 40 |1816 | 0 | 0 | 0 | 349k| 0 | 0.000000e+00 | -- | Inf
952.46/952.76 c 884s| 4750k| 1680k| 0 | 0.0 | 711M| 33 | - | 40 |1763 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | -- | Inf
955.26/955.57 c 886s| 4760k| 1681k| 0 | 0.0 | 712M| 33 | - | 40 |1745 | 0 | 0 | 0 | 351k| 0 | 0.000000e+00 | -- | Inf
958.15/958.40 c 889s| 4770k| 1683k| 0 | 0.0 | 713M| 33 | - | 40 |1648 | 0 | 0 | 0 | 352k| 0 | 0.000000e+00 | -- | Inf
960.76/961.07 c 891s| 4780k| 1685k| 0 | 0.0 | 714M| 33 | - | 40 |1668 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
963.56/963.82 c 894s| 4790k| 1687k| 0 | 0.0 | 715M| 33 | - | 40 |1692 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
966.25/966.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.25/966.57 c 897s| 4800k| 1688k| 0 | 0.0 | 716M| 33 | - | 40 |1598 | 0 | 0 | 0 | 354k| 0 | 0.000000e+00 | -- | Inf
968.86/969.18 c 899s| 4810k| 1690k| 0 | 0.0 | 717M| 33 | - | 40 |1579 | 0 | 0 | 0 | 355k| 0 | 0.000000e+00 | -- | Inf
971.56/971.82 c 902s| 4820k| 1692k| 0 | 0.0 | 718M| 33 | - | 40 |1636 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | -- | Inf
974.36/974.67 c 904s| 4830k| 1693k| 0 | 0.0 | 719M| 33 | - | 40 |1784 | 0 | 0 | 0 | 357k| 0 | 0.000000e+00 | -- | Inf
977.45/977.73 c 907s| 4840k| 1695k| 0 | 0.0 | 721M| 33 | - | 40 |2052 | 0 | 0 | 0 | 358k| 0 | 0.000000e+00 | -- | Inf
980.75/981.02 c 910s| 4850k| 1696k| 0 | 0.0 | 721M| 33 | - | 40 |2056 | 0 | 0 | 0 | 359k| 0 | 0.000000e+00 | -- | Inf
984.05/984.35 c 914s| 4860k| 1697k| 0 | 0.0 | 722M| 33 | - | 40 |2089 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
987.35/987.66 c 917s| 4870k| 1699k| 0 | 0.0 | 723M| 33 | - | 40 |2005 | 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | -- | Inf
990.55/990.88 c 920s| 4880k| 1700k| 0 | 0.0 | 724M| 33 | - | 40 |1984 | 0 | 0 | 0 | 363k| 0 | 0.000000e+00 | -- | Inf
993.94/994.22 c 923s| 4890k| 1701k| 0 | 0.0 | 725M| 33 | - | 40 |2105 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | -- | Inf
997.35/997.62 c 926s| 4900k| 1703k| 0 | 0.0 | 726M| 33 | - | 40 |2279 | 0 | 0 | 0 | 365k| 0 | 0.000000e+00 | -- | Inf
1000.94/1001.25 c 930s| 4910k| 1704k| 0 | 0.0 | 727M| 33 | - | 40 |2435 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
1004.44/1004.75 c 933s| 4920k| 1705k| 0 | 0.0 | 728M| 33 | - | 40 |2380 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | -- | Inf
1008.04/1008.34 c 936s| 4930k| 1707k| 0 | 0.0 | 729M| 33 | - | 40 |2369 | 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | -- | Inf
1011.55/1011.88 c 940s| 4940k| 1708k| 0 | 0.0 | 730M| 33 | - | 40 |2282 | 0 | 0 | 0 | 370k| 0 | 0.000000e+00 | -- | Inf
1014.95/1015.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.95/1015.27 c 943s| 4950k| 1710k| 0 | 0.0 | 731M| 33 | - | 40 |2074 | 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | -- | Inf
1018.24/1018.56 c 946s| 4960k| 1711k| 0 | 0.0 | 732M| 33 | - | 40 |2130 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
1021.55/1021.84 c 949s| 4970k| 1713k| 0 | 0.0 | 733M| 33 | - | 40 |2083 | 0 | 0 | 0 | 373k| 0 | 0.000000e+00 | -- | Inf
1024.54/1024.88 c 952s| 4980k| 1715k| 0 | 0.0 | 734M| 33 | - | 40 |1915 | 0 | 0 | 0 | 374k| 0 | 0.000000e+00 | -- | Inf
1027.74/1028.01 c 955s| 4990k| 1716k| 0 | 0.0 | 735M| 33 | - | 40 |1998 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | -- | Inf
1030.94/1031.26 c 958s| 5000k| 1718k| 0 | 0.0 | 736M| 33 | - | 40 |1991 | 0 | 0 | 0 | 376k| 0 | 0.000000e+00 | -- | Inf
1034.13/1034.44 c 961s| 5010k| 1719k| 0 | 0.0 | 738M| 33 | - | 40 |2027 | 0 | 0 | 0 | 377k| 0 | 0.000000e+00 | -- | Inf
1037.44/1037.74 c 964s| 5020k| 1721k| 0 | 0.0 | 739M| 33 | - | 40 |2074 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
1040.64/1040.92 c 968s| 5030k| 1722k| 0 | 0.0 | 740M| 33 | - | 40 |2029 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | -- | Inf
1043.84/1044.12 c 971s| 5040k| 1724k| 0 | 0.0 | 741M| 33 | - | 40 |2110 | 0 | 0 | 0 | 381k| 0 | 0.000000e+00 | -- | Inf
1047.04/1047.32 c 974s| 5050k| 1726k| 0 | 0.0 | 742M| 33 | - | 40 |2175 | 0 | 0 | 0 | 382k| 0 | 0.000000e+00 | -- | Inf
1050.34/1050.62 c 977s| 5060k| 1727k| 0 | 0.0 | 743M| 33 | - | 40 |2150 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | -- | Inf
1053.54/1053.83 c 980s| 5070k| 1729k| 0 | 0.0 | 744M| 33 | - | 40 |2132 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
1056.93/1057.22 c 983s| 5080k| 1730k| 0 | 0.0 | 745M| 33 | - | 40 |2225 | 0 | 0 | 0 | 385k| 0 | 0.000000e+00 | -- | Inf
1060.33/1060.68 c 986s| 5090k| 1731k| 0 | 0.0 | 746M| 33 | - | 40 |2286 | 0 | 0 | 0 | 386k| 0 | 0.000000e+00 | -- | Inf
1063.83/1064.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.83/1064.15 c 990s| 5100k| 1732k| 0 | 0.0 | 746M| 33 | - | 40 |2400 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | -- | Inf
1067.42/1067.71 c 993s| 5110k| 1732k| 0 | 0.0 | 747M| 33 | - | 40 |2525 | 0 | 0 | 0 | 388k| 0 | 0.000000e+00 | -- | Inf
1071.03/1071.37 c 997s| 5120k| 1733k| 0 | 0.0 | 748M| 33 | - | 40 |2562 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | -- | Inf
1074.83/1075.10 c 1000s| 5130k| 1734k| 0 | 0.0 | 749M| 33 | - | 40 |2691 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | -- | Inf
1078.53/1078.89 c 1004s| 5140k| 1735k| 0 | 0.0 | 749M| 33 | - | 40 |2645 | 0 | 0 | 0 | 391k| 0 | 0.000000e+00 | -- | Inf
1082.33/1082.67 c 1008s| 5150k| 1735k| 0 | 0.0 | 750M| 33 | - | 40 |2716 | 0 | 0 | 0 | 392k| 0 | 0.000000e+00 | -- | Inf
1086.12/1086.49 c 1011s| 5160k| 1736k| 0 | 0.0 | 751M| 33 | - | 40 |2911 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
1090.12/1090.44 c 1015s| 5170k| 1737k| 0 | 0.0 | 752M| 33 | - | 40 |2904 | 0 | 0 | 0 | 393k| 0 | 0.000000e+00 | -- | Inf
1093.92/1094.25 c 1019s| 5180k| 1738k| 0 | 0.0 | 753M| 33 | - | 40 |2777 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | -- | Inf
1097.72/1098.07 c 1022s| 5190k| 1739k| 0 | 0.0 | 754M| 33 | - | 40 |2727 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
1101.52/1101.81 c 1026s| 5200k| 1740k| 0 | 0.0 | 754M| 33 | - | 40 |2770 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | -- | Inf
1105.02/1105.36 c 1029s| 5210k| 1741k| 0 | 0.0 | 755M| 33 | - | 40 |2612 | 0 | 0 | 0 | 397k| 0 | 0.000000e+00 | -- | Inf
1109.12/1109.41 c 1033s| 5220k| 1741k| 0 | 0.0 | 756M| 33 | - | 40 |2759 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | -- | Inf
1113.51/1113.84 c 1038s| 5230k| 1742k| 0 | 0.0 | 757M| 33 | - | 40 |2890 | 0 | 0 | 0 | 399k| 0 | 0.000000e+00 | -- | Inf
1118.11/1118.48 c 1042s| 5240k| 1742k| 0 | 0.0 | 757M| 33 | - | 40 |2976 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
1123.01/1123.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1123.01/1123.33 c 1047s| 5250k| 1742k| 0 | 0.0 | 758M| 33 | - | 40 |3137 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | -- | Inf
1128.02/1128.36 c 1052s| 5260k| 1742k| 0 | 0.0 | 758M| 33 | - | 40 |3348 | 0 | 0 | 0 | 403k| 0 | 0.000000e+00 | -- | Inf
1133.21/1133.52 c 1057s| 5270k| 1743k| 0 | 0.0 | 759M| 33 | - | 40 |3483 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | -- | Inf
1138.51/1138.82 c 1062s| 5280k| 1743k| 0 | 0.0 | 760M| 33 | - | 40 |3579 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | -- | Inf
1143.72/1144.08 c 1067s| 5290k| 1744k| 0 | 0.0 | 760M| 33 | - | 40 |3630 | 0 | 0 | 0 | 407k| 0 | 0.000000e+00 | -- | Inf
1149.01/1149.31 c 1072s| 5300k| 1744k| 0 | 0.0 | 761M| 33 | - | 40 |3703 | 0 | 0 | 0 | 408k| 0 | 0.000000e+00 | -- | Inf
1154.21/1154.54 c 1077s| 5310k| 1745k| 0 | 0.0 | 762M| 33 | - | 40 |3648 | 0 | 0 | 0 | 409k| 0 | 0.000000e+00 | -- | Inf
1159.40/1159.72 c 1082s| 5320k| 1745k| 0 | 0.0 | 763M| 33 | - | 40 |3662 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | -- | Inf
1164.71/1165.07 c 1087s| 5330k| 1746k| 0 | 0.0 | 763M| 33 | - | 40 |3732 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | -- | Inf
1170.02/1170.40 c 1092s| 5340k| 1746k| 0 | 0.0 | 764M| 33 | - | 40 |3674 | 0 | 0 | 0 | 413k| 0 | 0.000000e+00 | -- | Inf
1175.20/1175.54 c 1097s| 5350k| 1747k| 0 | 0.0 | 764M| 33 | - | 40 |3597 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | -- | Inf
1181.11/1181.43 c 1103s| 5360k| 1747k| 0 | 0.0 | 765M| 33 | - | 40 |3939 | 0 | 0 | 0 | 415k| 0 | 0.000000e+00 | -- | Inf
1187.70/1188.05 c 1110s| 5370k| 1746k| 0 | 0.0 | 765M| 33 | - | 40 |4378 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
1194.00/1194.32 c 1116s| 5380k| 1745k| 0 | 0.0 | 766M| 33 | - | 40 |4685 | 0 | 0 | 0 | 418k| 0 | 0.000000e+00 | -- | Inf
1201.19/1201.56 c 1123s| 5390k| 1745k| 0 | 0.0 | 766M| 34 | - | 40 |4882 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | -- | Inf
1209.49/1209.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.49/1209.83 c 1131s| 5400k| 1744k| 0 | 0.0 | 766M| 34 | - | 40 |5315 | 0 | 0 | 0 | 420k| 0 | 0.000000e+00 | -- | Inf
1218.50/1218.84 c 1140s| 5410k| 1743k| 0 | 0.0 | 767M| 34 | - | 40 |5768 | 0 | 0 | 0 | 422k| 0 | 0.000000e+00 | -- | Inf
1227.59/1227.92 c 1149s| 5420k| 1742k| 0 | 0.0 | 767M| 34 | - | 40 |5941 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | -- | Inf
1237.88/1238.29 c 1159s| 5430k| 1741k| 0 | 0.0 | 767M| 34 | - | 40 |6292 | 0 | 0 | 0 | 425k| 0 | 0.000000e+00 | -- | Inf
1252.38/1252.78 c 1173s| 5440k| 1738k| 0 | 0.0 | 767M| 34 | - | 40 |6784 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | -- | Inf
1269.28/1269.65 c 1190s| 5450k| 1735k| 0 | 0.0 | 767M| 34 | - | 40 |7529 | 0 | 0 | 0 | 429k| 0 | 0.000000e+00 | -- | Inf
1275.18/1275.50 c 1196s| 5460k| 1739k| 0 | 0.0 | 768M| 34 | - | 40 |5088 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | -- | Inf
1277.68/1278.08 c 1198s| 5470k| 1746k| 0 | 0.0 | 770M| 34 | - | 40 |3918 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | -- | Inf
1280.08/1280.44 c 1200s| 5480k| 1752k| 0 | 0.0 | 772M| 34 | - | 40 |3730 | 0 | 0 | 0 | 430k| 0 | 0.000000e+00 | -- | Inf
1282.37/1282.77 c 1203s| 5490k| 1758k| 0 | 0.0 | 774M| 34 | - | 40 |3553 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
1284.87/1285.25 c 1205s| 5500k| 1763k| 0 | 0.0 | 775M| 34 | - | 40 |3601 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | -- | Inf
1287.27/1287.66 c 1207s| 5510k| 1769k| 0 | 0.0 | 777M| 34 | - | 40 |3664 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | -- | Inf
1289.67/1290.09 c 1210s| 5520k| 1775k| 0 | 0.0 | 779M| 34 | - | 40 |3699 | 0 | 0 | 0 | 432k| 0 | 0.000000e+00 | -- | Inf
1292.19/1292.53 c 1212s| 5530k| 1781k| 0 | 0.0 | 781M| 34 | - | 40 |3660 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | -- | Inf
1294.47/1294.90 c 1214s| 5540k| 1786k| 0 | 0.0 | 783M| 34 | - | 40 |3639 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | -- | Inf
1297.17/1297.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.17/1297.53 c 1217s| 5550k| 1792k| 0 | 0.0 | 785M| 34 | - | 40 |3721 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
1299.88/1300.26 c 1219s| 5560k| 1797k| 0 | 0.0 | 786M| 34 | - | 40 |3823 | 0 | 0 | 0 | 434k| 0 | 0.000000e+00 | -- | Inf
1302.67/1303.02 c 1222s| 5570k| 1803k| 0 | 0.0 | 788M| 34 | - | 40 |3803 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | -- | Inf
1305.28/1305.67 c 1224s| 5580k| 1808k| 0 | 0.0 | 790M| 34 | - | 40 |3795 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | -- | Inf
1308.07/1308.41 c 1227s| 5590k| 1814k| 0 | 0.0 | 792M| 34 | - | 40 |3947 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
1310.78/1311.13 c 1229s| 5600k| 1819k| 0 | 0.0 | 794M| 34 | - | 40 |4048 | 0 | 0 | 0 | 436k| 0 | 0.000000e+00 | -- | Inf
1313.47/1313.86 c 1232s| 5610k| 1825k| 0 | 0.0 | 795M| 34 | - | 40 |3945 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | -- | Inf
1316.07/1316.48 c 1234s| 5620k| 1831k| 0 | 0.0 | 797M| 34 | - | 40 |3856 | 0 | 0 | 0 | 437k| 0 | 0.000000e+00 | -- | Inf
1318.76/1319.20 c 1237s| 5630k| 1836k| 0 | 0.0 | 799M| 34 | - | 40 |3457 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
1321.46/1321.82 c 1240s| 5640k| 1841k| 0 | 0.0 | 801M| 34 | - | 40 |3645 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
1324.16/1324.56 c 1242s| 5650k| 1846k| 0 | 0.0 | 802M| 34 | - | 40 |3711 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | -- | Inf
1326.97/1327.33 c 1245s| 5660k| 1851k| 0 | 0.0 | 804M| 34 | - | 40 |3753 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
1329.66/1330.05 c 1247s| 5670k| 1856k| 0 | 0.0 | 806M| 34 | - | 40 |3771 | 0 | 0 | 0 | 440k| 0 | 0.000000e+00 | -- | Inf
1332.57/1332.99 c 1250s| 5680k| 1862k| 0 | 0.0 | 808M| 34 | - | 40 |3970 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
1335.56/1335.92 c 1253s| 5690k| 1867k| 0 | 0.0 | 809M| 34 | - | 40 |3918 | 0 | 0 | 0 | 441k| 0 | 0.000000e+00 | -- | Inf
1338.37/1338.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1338.37/1338.78 c 1256s| 5700k| 1872k| 0 | 0.0 | 811M| 34 | - | 40 |4043 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | -- | Inf
1341.26/1341.64 c 1258s| 5710k| 1877k| 0 | 0.0 | 813M| 34 | - | 40 |3734 | 0 | 0 | 0 | 442k| 0 | 0.000000e+00 | -- | Inf
1343.86/1344.24 c 1261s| 5720k| 1883k| 0 | 0.0 | 814M| 34 | - | 40 |2429 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | -- | Inf
1345.97/1346.40 c 1263s| 5730k| 1888k| 0 | 0.0 | 816M| 34 | - | 40 |1839 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | -- | Inf
1347.86/1348.27 c 1265s| 5740k| 1893k| 0 | 0.0 | 817M| 34 | - | 40 |1443 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | -- | Inf
1349.76/1350.13 c 1266s| 5750k| 1898k| 0 | 0.0 | 819M| 34 | - | 40 |1702 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | -- | Inf
1351.75/1352.14 c 1268s| 5760k| 1904k| 0 | 0.0 | 821M| 34 | - | 40 |1804 | 0 | 0 | 0 | 445k| 0 | 0.000000e+00 | -- | Inf
1353.75/1354.11 c 1270s| 5770k| 1909k| 0 | 0.0 | 823M| 34 | - | 40 |1882 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
1355.75/1356.19 c 1272s| 5780k| 1914k| 0 | 0.0 | 824M| 34 | - | 40 |1690 | 0 | 0 | 0 | 446k| 0 | 0.000000e+00 | -- | Inf
1357.75/1358.14 c 1274s| 5790k| 1919k| 0 | 0.0 | 826M| 34 | - | 40 |1701 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | -- | Inf
1359.75/1360.11 c 1276s| 5800k| 1925k| 0 | 0.0 | 828M| 34 | - | 40 |1850 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | -- | Inf
1361.85/1362.24 c 1278s| 5810k| 1929k| 0 | 0.0 | 830M| 34 | - | 40 |1883 | 0 | 0 | 0 | 448k| 0 | 0.000000e+00 | -- | Inf
1363.95/1364.38 c 1280s| 5820k| 1934k| 0 | 0.0 | 831M| 34 | - | 40 |1922 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1366.15/1366.53 c 1282s| 5830k| 1939k| 0 | 0.0 | 833M| 34 | - | 40 |2003 | 0 | 0 | 0 | 449k| 0 | 0.000000e+00 | -- | Inf
1368.25/1368.60 c 1283s| 5840k| 1944k| 0 | 0.0 | 835M| 34 | - | 40 |1942 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | -- | Inf
1370.45/1370.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1370.45/1370.83 c 1286s| 5850k| 1948k| 0 | 0.0 | 836M| 34 | - | 40 |2161 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | -- | Inf
1372.75/1373.16 c 1288s| 5860k| 1953k| 0 | 0.0 | 838M| 34 | - | 40 |2177 | 0 | 0 | 0 | 451k| 0 | 0.000000e+00 | -- | Inf
1374.95/1375.39 c 1290s| 5870k| 1958k| 0 | 0.0 | 840M| 34 | - | 40 |2263 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
1377.25/1377.65 c 1292s| 5880k| 1963k| 0 | 0.0 | 841M| 34 | - | 40 |2069 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | -- | Inf
1379.45/1379.86 c 1294s| 5890k| 1968k| 0 | 0.0 | 843M| 34 | - | 40 |1960 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | -- | Inf
1381.54/1381.96 c 1296s| 5900k| 1973k| 0 | 0.0 | 844M| 34 | - | 40 |1337 | 0 | 0 | 0 | 453k| 0 | 0.000000e+00 | -- | Inf
1383.45/1383.83 c 1298s| 5910k| 1978k| 0 | 0.0 | 846M| 34 | - | 40 |1511 | 0 | 0 | 0 | 454k| 0 | 0.000000e+00 | -- | Inf
1385.55/1385.91 c 1300s| 5920k| 1982k| 0 | 0.0 | 848M| 34 | - | 40 |1670 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | -- | Inf
1387.64/1388.00 c 1302s| 5930k| 1987k| 0 | 0.0 | 850M| 34 | - | 40 |1799 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | -- | Inf
1389.64/1390.04 c 1304s| 5940k| 1992k| 0 | 0.0 | 851M| 34 | - | 40 |1693 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | -- | Inf
1391.64/1392.07 c 1305s| 5950k| 1997k| 0 | 0.0 | 853M| 34 | - | 40 |1657 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | -- | Inf
1393.74/1394.12 c 1307s| 5960k| 2002k| 0 | 0.0 | 855M| 34 | - | 40 |1779 | 0 | 0 | 0 | 457k| 0 | 0.000000e+00 | -- | Inf
1395.64/1396.06 c 1309s| 5970k| 2007k| 0 | 0.0 | 856M| 34 | - | 40 |1680 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
1397.65/1398.00 c 1311s| 5980k| 2012k| 0 | 0.0 | 858M| 34 | - | 40 |1488 | 0 | 0 | 0 | 458k| 0 | 0.000000e+00 | -- | Inf
1399.44/1399.82 c 1313s| 5990k| 2017k| 0 | 0.0 | 860M| 34 | - | 40 |1386 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | -- | Inf
1401.24/1401.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1401.24/1401.66 c 1314s| 6000k| 2022k| 0 | 0.0 | 861M| 34 | - | 40 |1403 | 0 | 0 | 0 | 459k| 0 | 0.000000e+00 | -- | Inf
1403.15/1403.52 c 1316s| 6010k| 2027k| 0 | 0.0 | 863M| 34 | - | 40 |1312 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | -- | Inf
1404.94/1405.37 c 1318s| 6020k| 2032k| 0 | 0.0 | 865M| 34 | - | 40 |1143 | 0 | 0 | 0 | 460k| 0 | 0.000000e+00 | -- | Inf
1406.74/1407.14 c 1319s| 6030k| 2037k| 0 | 0.0 | 866M| 34 | - | 40 |1169 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | -- | Inf
1408.44/1408.87 c 1321s| 6040k| 2042k| 0 | 0.0 | 868M| 34 | - | 40 |1039 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | -- | Inf
1410.23/1410.63 c 1323s| 6050k| 2048k| 0 | 0.0 | 870M| 34 | - | 40 |1137 | 0 | 0 | 0 | 462k| 0 | 0.000000e+00 | -- | Inf
1412.04/1412.44 c 1324s| 6060k| 2052k| 0 | 0.0 | 872M| 34 | - | 40 |1381 | 0 | 0 | 0 | 463k| 0 | 0.000000e+00 | -- | Inf
1413.83/1414.28 c 1326s| 6070k| 2057k| 0 | 0.0 | 873M| 34 | - | 40 |1508 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | -- | Inf
1415.84/1416.28 c 1328s| 6080k| 2062k| 0 | 0.0 | 875M| 34 | - | 40 |1589 | 0 | 0 | 0 | 464k| 0 | 0.000000e+00 | -- | Inf
1417.83/1418.27 c 1330s| 6090k| 2067k| 0 | 0.0 | 877M| 34 | - | 40 |1534 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | -- | Inf
1419.83/1420.21 c 1331s| 6100k| 2072k| 0 | 0.0 | 879M| 34 | - | 40 |1609 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | -- | Inf
1421.73/1422.17 c 1333s| 6110k| 2077k| 0 | 0.0 | 880M| 34 | - | 40 |1754 | 0 | 0 | 0 | 466k| 0 | 0.000000e+00 | -- | Inf
1423.94/1424.31 c 1335s| 6120k| 2081k| 0 | 0.0 | 882M| 34 | - | 40 |1851 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | -- | Inf
1426.03/1426.43 c 1337s| 6130k| 2086k| 0 | 0.0 | 884M| 34 | - | 40 |1940 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | -- | Inf
1428.24/1428.66 c 1339s| 6140k| 2090k| 0 | 0.0 | 885M| 34 | - | 40 |1898 | 0 | 0 | 0 | 468k| 0 | 0.000000e+00 | -- | Inf
1430.44/1430.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.44/1430.85 c 1341s| 6150k| 2095k| 0 | 0.0 | 887M| 34 | - | 40 |1975 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | -- | Inf
1432.74/1433.10 c 1343s| 6160k| 2099k| 0 | 0.0 | 888M| 34 | - | 40 |2088 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | -- | Inf
1434.93/1435.33 c 1346s| 6170k| 2104k| 0 | 0.0 | 890M| 34 | - | 40 |2176 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | -- | Inf
1437.13/1437.59 c 1348s| 6180k| 2108k| 0 | 0.0 | 892M| 34 | - | 40 |2163 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | -- | Inf
1439.44/1439.87 c 1350s| 6190k| 2113k| 0 | 0.0 | 893M| 34 | - | 40 |1864 | 0 | 0 | 0 | 471k| 0 | 0.000000e+00 | -- | Inf
1441.53/1441.96 c 1352s| 6200k| 2118k| 0 | 0.0 | 895M| 34 | - | 40 |1604 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | -- | Inf
1443.54/1443.94 c 1354s| 6210k| 2122k| 0 | 0.0 | 896M| 34 | - | 40 |1590 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | -- | Inf
1445.62/1446.04 c 1356s| 6220k| 2126k| 0 | 0.0 | 898M| 34 | - | 40 |1762 | 0 | 0 | 0 | 473k| 0 | 0.000000e+00 | -- | Inf
1447.83/1448.28 c 1358s| 6230k| 2131k| 0 | 0.0 | 900M| 34 | - | 40 |1936 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | -- | Inf
1450.13/1450.55 c 1360s| 6240k| 2135k| 0 | 0.0 | 901M| 34 | - | 40 |1740 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | -- | Inf
1452.23/1452.70 c 1362s| 6250k| 2140k| 0 | 0.0 | 903M| 34 | - | 40 |1843 | 0 | 0 | 0 | 475k| 0 | 0.000000e+00 | -- | Inf
1454.52/1454.90 c 1364s| 6260k| 2145k| 0 | 0.0 | 905M| 34 | - | 40 |1811 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | -- | Inf
1456.73/1457.15 c 1366s| 6270k| 2149k| 0 | 0.0 | 906M| 34 | - | 40 |1780 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | -- | Inf
1458.83/1459.21 c 1368s| 6280k| 2154k| 0 | 0.0 | 908M| 34 | - | 40 |1503 | 0 | 0 | 0 | 477k| 0 | 0.000000e+00 | -- | Inf
1460.83/1461.30 c 1370s| 6290k| 2158k| 0 | 0.0 | 909M| 34 | - | 40 |1724 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | -- | Inf
1462.93/1463.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1462.93/1463.38 c 1372s| 6300k| 2163k| 0 | 0.0 | 911M| 34 | - | 40 |1533 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | -- | Inf
1464.92/1465.39 c 1374s| 6310k| 2167k| 0 | 0.0 | 913M| 34 | - | 40 |1492 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | -- | Inf
1466.82/1467.28 c 1375s| 6320k| 2172k| 0 | 0.0 | 914M| 34 | - | 40 |1311 | 0 | 0 | 0 | 480k| 0 | 0.000000e+00 | -- | Inf
1468.82/1469.22 c 1377s| 6330k| 2177k| 0 | 0.0 | 916M| 34 | - | 40 |1294 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | -- | Inf
1470.63/1471.08 c 1379s| 6340k| 2182k| 0 | 0.0 | 918M| 34 | - | 40 |1307 | 0 | 0 | 0 | 481k| 0 | 0.000000e+00 | -- | Inf
1472.62/1473.09 c 1381s| 6350k| 2186k| 0 | 0.0 | 919M| 34 | - | 40 |1534 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | -- | Inf
1474.83/1475.21 c 1383s| 6360k| 2191k| 0 | 0.0 | 921M| 34 | - | 40 |1645 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | -- | Inf
1476.93/1477.38 c 1385s| 6370k| 2195k| 0 | 0.0 | 923M| 34 | - | 40 |1664 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | -- | Inf
1479.03/1479.49 c 1387s| 6380k| 2200k| 0 | 0.0 | 924M| 34 | - | 40 |1637 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | -- | Inf
1481.23/1481.70 c 1389s| 6390k| 2204k| 0 | 0.0 | 926M| 34 | - | 40 |1733 | 0 | 0 | 0 | 485k| 0 | 0.000000e+00 | -- | Inf
1483.43/1483.88 c 1391s| 6400k| 2209k| 0 | 0.0 | 928M| 34 | - | 40 |1586 | 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | -- | Inf
1485.52/1485.98 c 1393s| 6410k| 2213k| 0 | 0.0 | 929M| 34 | - | 40 |1588 | 0 | 0 | 0 | 486k| 0 | 0.000000e+00 | -- | Inf
1487.52/1487.98 c 1395s| 6420k| 2218k| 0 | 0.0 | 931M| 34 | - | 40 |1620 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | -- | Inf
1489.62/1490.06 c 1397s| 6430k| 2222k| 0 | 0.0 | 933M| 34 | - | 40 |1569 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | -- | Inf
1491.72/1492.13 c 1398s| 6440k| 2227k| 0 | 0.0 | 934M| 34 | - | 40 |1537 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | -- | Inf
1493.72/1494.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.72/1494.16 c 1400s| 6450k| 2232k| 0 | 0.0 | 936M| 34 | - | 40 |1337 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | -- | Inf
1495.72/1496.16 c 1402s| 6460k| 2236k| 0 | 0.0 | 937M| 34 | - | 40 |1488 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | -- | Inf
1497.72/1498.15 c 1404s| 6470k| 2241k| 0 | 0.0 | 939M| 34 | - | 40 |1427 | 0 | 0 | 0 | 490k| 0 | 0.000000e+00 | -- | Inf
1499.62/1500.08 c 1406s| 6480k| 2246k| 0 | 0.0 | 941M| 34 | - | 40 |1642 | 0 | 0 | 0 | 491k| 0 | 0.000000e+00 | -- | Inf
1501.72/1502.19 c 1408s| 6490k| 2250k| 0 | 0.0 | 943M| 34 | - | 40 |1647 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | -- | Inf
1503.71/1504.15 c 1410s| 6500k| 2255k| 0 | 0.0 | 944M| 34 | - | 40 |1559 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | -- | Inf
1505.71/1506.14 c 1411s| 6510k| 2260k| 0 | 0.0 | 946M| 34 | - | 40 |1276 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | -- | Inf
1507.62/1508.03 c 1413s| 6520k| 2264k| 0 | 0.0 | 947M| 34 | - | 40 |1413 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | -- | Inf
1509.51/1510.00 c 1415s| 6530k| 2269k| 0 | 0.0 | 949M| 34 | - | 40 |1259 | 0 | 0 | 0 | 494k| 0 | 0.000000e+00 | -- | Inf
1511.42/1511.84 c 1417s| 6540k| 2274k| 0 | 0.0 | 951M| 34 | - | 40 |1167 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | -- | Inf
1513.31/1513.70 c 1418s| 6550k| 2279k| 0 | 0.0 | 953M| 34 | - | 40 |1174 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | -- | Inf
1515.22/1515.61 c 1420s| 6560k| 2284k| 0 | 0.0 | 954M| 34 | - | 40 |1232 | 0 | 0 | 0 | 496k| 0 | 0.000000e+00 | -- | Inf
1517.11/1517.59 c 1422s| 6570k| 2289k| 0 | 0.0 | 956M| 34 | - | 40 |1194 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | -- | Inf
1519.01/1519.48 c 1424s| 6580k| 2293k| 0 | 0.0 | 958M| 34 | - | 40 |1519 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | -- | Inf
1521.11/1521.52 c 1426s| 6590k| 2297k| 0 | 0.0 | 959M| 34 | - | 40 |1645 | 0 | 0 | 0 | 498k| 0 | 0.000000e+00 | -- | Inf
1523.12/1523.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1523.12/1523.57 c 1428s| 6600k| 2302k| 0 | 0.0 | 961M| 34 | - | 40 |1704 | 0 | 0 | 0 | 499k| 0 | 0.000000e+00 | -- | Inf
1525.22/1525.70 c 1429s| 6610k| 2307k| 0 | 0.0 | 963M| 34 | - | 40 |1662 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | -- | Inf
1527.31/1527.78 c 1431s| 6620k| 2311k| 0 | 0.0 | 964M| 34 | - | 40 |1737 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | -- | Inf
1529.62/1530.04 c 1434s| 6630k| 2315k| 0 | 0.0 | 966M| 34 | - | 40 |1796 | 0 | 0 | 0 | 501k| 0 | 0.000000e+00 | -- | Inf
1531.81/1532.22 c 1436s| 6640k| 2320k| 0 | 0.0 | 967M| 34 | - | 40 |1524 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | -- | Inf
1533.90/1534.38 c 1438s| 6650k| 2324k| 0 | 0.0 | 969M| 34 | - | 40 |1375 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | -- | Inf
1536.00/1536.44 c 1439s| 6660k| 2328k| 0 | 0.0 | 970M| 34 | - | 40 |1284 | 0 | 0 | 0 | 503k| 0 | 0.000000e+00 | -- | Inf
1538.10/1538.50 c 1441s| 6670k| 2332k| 0 | 0.0 | 972M| 34 | - | 40 |1746 | 0 | 0 | 0 | 504k| 0 | 0.000000e+00 | -- | Inf
1540.31/1540.75 c 1443s| 6680k| 2336k| 0 | 0.0 | 974M| 34 | - | 40 |1892 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | -- | Inf
1542.60/1543.06 c 1446s| 6690k| 2340k| 0 | 0.0 | 975M| 34 | - | 40 |1901 | 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | -- | Inf
1544.81/1545.28 c 1448s| 6700k| 2344k| 0 | 0.0 | 977M| 34 | - | 40 |1909 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | -- | Inf
1547.21/1547.67 c 1450s| 6710k| 2348k| 0 | 0.0 | 978M| 34 | - | 40 |1938 | 0 | 0 | 0 | 507k| 0 | 0.000000e+00 | -- | Inf
1549.60/1550.02 c 1452s| 6720k| 2352k| 0 | 0.0 | 980M| 34 | - | 40 |2099 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | -- | Inf
1552.01/1552.43 c 1454s| 6730k| 2356k| 0 | 0.0 | 982M| 34 | - | 40 |2161 | 0 | 0 | 0 | 508k| 0 | 0.000000e+00 | -- | Inf
1554.51/1554.93 c 1457s| 6740k| 2360k| 0 | 0.0 | 983M| 34 | - | 40 |2141 | 0 | 0 | 0 | 509k| 0 | 0.000000e+00 | -- | Inf
1557.01/1557.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1557.01/1557.48 c 1459s| 6750k| 2364k| 0 | 0.0 | 985M| 34 | - | 40 |2239 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | -- | Inf
1559.61/1560.06 c 1462s| 6760k| 2368k| 0 | 0.0 | 986M| 34 | - | 40 |2253 | 0 | 0 | 0 | 510k| 0 | 0.000000e+00 | -- | Inf
1562.21/1562.65 c 1464s| 6770k| 2372k| 0 | 0.0 | 988M| 34 | - | 40 |2310 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | -- | Inf
1564.60/1565.10 c 1466s| 6780k| 2376k| 0 | 0.0 | 989M| 34 | - | 40 |2133 | 0 | 0 | 0 | 512k| 0 | 0.000000e+00 | -- | Inf
1567.11/1567.53 c 1469s| 6790k| 2380k| 0 | 0.0 | 991M| 34 | - | 40 |1999 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | -- | Inf
1569.41/1569.87 c 1471s| 6800k| 2384k| 0 | 0.0 | 992M| 34 | - | 40 |1678 | 0 | 0 | 0 | 513k| 0 | 0.000000e+00 | -- | Inf
1571.80/1572.26 c 1473s| 6810k| 2388k| 0 | 0.0 | 994M| 34 | - | 40 |1903 | 0 | 0 | 0 | 514k| 0 | 0.000000e+00 | -- | Inf
1574.19/1574.60 c 1475s| 6820k| 2392k| 0 | 0.0 | 995M| 34 | - | 40 |1990 | 0 | 0 | 0 | 515k| 0 | 0.000000e+00 | -- | Inf
1576.60/1577.06 c 1478s| 6830k| 2396k| 0 | 0.0 | 997M| 34 | - | 40 |1958 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | -- | Inf
1578.89/1579.39 c 1480s| 6840k| 2400k| 0 | 0.0 | 998M| 34 | - | 40 |1953 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | -- | Inf
1581.40/1581.81 c 1482s| 6850k| 2404k| 0 | 0.0 |1000M| 34 | - | 40 |1867 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | -- | Inf
1583.80/1584.21 c 1484s| 6860k| 2408k| 0 | 0.0 |1001M| 34 | - | 40 |1744 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | -- | Inf
1585.89/1586.40 c 1486s| 6870k| 2412k| 0 | 0.0 |1003M| 34 | - | 40 |1658 | 0 | 0 | 0 | 518k| 0 | 0.000000e+00 | -- | Inf
1588.20/1588.67 c 1488s| 6880k| 2416k| 0 | 0.0 |1005M| 34 | - | 40 |1686 | 0 | 0 | 0 | 519k| 0 | 0.000000e+00 | -- | Inf
1590.39/1590.89 c 1491s| 6890k| 2421k| 0 | 0.0 |1006M| 34 | - | 40 |1615 | 0 | 0 | 0 | 520k| 0 | 0.000000e+00 | -- | Inf
1592.69/1593.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1592.69/1593.10 c 1493s| 6900k| 2425k| 0 | 0.0 |1008M| 34 | - | 40 |1344 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | -- | Inf
1594.79/1595.22 c 1495s| 6910k| 2429k| 0 | 0.0 |1009M| 34 | - | 40 |1377 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | -- | Inf
1596.80/1597.23 c 1496s| 6920k| 2433k| 0 | 0.0 |1011M| 34 | - | 40 |1290 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | -- | Inf
1598.90/1599.39 c 1498s| 6930k| 2437k| 0 | 0.0 |1012M| 34 | - | 40 |1527 | 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | -- | Inf
1601.10/1601.52 c 1500s| 6940k| 2441k| 0 | 0.0 |1014M| 34 | - | 40 |1670 | 0 | 0 | 0 | 524k| 0 | 0.000000e+00 | -- | Inf
1603.40/1603.89 c 1503s| 6950k| 2445k| 0 | 0.0 |1016M| 34 | - | 40 |1758 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | -- | Inf
1605.60/1606.05 c 1505s| 6960k| 2449k| 0 | 0.0 |1017M| 34 | - | 40 |1727 | 0 | 0 | 0 | 525k| 0 | 0.000000e+00 | -- | Inf
1607.99/1608.45 c 1507s| 6970k| 2453k| 0 | 0.0 |1019M| 34 | - | 40 |1836 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | -- | Inf
1610.29/1610.74 c 1509s| 6980k| 2457k| 0 | 0.0 |1020M| 34 | - | 40 |1724 | 0 | 0 | 0 | 527k| 0 | 0.000000e+00 | -- | Inf
1612.59/1613.00 c 1511s| 6990k| 2461k| 0 | 0.0 |1022M| 34 | - | 40 |1452 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | -- | Inf
1614.79/1615.21 c 1513s| 7000k| 2465k| 0 | 0.0 |1023M| 34 | - | 40 |1580 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | -- | Inf
1616.98/1617.44 c 1515s| 7010k| 2469k| 0 | 0.0 |1025M| 34 | - | 40 |1488 | 0 | 0 | 0 | 529k| 0 | 0.000000e+00 | -- | Inf
1619.19/1619.66 c 1517s| 7020k| 2474k| 0 | 0.0 |1026M| 34 | - | 40 |1341 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | -- | Inf
1621.29/1621.74 c 1519s| 7030k| 2478k| 0 | 0.0 |1028M| 34 | - | 40 |1461 | 0 | 0 | 0 | 530k| 0 | 0.000000e+00 | -- | Inf
1623.39/1623.88 c 1521s| 7040k| 2482k| 0 | 0.0 |1029M| 34 | - | 40 |1302 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | -- | Inf
1625.48/1625.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1625.48/1625.99 c 1523s| 7050k| 2486k| 0 | 0.0 |1031M| 34 | - | 40 |1606 | 0 | 0 | 0 | 532k| 0 | 0.000000e+00 | -- | Inf
1627.89/1628.37 c 1526s| 7060k| 2490k| 0 | 0.0 |1033M| 34 | - | 40 |1614 | 0 | 0 | 0 | 533k| 0 | 0.000000e+00 | -- | Inf
1630.09/1630.55 c 1528s| 7070k| 2494k| 0 | 0.0 |1034M| 34 | - | 40 |1502 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | -- | Inf
1632.19/1632.68 c 1530s| 7080k| 2498k| 0 | 0.0 |1036M| 34 | - | 40 |1497 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | -- | Inf
1634.48/1634.91 c 1532s| 7090k| 2502k| 0 | 0.0 |1037M| 34 | - | 40 |1563 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | -- | Inf
1636.59/1637.05 c 1534s| 7100k| 2507k| 0 | 0.0 |1039M| 34 | - | 40 |1216 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | -- | Inf
1638.69/1639.11 c 1536s| 7110k| 2511k| 0 | 0.0 |1040M| 34 | - | 40 |1230 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | -- | Inf
1640.69/1641.14 c 1537s| 7120k| 2515k| 0 | 0.0 |1042M| 34 | - | 40 |1345 | 0 | 0 | 0 | 537k| 0 | 0.000000e+00 | -- | Inf
1642.78/1643.22 c 1539s| 7130k| 2520k| 0 | 0.0 |1044M| 34 | - | 40 |1270 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | -- | Inf
1644.88/1645.34 c 1541s| 7140k| 2524k| 0 | 0.0 |1045M| 34 | - | 40 |1528 | 0 | 0 | 0 | 538k| 0 | 0.000000e+00 | -- | Inf
1647.09/1647.51 c 1543s| 7150k| 2528k| 0 | 0.0 |1047M| 34 | - | 40 |1600 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | -- | Inf
1649.28/1649.78 c 1546s| 7160k| 2531k| 0 | 0.0 |1048M| 34 | - | 40 |1719 | 0 | 0 | 0 | 540k| 0 | 0.000000e+00 | -- | Inf
1651.58/1652.06 c 1548s| 7170k| 2536k| 0 | 0.0 |1050M| 34 | - | 40 |1696 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | -- | Inf
1653.99/1654.41 c 1550s| 7180k| 2540k| 0 | 0.0 |1052M| 34 | - | 40 |1753 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | -- | Inf
1656.19/1656.68 c 1552s| 7190k| 2544k| 0 | 0.0 |1053M| 34 | - | 40 |1706 | 0 | 0 | 0 | 542k| 0 | 0.000000e+00 | -- | Inf
1658.38/1658.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1658.38/1658.88 c 1554s| 7200k| 2548k| 0 | 0.0 |1055M| 34 | - | 40 |1491 | 0 | 0 | 0 | 543k| 0 | 0.000000e+00 | -- | Inf
1660.68/1661.17 c 1556s| 7210k| 2552k| 0 | 0.0 |1056M| 34 | - | 40 |1701 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | -- | Inf
1662.98/1663.45 c 1558s| 7220k| 2556k| 0 | 0.0 |1058M| 34 | - | 40 |1614 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | -- | Inf
1665.18/1665.68 c 1560s| 7230k| 2560k| 0 | 0.0 |1059M| 34 | - | 40 |1426 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | -- | Inf
1667.38/1667.86 c 1562s| 7240k| 2564k| 0 | 0.0 |1061M| 34 | - | 40 |1432 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | -- | Inf
1669.48/1669.94 c 1564s| 7250k| 2568k| 0 | 0.0 |1062M| 34 | - | 40 |1295 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | -- | Inf
1671.58/1672.04 c 1566s| 7260k| 2572k| 0 | 0.0 |1064M| 34 | - | 40 |1524 | 0 | 0 | 0 | 547k| 0 | 0.000000e+00 | -- | Inf
1673.88/1674.30 c 1568s| 7270k| 2576k| 0 | 0.0 |1066M| 34 | - | 40 |1478 | 0 | 0 | 0 | 548k| 0 | 0.000000e+00 | -- | Inf
1675.98/1676.49 c 1571s| 7280k| 2581k| 0 | 0.0 |1067M| 34 | - | 40 |1393 | 0 | 0 | 0 | 549k| 0 | 0.000000e+00 | -- | Inf
1678.08/1678.59 c 1572s| 7290k| 2585k| 0 | 0.0 |1069M| 34 | - | 40 |1398 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | -- | Inf
1680.28/1680.73 c 1574s| 7300k| 2589k| 0 | 0.0 |1070M| 34 | - | 40 |1487 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | -- | Inf
1682.38/1682.89 c 1577s| 7310k| 2593k| 0 | 0.0 |1072M| 34 | - | 40 |1227 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | -- | Inf
1684.47/1684.97 c 1578s| 7320k| 2598k| 0 | 0.0 |1073M| 34 | - | 40 |1185 | 0 | 0 | 0 | 552k| 0 | 0.000000e+00 | -- | Inf
1686.47/1686.94 c 1580s| 7330k| 2602k| 0 | 0.0 |1075M| 34 | - | 40 |1335 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | -- | Inf
1688.57/1689.01 c 1582s| 7340k| 2606k| 0 | 0.0 |1076M| 34 | - | 40 |1145 | 0 | 0 | 0 | 553k| 0 | 0.000000e+00 | -- | Inf
1690.57/1691.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1690.57/1691.04 c 1584s| 7350k| 2610k| 0 | 0.0 |1078M| 34 | - | 40 |1178 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | -- | Inf
1692.57/1693.07 c 1586s| 7360k| 2615k| 0 | 0.0 |1080M| 34 | - | 40 |1204 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | -- | Inf
1694.68/1695.11 c 1588s| 7370k| 2619k| 0 | 0.0 |1081M| 34 | - | 40 |1165 | 0 | 0 | 0 | 555k| 0 | 0.000000e+00 | -- | Inf
1696.56/1697.09 c 1590s| 7380k| 2623k| 0 | 0.0 |1083M| 34 | - | 40 |1309 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | -- | Inf
1698.67/1699.16 c 1592s| 7390k| 2627k| 0 | 0.0 |1084M| 34 | - | 40 |1335 | 0 | 0 | 0 | 557k| 0 | 0.000000e+00 | -- | Inf
1700.67/1701.18 c 1593s| 7400k| 2631k| 0 | 0.0 |1086M| 34 | - | 40 |1295 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | -- | Inf
1702.76/1703.23 c 1595s| 7410k| 2635k| 0 | 0.0 |1088M| 34 | - | 40 |1334 | 0 | 0 | 0 | 558k| 0 | 0.000000e+00 | -- | Inf
1704.77/1705.28 c 1597s| 7420k| 2640k| 0 | 0.0 |1089M| 34 | - | 40 |1174 | 0 | 0 | 0 | 559k| 0 | 0.000000e+00 | -- | Inf
1706.78/1707.21 c 1599s| 7430k| 2644k| 0 | 0.0 |1091M| 34 | - | 40 |1050 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | -- | Inf
1708.67/1709.19 c 1601s| 7440k| 2648k| 0 | 0.0 |1092M| 34 | - | 40 |1069 | 0 | 0 | 0 | 560k| 0 | 0.000000e+00 | -- | Inf
1710.87/1711.30 c 1603s| 7450k| 2652k| 0 | 0.0 |1094M| 34 | - | 40 |1282 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | -- | Inf
1712.97/1713.42 c 1605s| 7460k| 2656k| 0 | 0.0 |1095M| 34 | - | 40 |1103 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | -- | Inf
1715.06/1715.57 c 1607s| 7470k| 2660k| 0 | 0.0 |1097M| 34 | - | 40 |1123 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | -- | Inf
1717.17/1717.70 c 1609s| 7480k| 2663k| 0 | 0.0 |1098M| 34 | - | 40 |1407 | 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | -- | Inf
1719.57/1720.03 c 1611s| 7490k| 2667k| 0 | 0.0 |1100M| 34 | - | 40 |1546 | 0 | 0 | 0 | 564k| 0 | 0.000000e+00 | -- | Inf
1722.07/1722.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.07/1722.58 c 1613s| 7500k| 2670k| 0 | 0.0 |1101M| 34 | - | 40 |1578 | 0 | 0 | 0 | 565k| 0 | 0.000000e+00 | -- | Inf
1724.47/1724.98 c 1616s| 7510k| 2674k| 0 | 0.0 |1103M| 34 | - | 40 |1603 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | -- | Inf
1726.96/1727.47 c 1618s| 7520k| 2677k| 0 | 0.0 |1104M| 34 | - | 40 |1506 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | -- | Inf
1729.36/1729.87 c 1620s| 7530k| 2681k| 0 | 0.0 |1106M| 34 | - | 40 |1499 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | -- | Inf
1731.66/1732.19 c 1622s| 7540k| 2684k| 0 | 0.0 |1107M| 34 | - | 40 |1453 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | -- | Inf
1734.17/1734.67 c 1625s| 7550k| 2688k| 0 | 0.0 |1108M| 34 | - | 40 |1376 | 0 | 0 | 0 | 568k| 0 | 0.000000e+00 | -- | Inf
1736.47/1736.96 c 1627s| 7560k| 2691k| 0 | 0.0 |1110M| 34 | - | 40 |1281 | 0 | 0 | 0 | 569k| 0 | 0.000000e+00 | -- | Inf
1738.66/1739.15 c 1629s| 7570k| 2695k| 0 | 0.0 |1111M| 34 | - | 40 |1307 | 0 | 0 | 0 | 570k| 0 | 0.000000e+00 | -- | Inf
1740.96/1741.46 c 1631s| 7580k| 2698k| 0 | 0.0 |1113M| 34 | - | 40 |1147 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | -- | Inf
1743.26/1743.76 c 1633s| 7590k| 2702k| 0 | 0.0 |1114M| 34 | - | 40 |1419 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | -- | Inf
1745.76/1746.23 c 1636s| 7600k| 2705k| 0 | 0.0 |1116M| 34 | - | 40 |1518 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | -- | Inf
1748.16/1748.60 c 1638s| 7610k| 2709k| 0 | 0.0 |1117M| 34 | - | 40 |1298 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | -- | Inf
1750.46/1750.98 c 1640s| 7620k| 2712k| 0 | 0.0 |1118M| 34 | - | 40 |1347 | 0 | 0 | 0 | 573k| 0 | 0.000000e+00 | -- | Inf
1752.76/1753.21 c 1642s| 7630k| 2716k| 0 | 0.0 |1120M| 34 | - | 40 |1149 | 0 | 0 | 0 | 574k| 0 | 0.000000e+00 | -- | Inf
1754.96/1755.40 c 1644s| 7640k| 2720k| 0 | 0.0 |1121M| 34 | - | 40 |1148 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | -- | Inf
1757.26/1757.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1757.26/1757.70 c 1646s| 7650k| 2724k| 0 | 0.0 |1123M| 34 | - | 40 |1225 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | -- | Inf
1759.47/1759.91 c 1648s| 7660k| 2727k| 0 | 0.0 |1124M| 34 | - | 40 |1140 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | -- | Inf
1761.66/1762.17 c 1650s| 7670k| 2731k| 0 | 0.0 |1126M| 34 | - | 40 |1149 | 0 | 0 | 0 | 577k| 0 | 0.000000e+00 | -- | Inf
1763.96/1764.40 c 1653s| 7680k| 2735k| 0 | 0.0 |1127M| 34 | - | 40 |1174 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | -- | Inf
1766.16/1766.61 c 1655s| 7690k| 2738k| 0 | 0.0 |1128M| 34 | - | 40 |1201 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | -- | Inf
1768.36/1768.85 c 1657s| 7700k| 2742k| 0 | 0.0 |1130M| 34 | - | 40 |1353 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | -- | Inf
1770.65/1771.14 c 1659s| 7710k| 2745k| 0 | 0.0 |1131M| 34 | - | 40 |1314 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | -- | Inf
1772.95/1773.41 c 1661s| 7720k| 2749k| 0 | 0.0 |1133M| 34 | - | 40 |1255 | 0 | 0 | 0 | 580k| 0 | 0.000000e+00 | -- | Inf
1775.25/1775.74 c 1663s| 7730k| 2752k| 0 | 0.0 |1134M| 34 | - | 40 |1220 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | -- | Inf
1777.55/1778.06 c 1665s| 7740k| 2756k| 0 | 0.0 |1135M| 34 | - | 40 |1039 | 0 | 0 | 0 | 582k| 0 | 0.000000e+00 | -- | Inf
1779.65/1780.16 c 1667s| 7750k| 2760k| 0 | 0.0 |1137M| 34 | - | 40 |1120 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | -- | Inf
1781.95/1782.41 c 1669s| 7760k| 2763k| 0 | 0.0 |1138M| 34 | - | 40 |1110 | 0 | 0 | 0 | 583k| 0 | 0.000000e+00 | -- | Inf
1784.05/1784.59 c 1671s| 7770k| 2767k| 0 | 0.0 |1140M| 34 | - | 40 |1080 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | -- | Inf
1786.34/1786.81 c 1674s| 7780k| 2771k| 0 | 0.0 |1141M| 34 | - | 40 |1112 | 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | -- | Inf
1788.45/1788.95 c 1676s| 7790k| 2774k| 0 | 0.0 |1143M| 34 | - | 40 |1163 | 0 | 0 | 0 | 585k| 0 | 0.000000e+00 | -- | Inf
1790.54/1791.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1790.54/1791.05 c 1677s| 7800k| 2778k| 0 | 0.0 |1144M| 34 | - | 40 |1132 | 0 | 0 | 0 | 586k| 0 | 0.000000e+00 | -- | Inf
1792.84/1793.38 c 1680s| 7810k| 2782k| 0 | 0.0 |1146M| 34 | - | 40 |1094 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | -- | Inf
1795.05/1795.53 c 1682s| 7820k| 2785k| 0 | 0.0 |1147M| 34 | - | 40 |1123 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | -- | Inf
1797.24/1797.74 c 1684s| 7830k| 2789k| 0 | 0.0 |1148M| 34 | - | 40 |1188 | 0 | 0 | 0 | 588k| 0 | 0.000000e+00 | -- | Inf
1799.44/1799.91 c 1686s| 7840k| 2793k| 0 | 0.0 |1150M| 34 | - | 40 |1223 | 0 | 0 | 0 | 589k| 0 | 0.000000e+00 | -- | Inf
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1686.31
1800.05/1800.50 c Solving Nodes : 7842412
1800.05/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.50 c Dual Bound : +0.00000000000000e+00
1800.05/1800.50 c Gap : infinite
1800.05/1800.50 s UNKNOWN
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time : 1686.31
1800.05/1800.50 c Original Problem :
1800.05/1800.50 c Problem name : HOME/instance-2664022-1276618239.opb
1800.05/1800.50 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50 c Constraints : 11 initial, 11 maximal
1800.05/1800.50 c Presolved Problem :
1800.05/1800.50 c Problem name : t_HOME/instance-2664022-1276618239.opb
1800.05/1800.50 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.50 c Constraints : 5 initial, 7687 maximal
1800.05/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.05/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.50 c linear : 0.00 0 0 0 0 0 6 0 0
1800.05/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.50 c root node : - 0 - - 0 - - - -
1800.05/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.50 c linear : 5 0 10498127 0 5362262 2568013 25642762 0 0 0
1800.05/1800.50 c logicor : 0+ 0 3768369 0 0 37 364410 0 0 0
1800.05/1800.50 c countsols : 0 0 0 0 5362262 0 0 0 0 0
1800.05/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.50 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.50 c linear : 531.04 0.00 527.10 0.00 3.94
1800.05/1800.50 c logicor : 338.77 0.00 338.77 0.00 0.00
1800.05/1800.50 c countsols : 1.97 0.00 0.00 0.00 1.97
1800.05/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.50 c vbounds : 5.54 2 0 0
1800.05/1800.50 c rootredcost : 5.22 0 0 0
1800.05/1800.50 c pseudoobj : 4.31 0 0 0
1800.05/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.50 c propagation : 161.05 2568050 564609 1094439 27.1 0 0.0 -
1800.05/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.50 c applied globally : - - - 510424 24.8 - - -
1800.05/1800.50 c applied locally : - - - 78967 32.1 - - -
1800.05/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.50 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.50 c redcost : 0.00 0 0 0 0 0
1800.05/1800.50 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.50 c intobj : 0.00 0 0 0 0 0
1800.05/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.50 c gomory : 0.00 0 0 0 0 0
1800.05/1800.50 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.50 c cmir : 0.00 0 0 0 0 0
1800.05/1800.50 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.50 c clique : 0.00 0 0 0 0 0
1800.05/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.50 c mcf : 0.00 0 0 0 0 0
1800.05/1800.50 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.50 c Pricers : Time Calls Vars
1800.05/1800.50 c problem variables: 0.00 0 0
1800.05/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.50 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.50 c inference : 36.54 5362262 0 0 0 0 10724524
1800.05/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.50 c random : 0.00 0 0 0 0 0 0
1800.05/1800.50 c Primal Heuristics : Time Calls Found
1800.05/1800.50 c LP solutions : 0.00 - 0
1800.05/1800.50 c pseudo solutions : 0.00 - 0
1800.05/1800.50 c oneopt : 3.84 0 0
1800.05/1800.50 c trivial : 0.00 2 0
1800.05/1800.50 c simplerounding : 0.00 0 0
1800.05/1800.50 c zirounding : 0.00 0 0
1800.05/1800.50 c rounding : 0.00 0 0
1800.05/1800.50 c shifting : 0.00 0 0
1800.05/1800.50 c intshifting : 0.00 0 0
1800.05/1800.50 c twoopt : 0.00 0 0
1800.05/1800.50 c fixandinfer : 0.00 0 0
1800.05/1800.50 c feaspump : 0.00 0 0
1800.05/1800.50 c coefdiving : 0.00 0 0
1800.05/1800.50 c pscostdiving : 0.00 0 0
1800.05/1800.51 c fracdiving : 0.00 0 0
1800.05/1800.51 c veclendiving : 0.00 0 0
1800.05/1800.51 c intdiving : 0.00 0 0
1800.05/1800.51 c actconsdiving : 0.00 0 0
1800.05/1800.51 c objpscostdiving : 0.00 0 0
1800.05/1800.51 c rootsoldiving : 0.00 0 0
1800.05/1800.51 c linesearchdiving : 0.00 0 0
1800.05/1800.51 c guideddiving : 0.00 0 0
1800.05/1800.51 c octane : 0.00 0 0
1800.05/1800.51 c rens : 0.00 0 0
1800.05/1800.51 c rins : 0.00 0 0
1800.05/1800.51 c localbranching : 0.00 0 0
1800.05/1800.51 c mutation : 0.00 0 0
1800.05/1800.51 c crossover : 0.00 0 0
1800.05/1800.51 c dins : 0.00 0 0
1800.05/1800.51 c undercover : 0.00 0 0
1800.05/1800.51 c nlp : 4.22 0 0
1800.05/1800.51 c trysol : 3.55 0 0
1800.05/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.51 c (at root node) : - 0 0 0.00 -
1800.05/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.51 c B&B Tree :
1800.05/1800.51 c number of runs : 1
1800.05/1800.51 c nodes : 7842412
1800.05/1800.51 c nodes (total) : 7842412
1800.05/1800.51 c nodes left : 2794082
1800.05/1800.51 c max depth : 34
1800.05/1800.51 c max depth (total): 34
1800.05/1800.51 c backtracks : 909667 (11.6%)
1800.05/1800.51 c delayed cutoffs : 88031
1800.05/1800.51 c repropagations : 544061 (871186 domain reductions, 87900 cutoffs)
1800.05/1800.51 c avg switch length: 6.31
1800.05/1800.51 c switching time : 506.62
1800.05/1800.51 c Solution :
1800.05/1800.51 c Solutions found : 0 (0 improvements)
1800.05/1800.51 c Primal Bound : -
1800.05/1800.51 c Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Gap : infinite
1800.05/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.51 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-2664022-1276618239/watcher-2664022-1276618239 -o /tmp/evaluation-result-2664022-1276618239/solver-2664022-1276618239 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664022-1276618239.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 10209
/proc/meminfo: memFree=1768148/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=6584 CPUtime=0
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 1048 0 0 0 0 0 0 0 17 0 1 0 3115375 6742016 972 1992294400 4194304 7136930 140736364647280 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10209/statm: 1646 981 254 719 0 925 0
[startup+0.0518719 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 10209
/proc/meminfo: memFree=1768148/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=10820 CPUtime=0.04
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 2936 0 0 0 3 1 0 0 17 0 1 0 3115375 11079680 1992 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 2705 1992 387 719 0 1984 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10820
[startup+0.100876 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 10209
/proc/meminfo: memFree=1768148/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=11124 CPUtime=0.09
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 2982 0 0 0 8 1 0 0 17 0 1 0 3115375 11390976 2038 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 2781 2038 387 719 0 2060 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11124
[startup+0.300894 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 10209
/proc/meminfo: memFree=1768148/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=11616 CPUtime=0.29
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 3112 0 0 0 26 3 0 0 17 0 1 0 3115375 11894784 2168 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 2904 2168 387 719 0 2183 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11616
[startup+0.700929 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 10209
/proc/meminfo: memFree=1768148/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=12536 CPUtime=0.69
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 3362 0 0 0 61 8 0 0 17 0 1 0 3115375 12836864 2418 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 3134 2418 387 719 0 2413 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12536
[startup+1.501 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10210
/proc/meminfo: memFree=1759088/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=13844 CPUtime=1.49
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 3714 0 0 0 132 17 0 0 18 0 1 0 3115375 14176256 2770 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 3461 2770 387 719 0 2740 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13844
[startup+3.10114 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10210
/proc/meminfo: memFree=1756732/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=16888 CPUtime=3.09
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 4498 0 0 0 276 33 0 0 21 0 1 0 3115375 17293312 3554 1992294400 4194304 7136930 140736364647280 18446744073709551615 4704988 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 4222 3554 387 719 0 3501 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16888
[startup+6.30143 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10210
/proc/meminfo: memFree=1752020/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=20464 CPUtime=6.29
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 5407 0 0 0 573 56 0 0 25 0 1 0 3115375 20955136 4463 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 5116 4463 387 719 0 4395 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20464
[startup+12.701 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10212
/proc/meminfo: memFree=1743216/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=29872 CPUtime=12.69
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 7816 0 0 0 1154 115 0 0 25 0 1 0 3115375 30588928 6872 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 7468 6872 387 719 0 6747 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29872
[startup+25.5011 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10212
/proc/meminfo: memFree=1727716/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=46072 CPUtime=25.48
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 11504 0 0 0 2324 224 0 0 25 0 1 0 3115375 47177728 10560 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 11518 10560 387 719 0 10797 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46072
[startup+51.1004 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10212
/proc/meminfo: memFree=1688160/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=83156 CPUtime=51.08
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 21135 0 0 0 4624 484 0 0 25 0 1 0 3115375 85151744 20191 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 20789 20191 387 719 0 20068 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83156
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10214
/proc/meminfo: memFree=1635460/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=138252 CPUtime=102.26
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 34364 0 0 0 9316 910 0 0 25 0 1 0 3115375 141570048 33420 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 34563 33420 387 719 0 33842 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 138252
[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10216
/proc/meminfo: memFree=1561928/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=216728 CPUtime=162.25
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 52690 0 0 0 14744 1481 0 0 25 0 1 0 3115375 221929472 51746 1992294400 4194304 7136930 140736364647280 18446744073709551615 4209188 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 54182 51746 387 719 0 53461 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 216728
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10216
/proc/meminfo: memFree=1509600/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=266580 CPUtime=222.23
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 65584 0 0 0 20258 1965 0 0 25 0 1 0 3115375 272977920 64640 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 66645 64640 387 719 0 65924 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 266580
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10218
/proc/meminfo: memFree=1475128/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=300056 CPUtime=282.22
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 74160 0 0 0 25879 2343 0 0 25 0 1 0 3115375 307257344 73216 1992294400 4194304 7136930 140736364647280 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 75014 73216 387 719 0 74293 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 300056
[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10220
/proc/meminfo: memFree=1440656/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=334212 CPUtime=342.2
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 82968 0 0 0 31553 2667 0 0 25 0 1 0 3115375 342233088 82024 1992294400 4194304 7136930 140736364647280 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 83553 82024 387 719 0 82832 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 334212
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10222
/proc/meminfo: memFree=1379028/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=392720 CPUtime=402.19
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 98261 0 0 0 37066 3153 0 0 25 0 1 0 3115375 402145280 97317 1992294400 4194304 7136930 140736364647280 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 98180 97317 387 719 0 97459 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 392720
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10224
/proc/meminfo: memFree=1323228/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=462388 CPUtime=462.17
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 112146 0 0 0 42587 3630 0 0 25 0 1 0 3115375 473485312 111202 1992294400 4194304 7136930 140736364647280 18446744073709551615 4431486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 115597 111202 387 719 0 114876 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 462388
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10224
/proc/meminfo: memFree=1273132/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=510120 CPUtime=522.16
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 124545 0 0 0 48124 4092 0 0 25 0 1 0 3115375 522362880 123601 1992294400 4194304 7136930 140736364647280 18446744073709551615 4223056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 127530 123601 387 719 0 126809 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 510120
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10226
/proc/meminfo: memFree=1223408/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=557572 CPUtime=582.15
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 136869 0 0 0 53651 4564 0 0 25 0 1 0 3115375 570953728 135925 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 139393 135925 387 719 0 138672 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 557572
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10228
/proc/meminfo: memFree=1182488/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=596812 CPUtime=642.14
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 146999 0 0 0 59224 4990 0 0 25 0 1 0 3115375 611135488 146055 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 149203 146055 387 719 0 148482 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 596812
[startup+702.301 s]
################
# More data... #
################
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 192215 0 0 0 93064 7140 0 0 25 0 1 0 3115375 790945792 191271 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 193102 191271 387 719 0 192381 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 772408
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10240
/proc/meminfo: memFree=979748/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=792520 CPUtime=1062.03
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 197360 0 0 0 98795 7408 0 0 25 0 1 0 3115375 811540480 196416 1992294400 4194304 7136930 140736364647280 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 198130 196416 387 719 0 197409 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 792520
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10240
/proc/meminfo: memFree=968836/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=803384 CPUtime=1122.02
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 200064 0 0 0 104572 7630 0 0 25 0 1 0 3115375 822665216 199120 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 200846 199120 387 719 0 200125 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 803384
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10242
/proc/meminfo: memFree=960404/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=811548 CPUtime=1182
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 202142 0 0 0 110401 7799 0 0 25 0 1 0 3115375 831025152 201198 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 202887 201198 387 719 0 202166 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 811548
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10244
/proc/meminfo: memFree=956312/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=815952 CPUtime=1241.99
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 203144 0 0 0 116293 7906 0 0 25 0 1 0 3115375 835534848 202200 1992294400 4194304 7136930 140736364647280 18446744073709551615 4210296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 203988 202200 387 719 0 203267 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 815952
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 10249
/proc/meminfo: memFree=907820/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=836412 CPUtime=1301.98
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 208447 0 0 0 122104 8094 0 0 25 0 1 0 3115375 856485888 207503 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 209103 207503 387 719 0 208382 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 836412
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10251
/proc/meminfo: memFree=892204/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=877176 CPUtime=1361.95
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 219145 0 0 0 127762 8433 0 0 25 0 1 0 3115375 898228224 218201 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 219294 218201 387 719 0 218573 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 877176
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10251
/proc/meminfo: memFree=839504/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=959828 CPUtime=1421.94
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 232211 0 0 0 133338 8856 0 0 25 0 1 0 3115375 982863872 231267 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 239957 231267 387 719 0 239236 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 959828
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10253
/proc/meminfo: memFree=791888/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=1006764 CPUtime=1481.92
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 244386 0 0 0 138931 9261 0 0 25 0 1 0 3115375 1030926336 243442 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 251691 243442 387 719 0 250970 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1006764
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10255
/proc/meminfo: memFree=741048/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=1053860 CPUtime=1541.91
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 256699 0 0 0 144494 9697 0 0 25 0 1 0 3115375 1079152640 255755 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 263465 255755 387 719 0 262744 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1053860
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10257
/proc/meminfo: memFree=701120/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=1092092 CPUtime=1601.89
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 266679 0 0 0 150120 10069 0 0 25 0 1 0 3115375 1118302208 265735 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 273023 265735 387 719 0 272302 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1092092
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10259
/proc/meminfo: memFree=658340/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=1133032 CPUtime=1661.88
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 277367 0 0 0 155727 10461 0 0 25 0 1 0 3115375 1160224768 276423 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 283258 276423 387 719 0 282537 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1133032
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10259
/proc/meminfo: memFree=609980/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=1179360 CPUtime=1721.86
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 289328 0 0 0 161309 10877 0 0 25 0 1 0 3115375 1207664640 288384 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 294840 288384 387 719 0 294119 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1179360
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10261
/proc/meminfo: memFree=572780/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=1214612 CPUtime=1781.85
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 298520 0 0 0 166927 11258 0 0 25 0 1 0 3115375 1243762688 297576 1992294400 4194304 7136930 140736364647280 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 303653 297576 387 719 0 302932 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1214612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10261
/proc/meminfo: memFree=561372/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=1225612 CPUtime=1800.05
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 301394 0 0 0 168631 11374 0 0 25 0 1 0 3115375 1255026688 300450 1992294400 4194304 7136930 140736364647280 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10209/statm: 306403 300450 387 719 0 305682 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1225612
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10209
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10262
/proc/meminfo: memFree=561364/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=1225612 CPUtime=1800.95
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 301400 0 0 0 168721 11374 0 0 25 0 1 0 3115375 1255026688 300456 1992294400 4194304 7136930 140736364647280 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10209/statm: 306403 300456 393 719 0 305682 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 1225612
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10262
/proc/meminfo: memFree=561364/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=1225612 CPUtime=1801.75
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4202496 301400 0 0 0 168801 11374 0 0 25 0 1 0 3115375 1255026688 300456 1992294400 4194304 7136930 140736364647280 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10209/statm: 306403 300456 393 719 0 305682 0
Current children cumulated CPU time (s) 1801.75
Current children cumulated vsize (KiB) 1225612
[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10262
/proc/meminfo: memFree=561364/2059040 swapFree=4192956/4192956
[pid=10209] ppid=10207 vsize=0 CPUtime=1802.15
/proc/10209/stat : 10209 (pbscip.linux.x8) R 10207 10209 10184 0 -1 4203524 301400 0 0 0 168832 11383 0 0 25 0 1 0 3115375 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/10209/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.62
CPU time (s): 1802.18
CPU user time (s): 1688.32
CPU system time (s): 113.854
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 1225612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1688.32
system time used= 113.854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 301400
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= 1
involuntary context switches= 2240
runsolver used 3.12752 second user time and 8.40972 second system time
The end