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-2693716-1277971516.wbo>
0.00/0.00 c original problem has 248 variables (234 bin, 0 int, 0 impl, 14 cont) and 57 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.00 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.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14 impls, 13 clqs
0.00/0.00 c (round 2) 0 del vars, 1 del conss, 14 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14 impls, 13 clqs
0.00/0.00 c (round 3) 0 del vars, 1 del conss, 14 chg bounds, 0 chg sides, 0 chg coeffs, 15 upgd conss, 14 impls, 13 clqs
0.00/0.01 c (round 4) 0 del vars, 1 del conss, 14 chg bounds, 0 chg sides, 0 chg coeffs, 28 upgd conss, 14 impls, 13 clqs
0.00/0.01 c (0.0s) probing: 101/234 (43.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (5 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 14 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 14 implications, 13 cliques
0.00/0.01 c presolved problem has 248 variables (234 bin, 0 int, 0 impl, 14 cont) and 56 constraints
0.00/0.01 c 14 constraints of type <indicator>
0.00/0.01 c 13 constraints of type <setppc>
0.00/0.01 c 14 constraints of type <linear>
0.00/0.01 c 15 constraints of type <logicor>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.2
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1800
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c lp/solvefreq = -1
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 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.01 c 0.0s| 1 | 2 | 0 | - | 630k| 0 | - | 248 | 56 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.51 c 0.3s| 10000 | 8877 | 0 | 0.0 |4161k| 133 | - | 248 | 785 | 0 | 0 | 0 |3184 | 0 | 0.000000e+00 | -- | Inf
0.99/1.08 c 0.7s| 20000 | 17559 | 0 | 0.0 |7434k| 133 | - | 248 |1177 | 0 | 0 | 0 |7519 | 0 | 0.000000e+00 | -- | Inf
1.69/1.71 c 1.1s| 30000 | 25820 | 0 | 0.0 | 10M| 133 | - | 248 |1207 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
2.49/2.52 c 1.7s| 40000 | 33045 | 0 | 0.0 | 14M| 133 | - | 248 |1695 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
3.39/3.48 c 2.5s| 50000 | 39370 | 0 | 0.0 | 17M| 133 | - | 248 | 715 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
3.99/4.08 c 2.9s| 60000 | 48074 | 0 | 0.0 | 20M| 133 | - | 248 |1425 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
4.59/4.69 c 3.3s| 70000 | 56782 | 0 | 0.0 | 24M| 133 | - | 248 |1501 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
5.29/5.31 c 3.8s| 80000 | 65490 | 0 | 0.0 | 27M| 133 | - | 248 |1482 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
5.89/5.94 c 4.2s| 90000 | 74127 | 0 | 0.0 | 30M| 133 | - | 248 |1487 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
6.50/6.56 c 4.7s|100000 | 82773 | 0 | 0.0 | 33M| 133 | - | 248 |1485 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
7.20/7.21 c 5.1s|110000 | 91253 | 0 | 0.0 | 36M| 133 | - | 248 |1554 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
7.79/7.86 c 5.6s|120000 | 99657 | 0 | 0.0 | 39M| 133 | - | 248 |1528 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
8.49/8.53 c 6.1s|130000 |108096 | 0 | 0.0 | 42M| 133 | - | 248 |1640 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
9.19/9.20 c 6.6s|140000 |116506 | 0 | 0.0 | 45M| 133 | - | 248 |1671 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
9.80/9.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.80/9.88 c 7.1s|150000 |124861 | 0 | 0.0 | 48M| 133 | - | 248 |1701 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
10.49/10.58 c 7.6s|160000 |133112 | 0 | 0.0 | 51M| 133 | - | 248 |1815 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
11.20/11.28 c 8.2s|170000 |141361 | 0 | 0.0 | 55M| 133 | - | 248 |1851 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
11.99/12.00 c 8.7s|180000 |149525 | 0 | 0.0 | 58M| 133 | - | 248 |2097 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
12.69/12.71 c 9.2s|190000 |157731 | 0 | 0.0 | 61M| 133 | - | 248 |2027 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
13.39/13.48 c 9.8s|200000 |165684 | 0 | 0.0 | 64M| 133 | - | 248 |2207 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
14.20/14.22 c 10.4s|210000 |173744 | 0 | 0.0 | 67M| 133 | - | 248 |1920 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
15.00/15.01 c 11.0s|220000 |181635 | 0 | 0.0 | 70M| 133 | - | 248 |2103 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
15.79/15.80 c 11.6s|230000 |189514 | 0 | 0.0 | 74M| 133 | - | 248 |2228 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
16.59/16.61 c 12.2s|240000 |197276 | 0 | 0.0 | 77M| 133 | - | 248 |2460 | 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | -- | Inf
17.39/17.46 c 12.9s|250000 |204872 | 0 | 0.0 | 80M| 133 | - | 248 |2803 | 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | -- | Inf
18.29/18.30 c 13.5s|260000 |212577 | 0 | 0.0 | 83M| 133 | - | 248 |2383 | 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | -- | Inf
19.09/19.19 c 14.2s|270000 |220149 | 0 | 0.0 | 86M| 133 | - | 248 |2330 | 0 | 0 | 0 | 138k| 0 | 0.000000e+00 | -- | Inf
20.09/20.13 c 15.0s|280000 |227560 | 0 | 0.0 | 90M| 133 | - | 248 |2669 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | -- | Inf
20.99/21.06 c 15.7s|290000 |234955 | 0 | 0.0 | 93M| 133 | - | 248 |3121 | 0 | 0 | 0 | 152k| 0 | 0.000000e+00 | -- | Inf
22.00/22.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.00/22.02 c 16.5s|300000 |242290 | 0 | 0.0 | 97M| 133 | - | 248 |3472 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | -- | Inf
23.00/23.03 c 17.3s|310000 |249471 | 0 | 0.0 | 100M| 133 | - | 248 |2863 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | -- | Inf
24.10/24.10 c 18.2s|320000 |256468 | 0 | 0.0 | 103M| 133 | - | 248 |3100 | 0 | 0 | 0 | 173k| 0 | 0.000000e+00 | -- | Inf
25.20/25.25 c 19.1s|330000 |263218 | 0 | 0.0 | 106M| 133 | - | 248 |3019 | 0 | 0 | 0 | 181k| 0 | 0.000000e+00 | -- | Inf
26.40/26.40 c 20.0s|340000 |269989 | 0 | 0.0 | 110M| 133 | - | 248 |3461 | 0 | 0 | 0 | 189k| 0 | 0.000000e+00 | -- | Inf
27.59/27.61 c 21.0s|350000 |276570 | 0 | 0.0 | 113M| 133 | - | 248 |3956 | 0 | 0 | 0 | 197k| 0 | 0.000000e+00 | -- | Inf
28.79/28.82 c 22.1s|360000 |283057 | 0 | 0.0 | 117M| 133 | - | 248 |4260 | 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | -- | Inf
30.09/30.11 c 23.1s|370000 |289409 | 0 | 0.0 | 120M| 133 | - | 248 |4150 | 0 | 0 | 0 | 215k| 0 | 0.000000e+00 | -- | Inf
31.29/31.38 c 24.2s|380000 |295774 | 0 | 0.0 | 123M| 133 | - | 248 |4095 | 0 | 0 | 0 | 223k| 0 | 0.000000e+00 | -- | Inf
32.69/32.73 c 25.3s|390000 |301906 | 0 | 0.0 | 127M| 133 | - | 248 |3902 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | -- | Inf
34.10/34.13 c 26.5s|400000 |307865 | 0 | 0.0 | 130M| 133 | - | 248 |3933 | 0 | 0 | 0 | 241k| 0 | 0.000000e+00 | -- | Inf
35.59/35.63 c 27.8s|410000 |313527 | 0 | 0.0 | 133M| 133 | - | 248 |4325 | 0 | 0 | 0 | 251k| 0 | 0.000000e+00 | -- | Inf
37.19/37.21 c 29.1s|420000 |318907 | 0 | 0.0 | 137M| 133 | - | 248 |4502 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | -- | Inf
38.79/38.89 c 30.6s|430000 |323995 | 0 | 0.0 | 140M| 133 | - | 248 |4908 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | -- | Inf
40.60/40.65 c 32.1s|440000 |328981 | 0 | 0.0 | 144M| 133 | - | 248 |4612 | 0 | 0 | 0 | 283k| 0 | 0.000000e+00 | -- | Inf
42.49/42.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.49/42.58 c 33.8s|450000 |333385 | 0 | 0.0 | 147M| 133 | - | 248 |5184 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | -- | Inf
44.60/44.64 c 35.5s|460000 |337387 | 0 | 0.0 | 151M| 133 | - | 248 |4936 | 0 | 0 | 0 | 308k| 0 | 0.000000e+00 | -- | Inf
46.79/46.89 c 37.5s|470000 |340748 | 0 | 0.0 | 154M| 133 | - | 248 |5237 | 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | -- | Inf
49.39/49.42 c 39.8s|480000 |343191 | 0 | 0.0 | 157M| 133 | - | 248 |5513 | 0 | 0 | 0 | 335k| 0 | 0.000000e+00 | -- | Inf
51.79/51.84 c 41.9s|490000 |345026 | 0 | 0.0 | 160M| 133 | - | 248 |2836 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
52.19/52.29 c 42.2s|500000 |354982 | 0 | 0.0 | 162M| 133 | - | 248 | 228 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
52.69/52.71 c 42.4s|510000 |364917 | 0 | 0.0 | 165M| 133 | - | 248 | 245 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
53.10/53.14 c 42.7s|520000 |374788 | 0 | 0.0 | 168M| 133 | - | 248 | 348 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
53.49/53.57 c 42.9s|530000 |384684 | 0 | 0.0 | 171M| 133 | - | 248 | 355 | 0 | 0 | 0 | 345k| 0 | 0.000000e+00 | -- | Inf
54.00/54.02 c 43.2s|540000 |394543 | 0 | 0.0 | 175M| 133 | - | 248 | 418 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
54.39/54.49 c 43.5s|550000 |404350 | 0 | 0.0 | 178M| 133 | - | 248 | 562 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | -- | Inf
55.00/55.01 c 43.8s|560000 |413934 | 0 | 0.0 | 182M| 133 | - | 248 | 969 | 0 | 0 | 0 | 347k| 0 | 0.000000e+00 | -- | Inf
55.79/55.85 c 44.5s|570000 |422018 | 0 | 0.0 | 186M| 133 | - | 248 |2577 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | -- | Inf
56.70/56.74 c 45.1s|580000 |430168 | 0 | 0.0 | 189M| 133 | - | 248 |2412 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | -- | Inf
57.59/57.61 c 45.8s|590000 |438327 | 0 | 0.0 | 192M| 133 | - | 248 |2321 | 0 | 0 | 0 | 366k| 0 | 0.000000e+00 | -- | Inf
58.39/58.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.39/58.48 c 46.5s|600000 |446472 | 0 | 0.0 | 195M| 133 | - | 248 |2394 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | -- | Inf
59.30/59.33 c 47.2s|610000 |454654 | 0 | 0.0 | 198M| 133 | - | 248 |2470 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | -- | Inf
60.20/60.22 c 47.9s|620000 |462745 | 0 | 0.0 | 202M| 133 | - | 248 |2661 | 0 | 0 | 0 | 384k| 0 | 0.000000e+00 | -- | Inf
61.00/61.08 c 48.6s|630000 |470862 | 0 | 0.0 | 205M| 133 | - | 248 |2725 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | -- | Inf
61.89/61.93 c 49.3s|640000 |479073 | 0 | 0.0 | 208M| 133 | - | 248 |2615 | 0 | 0 | 0 | 395k| 0 | 0.000000e+00 | -- | Inf
62.79/62.81 c 50.0s|650000 |487115 | 0 | 0.0 | 211M| 133 | - | 248 |2729 | 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | -- | Inf
63.60/63.66 c 50.6s|660000 |495277 | 0 | 0.0 | 214M| 133 | - | 248 |2653 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | -- | Inf
64.49/64.52 c 51.3s|670000 |503387 | 0 | 0.0 | 217M| 133 | - | 248 |2806 | 0 | 0 | 0 | 411k| 0 | 0.000000e+00 | -- | Inf
65.39/65.41 c 52.0s|680000 |511488 | 0 | 0.0 | 221M| 133 | - | 248 |2716 | 0 | 0 | 0 | 416k| 0 | 0.000000e+00 | -- | Inf
66.20/66.24 c 52.7s|690000 |519730 | 0 | 0.0 | 224M| 133 | - | 248 |2801 | 0 | 0 | 0 | 421k| 0 | 0.000000e+00 | -- | Inf
67.10/67.17 c 53.4s|700000 |527766 | 0 | 0.0 | 227M| 133 | - | 248 |3048 | 0 | 0 | 0 | 428k| 0 | 0.000000e+00 | -- | Inf
67.99/68.07 c 54.1s|710000 |535876 | 0 | 0.0 | 230M| 133 | - | 248 |2837 | 0 | 0 | 0 | 433k| 0 | 0.000000e+00 | -- | Inf
68.89/68.97 c 54.9s|720000 |543974 | 0 | 0.0 | 233M| 133 | - | 248 |2798 | 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | -- | Inf
69.89/69.92 c 55.6s|730000 |551866 | 0 | 0.0 | 237M| 133 | - | 248 |3104 | 0 | 0 | 0 | 444k| 0 | 0.000000e+00 | -- | Inf
70.89/70.91 c 56.5s|740000 |559782 | 0 | 0.0 | 240M| 133 | - | 248 |3127 | 0 | 0 | 0 | 450k| 0 | 0.000000e+00 | -- | Inf
71.79/71.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.79/71.84 c 57.2s|750000 |567846 | 0 | 0.0 | 243M| 133 | - | 248 |2901 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | -- | Inf
72.69/72.75 c 57.9s|760000 |575926 | 0 | 0.0 | 246M| 133 | - | 248 |2772 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | -- | Inf
73.70/73.75 c 58.7s|770000 |583687 | 0 | 0.0 | 250M| 133 | - | 248 |3272 | 0 | 0 | 0 | 467k| 0 | 0.000000e+00 | -- | Inf
74.70/74.70 c 59.5s|780000 |591640 | 0 | 0.0 | 253M| 133 | - | 248 |2990 | 0 | 0 | 0 | 472k| 0 | 0.000000e+00 | -- | Inf
75.59/75.62 c 60.2s|790000 |599669 | 0 | 0.0 | 256M| 133 | - | 248 |2926 | 0 | 0 | 0 | 478k| 0 | 0.000000e+00 | -- | Inf
76.49/76.56 c 61.0s|800000 |607625 | 0 | 0.0 | 259M| 133 | - | 248 |3140 | 0 | 0 | 0 | 483k| 0 | 0.000000e+00 | -- | Inf
77.50/77.55 c 61.8s|810000 |615483 | 0 | 0.0 | 262M| 133 | - | 248 |3402 | 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | -- | Inf
78.50/78.53 c 62.6s|820000 |623405 | 0 | 0.0 | 266M| 133 | - | 248 |3235 | 0 | 0 | 0 | 495k| 0 | 0.000000e+00 | -- | Inf
79.39/79.48 c 63.4s|830000 |631377 | 0 | 0.0 | 269M| 133 | - | 248 |3189 | 0 | 0 | 0 | 500k| 0 | 0.000000e+00 | -- | Inf
80.49/80.51 c 64.2s|840000 |639156 | 0 | 0.0 | 272M| 133 | - | 248 |3115 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | -- | Inf
81.40/81.49 c 65.0s|850000 |647079 | 0 | 0.0 | 275M| 133 | - | 248 |3029 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | -- | Inf
82.40/82.50 c 65.8s|860000 |654901 | 0 | 0.0 | 278M| 133 | - | 248 |3341 | 0 | 0 | 0 | 517k| 0 | 0.000000e+00 | -- | Inf
83.50/83.52 c 66.7s|870000 |662753 | 0 | 0.0 | 282M| 133 | - | 248 |3409 | 0 | 0 | 0 | 522k| 0 | 0.000000e+00 | -- | Inf
84.60/84.60 c 67.6s|880000 |670450 | 0 | 0.0 | 285M| 133 | - | 248 |3597 | 0 | 0 | 0 | 528k| 0 | 0.000000e+00 | -- | Inf
85.60/85.69 c 68.5s|890000 |678181 | 0 | 0.0 | 288M| 133 | - | 248 |3438 | 0 | 0 | 0 | 534k| 0 | 0.000000e+00 | -- | Inf
86.70/86.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.70/86.71 c 69.3s|900000 |686111 | 0 | 0.0 | 291M| 133 | - | 248 |3286 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | -- | Inf
87.69/87.74 c 70.2s|910000 |693931 | 0 | 0.0 | 294M| 133 | - | 248 |3449 | 0 | 0 | 0 | 545k| 0 | 0.000000e+00 | -- | Inf
88.69/88.70 c 71.0s|920000 |701835 | 0 | 0.0 | 298M| 133 | - | 248 |3445 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | -- | Inf
89.69/89.71 c 71.8s|930000 |709617 | 0 | 0.0 | 301M| 133 | - | 248 |3618 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | -- | Inf
90.59/90.69 c 72.6s|940000 |717488 | 0 | 0.0 | 304M| 133 | - | 248 |3413 | 0 | 0 | 0 | 562k| 0 | 0.000000e+00 | -- | Inf
91.59/91.63 c 73.3s|950000 |725492 | 0 | 0.0 | 307M| 133 | - | 248 |3339 | 0 | 0 | 0 | 567k| 0 | 0.000000e+00 | -- | Inf
92.59/92.61 c 74.2s|960000 |733392 | 0 | 0.0 | 311M| 133 | - | 248 |3722 | 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | -- | Inf
93.50/93.59 c 75.0s|970000 |741252 | 0 | 0.0 | 314M| 133 | - | 248 |3566 | 0 | 0 | 0 | 578k| 0 | 0.000000e+00 | -- | Inf
94.50/94.59 c 75.8s|980000 |749015 | 0 | 0.0 | 317M| 133 | - | 248 |3710 | 0 | 0 | 0 | 584k| 0 | 0.000000e+00 | -- | Inf
95.60/95.68 c 76.7s|990000 |756616 | 0 | 0.0 | 321M| 133 | - | 248 |3673 | 0 | 0 | 0 | 590k| 0 | 0.000000e+00 | -- | Inf
96.59/96.68 c 77.5s| 1000k|764495 | 0 | 0.0 | 324M| 133 | - | 248 |3594 | 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | -- | Inf
97.60/97.68 c 78.3s| 1010k|772368 | 0 | 0.0 | 327M| 133 | - | 248 |3830 | 0 | 0 | 0 | 602k| 0 | 0.000000e+00 | -- | Inf
98.59/98.67 c 79.1s| 1020k|780286 | 0 | 0.0 | 330M| 133 | - | 248 |3649 | 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | -- | Inf
99.59/99.69 c 79.9s| 1030k|788051 | 0 | 0.0 | 334M| 133 | - | 248 |3758 | 0 | 0 | 0 | 613k| 0 | 0.000000e+00 | -- | Inf
100.70/100.78 c 80.8s| 1040k|795644 | 0 | 0.0 | 337M| 133 | - | 248 |4154 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | -- | Inf
101.79/101.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.79/101.83 c 81.7s| 1050k|803381 | 0 | 0.0 | 340M| 133 | - | 248 |3795 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | -- | Inf
102.80/102.89 c 82.5s| 1060k|811108 | 0 | 0.0 | 344M| 133 | - | 248 |3911 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | -- | Inf
103.89/103.93 c 83.4s| 1070k|818933 | 0 | 0.0 | 347M| 133 | - | 248 |3850 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | -- | Inf
105.00/105.00 c 84.3s| 1080k|826674 | 0 | 0.0 | 350M| 133 | - | 248 |3888 | 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | -- | Inf
105.99/106.03 c 85.1s| 1090k|834479 | 0 | 0.0 | 354M| 133 | - | 248 |3838 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | -- | Inf
107.09/107.18 c 86.1s| 1100k|842108 | 0 | 0.0 | 357M| 133 | - | 248 |3869 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | -- | Inf
108.39/108.44 c 87.1s| 1110k|849471 | 0 | 0.0 | 360M| 133 | - | 248 |4062 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | -- | Inf
109.49/109.56 c 88.0s| 1120k|857099 | 0 | 0.0 | 363M| 133 | - | 248 |4222 | 0 | 0 | 0 | 667k| 0 | 0.000000e+00 | -- | Inf
110.69/110.73 c 89.0s| 1130k|864746 | 0 | 0.0 | 366M| 133 | - | 248 |3996 | 0 | 0 | 0 | 674k| 0 | 0.000000e+00 | -- | Inf
111.79/111.89 c 90.0s| 1140k|872389 | 0 | 0.0 | 370M| 133 | - | 248 |4089 | 0 | 0 | 0 | 681k| 0 | 0.000000e+00 | -- | Inf
112.99/113.02 c 90.9s| 1150k|880189 | 0 | 0.0 | 373M| 133 | - | 248 |3929 | 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | -- | Inf
114.10/114.16 c 91.9s| 1160k|887931 | 0 | 0.0 | 376M| 133 | - | 248 |3878 | 0 | 0 | 0 | 692k| 0 | 0.000000e+00 | -- | Inf
115.19/115.28 c 92.8s| 1170k|895581 | 0 | 0.0 | 379M| 133 | - | 248 |3945 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | -- | Inf
116.40/116.41 c 93.8s| 1180k|903186 | 0 | 0.0 | 382M| 133 | - | 248 |4314 | 0 | 0 | 0 | 704k| 0 | 0.000000e+00 | -- | Inf
117.70/117.73 c 94.9s| 1190k|910562 | 0 | 0.0 | 386M| 133 | - | 248 |4402 | 0 | 0 | 0 | 712k| 0 | 0.000000e+00 | -- | Inf
119.00/119.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.00/119.01 c 96.0s| 1200k|918038 | 0 | 0.0 | 389M| 133 | - | 248 |4345 | 0 | 0 | 0 | 719k| 0 | 0.000000e+00 | -- | Inf
120.19/120.23 c 97.0s| 1210k|925564 | 0 | 0.0 | 392M| 133 | - | 248 |4564 | 0 | 0 | 0 | 726k| 0 | 0.000000e+00 | -- | Inf
121.39/121.47 c 98.1s| 1220k|933099 | 0 | 0.0 | 395M| 133 | - | 248 |4236 | 0 | 0 | 0 | 733k| 0 | 0.000000e+00 | -- | Inf
122.59/122.61 c 99.0s| 1230k|940842 | 0 | 0.0 | 398M| 133 | - | 248 |4275 | 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | -- | Inf
123.69/123.73 c 99.9s| 1240k|948557 | 0 | 0.0 | 401M| 133 | - | 248 |3952 | 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | -- | Inf
124.89/124.95 c 101s| 1250k|956139 | 0 | 0.0 | 405M| 133 | - | 248 |4028 | 0 | 0 | 0 | 750k| 0 | 0.000000e+00 | -- | Inf
126.20/126.21 c 102s| 1260k|963653 | 0 | 0.0 | 408M| 133 | - | 248 |4380 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | -- | Inf
127.39/127.49 c 103s| 1270k|970932 | 0 | 0.0 | 411M| 133 | - | 248 |4482 | 0 | 0 | 0 | 764k| 0 | 0.000000e+00 | -- | Inf
128.79/128.82 c 104s| 1280k|978328 | 0 | 0.0 | 414M| 133 | - | 248 |4625 | 0 | 0 | 0 | 771k| 0 | 0.000000e+00 | -- | Inf
130.10/130.16 c 105s| 1290k|985730 | 0 | 0.0 | 418M| 133 | - | 248 |4624 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | -- | Inf
131.49/131.50 c 106s| 1300k|993225 | 0 | 0.0 | 421M| 133 | - | 248 |4472 | 0 | 0 | 0 | 785k| 0 | 0.000000e+00 | -- | Inf
132.59/132.69 c 107s| 1310k| 1000k| 0 | 0.0 | 424M| 133 | - | 248 |4251 | 0 | 0 | 0 | 791k| 0 | 0.000000e+00 | -- | Inf
133.90/133.93 c 109s| 1320k| 1008k| 0 | 0.0 | 427M| 133 | - | 248 |4331 | 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | -- | Inf
135.10/135.19 c 110s| 1330k| 1016k| 0 | 0.0 | 430M| 133 | - | 248 |4210 | 0 | 0 | 0 | 803k| 0 | 0.000000e+00 | -- | Inf
136.40/136.45 c 111s| 1340k| 1023k| 0 | 0.0 | 433M| 133 | - | 248 |4278 | 0 | 0 | 0 | 809k| 0 | 0.000000e+00 | -- | Inf
137.79/137.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.79/137.84 c 112s| 1350k| 1030k| 0 | 0.0 | 437M| 133 | - | 248 |4791 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | -- | Inf
139.30/139.30 c 113s| 1360k| 1038k| 0 | 0.0 | 440M| 133 | - | 248 |4909 | 0 | 0 | 0 | 823k| 0 | 0.000000e+00 | -- | Inf
140.70/140.75 c 114s| 1370k| 1045k| 0 | 0.0 | 443M| 133 | - | 248 |4914 | 0 | 0 | 0 | 831k| 0 | 0.000000e+00 | -- | Inf
142.10/142.15 c 116s| 1380k| 1052k| 0 | 0.0 | 446M| 133 | - | 248 |4716 | 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | -- | Inf
143.50/143.54 c 117s| 1390k| 1060k| 0 | 0.0 | 449M| 133 | - | 248 |4537 | 0 | 0 | 0 | 846k| 0 | 0.000000e+00 | -- | Inf
144.79/144.85 c 118s| 1400k| 1067k| 0 | 0.0 | 453M| 133 | - | 248 |4514 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | -- | Inf
146.10/146.15 c 119s| 1410k| 1075k| 0 | 0.0 | 456M| 133 | - | 248 |4242 | 0 | 0 | 0 | 858k| 0 | 0.000000e+00 | -- | Inf
147.40/147.43 c 120s| 1420k| 1082k| 0 | 0.0 | 459M| 133 | - | 248 |4461 | 0 | 0 | 0 | 864k| 0 | 0.000000e+00 | -- | Inf
148.70/148.73 c 121s| 1430k| 1090k| 0 | 0.0 | 462M| 133 | - | 248 |4800 | 0 | 0 | 0 | 871k| 0 | 0.000000e+00 | -- | Inf
150.10/150.12 c 122s| 1440k| 1097k| 0 | 0.0 | 466M| 133 | - | 248 |4972 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | -- | Inf
151.60/151.60 c 124s| 1450k| 1104k| 0 | 0.0 | 469M| 133 | - | 248 |4727 | 0 | 0 | 0 | 885k| 0 | 0.000000e+00 | -- | Inf
152.99/153.04 c 125s| 1460k| 1111k| 0 | 0.0 | 472M| 133 | - | 248 |4920 | 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | -- | Inf
154.50/154.52 c 126s| 1470k| 1118k| 0 | 0.0 | 475M| 133 | - | 248 |5096 | 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | -- | Inf
155.89/155.93 c 127s| 1480k| 1126k| 0 | 0.0 | 478M| 133 | - | 248 |4784 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | -- | Inf
157.20/157.29 c 129s| 1490k| 1133k| 0 | 0.0 | 481M| 133 | - | 248 |4631 | 0 | 0 | 0 | 912k| 0 | 0.000000e+00 | -- | Inf
158.60/158.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.60/158.64 c 130s| 1500k| 1141k| 0 | 0.0 | 485M| 133 | - | 248 |4604 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | -- | Inf
159.90/159.97 c 131s| 1510k| 1148k| 0 | 0.0 | 488M| 133 | - | 248 |4539 | 0 | 0 | 0 | 925k| 0 | 0.000000e+00 | -- | Inf
161.30/161.36 c 132s| 1520k| 1155k| 0 | 0.0 | 491M| 133 | - | 248 |4834 | 0 | 0 | 0 | 932k| 0 | 0.000000e+00 | -- | Inf
162.70/162.80 c 133s| 1530k| 1163k| 0 | 0.0 | 494M| 133 | - | 248 |4977 | 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | -- | Inf
164.19/164.25 c 135s| 1540k| 1170k| 0 | 0.0 | 498M| 133 | - | 248 |5042 | 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | -- | Inf
165.80/165.87 c 136s| 1550k| 1177k| 0 | 0.0 | 501M| 133 | - | 248 |5336 | 0 | 0 | 0 | 954k| 0 | 0.000000e+00 | -- | Inf
167.40/167.46 c 137s| 1560k| 1184k| 0 | 0.0 | 504M| 133 | - | 248 |5215 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | -- | Inf
168.90/168.94 c 139s| 1570k| 1191k| 0 | 0.0 | 508M| 133 | - | 248 |5271 | 0 | 0 | 0 | 970k| 0 | 0.000000e+00 | -- | Inf
170.30/170.38 c 140s| 1580k| 1198k| 0 | 0.0 | 511M| 133 | - | 248 |4999 | 0 | 0 | 0 | 977k| 0 | 0.000000e+00 | -- | Inf
171.70/171.79 c 141s| 1590k| 1205k| 0 | 0.0 | 514M| 133 | - | 248 |4874 | 0 | 0 | 0 | 983k| 0 | 0.000000e+00 | -- | Inf
173.20/173.24 c 142s| 1600k| 1213k| 0 | 0.0 | 517M| 133 | - | 248 |4704 | 0 | 0 | 0 | 990k| 0 | 0.000000e+00 | -- | Inf
174.80/174.81 c 144s| 1610k| 1220k| 0 | 0.0 | 520M| 133 | - | 248 |5074 | 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | -- | Inf
176.20/176.29 c 145s| 1620k| 1227k| 0 | 0.0 | 524M| 133 | - | 248 |4987 | 0 | 0 | 0 |1004k| 0 | 0.000000e+00 | -- | Inf
177.79/177.81 c 146s| 1630k| 1234k| 0 | 0.0 | 527M| 133 | - | 248 |5145 | 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | -- | Inf
179.20/179.30 c 148s| 1640k| 1241k| 0 | 0.0 | 530M| 133 | - | 248 |5277 | 0 | 0 | 0 |1018k| 0 | 0.000000e+00 | -- | Inf
181.00/181.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.00/181.06 c 149s| 1650k| 1248k| 0 | 0.0 | 533M| 133 | - | 248 |5487 | 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | -- | Inf
182.70/182.72 c 151s| 1660k| 1255k| 0 | 0.0 | 537M| 133 | - | 248 |5688 | 0 | 0 | 0 |1035k| 0 | 0.000000e+00 | -- | Inf
184.19/184.27 c 152s| 1670k| 1262k| 0 | 0.0 | 540M| 133 | - | 248 |5184 | 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | -- | Inf
185.80/185.89 c 154s| 1680k| 1269k| 0 | 0.0 | 543M| 133 | - | 248 |5161 | 0 | 0 | 0 |1049k| 0 | 0.000000e+00 | -- | Inf
187.40/187.45 c 155s| 1690k| 1276k| 0 | 0.0 | 546M| 133 | - | 248 |5343 | 0 | 0 | 0 |1056k| 0 | 0.000000e+00 | -- | Inf
188.99/189.00 c 156s| 1700k| 1283k| 0 | 0.0 | 549M| 133 | - | 248 |5318 | 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | -- | Inf
190.60/190.64 c 158s| 1710k| 1290k| 0 | 0.0 | 553M| 133 | - | 248 |5487 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | -- | Inf
192.20/192.29 c 159s| 1720k| 1297k| 0 | 0.0 | 556M| 133 | - | 248 |5658 | 0 | 0 | 0 |1078k| 0 | 0.000000e+00 | -- | Inf
193.89/193.91 c 161s| 1730k| 1304k| 0 | 0.0 | 559M| 133 | - | 248 |5541 | 0 | 0 | 0 |1085k| 0 | 0.000000e+00 | -- | Inf
195.49/195.59 c 162s| 1740k| 1311k| 0 | 0.0 | 562M| 133 | - | 248 |5463 | 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | -- | Inf
197.40/197.44 c 164s| 1750k| 1318k| 0 | 0.0 | 566M| 133 | - | 248 |5735 | 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | -- | Inf
199.20/199.24 c 165s| 1760k| 1324k| 0 | 0.0 | 569M| 133 | - | 248 |5658 | 0 | 0 | 0 |1109k| 0 | 0.000000e+00 | -- | Inf
200.79/200.88 c 167s| 1770k| 1331k| 0 | 0.0 | 572M| 133 | - | 248 |5593 | 0 | 0 | 0 |1116k| 0 | 0.000000e+00 | -- | Inf
202.50/202.55 c 168s| 1780k| 1338k| 0 | 0.0 | 575M| 133 | - | 248 |5309 | 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | -- | Inf
204.09/204.18 c 170s| 1790k| 1345k| 0 | 0.0 | 579M| 133 | - | 248 |5127 | 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | -- | Inf
205.80/205.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
205.80/205.85 c 171s| 1800k| 1352k| 0 | 0.0 | 582M| 133 | - | 248 |5509 | 0 | 0 | 0 |1138k| 0 | 0.000000e+00 | -- | Inf
207.40/207.47 c 172s| 1810k| 1359k| 0 | 0.0 | 585M| 133 | - | 248 |5606 | 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | -- | Inf
209.19/209.21 c 174s| 1820k| 1366k| 0 | 0.0 | 589M| 133 | - | 248 |5559 | 0 | 0 | 0 |1152k| 0 | 0.000000e+00 | -- | Inf
210.89/210.92 c 176s| 1830k| 1373k| 0 | 0.0 | 592M| 133 | - | 248 |5224 | 0 | 0 | 0 |1160k| 0 | 0.000000e+00 | -- | Inf
212.60/212.60 c 177s| 1840k| 1379k| 0 | 0.0 | 595M| 133 | - | 248 |5344 | 0 | 0 | 0 |1167k| 0 | 0.000000e+00 | -- | Inf
214.20/214.22 c 178s| 1850k| 1386k| 0 | 0.0 | 599M| 133 | - | 248 |5946 | 0 | 0 | 0 |1175k| 0 | 0.000000e+00 | -- | Inf
215.89/215.93 c 180s| 1860k| 1393k| 0 | 0.0 | 602M| 133 | - | 248 |5806 | 0 | 0 | 0 |1184k| 0 | 0.000000e+00 | -- | Inf
217.49/217.54 c 181s| 1870k| 1400k| 0 | 0.0 | 605M| 133 | - | 248 |5500 | 0 | 0 | 0 |1191k| 0 | 0.000000e+00 | -- | Inf
219.10/219.11 c 183s| 1880k| 1406k| 0 | 0.0 | 608M| 133 | - | 248 |5677 | 0 | 0 | 0 |1198k| 0 | 0.000000e+00 | -- | Inf
220.80/220.85 c 184s| 1890k| 1413k| 0 | 0.0 | 612M| 133 | - | 248 |5553 | 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | -- | Inf
222.39/222.49 c 186s| 1900k| 1420k| 0 | 0.0 | 615M| 133 | - | 248 |5967 | 0 | 0 | 0 |1215k| 0 | 0.000000e+00 | -- | Inf
223.99/224.08 c 187s| 1910k| 1427k| 0 | 0.0 | 619M| 133 | - | 248 |6230 | 0 | 0 | 0 |1222k| 0 | 0.000000e+00 | -- | Inf
225.60/225.68 c 189s| 1920k| 1433k| 0 | 0.0 | 622M| 133 | - | 248 |6085 | 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | -- | Inf
227.20/227.24 c 190s| 1930k| 1440k| 0 | 0.0 | 625M| 133 | - | 248 |6065 | 0 | 0 | 0 |1237k| 0 | 0.000000e+00 | -- | Inf
228.81/228.87 c 191s| 1940k| 1447k| 0 | 0.0 | 628M| 133 | - | 248 |6162 | 0 | 0 | 0 |1244k| 0 | 0.000000e+00 | -- | Inf
230.40/230.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
230.40/230.43 c 193s| 1950k| 1454k| 0 | 0.0 | 632M| 133 | - | 248 |5516 | 0 | 0 | 0 |1251k| 0 | 0.000000e+00 | -- | Inf
232.20/232.25 c 194s| 1960k| 1460k| 0 | 0.0 | 635M| 133 | - | 248 |6323 | 0 | 0 | 0 |1260k| 0 | 0.000000e+00 | -- | Inf
233.89/233.97 c 196s| 1970k| 1467k| 0 | 0.0 | 638M| 133 | - | 248 |6018 | 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | -- | Inf
235.60/235.63 c 197s| 1980k| 1474k| 0 | 0.0 | 642M| 133 | - | 248 |5871 | 0 | 0 | 0 |1276k| 0 | 0.000000e+00 | -- | Inf
237.30/237.35 c 199s| 1990k| 1480k| 0 | 0.0 | 645M| 133 | - | 248 |5740 | 0 | 0 | 0 |1284k| 0 | 0.000000e+00 | -- | Inf
239.00/239.07 c 200s| 2000k| 1487k| 0 | 0.0 | 648M| 133 | - | 248 |6202 | 0 | 0 | 0 |1292k| 0 | 0.000000e+00 | -- | Inf
240.70/240.71 c 202s| 2010k| 1493k| 0 | 0.0 | 652M| 133 | - | 248 |6311 | 0 | 0 | 0 |1300k| 0 | 0.000000e+00 | -- | Inf
242.40/242.44 c 203s| 2020k| 1500k| 0 | 0.0 | 655M| 133 | - | 248 |6007 | 0 | 0 | 0 |1308k| 0 | 0.000000e+00 | -- | Inf
244.11/244.16 c 205s| 2030k| 1507k| 0 | 0.0 | 658M| 133 | - | 248 |6317 | 0 | 0 | 0 |1316k| 0 | 0.000000e+00 | -- | Inf
245.80/245.86 c 206s| 2040k| 1513k| 0 | 0.0 | 662M| 133 | - | 248 |6476 | 0 | 0 | 0 |1324k| 0 | 0.000000e+00 | -- | Inf
247.50/247.55 c 208s| 2050k| 1520k| 0 | 0.0 | 665M| 133 | - | 248 |6497 | 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | -- | Inf
249.30/249.30 c 209s| 2060k| 1526k| 0 | 0.0 | 669M| 133 | - | 248 |6781 | 0 | 0 | 0 |1340k| 0 | 0.000000e+00 | -- | Inf
251.10/251.17 c 211s| 2070k| 1533k| 0 | 0.0 | 672M| 133 | - | 248 |6441 | 0 | 0 | 0 |1349k| 0 | 0.000000e+00 | -- | Inf
252.90/252.96 c 213s| 2080k| 1539k| 0 | 0.0 | 675M| 133 | - | 248 |6114 | 0 | 0 | 0 |1357k| 0 | 0.000000e+00 | -- | Inf
254.80/254.82 c 214s| 2090k| 1546k| 0 | 0.0 | 678M| 133 | - | 248 |6255 | 0 | 0 | 0 |1366k| 0 | 0.000000e+00 | -- | Inf
256.60/256.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.60/256.62 c 216s| 2100k| 1552k| 0 | 0.0 | 682M| 133 | - | 248 |6465 | 0 | 0 | 0 |1375k| 0 | 0.000000e+00 | -- | Inf
258.30/258.39 c 217s| 2110k| 1558k| 0 | 0.0 | 685M| 133 | - | 248 |6830 | 0 | 0 | 0 |1383k| 0 | 0.000000e+00 | -- | Inf
260.19/260.20 c 219s| 2120k| 1565k| 0 | 0.0 | 688M| 133 | - | 248 |6239 | 0 | 0 | 0 |1391k| 0 | 0.000000e+00 | -- | Inf
262.00/262.02 c 221s| 2130k| 1571k| 0 | 0.0 | 692M| 133 | - | 248 |6308 | 0 | 0 | 0 |1400k| 0 | 0.000000e+00 | -- | Inf
263.70/263.79 c 222s| 2140k| 1578k| 0 | 0.0 | 695M| 133 | - | 248 |6000 | 0 | 0 | 0 |1407k| 0 | 0.000000e+00 | -- | Inf
265.49/265.57 c 224s| 2150k| 1584k| 0 | 0.0 | 698M| 133 | - | 248 |6176 | 0 | 0 | 0 |1416k| 0 | 0.000000e+00 | -- | Inf
267.40/267.49 c 225s| 2160k| 1591k| 0 | 0.0 | 702M| 133 | - | 248 |6212 | 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | -- | Inf
269.50/269.50 c 227s| 2170k| 1597k| 0 | 0.0 | 705M| 133 | - | 248 |6762 | 0 | 0 | 0 |1433k| 0 | 0.000000e+00 | -- | Inf
271.50/271.56 c 229s| 2180k| 1603k| 0 | 0.0 | 708M| 133 | - | 248 |6476 | 0 | 0 | 0 |1442k| 0 | 0.000000e+00 | -- | Inf
273.40/273.46 c 231s| 2190k| 1609k| 0 | 0.0 | 712M| 133 | - | 248 |6418 | 0 | 0 | 0 |1451k| 0 | 0.000000e+00 | -- | Inf
275.29/275.38 c 233s| 2200k| 1615k| 0 | 0.0 | 715M| 133 | - | 248 |6628 | 0 | 0 | 0 |1460k| 0 | 0.000000e+00 | -- | Inf
277.30/277.31 c 234s| 2210k| 1622k| 0 | 0.0 | 718M| 133 | - | 248 |6834 | 0 | 0 | 0 |1468k| 0 | 0.000000e+00 | -- | Inf
279.20/279.24 c 236s| 2220k| 1628k| 0 | 0.0 | 722M| 133 | - | 248 |6659 | 0 | 0 | 0 |1477k| 0 | 0.000000e+00 | -- | Inf
281.10/281.11 c 238s| 2230k| 1634k| 0 | 0.0 | 725M| 133 | - | 248 |6871 | 0 | 0 | 0 |1486k| 0 | 0.000000e+00 | -- | Inf
282.90/282.99 c 239s| 2240k| 1640k| 0 | 0.0 | 729M| 133 | - | 248 |6976 | 0 | 0 | 0 |1495k| 0 | 0.000000e+00 | -- | Inf
284.81/284.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.81/284.87 c 241s| 2250k| 1647k| 0 | 0.0 | 732M| 133 | - | 248 |7047 | 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | -- | Inf
286.70/286.75 c 243s| 2260k| 1653k| 0 | 0.0 | 735M| 133 | - | 248 |7096 | 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | -- | Inf
288.70/288.73 c 244s| 2270k| 1659k| 0 | 0.0 | 738M| 133 | - | 248 |6638 | 0 | 0 | 0 |1520k| 0 | 0.000000e+00 | -- | Inf
291.10/291.11 c 247s| 2280k| 1665k| 0 | 0.0 | 742M| 133 | - | 248 |6671 | 0 | 0 | 0 |1529k| 0 | 0.000000e+00 | -- | Inf
293.40/293.40 c 249s| 2290k| 1671k| 0 | 0.0 | 745M| 133 | - | 248 |6645 | 0 | 0 | 0 |1539k| 0 | 0.000000e+00 | -- | Inf
295.80/295.80 c 251s| 2300k| 1677k| 0 | 0.0 | 748M| 133 | - | 248 |7035 | 0 | 0 | 0 |1548k| 0 | 0.000000e+00 | -- | Inf
298.01/298.05 c 253s| 2310k| 1683k| 0 | 0.0 | 752M| 133 | - | 248 |7269 | 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | -- | Inf
300.20/300.21 c 255s| 2320k| 1689k| 0 | 0.0 | 755M| 133 | - | 248 |7030 | 0 | 0 | 0 |1567k| 0 | 0.000000e+00 | -- | Inf
302.30/302.35 c 257s| 2330k| 1695k| 0 | 0.0 | 758M| 133 | - | 248 |6857 | 0 | 0 | 0 |1575k| 0 | 0.000000e+00 | -- | Inf
304.40/304.46 c 259s| 2340k| 1701k| 0 | 0.0 | 761M| 133 | - | 248 |6758 | 0 | 0 | 0 |1583k| 0 | 0.000000e+00 | -- | Inf
306.81/306.81 c 261s| 2350k| 1707k| 0 | 0.0 | 765M| 133 | - | 248 |6433 | 0 | 0 | 0 |1593k| 0 | 0.000000e+00 | -- | Inf
309.01/309.07 c 263s| 2360k| 1713k| 0 | 0.0 | 768M| 133 | - | 248 |6477 | 0 | 0 | 0 |1601k| 0 | 0.000000e+00 | -- | Inf
311.31/311.33 c 265s| 2370k| 1719k| 0 | 0.0 | 771M| 133 | - | 248 |6610 | 0 | 0 | 0 |1610k| 0 | 0.000000e+00 | -- | Inf
313.80/313.89 c 267s| 2380k| 1725k| 0 | 0.0 | 775M| 133 | - | 248 |7143 | 0 | 0 | 0 |1620k| 0 | 0.000000e+00 | -- | Inf
316.30/316.37 c 270s| 2390k| 1730k| 0 | 0.0 | 778M| 133 | - | 248 |7318 | 0 | 0 | 0 |1630k| 0 | 0.000000e+00 | -- | Inf
318.70/318.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.70/318.76 c 272s| 2400k| 1736k| 0 | 0.0 | 781M| 133 | - | 248 |7435 | 0 | 0 | 0 |1640k| 0 | 0.000000e+00 | -- | Inf
321.21/321.29 c 274s| 2410k| 1742k| 0 | 0.0 | 785M| 133 | - | 248 |7317 | 0 | 0 | 0 |1650k| 0 | 0.000000e+00 | -- | Inf
323.70/323.77 c 276s| 2420k| 1747k| 0 | 0.0 | 788M| 133 | - | 248 |7441 | 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | -- | Inf
326.10/326.18 c 279s| 2430k| 1753k| 0 | 0.0 | 791M| 133 | - | 248 |7682 | 0 | 0 | 0 |1668k| 0 | 0.000000e+00 | -- | Inf
328.50/328.59 c 281s| 2440k| 1759k| 0 | 0.0 | 795M| 133 | - | 248 |7100 | 0 | 0 | 0 |1678k| 0 | 0.000000e+00 | -- | Inf
330.90/330.96 c 283s| 2450k| 1765k| 0 | 0.0 | 798M| 133 | - | 248 |6791 | 0 | 0 | 0 |1687k| 0 | 0.000000e+00 | -- | Inf
333.10/333.13 c 285s| 2460k| 1771k| 0 | 0.0 | 801M| 133 | - | 248 |6680 | 0 | 0 | 0 |1696k| 0 | 0.000000e+00 | -- | Inf
335.30/335.38 c 287s| 2470k| 1777k| 0 | 0.0 | 805M| 133 | - | 248 |6913 | 0 | 0 | 0 |1705k| 0 | 0.000000e+00 | -- | Inf
337.90/337.98 c 289s| 2480k| 1782k| 0 | 0.0 | 808M| 133 | - | 248 |7437 | 0 | 0 | 0 |1715k| 0 | 0.000000e+00 | -- | Inf
340.50/340.53 c 292s| 2490k| 1788k| 0 | 0.0 | 811M| 133 | - | 248 |7324 | 0 | 0 | 0 |1725k| 0 | 0.000000e+00 | -- | Inf
343.10/343.17 c 294s| 2500k| 1793k| 0 | 0.0 | 815M| 133 | - | 248 |7722 | 0 | 0 | 0 |1735k| 0 | 0.000000e+00 | -- | Inf
345.60/345.69 c 296s| 2510k| 1799k| 0 | 0.0 | 818M| 133 | - | 248 |7152 | 0 | 0 | 0 |1745k| 0 | 0.000000e+00 | -- | Inf
348.30/348.30 c 299s| 2520k| 1804k| 0 | 0.0 | 821M| 133 | - | 248 |7550 | 0 | 0 | 0 |1755k| 0 | 0.000000e+00 | -- | Inf
350.70/350.77 c 301s| 2530k| 1810k| 0 | 0.0 | 824M| 133 | - | 248 |7143 | 0 | 0 | 0 |1764k| 0 | 0.000000e+00 | -- | Inf
353.30/353.33 c 303s| 2540k| 1815k| 0 | 0.0 | 828M| 133 | - | 248 |7481 | 0 | 0 | 0 |1774k| 0 | 0.000000e+00 | -- | Inf
355.80/355.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
355.80/355.88 c 306s| 2550k| 1821k| 0 | 0.0 | 831M| 133 | - | 248 |7638 | 0 | 0 | 0 |1784k| 0 | 0.000000e+00 | -- | Inf
358.20/358.28 c 308s| 2560k| 1827k| 0 | 0.0 | 834M| 133 | - | 248 |7067 | 0 | 0 | 0 |1793k| 0 | 0.000000e+00 | -- | Inf
360.50/360.60 c 310s| 2570k| 1833k| 0 | 0.0 | 838M| 133 | - | 248 |7135 | 0 | 0 | 0 |1802k| 0 | 0.000000e+00 | -- | Inf
363.01/363.09 c 312s| 2580k| 1838k| 0 | 0.0 | 841M| 133 | - | 248 |7044 | 0 | 0 | 0 |1812k| 0 | 0.000000e+00 | -- | Inf
365.80/365.85 c 315s| 2590k| 1843k| 0 | 0.0 | 844M| 133 | - | 248 |7381 | 0 | 0 | 0 |1822k| 0 | 0.000000e+00 | -- | Inf
368.51/368.59 c 317s| 2600k| 1848k| 0 | 0.0 | 848M| 133 | - | 248 |7907 | 0 | 0 | 0 |1833k| 0 | 0.000000e+00 | -- | Inf
371.40/371.40 c 320s| 2610k| 1854k| 0 | 0.0 | 851M| 133 | - | 248 |7865 | 0 | 0 | 0 |1844k| 0 | 0.000000e+00 | -- | Inf
374.20/374.23 c 322s| 2620k| 1859k| 0 | 0.0 | 854M| 133 | - | 248 |7550 | 0 | 0 | 0 |1854k| 0 | 0.000000e+00 | -- | Inf
377.20/377.28 c 325s| 2630k| 1864k| 0 | 0.0 | 858M| 133 | - | 248 |7775 | 0 | 0 | 0 |1865k| 0 | 0.000000e+00 | -- | Inf
379.80/379.87 c 328s| 2640k| 1869k| 0 | 0.0 | 861M| 133 | - | 248 |7318 | 0 | 0 | 0 |1875k| 0 | 0.000000e+00 | -- | Inf
382.40/382.48 c 330s| 2650k| 1875k| 0 | 0.0 | 864M| 133 | - | 248 |7247 | 0 | 0 | 0 |1884k| 0 | 0.000000e+00 | -- | Inf
385.20/385.28 c 333s| 2660k| 1880k| 0 | 0.0 | 868M| 133 | - | 248 |7896 | 0 | 0 | 0 |1895k| 0 | 0.000000e+00 | -- | Inf
387.70/387.75 c 335s| 2670k| 1886k| 0 | 0.0 | 871M| 133 | - | 248 |7492 | 0 | 0 | 0 |1904k| 0 | 0.000000e+00 | -- | Inf
390.20/390.23 c 337s| 2680k| 1891k| 0 | 0.0 | 874M| 133 | - | 248 |7282 | 0 | 0 | 0 |1913k| 0 | 0.000000e+00 | -- | Inf
393.11/393.14 c 340s| 2690k| 1896k| 0 | 0.0 | 877M| 133 | - | 248 |7547 | 0 | 0 | 0 |1924k| 0 | 0.000000e+00 | -- | Inf
396.00/396.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
396.00/396.04 c 342s| 2700k| 1901k| 0 | 0.0 | 881M| 133 | - | 248 |8351 | 0 | 0 | 0 |1936k| 0 | 0.000000e+00 | -- | Inf
398.90/398.98 c 345s| 2710k| 1906k| 0 | 0.0 | 884M| 133 | - | 248 |7707 | 0 | 0 | 0 |1946k| 0 | 0.000000e+00 | -- | Inf
401.80/401.80 c 348s| 2720k| 1911k| 0 | 0.0 | 887M| 133 | - | 248 |7632 | 0 | 0 | 0 |1957k| 0 | 0.000000e+00 | -- | Inf
404.80/404.83 c 351s| 2730k| 1916k| 0 | 0.0 | 891M| 133 | - | 248 |7835 | 0 | 0 | 0 |1968k| 0 | 0.000000e+00 | -- | Inf
407.40/407.49 c 353s| 2740k| 1922k| 0 | 0.0 | 894M| 133 | - | 248 |7188 | 0 | 0 | 0 |1977k| 0 | 0.000000e+00 | -- | Inf
410.21/410.26 c 356s| 2750k| 1927k| 0 | 0.0 | 897M| 133 | - | 248 |7890 | 0 | 0 | 0 |1988k| 0 | 0.000000e+00 | -- | Inf
412.80/412.88 c 358s| 2760k| 1932k| 0 | 0.0 | 900M| 133 | - | 248 |7369 | 0 | 0 | 0 |1997k| 0 | 0.000000e+00 | -- | Inf
415.50/415.57 c 360s| 2770k| 1938k| 0 | 0.0 | 904M| 133 | - | 248 |7205 | 0 | 0 | 0 |2007k| 0 | 0.000000e+00 | -- | Inf
418.50/418.59 c 363s| 2780k| 1943k| 0 | 0.0 | 907M| 133 | - | 248 |7768 | 0 | 0 | 0 |2018k| 0 | 0.000000e+00 | -- | Inf
421.70/421.79 c 366s| 2790k| 1947k| 0 | 0.0 | 911M| 133 | - | 248 |8266 | 0 | 0 | 0 |2030k| 0 | 0.000000e+00 | -- | Inf
425.00/425.01 c 369s| 2800k| 1952k| 0 | 0.0 | 914M| 133 | - | 248 |8147 | 0 | 0 | 0 |2041k| 0 | 0.000000e+00 | -- | Inf
427.91/427.95 c 372s| 2810k| 1957k| 0 | 0.0 | 917M| 133 | - | 248 |7912 | 0 | 0 | 0 |2052k| 0 | 0.000000e+00 | -- | Inf
431.00/431.07 c 375s| 2820k| 1961k| 0 | 0.0 | 920M| 133 | - | 248 |7834 | 0 | 0 | 0 |2063k| 0 | 0.000000e+00 | -- | Inf
434.10/434.15 c 378s| 2830k| 1966k| 0 | 0.0 | 924M| 133 | - | 248 |7930 | 0 | 0 | 0 |2074k| 0 | 0.000000e+00 | -- | Inf
436.90/436.95 c 380s| 2840k| 1971k| 0 | 0.0 | 927M| 133 | - | 248 |7408 | 0 | 0 | 0 |2084k| 0 | 0.000000e+00 | -- | Inf
439.81/439.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.81/439.81 c 383s| 2850k| 1976k| 0 | 0.0 | 930M| 133 | - | 248 |7855 | 0 | 0 | 0 |2095k| 0 | 0.000000e+00 | -- | Inf
442.70/442.71 c 385s| 2860k| 1981k| 0 | 0.0 | 933M| 133 | - | 248 |7458 | 0 | 0 | 0 |2105k| 0 | 0.000000e+00 | -- | Inf
445.60/445.69 c 388s| 2870k| 1986k| 0 | 0.0 | 937M| 133 | - | 248 |7964 | 0 | 0 | 0 |2115k| 0 | 0.000000e+00 | -- | Inf
448.91/448.98 c 391s| 2880k| 1990k| 0 | 0.0 | 940M| 133 | - | 248 |8749 | 0 | 0 | 0 |2128k| 0 | 0.000000e+00 | -- | Inf
452.11/452.15 c 394s| 2890k| 1995k| 0 | 0.0 | 943M| 133 | - | 248 |8365 | 0 | 0 | 0 |2140k| 0 | 0.000000e+00 | -- | Inf
455.41/455.48 c 397s| 2900k| 1999k| 0 | 0.0 | 947M| 133 | - | 248 |8046 | 0 | 0 | 0 |2151k| 0 | 0.000000e+00 | -- | Inf
458.71/458.75 c 400s| 2910k| 2004k| 0 | 0.0 | 950M| 133 | - | 248 |7783 | 0 | 0 | 0 |2162k| 0 | 0.000000e+00 | -- | Inf
461.91/461.97 c 403s| 2920k| 2009k| 0 | 0.0 | 953M| 133 | - | 248 |7857 | 0 | 0 | 0 |2173k| 0 | 0.000000e+00 | -- | Inf
465.21/465.22 c 406s| 2930k| 2013k| 0 | 0.0 | 957M| 133 | - | 248 |8055 | 0 | 0 | 0 |2185k| 0 | 0.000000e+00 | -- | Inf
468.11/468.11 c 409s| 2940k| 2018k| 0 | 0.0 | 960M| 133 | - | 248 |7578 | 0 | 0 | 0 |2195k| 0 | 0.000000e+00 | -- | Inf
471.10/471.19 c 412s| 2950k| 2023k| 0 | 0.0 | 963M| 133 | - | 248 |8201 | 0 | 0 | 0 |2206k| 0 | 0.000000e+00 | -- | Inf
474.50/474.51 c 415s| 2960k| 2027k| 0 | 0.0 | 967M| 133 | - | 248 |8364 | 0 | 0 | 0 |2218k| 0 | 0.000000e+00 | -- | Inf
478.00/478.02 c 418s| 2970k| 2031k| 0 | 0.0 | 970M| 133 | - | 248 |9041 | 0 | 0 | 0 |2231k| 0 | 0.000000e+00 | -- | Inf
481.41/481.44 c 421s| 2980k| 2035k| 0 | 0.0 | 973M| 133 | - | 248 |8219 | 0 | 0 | 0 |2243k| 0 | 0.000000e+00 | -- | Inf
484.60/484.64 c 424s| 2990k| 2040k| 0 | 0.0 | 976M| 133 | - | 248 |8237 | 0 | 0 | 0 |2255k| 0 | 0.000000e+00 | -- | Inf
487.91/487.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.91/487.99 c 427s| 3000k| 2044k| 0 | 0.0 | 980M| 133 | - | 248 |8451 | 0 | 0 | 0 |2267k| 0 | 0.000000e+00 | -- | Inf
491.21/491.26 c 430s| 3010k| 2049k| 0 | 0.0 | 983M| 133 | - | 248 |8299 | 0 | 0 | 0 |2278k| 0 | 0.000000e+00 | -- | Inf
494.31/494.31 c 433s| 3020k| 2053k| 0 | 0.0 | 986M| 133 | - | 248 |7885 | 0 | 0 | 0 |2289k| 0 | 0.000000e+00 | -- | Inf
497.41/497.46 c 436s| 3030k| 2058k| 0 | 0.0 | 990M| 133 | - | 248 |8209 | 0 | 0 | 0 |2300k| 0 | 0.000000e+00 | -- | Inf
500.90/500.93 c 439s| 3040k| 2062k| 0 | 0.0 | 993M| 133 | - | 248 |9115 | 0 | 0 | 0 |2313k| 0 | 0.000000e+00 | -- | Inf
504.50/504.52 c 443s| 3050k| 2066k| 0 | 0.0 | 996M| 133 | - | 248 |8539 | 0 | 0 | 0 |2326k| 0 | 0.000000e+00 | -- | Inf
508.21/508.24 c 446s| 3060k| 2070k| 0 | 0.0 | 999M| 133 | - | 248 |8544 | 0 | 0 | 0 |2338k| 0 | 0.000000e+00 | -- | Inf
511.61/511.69 c 449s| 3070k| 2074k| 0 | 0.0 |1002M| 133 | - | 248 |8263 | 0 | 0 | 0 |2350k| 0 | 0.000000e+00 | -- | Inf
515.11/515.12 c 453s| 3080k| 2078k| 0 | 0.0 |1006M| 133 | - | 248 |8439 | 0 | 0 | 0 |2363k| 0 | 0.000000e+00 | -- | Inf
518.60/518.63 c 456s| 3090k| 2082k| 0 | 0.0 |1009M| 133 | - | 248 |8353 | 0 | 0 | 0 |2374k| 0 | 0.000000e+00 | -- | Inf
521.80/521.89 c 459s| 3100k| 2086k| 0 | 0.0 |1012M| 133 | - | 248 |8014 | 0 | 0 | 0 |2385k| 0 | 0.000000e+00 | -- | Inf
525.50/525.50 c 462s| 3110k| 2090k| 0 | 0.0 |1016M| 133 | - | 248 |8851 | 0 | 0 | 0 |2398k| 0 | 0.000000e+00 | -- | Inf
529.61/529.65 c 466s| 3120k| 2094k| 0 | 0.0 |1019M| 133 | - | 248 |8781 | 0 | 0 | 0 |2411k| 0 | 0.000000e+00 | -- | Inf
533.41/533.45 c 470s| 3130k| 2097k| 0 | 0.0 |1022M| 133 | - | 248 |8476 | 0 | 0 | 0 |2424k| 0 | 0.000000e+00 | -- | Inf
536.91/536.97 c 473s| 3140k| 2101k| 0 | 0.0 |1025M| 133 | - | 248 |8570 | 0 | 0 | 0 |2437k| 0 | 0.000000e+00 | -- | Inf
540.61/540.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
540.61/540.67 c 476s| 3150k| 2105k| 0 | 0.0 |1028M| 133 | - | 248 |8227 | 0 | 0 | 0 |2449k| 0 | 0.000000e+00 | -- | Inf
544.21/544.20 c 480s| 3160k| 2109k| 0 | 0.0 |1032M| 133 | - | 248 |8128 | 0 | 0 | 0 |2461k| 0 | 0.000000e+00 | -- | Inf
547.50/547.53 c 483s| 3170k| 2113k| 0 | 0.0 |1035M| 133 | - | 248 |8524 | 0 | 0 | 0 |2472k| 0 | 0.000000e+00 | -- | Inf
551.51/551.52 c 487s| 3180k| 2117k| 0 | 0.0 |1038M| 133 | - | 248 |8933 | 0 | 0 | 0 |2486k| 0 | 0.000000e+00 | -- | Inf
555.60/555.69 c 490s| 3190k| 2120k| 0 | 0.0 |1041M| 133 | - | 248 |8694 | 0 | 0 | 0 |2500k| 0 | 0.000000e+00 | -- | Inf
559.60/559.60 c 494s| 3200k| 2123k| 0 | 0.0 |1044M| 133 | - | 248 |8929 | 0 | 0 | 0 |2513k| 0 | 0.000000e+00 | -- | Inf
563.11/563.19 c 497s| 3210k| 2127k| 0 | 0.0 |1048M| 133 | - | 248 |8573 | 0 | 0 | 0 |2526k| 0 | 0.000000e+00 | -- | Inf
567.01/567.00 c 501s| 3220k| 2131k| 0 | 0.0 |1051M| 133 | - | 248 |8356 | 0 | 0 | 0 |2538k| 0 | 0.000000e+00 | -- | Inf
570.61/570.68 c 504s| 3230k| 2135k| 0 | 0.0 |1054M| 133 | - | 248 |8664 | 0 | 0 | 0 |2550k| 0 | 0.000000e+00 | -- | Inf
575.01/575.05 c 508s| 3240k| 2138k| 0 | 0.0 |1057M| 133 | - | 248 |9492 | 0 | 0 | 0 |2564k| 0 | 0.000000e+00 | -- | Inf
579.41/579.49 c 513s| 3250k| 2141k| 0 | 0.0 |1060M| 133 | - | 248 |8884 | 0 | 0 | 0 |2578k| 0 | 0.000000e+00 | -- | Inf
583.71/583.78 c 517s| 3260k| 2144k| 0 | 0.0 |1063M| 133 | - | 248 |8833 | 0 | 0 | 0 |2592k| 0 | 0.000000e+00 | -- | Inf
587.50/587.57 c 520s| 3270k| 2147k| 0 | 0.0 |1067M| 133 | - | 248 |8605 | 0 | 0 | 0 |2604k| 0 | 0.000000e+00 | -- | Inf
591.60/591.63 c 524s| 3280k| 2151k| 0 | 0.0 |1070M| 133 | - | 248 |8376 | 0 | 0 | 0 |2616k| 0 | 0.000000e+00 | -- | Inf
596.01/596.00 c 528s| 3290k| 2154k| 0 | 0.0 |1073M| 133 | - | 248 |9768 | 0 | 0 | 0 |2631k| 0 | 0.000000e+00 | -- | Inf
600.51/600.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
600.51/600.56 c 533s| 3300k| 2156k| 0 | 0.0 |1076M| 133 | - | 248 |9321 | 0 | 0 | 0 |2646k| 0 | 0.000000e+00 | -- | Inf
605.01/605.02 c 537s| 3310k| 2159k| 0 | 0.0 |1079M| 133 | - | 248 |9130 | 0 | 0 | 0 |2660k| 0 | 0.000000e+00 | -- | Inf
609.11/609.18 c 541s| 3320k| 2162k| 0 | 0.0 |1082M| 133 | - | 248 |8969 | 0 | 0 | 0 |2673k| 0 | 0.000000e+00 | -- | Inf
613.11/613.16 c 544s| 3330k| 2166k| 0 | 0.0 |1086M| 133 | - | 248 |8903 | 0 | 0 | 0 |2685k| 0 | 0.000000e+00 | -- | Inf
617.91/617.94 c 549s| 3340k| 2168k| 0 | 0.0 |1088M| 133 | - | 248 |9336 | 0 | 0 | 0 |2701k| 0 | 0.000000e+00 | -- | Inf
622.61/622.62 c 553s| 3350k| 2170k| 0 | 0.0 |1091M| 133 | - | 248 |9367 | 0 | 0 | 0 |2715k| 0 | 0.000000e+00 | -- | Inf
626.91/626.90 c 557s| 3360k| 2173k| 0 | 0.0 |1095M| 133 | - | 248 |9287 | 0 | 0 | 0 |2729k| 0 | 0.000000e+00 | -- | Inf
631.11/631.19 c 561s| 3370k| 2176k| 0 | 0.0 |1098M| 133 | - | 248 |8905 | 0 | 0 | 0 |2742k| 0 | 0.000000e+00 | -- | Inf
636.21/636.26 c 566s| 3380k| 2177k| 0 | 0.0 |1100M| 133 | - | 248 |9462 | 0 | 0 | 0 |2758k| 0 | 0.000000e+00 | -- | Inf
641.01/641.01 c 571s| 3390k| 2180k| 0 | 0.0 |1103M| 133 | - | 248 |9145 | 0 | 0 | 0 |2773k| 0 | 0.000000e+00 | -- | Inf
645.41/645.42 c 575s| 3400k| 2182k| 0 | 0.0 |1107M| 133 | - | 248 |9105 | 0 | 0 | 0 |2786k| 0 | 0.000000e+00 | -- | Inf
650.41/650.48 c 580s| 3410k| 2184k| 0 | 0.0 |1109M| 133 | - | 248 |9985 | 0 | 0 | 0 |2802k| 0 | 0.000000e+00 | -- | Inf
655.71/655.78 c 585s| 3420k| 2186k| 0 | 0.0 |1112M| 133 | - | 248 |9694 | 0 | 0 | 0 |2817k| 0 | 0.000000e+00 | -- | Inf
660.51/660.51 c 589s| 3430k| 2188k| 0 | 0.0 |1115M| 133 | - | 248 |9076 | 0 | 0 | 0 |2830k| 0 | 0.000000e+00 | -- | Inf
665.81/665.84 c 594s| 3440k| 2189k| 0 | 0.0 |1117M| 133 | - | 248 | 10k| 0 | 0 | 0 |2846k| 0 | 0.000000e+00 | -- | Inf
671.11/671.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
671.11/671.16 c 599s| 3450k| 2191k| 0 | 0.0 |1120M| 133 | - | 248 |9693 | 0 | 0 | 0 |2862k| 0 | 0.000000e+00 | -- | Inf
676.32/676.34 c 604s| 3460k| 2192k| 0 | 0.0 |1122M| 133 | - | 248 |9812 | 0 | 0 | 0 |2877k| 0 | 0.000000e+00 | -- | Inf
681.71/681.78 c 609s| 3470k| 2194k| 0 | 0.0 |1125M| 133 | - | 248 |9586 | 0 | 0 | 0 |2893k| 0 | 0.000000e+00 | -- | Inf
687.11/687.14 c 614s| 3480k| 2195k| 0 | 0.0 |1127M| 133 | - | 248 |9530 | 0 | 0 | 0 |2909k| 0 | 0.000000e+00 | -- | Inf
692.41/692.48 c 619s| 3490k| 2196k| 0 | 0.0 |1130M| 133 | - | 248 |9665 | 0 | 0 | 0 |2923k| 0 | 0.000000e+00 | -- | Inf
698.21/698.25 c 625s| 3500k| 2197k| 0 | 0.0 |1133M| 133 | - | 248 |9610 | 0 | 0 | 0 |2940k| 0 | 0.000000e+00 | -- | Inf
704.42/704.41 c 631s| 3510k| 2197k| 0 | 0.0 |1135M| 133 | - | 248 |9304 | 0 | 0 | 0 |2956k| 0 | 0.000000e+00 | -- | Inf
710.81/710.87 c 637s| 3520k| 2196k| 0 | 0.0 |1136M| 133 | - | 248 |9390 | 0 | 0 | 0 |2973k| 0 | 0.000000e+00 | -- | Inf
717.51/717.50 c 643s| 3530k| 2195k| 0 | 0.0 |1137M| 133 | - | 248 |8920 | 0 | 0 | 0 |2989k| 0 | 0.000000e+00 | -- | Inf
721.71/721.77 c 647s| 3540k| 2197k| 0 | 0.0 |1135M| 133 | - | 248 |2895 | 0 | 0 | 0 |2997k| 0 | 0.000000e+00 | -- | Inf
722.21/722.25 c 647s| 3550k| 2207k| 0 | 0.0 |1137M| 133 | - | 248 | 162 | 0 | 0 | 0 |2997k| 0 | 0.000000e+00 | -- | Inf
722.72/722.73 c 648s| 3560k| 2217k| 0 | 0.0 |1140M| 133 | - | 248 | 182 | 0 | 0 | 0 |2997k| 0 | 0.000000e+00 | -- | Inf
723.11/723.19 c 648s| 3570k| 2227k| 0 | 0.0 |1143M| 133 | - | 248 | 123 | 0 | 0 | 0 |2997k| 0 | 0.000000e+00 | -- | Inf
723.61/723.66 c 648s| 3580k| 2236k| 0 | 0.0 |1146M| 133 | - | 248 | 162 | 0 | 0 | 0 |2997k| 0 | 0.000000e+00 | -- | Inf
724.11/724.14 c 649s| 3590k| 2246k| 0 | 0.0 |1149M| 133 | - | 248 | 163 | 0 | 0 | 0 |2997k| 0 | 0.000000e+00 | -- | Inf
724.52/724.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
724.52/724.59 c 649s| 3600k| 2256k| 0 | 0.0 |1151M| 133 | - | 248 | 174 | 0 | 0 | 0 |2998k| 0 | 0.000000e+00 | -- | Inf
725.01/725.05 c 649s| 3610k| 2266k| 0 | 0.0 |1155M| 133 | - | 248 | 187 | 0 | 0 | 0 |2998k| 0 | 0.000000e+00 | -- | Inf
725.41/725.49 c 649s| 3620k| 2276k| 0 | 0.0 |1158M| 133 | - | 248 | 187 | 0 | 0 | 0 |2998k| 0 | 0.000000e+00 | -- | Inf
725.91/725.97 c 650s| 3630k| 2286k| 0 | 0.0 |1161M| 133 | - | 248 | 230 | 0 | 0 | 0 |2998k| 0 | 0.000000e+00 | -- | Inf
726.41/726.41 c 650s| 3640k| 2296k| 0 | 0.0 |1163M| 133 | - | 248 | 225 | 0 | 0 | 0 |2998k| 0 | 0.000000e+00 | -- | Inf
726.81/726.88 c 650s| 3650k| 2306k| 0 | 0.0 |1166M| 133 | - | 248 | 244 | 0 | 0 | 0 |2998k| 0 | 0.000000e+00 | -- | Inf
727.31/727.36 c 651s| 3660k| 2316k| 0 | 0.0 |1169M| 133 | - | 248 | 268 | 0 | 0 | 0 |2998k| 0 | 0.000000e+00 | -- | Inf
727.81/727.81 c 651s| 3670k| 2326k| 0 | 0.0 |1172M| 133 | - | 248 | 269 | 0 | 0 | 0 |2998k| 0 | 0.000000e+00 | -- | Inf
728.22/728.29 c 651s| 3680k| 2336k| 0 | 0.0 |1175M| 133 | - | 248 | 307 | 0 | 0 | 0 |2999k| 0 | 0.000000e+00 | -- | Inf
728.71/728.74 c 651s| 3690k| 2346k| 0 | 0.0 |1178M| 133 | - | 248 | 314 | 0 | 0 | 0 |2999k| 0 | 0.000000e+00 | -- | Inf
729.22/729.22 c 652s| 3700k| 2355k| 0 | 0.0 |1182M| 133 | - | 248 | 353 | 0 | 0 | 0 |2999k| 0 | 0.000000e+00 | -- | Inf
729.71/729.70 c 652s| 3710k| 2365k| 0 | 0.0 |1185M| 133 | - | 248 | 370 | 0 | 0 | 0 |2999k| 0 | 0.000000e+00 | -- | Inf
730.11/730.16 c 652s| 3720k| 2375k| 0 | 0.0 |1188M| 133 | - | 248 | 333 | 0 | 0 | 0 |2999k| 0 | 0.000000e+00 | -- | Inf
730.61/730.65 c 653s| 3730k| 2385k| 0 | 0.0 |1191M| 133 | - | 248 | 465 | 0 | 0 | 0 |2999k| 0 | 0.000000e+00 | -- | Inf
731.11/731.14 c 653s| 3740k| 2395k| 0 | 0.0 |1194M| 133 | - | 248 | 452 | 0 | 0 | 0 |3000k| 0 | 0.000000e+00 | -- | Inf
731.61/731.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
731.61/731.63 c 653s| 3750k| 2405k| 0 | 0.0 |1197M| 133 | - | 248 | 512 | 0 | 0 | 0 |3000k| 0 | 0.000000e+00 | -- | Inf
732.11/732.10 c 654s| 3760k| 2415k| 0 | 0.0 |1200M| 133 | - | 248 | 590 | 0 | 0 | 0 |3000k| 0 | 0.000000e+00 | -- | Inf
732.52/732.58 c 654s| 3770k| 2425k| 0 | 0.0 |1203M| 133 | - | 248 | 622 | 0 | 0 | 0 |3000k| 0 | 0.000000e+00 | -- | Inf
733.01/733.06 c 654s| 3780k| 2435k| 0 | 0.0 |1207M| 133 | - | 248 | 642 | 0 | 0 | 0 |3000k| 0 | 0.000000e+00 | -- | Inf
733.51/733.55 c 655s| 3790k| 2445k| 0 | 0.0 |1210M| 133 | - | 248 | 664 | 0 | 0 | 0 |3000k| 0 | 0.000000e+00 | -- | Inf
734.01/734.05 c 655s| 3800k| 2455k| 0 | 0.0 |1213M| 133 | - | 248 | 723 | 0 | 0 | 0 |3001k| 0 | 0.000000e+00 | -- | Inf
734.51/734.56 c 655s| 3810k| 2465k| 0 | 0.0 |1216M| 133 | - | 248 | 781 | 0 | 0 | 0 |3001k| 0 | 0.000000e+00 | -- | Inf
735.11/735.10 c 656s| 3820k| 2474k| 0 | 0.0 |1219M| 133 | - | 248 | 905 | 0 | 0 | 0 |3001k| 0 | 0.000000e+00 | -- | Inf
735.61/735.62 c 656s| 3830k| 2484k| 0 | 0.0 |1222M| 133 | - | 248 | 841 | 0 | 0 | 0 |3001k| 0 | 0.000000e+00 | -- | Inf
736.11/736.12 c 656s| 3840k| 2494k| 0 | 0.0 |1225M| 133 | - | 248 | 889 | 0 | 0 | 0 |3002k| 0 | 0.000000e+00 | -- | Inf
736.61/736.63 c 657s| 3850k| 2504k| 0 | 0.0 |1229M| 133 | - | 248 | 913 | 0 | 0 | 0 |3002k| 0 | 0.000000e+00 | -- | Inf
737.11/737.14 c 657s| 3860k| 2514k| 0 | 0.0 |1232M| 133 | - | 248 | 975 | 0 | 0 | 0 |3002k| 0 | 0.000000e+00 | -- | Inf
737.61/737.66 c 657s| 3870k| 2524k| 0 | 0.0 |1235M| 133 | - | 248 |1039 | 0 | 0 | 0 |3002k| 0 | 0.000000e+00 | -- | Inf
738.12/738.15 c 658s| 3880k| 2534k| 0 | 0.0 |1238M| 133 | - | 248 |1100 | 0 | 0 | 0 |3002k| 0 | 0.000000e+00 | -- | Inf
738.61/738.65 c 658s| 3890k| 2544k| 0 | 0.0 |1242M| 133 | - | 248 |1136 | 0 | 0 | 0 |3003k| 0 | 0.000000e+00 | -- | Inf
739.11/739.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
739.11/739.17 c 658s| 3900k| 2554k| 0 | 0.0 |1245M| 133 | - | 248 |1103 | 0 | 0 | 0 |3003k| 0 | 0.000000e+00 | -- | Inf
739.71/739.71 c 659s| 3910k| 2563k| 0 | 0.0 |1248M| 133 | - | 248 |1154 | 0 | 0 | 0 |3003k| 0 | 0.000000e+00 | -- | Inf
740.22/740.23 c 659s| 3920k| 2573k| 0 | 0.0 |1251M| 133 | - | 248 |1196 | 0 | 0 | 0 |3003k| 0 | 0.000000e+00 | -- | Inf
740.71/740.75 c 659s| 3930k| 2583k| 0 | 0.0 |1254M| 133 | - | 248 |1260 | 0 | 0 | 0 |3003k| 0 | 0.000000e+00 | -- | Inf
741.21/741.29 c 660s| 3940k| 2593k| 0 | 0.0 |1257M| 133 | - | 248 |1349 | 0 | 0 | 0 |3004k| 0 | 0.000000e+00 | -- | Inf
741.81/741.84 c 660s| 3950k| 2603k| 0 | 0.0 |1261M| 133 | - | 248 |1368 | 0 | 0 | 0 |3004k| 0 | 0.000000e+00 | -- | Inf
742.31/742.35 c 660s| 3960k| 2613k| 0 | 0.0 |1264M| 133 | - | 248 |1411 | 0 | 0 | 0 |3004k| 0 | 0.000000e+00 | -- | Inf
742.82/742.84 c 661s| 3970k| 2623k| 0 | 0.0 |1267M| 133 | - | 248 |1388 | 0 | 0 | 0 |3004k| 0 | 0.000000e+00 | -- | Inf
743.41/743.41 c 661s| 3980k| 2633k| 0 | 0.0 |1271M| 133 | - | 248 |1445 | 0 | 0 | 0 |3005k| 0 | 0.000000e+00 | -- | Inf
743.91/743.95 c 661s| 3990k| 2642k| 0 | 0.0 |1274M| 133 | - | 248 |1415 | 0 | 0 | 0 |3005k| 0 | 0.000000e+00 | -- | Inf
744.41/744.49 c 662s| 4000k| 2652k| 0 | 0.0 |1277M| 133 | - | 248 |1564 | 0 | 0 | 0 |3005k| 0 | 0.000000e+00 | -- | Inf
745.01/745.03 c 662s| 4010k| 2662k| 0 | 0.0 |1280M| 133 | - | 248 |1596 | 0 | 0 | 0 |3005k| 0 | 0.000000e+00 | -- | Inf
745.61/745.61 c 662s| 4020k| 2672k| 0 | 0.0 |1284M| 133 | - | 248 |1635 | 0 | 0 | 0 |3006k| 0 | 0.000000e+00 | -- | Inf
746.11/746.17 c 663s| 4030k| 2682k| 0 | 0.0 |1287M| 133 | - | 248 |1639 | 0 | 0 | 0 |3006k| 0 | 0.000000e+00 | -- | Inf
746.71/746.70 c 663s| 4040k| 2692k| 0 | 0.0 |1290M| 133 | - | 248 |1662 | 0 | 0 | 0 |3006k| 0 | 0.000000e+00 | -- | Inf
747.21/747.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.21/747.27 c 664s| 4050k| 2702k| 0 | 0.0 |1293M| 133 | - | 248 |1710 | 0 | 0 | 0 |3006k| 0 | 0.000000e+00 | -- | Inf
747.81/747.85 c 664s| 4060k| 2712k| 0 | 0.0 |1297M| 133 | - | 248 |1744 | 0 | 0 | 0 |3006k| 0 | 0.000000e+00 | -- | Inf
748.41/748.41 c 664s| 4070k| 2721k| 0 | 0.0 |1300M| 133 | - | 248 |1782 | 0 | 0 | 0 |3007k| 0 | 0.000000e+00 | -- | Inf
749.01/749.02 c 665s| 4080k| 2731k| 0 | 0.0 |1303M| 133 | - | 248 |1803 | 0 | 0 | 0 |3007k| 0 | 0.000000e+00 | -- | Inf
749.51/749.57 c 665s| 4090k| 2741k| 0 | 0.0 |1307M| 133 | - | 248 |1782 | 0 | 0 | 0 |3007k| 0 | 0.000000e+00 | -- | Inf
750.12/750.13 c 666s| 4100k| 2751k| 0 | 0.0 |1310M| 133 | - | 248 |1813 | 0 | 0 | 0 |3007k| 0 | 0.000000e+00 | -- | Inf
750.71/750.76 c 666s| 4110k| 2761k| 0 | 0.0 |1313M| 133 | - | 248 |1886 | 0 | 0 | 0 |3008k| 0 | 0.000000e+00 | -- | Inf
751.32/751.34 c 666s| 4120k| 2771k| 0 | 0.0 |1317M| 133 | - | 248 |1923 | 0 | 0 | 0 |3008k| 0 | 0.000000e+00 | -- | Inf
751.91/751.91 c 667s| 4130k| 2781k| 0 | 0.0 |1320M| 133 | - | 248 |1984 | 0 | 0 | 0 |3008k| 0 | 0.000000e+00 | -- | Inf
752.42/752.44 c 667s| 4140k| 2791k| 0 | 0.0 |1323M| 133 | - | 248 |1912 | 0 | 0 | 0 |3008k| 0 | 0.000000e+00 | -- | Inf
752.91/752.99 c 668s| 4150k| 2800k| 0 | 0.0 |1327M| 133 | - | 248 |1923 | 0 | 0 | 0 |3008k| 0 | 0.000000e+00 | -- | Inf
753.51/753.57 c 668s| 4160k| 2810k| 0 | 0.0 |1330M| 133 | - | 248 |1987 | 0 | 0 | 0 |3009k| 0 | 0.000000e+00 | -- | Inf
754.11/754.19 c 668s| 4170k| 2820k| 0 | 0.0 |1334M| 133 | - | 248 |2014 | 0 | 0 | 0 |3009k| 0 | 0.000000e+00 | -- | Inf
754.71/754.78 c 669s| 4180k| 2830k| 0 | 0.0 |1337M| 133 | - | 248 |1998 | 0 | 0 | 0 |3009k| 0 | 0.000000e+00 | -- | Inf
755.31/755.38 c 669s| 4190k| 2840k| 0 | 0.0 |1340M| 133 | - | 248 |2080 | 0 | 0 | 0 |3010k| 0 | 0.000000e+00 | -- | Inf
755.91/755.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
755.91/755.94 c 670s| 4200k| 2850k| 0 | 0.0 |1344M| 133 | - | 248 |2105 | 0 | 0 | 0 |3010k| 0 | 0.000000e+00 | -- | Inf
756.51/756.55 c 670s| 4210k| 2860k| 0 | 0.0 |1347M| 133 | - | 248 |2224 | 0 | 0 | 0 |3010k| 0 | 0.000000e+00 | -- | Inf
757.11/757.16 c 670s| 4220k| 2869k| 0 | 0.0 |1350M| 133 | - | 248 |2267 | 0 | 0 | 0 |3011k| 0 | 0.000000e+00 | -- | Inf
757.71/757.76 c 671s| 4230k| 2879k| 0 | 0.0 |1354M| 133 | - | 248 |2320 | 0 | 0 | 0 |3011k| 0 | 0.000000e+00 | -- | Inf
758.31/758.39 c 671s| 4240k| 2889k| 0 | 0.0 |1357M| 133 | - | 248 |2449 | 0 | 0 | 0 |3011k| 0 | 0.000000e+00 | -- | Inf
758.92/758.98 c 672s| 4250k| 2899k| 0 | 0.0 |1360M| 133 | - | 248 |2475 | 0 | 0 | 0 |3012k| 0 | 0.000000e+00 | -- | Inf
759.61/759.60 c 672s| 4260k| 2909k| 0 | 0.0 |1364M| 133 | - | 248 |2581 | 0 | 0 | 0 |3012k| 0 | 0.000000e+00 | -- | Inf
760.12/760.19 c 672s| 4270k| 2919k| 0 | 0.0 |1367M| 133 | - | 248 |2607 | 0 | 0 | 0 |3012k| 0 | 0.000000e+00 | -- | Inf
760.72/760.77 c 673s| 4280k| 2929k| 0 | 0.0 |1371M| 133 | - | 248 |2691 | 0 | 0 | 0 |3012k| 0 | 0.000000e+00 | -- | Inf
761.41/761.41 c 673s| 4290k| 2938k| 0 | 0.0 |1374M| 133 | - | 248 |2760 | 0 | 0 | 0 |3013k| 0 | 0.000000e+00 | -- | Inf
762.12/762.10 c 674s| 4300k| 2948k| 0 | 0.0 |1378M| 133 | - | 248 |2896 | 0 | 0 | 0 |3013k| 0 | 0.000000e+00 | -- | Inf
762.62/762.68 c 674s| 4310k| 2958k| 0 | 0.0 |1381M| 133 | - | 248 |2880 | 0 | 0 | 0 |3013k| 0 | 0.000000e+00 | -- | Inf
763.32/763.34 c 675s| 4320k| 2968k| 0 | 0.0 |1384M| 133 | - | 248 |3061 | 0 | 0 | 0 |3014k| 0 | 0.000000e+00 | -- | Inf
763.91/763.97 c 675s| 4330k| 2978k| 0 | 0.0 |1388M| 133 | - | 248 |3058 | 0 | 0 | 0 |3014k| 0 | 0.000000e+00 | -- | Inf
764.61/764.64 c 676s| 4340k| 2987k| 0 | 0.0 |1391M| 133 | - | 248 |3049 | 0 | 0 | 0 |3015k| 0 | 0.000000e+00 | -- | Inf
765.32/765.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
765.32/765.35 c 676s| 4350k| 2997k| 0 | 0.0 |1395M| 133 | - | 248 |3100 | 0 | 0 | 0 |3015k| 0 | 0.000000e+00 | -- | Inf
765.92/765.99 c 677s| 4360k| 3007k| 0 | 0.0 |1398M| 133 | - | 248 |3110 | 0 | 0 | 0 |3015k| 0 | 0.000000e+00 | -- | Inf
766.62/766.67 c 677s| 4370k| 3017k| 0 | 0.0 |1402M| 133 | - | 248 |3170 | 0 | 0 | 0 |3016k| 0 | 0.000000e+00 | -- | Inf
767.31/767.37 c 678s| 4380k| 3026k| 0 | 0.0 |1405M| 133 | - | 248 |3230 | 0 | 0 | 0 |3016k| 0 | 0.000000e+00 | -- | Inf
768.01/768.04 c 678s| 4390k| 3036k| 0 | 0.0 |1409M| 133 | - | 248 |3224 | 0 | 0 | 0 |3017k| 0 | 0.000000e+00 | -- | Inf
768.71/768.73 c 679s| 4400k| 3046k| 0 | 0.0 |1412M| 133 | - | 248 |3201 | 0 | 0 | 0 |3017k| 0 | 0.000000e+00 | -- | Inf
769.31/769.38 c 679s| 4410k| 3056k| 0 | 0.0 |1416M| 133 | - | 248 |3101 | 0 | 0 | 0 |3017k| 0 | 0.000000e+00 | -- | Inf
770.02/770.05 c 679s| 4420k| 3065k| 0 | 0.0 |1419M| 133 | - | 248 |3078 | 0 | 0 | 0 |3018k| 0 | 0.000000e+00 | -- | Inf
770.81/770.82 c 680s| 4430k| 3075k| 0 | 0.0 |1423M| 133 | - | 248 |3172 | 0 | 0 | 0 |3018k| 0 | 0.000000e+00 | -- | Inf
771.51/771.50 c 681s| 4440k| 3085k| 0 | 0.0 |1426M| 133 | - | 248 |3150 | 0 | 0 | 0 |3018k| 0 | 0.000000e+00 | -- | Inf
772.22/772.21 c 681s| 4450k| 3095k| 0 | 0.0 |1430M| 133 | - | 248 |3305 | 0 | 0 | 0 |3019k| 0 | 0.000000e+00 | -- | Inf
772.91/772.95 c 682s| 4460k| 3104k| 0 | 0.0 |1433M| 133 | - | 248 |3510 | 0 | 0 | 0 |3020k| 0 | 0.000000e+00 | -- | Inf
773.61/773.64 c 682s| 4470k| 3114k| 0 | 0.0 |1437M| 133 | - | 248 |3443 | 0 | 0 | 0 |3020k| 0 | 0.000000e+00 | -- | Inf
774.31/774.30 c 683s| 4480k| 3124k| 0 | 0.0 |1441M| 133 | - | 248 |3515 | 0 | 0 | 0 |3021k| 0 | 0.000000e+00 | -- | Inf
774.91/774.98 c 683s| 4490k| 3133k| 0 | 0.0 |1444M| 133 | - | 248 |3431 | 0 | 0 | 0 |3021k| 0 | 0.000000e+00 | -- | Inf
775.61/775.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
775.61/775.66 c 684s| 4500k| 3143k| 0 | 0.0 |1448M| 133 | - | 248 |3441 | 0 | 0 | 0 |3022k| 0 | 0.000000e+00 | -- | Inf
776.31/776.37 c 684s| 4510k| 3153k| 0 | 0.0 |1451M| 133 | - | 248 |3399 | 0 | 0 | 0 |3022k| 0 | 0.000000e+00 | -- | Inf
777.01/777.06 c 685s| 4520k| 3163k| 0 | 0.0 |1455M| 133 | - | 248 |3392 | 0 | 0 | 0 |3023k| 0 | 0.000000e+00 | -- | Inf
777.72/777.71 c 685s| 4530k| 3172k| 0 | 0.0 |1459M| 133 | - | 248 |3460 | 0 | 0 | 0 |3023k| 0 | 0.000000e+00 | -- | Inf
779.12/779.12 c 686s| 4540k| 3180k| 0 | 0.0 |1462M| 133 | - | 248 |3318 | 0 | 0 | 0 |3030k| 0 | 0.000000e+00 | -- | Inf
780.71/780.77 c 688s| 4550k| 3187k| 0 | 0.0 |1466M| 133 | - | 248 |4365 | 0 | 0 | 0 |3038k| 0 | 0.000000e+00 | -- | Inf
782.42/782.45 c 689s| 4560k| 3195k| 0 | 0.0 |1469M| 133 | - | 248 |4809 | 0 | 0 | 0 |3045k| 0 | 0.000000e+00 | -- | Inf
784.11/784.13 c 691s| 4570k| 3202k| 0 | 0.0 |1472M| 133 | - | 248 |4823 | 0 | 0 | 0 |3052k| 0 | 0.000000e+00 | -- | Inf
785.71/785.75 c 692s| 4580k| 3209k| 0 | 0.0 |1476M| 133 | - | 248 |4711 | 0 | 0 | 0 |3060k| 0 | 0.000000e+00 | -- | Inf
787.42/787.45 c 694s| 4590k| 3217k| 0 | 0.0 |1479M| 133 | - | 248 |4926 | 0 | 0 | 0 |3067k| 0 | 0.000000e+00 | -- | Inf
789.01/789.09 c 695s| 4600k| 3224k| 0 | 0.0 |1482M| 133 | - | 248 |4528 | 0 | 0 | 0 |3075k| 0 | 0.000000e+00 | -- | Inf
790.71/790.75 c 697s| 4610k| 3232k| 0 | 0.0 |1485M| 133 | - | 248 |5239 | 0 | 0 | 0 |3082k| 0 | 0.000000e+00 | -- | Inf
792.21/792.20 c 698s| 4620k| 3239k| 0 | 0.0 |1488M| 133 | - | 248 |4692 | 0 | 0 | 0 |3089k| 0 | 0.000000e+00 | -- | Inf
793.82/793.81 c 699s| 4630k| 3247k| 0 | 0.0 |1492M| 133 | - | 248 |4433 | 0 | 0 | 0 |3097k| 0 | 0.000000e+00 | -- | Inf
795.41/795.45 c 701s| 4640k| 3254k| 0 | 0.0 |1495M| 133 | - | 248 |5410 | 0 | 0 | 0 |3104k| 0 | 0.000000e+00 | -- | Inf
797.01/797.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
797.01/797.07 c 702s| 4650k| 3262k| 0 | 0.0 |1498M| 133 | - | 248 |5063 | 0 | 0 | 0 |3112k| 0 | 0.000000e+00 | -- | Inf
798.42/798.46 c 703s| 4660k| 3269k| 0 | 0.0 |1501M| 133 | - | 248 |4598 | 0 | 0 | 0 |3118k| 0 | 0.000000e+00 | -- | Inf
800.12/800.12 c 705s| 4670k| 3277k| 0 | 0.0 |1505M| 133 | - | 248 |5301 | 0 | 0 | 0 |3126k| 0 | 0.000000e+00 | -- | Inf
801.71/801.72 c 706s| 4680k| 3284k| 0 | 0.0 |1508M| 133 | - | 248 |5515 | 0 | 0 | 0 |3133k| 0 | 0.000000e+00 | -- | Inf
803.32/803.30 c 708s| 4690k| 3291k| 0 | 0.0 |1511M| 133 | - | 248 |5124 | 0 | 0 | 0 |3140k| 0 | 0.000000e+00 | -- | Inf
804.71/804.78 c 709s| 4700k| 3299k| 0 | 0.0 |1514M| 133 | - | 248 |4723 | 0 | 0 | 0 |3147k| 0 | 0.000000e+00 | -- | Inf
806.41/806.47 c 710s| 4710k| 3307k| 0 | 0.0 |1518M| 133 | - | 248 |4890 | 0 | 0 | 0 |3155k| 0 | 0.000000e+00 | -- | Inf
808.61/808.62 c 712s| 4720k| 3314k| 0 | 0.0 |1521M| 133 | - | 248 |6131 | 0 | 0 | 0 |3163k| 0 | 0.000000e+00 | -- | Inf
810.41/810.45 c 714s| 4730k| 3321k| 0 | 0.0 |1524M| 133 | - | 248 |5571 | 0 | 0 | 0 |3170k| 0 | 0.000000e+00 | -- | Inf
812.31/812.38 c 716s| 4740k| 3328k| 0 | 0.0 |1528M| 133 | - | 248 |5537 | 0 | 0 | 0 |3179k| 0 | 0.000000e+00 | -- | Inf
814.22/814.22 c 717s| 4750k| 3336k| 0 | 0.0 |1531M| 133 | - | 248 |5412 | 0 | 0 | 0 |3186k| 0 | 0.000000e+00 | -- | Inf
816.22/816.22 c 719s| 4760k| 3343k| 0 | 0.0 |1534M| 133 | - | 248 |5395 | 0 | 0 | 0 |3194k| 0 | 0.000000e+00 | -- | Inf
818.01/818.00 c 721s| 4770k| 3351k| 0 | 0.0 |1537M| 133 | - | 248 |5319 | 0 | 0 | 0 |3201k| 0 | 0.000000e+00 | -- | Inf
820.42/820.41 c 723s| 4780k| 3358k| 0 | 0.0 |1541M| 133 | - | 248 |6442 | 0 | 0 | 0 |3210k| 0 | 0.000000e+00 | -- | Inf
822.41/822.48 c 725s| 4790k| 3365k| 0 | 0.0 |1544M| 133 | - | 248 |6071 | 0 | 0 | 0 |3218k| 0 | 0.000000e+00 | -- | Inf
824.52/824.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
824.52/824.54 c 727s| 4800k| 3372k| 0 | 0.0 |1547M| 133 | - | 248 |5729 | 0 | 0 | 0 |3226k| 0 | 0.000000e+00 | -- | Inf
826.61/826.61 c 729s| 4810k| 3379k| 0 | 0.0 |1550M| 133 | - | 248 |5906 | 0 | 0 | 0 |3234k| 0 | 0.000000e+00 | -- | Inf
828.41/828.44 c 730s| 4820k| 3387k| 0 | 0.0 |1554M| 133 | - | 248 |5651 | 0 | 0 | 0 |3242k| 0 | 0.000000e+00 | -- | Inf
830.21/830.24 c 732s| 4830k| 3394k| 0 | 0.0 |1557M| 133 | - | 248 |5839 | 0 | 0 | 0 |3249k| 0 | 0.000000e+00 | -- | Inf
831.92/831.90 c 733s| 4840k| 3402k| 0 | 0.0 |1560M| 133 | - | 248 |5634 | 0 | 0 | 0 |3256k| 0 | 0.000000e+00 | -- | Inf
834.31/834.32 c 736s| 4850k| 3409k| 0 | 0.0 |1564M| 133 | - | 248 |7216 | 0 | 0 | 0 |3266k| 0 | 0.000000e+00 | -- | Inf
836.91/836.90 c 738s| 4860k| 3416k| 0 | 0.0 |1567M| 133 | - | 248 |6710 | 0 | 0 | 0 |3274k| 0 | 0.000000e+00 | -- | Inf
839.11/839.16 c 740s| 4870k| 3423k| 0 | 0.0 |1570M| 133 | - | 248 |6204 | 0 | 0 | 0 |3282k| 0 | 0.000000e+00 | -- | Inf
841.22/841.20 c 742s| 4880k| 3430k| 0 | 0.0 |1573M| 133 | - | 248 |6084 | 0 | 0 | 0 |3290k| 0 | 0.000000e+00 | -- | Inf
843.22/843.21 c 744s| 4890k| 3437k| 0 | 0.0 |1576M| 133 | - | 248 |6264 | 0 | 0 | 0 |3299k| 0 | 0.000000e+00 | -- | Inf
845.01/845.09 c 745s| 4900k| 3445k| 0 | 0.0 |1579M| 133 | - | 248 |6174 | 0 | 0 | 0 |3306k| 0 | 0.000000e+00 | -- | Inf
847.21/847.24 c 747s| 4910k| 3452k| 0 | 0.0 |1583M| 133 | - | 248 |5964 | 0 | 0 | 0 |3313k| 0 | 0.000000e+00 | -- | Inf
849.22/849.26 c 749s| 4920k| 3460k| 0 | 0.0 |1586M| 133 | - | 248 |6061 | 0 | 0 | 0 |3320k| 0 | 0.000000e+00 | -- | Inf
851.11/851.12 c 751s| 4930k| 3467k| 0 | 0.0 |1589M| 133 | - | 248 |6030 | 0 | 0 | 0 |3328k| 0 | 0.000000e+00 | -- | Inf
853.11/853.11 c 753s| 4940k| 3475k| 0 | 0.0 |1592M| 133 | - | 248 |6292 | 0 | 0 | 0 |3335k| 0 | 0.000000e+00 | -- | Inf
855.32/855.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.32/855.34 c 755s| 4950k| 3482k| 0 | 0.0 |1596M| 133 | - | 248 |6695 | 0 | 0 | 0 |3344k| 0 | 0.000000e+00 | -- | Inf
857.91/858.00 c 757s| 4960k| 3488k| 0 | 0.0 |1599M| 133 | - | 248 |7536 | 0 | 0 | 0 |3353k| 0 | 0.000000e+00 | -- | Inf
860.12/860.20 c 759s| 4970k| 3495k| 0 | 0.0 |1602M| 133 | - | 248 |6912 | 0 | 0 | 0 |3362k| 0 | 0.000000e+00 | -- | Inf
862.32/862.36 c 761s| 4980k| 3502k| 0 | 0.0 |1606M| 133 | - | 248 |6682 | 0 | 0 | 0 |3370k| 0 | 0.000000e+00 | -- | Inf
864.52/864.54 c 763s| 4990k| 3510k| 0 | 0.0 |1609M| 133 | - | 248 |6614 | 0 | 0 | 0 |3379k| 0 | 0.000000e+00 | -- | Inf
866.52/866.56 c 765s| 5000k| 3517k| 0 | 0.0 |1612M| 133 | - | 248 |6580 | 0 | 0 | 0 |3386k| 0 | 0.000000e+00 | -- | Inf
868.72/868.74 c 767s| 5010k| 3524k| 0 | 0.0 |1615M| 133 | - | 248 |6426 | 0 | 0 | 0 |3394k| 0 | 0.000000e+00 | -- | Inf
870.82/870.80 c 769s| 5020k| 3532k| 0 | 0.0 |1618M| 133 | - | 248 |6585 | 0 | 0 | 0 |3401k| 0 | 0.000000e+00 | -- | Inf
872.62/872.66 c 771s| 5030k| 3539k| 0 | 0.0 |1622M| 133 | - | 248 |6594 | 0 | 0 | 0 |3408k| 0 | 0.000000e+00 | -- | Inf
875.01/875.01 c 773s| 5040k| 3547k| 0 | 0.0 |1625M| 133 | - | 248 |6882 | 0 | 0 | 0 |3416k| 0 | 0.000000e+00 | -- | Inf
876.81/876.89 c 774s| 5050k| 3554k| 0 | 0.0 |1628M| 133 | - | 248 |6723 | 0 | 0 | 0 |3422k| 0 | 0.000000e+00 | -- | Inf
879.01/879.02 c 776s| 5060k| 3561k| 0 | 0.0 |1631M| 133 | - | 248 |6822 | 0 | 0 | 0 |3429k| 0 | 0.000000e+00 | -- | Inf
881.12/881.17 c 778s| 5070k| 3569k| 0 | 0.0 |1635M| 133 | - | 248 |6702 | 0 | 0 | 0 |3437k| 0 | 0.000000e+00 | -- | Inf
884.33/884.31 c 781s| 5080k| 3575k| 0 | 0.0 |1639M| 133 | - | 248 |8612 | 0 | 0 | 0 |3448k| 0 | 0.000000e+00 | -- | Inf
887.12/887.15 c 784s| 5090k| 3581k| 0 | 0.0 |1642M| 133 | - | 248 |7961 | 0 | 0 | 0 |3458k| 0 | 0.000000e+00 | -- | Inf
889.41/889.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.41/889.47 c 786s| 5100k| 3588k| 0 | 0.0 |1645M| 133 | - | 248 |7280 | 0 | 0 | 0 |3466k| 0 | 0.000000e+00 | -- | Inf
892.02/892.07 c 788s| 5110k| 3595k| 0 | 0.0 |1648M| 133 | - | 248 |7248 | 0 | 0 | 0 |3475k| 0 | 0.000000e+00 | -- | Inf
894.41/894.48 c 791s| 5120k| 3603k| 0 | 0.0 |1651M| 133 | - | 248 |6870 | 0 | 0 | 0 |3483k| 0 | 0.000000e+00 | -- | Inf
897.12/897.11 c 793s| 5130k| 3610k| 0 | 0.0 |1654M| 133 | - | 248 |7126 | 0 | 0 | 0 |3492k| 0 | 0.000000e+00 | -- | Inf
899.11/899.10 c 795s| 5140k| 3617k| 0 | 0.0 |1658M| 133 | - | 248 |7022 | 0 | 0 | 0 |3499k| 0 | 0.000000e+00 | -- | Inf
901.42/901.46 c 797s| 5150k| 3624k| 0 | 0.0 |1661M| 133 | - | 248 |6936 | 0 | 0 | 0 |3506k| 0 | 0.000000e+00 | -- | Inf
903.61/903.69 c 799s| 5160k| 3632k| 0 | 0.0 |1664M| 133 | - | 248 |7153 | 0 | 0 | 0 |3513k| 0 | 0.000000e+00 | -- | Inf
905.71/905.74 c 801s| 5170k| 3639k| 0 | 0.0 |1667M| 133 | - | 248 |7060 | 0 | 0 | 0 |3521k| 0 | 0.000000e+00 | -- | Inf
908.01/908.04 c 803s| 5180k| 3646k| 0 | 0.0 |1670M| 133 | - | 248 |7071 | 0 | 0 | 0 |3528k| 0 | 0.000000e+00 | -- | Inf
910.52/910.54 c 805s| 5190k| 3653k| 0 | 0.0 |1674M| 133 | - | 248 |6972 | 0 | 0 | 0 |3536k| 0 | 0.000000e+00 | -- | Inf
913.02/913.09 c 808s| 5200k| 3660k| 0 | 0.0 |1677M| 133 | - | 248 |7296 | 0 | 0 | 0 |3544k| 0 | 0.000000e+00 | -- | Inf
915.52/915.54 c 810s| 5210k| 3668k| 0 | 0.0 |1680M| 133 | - | 248 |7393 | 0 | 0 | 0 |3551k| 0 | 0.000000e+00 | -- | Inf
917.72/917.76 c 812s| 5220k| 3675k| 0 | 0.0 |1684M| 133 | - | 248 |7296 | 0 | 0 | 0 |3559k| 0 | 0.000000e+00 | -- | Inf
921.61/921.68 c 816s| 5230k| 3680k| 0 | 0.0 |1687M| 133 | - | 248 |8997 | 0 | 0 | 0 |3572k| 0 | 0.000000e+00 | -- | Inf
924.62/924.65 c 818s| 5240k| 3687k| 0 | 0.0 |1691M| 133 | - | 248 |8366 | 0 | 0 | 0 |3581k| 0 | 0.000000e+00 | -- | Inf
927.02/927.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.02/927.06 c 821s| 5250k| 3694k| 0 | 0.0 |1694M| 133 | - | 248 |7859 | 0 | 0 | 0 |3590k| 0 | 0.000000e+00 | -- | Inf
929.62/929.63 c 823s| 5260k| 3701k| 0 | 0.0 |1697M| 133 | - | 248 |7652 | 0 | 0 | 0 |3598k| 0 | 0.000000e+00 | -- | Inf
932.02/932.03 c 825s| 5270k| 3708k| 0 | 0.0 |1700M| 133 | - | 248 |7511 | 0 | 0 | 0 |3606k| 0 | 0.000000e+00 | -- | Inf
934.41/934.45 c 827s| 5280k| 3715k| 0 | 0.0 |1703M| 133 | - | 248 |7461 | 0 | 0 | 0 |3613k| 0 | 0.000000e+00 | -- | Inf
936.92/936.90 c 830s| 5290k| 3722k| 0 | 0.0 |1707M| 133 | - | 248 |7692 | 0 | 0 | 0 |3621k| 0 | 0.000000e+00 | -- | Inf
939.22/939.20 c 832s| 5300k| 3730k| 0 | 0.0 |1710M| 133 | - | 248 |7615 | 0 | 0 | 0 |3628k| 0 | 0.000000e+00 | -- | Inf
941.63/941.65 c 834s| 5310k| 3737k| 0 | 0.0 |1713M| 133 | - | 248 |7847 | 0 | 0 | 0 |3636k| 0 | 0.000000e+00 | -- | Inf
943.91/943.96 c 836s| 5320k| 3744k| 0 | 0.0 |1716M| 133 | - | 248 |7753 | 0 | 0 | 0 |3644k| 0 | 0.000000e+00 | -- | Inf
946.42/946.47 c 838s| 5330k| 3751k| 0 | 0.0 |1720M| 133 | - | 248 |7800 | 0 | 0 | 0 |3652k| 0 | 0.000000e+00 | -- | Inf
948.92/948.94 c 841s| 5340k| 3759k| 0 | 0.0 |1723M| 133 | - | 248 |7563 | 0 | 0 | 0 |3659k| 0 | 0.000000e+00 | -- | Inf
951.22/951.28 c 843s| 5350k| 3766k| 0 | 0.0 |1726M| 133 | - | 248 |7656 | 0 | 0 | 0 |3666k| 0 | 0.000000e+00 | -- | Inf
953.52/953.53 c 845s| 5360k| 3773k| 0 | 0.0 |1729M| 133 | - | 248 |7733 | 0 | 0 | 0 |3674k| 0 | 0.000000e+00 | -- | Inf
955.71/955.78 c 847s| 5370k| 3780k| 0 | 0.0 |1732M| 133 | - | 248 |7588 | 0 | 0 | 0 |3681k| 0 | 0.000000e+00 | -- | Inf
958.42/958.42 c 849s| 5380k| 3787k| 0 | 0.0 |1736M| 133 | - | 248 |7789 | 0 | 0 | 0 |3689k| 0 | 0.000000e+00 | -- | Inf
961.11/961.10 c 852s| 5390k| 3794k| 0 | 0.0 |1739M| 133 | - | 248 |8122 | 0 | 0 | 0 |3697k| 0 | 0.000000e+00 | -- | Inf
965.73/965.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
965.73/965.76 c 856s| 5400k| 3799k| 0 | 0.0 |1743M| 133 | - | 248 |9984 | 0 | 0 | 0 |3711k| 0 | 0.000000e+00 | -- | Inf
968.92/968.98 c 859s| 5410k| 3806k| 0 | 0.0 |1746M| 133 | - | 248 |9298 | 0 | 0 | 0 |3720k| 0 | 0.000000e+00 | -- | Inf
972.21/972.28 c 862s| 5420k| 3812k| 0 | 0.0 |1749M| 133 | - | 248 |8791 | 0 | 0 | 0 |3730k| 0 | 0.000000e+00 | -- | Inf
974.92/974.92 c 865s| 5430k| 3819k| 0 | 0.0 |1752M| 133 | - | 248 |8581 | 0 | 0 | 0 |3739k| 0 | 0.000000e+00 | -- | Inf
977.42/977.43 c 867s| 5440k| 3827k| 0 | 0.0 |1756M| 133 | - | 248 |8393 | 0 | 0 | 0 |3747k| 0 | 0.000000e+00 | -- | Inf
980.22/980.22 c 870s| 5450k| 3833k| 0 | 0.0 |1759M| 133 | - | 248 |8641 | 0 | 0 | 0 |3755k| 0 | 0.000000e+00 | -- | Inf
982.62/982.67 c 872s| 5460k| 3841k| 0 | 0.0 |1762M| 133 | - | 248 |8499 | 0 | 0 | 0 |3762k| 0 | 0.000000e+00 | -- | Inf
985.22/985.22 c 874s| 5470k| 3848k| 0 | 0.0 |1765M| 133 | - | 248 |8579 | 0 | 0 | 0 |3770k| 0 | 0.000000e+00 | -- | Inf
987.72/987.74 c 877s| 5480k| 3855k| 0 | 0.0 |1768M| 133 | - | 248 |8437 | 0 | 0 | 0 |3778k| 0 | 0.000000e+00 | -- | Inf
991.22/991.20 c 880s| 5490k| 3862k| 0 | 0.0 |1772M| 133 | - | 248 |8551 | 0 | 0 | 0 |3787k| 0 | 0.000000e+00 | -- | Inf
993.72/993.79 c 882s| 5500k| 3869k| 0 | 0.0 |1775M| 133 | - | 248 |8312 | 0 | 0 | 0 |3794k| 0 | 0.000000e+00 | -- | Inf
996.32/996.37 c 885s| 5510k| 3876k| 0 | 0.0 |1778M| 133 | - | 248 |8394 | 0 | 0 | 0 |3802k| 0 | 0.000000e+00 | -- | Inf
999.02/999.02 c 887s| 5520k| 3883k| 0 | 0.0 |1781M| 133 | - | 248 |8295 | 0 | 0 | 0 |3810k| 0 | 0.000000e+00 | -- | Inf
1001.42/1001.43 c 890s| 5530k| 3890k| 0 | 0.0 |1785M| 133 | - | 248 |8311 | 0 | 0 | 0 |3817k| 0 | 0.000000e+00 | -- | Inf
1003.92/1003.94 c 892s| 5540k| 3898k| 0 | 0.0 |1788M| 133 | - | 248 |8330 | 0 | 0 | 0 |3825k| 0 | 0.000000e+00 | -- | Inf
1006.53/1006.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1006.53/1006.55 c 894s| 5550k| 3905k| 0 | 0.0 |1791M| 133 | - | 248 |8419 | 0 | 0 | 0 |3832k| 0 | 0.000000e+00 | -- | Inf
1008.82/1008.88 c 896s| 5560k| 3912k| 0 | 0.0 |1794M| 133 | - | 248 |8527 | 0 | 0 | 0 |3840k| 0 | 0.000000e+00 | -- | Inf
1011.72/1011.70 c 899s| 5570k| 3919k| 0 | 0.0 |1798M| 133 | - | 248 |8266 | 0 | 0 | 0 |3848k| 0 | 0.000000e+00 | -- | Inf
1014.32/1014.30 c 901s| 5580k| 3926k| 0 | 0.0 |1801M| 133 | - | 248 |8638 | 0 | 0 | 0 |3856k| 0 | 0.000000e+00 | -- | Inf
1019.62/1019.60 c 907s| 5590k| 3931k| 0 | 0.0 |1805M| 133 | - | 248 | 10k| 0 | 0 | 0 |3871k| 0 | 0.000000e+00 | -- | Inf
1023.82/1023.84 c 911s| 5600k| 3937k| 0 | 0.0 |1808M| 133 | - | 248 | 10k| 0 | 0 | 0 |3881k| 0 | 0.000000e+00 | -- | Inf
1027.52/1027.52 c 914s| 5610k| 3943k| 0 | 0.0 |1811M| 133 | - | 248 |9743 | 0 | 0 | 0 |3891k| 0 | 0.000000e+00 | -- | Inf
1030.52/1030.56 c 917s| 5620k| 3950k| 0 | 0.0 |1814M| 133 | - | 248 |9264 | 0 | 0 | 0 |3900k| 0 | 0.000000e+00 | -- | Inf
1033.12/1033.15 c 919s| 5630k| 3957k| 0 | 0.0 |1818M| 133 | - | 248 |9128 | 0 | 0 | 0 |3908k| 0 | 0.000000e+00 | -- | Inf
1035.92/1035.95 c 922s| 5640k| 3963k| 0 | 0.0 |1821M| 133 | - | 248 |9014 | 0 | 0 | 0 |3917k| 0 | 0.000000e+00 | -- | Inf
1038.72/1038.71 c 924s| 5650k| 3970k| 0 | 0.0 |1824M| 133 | - | 248 |9213 | 0 | 0 | 0 |3925k| 0 | 0.000000e+00 | -- | Inf
1041.42/1041.40 c 927s| 5660k| 3977k| 0 | 0.0 |1827M| 133 | - | 248 |9018 | 0 | 0 | 0 |3932k| 0 | 0.000000e+00 | -- | Inf
1043.83/1043.90 c 929s| 5670k| 3984k| 0 | 0.0 |1831M| 133 | - | 248 |8927 | 0 | 0 | 0 |3941k| 0 | 0.000000e+00 | -- | Inf
1046.42/1046.40 c 932s| 5680k| 3991k| 0 | 0.0 |1834M| 133 | - | 248 |8749 | 0 | 0 | 0 |3948k| 0 | 0.000000e+00 | -- | Inf
1049.02/1049.03 c 934s| 5690k| 3999k| 0 | 0.0 |1837M| 133 | - | 248 |8665 | 0 | 0 | 0 |3955k| 0 | 0.000000e+00 | -- | Inf
1051.82/1051.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1051.82/1051.85 c 937s| 5700k| 4005k| 0 | 0.0 |1840M| 133 | - | 248 |8913 | 0 | 0 | 0 |3964k| 0 | 0.000000e+00 | -- | Inf
1054.42/1054.40 c 939s| 5710k| 4013k| 0 | 0.0 |1844M| 133 | - | 248 |8802 | 0 | 0 | 0 |3971k| 0 | 0.000000e+00 | -- | Inf
1057.13/1057.18 c 942s| 5720k| 4020k| 0 | 0.0 |1847M| 133 | - | 248 |9038 | 0 | 0 | 0 |3979k| 0 | 0.000000e+00 | -- | Inf
1059.92/1059.93 c 944s| 5730k| 4027k| 0 | 0.0 |1850M| 133 | - | 248 |8894 | 0 | 0 | 0 |3987k| 0 | 0.000000e+00 | -- | Inf
1062.63/1062.66 c 947s| 5740k| 4034k| 0 | 0.0 |1853M| 133 | - | 248 |8929 | 0 | 0 | 0 |3994k| 0 | 0.000000e+00 | -- | Inf
1065.93/1065.95 c 950s| 5750k| 4041k| 0 | 0.0 |1857M| 133 | - | 248 |8819 | 0 | 0 | 0 |4002k| 0 | 0.000000e+00 | -- | Inf
1068.62/1068.62 c 952s| 5760k| 4048k| 0 | 0.0 |1860M| 133 | - | 248 |9005 | 0 | 0 | 0 |4010k| 0 | 0.000000e+00 | -- | Inf
1071.43/1071.42 c 955s| 5770k| 4055k| 0 | 0.0 |1863M| 133 | - | 248 |9088 | 0 | 0 | 0 |4018k| 0 | 0.000000e+00 | -- | Inf
1074.42/1074.40 c 958s| 5780k| 4062k| 0 | 0.0 |1866M| 133 | - | 248 |9041 | 0 | 0 | 0 |4026k| 0 | 0.000000e+00 | -- | Inf
1077.32/1077.35 c 960s| 5790k| 4069k| 0 | 0.0 |1870M| 133 | - | 248 |9412 | 0 | 0 | 0 |4034k| 0 | 0.000000e+00 | -- | Inf
1081.33/1081.37 c 964s| 5800k| 4074k| 0 | 0.0 |1874M| 133 | - | 248 | 11k| 0 | 0 | 0 |4045k| 0 | 0.000000e+00 | -- | Inf
1086.83/1086.81 c 969s| 5810k| 4079k| 0 | 0.0 |1877M| 133 | - | 248 | 11k| 0 | 0 | 0 |4059k| 0 | 0.000000e+00 | -- | Inf
1091.23/1091.22 c 974s| 5820k| 4085k| 0 | 0.0 |1880M| 133 | - | 248 | 10k| 0 | 0 | 0 |4070k| 0 | 0.000000e+00 | -- | Inf
1094.93/1094.91 c 977s| 5830k| 4092k| 0 | 0.0 |1883M| 133 | - | 248 | 10k| 0 | 0 | 0 |4080k| 0 | 0.000000e+00 | -- | Inf
1098.12/1098.12 c 980s| 5840k| 4098k| 0 | 0.0 |1886M| 133 | - | 248 | 10k| 0 | 0 | 0 |4089k| 0 | 0.000000e+00 | -- | Inf
1101.32/1101.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1101.32/1101.35 c 983s| 5850k| 4105k| 0 | 0.0 |1890M| 133 | - | 248 |9967 | 0 | 0 | 0 |4097k| 0 | 0.000000e+00 | -- | Inf
1104.33/1104.37 c 986s| 5860k| 4112k| 0 | 0.0 |1893M| 133 | - | 248 | 10k| 0 | 0 | 0 |4106k| 0 | 0.000000e+00 | -- | Inf
1107.42/1107.41 c 989s| 5870k| 4119k| 0 | 0.0 |1896M| 133 | - | 248 |9810 | 0 | 0 | 0 |4114k| 0 | 0.000000e+00 | -- | Inf
1110.53/1110.54 c 992s| 5880k| 4126k| 0 | 0.0 |1899M| 133 | - | 248 |9691 | 0 | 0 | 0 |4122k| 0 | 0.000000e+00 | -- | Inf
1113.43/1113.43 c 994s| 5890k| 4133k| 0 | 0.0 |1902M| 133 | - | 248 |9472 | 0 | 0 | 0 |4130k| 0 | 0.000000e+00 | -- | Inf
1116.42/1116.49 c 997s| 5900k| 4139k| 0 | 0.0 |1906M| 133 | - | 248 |9611 | 0 | 0 | 0 |4138k| 0 | 0.000000e+00 | -- | Inf
1119.52/1119.59 c 1000s| 5910k| 4146k| 0 | 0.0 |1909M| 133 | - | 248 |9522 | 0 | 0 | 0 |4146k| 0 | 0.000000e+00 | -- | Inf
1122.82/1122.82 c 1003s| 5920k| 4153k| 0 | 0.0 |1912M| 133 | - | 248 |9521 | 0 | 0 | 0 |4154k| 0 | 0.000000e+00 | -- | Inf
1125.72/1125.71 c 1006s| 5930k| 4160k| 0 | 0.0 |1916M| 133 | - | 248 |9720 | 0 | 0 | 0 |4162k| 0 | 0.000000e+00 | -- | Inf
1128.42/1128.43 c 1008s| 5940k| 4167k| 0 | 0.0 |1919M| 133 | - | 248 |9699 | 0 | 0 | 0 |4170k| 0 | 0.000000e+00 | -- | Inf
1131.73/1131.74 c 1012s| 5950k| 4174k| 0 | 0.0 |1922M| 133 | - | 248 |9482 | 0 | 0 | 0 |4177k| 0 | 0.000000e+00 | -- | Inf
1134.42/1134.49 c 1014s| 5960k| 4181k| 0 | 0.0 |1925M| 133 | - | 248 |9647 | 0 | 0 | 0 |4186k| 0 | 0.000000e+00 | -- | Inf
1137.93/1137.90 c 1017s| 5970k| 4188k| 0 | 0.0 |1929M| 133 | - | 248 |9738 | 0 | 0 | 0 |4194k| 0 | 0.000000e+00 | -- | Inf
1140.92/1140.96 c 1020s| 5980k| 4195k| 0 | 0.0 |1932M| 133 | - | 248 |9494 | 0 | 0 | 0 |4201k| 0 | 0.000000e+00 | -- | Inf
1143.32/1143.34 c 1022s| 5990k| 4202k| 0 | 0.0 |1935M| 133 | - | 248 |9506 | 0 | 0 | 0 |4209k| 0 | 0.000000e+00 | -- | Inf
1146.42/1146.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.42/1146.42 c 1025s| 6000k| 4209k| 0 | 0.0 |1938M| 133 | - | 248 |9720 | 0 | 0 | 0 |4218k| 0 | 0.000000e+00 | -- | Inf
1149.53/1149.55 c 1028s| 6010k| 4216k| 0 | 0.0 |1942M| 133 | - | 248 |9851 | 0 | 0 | 0 |4225k| 0 | 0.000000e+00 | -- | Inf
1152.62/1152.64 c 1031s| 6020k| 4223k| 0 | 0.0 |1945M| 133 | - | 248 |9490 | 0 | 0 | 0 |4233k| 0 | 0.000000e+00 | -- | Inf
1155.52/1155.53 c 1034s| 6030k| 4230k| 0 | 0.0 |1948M| 133 | - | 248 |9942 | 0 | 0 | 0 |4241k| 0 | 0.000000e+00 | -- | Inf
1159.72/1159.70 c 1038s| 6040k| 4236k| 0 | 0.0 |1952M| 133 | - | 248 | 11k| 0 | 0 | 0 |4252k| 0 | 0.000000e+00 | -- | Inf
1165.93/1165.95 c 1044s| 6050k| 4240k| 0 | 0.0 |1955M| 133 | - | 248 | 11k| 0 | 0 | 0 |4266k| 0 | 0.000000e+00 | -- | Inf
1170.52/1170.53 c 1048s| 6060k| 4246k| 0 | 0.0 |1959M| 133 | - | 248 | 11k| 0 | 0 | 0 |4277k| 0 | 0.000000e+00 | -- | Inf
1174.52/1174.53 c 1052s| 6070k| 4252k| 0 | 0.0 |1962M| 133 | - | 248 | 10k| 0 | 0 | 0 |4287k| 0 | 0.000000e+00 | -- | Inf
1178.22/1178.20 c 1055s| 6080k| 4259k| 0 | 0.0 |1965M| 133 | - | 248 | 10k| 0 | 0 | 0 |4296k| 0 | 0.000000e+00 | -- | Inf
1181.43/1181.44 c 1058s| 6090k| 4265k| 0 | 0.0 |1968M| 133 | - | 248 | 10k| 0 | 0 | 0 |4305k| 0 | 0.000000e+00 | -- | Inf
1185.23/1185.30 c 1062s| 6100k| 4272k| 0 | 0.0 |1971M| 133 | - | 248 | 10k| 0 | 0 | 0 |4314k| 0 | 0.000000e+00 | -- | Inf
1188.73/1188.74 c 1065s| 6110k| 4278k| 0 | 0.0 |1975M| 133 | - | 248 | 10k| 0 | 0 | 0 |4323k| 0 | 0.000000e+00 | -- | Inf
1191.93/1191.97 c 1068s| 6120k| 4285k| 0 | 0.0 |1978M| 133 | - | 248 | 10k| 0 | 0 | 0 |4331k| 0 | 0.000000e+00 | -- | Inf
1195.22/1195.28 c 1071s| 6130k| 4292k| 0 | 0.0 |1981M| 133 | - | 248 | 10k| 0 | 0 | 0 |4339k| 0 | 0.000000e+00 | -- | Inf
1198.32/1198.34 c 1074s| 6140k| 4299k| 0 | 0.0 |1984M| 133 | - | 248 | 10k| 0 | 0 | 0 |4348k| 0 | 0.000000e+00 | -- | Inf
1201.83/1201.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1201.83/1201.81 c 1078s| 6150k| 4306k| 0 | 0.0 |1988M| 133 | - | 248 | 10k| 0 | 0 | 0 |4355k| 0 | 0.000000e+00 | -- | Inf
1205.13/1205.13 c 1081s| 6160k| 4312k| 0 | 0.0 |1991M| 133 | - | 248 | 10k| 0 | 0 | 0 |4364k| 0 | 0.000000e+00 | -- | Inf
1208.22/1208.24 c 1084s| 6170k| 4319k| 0 | 0.0 |1994M| 133 | - | 248 | 10k| 0 | 0 | 0 |4371k| 0 | 0.000000e+00 | -- | Inf
1211.53/1211.56 c 1087s| 6180k| 4326k| 0 | 0.0 |1997M| 133 | - | 248 | 10k| 0 | 0 | 0 |4380k| 0 | 0.000000e+00 | -- | Inf
1214.73/1214.72 c 1090s| 6190k| 4333k| 0 | 0.0 |2001M| 133 | - | 248 | 10k| 0 | 0 | 0 |4388k| 0 | 0.000000e+00 | -- | Inf
1217.83/1217.89 c 1093s| 6200k| 4340k| 0 | 0.0 |2004M| 133 | - | 248 | 10k| 0 | 0 | 0 |4396k| 0 | 0.000000e+00 | -- | Inf
1221.52/1221.54 c 1096s| 6210k| 4346k| 0 | 0.0 |2007M| 133 | - | 248 | 10k| 0 | 0 | 0 |4404k| 0 | 0.000000e+00 | -- | Inf
1224.63/1224.68 c 1099s| 6220k| 4353k| 0 | 0.0 |2010M| 133 | - | 248 | 10k| 0 | 0 | 0 |4411k| 0 | 0.000000e+00 | -- | Inf
1227.72/1227.77 c 1102s| 6230k| 4360k| 0 | 0.0 |2014M| 133 | - | 248 | 10k| 0 | 0 | 0 |4419k| 0 | 0.000000e+00 | -- | Inf
1231.03/1231.03 c 1105s| 6240k| 4367k| 0 | 0.0 |2017M| 133 | - | 248 | 10k| 0 | 0 | 0 |4427k| 0 | 0.000000e+00 | -- | Inf
1234.32/1234.38 c 1108s| 6250k| 4374k| 0 | 0.0 |2020M| 133 | - | 248 | 10k| 0 | 0 | 0 |4435k| 0 | 0.000000e+00 | -- | Inf
1237.63/1237.63 c 1111s| 6260k| 4381k| 0 | 0.0 |2023M| 133 | - | 248 | 10k| 0 | 0 | 0 |4443k| 0 | 0.000000e+00 | -- | Inf
1240.43/1240.45 c 1114s| 6270k| 4388k| 0 | 0.0 |2027M| 133 | - | 248 | 10k| 0 | 0 | 0 |4450k| 0 | 0.000000e+00 | -- | Inf
1243.23/1243.20 c 1116s| 6280k| 4395k| 0 | 0.0 |2030M| 133 | - | 248 | 10k| 0 | 0 | 0 |4458k| 0 | 0.000000e+00 | -- | Inf
1245.72/1245.77 c 1119s| 6290k| 4402k| 0 | 0.0 |2033M| 133 | - | 248 | 10k| 0 | 0 | 0 |4466k| 0 | 0.000000e+00 | -- | Inf
1248.43/1248.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1248.43/1248.50 c 1121s| 6300k| 4409k| 0 | 0.0 |2037M| 133 | - | 248 | 10k| 0 | 0 | 0 |4475k| 0 | 0.000000e+00 | -- | Inf
1253.42/1253.47 c 1126s| 6310k| 4413k| 0 | 0.0 |2040M| 133 | - | 248 | 12k| 0 | 0 | 0 |4489k| 0 | 0.000000e+00 | -- | Inf
1258.03/1258.04 c 1130s| 6320k| 4419k| 0 | 0.0 |2044M| 133 | - | 248 | 12k| 0 | 0 | 0 |4502k| 0 | 0.000000e+00 | -- | Inf
1261.63/1261.64 c 1134s| 6330k| 4425k| 0 | 0.0 |2047M| 133 | - | 248 | 11k| 0 | 0 | 0 |4512k| 0 | 0.000000e+00 | -- | Inf
1264.94/1264.99 c 1137s| 6340k| 4431k| 0 | 0.0 |2050M| 133 | - | 248 | 11k| 0 | 0 | 0 |4522k| 0 | 0.000000e+00 | -- | Inf
1267.93/1267.99 c 1140s| 6350k| 4437k| 0 | 0.0 |2054M| 133 | - | 248 | 11k| 0 | 0 | 0 |4532k| 0 | 0.000000e+00 | -- | Inf
1271.13/1271.15 c 1143s| 6360k| 4444k| 0 | 0.0 |2057M| 133 | - | 248 | 11k| 0 | 0 | 0 |4540k| 0 | 0.000000e+00 | -- | Inf
1274.52/1274.50 c 1146s| 6370k| 4450k| 0 | 0.0 |2060M| 133 | - | 248 | 11k| 0 | 0 | 0 |4550k| 0 | 0.000000e+00 | -- | Inf
1277.33/1277.38 c 1148s| 6380k| 4457k| 0 | 0.0 |2064M| 133 | - | 248 | 11k| 0 | 0 | 0 |4558k| 0 | 0.000000e+00 | -- | Inf
1280.43/1280.49 c 1151s| 6390k| 4464k| 0 | 0.0 |2067M| 133 | - | 248 | 11k| 0 | 0 | 0 |4567k| 0 | 0.000000e+00 | -- | Inf
1283.13/1283.13 c 1154s| 6400k| 4471k| 0 | 0.0 |2070M| 133 | - | 248 | 10k| 0 | 0 | 0 |4575k| 0 | 0.000000e+00 | -- | Inf
1286.03/1286.06 c 1157s| 6410k| 4477k| 0 | 0.0 |2074M| 133 | - | 248 | 11k| 0 | 0 | 0 |4583k| 0 | 0.000000e+00 | -- | Inf
1288.83/1288.80 c 1159s| 6420k| 4484k| 0 | 0.0 |2077M| 133 | - | 248 | 10k| 0 | 0 | 0 |4591k| 0 | 0.000000e+00 | -- | Inf
1291.63/1291.68 c 1162s| 6430k| 4491k| 0 | 0.0 |2080M| 133 | - | 248 | 10k| 0 | 0 | 0 |4599k| 0 | 0.000000e+00 | -- | Inf
1294.52/1294.50 c 1164s| 6440k| 4498k| 0 | 0.0 |2084M| 133 | - | 248 | 11k| 0 | 0 | 0 |4608k| 0 | 0.000000e+00 | -- | Inf
1297.33/1297.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1297.33/1297.34 c 1167s| 6450k| 4505k| 0 | 0.0 |2087M| 133 | - | 248 | 10k| 0 | 0 | 0 |4615k| 0 | 0.000000e+00 | -- | Inf
1300.13/1300.13 c 1170s| 6460k| 4512k| 0 | 0.0 |2090M| 133 | - | 248 | 10k| 0 | 0 | 0 |4624k| 0 | 0.000000e+00 | -- | Inf
1302.93/1302.94 c 1172s| 6470k| 4518k| 0 | 0.0 |2093M| 133 | - | 248 | 10k| 0 | 0 | 0 |4632k| 0 | 0.000000e+00 | -- | Inf
1305.73/1305.74 c 1175s| 6480k| 4525k| 0 | 0.0 |2097M| 133 | - | 248 | 10k| 0 | 0 | 0 |4640k| 0 | 0.000000e+00 | -- | Inf
1308.73/1308.71 c 1178s| 6490k| 4532k| 0 | 0.0 |2100M| 133 | - | 248 | 10k| 0 | 0 | 0 |4648k| 0 | 0.000000e+00 | -- | Inf
1311.23/1311.29 c 1180s| 6500k| 4539k| 0 | 0.0 |2103M| 133 | - | 248 | 11k| 0 | 0 | 0 |4656k| 0 | 0.000000e+00 | -- | Inf
1314.03/1314.09 c 1183s| 6510k| 4546k| 0 | 0.0 |2107M| 133 | - | 248 | 10k| 0 | 0 | 0 |4664k| 0 | 0.000000e+00 | -- | Inf
1316.93/1316.97 c 1185s| 6520k| 4553k| 0 | 0.0 |2110M| 133 | - | 248 | 11k| 0 | 0 | 0 |4672k| 0 | 0.000000e+00 | -- | Inf
1319.72/1319.74 c 1188s| 6530k| 4560k| 0 | 0.0 |2113M| 133 | - | 248 | 11k| 0 | 0 | 0 |4680k| 0 | 0.000000e+00 | -- | Inf
1322.42/1322.46 c 1190s| 6540k| 4567k| 0 | 0.0 |2117M| 133 | - | 248 | 11k| 0 | 0 | 0 |4688k| 0 | 0.000000e+00 | -- | Inf
1325.32/1325.34 c 1193s| 6550k| 4573k| 0 | 0.0 |2120M| 133 | - | 248 | 11k| 0 | 0 | 0 |4697k| 0 | 0.000000e+00 | -- | Inf
1328.23/1328.27 c 1196s| 6560k| 4580k| 0 | 0.0 |2123M| 133 | - | 248 | 11k| 0 | 0 | 0 |4706k| 0 | 0.000000e+00 | -- | Inf
1331.13/1331.15 c 1198s| 6570k| 4587k| 0 | 0.0 |2127M| 133 | - | 248 | 11k| 0 | 0 | 0 |4714k| 0 | 0.000000e+00 | -- | Inf
1334.03/1334.04 c 1201s| 6580k| 4594k| 0 | 0.0 |2130M| 133 | - | 248 | 11k| 0 | 0 | 0 |4722k| 0 | 0.000000e+00 | -- | Inf
1336.83/1336.89 c 1204s| 6590k| 4600k| 0 | 0.0 |2133M| 133 | - | 248 | 11k| 0 | 0 | 0 |4730k| 0 | 0.000000e+00 | -- | Inf
1342.73/1342.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1342.73/1342.76 c 1209s| 6600k| 4605k| 0 | 0.0 |2137M| 133 | - | 248 | 12k| 0 | 0 | 0 |4745k| 0 | 0.000000e+00 | -- | Inf
1347.44/1347.43 c 1214s| 6610k| 4610k| 0 | 0.0 |2141M| 133 | - | 248 | 12k| 0 | 0 | 0 |4757k| 0 | 0.000000e+00 | -- | Inf
1351.23/1351.27 c 1218s| 6620k| 4616k| 0 | 0.0 |2144M| 133 | - | 248 | 12k| 0 | 0 | 0 |4768k| 0 | 0.000000e+00 | -- | Inf
1354.62/1354.64 c 1221s| 6630k| 4622k| 0 | 0.0 |2147M| 133 | - | 248 | 12k| 0 | 0 | 0 |4778k| 0 | 0.000000e+00 | -- | Inf
1358.53/1358.56 c 1224s| 6640k| 4628k| 0 | 0.0 |2150M| 133 | - | 248 | 12k| 0 | 0 | 0 |4788k| 0 | 0.000000e+00 | -- | Inf
1362.43/1362.43 c 1228s| 6650k| 4634k| 0 | 0.0 |2154M| 133 | - | 248 | 12k| 0 | 0 | 0 |4798k| 0 | 0.000000e+00 | -- | Inf
1365.53/1365.59 c 1231s| 6660k| 4640k| 0 | 0.0 |2157M| 133 | - | 248 | 11k| 0 | 0 | 0 |4807k| 0 | 0.000000e+00 | -- | Inf
1368.93/1368.99 c 1234s| 6670k| 4647k| 0 | 0.0 |2160M| 133 | - | 248 | 11k| 0 | 0 | 0 |4816k| 0 | 0.000000e+00 | -- | Inf
1372.03/1372.02 c 1237s| 6680k| 4654k| 0 | 0.0 |2163M| 133 | - | 248 | 11k| 0 | 0 | 0 |4824k| 0 | 0.000000e+00 | -- | Inf
1375.23/1375.25 c 1240s| 6690k| 4660k| 0 | 0.0 |2167M| 133 | - | 248 | 12k| 0 | 0 | 0 |4833k| 0 | 0.000000e+00 | -- | Inf
1378.34/1378.30 c 1243s| 6700k| 4667k| 0 | 0.0 |2170M| 133 | - | 248 | 11k| 0 | 0 | 0 |4840k| 0 | 0.000000e+00 | -- | Inf
1381.33/1381.30 c 1246s| 6710k| 4674k| 0 | 0.0 |2173M| 133 | - | 248 | 11k| 0 | 0 | 0 |4849k| 0 | 0.000000e+00 | -- | Inf
1384.23/1384.27 c 1248s| 6720k| 4680k| 0 | 0.0 |2177M| 133 | - | 248 | 11k| 0 | 0 | 0 |4857k| 0 | 0.000000e+00 | -- | Inf
1387.23/1387.21 c 1251s| 6730k| 4687k| 0 | 0.0 |2180M| 133 | - | 248 | 11k| 0 | 0 | 0 |4865k| 0 | 0.000000e+00 | -- | Inf
1390.13/1390.14 c 1254s| 6740k| 4694k| 0 | 0.0 |2183M| 133 | - | 248 | 11k| 0 | 0 | 0 |4874k| 0 | 0.000000e+00 | -- | Inf
1392.93/1392.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.93/1392.93 c 1257s| 6750k| 4701k| 0 | 0.0 |2186M| 133 | - | 248 | 11k| 0 | 0 | 0 |4882k| 0 | 0.000000e+00 | -- | Inf
1395.73/1395.78 c 1259s| 6760k| 4707k| 0 | 0.0 |2190M| 133 | - | 248 | 11k| 0 | 0 | 0 |4890k| 0 | 0.000000e+00 | -- | Inf
1398.74/1398.71 c 1262s| 6770k| 4714k| 0 | 0.0 |2193M| 133 | - | 248 | 11k| 0 | 0 | 0 |4899k| 0 | 0.000000e+00 | -- | Inf
1401.93/1401.94 c 1265s| 6780k| 4721k| 0 | 0.0 |2196M| 133 | - | 248 | 11k| 0 | 0 | 0 |4907k| 0 | 0.000000e+00 | -- | Inf
1404.83/1404.89 c 1268s| 6790k| 4728k| 0 | 0.0 |2200M| 133 | - | 248 | 11k| 0 | 0 | 0 |4916k| 0 | 0.000000e+00 | -- | Inf
1407.83/1407.85 c 1270s| 6800k| 4734k| 0 | 0.0 |2203M| 133 | - | 248 | 11k| 0 | 0 | 0 |4924k| 0 | 0.000000e+00 | -- | Inf
1410.83/1410.82 c 1273s| 6810k| 4741k| 0 | 0.0 |2206M| 133 | - | 248 | 11k| 0 | 0 | 0 |4932k| 0 | 0.000000e+00 | -- | Inf
1413.73/1413.77 c 1276s| 6820k| 4748k| 0 | 0.0 |2210M| 133 | - | 248 | 11k| 0 | 0 | 0 |4940k| 0 | 0.000000e+00 | -- | Inf
1416.93/1416.91 c 1279s| 6830k| 4754k| 0 | 0.0 |2213M| 133 | - | 248 | 11k| 0 | 0 | 0 |4949k| 0 | 0.000000e+00 | -- | Inf
1420.04/1420.06 c 1282s| 6840k| 4761k| 0 | 0.0 |2216M| 133 | - | 248 | 11k| 0 | 0 | 0 |4957k| 0 | 0.000000e+00 | -- | Inf
1423.13/1423.16 c 1285s| 6850k| 4768k| 0 | 0.0 |2220M| 133 | - | 248 | 11k| 0 | 0 | 0 |4966k| 0 | 0.000000e+00 | -- | Inf
1426.03/1426.00 c 1287s| 6860k| 4775k| 0 | 0.0 |2223M| 133 | - | 248 | 11k| 0 | 0 | 0 |4974k| 0 | 0.000000e+00 | -- | Inf
1429.03/1429.05 c 1290s| 6870k| 4781k| 0 | 0.0 |2227M| 133 | - | 248 | 12k| 0 | 0 | 0 |4982k| 0 | 0.000000e+00 | -- | Inf
1432.23/1432.27 c 1293s| 6880k| 4788k| 0 | 0.0 |2230M| 133 | - | 248 | 11k| 0 | 0 | 0 |4991k| 0 | 0.000000e+00 | -- | Inf
1435.73/1435.71 c 1296s| 6890k| 4794k| 0 | 0.0 |2233M| 133 | - | 248 | 12k| 0 | 0 | 0 |5000k| 0 | 0.000000e+00 | -- | Inf
1439.13/1439.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1439.13/1439.11 c 1300s| 6900k| 4801k| 0 | 0.0 |2236M| 133 | - | 248 | 11k| 0 | 0 | 0 |5010k| 0 | 0.000000e+00 | -- | Inf
1443.33/1443.35 c 1304s| 6910k| 4806k| 0 | 0.0 |2240M| 133 | - | 248 | 12k| 0 | 0 | 0 |5021k| 0 | 0.000000e+00 | -- | Inf
1448.53/1448.55 c 1309s| 6920k| 4811k| 0 | 0.0 |2244M| 133 | - | 248 | 13k| 0 | 0 | 0 |5034k| 0 | 0.000000e+00 | -- | Inf
1452.64/1452.67 c 1313s| 6930k| 4817k| 0 | 0.0 |2247M| 133 | - | 248 | 13k| 0 | 0 | 0 |5045k| 0 | 0.000000e+00 | -- | Inf
1457.03/1457.00 c 1317s| 6940k| 4823k| 0 | 0.0 |2250M| 133 | - | 248 | 13k| 0 | 0 | 0 |5056k| 0 | 0.000000e+00 | -- | Inf
1461.53/1461.52 c 1321s| 6950k| 4828k| 0 | 0.0 |2254M| 133 | - | 248 | 13k| 0 | 0 | 0 |5068k| 0 | 0.000000e+00 | -- | Inf
1465.44/1465.41 c 1325s| 6960k| 4834k| 0 | 0.0 |2257M| 133 | - | 248 | 12k| 0 | 0 | 0 |5077k| 0 | 0.000000e+00 | -- | Inf
1469.64/1469.61 c 1329s| 6970k| 4840k| 0 | 0.0 |2260M| 133 | - | 248 | 12k| 0 | 0 | 0 |5087k| 0 | 0.000000e+00 | -- | Inf
1473.13/1473.16 c 1332s| 6980k| 4846k| 0 | 0.0 |2263M| 133 | - | 248 | 12k| 0 | 0 | 0 |5096k| 0 | 0.000000e+00 | -- | Inf
1476.83/1476.86 c 1336s| 6990k| 4853k| 0 | 0.0 |2267M| 133 | - | 248 | 12k| 0 | 0 | 0 |5105k| 0 | 0.000000e+00 | -- | Inf
1480.13/1480.13 c 1339s| 7000k| 4859k| 0 | 0.0 |2270M| 133 | - | 248 | 12k| 0 | 0 | 0 |5114k| 0 | 0.000000e+00 | -- | Inf
1483.63/1483.67 c 1342s| 7010k| 4866k| 0 | 0.0 |2273M| 133 | - | 248 | 12k| 0 | 0 | 0 |5122k| 0 | 0.000000e+00 | -- | Inf
1486.83/1486.89 c 1345s| 7020k| 4872k| 0 | 0.0 |2276M| 133 | - | 248 | 12k| 0 | 0 | 0 |5130k| 0 | 0.000000e+00 | -- | Inf
1489.93/1489.91 c 1348s| 7030k| 4879k| 0 | 0.0 |2280M| 133 | - | 248 | 12k| 0 | 0 | 0 |5138k| 0 | 0.000000e+00 | -- | Inf
1493.13/1493.15 c 1351s| 7040k| 4885k| 0 | 0.0 |2283M| 133 | - | 248 | 12k| 0 | 0 | 0 |5147k| 0 | 0.000000e+00 | -- | Inf
1496.24/1496.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1496.24/1496.20 c 1354s| 7050k| 4892k| 0 | 0.0 |2286M| 133 | - | 248 | 12k| 0 | 0 | 0 |5155k| 0 | 0.000000e+00 | -- | Inf
1499.33/1499.33 c 1357s| 7060k| 4899k| 0 | 0.0 |2290M| 133 | - | 248 | 11k| 0 | 0 | 0 |5163k| 0 | 0.000000e+00 | -- | Inf
1502.64/1502.67 c 1360s| 7070k| 4905k| 0 | 0.0 |2293M| 133 | - | 248 | 12k| 0 | 0 | 0 |5172k| 0 | 0.000000e+00 | -- | Inf
1505.84/1505.81 c 1363s| 7080k| 4912k| 0 | 0.0 |2296M| 133 | - | 248 | 12k| 0 | 0 | 0 |5180k| 0 | 0.000000e+00 | -- | Inf
1509.03/1509.10 c 1366s| 7090k| 4919k| 0 | 0.0 |2299M| 133 | - | 248 | 12k| 0 | 0 | 0 |5189k| 0 | 0.000000e+00 | -- | Inf
1512.13/1512.12 c 1369s| 7100k| 4925k| 0 | 0.0 |2303M| 133 | - | 248 | 12k| 0 | 0 | 0 |5198k| 0 | 0.000000e+00 | -- | Inf
1515.33/1515.36 c 1372s| 7110k| 4932k| 0 | 0.0 |2306M| 133 | - | 248 | 12k| 0 | 0 | 0 |5206k| 0 | 0.000000e+00 | -- | Inf
1518.63/1518.65 c 1375s| 7120k| 4938k| 0 | 0.0 |2310M| 133 | - | 248 | 12k| 0 | 0 | 0 |5215k| 0 | 0.000000e+00 | -- | Inf
1521.94/1521.96 c 1378s| 7130k| 4945k| 0 | 0.0 |2313M| 133 | - | 248 | 12k| 0 | 0 | 0 |5223k| 0 | 0.000000e+00 | -- | Inf
1525.13/1525.14 c 1381s| 7140k| 4952k| 0 | 0.0 |2316M| 133 | - | 248 | 12k| 0 | 0 | 0 |5231k| 0 | 0.000000e+00 | -- | Inf
1528.24/1528.26 c 1384s| 7150k| 4959k| 0 | 0.0 |2320M| 133 | - | 248 | 12k| 0 | 0 | 0 |5239k| 0 | 0.000000e+00 | -- | Inf
1531.24/1531.28 c 1387s| 7160k| 4965k| 0 | 0.0 |2323M| 133 | - | 248 | 12k| 0 | 0 | 0 |5248k| 0 | 0.000000e+00 | -- | Inf
1534.43/1534.46 c 1390s| 7170k| 4972k| 0 | 0.0 |2326M| 133 | - | 248 | 12k| 0 | 0 | 0 |5257k| 0 | 0.000000e+00 | -- | Inf
1537.93/1537.97 c 1393s| 7180k| 4978k| 0 | 0.0 |2330M| 133 | - | 248 | 12k| 0 | 0 | 0 |5266k| 0 | 0.000000e+00 | -- | Inf
1541.33/1541.33 c 1396s| 7190k| 4985k| 0 | 0.0 |2333M| 133 | - | 248 | 12k| 0 | 0 | 0 |5274k| 0 | 0.000000e+00 | -- | Inf
1544.64/1544.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.64/1544.63 c 1399s| 7200k| 4991k| 0 | 0.0 |2336M| 133 | - | 248 | 12k| 0 | 0 | 0 |5283k| 0 | 0.000000e+00 | -- | Inf
1548.13/1548.18 c 1402s| 7210k| 4997k| 0 | 0.0 |2340M| 133 | - | 248 | 12k| 0 | 0 | 0 |5292k| 0 | 0.000000e+00 | -- | Inf
1551.94/1551.91 c 1406s| 7220k| 5004k| 0 | 0.0 |2343M| 133 | - | 248 | 12k| 0 | 0 | 0 |5301k| 0 | 0.000000e+00 | -- | Inf
1555.53/1555.55 c 1409s| 7230k| 5010k| 0 | 0.0 |2346M| 133 | - | 248 | 12k| 0 | 0 | 0 |5310k| 0 | 0.000000e+00 | -- | Inf
1559.04/1559.02 c 1413s| 7240k| 5017k| 0 | 0.0 |2350M| 133 | - | 248 | 12k| 0 | 0 | 0 |5319k| 0 | 0.000000e+00 | -- | Inf
1562.63/1562.62 c 1416s| 7250k| 5023k| 0 | 0.0 |2353M| 133 | - | 248 | 12k| 0 | 0 | 0 |5327k| 0 | 0.000000e+00 | -- | Inf
1567.54/1567.53 c 1421s| 7260k| 5028k| 0 | 0.0 |2357M| 133 | - | 248 | 13k| 0 | 0 | 0 |5339k| 0 | 0.000000e+00 | -- | Inf
1572.14/1572.18 c 1425s| 7270k| 5034k| 0 | 0.0 |2360M| 133 | - | 248 | 14k| 0 | 0 | 0 |5350k| 0 | 0.000000e+00 | -- | Inf
1577.13/1577.13 c 1430s| 7280k| 5039k| 0 | 0.0 |2363M| 133 | - | 248 | 14k| 0 | 0 | 0 |5362k| 0 | 0.000000e+00 | -- | Inf
1581.63/1581.64 c 1434s| 7290k| 5045k| 0 | 0.0 |2367M| 133 | - | 248 | 14k| 0 | 0 | 0 |5372k| 0 | 0.000000e+00 | -- | Inf
1586.24/1586.25 c 1439s| 7300k| 5050k| 0 | 0.0 |2370M| 133 | - | 248 | 14k| 0 | 0 | 0 |5384k| 0 | 0.000000e+00 | -- | Inf
1590.23/1590.28 c 1442s| 7310k| 5056k| 0 | 0.0 |2373M| 133 | - | 248 | 13k| 0 | 0 | 0 |5393k| 0 | 0.000000e+00 | -- | Inf
1594.13/1594.17 c 1446s| 7320k| 5062k| 0 | 0.0 |2377M| 133 | - | 248 | 13k| 0 | 0 | 0 |5402k| 0 | 0.000000e+00 | -- | Inf
1597.93/1597.96 c 1450s| 7330k| 5069k| 0 | 0.0 |2380M| 133 | - | 248 | 13k| 0 | 0 | 0 |5412k| 0 | 0.000000e+00 | -- | Inf
1601.64/1601.69 c 1453s| 7340k| 5075k| 0 | 0.0 |2383M| 133 | - | 248 | 13k| 0 | 0 | 0 |5421k| 0 | 0.000000e+00 | -- | Inf
1604.94/1604.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.94/1604.97 c 1456s| 7350k| 5081k| 0 | 0.0 |2386M| 133 | - | 248 | 12k| 0 | 0 | 0 |5429k| 0 | 0.000000e+00 | -- | Inf
1608.54/1608.55 c 1460s| 7360k| 5088k| 0 | 0.0 |2390M| 133 | - | 248 | 12k| 0 | 0 | 0 |5438k| 0 | 0.000000e+00 | -- | Inf
1611.84/1611.89 c 1463s| 7370k| 5094k| 0 | 0.0 |2393M| 133 | - | 248 | 12k| 0 | 0 | 0 |5446k| 0 | 0.000000e+00 | -- | Inf
1615.13/1615.11 c 1466s| 7380k| 5101k| 0 | 0.0 |2396M| 133 | - | 248 | 12k| 0 | 0 | 0 |5454k| 0 | 0.000000e+00 | -- | Inf
1618.44/1618.45 c 1469s| 7390k| 5107k| 0 | 0.0 |2399M| 133 | - | 248 | 12k| 0 | 0 | 0 |5463k| 0 | 0.000000e+00 | -- | Inf
1621.73/1621.76 c 1472s| 7400k| 5114k| 0 | 0.0 |2403M| 133 | - | 248 | 12k| 0 | 0 | 0 |5471k| 0 | 0.000000e+00 | -- | Inf
1624.94/1624.96 c 1475s| 7410k| 5121k| 0 | 0.0 |2406M| 133 | - | 248 | 12k| 0 | 0 | 0 |5480k| 0 | 0.000000e+00 | -- | Inf
1628.44/1628.41 c 1478s| 7420k| 5127k| 0 | 0.0 |2409M| 133 | - | 248 | 12k| 0 | 0 | 0 |5488k| 0 | 0.000000e+00 | -- | Inf
1631.84/1631.84 c 1482s| 7430k| 5134k| 0 | 0.0 |2413M| 133 | - | 248 | 12k| 0 | 0 | 0 |5497k| 0 | 0.000000e+00 | -- | Inf
1635.44/1635.48 c 1485s| 7440k| 5140k| 0 | 0.0 |2416M| 133 | - | 248 | 12k| 0 | 0 | 0 |5506k| 0 | 0.000000e+00 | -- | Inf
1638.83/1638.83 c 1488s| 7450k| 5147k| 0 | 0.0 |2419M| 133 | - | 248 | 12k| 0 | 0 | 0 |5514k| 0 | 0.000000e+00 | -- | Inf
1642.04/1642.08 c 1491s| 7460k| 5153k| 0 | 0.0 |2422M| 133 | - | 248 | 12k| 0 | 0 | 0 |5522k| 0 | 0.000000e+00 | -- | Inf
1645.34/1645.38 c 1494s| 7470k| 5160k| 0 | 0.0 |2426M| 133 | - | 248 | 12k| 0 | 0 | 0 |5530k| 0 | 0.000000e+00 | -- | Inf
1648.84/1648.89 c 1498s| 7480k| 5166k| 0 | 0.0 |2429M| 133 | - | 248 | 12k| 0 | 0 | 0 |5539k| 0 | 0.000000e+00 | -- | Inf
1652.34/1652.37 c 1501s| 7490k| 5173k| 0 | 0.0 |2433M| 133 | - | 248 | 13k| 0 | 0 | 0 |5549k| 0 | 0.000000e+00 | -- | Inf
1655.84/1655.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1655.84/1655.83 c 1504s| 7500k| 5179k| 0 | 0.0 |2436M| 133 | - | 248 | 12k| 0 | 0 | 0 |5557k| 0 | 0.000000e+00 | -- | Inf
1659.33/1659.35 c 1507s| 7510k| 5186k| 0 | 0.0 |2439M| 133 | - | 248 | 12k| 0 | 0 | 0 |5566k| 0 | 0.000000e+00 | -- | Inf
1662.94/1662.90 c 1511s| 7520k| 5192k| 0 | 0.0 |2443M| 133 | - | 248 | 12k| 0 | 0 | 0 |5575k| 0 | 0.000000e+00 | -- | Inf
1666.74/1666.75 c 1514s| 7530k| 5198k| 0 | 0.0 |2446M| 133 | - | 248 | 13k| 0 | 0 | 0 |5584k| 0 | 0.000000e+00 | -- | Inf
1670.63/1670.60 c 1518s| 7540k| 5204k| 0 | 0.0 |2450M| 133 | - | 248 | 13k| 0 | 0 | 0 |5594k| 0 | 0.000000e+00 | -- | Inf
1674.34/1674.32 c 1522s| 7550k| 5211k| 0 | 0.0 |2453M| 133 | - | 248 | 13k| 0 | 0 | 0 |5603k| 0 | 0.000000e+00 | -- | Inf
1678.04/1678.07 c 1525s| 7560k| 5217k| 0 | 0.0 |2456M| 133 | - | 248 | 13k| 0 | 0 | 0 |5611k| 0 | 0.000000e+00 | -- | Inf
1681.74/1681.78 c 1529s| 7570k| 5223k| 0 | 0.0 |2460M| 133 | - | 248 | 13k| 0 | 0 | 0 |5620k| 0 | 0.000000e+00 | -- | Inf
1685.84/1685.83 c 1533s| 7580k| 5229k| 0 | 0.0 |2463M| 133 | - | 248 | 12k| 0 | 0 | 0 |5629k| 0 | 0.000000e+00 | -- | Inf
1689.94/1689.90 c 1536s| 7590k| 5235k| 0 | 0.0 |2466M| 133 | - | 248 | 13k| 0 | 0 | 0 |5639k| 0 | 0.000000e+00 | -- | Inf
1693.64/1693.67 c 1540s| 7600k| 5242k| 0 | 0.0 |2470M| 133 | - | 248 | 13k| 0 | 0 | 0 |5647k| 0 | 0.000000e+00 | -- | Inf
1697.34/1697.33 c 1543s| 7610k| 5248k| 0 | 0.0 |2473M| 133 | - | 248 | 13k| 0 | 0 | 0 |5656k| 0 | 0.000000e+00 | -- | Inf
1701.44/1701.42 c 1547s| 7620k| 5254k| 0 | 0.0 |2477M| 133 | - | 248 | 13k| 0 | 0 | 0 |5665k| 0 | 0.000000e+00 | -- | Inf
1705.94/1705.97 c 1552s| 7630k| 5260k| 0 | 0.0 |2480M| 133 | - | 248 | 14k| 0 | 0 | 0 |5677k| 0 | 0.000000e+00 | -- | Inf
1709.74/1709.78 c 1555s| 7640k| 5266k| 0 | 0.0 |2483M| 133 | - | 248 | 13k| 0 | 0 | 0 |5685k| 0 | 0.000000e+00 | -- | Inf
1715.24/1715.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1715.24/1715.23 c 1561s| 7650k| 5271k| 0 | 0.0 |2487M| 133 | - | 248 | 14k| 0 | 0 | 0 |5698k| 0 | 0.000000e+00 | -- | Inf
1720.44/1720.47 c 1566s| 7660k| 5276k| 0 | 0.0 |2490M| 133 | - | 248 | 14k| 0 | 0 | 0 |5709k| 0 | 0.000000e+00 | -- | Inf
1725.24/1725.28 c 1570s| 7670k| 5282k| 0 | 0.0 |2493M| 133 | - | 248 | 14k| 0 | 0 | 0 |5719k| 0 | 0.000000e+00 | -- | Inf
1730.24/1730.21 c 1575s| 7680k| 5287k| 0 | 0.0 |2497M| 133 | - | 248 | 14k| 0 | 0 | 0 |5730k| 0 | 0.000000e+00 | -- | Inf
1734.44/1734.46 c 1579s| 7690k| 5293k| 0 | 0.0 |2500M| 133 | - | 248 | 13k| 0 | 0 | 0 |5739k| 0 | 0.000000e+00 | -- | Inf
1738.84/1738.89 c 1583s| 7700k| 5299k| 0 | 0.0 |2503M| 133 | - | 248 | 13k| 0 | 0 | 0 |5749k| 0 | 0.000000e+00 | -- | Inf
1742.94/1742.90 c 1587s| 7710k| 5305k| 0 | 0.0 |2506M| 133 | - | 248 | 13k| 0 | 0 | 0 |5757k| 0 | 0.000000e+00 | -- | Inf
1746.64/1746.69 c 1591s| 7720k| 5311k| 0 | 0.0 |2509M| 133 | - | 248 | 13k| 0 | 0 | 0 |5766k| 0 | 0.000000e+00 | -- | Inf
1750.54/1750.57 c 1594s| 7730k| 5317k| 0 | 0.0 |2513M| 133 | - | 248 | 13k| 0 | 0 | 0 |5775k| 0 | 0.000000e+00 | -- | Inf
1754.34/1754.33 c 1598s| 7740k| 5324k| 0 | 0.0 |2516M| 133 | - | 248 | 13k| 0 | 0 | 0 |5784k| 0 | 0.000000e+00 | -- | Inf
1757.75/1757.75 c 1601s| 7750k| 5330k| 0 | 0.0 |2519M| 133 | - | 248 | 13k| 0 | 0 | 0 |5792k| 0 | 0.000000e+00 | -- | Inf
1761.44/1761.44 c 1604s| 7760k| 5337k| 0 | 0.0 |2523M| 133 | - | 248 | 13k| 0 | 0 | 0 |5801k| 0 | 0.000000e+00 | -- | Inf
1764.84/1764.85 c 1608s| 7770k| 5343k| 0 | 0.0 |2526M| 133 | - | 248 | 13k| 0 | 0 | 0 |5810k| 0 | 0.000000e+00 | -- | Inf
1768.44/1768.48 c 1611s| 7780k| 5350k| 0 | 0.0 |2529M| 133 | - | 248 | 13k| 0 | 0 | 0 |5818k| 0 | 0.000000e+00 | -- | Inf
1772.24/1772.22 c 1615s| 7790k| 5356k| 0 | 0.0 |2533M| 133 | - | 248 | 13k| 0 | 0 | 0 |5826k| 0 | 0.000000e+00 | -- | Inf
1775.74/1775.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1775.74/1775.77 c 1618s| 7800k| 5362k| 0 | 0.0 |2536M| 133 | - | 248 | 13k| 0 | 0 | 0 |5834k| 0 | 0.000000e+00 | -- | Inf
1779.24/1779.28 c 1621s| 7810k| 5369k| 0 | 0.0 |2539M| 133 | - | 248 | 13k| 0 | 0 | 0 |5843k| 0 | 0.000000e+00 | -- | Inf
1782.64/1782.60 c 1624s| 7820k| 5375k| 0 | 0.0 |2542M| 133 | - | 248 | 13k| 0 | 0 | 0 |5852k| 0 | 0.000000e+00 | -- | Inf
1786.24/1786.24 c 1628s| 7830k| 5382k| 0 | 0.0 |2546M| 133 | - | 248 | 13k| 0 | 0 | 0 |5861k| 0 | 0.000000e+00 | -- | Inf
1789.85/1789.85 c 1631s| 7840k| 5388k| 0 | 0.0 |2549M| 133 | - | 248 | 13k| 0 | 0 | 0 |5870k| 0 | 0.000000e+00 | -- | Inf
1793.54/1793.54 c 1635s| 7850k| 5394k| 0 | 0.0 |2553M| 133 | - | 248 | 13k| 0 | 0 | 0 |5879k| 0 | 0.000000e+00 | -- | Inf
1797.34/1797.35 c 1638s| 7860k| 5400k| 0 | 0.0 |2556M| 133 | - | 248 | 13k| 0 | 0 | 0 |5888k| 0 | 0.000000e+00 | -- | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1640.82
1800.04/1800.00 c Solving Nodes : 7866806
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time : 1640.82
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-2693716-1277971516.wbo
1800.04/1800.00 c Variables : 248 (234 binary, 0 integer, 0 implicit integer, 14 continuous)
1800.04/1800.00 c Constraints : 57 initial, 57 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-2693716-1277971516.wbo
1800.04/1800.00 c Variables : 248 (234 binary, 0 integer, 0 implicit integer, 14 continuous)
1800.04/1800.00 c Constraints : 56 initial, 14870 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.00 0 0 0 14 0 1 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c indicator : 14 0 1456460 0 1051308 0 115290 0 0 0
1800.04/1800.00 c setppc : 13 0 16061850 0 7004565 568420 15352188 0 0 0
1800.04/1800.00 c linear : 14 0 15493430 0 7004564 309676 9552656 0 0 0
1800.04/1800.00 c logicor : 15+ 0 10244134 0 7004564 652464 8922517 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 7004564 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c indicator : 0.61 0.00 0.22 0.00 0.39
1800.04/1800.00 c setppc : 53.52 0.00 42.39 0.00 11.13
1800.04/1800.00 c linear : 47.22 0.00 46.68 0.00 0.54
1800.04/1800.00 c logicor : 593.49 0.00 582.62 0.00 10.87
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.00 c vbounds : 0.02 2 0 0
1800.04/1800.00 c rootredcost : 0.03 0 0 0
1800.04/1800.00 c pseudoobj : 4.61 16061650 0 0
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 61.41 1530559 1530484 9603939 31.8 1475103 10.2 -
1800.04/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 5627751 19.8 - - -
1800.04/1800.00 c applied locally : - - - 266519 35.9 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.00 c redcost : 0.00 0 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 0 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 68.70 7004564 0 0 0 0 14009128
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c oneopt : 0.03 0 0
1800.04/1800.00 c trivial : 0.00 2 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c nlp : 0.05 0 0
1800.04/1800.00 c trysol : 0.01 1 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.00 c (at root node) : - 0 0 0.00 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 7866806
1800.04/1800.00 c nodes (total) : 7866806
1800.04/1800.00 c nodes left : 5405227
1800.04/1800.00 c max depth : 133
1800.04/1800.00 c max depth (total): 133
1800.04/1800.00 c backtracks : 788704 (10.0%)
1800.04/1800.00 c delayed cutoffs : 737096
1800.04/1800.00 c repropagations : 1571270 (10893429 domain reductions, 668318 cutoffs)
1800.04/1800.00 c avg switch length: 8.37
1800.04/1800.00 c switching time : 668.83
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693716-1277971516/watcher-2693716-1277971516 -o /tmp/evaluation-result-2693716-1277971516/solver-2693716-1277971516 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693716-1277971516.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 18444
/proc/meminfo: memFree=31259080/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=10560 CPUtime=0
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 3606 0 0 0 0 0 0 0 21 0 1 0 138447066 10813440 1891 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 2640 1891 370 719 0 1919 0
[startup+0.0498749 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 18444
/proc/meminfo: memFree=31259080/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=11996 CPUtime=0.04
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 4008 0 0 0 2 2 0 0 18 0 1 0 138447066 12283904 2293 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 2999 2293 394 719 0 2278 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11996
[startup+0.100877 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 18444
/proc/meminfo: memFree=31259080/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=12844 CPUtime=0.09
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 4212 0 0 0 5 4 0 0 18 0 1 0 138447066 13152256 2497 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 3211 2497 394 719 0 2490 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12844
[startup+0.300832 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 18444
/proc/meminfo: memFree=31259080/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=14496 CPUtime=0.29
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 4630 0 0 0 17 12 0 0 18 0 1 0 138447066 14843904 2915 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 3624 2915 394 719 0 2903 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14496
[startup+0.700723 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 18444
/proc/meminfo: memFree=31259080/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=17740 CPUtime=0.69
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 5465 0 0 0 41 28 0 0 18 0 1 0 138447066 18165760 3750 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 4435 3750 394 719 0 3714 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17740
[startup+1.50065 s]
/proc/loadavg: 0.00 0.00 0.00 3/179 18455
/proc/meminfo: memFree=31235596/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=22896 CPUtime=1.49
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 6791 0 0 0 98 51 0 0 20 0 1 0 138447066 23445504 5076 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 5724 5076 394 719 0 5003 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22896
[startup+3.10037 s]
/proc/loadavg: 0.00 0.00 0.00 3/179 18455
/proc/meminfo: memFree=31220840/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=30488 CPUtime=3.09
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 8733 0 0 0 220 89 0 0 25 0 1 0 138447066 31219712 7018 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 7622 7018 394 719 0 6901 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30488
[startup+6.30076 s]
/proc/loadavg: 0.16 0.03 0.01 3/179 18455
/proc/meminfo: memFree=31189132/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=50148 CPUtime=6.29
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 13336 0 0 0 447 182 0 0 25 0 1 0 138447066 51351552 11621 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 12537 11621 394 719 0 11816 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50148
[startup+12.7006 s]
/proc/loadavg: 0.31 0.07 0.02 3/179 18455
/proc/meminfo: memFree=31132464/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=81168 CPUtime=12.69
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 21357 0 0 0 922 347 0 0 25 0 1 0 138447066 83116032 19642 4089446400 4194304 7136930 140733866768304 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 20292 19642 394 719 0 19571 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81168
[startup+25.5003 s]
/proc/loadavg: 0.68 0.16 0.05 3/179 18455
/proc/meminfo: memFree=31042148/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=134156 CPUtime=25.49
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 34024 0 0 0 1929 620 0 0 25 0 1 0 138447066 137375744 32309 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 33539 32309 394 719 0 32818 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 134156
[startup+51.1007 s]
/proc/loadavg: 1.13 0.31 0.10 3/179 18456
/proc/meminfo: memFree=30909784/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=193220 CPUtime=51.09
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 49036 0 0 0 4128 981 0 0 25 0 1 0 138447066 197857280 47321 4089446400 4194304 7136930 140733866768304 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 48305 47321 394 719 0 47584 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 193220
[startup+102.306 s]
/proc/loadavg: 1.62 0.56 0.20 3/179 18457
/proc/meminfo: memFree=30569480/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=386924 CPUtime=102.29
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 97203 0 0 0 8206 2023 0 0 25 0 1 0 138447066 396210176 95488 4089446400 4194304 7136930 140733866768304 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 96731 95488 394 719 0 96010 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 386924
[startup+162.301 s]
/proc/loadavg: 1.86 0.82 0.31 3/179 18459
/proc/meminfo: memFree=30265372/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=556020 CPUtime=162.29
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 136735 0 0 0 13290 2939 0 0 25 0 1 0 138447066 569364480 135020 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 139005 135020 394 719 0 138284 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 556020
[startup+222.301 s]
/proc/loadavg: 1.95 1.04 0.41 3/179 18461
/proc/meminfo: memFree=30020400/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=681100 CPUtime=222.3
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 169010 0 0 0 18554 3676 0 0 25 0 1 0 138447066 697446400 167295 4089446400 4194304 7136930 140733866768304 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 170275 167295 394 719 0 169554 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 681100
[startup+282.301 s]
/proc/loadavg: 1.98 1.21 0.51 3/179 18462
/proc/meminfo: memFree=29755948/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=793788 CPUtime=282.3
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 198066 0 0 0 23877 4353 0 0 25 0 1 0 138447066 812838912 196351 4089446400 4194304 7136930 140733866768304 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 198447 196351 394 719 0 197726 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 793788
[startup+342.3 s]
/proc/loadavg: 1.99 1.35 0.60 3/179 18463
/proc/meminfo: memFree=29591948/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=879528 CPUtime=342.3
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 220083 0 0 0 29322 4908 0 0 25 0 1 0 138447066 900636672 218368 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 219882 218368 394 719 0 219161 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 879528
[startup+402.3 s]
/proc/loadavg: 1.99 1.47 0.68 3/179 18465
/proc/meminfo: memFree=29437588/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=953532 CPUtime=402.3
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 238997 0 0 0 34818 5412 0 0 25 0 1 0 138447066 976416768 237282 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 238383 237282 394 719 0 237662 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 953532
[startup+462.301 s]
/proc/loadavg: 1.99 1.56 0.76 3/179 18467
/proc/meminfo: memFree=29277924/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=1021348 CPUtime=462.31
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 256285 0 0 0 40354 5877 0 0 25 0 1 0 138447066 1045860352 254570 4089446400 4194304 7136930 140733866768304 18446744073709551615 6123184 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 255337 254570 394 719 0 254616 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1021348
[startup+522.301 s]
/proc/loadavg: 1.99 1.64 0.84 3/179 18469
/proc/meminfo: memFree=29148272/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=1112436 CPUtime=522.31
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 271243 0 0 0 45921 6310 0 0 25 0 1 0 138447066 1139134464 269528 4089446400 4194304 7136930 140733866768304 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 278109 269528 394 719 0 277388 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1112436
[startup+582.301 s]
/proc/loadavg: 1.99 1.70 0.91 3/179 18470
/proc/meminfo: memFree=29035364/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=1165740 CPUtime=582.3
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 284697 0 0 0 51531 6699 0 0 25 0 1 0 138447066 1193717760 282982 4089446400 4194304 7136930 140733866768304 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 291435 282982 394 719 0 290714 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1165740
[startup+642.301 s]
/proc/loadavg: 1.99 1.75 0.97 3/179 18471
/proc/meminfo: memFree=28944380/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=1205828 CPUtime=642.31
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 294914 0 0 0 57184 7047 0 0 25 0 1 0 138447066 1234767872 293199 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 301457 293199 394 719 0 300736 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1205828
[startup+702.3 s]
################
# More data... #
################
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 469553 0 0 0 89039 11193 0 0 25 0 1 0 138447066 1923276800 467838 4089446400 4194304 7136930 140733866768304 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 469550 467838 394 719 0 468829 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1878200
[startup+1062.3 s]
/proc/loadavg: 1.99 1.93 1.33 3/179 18483
/proc/meminfo: memFree=27417884/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=1944936 CPUtime=1062.32
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 486793 0 0 0 94640 11592 0 0 25 0 1 0 138447066 1991614464 485078 4089446400 4194304 7136930 140733866768304 18446744073709551615 5000143 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 486234 485078 394 719 0 485513 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1944936
[startup+1122.3 s]
/proc/loadavg: 1.99 1.94 1.37 3/179 18485
/proc/meminfo: memFree=27243704/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2070292 CPUtime=1122.32
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 502275 0 0 0 100276 11956 0 0 25 0 1 0 138447066 2119979008 500560 4089446400 4194304 7136930 140733866768304 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 517573 500560 394 719 0 516852 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2070292
[startup+1182.3 s]
/proc/loadavg: 1.99 1.95 1.41 3/179 18486
/proc/meminfo: memFree=27036436/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2124508 CPUtime=1182.33
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 516312 0 0 0 105931 12302 0 0 25 0 1 0 138447066 2175496192 514597 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 531127 514597 394 719 0 530406 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2124508
[startup+1242.3 s]
/proc/loadavg: 1.99 1.95 1.44 3/179 18487
/proc/meminfo: memFree=26833272/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2187824 CPUtime=1242.33
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 532676 0 0 0 111558 12675 0 0 25 0 1 0 138447066 2240331776 530961 4089446400 4194304 7136930 140733866768304 18446744073709551615 6123168 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 546956 530961 394 719 0 546235 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2187824
[startup+1302.3 s]
/proc/loadavg: 2.07 1.97 1.48 3/179 18489
/proc/meminfo: memFree=26648796/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2251112 CPUtime=1302.34
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 548726 0 0 0 117166 13068 0 0 25 0 1 0 138447066 2305138688 547011 4089446400 4194304 7136930 140733866768304 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 562778 547011 394 719 0 562057 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2251112
[startup+1362.3 s]
/proc/loadavg: 2.02 1.97 1.51 3/179 18491
/proc/meminfo: memFree=26485808/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2307656 CPUtime=1362.33
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 563387 0 0 0 122798 13435 0 0 25 0 1 0 138447066 2363039744 561672 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 576914 561672 394 719 0 576193 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2307656
[startup+1422.31 s]
/proc/loadavg: 2.01 1.97 1.54 3/179 18493
/proc/meminfo: memFree=26294792/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2372524 CPUtime=1422.34
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 580171 0 0 0 128398 13836 0 0 25 0 1 0 138447066 2429464576 578456 4089446400 4194304 7136930 140733866768304 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 593131 578456 394 719 0 592410 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2372524
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/179 18494
/proc/meminfo: memFree=26140356/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2423936 CPUtime=1482.33
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 593428 0 0 0 134071 14162 0 0 25 0 1 0 138447066 2482110464 591713 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 605984 591713 394 719 0 605263 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2423936
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.58 3/179 18495
/proc/meminfo: memFree=25979716/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2485324 CPUtime=1542.33
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 609303 0 0 0 139695 14538 0 0 25 0 1 0 138447066 2544971776 607588 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 621331 607588 394 719 0 620610 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2485324
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/179 18500
/proc/meminfo: memFree=25809140/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2537352 CPUtime=1602.34
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 622710 0 0 0 145385 14849 0 0 25 0 1 0 138447066 2598248448 620995 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 634338 620995 394 719 0 633617 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2537352
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.63 3/179 18502
/proc/meminfo: memFree=25641864/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2597392 CPUtime=1662.33
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 637891 0 0 0 151026 15207 0 0 25 0 1 0 138447066 2659729408 636176 4089446400 4194304 7136930 140733866768304 18446744073709551615 5955597 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 649348 636176 394 719 0 648627 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2597392
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/179 18504
/proc/meminfo: memFree=25483092/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2646188 CPUtime=1722.33
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 650471 0 0 0 156730 15503 0 0 25 0 1 0 138447066 2709696512 648756 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 661547 648756 394 719 0 660826 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2646188
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/179 18505
/proc/meminfo: memFree=25367708/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2692000 CPUtime=1782.34
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 662348 0 0 0 162411 15823 0 0 25 0 1 0 138447066 2756608000 660633 4089446400 4194304 7136930 140733866768304 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 673000 660633 394 719 0 672279 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2692000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 1.97 1.67 3/179 18506
/proc/meminfo: memFree=25336556/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2711256 CPUtime=1800.04
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 667293 0 0 0 164082 15922 0 0 25 0 1 0 138447066 2776326144 665578 4089446400 4194304 7136930 140733866768304 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18444/statm: 677814 665578 394 719 0 677093 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2711256
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18444
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 1.97 1.67 3/180 18507
/proc/meminfo: memFree=25336176/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2711256 CPUtime=1801.44
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 667301 0 0 0 164222 15922 0 0 25 0 1 0 138447066 2776326144 665586 4089446400 4194304 7136930 140733866768304 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18444/statm: 677814 665586 399 719 0 677093 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2711256
[startup+1801.81 s]
/proc/loadavg: 2.00 1.97 1.67 2/178 18508
/proc/meminfo: memFree=28587100/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2711256 CPUtime=1801.84
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 667301 0 0 0 164262 15922 0 0 25 0 1 0 138447066 2776326144 665586 4089446400 4194304 7136930 140733866768304 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18444/statm: 677814 665586 399 719 0 677093 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 2711256
[startup+1802 s]
/proc/loadavg: 2.00 1.97 1.67 2/178 18508
/proc/meminfo: memFree=28587100/32951124 swapFree=67111528/67111528
[pid=18444] ppid=18442 vsize=2711256 CPUtime=1802.04
/proc/18444/stat : 18444 (pbscip.linux.x8) R 18442 18444 18402 0 -1 4202496 667301 0 0 0 164282 15922 0 0 25 0 1 0 138447066 2776326144 665586 4089446400 4194304 7136930 140733866768304 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/18444/statm: 677814 665586 399 719 0 677093 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2711256
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.14
CPU user time (s): 1642.83
CPU system time (s): 159.315
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2711256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1642.83
system time used= 159.315
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 667301
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 18983
runsolver used 3.21551 second user time and 5.68513 second system time
The end
Begin job on node137 at 2010-07-01 10:05:16
IDJOB=2693716
IDBENCH=78683
IDSOLVER=1206
FILE ID=node137/2693716-1277971516
PBS_JOBID= 11197892
Free space on /tmp= 74212 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693716-1277971516/watcher-2693716-1277971516 -o /tmp/evaluation-result-2693716-1277971516/solver-2693716-1277971516 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693716-1277971516.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c780377f89ccbb35442bcce6ab556752
RANDOM SEED=876100642
node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.876
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 31259856 kB
Buffers: 220792 kB
Cached: 1261856 kB
SwapCached: 0 kB
Active: 610288 kB
Inactive: 936060 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31259856 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3156 kB
Writeback: 0 kB
AnonPages: 63624 kB
Mapped: 14320 kB
Slab: 81428 kB
PageTables: 4496 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 186096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 74204 MiB
End job on node137 at 2010-07-01 10:35:18