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-2693828-1277894820.wbo>
0.00/0.01 c original problem has 5438 variables (5344 bin, 0 int, 0 impl, 94 cont) and 240 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.03 c presolving:
0.00/0.03 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 94 impls, 23 clqs
0.00/0.03 c (round 2) 0 del vars, 1 del conss, 94 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 94 impls, 23 clqs
0.00/0.04 c (round 3) 0 del vars, 1 del conss, 94 chg bounds, 0 chg sides, 0 chg coeffs, 28 upgd conss, 94 impls, 23 clqs
0.00/0.04 c (round 4) 0 del vars, 1 del conss, 94 chg bounds, 0 chg sides, 0 chg coeffs, 51 upgd conss, 94 impls, 23 clqs
0.00/0.08 c (0.1s) probing: 101/5344 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.00/0.08 c presolving (5 rounds):
0.00/0.08 c 0 deleted vars, 1 deleted constraints, 94 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.08 c 94 implications, 23 cliques
0.00/0.08 c presolved problem has 5438 variables (5344 bin, 0 int, 0 impl, 94 cont) and 239 constraints
0.00/0.08 c 94 constraints of type <indicator>
0.00/0.08 c 23 constraints of type <setppc>
0.00/0.08 c 94 constraints of type <linear>
0.00/0.08 c 28 constraints of type <logicor>
0.00/0.08 c transformed objective value is always integral (scale: 1)
0.00/0.08 c Presolving Time: 0.05
0.00/0.08 c - non default parameters ----------------------------------------------------------------------
0.00/0.08 c # SCIP version 1.2.1.2
0.00/0.08 c
0.00/0.08 c # frequency for displaying node information lines
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.08 c display/freq = 10000
0.00/0.08 c
0.00/0.08 c # maximal time in seconds to run
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/time = 1799.99
0.00/0.08 c
0.00/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.08 c limits/memory = 3420
0.00/0.08 c
0.00/0.08 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.08 c lp/solvefreq = -1
0.00/0.08 c
0.00/0.08 c # should presolving try to simplify inequalities
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/linear/simplifyinequalities = TRUE
0.00/0.08 c
0.00/0.08 c # should presolving try to simplify knapsacks
0.00/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.08 c
0.00/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.08 c separating/rapidlearning/freq = 0
0.00/0.08 c
0.00/0.08 c -----------------------------------------------------------------------------------------------
0.00/0.08 c start solving
0.00/0.08 c
0.00/0.09 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.09 c 0.1s| 1 | 2 | 0 | - | 10M| 0 | - |5438 | 239 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.39/3.48 c 3.4s| 10000 | 9976 | 0 | 0.0 | 13M|4346 | - |5438 | 293 | 0 | 0 | 0 | 118 | 0 | 0.000000e+00 | -- | Inf
6.19/6.26 c 6.1s| 20000 | 19958 | 0 | 0.0 | 16M|4346 | - |5438 | 314 | 0 | 0 | 0 | 208 | 0 | 0.000000e+00 | -- | Inf
9.39/9.41 c 9.2s| 30000 | 29937 | 0 | 0.0 | 19M|4346 | - |5438 | 302 | 0 | 0 | 0 | 316 | 0 | 0.000000e+00 | -- | Inf
12.89/12.91 c 12.7s| 40000 | 39919 | 0 | 0.0 | 22M|4346 | - |5438 | 266 | 0 | 0 | 0 | 406 | 0 | 0.000000e+00 | -- | Inf
16.09/16.19 c 15.9s| 50000 | 49901 | 0 | 0.0 | 25M|4346 | - |5438 | 286 | 0 | 0 | 0 | 496 | 0 | 0.000000e+00 | -- | Inf
19.69/19.78 c 19.4s| 60000 | 59885 | 0 | 0.0 | 28M|4346 | - |5438 | 292 | 0 | 0 | 0 | 576 | 0 | 0.000000e+00 | -- | Inf
23.29/23.38 c 23.0s| 70000 | 69869 | 0 | 0.0 | 31M|4346 | - |5438 | 294 | 0 | 0 | 0 | 656 | 0 | 0.000000e+00 | -- | Inf
26.99/27.00 c 26.5s| 80000 | 79853 | 0 | 0.0 | 34M|4346 | - |5438 | 308 | 0 | 0 | 0 | 736 | 0 | 0.000000e+00 | -- | Inf
30.49/30.54 c 30.0s| 90000 | 89841 | 0 | 0.0 | 37M|4346 | - |5438 | 309 | 0 | 0 | 0 | 796 | 0 | 0.000000e+00 | -- | Inf
33.89/33.97 c 33.4s|100000 | 99833 | 0 | 0.0 | 40M|4346 | - |5438 | 309 | 0 | 0 | 0 | 836 | 0 | 0.000000e+00 | -- | Inf
37.59/37.68 c 37.0s|110000 |109821 | 0 | 0.0 | 43M|4346 | - |5438 | 331 | 0 | 0 | 0 | 896 | 0 | 0.000000e+00 | -- | Inf
40.99/41.09 c 40.4s|120000 |119803 | 0 | 0.0 | 45M|4346 | - |5438 | 357 | 0 | 0 | 0 | 981 | 0 | 0.000000e+00 | -- | Inf
44.69/44.76 c 44.0s|130000 |129790 | 0 | 0.0 | 48M|4346 | - |5438 | 355 | 0 | 0 | 0 |1039 | 0 | 0.000000e+00 | -- | Inf
48.19/48.23 c 47.4s|140000 |139774 | 0 | 0.0 | 51M|4346 | - |5438 | 369 | 0 | 0 | 0 |1120 | 0 | 0.000000e+00 | -- | Inf
51.80/51.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.80/51.84 c 51.0s|150000 |149763 | 0 | 0.0 | 54M|4346 | - |5438 | 373 | 0 | 0 | 0 |1174 | 0 | 0.000000e+00 | -- | Inf
55.29/55.33 c 54.4s|160000 |159746 | 0 | 0.0 | 56M|4346 | - |5438 | 384 | 0 | 0 | 0 |1257 | 0 | 0.000000e+00 | -- | Inf
58.90/58.91 c 58.0s|170000 |169734 | 0 | 0.0 | 59M|4346 | - |5438 | 383 | 0 | 0 | 0 |1317 | 0 | 0.000000e+00 | -- | Inf
62.39/62.44 c 61.4s|180000 |179718 | 0 | 0.0 | 62M|4346 | - |5438 | 391 | 0 | 0 | 0 |1397 | 0 | 0.000000e+00 | -- | Inf
65.79/65.86 c 64.8s|190000 |189708 | 0 | 0.0 | 65M|4346 | - |5438 | 383 | 0 | 0 | 0 |1447 | 0 | 0.000000e+00 | -- | Inf
69.49/69.56 c 68.4s|200000 |199692 | 0 | 0.0 | 67M|4346 | - |5438 | 423 | 0 | 0 | 0 |1527 | 0 | 0.000000e+00 | -- | Inf
72.99/73.08 c 71.9s|210000 |209676 | 0 | 0.0 | 70M|4346 | - |5438 | 439 | 0 | 0 | 0 |1607 | 0 | 0.000000e+00 | -- | Inf
76.80/76.83 c 75.6s|220000 |219664 | 0 | 0.0 | 73M|4346 | - |5438 | 434 | 0 | 0 | 0 |1667 | 0 | 0.000000e+00 | -- | Inf
80.49/80.59 c 79.3s|230000 |229646 | 0 | 0.0 | 76M|4346 | - |5438 | 438 | 0 | 0 | 0 |1757 | 0 | 0.000000e+00 | -- | Inf
84.20/84.28 c 82.9s|240000 |239628 | 0 | 0.0 | 78M|4346 | - |5438 | 473 | 0 | 0 | 0 |1847 | 0 | 0.000000e+00 | -- | Inf
88.10/88.13 c 86.7s|250000 |249602 | 0 | 0.0 | 81M|4346 | - |5438 | 464 | 0 | 0 | 0 |1977 | 0 | 0.000000e+00 | -- | Inf
91.59/91.68 c 90.2s|260000 |259590 | 0 | 0.0 | 84M|4346 | - |5438 | 470 | 0 | 0 | 0 |2037 | 0 | 0.000000e+00 | -- | Inf
95.20/95.27 c 93.7s|270000 |269574 | 0 | 0.0 | 87M|4346 | - |5438 | 474 | 0 | 0 | 0 |2117 | 0 | 0.000000e+00 | -- | Inf
98.79/98.88 c 97.3s|280000 |279562 | 0 | 0.0 | 89M|4346 | - |5438 | 476 | 0 | 0 | 0 |2177 | 0 | 0.000000e+00 | -- | Inf
102.50/102.60 c 101s|290000 |289544 | 0 | 0.0 | 92M|4346 | - |5438 | 485 | 0 | 0 | 0 |2267 | 0 | 0.000000e+00 | -- | Inf
106.10/106.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.10/106.14 c 104s|300000 |299532 | 0 | 0.0 | 95M|4346 | - |5438 | 484 | 0 | 0 | 0 |2327 | 0 | 0.000000e+00 | -- | Inf
109.69/109.70 c 108s|310000 |309512 | 0 | 0.0 | 97M|4346 | - |5438 | 502 | 0 | 0 | 0 |2427 | 0 | 0.000000e+00 | -- | Inf
113.30/113.32 c 111s|320000 |319500 | 0 | 0.0 | 100M|4346 | - |5438 | 500 | 0 | 0 | 0 |2487 | 0 | 0.000000e+00 | -- | Inf
116.99/117.04 c 115s|330000 |329482 | 0 | 0.0 | 103M|4346 | - |5438 | 520 | 0 | 0 | 0 |2577 | 0 | 0.000000e+00 | -- | Inf
120.39/120.48 c 119s|340000 |339468 | 0 | 0.0 | 106M|4346 | - |5438 | 518 | 0 | 0 | 0 |2647 | 0 | 0.000000e+00 | -- | Inf
124.30/124.31 c 122s|350000 |349454 | 0 | 0.0 | 108M|4346 | - |5438 | 516 | 0 | 0 | 0 |2717 | 0 | 0.000000e+00 | -- | Inf
127.79/127.83 c 126s|360000 |359440 | 0 | 0.0 | 111M|4346 | - |5438 | 534 | 0 | 0 | 0 |2787 | 0 | 0.000000e+00 | -- | Inf
131.59/131.61 c 129s|370000 |369430 | 0 | 0.0 | 114M|4346 | - |5438 | 523 | 0 | 0 | 0 |2837 | 0 | 0.000000e+00 | -- | Inf
135.30/135.31 c 133s|380000 |379408 | 0 | 0.0 | 116M|4346 | - |5438 | 555 | 0 | 0 | 0 |2947 | 0 | 0.000000e+00 | -- | Inf
139.00/139.03 c 137s|390000 |389394 | 0 | 0.0 | 119M|4346 | - |5438 | 550 | 0 | 0 | 0 |3017 | 0 | 0.000000e+00 | -- | Inf
142.49/142.58 c 140s|400000 |399378 | 0 | 0.0 | 122M|4346 | - |5438 | 556 | 0 | 0 | 0 |3097 | 0 | 0.000000e+00 | -- | Inf
146.30/146.34 c 144s|410000 |409368 | 0 | 0.0 | 125M|4346 | - |5438 | 551 | 0 | 0 | 0 |3147 | 0 | 0.000000e+00 | -- | Inf
149.90/149.98 c 148s|420000 |419348 | 0 | 0.0 | 127M|4346 | - |5438 | 577 | 0 | 0 | 0 |3247 | 0 | 0.000000e+00 | -- | Inf
153.49/153.59 c 151s|430000 |429336 | 0 | 0.0 | 130M|4346 | - |5438 | 576 | 0 | 0 | 0 |3307 | 0 | 0.000000e+00 | -- | Inf
156.99/157.08 c 155s|440000 |439320 | 0 | 0.0 | 133M|4346 | - |5438 | 602 | 0 | 0 | 0 |3387 | 0 | 0.000000e+00 | -- | Inf
160.70/160.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.70/160.79 c 158s|450000 |449312 | 0 | 0.0 | 135M|4346 | - |5438 | 592 | 0 | 0 | 0 |3427 | 0 | 0.000000e+00 | -- | Inf
164.29/164.35 c 162s|460000 |459296 | 0 | 0.0 | 138M|4346 | - |5438 | 628 | 0 | 0 | 0 |3507 | 0 | 0.000000e+00 | -- | Inf
168.09/168.15 c 165s|470000 |469282 | 0 | 0.0 | 141M|4346 | - |5438 | 622 | 0 | 0 | 0 |3577 | 0 | 0.000000e+00 | -- | Inf
171.59/171.63 c 169s|480000 |479266 | 0 | 0.0 | 143M|4346 | - |5438 | 638 | 0 | 0 | 0 |3657 | 0 | 0.000000e+00 | -- | Inf
175.39/175.47 c 173s|490000 |489250 | 0 | 0.0 | 146M|4346 | - |5438 | 670 | 0 | 0 | 0 |3737 | 0 | 0.000000e+00 | -- | Inf
178.90/178.91 c 176s|500000 |499234 | 0 | 0.0 | 149M|4346 | - |5438 | 664 | 0 | 0 | 0 |3817 | 0 | 0.000000e+00 | -- | Inf
182.49/182.60 c 180s|510000 |509224 | 0 | 0.0 | 152M|4346 | - |5438 | 668 | 0 | 0 | 0 |3867 | 0 | 0.000000e+00 | -- | Inf
186.09/186.16 c 183s|520000 |519208 | 0 | 0.0 | 154M|4346 | - |5438 | 677 | 0 | 0 | 0 |3947 | 0 | 0.000000e+00 | -- | Inf
189.89/189.95 c 187s|530000 |529196 | 0 | 0.0 | 157M|4346 | - |5438 | 680 | 0 | 0 | 0 |4007 | 0 | 0.000000e+00 | -- | Inf
193.29/193.31 c 190s|540000 |539180 | 0 | 0.0 | 160M|4346 | - |5438 | 694 | 0 | 0 | 0 |4087 | 0 | 0.000000e+00 | -- | Inf
197.09/197.12 c 194s|550000 |549162 | 0 | 0.0 | 162M|4346 | - |5438 | 731 | 0 | 0 | 0 |4175 | 0 | 0.000000e+00 | -- | Inf
200.50/200.59 c 197s|560000 |559144 | 0 | 0.0 | 165M|4346 | - |5438 | 724 | 0 | 0 | 0 |4265 | 0 | 0.000000e+00 | -- | Inf
204.29/204.33 c 201s|570000 |569130 | 0 | 0.0 | 168M|4346 | - |5438 | 710 | 0 | 0 | 0 |4335 | 0 | 0.000000e+00 | -- | Inf
207.79/207.81 c 205s|580000 |579116 | 0 | 0.0 | 170M|4346 | - |5438 | 702 | 0 | 0 | 0 |4405 | 0 | 0.000000e+00 | -- | Inf
211.39/211.43 c 208s|590000 |589106 | 0 | 0.0 | 173M|4346 | - |5438 | 697 | 0 | 0 | 0 |4455 | 0 | 0.000000e+00 | -- | Inf
214.89/214.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.89/214.99 c 212s|600000 |599082 | 0 | 0.0 | 176M|4346 | - |5438 | 743 | 0 | 0 | 0 |4575 | 0 | 0.000000e+00 | -- | Inf
218.60/218.69 c 215s|610000 |609070 | 0 | 0.0 | 179M|4346 | - |5438 | 705 | 0 | 0 | 0 |4635 | 0 | 0.000000e+00 | -- | Inf
222.20/222.22 c 219s|620000 |619052 | 0 | 0.0 | 181M|4346 | - |5438 | 700 | 0 | 0 | 0 |4725 | 0 | 0.000000e+00 | -- | Inf
225.79/225.82 c 222s|630000 |629040 | 0 | 0.0 | 184M|4346 | - |5438 | 701 | 0 | 0 | 0 |4785 | 0 | 0.000000e+00 | -- | Inf
229.39/229.49 c 226s|640000 |639026 | 0 | 0.0 | 187M|4346 | - |5438 | 692 | 0 | 0 | 0 |4855 | 0 | 0.000000e+00 | -- | Inf
232.89/232.98 c 229s|650000 |649016 | 0 | 0.0 | 189M|4346 | - |5438 | 684 | 0 | 0 | 0 |4905 | 0 | 0.000000e+00 | -- | Inf
236.60/236.64 c 233s|660000 |658992 | 0 | 0.0 | 192M|4346 | - |5438 | 712 | 0 | 0 | 0 |5025 | 0 | 0.000000e+00 | -- | Inf
239.90/239.91 c 236s|670000 |668978 | 0 | 0.0 | 195M|4346 | - |5438 | 700 | 0 | 0 | 0 |5095 | 0 | 0.000000e+00 | -- | Inf
243.59/243.63 c 240s|680000 |678966 | 0 | 0.0 | 197M|4346 | - |5438 | 683 | 0 | 0 | 0 |5155 | 0 | 0.000000e+00 | -- | Inf
246.99/247.04 c 243s|690000 |688946 | 0 | 0.0 | 200M|4346 | - |5438 | 705 | 0 | 0 | 0 |5255 | 0 | 0.000000e+00 | -- | Inf
250.60/250.62 c 247s|700000 |698934 | 0 | 0.0 | 203M|4346 | - |5438 | 695 | 0 | 0 | 0 |5315 | 0 | 0.000000e+00 | -- | Inf
254.10/254.11 c 250s|710000 |708916 | 0 | 0.0 | 206M|4346 | - |5438 | 699 | 0 | 0 | 0 |5405 | 0 | 0.000000e+00 | -- | Inf
257.40/257.46 c 253s|720000 |718904 | 0 | 0.0 | 208M|4346 | - |5438 | 692 | 0 | 0 | 0 |5465 | 0 | 0.000000e+00 | -- | Inf
261.00/261.04 c 257s|730000 |728892 | 0 | 0.0 | 211M|4346 | - |5438 | 691 | 0 | 0 | 0 |5525 | 0 | 0.000000e+00 | -- | Inf
264.29/264.38 c 260s|740000 |738878 | 0 | 0.0 | 214M|4346 | - |5438 | 708 | 0 | 0 | 0 |5595 | 0 | 0.000000e+00 | -- | Inf
268.10/268.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.10/268.16 c 264s|750000 |748858 | 0 | 0.0 | 216M|4346 | - |5438 | 720 | 0 | 0 | 0 |5695 | 0 | 0.000000e+00 | -- | Inf
271.59/271.65 c 267s|760000 |758840 | 0 | 0.0 | 219M|4346 | - |5438 | 724 | 0 | 0 | 0 |5785 | 0 | 0.000000e+00 | -- | Inf
275.30/275.35 c 271s|770000 |768828 | 0 | 0.0 | 222M|4346 | - |5438 | 708 | 0 | 0 | 0 |5845 | 0 | 0.000000e+00 | -- | Inf
278.80/278.87 c 275s|780000 |778814 | 0 | 0.0 | 225M|4346 | - |5438 | 702 | 0 | 0 | 0 |5915 | 0 | 0.000000e+00 | -- | Inf
282.40/282.45 c 278s|790000 |788803 | 0 | 0.0 | 227M|4346 | - |5438 | 717 | 0 | 0 | 0 |5975 | 0 | 0.000000e+00 | -- | Inf
286.00/286.02 c 282s|800000 |798785 | 0 | 0.0 | 230M|4346 | - |5438 | 731 | 0 | 0 | 0 |6065 | 0 | 0.000000e+00 | -- | Inf
289.40/289.45 c 285s|810000 |808769 | 0 | 0.0 | 233M|4346 | - |5438 | 731 | 0 | 0 | 0 |6145 | 0 | 0.000000e+00 | -- | Inf
293.09/293.16 c 289s|820000 |818751 | 0 | 0.0 | 235M|4346 | - |5438 | 735 | 0 | 0 | 0 |6235 | 0 | 0.000000e+00 | -- | Inf
296.50/296.57 c 292s|830000 |828729 | 0 | 0.0 | 238M|4346 | - |5438 | 744 | 0 | 0 | 0 |6345 | 0 | 0.000000e+00 | -- | Inf
300.10/300.15 c 295s|840000 |838715 | 0 | 0.0 | 241M|4346 | - |5438 | 752 | 0 | 0 | 0 |6415 | 0 | 0.000000e+00 | -- | Inf
303.80/303.83 c 299s|850000 |848687 | 0 | 0.0 | 244M|4346 | - |5438 | 771 | 0 | 0 | 0 |6555 | 0 | 0.000000e+00 | -- | Inf
307.20/307.20 c 302s|860000 |858679 | 0 | 0.0 | 246M|4346 | - |5438 | 708 | 0 | 0 | 0 |6595 | 0 | 0.000000e+00 | -- | Inf
310.90/310.92 c 306s|870000 |868661 | 0 | 0.0 | 249M|4346 | - |5438 | 737 | 0 | 0 | 0 |6685 | 0 | 0.000000e+00 | -- | Inf
314.30/314.38 c 309s|880000 |878643 | 0 | 0.0 | 252M|4346 | - |5438 | 753 | 0 | 0 | 0 |6775 | 0 | 0.000000e+00 | -- | Inf
317.70/317.70 c 313s|890000 |888633 | 0 | 0.0 | 254M|4346 | - |5438 | 741 | 0 | 0 | 0 |6825 | 0 | 0.000000e+00 | -- | Inf
321.20/321.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.20/321.25 c 316s|900000 |898613 | 0 | 0.0 | 257M|4346 | - |5438 | 756 | 0 | 0 | 0 |6925 | 0 | 0.000000e+00 | -- | Inf
324.70/324.72 c 320s|910000 |908595 | 0 | 0.0 | 260M|4346 | - |5438 | 754 | 0 | 0 | 0 |7015 | 0 | 0.000000e+00 | -- | Inf
328.10/328.16 c 323s|920000 |918581 | 0 | 0.0 | 262M|4346 | - |5438 | 737 | 0 | 0 | 0 |7085 | 0 | 0.000000e+00 | -- | Inf
331.69/331.79 c 327s|930000 |928557 | 0 | 0.0 | 265M|4346 | - |5438 | 766 | 0 | 0 | 0 |7205 | 0 | 0.000000e+00 | -- | Inf
335.09/335.14 c 330s|940000 |938539 | 0 | 0.0 | 268M|4346 | - |5438 | 742 | 0 | 0 | 0 |7295 | 0 | 0.000000e+00 | -- | Inf
338.59/338.67 c 333s|950000 |948525 | 0 | 0.0 | 271M|4346 | - |5438 | 748 | 0 | 0 | 0 |7365 | 0 | 0.000000e+00 | -- | Inf
342.21/342.21 c 337s|960000 |958509 | 0 | 0.0 | 273M|4346 | - |5438 | 736 | 0 | 0 | 0 |7445 | 0 | 0.000000e+00 | -- | Inf
345.60/345.62 c 340s|970000 |968489 | 0 | 0.0 | 276M|4346 | - |5438 | 742 | 0 | 0 | 0 |7545 | 0 | 0.000000e+00 | -- | Inf
349.00/349.01 c 344s|980000 |978477 | 0 | 0.0 | 279M|4346 | - |5438 | 737 | 0 | 0 | 0 |7605 | 0 | 0.000000e+00 | -- | Inf
352.70/352.71 c 347s|990000 |988461 | 0 | 0.0 | 282M|4346 | - |5438 | 734 | 0 | 0 | 0 |7685 | 0 | 0.000000e+00 | -- | Inf
356.10/356.18 c 351s| 1000k|998439 | 0 | 0.0 | 284M|4346 | - |5438 | 751 | 0 | 0 | 0 |7795 | 0 | 0.000000e+00 | -- | Inf
359.60/359.60 c 354s| 1010k| 1008k| 0 | 0.0 | 287M|4346 | - |5438 | 729 | 0 | 0 | 0 |7845 | 0 | 0.000000e+00 | -- | Inf
363.30/363.36 c 358s| 1020k| 1018k| 0 | 0.0 | 290M|4346 | - |5438 | 746 | 0 | 0 | 0 |7965 | 0 | 0.000000e+00 | -- | Inf
366.50/366.58 c 361s| 1030k| 1028k| 0 | 0.0 | 292M|4346 | - |5438 | 733 | 0 | 0 | 0 |8025 | 0 | 0.000000e+00 | -- | Inf
370.00/370.06 c 364s| 1040k| 1038k| 0 | 0.0 | 295M|4346 | - |5438 | 730 | 0 | 0 | 0 |8085 | 0 | 0.000000e+00 | -- | Inf
373.50/373.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.50/373.56 c 368s| 1050k| 1048k| 0 | 0.0 | 298M|4346 | - |5438 | 721 | 0 | 0 | 0 |8155 | 0 | 0.000000e+00 | -- | Inf
377.00/377.02 c 371s| 1060k| 1058k| 0 | 0.0 | 301M|4346 | - |5438 | 761 | 0 | 0 | 0 |8275 | 0 | 0.000000e+00 | -- | Inf
380.20/380.24 c 374s| 1070k| 1068k| 0 | 0.0 | 303M|4346 | - |5438 | 726 | 0 | 0 | 0 |8325 | 0 | 0.000000e+00 | -- | Inf
383.80/383.82 c 378s| 1080k| 1078k| 0 | 0.0 | 306M|4346 | - |5438 | 712 | 0 | 0 | 0 |8425 | 0 | 0.000000e+00 | -- | Inf
387.40/387.41 c 381s| 1090k| 1088k| 0 | 0.0 | 309M|4346 | - |5438 | 723 | 0 | 0 | 0 |8525 | 0 | 0.000000e+00 | -- | Inf
390.60/390.63 c 385s| 1100k| 1098k| 0 | 0.0 | 312M|4346 | - |5438 | 717 | 0 | 0 | 0 |8605 | 0 | 0.000000e+00 | -- | Inf
393.91/393.93 c 388s| 1110k| 1108k| 0 | 0.0 | 314M|4346 | - |5438 | 713 | 0 | 0 | 0 |8655 | 0 | 0.000000e+00 | -- | Inf
397.50/397.56 c 391s| 1120k| 1118k| 0 | 0.0 | 317M|4346 | - |5438 | 746 | 0 | 0 | 0 |8785 | 0 | 0.000000e+00 | -- | Inf
400.89/400.94 c 395s| 1130k| 1128k| 0 | 0.0 | 320M|4346 | - |5438 | 702 | 0 | 0 | 0 |8845 | 0 | 0.000000e+00 | -- | Inf
404.20/404.26 c 398s| 1140k| 1138k| 0 | 0.0 | 322M|4346 | - |5438 | 705 | 0 | 0 | 0 |8915 | 0 | 0.000000e+00 | -- | Inf
407.70/407.74 c 401s| 1150k| 1148k| 0 | 0.0 | 325M|4346 | - |5438 | 689 | 0 | 0 | 0 |8965 | 0 | 0.000000e+00 | -- | Inf
411.20/411.23 c 405s| 1160k| 1158k| 0 | 0.0 | 328M|4346 | - |5438 | 715 | 0 | 0 | 0 |9075 | 0 | 0.000000e+00 | -- | Inf
414.50/414.58 c 408s| 1170k| 1168k| 0 | 0.0 | 331M|4346 | - |5438 | 690 | 0 | 0 | 0 |9155 | 0 | 0.000000e+00 | -- | Inf
417.80/417.87 c 411s| 1180k| 1178k| 0 | 0.0 | 333M|4346 | - |5438 | 688 | 0 | 0 | 0 |9225 | 0 | 0.000000e+00 | -- | Inf
421.00/421.04 c 414s| 1190k| 1188k| 0 | 0.0 | 336M|4346 | - |5438 | 712 | 0 | 0 | 0 |9335 | 0 | 0.000000e+00 | -- | Inf
424.40/424.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
424.40/424.46 c 418s| 1200k| 1198k| 0 | 0.0 | 339M|4346 | - |5438 | 694 | 0 | 0 | 0 |9435 | 0 | 0.000000e+00 | -- | Inf
427.79/427.86 c 421s| 1210k| 1208k| 0 | 0.0 | 342M|4346 | - |5438 | 687 | 0 | 0 | 0 |9535 | 0 | 0.000000e+00 | -- | Inf
431.10/431.18 c 424s| 1220k| 1218k| 0 | 0.0 | 344M|4346 | - |5438 | 675 | 0 | 0 | 0 |9605 | 0 | 0.000000e+00 | -- | Inf
434.30/434.38 c 428s| 1230k| 1228k| 0 | 0.0 | 347M|4346 | - |5438 | 678 | 0 | 0 | 0 |9695 | 0 | 0.000000e+00 | -- | Inf
437.60/437.61 c 431s| 1240k| 1238k| 0 | 0.0 | 350M|4346 | - |5438 | 664 | 0 | 0 | 0 |9775 | 0 | 0.000000e+00 | -- | Inf
440.70/440.75 c 434s| 1250k| 1248k| 0 | 0.0 | 353M|4346 | - |5438 | 668 | 0 | 0 | 0 |9855 | 0 | 0.000000e+00 | -- | Inf
443.80/443.88 c 437s| 1260k| 1258k| 0 | 0.0 | 355M|4346 | - |5438 | 695 | 0 | 0 | 0 |9955 | 0 | 0.000000e+00 | -- | Inf
447.10/447.15 c 440s| 1270k| 1267k| 0 | 0.0 | 358M|4346 | - |5438 | 658 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
450.50/450.50 c 443s| 1280k| 1277k| 0 | 0.0 | 361M|4346 | - |5438 | 650 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
453.80/453.80 c 447s| 1290k| 1287k| 0 | 0.0 | 364M|4346 | - |5438 | 646 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
457.00/457.08 c 450s| 1300k| 1297k| 0 | 0.0 | 366M|4346 | - |5438 | 628 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
460.30/460.34 c 453s| 1310k| 1307k| 0 | 0.0 | 369M|4346 | - |5438 | 631 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
463.60/463.62 c 456s| 1320k| 1317k| 0 | 0.0 | 372M|4346 | - |5438 | 618 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
466.80/466.84 c 459s| 1330k| 1327k| 0 | 0.0 | 375M|4346 | - |5438 | 633 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
470.00/470.02 c 463s| 1340k| 1337k| 0 | 0.0 | 377M|4346 | - |5438 | 638 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
473.20/473.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.20/473.24 c 466s| 1350k| 1347k| 0 | 0.0 | 380M|4346 | - |5438 | 624 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
476.41/476.46 c 469s| 1360k| 1357k| 0 | 0.0 | 383M|4346 | - |5438 | 608 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
479.79/479.81 c 472s| 1370k| 1367k| 0 | 0.0 | 386M|4346 | - |5438 | 618 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
483.09/483.13 c 475s| 1380k| 1377k| 0 | 0.0 | 389M|4346 | - |5438 | 593 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
486.69/486.78 c 479s| 1390k| 1387k| 0 | 0.0 | 391M|4346 | - |5438 | 626 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
490.09/490.19 c 482s| 1400k| 1397k| 0 | 0.0 | 394M|4346 | - |5438 | 600 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
493.39/493.44 c 485s| 1410k| 1407k| 0 | 0.0 | 397M|4346 | - |5438 | 595 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
496.59/496.69 c 488s| 1420k| 1417k| 0 | 0.0 | 400M|4346 | - |5438 | 597 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
499.78/499.88 c 491s| 1430k| 1427k| 0 | 0.0 | 402M|4346 | - |5438 | 583 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
503.07/503.14 c 494s| 1440k| 1437k| 0 | 0.0 | 405M|4346 | - |5438 | 597 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
506.27/506.34 c 497s| 1450k| 1447k| 0 | 0.0 | 408M|4346 | - |5438 | 593 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
509.56/509.69 c 501s| 1460k| 1457k| 0 | 0.0 | 411M|4346 | - |5438 | 584 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
513.07/513.13 c 504s| 1470k| 1467k| 0 | 0.0 | 413M|4346 | - |5438 | 592 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
516.27/516.37 c 507s| 1480k| 1477k| 0 | 0.0 | 416M|4346 | - |5438 | 567 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
519.66/519.72 c 510s| 1490k| 1487k| 0 | 0.0 | 419M|4346 | - |5438 | 585 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
522.86/522.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.86/522.97 c 513s| 1500k| 1497k| 0 | 0.0 | 422M|4346 | - |5438 | 596 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
526.16/526.21 c 516s| 1510k| 1507k| 0 | 0.0 | 424M|4346 | - |5438 | 591 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
529.37/529.42 c 520s| 1520k| 1517k| 0 | 0.0 | 427M|4346 | - |5438 | 610 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
532.57/532.67 c 523s| 1530k| 1527k| 0 | 0.0 | 430M|4346 | - |5438 | 582 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
535.87/535.94 c 526s| 1540k| 1537k| 0 | 0.0 | 433M|4346 | - |5438 | 597 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
538.97/539.02 c 529s| 1550k| 1547k| 0 | 0.0 | 435M|4346 | - |5438 | 624 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
542.16/542.26 c 532s| 1560k| 1557k| 0 | 0.0 | 438M|4346 | - |5438 | 615 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
545.37/545.43 c 535s| 1570k| 1567k| 0 | 0.0 | 441M|4346 | - |5438 | 641 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
548.46/548.52 c 538s| 1580k| 1577k| 0 | 0.0 | 444M|4346 | - |5438 | 612 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
551.76/551.84 c 542s| 1590k| 1587k| 0 | 0.0 | 447M|4346 | - |5438 | 624 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
554.96/555.00 c 545s| 1600k| 1597k| 0 | 0.0 | 449M|4346 | - |5438 | 642 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
558.07/558.16 c 548s| 1610k| 1607k| 0 | 0.0 | 452M|4346 | - |5438 | 623 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
561.26/561.38 c 551s| 1620k| 1617k| 0 | 0.0 | 455M|4346 | - |5438 | 631 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
564.56/564.60 c 554s| 1630k| 1627k| 0 | 0.0 | 458M|4346 | - |5438 | 610 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
567.67/567.70 c 557s| 1640k| 1637k| 0 | 0.0 | 460M|4346 | - |5438 | 627 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
570.76/570.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.76/570.85 c 560s| 1650k| 1647k| 0 | 0.0 | 463M|4346 | - |5438 | 611 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
574.06/574.14 c 564s| 1660k| 1657k| 0 | 0.0 | 466M|4346 | - |5438 | 608 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
577.17/577.28 c 567s| 1670k| 1667k| 0 | 0.0 | 469M|4346 | - |5438 | 619 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
580.37/580.48 c 570s| 1680k| 1677k| 0 | 0.0 | 472M|4346 | - |5438 | 640 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
583.57/583.65 c 573s| 1690k| 1687k| 0 | 0.0 | 474M|4346 | - |5438 | 625 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
586.67/586.77 c 576s| 1700k| 1697k| 0 | 0.0 | 477M|4346 | - |5438 | 620 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
589.87/589.92 c 579s| 1710k| 1707k| 0 | 0.0 | 480M|4346 | - |5438 | 630 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
593.07/593.15 c 582s| 1720k| 1717k| 0 | 0.0 | 483M|4346 | - |5438 | 630 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
596.07/596.19 c 585s| 1730k| 1727k| 0 | 0.0 | 485M|4346 | - |5438 | 627 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
599.17/599.24 c 588s| 1740k| 1737k| 0 | 0.0 | 488M|4346 | - |5438 | 615 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
602.07/602.17 c 591s| 1750k| 1747k| 0 | 0.0 | 491M|4346 | - |5438 | 631 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
605.07/605.15 c 594s| 1760k| 1757k| 0 | 0.0 | 494M|4346 | - |5438 | 626 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
608.27/608.36 c 597s| 1770k| 1767k| 0 | 0.0 | 497M|4346 | - |5438 | 657 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
611.47/611.55 c 600s| 1780k| 1777k| 0 | 0.0 | 499M|4346 | - |5438 | 626 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
614.56/614.60 c 603s| 1790k| 1787k| 0 | 0.0 | 502M|4346 | - |5438 | 637 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
617.67/617.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
617.67/617.78 c 606s| 1800k| 1796k| 0 | 0.0 | 505M|4346 | - |5438 | 633 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
620.96/621.09 c 610s| 1810k| 1806k| 0 | 0.0 | 508M|4346 | - |5438 | 633 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
624.16/624.27 c 613s| 1820k| 1816k| 0 | 0.0 | 510M|4346 | - |5438 | 670 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
627.26/627.33 c 616s| 1830k| 1826k| 0 | 0.0 | 513M|4346 | - |5438 | 646 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
630.17/630.28 c 619s| 1840k| 1836k| 0 | 0.0 | 516M|4346 | - |5438 | 669 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
633.26/633.40 c 622s| 1850k| 1846k| 0 | 0.0 | 519M|4346 | - |5438 | 649 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
636.37/636.47 c 625s| 1860k| 1856k| 0 | 0.0 | 522M|4346 | - |5438 | 655 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
639.47/639.52 c 628s| 1870k| 1866k| 0 | 0.0 | 524M|4346 | - |5438 | 671 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
642.57/642.65 c 631s| 1880k| 1876k| 0 | 0.0 | 527M|4346 | - |5438 | 681 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
645.67/645.77 c 634s| 1890k| 1886k| 0 | 0.0 | 530M|4346 | - |5438 | 659 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
648.97/649.04 c 637s| 1900k| 1896k| 0 | 0.0 | 533M|4346 | - |5438 | 673 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
652.07/652.18 c 640s| 1910k| 1906k| 0 | 0.0 | 535M|4346 | - |5438 | 701 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
655.17/655.21 c 643s| 1920k| 1916k| 0 | 0.0 | 538M|4346 | - |5438 | 693 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
658.17/658.28 c 646s| 1930k| 1926k| 0 | 0.0 | 541M|4346 | - |5438 | 667 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
661.07/661.13 c 649s| 1940k| 1936k| 0 | 0.0 | 544M|4346 | - |5438 | 686 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
664.07/664.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
664.07/664.13 c 652s| 1950k| 1946k| 0 | 0.0 | 547M|4346 | - |5438 | 711 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
667.27/667.31 c 655s| 1960k| 1956k| 0 | 0.0 | 549M|4346 | - |5438 | 707 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
670.17/670.27 c 658s| 1970k| 1966k| 0 | 0.0 | 552M|4346 | - |5438 | 695 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
673.37/673.43 c 661s| 1980k| 1976k| 0 | 0.0 | 555M|4346 | - |5438 | 668 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
676.48/676.53 c 664s| 1990k| 1986k| 0 | 0.0 | 558M|4346 | - |5438 | 706 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
679.47/679.58 c 667s| 2000k| 1996k| 0 | 0.0 | 560M|4346 | - |5438 | 675 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
682.47/682.51 c 670s| 2010k| 2006k| 0 | 0.0 | 563M|4346 | - |5438 | 666 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
685.57/685.64 c 673s| 2020k| 2016k| 0 | 0.0 | 566M|4346 | - |5438 | 688 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
688.58/688.64 c 676s| 2030k| 2026k| 0 | 0.0 | 569M|4346 | - |5438 | 693 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
691.57/691.67 c 679s| 2040k| 2036k| 0 | 0.0 | 572M|4346 | - |5438 | 716 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
694.57/694.60 c 682s| 2050k| 2046k| 0 | 0.0 | 574M|4346 | - |5438 | 690 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
697.38/697.48 c 685s| 2060k| 2056k| 0 | 0.0 | 577M|4346 | - |5438 | 680 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
700.47/700.50 c 688s| 2070k| 2066k| 0 | 0.0 | 580M|4346 | - |5438 | 687 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
703.37/703.43 c 690s| 2080k| 2076k| 0 | 0.0 | 583M|4346 | - |5438 | 705 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
706.27/706.37 c 693s| 2090k| 2086k| 0 | 0.0 | 586M|4346 | - |5438 | 708 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
709.27/709.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
709.27/709.34 c 696s| 2100k| 2096k| 0 | 0.0 | 588M|4346 | - |5438 | 698 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
712.07/712.18 c 699s| 2110k| 2106k| 0 | 0.0 | 591M|4346 | - |5438 | 690 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
714.97/715.04 c 702s| 2120k| 2116k| 0 | 0.0 | 594M|4346 | - |5438 | 691 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
717.97/718.02 c 705s| 2130k| 2126k| 0 | 0.0 | 597M|4346 | - |5438 | 708 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
720.77/720.88 c 708s| 2140k| 2136k| 0 | 0.0 | 599M|4346 | - |5438 | 719 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
723.57/723.69 c 710s| 2150k| 2146k| 0 | 0.0 | 602M|4346 | - |5438 | 778 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
726.67/726.75 c 713s| 2160k| 2156k| 0 | 0.0 | 605M|4346 | - |5438 | 716 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
729.47/729.56 c 716s| 2170k| 2166k| 0 | 0.0 | 608M|4346 | - |5438 | 726 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
732.37/732.41 c 719s| 2180k| 2176k| 0 | 0.0 | 611M|4346 | - |5438 | 705 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
735.47/735.51 c 722s| 2190k| 2186k| 0 | 0.0 | 614M|4346 | - |5438 | 722 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
738.37/738.46 c 725s| 2200k| 2196k| 0 | 0.0 | 616M|4346 | - |5438 | 734 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
741.27/741.37 c 728s| 2210k| 2206k| 0 | 0.0 | 619M|4346 | - |5438 | 729 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
744.17/744.27 c 731s| 2220k| 2216k| 0 | 0.0 | 622M|4346 | - |5438 | 726 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
747.07/747.17 c 733s| 2230k| 2226k| 0 | 0.0 | 625M|4346 | - |5438 | 742 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
750.07/750.12 c 736s| 2240k| 2236k| 0 | 0.0 | 628M|4346 | - |5438 | 745 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
753.07/753.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.07/753.11 c 739s| 2250k| 2246k| 0 | 0.0 | 630M|4346 | - |5438 | 720 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
755.88/755.90 c 742s| 2260k| 2256k| 0 | 0.0 | 633M|4346 | - |5438 | 761 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
758.97/759.01 c 745s| 2270k| 2265k| 0 | 0.0 | 636M|4346 | - |5438 | 705 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
761.67/761.73 c 748s| 2280k| 2275k| 0 | 0.0 | 639M|4346 | - |5438 | 716 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
764.68/764.75 c 751s| 2290k| 2285k| 0 | 0.0 | 642M|4346 | - |5438 | 725 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
767.47/767.55 c 753s| 2300k| 2295k| 0 | 0.0 | 644M|4346 | - |5438 | 721 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
770.38/770.46 c 756s| 2310k| 2305k| 0 | 0.0 | 647M|4346 | - |5438 | 725 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
773.47/773.52 c 759s| 2320k| 2315k| 0 | 0.0 | 650M|4346 | - |5438 | 730 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
776.16/776.22 c 762s| 2330k| 2325k| 0 | 0.0 | 653M|4346 | - |5438 | 699 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
779.06/779.12 c 765s| 2340k| 2335k| 0 | 0.0 | 656M|4346 | - |5438 | 690 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
781.87/781.99 c 767s| 2350k| 2345k| 0 | 0.0 | 659M|4346 | - |5438 | 706 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
785.07/785.12 c 770s| 2360k| 2355k| 0 | 0.0 | 661M|4346 | - |5438 | 704 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
787.97/788.02 c 773s| 2370k| 2365k| 0 | 0.0 | 664M|4346 | - |5438 | 697 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
790.97/791.07 c 776s| 2380k| 2375k| 0 | 0.0 | 667M|4346 | - |5438 | 695 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
793.76/793.89 c 778s| 2390k| 2385k| 0 | 0.0 | 670M|4346 | - |5438 | 696 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
796.67/796.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
796.67/796.72 c 781s| 2400k| 2395k| 0 | 0.0 | 673M|4346 | - |5438 | 711 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
799.27/799.39 c 784s| 2410k| 2405k| 0 | 0.0 | 675M|4346 | - |5438 | 708 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
802.17/802.27 c 786s| 2420k| 2415k| 0 | 0.0 | 678M|4346 | - |5438 | 682 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
805.07/805.13 c 789s| 2430k| 2425k| 0 | 0.0 | 681M|4346 | - |5438 | 687 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
807.87/807.91 c 792s| 2440k| 2435k| 0 | 0.0 | 684M|4346 | - |5438 | 702 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
810.57/810.65 c 794s| 2450k| 2445k| 0 | 0.0 | 687M|4346 | - |5438 | 722 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
813.37/813.47 c 797s| 2460k| 2455k| 0 | 0.0 | 690M|4346 | - |5438 | 715 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
816.18/816.23 c 799s| 2470k| 2465k| 0 | 0.0 | 692M|4346 | - |5438 | 709 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
819.17/819.27 c 802s| 2480k| 2475k| 0 | 0.0 | 695M|4346 | - |5438 | 726 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
821.87/821.93 c 805s| 2490k| 2485k| 0 | 0.0 | 698M|4346 | - |5438 | 714 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
824.77/824.80 c 807s| 2500k| 2495k| 0 | 0.0 | 701M|4346 | - |5438 | 700 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
827.57/827.60 c 810s| 2510k| 2505k| 0 | 0.0 | 704M|4346 | - |5438 | 714 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
830.37/830.50 c 813s| 2520k| 2515k| 0 | 0.0 | 707M|4346 | - |5438 | 694 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
833.17/833.27 c 815s| 2530k| 2525k| 0 | 0.0 | 709M|4346 | - |5438 | 729 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
836.07/836.17 c 818s| 2540k| 2535k| 0 | 0.0 | 712M|4346 | - |5438 | 706 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
838.87/838.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.87/838.97 c 821s| 2550k| 2545k| 0 | 0.0 | 715M|4346 | - |5438 | 709 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
841.67/841.73 c 823s| 2560k| 2555k| 0 | 0.0 | 718M|4346 | - |5438 | 723 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
844.67/844.73 c 826s| 2570k| 2565k| 0 | 0.0 | 721M|4346 | - |5438 | 729 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
847.37/847.40 c 829s| 2580k| 2575k| 0 | 0.0 | 724M|4346 | - |5438 | 756 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
850.17/850.20 c 831s| 2590k| 2585k| 0 | 0.0 | 726M|4346 | - |5438 | 718 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
852.97/853.00 c 834s| 2600k| 2595k| 0 | 0.0 | 729M|4346 | - |5438 | 721 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
855.88/855.91 c 837s| 2610k| 2605k| 0 | 0.0 | 732M|4346 | - |5438 | 727 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
858.57/858.65 c 839s| 2620k| 2615k| 0 | 0.0 | 735M|4346 | - |5438 | 715 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
861.28/861.38 c 842s| 2630k| 2625k| 0 | 0.0 | 738M|4346 | - |5438 | 730 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
863.97/864.09 c 844s| 2640k| 2635k| 0 | 0.0 | 741M|4346 | - |5438 | 728 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
866.77/866.86 c 847s| 2650k| 2645k| 0 | 0.0 | 744M|4346 | - |5438 | 731 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
869.47/869.54 c 849s| 2660k| 2655k| 0 | 0.0 | 746M|4346 | - |5438 | 754 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
872.17/872.29 c 852s| 2670k| 2665k| 0 | 0.0 | 749M|4346 | - |5438 | 731 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
874.97/875.05 c 854s| 2680k| 2675k| 0 | 0.0 | 752M|4346 | - |5438 | 737 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
877.87/877.92 c 857s| 2690k| 2685k| 0 | 0.0 | 755M|4346 | - |5438 | 716 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
880.78/880.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.78/880.83 c 860s| 2700k| 2695k| 0 | 0.0 | 758M|4346 | - |5438 | 725 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
883.47/883.55 c 862s| 2710k| 2705k| 0 | 0.0 | 761M|4346 | - |5438 | 733 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
886.17/886.24 c 865s| 2720k| 2715k| 0 | 0.0 | 763M|4346 | - |5438 | 731 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
889.07/889.12 c 868s| 2730k| 2725k| 0 | 0.0 | 766M|4346 | - |5438 | 746 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
891.57/891.61 c 870s| 2740k| 2734k| 0 | 0.0 | 769M|4346 | - |5438 | 738 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
894.28/894.35 c 873s| 2750k| 2744k| 0 | 0.0 | 772M|4346 | - |5438 | 760 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
897.07/897.12 c 875s| 2760k| 2754k| 0 | 0.0 | 775M|4346 | - |5438 | 771 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
899.78/899.86 c 878s| 2770k| 2764k| 0 | 0.0 | 778M|4346 | - |5438 | 770 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
902.47/902.51 c 880s| 2780k| 2774k| 0 | 0.0 | 781M|4346 | - |5438 | 729 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
905.17/905.20 c 883s| 2790k| 2784k| 0 | 0.0 | 783M|4346 | - |5438 | 741 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
907.77/907.88 c 885s| 2800k| 2794k| 0 | 0.0 | 786M|4346 | - |5438 | 743 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
910.57/910.69 c 888s| 2810k| 2804k| 0 | 0.0 | 789M|4346 | - |5438 | 741 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
913.27/913.33 c 890s| 2820k| 2814k| 0 | 0.0 | 792M|4346 | - |5438 | 751 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
915.77/915.86 c 893s| 2830k| 2824k| 0 | 0.0 | 795M|4346 | - |5438 | 763 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
918.58/918.68 c 895s| 2840k| 2834k| 0 | 0.0 | 798M|4346 | - |5438 | 764 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
921.37/921.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
921.37/921.49 c 898s| 2850k| 2844k| 0 | 0.0 | 801M|4346 | - |5438 | 761 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
924.08/924.18 c 900s| 2860k| 2854k| 0 | 0.0 | 803M|4346 | - |5438 | 764 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
926.77/926.85 c 903s| 2870k| 2864k| 0 | 0.0 | 806M|4346 | - |5438 | 769 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
929.37/929.42 c 905s| 2880k| 2874k| 0 | 0.0 | 809M|4346 | - |5438 | 760 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
932.17/932.22 c 908s| 2890k| 2884k| 0 | 0.0 | 812M|4346 | - |5438 | 777 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
934.77/934.88 c 910s| 2900k| 2894k| 0 | 0.0 | 815M|4346 | - |5438 | 730 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
937.37/937.41 c 913s| 2910k| 2904k| 0 | 0.0 | 818M|4346 | - |5438 | 757 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
940.07/940.16 c 915s| 2920k| 2914k| 0 | 0.0 | 821M|4346 | - |5438 | 745 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
942.67/942.70 c 918s| 2930k| 2924k| 0 | 0.0 | 823M|4346 | - |5438 | 773 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
945.37/945.41 c 920s| 2940k| 2934k| 0 | 0.0 | 826M|4346 | - |5438 | 780 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
947.97/948.08 c 923s| 2950k| 2944k| 0 | 0.0 | 829M|4346 | - |5438 | 793 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
950.57/950.68 c 925s| 2960k| 2954k| 0 | 0.0 | 832M|4346 | - |5438 | 766 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
953.27/953.35 c 928s| 2970k| 2964k| 0 | 0.0 | 835M|4346 | - |5438 | 748 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
956.08/956.14 c 930s| 2980k| 2974k| 0 | 0.0 | 838M|4346 | - |5438 | 747 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
958.68/958.78 c 933s| 2990k| 2984k| 0 | 0.0 | 841M|4346 | - |5438 | 740 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
961.38/961.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.38/961.45 c 935s| 3000k| 2994k| 0 | 0.0 | 844M|4346 | - |5438 | 747 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
963.88/963.98 c 938s| 3010k| 3004k| 0 | 0.0 | 846M|4346 | - |5438 | 744 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
966.57/966.67 c 940s| 3020k| 3014k| 0 | 0.0 | 849M|4346 | - |5438 | 733 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
969.37/969.42 c 943s| 3030k| 3024k| 0 | 0.0 | 852M|4346 | - |5438 | 740 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
971.98/972.03 c 945s| 3040k| 3034k| 0 | 0.0 | 855M|4346 | - |5438 | 744 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
974.68/974.72 c 948s| 3050k| 3044k| 0 | 0.0 | 858M|4346 | - |5438 | 757 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
977.27/977.39 c 950s| 3060k| 3054k| 0 | 0.0 | 861M|4346 | - |5438 | 728 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
979.87/979.90 c 952s| 3070k| 3064k| 0 | 0.0 | 864M|4346 | - |5438 | 729 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
982.58/982.65 c 955s| 3080k| 3074k| 0 | 0.0 | 867M|4346 | - |5438 | 729 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
985.47/985.51 c 958s| 3090k| 3084k| 0 | 0.0 | 870M|4346 | - |5438 | 723 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
987.97/988.03 c 960s| 3100k| 3094k| 0 | 0.0 | 872M|4346 | - |5438 | 740 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
990.77/990.88 c 963s| 3110k| 3104k| 0 | 0.0 | 875M|4346 | - |5438 | 733 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
993.47/993.57 c 965s| 3120k| 3114k| 0 | 0.0 | 878M|4346 | - |5438 | 705 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
996.28/996.34 c 968s| 3130k| 3124k| 0 | 0.0 | 881M|4346 | - |5438 | 736 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
998.88/998.95 c 970s| 3140k| 3133k| 0 | 0.0 | 884M|4346 | - |5438 | 727 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
1001.37/1001.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1001.37/1001.47 c 973s| 3150k| 3143k| 0 | 0.0 | 887M|4346 | - |5438 | 709 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1004.18/1004.20 c 975s| 3160k| 3153k| 0 | 0.0 | 890M|4346 | - |5438 | 733 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1006.59/1006.64 c 977s| 3170k| 3163k| 0 | 0.0 | 893M|4346 | - |5438 | 730 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1009.07/1009.17 c 980s| 3180k| 3173k| 0 | 0.0 | 896M|4346 | - |5438 | 739 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1011.77/1011.86 c 982s| 3190k| 3183k| 0 | 0.0 | 899M|4346 | - |5438 | 752 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1014.38/1014.44 c 985s| 3200k| 3193k| 0 | 0.0 | 902M|4346 | - |5438 | 737 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1016.98/1017.05 c 987s| 3210k| 3203k| 0 | 0.0 | 904M|4346 | - |5438 | 741 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
1019.58/1019.69 c 990s| 3220k| 3213k| 0 | 0.0 | 907M|4346 | - |5438 | 750 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1022.18/1022.25 c 992s| 3230k| 3223k| 0 | 0.0 | 910M|4346 | - |5438 | 710 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1024.78/1024.89 c 994s| 3240k| 3233k| 0 | 0.0 | 913M|4346 | - |5438 | 730 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1027.48/1027.58 c 997s| 3250k| 3243k| 0 | 0.0 | 916M|4346 | - |5438 | 717 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1030.18/1030.20 c 999s| 3260k| 3253k| 0 | 0.0 | 919M|4346 | - |5438 | 710 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1032.78/1032.89 c 1002s| 3270k| 3263k| 0 | 0.0 | 922M|4346 | - |5438 | 711 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1035.38/1035.42 c 1004s| 3280k| 3273k| 0 | 0.0 | 925M|4346 | - |5438 | 726 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1037.88/1037.97 c 1007s| 3290k| 3283k| 0 | 0.0 | 928M|4346 | - |5438 | 721 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1040.48/1040.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1040.48/1040.57 c 1009s| 3300k| 3293k| 0 | 0.0 | 931M|4346 | - |5438 | 718 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
1042.97/1043.04 c 1011s| 3310k| 3303k| 0 | 0.0 | 934M|4346 | - |5438 | 748 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1045.68/1045.70 c 1014s| 3320k| 3313k| 0 | 0.0 | 937M|4346 | - |5438 | 720 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1048.18/1048.23 c 1016s| 3330k| 3323k| 0 | 0.0 | 940M|4346 | - |5438 | 734 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1050.68/1050.72 c 1019s| 3340k| 3333k| 0 | 0.0 | 942M|4346 | - |5438 | 720 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1053.28/1053.39 c 1021s| 3350k| 3343k| 0 | 0.0 | 945M|4346 | - |5438 | 726 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1055.98/1056.07 c 1024s| 3360k| 3353k| 0 | 0.0 | 948M|4346 | - |5438 | 734 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1058.68/1058.77 c 1026s| 3370k| 3363k| 0 | 0.0 | 951M|4346 | - |5438 | 746 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
1061.37/1061.41 c 1029s| 3380k| 3373k| 0 | 0.0 | 954M|4346 | - |5438 | 724 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1063.88/1063.99 c 1031s| 3390k| 3383k| 0 | 0.0 | 957M|4346 | - |5438 | 754 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1066.68/1066.76 c 1034s| 3400k| 3393k| 0 | 0.0 | 960M|4346 | - |5438 | 748 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1069.28/1069.35 c 1036s| 3410k| 3403k| 0 | 0.0 | 963M|4346 | - |5438 | 752 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1071.88/1071.90 c 1038s| 3420k| 3413k| 0 | 0.0 | 966M|4346 | - |5438 | 731 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1074.48/1074.51 c 1041s| 3430k| 3423k| 0 | 0.0 | 969M|4346 | - |5438 | 756 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1077.07/1077.14 c 1043s| 3440k| 3433k| 0 | 0.0 | 972M|4346 | - |5438 | 756 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
1079.48/1079.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1079.48/1079.52 c 1045s| 3450k| 3443k| 0 | 0.0 | 975M|4346 | - |5438 | 771 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1081.98/1082.00 c 1048s| 3460k| 3453k| 0 | 0.0 | 978M|4346 | - |5438 | 779 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1084.58/1084.62 c 1050s| 3470k| 3463k| 0 | 0.0 | 981M|4346 | - |5438 | 812 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1087.07/1087.16 c 1053s| 3480k| 3473k| 0 | 0.0 | 984M|4346 | - |5438 | 806 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1089.57/1089.63 c 1055s| 3490k| 3483k| 0 | 0.0 | 987M|4346 | - |5438 | 808 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1091.98/1092.04 c 1057s| 3500k| 3492k| 0 | 0.0 | 990M|4346 | - |5438 | 821 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1094.67/1094.75 c 1060s| 3510k| 3502k| 0 | 0.0 | 993M|4346 | - |5438 | 838 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1097.27/1097.33 c 1062s| 3520k| 3512k| 0 | 0.0 | 996M|4346 | - |5438 | 848 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1099.78/1099.89 c 1064s| 3530k| 3522k| 0 | 0.0 | 999M|4346 | - |5438 | 842 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1102.67/1102.74 c 1067s| 3540k| 3532k| 0 | 0.0 |1002M|4346 | - |5438 | 863 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1106.18/1106.23 c 1070s| 3550k| 3542k| 0 | 0.0 |1005M|4346 | - |5438 | 848 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
1110.57/1110.64 c 1075s| 3560k| 3552k| 0 | 0.0 |1009M|4346 | - |5438 | 845 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1114.88/1114.96 c 1079s| 3570k| 3562k| 0 | 0.0 |1013M|4346 | - |5438 | 880 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
1119.27/1119.31 c 1083s| 3580k| 3572k| 0 | 0.0 |1017M|4346 | - |5438 | 855 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
1123.48/1123.59 c 1087s| 3590k| 3582k| 0 | 0.0 |1021M|4346 | - |5438 | 844 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1127.68/1127.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1127.68/1127.73 c 1091s| 3600k| 3592k| 0 | 0.0 |1025M|4346 | - |5438 | 832 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1131.78/1131.90 c 1095s| 3610k| 3602k| 0 | 0.0 |1029M|4346 | - |5438 | 819 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1135.98/1136.04 c 1099s| 3620k| 3611k| 0 | 0.0 |1034M|4346 | - |5438 | 836 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1140.07/1140.19 c 1103s| 3630k| 3621k| 0 | 0.0 |1038M|4346 | - |5438 | 843 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1144.28/1144.33 c 1107s| 3640k| 3631k| 0 | 0.0 |1042M|4346 | - |5438 | 832 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1148.28/1148.40 c 1111s| 3650k| 3641k| 0 | 0.0 |1046M|4346 | - |5438 | 840 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1152.38/1152.44 c 1115s| 3660k| 3651k| 0 | 0.0 |1050M|4346 | - |5438 | 832 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1156.38/1156.45 c 1118s| 3670k| 3661k| 0 | 0.0 |1054M|4346 | - |5438 | 826 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1160.38/1160.45 c 1122s| 3680k| 3671k| 0 | 0.0 |1059M|4346 | - |5438 | 826 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1164.38/1164.45 c 1126s| 3690k| 3681k| 0 | 0.0 |1063M|4346 | - |5438 | 826 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1168.38/1168.40 c 1130s| 3700k| 3691k| 0 | 0.0 |1067M|4346 | - |5438 | 835 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1172.18/1172.28 c 1134s| 3710k| 3700k| 0 | 0.0 |1071M|4346 | - |5438 | 828 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1176.08/1176.17 c 1137s| 3720k| 3710k| 0 | 0.0 |1075M|4346 | - |5438 | 827 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1179.98/1180.07 c 1141s| 3730k| 3720k| 0 | 0.0 |1079M|4346 | - |5438 | 848 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1183.88/1183.92 c 1145s| 3740k| 3730k| 0 | 0.0 |1084M|4346 | - |5438 | 829 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1187.68/1187.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.68/1187.72 c 1148s| 3750k| 3740k| 0 | 0.0 |1088M|4346 | - |5438 | 851 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1191.48/1191.54 c 1152s| 3760k| 3750k| 0 | 0.0 |1092M|4346 | - |5438 | 829 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1195.28/1195.36 c 1155s| 3770k| 3760k| 0 | 0.0 |1096M|4346 | - |5438 | 834 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1199.08/1199.12 c 1159s| 3780k| 3770k| 0 | 0.0 |1100M|4346 | - |5438 | 814 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1202.88/1202.93 c 1163s| 3790k| 3780k| 0 | 0.0 |1104M|4346 | - |5438 | 830 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1206.58/1206.65 c 1166s| 3800k| 3789k| 0 | 0.0 |1108M|4346 | - |5438 | 835 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1210.28/1210.38 c 1170s| 3810k| 3799k| 0 | 0.0 |1112M|4346 | - |5438 | 819 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1213.98/1214.06 c 1173s| 3820k| 3809k| 0 | 0.0 |1117M|4346 | - |5438 | 838 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1217.58/1217.68 c 1177s| 3830k| 3819k| 0 | 0.0 |1121M|4346 | - |5438 | 801 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1221.28/1221.34 c 1180s| 3840k| 3829k| 0 | 0.0 |1125M|4346 | - |5438 | 825 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1224.88/1224.96 c 1184s| 3850k| 3839k| 0 | 0.0 |1129M|4346 | - |5438 | 830 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1228.48/1228.55 c 1187s| 3860k| 3849k| 0 | 0.0 |1133M|4346 | - |5438 | 827 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1232.18/1232.24 c 1190s| 3870k| 3859k| 0 | 0.0 |1137M|4346 | - |5438 | 866 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1235.78/1235.83 c 1194s| 3880k| 3869k| 0 | 0.0 |1141M|4346 | - |5438 | 810 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1239.28/1239.33 c 1197s| 3890k| 3878k| 0 | 0.0 |1145M|4346 | - |5438 | 812 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1242.79/1242.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1242.79/1242.82 c 1200s| 3900k| 3888k| 0 | 0.0 |1149M|4346 | - |5438 | 821 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1246.29/1246.30 c 1204s| 3910k| 3898k| 0 | 0.0 |1153M|4346 | - |5438 | 814 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1249.78/1249.84 c 1207s| 3920k| 3908k| 0 | 0.0 |1158M|4346 | - |5438 | 829 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1253.28/1253.34 c 1210s| 3930k| 3918k| 0 | 0.0 |1162M|4346 | - |5438 | 827 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1256.78/1256.81 c 1214s| 3940k| 3928k| 0 | 0.0 |1166M|4346 | - |5438 | 813 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1260.18/1260.24 c 1217s| 3950k| 3938k| 0 | 0.0 |1170M|4346 | - |5438 | 814 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1263.58/1263.65 c 1220s| 3960k| 3948k| 0 | 0.0 |1174M|4346 | - |5438 | 825 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1266.98/1267.04 c 1223s| 3970k| 3957k| 0 | 0.0 |1178M|4346 | - |5438 | 844 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1270.28/1270.35 c 1227s| 3980k| 3967k| 0 | 0.0 |1182M|4346 | - |5438 | 820 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1273.58/1273.68 c 1230s| 3990k| 3977k| 0 | 0.0 |1186M|4346 | - |5438 | 832 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1276.99/1277.03 c 1233s| 4000k| 3987k| 0 | 0.0 |1190M|4346 | - |5438 | 838 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1280.18/1280.29 c 1236s| 4010k| 3997k| 0 | 0.0 |1194M|4346 | - |5438 | 826 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1283.39/1283.46 c 1239s| 4020k| 4007k| 0 | 0.0 |1198M|4346 | - |5438 | 816 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1286.68/1286.72 c 1242s| 4030k| 4017k| 0 | 0.0 |1202M|4346 | - |5438 | 827 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1289.78/1289.81 c 1245s| 4040k| 4027k| 0 | 0.0 |1207M|4346 | - |5438 | 820 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
1292.88/1292.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1292.88/1292.93 c 1248s| 4050k| 4037k| 0 | 0.0 |1211M|4346 | - |5438 | 819 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
1295.98/1296.00 c 1251s| 4060k| 4046k| 0 | 0.0 |1215M|4346 | - |5438 | 819 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1299.09/1299.12 c 1254s| 4070k| 4056k| 0 | 0.0 |1219M|4346 | - |5438 | 838 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
1302.18/1302.22 c 1256s| 4080k| 4066k| 0 | 0.0 |1223M|4346 | - |5438 | 815 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
1305.19/1305.29 c 1259s| 4090k| 4076k| 0 | 0.0 |1227M|4346 | - |5438 | 817 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
1308.38/1308.43 c 1262s| 4100k| 4086k| 0 | 0.0 |1231M|4346 | - |5438 | 831 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1311.39/1311.48 c 1265s| 4110k| 4096k| 0 | 0.0 |1236M|4346 | - |5438 | 834 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1314.49/1314.55 c 1268s| 4120k| 4106k| 0 | 0.0 |1240M|4346 | - |5438 | 828 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1317.59/1317.65 c 1271s| 4130k| 4116k| 0 | 0.0 |1243M|4346 | - |5438 | 834 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1320.59/1320.60 c 1274s| 4140k| 4125k| 0 | 0.0 |1248M|4346 | - |5438 | 817 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1323.59/1323.61 c 1277s| 4150k| 4135k| 0 | 0.0 |1252M|4346 | - |5438 | 822 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1326.48/1326.55 c 1279s| 4160k| 4145k| 0 | 0.0 |1256M|4346 | - |5438 | 832 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
1329.38/1329.48 c 1282s| 4170k| 4155k| 0 | 0.0 |1260M|4346 | - |5438 | 833 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
1332.28/1332.34 c 1285s| 4180k| 4165k| 0 | 0.0 |1264M|4346 | - |5438 | 836 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
1335.09/1335.10 c 1287s| 4190k| 4175k| 0 | 0.0 |1268M|4346 | - |5438 | 829 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
1337.79/1337.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1337.79/1337.84 c 1290s| 4200k| 4185k| 0 | 0.0 |1272M|4346 | - |5438 | 827 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
1340.58/1340.68 c 1293s| 4210k| 4195k| 0 | 0.0 |1276M|4346 | - |5438 | 817 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
1343.39/1343.40 c 1295s| 4220k| 4205k| 0 | 0.0 |1281M|4346 | - |5438 | 826 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
1346.08/1346.17 c 1298s| 4230k| 4214k| 0 | 0.0 |1285M|4346 | - |5438 | 816 | 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | -- | Inf
1348.89/1348.95 c 1300s| 4240k| 4224k| 0 | 0.0 |1289M|4346 | - |5438 | 831 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
1351.49/1351.59 c 1303s| 4250k| 4234k| 0 | 0.0 |1293M|4346 | - |5438 | 823 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1354.19/1354.28 c 1305s| 4260k| 4244k| 0 | 0.0 |1297M|4346 | - |5438 | 811 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1356.99/1357.01 c 1308s| 4270k| 4254k| 0 | 0.0 |1301M|4346 | - |5438 | 814 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1359.69/1359.74 c 1310s| 4280k| 4264k| 0 | 0.0 |1305M|4346 | - |5438 | 842 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1362.29/1362.38 c 1313s| 4290k| 4274k| 0 | 0.0 |1309M|4346 | - |5438 | 821 | 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | -- | Inf
1364.88/1364.90 c 1315s| 4300k| 4284k| 0 | 0.0 |1314M|4346 | - |5438 | 822 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1367.39/1367.46 c 1317s| 4310k| 4293k| 0 | 0.0 |1318M|4346 | - |5438 | 835 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1369.99/1370.09 c 1320s| 4320k| 4303k| 0 | 0.0 |1322M|4346 | - |5438 | 833 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1372.58/1372.61 c 1322s| 4330k| 4313k| 0 | 0.0 |1326M|4346 | - |5438 | 833 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1375.09/1375.10 c 1325s| 4340k| 4323k| 0 | 0.0 |1330M|4346 | - |5438 | 805 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1377.49/1377.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.49/1377.57 c 1327s| 4350k| 4333k| 0 | 0.0 |1334M|4346 | - |5438 | 824 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1379.89/1379.98 c 1329s| 4360k| 4343k| 0 | 0.0 |1338M|4346 | - |5438 | 832 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1382.28/1382.38 c 1331s| 4370k| 4353k| 0 | 0.0 |1342M|4346 | - |5438 | 827 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1384.68/1384.70 c 1333s| 4380k| 4363k| 0 | 0.0 |1347M|4346 | - |5438 | 815 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1386.98/1387.05 c 1336s| 4390k| 4373k| 0 | 0.0 |1351M|4346 | - |5438 | 835 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1389.40/1389.43 c 1338s| 4400k| 4382k| 0 | 0.0 |1355M|4346 | - |5438 | 825 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1391.69/1391.74 c 1340s| 4410k| 4392k| 0 | 0.0 |1359M|4346 | - |5438 | 838 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1393.99/1394.08 c 1342s| 4420k| 4402k| 0 | 0.0 |1363M|4346 | - |5438 | 840 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1396.29/1396.34 c 1344s| 4430k| 4412k| 0 | 0.0 |1368M|4346 | - |5438 | 844 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1398.59/1398.69 c 1346s| 4440k| 4422k| 0 | 0.0 |1372M|4346 | - |5438 | 858 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1400.89/1400.92 c 1348s| 4450k| 4432k| 0 | 0.0 |1376M|4346 | - |5438 | 878 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1403.09/1403.17 c 1350s| 4460k| 4441k| 0 | 0.0 |1382M|4346 | - |5438 |1012 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1405.29/1405.35 c 1352s| 4470k| 4451k| 0 | 0.0 |1388M|4346 | - |5438 |1202 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1407.88/1407.90 c 1355s| 4480k| 4461k| 0 | 0.0 |1396M|4346 | - |5438 |1560 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1412.59/1412.61 c 1359s| 4490k| 4470k| 0 | 0.0 |1404M|4346 | - |5438 |2525 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1415.89/1415.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.89/1415.94 c 1362s| 4500k| 4480k| 0 | 0.0 |1405M|4346 | - |5438 | 884 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1419.29/1419.35 c 1366s| 4510k| 4490k| 0 | 0.0 |1408M|4346 | - |5438 | 839 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1422.68/1422.78 c 1369s| 4520k| 4500k| 0 | 0.0 |1411M|4346 | - |5438 | 860 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1426.09/1426.15 c 1372s| 4530k| 4510k| 0 | 0.0 |1413M|4346 | - |5438 | 813 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1429.58/1429.62 c 1375s| 4540k| 4520k| 0 | 0.0 |1416M|4346 | - |5438 | 810 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1432.79/1432.83 c 1378s| 4550k| 4530k| 0 | 0.0 |1419M|4346 | - |5438 | 793 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1436.38/1436.46 c 1382s| 4560k| 4540k| 0 | 0.0 |1421M|4346 | - |5438 | 806 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1439.69/1439.78 c 1385s| 4570k| 4549k| 0 | 0.0 |1424M|4346 | - |5438 | 822 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1443.20/1443.29 c 1388s| 4580k| 4559k| 0 | 0.0 |1427M|4346 | - |5438 | 796 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1446.69/1446.71 c 1391s| 4590k| 4569k| 0 | 0.0 |1430M|4346 | - |5438 | 787 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1449.99/1450.09 c 1395s| 4600k| 4579k| 0 | 0.0 |1432M|4346 | - |5438 | 788 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1453.59/1453.65 c 1398s| 4610k| 4589k| 0 | 0.0 |1435M|4346 | - |5438 | 786 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1456.89/1456.98 c 1401s| 4620k| 4599k| 0 | 0.0 |1438M|4346 | - |5438 | 797 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1460.49/1460.50 c 1405s| 4630k| 4609k| 0 | 0.0 |1440M|4346 | - |5438 | 803 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1463.89/1463.95 c 1408s| 4640k| 4619k| 0 | 0.0 |1443M|4346 | - |5438 | 837 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1467.39/1467.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1467.39/1467.47 c 1411s| 4650k| 4629k| 0 | 0.0 |1446M|4346 | - |5438 | 805 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1470.89/1470.94 c 1415s| 4660k| 4639k| 0 | 0.0 |1449M|4346 | - |5438 | 803 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1474.28/1474.35 c 1418s| 4670k| 4649k| 0 | 0.0 |1451M|4346 | - |5438 | 794 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1477.89/1477.94 c 1421s| 4680k| 4659k| 0 | 0.0 |1454M|4346 | - |5438 | 836 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1481.29/1481.36 c 1424s| 4690k| 4669k| 0 | 0.0 |1457M|4346 | - |5438 | 801 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1484.99/1485.02 c 1428s| 4700k| 4679k| 0 | 0.0 |1459M|4346 | - |5438 | 840 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1488.29/1488.36 c 1431s| 4710k| 4689k| 0 | 0.0 |1462M|4346 | - |5438 | 809 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1491.99/1492.09 c 1435s| 4720k| 4699k| 0 | 0.0 |1465M|4346 | - |5438 | 778 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1495.69/1495.72 c 1438s| 4730k| 4709k| 0 | 0.0 |1467M|4346 | - |5438 | 792 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1499.39/1499.47 c 1442s| 4740k| 4719k| 0 | 0.0 |1470M|4346 | - |5438 | 774 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1503.09/1503.19 c 1445s| 4750k| 4729k| 0 | 0.0 |1473M|4346 | - |5438 | 765 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1506.79/1506.84 c 1449s| 4760k| 4739k| 0 | 0.0 |1476M|4346 | - |5438 | 802 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1510.40/1510.47 c 1452s| 4770k| 4749k| 0 | 0.0 |1478M|4346 | - |5438 | 774 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1513.89/1513.95 c 1455s| 4780k| 4759k| 0 | 0.0 |1481M|4346 | - |5438 | 769 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1517.59/1517.65 c 1459s| 4790k| 4769k| 0 | 0.0 |1484M|4346 | - |5438 | 760 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1521.19/1521.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1521.19/1521.24 c 1462s| 4800k| 4779k| 0 | 0.0 |1487M|4346 | - |5438 | 741 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1524.70/1524.74 c 1466s| 4810k| 4789k| 0 | 0.0 |1489M|4346 | - |5438 | 731 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1528.29/1528.32 c 1469s| 4820k| 4799k| 0 | 0.0 |1492M|4346 | - |5438 | 765 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1531.79/1531.89 c 1473s| 4830k| 4809k| 0 | 0.0 |1495M|4346 | - |5438 | 771 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1535.29/1535.38 c 1476s| 4840k| 4819k| 0 | 0.0 |1498M|4346 | - |5438 | 734 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1539.00/1539.02 c 1479s| 4850k| 4829k| 0 | 0.0 |1500M|4346 | - |5438 | 708 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1542.59/1542.66 c 1483s| 4860k| 4839k| 0 | 0.0 |1503M|4346 | - |5438 | 722 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1546.19/1546.23 c 1486s| 4870k| 4849k| 0 | 0.0 |1506M|4346 | - |5438 | 716 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1549.80/1549.84 c 1490s| 4880k| 4859k| 0 | 0.0 |1509M|4346 | - |5438 | 705 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1553.40/1553.45 c 1493s| 4890k| 4869k| 0 | 0.0 |1511M|4346 | - |5438 | 688 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1557.09/1557.16 c 1497s| 4900k| 4879k| 0 | 0.0 |1514M|4346 | - |5438 | 697 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1560.59/1560.68 c 1500s| 4910k| 4889k| 0 | 0.0 |1517M|4346 | - |5438 | 688 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1564.20/1564.24 c 1503s| 4920k| 4899k| 0 | 0.0 |1520M|4346 | - |5438 | 692 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1567.79/1567.84 c 1507s| 4930k| 4909k| 0 | 0.0 |1522M|4346 | - |5438 | 673 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1571.19/1571.26 c 1510s| 4940k| 4919k| 0 | 0.0 |1525M|4346 | - |5438 | 661 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1574.99/1575.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.99/1575.07 c 1514s| 4950k| 4929k| 0 | 0.0 |1528M|4346 | - |5438 | 681 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1578.49/1578.55 c 1517s| 4960k| 4939k| 0 | 0.0 |1531M|4346 | - |5438 | 688 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1582.09/1582.13 c 1520s| 4970k| 4949k| 0 | 0.0 |1533M|4346 | - |5438 | 665 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1585.70/1585.72 c 1524s| 4980k| 4959k| 0 | 0.0 |1536M|4346 | - |5438 | 656 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1589.19/1589.28 c 1527s| 4990k| 4969k| 0 | 0.0 |1539M|4346 | - |5438 | 647 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1592.69/1592.77 c 1530s| 5000k| 4979k| 0 | 0.0 |1541M|4346 | - |5438 | 659 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1596.30/1596.35 c 1534s| 5010k| 4989k| 0 | 0.0 |1544M|4346 | - |5438 | 660 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1600.00/1600.06 c 1537s| 5020k| 4999k| 0 | 0.0 |1547M|4346 | - |5438 | 642 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1603.49/1603.59 c 1541s| 5030k| 5009k| 0 | 0.0 |1549M|4346 | - |5438 | 625 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1607.10/1607.16 c 1544s| 5040k| 5019k| 0 | 0.0 |1552M|4346 | - |5438 | 647 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1610.79/1610.81 c 1548s| 5050k| 5029k| 0 | 0.0 |1555M|4346 | - |5438 | 652 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1614.49/1614.57 c 1551s| 5060k| 5039k| 0 | 0.0 |1558M|4346 | - |5438 | 647 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1617.89/1617.97 c 1554s| 5070k| 5049k| 0 | 0.0 |1560M|4346 | - |5438 | 640 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1621.50/1621.52 c 1558s| 5080k| 5059k| 0 | 0.0 |1563M|4346 | - |5438 | 696 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1625.20/1625.27 c 1561s| 5090k| 5069k| 0 | 0.0 |1566M|4346 | - |5438 | 711 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1628.79/1628.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1628.79/1628.80 c 1565s| 5100k| 5079k| 0 | 0.0 |1568M|4346 | - |5438 | 659 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1632.29/1632.40 c 1568s| 5110k| 5089k| 0 | 0.0 |1571M|4346 | - |5438 | 668 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1636.09/1636.10 c 1572s| 5120k| 5099k| 0 | 0.0 |1574M|4346 | - |5438 | 658 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1639.49/1639.58 c 1575s| 5130k| 5109k| 0 | 0.0 |1576M|4346 | - |5438 | 643 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1643.09/1643.15 c 1578s| 5140k| 5119k| 0 | 0.0 |1579M|4346 | - |5438 | 660 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1646.39/1646.50 c 1581s| 5150k| 5129k| 0 | 0.0 |1582M|4346 | - |5438 | 653 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1650.11/1650.15 c 1585s| 5160k| 5139k| 0 | 0.0 |1584M|4346 | - |5438 | 661 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1653.59/1653.67 c 1588s| 5170k| 5149k| 0 | 0.0 |1587M|4346 | - |5438 | 667 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1657.20/1657.24 c 1592s| 5180k| 5159k| 0 | 0.0 |1590M|4346 | - |5438 | 654 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1660.79/1660.81 c 1595s| 5190k| 5169k| 0 | 0.0 |1593M|4346 | - |5438 | 716 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1664.30/1664.35 c 1598s| 5200k| 5179k| 0 | 0.0 |1595M|4346 | - |5438 | 694 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1667.99/1668.04 c 1602s| 5210k| 5189k| 0 | 0.0 |1598M|4346 | - |5438 | 695 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1671.40/1671.42 c 1605s| 5220k| 5198k| 0 | 0.0 |1601M|4346 | - |5438 | 709 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1675.10/1675.15 c 1609s| 5230k| 5208k| 0 | 0.0 |1603M|4346 | - |5438 | 726 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1678.49/1678.56 c 1612s| 5240k| 5218k| 0 | 0.0 |1606M|4346 | - |5438 | 696 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | -- | Inf
1682.20/1682.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1682.20/1682.28 c 1615s| 5250k| 5228k| 0 | 0.0 |1609M|4346 | - |5438 | 707 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1685.79/1685.86 c 1619s| 5260k| 5238k| 0 | 0.0 |1612M|4346 | - |5438 | 712 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1689.30/1689.39 c 1622s| 5270k| 5248k| 0 | 0.0 |1614M|4346 | - |5438 | 690 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1692.90/1692.99 c 1626s| 5280k| 5258k| 0 | 0.0 |1617M|4346 | - |5438 | 700 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1696.40/1696.49 c 1629s| 5290k| 5268k| 0 | 0.0 |1620M|4346 | - |5438 | 705 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1700.19/1700.20 c 1633s| 5300k| 5278k| 0 | 0.0 |1622M|4346 | - |5438 | 724 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1703.49/1703.59 c 1636s| 5310k| 5288k| 0 | 0.0 |1625M|4346 | - |5438 | 695 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1707.20/1707.25 c 1639s| 5320k| 5298k| 0 | 0.0 |1628M|4346 | - |5438 | 706 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1710.89/1710.96 c 1643s| 5330k| 5308k| 0 | 0.0 |1631M|4346 | - |5438 | 728 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1714.49/1714.59 c 1646s| 5340k| 5318k| 0 | 0.0 |1633M|4346 | - |5438 | 706 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1718.09/1718.13 c 1650s| 5350k| 5328k| 0 | 0.0 |1636M|4346 | - |5438 | 705 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1721.60/1721.66 c 1653s| 5360k| 5338k| 0 | 0.0 |1639M|4346 | - |5438 | 711 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1725.30/1725.36 c 1656s| 5370k| 5348k| 0 | 0.0 |1641M|4346 | - |5438 | 703 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1728.70/1728.76 c 1660s| 5380k| 5358k| 0 | 0.0 |1644M|4346 | - |5438 | 704 | 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | -- | Inf
1732.51/1732.50 c 1663s| 5390k| 5368k| 0 | 0.0 |1647M|4346 | - |5438 | 718 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1736.00/1736.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1736.00/1736.07 c 1667s| 5400k| 5378k| 0 | 0.0 |1650M|4346 | - |5438 | 749 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1739.80/1739.83 c 1670s| 5410k| 5388k| 0 | 0.0 |1652M|4346 | - |5438 | 748 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1743.39/1743.41 c 1674s| 5420k| 5398k| 0 | 0.0 |1655M|4346 | - |5438 | 748 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1746.91/1746.93 c 1677s| 5430k| 5408k| 0 | 0.0 |1658M|4346 | - |5438 | 745 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1750.70/1750.71 c 1681s| 5440k| 5418k| 0 | 0.0 |1660M|4346 | - |5438 | 790 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1754.20/1754.23 c 1684s| 5450k| 5428k| 0 | 0.0 |1663M|4346 | - |5438 | 752 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1758.00/1758.09 c 1688s| 5460k| 5438k| 0 | 0.0 |1666M|4346 | - |5438 | 774 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1761.50/1761.58 c 1691s| 5470k| 5448k| 0 | 0.0 |1668M|4346 | - |5438 | 738 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1765.29/1765.30 c 1694s| 5480k| 5458k| 0 | 0.0 |1671M|4346 | - |5438 | 760 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1768.60/1768.65 c 1698s| 5490k| 5468k| 0 | 0.0 |1674M|4346 | - |5438 | 733 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1772.40/1772.42 c 1701s| 5500k| 5478k| 0 | 0.0 |1677M|4346 | - |5438 | 740 | 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | -- | Inf
1775.80/1775.87 c 1705s| 5510k| 5488k| 0 | 0.0 |1679M|4346 | - |5438 | 751 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1779.50/1779.53 c 1708s| 5520k| 5498k| 0 | 0.0 |1682M|4346 | - |5438 | 770 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1782.90/1782.96 c 1711s| 5530k| 5508k| 0 | 0.0 |1685M|4346 | - |5438 | 800 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1786.60/1786.66 c 1715s| 5540k| 5518k| 0 | 0.0 |1687M|4346 | - |5438 | 791 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1790.10/1790.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1790.10/1790.15 c 1718s| 5550k| 5528k| 0 | 0.0 |1690M|4346 | - |5438 | 822 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1793.70/1793.74 c 1722s| 5560k| 5538k| 0 | 0.0 |1693M|4346 | - |5438 | 803 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1797.30/1797.39 c 1725s| 5570k| 5548k| 0 | 0.0 |1696M|4346 | - |5438 | 800 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | -- | Inf
1800.00/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.00 c
1800.00/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.00 c Solving Time (sec) : 1727.50
1800.00/1800.00 c Solving Nodes : 5577659
1800.00/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.00 c Dual Bound : +0.00000000000000e+00
1800.00/1800.00 c Gap : infinite
1800.00/1800.00 s UNKNOWN
1800.00/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.00 c Solving Time : 1727.50
1800.00/1800.00 c Original Problem :
1800.00/1800.00 c Problem name : HOME/instance-2693828-1277894820.wbo
1800.00/1800.00 c Variables : 5438 (5344 binary, 0 integer, 0 implicit integer, 94 continuous)
1800.00/1800.00 c Constraints : 240 initial, 240 maximal
1800.00/1800.00 c Presolved Problem :
1800.00/1800.00 c Problem name : t_HOME/instance-2693828-1277894820.wbo
1800.00/1800.00 c Variables : 5438 (5344 binary, 0 integer, 0 implicit integer, 94 continuous)
1800.00/1800.00 c Constraints : 239 initial, 2686 maximal
1800.00/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.00 c probing : 0.04 0 0 0 0 0 0 0 0
1800.00/1800.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.00 c linear : 0.01 0 0 0 94 0 1 0 0
1800.00/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.00 c root node : - 0 - - 0 - - - -
1800.00/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.00 c integral : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.00 c indicator : 94 0 4596 0 4337 0 150 0 0 0
1800.00/1800.00 c setppc : 23 0 5717071 0 5464151 7887 5188471 0 0 0
1800.00/1800.00 c linear : 94 0 5837564 0 5568124 3309 1163950 0 0 0
1800.00/1800.00 c logicor : 28+ 0 598352 0 5568124 643 131625 0 0 0
1800.00/1800.00 c countsols : 0 0 0 0 5568124 0 0 0 0 0
1800.00/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.00 c integral : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.00 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.00 c setppc : 132.09 0.00 29.41 0.00 102.68
1800.00/1800.00 c linear : 93.18 0.00 92.10 0.00 1.08
1800.00/1800.00 c logicor : 116.94 0.00 9.47 0.00 107.47
1800.00/1800.00 c countsols : 0.40 0.00 0.00 0.00 0.40
1800.00/1800.00 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.00 c vbounds : 0.59 2 0 0
1800.00/1800.00 c rootredcost : 0.53 0 0 0
1800.00/1800.00 c pseudoobj : 14.81 5845251 0 0
1800.00/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.00 c propagation : 91.66 11839 11839 242540 663.4 177386 64.3 -
1800.00/1800.00 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.00 c applied globally : - - - 115422 89.1 - - -
1800.00/1800.00 c applied locally : - - - 138 637.7 - - -
1800.00/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.00 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.00/1800.00 c redcost : 0.00 0 0 0 0 0
1800.00/1800.00 c impliedbounds : 0.00 0 0 0 0 0
1800.00/1800.00 c intobj : 0.00 0 0 0 0 0
1800.00/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.00 c gomory : 0.00 0 0 0 0 0
1800.00/1800.00 c strongcg : 0.00 0 0 0 0 0
1800.00/1800.00 c cmir : 0.00 0 0 0 0 0
1800.00/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.00 c clique : 0.00 0 0 0 0 0
1800.00/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.00 c mcf : 0.00 0 0 0 0 0
1800.00/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.00 c Pricers : Time Calls Vars
1800.00/1800.00 c problem variables: 0.00 0 0
1800.00/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.00 c relpscost : 0.00 0 0 0 0 0 0
1800.00/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.00 c inference : 1305.28 5568124 0 0 0 0 11136248
1800.00/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.00 c random : 0.00 0 0 0 0 0 0
1800.00/1800.00 c Primal Heuristics : Time Calls Found
1800.00/1800.00 c LP solutions : 0.00 - 0
1800.00/1800.00 c pseudo solutions : 0.00 - 0
1800.00/1800.00 c oneopt : 0.43 0 0
1800.00/1800.00 c trivial : 0.01 2 0
1800.00/1800.00 c simplerounding : 0.00 0 0
1800.00/1800.00 c zirounding : 0.00 0 0
1800.00/1800.00 c rounding : 0.00 0 0
1800.00/1800.00 c shifting : 0.00 0 0
1800.00/1800.00 c intshifting : 0.00 0 0
1800.00/1800.00 c twoopt : 0.00 0 0
1800.00/1800.00 c fixandinfer : 0.00 0 0
1800.00/1800.00 c feaspump : 0.00 0 0
1800.00/1800.00 c coefdiving : 0.00 0 0
1800.00/1800.00 c pscostdiving : 0.00 0 0
1800.00/1800.00 c fracdiving : 0.00 0 0
1800.00/1800.00 c veclendiving : 0.00 0 0
1800.00/1800.00 c intdiving : 0.00 0 0
1800.00/1800.00 c actconsdiving : 0.00 0 0
1800.00/1800.00 c objpscostdiving : 0.00 0 0
1800.00/1800.00 c rootsoldiving : 0.00 0 0
1800.00/1800.00 c linesearchdiving : 0.00 0 0
1800.00/1800.00 c guideddiving : 0.00 0 0
1800.00/1800.00 c octane : 0.00 0 0
1800.00/1800.00 c rens : 0.00 0 0
1800.00/1800.00 c rins : 0.00 0 0
1800.00/1800.00 c localbranching : 0.00 0 0
1800.00/1800.00 c mutation : 0.00 0 0
1800.00/1800.00 c crossover : 0.00 0 0
1800.00/1800.00 c dins : 0.00 0 0
1800.00/1800.00 c undercover : 0.00 0 0
1800.00/1800.00 c nlp : 0.53 0 0
1800.00/1800.00 c trysol : 0.43 1 0
1800.00/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.00 c dual LP : 0.00 0 0 0.00 -
1800.00/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.00 c strong branching : 0.00 0 0 0.00 -
1800.00/1800.00 c (at root node) : - 0 0 0.00 -
1800.00/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.00 c B&B Tree :
1800.00/1800.00 c number of runs : 1
1800.00/1800.00 c nodes : 5577659
1800.00/1800.00 c nodes (total) : 5577659
1800.00/1800.00 c nodes left : 5556097
1800.00/1800.00 c max depth : 4346
1800.00/1800.00 c max depth (total): 4346
1800.00/1800.00 c backtracks : 4847 (0.1%)
1800.00/1800.00 c delayed cutoffs : 2493
1800.00/1800.00 c repropagations : 14847 (343148 domain reductions, 2304 cutoffs)
1800.00/1800.00 c avg switch length: 2.22
1800.00/1800.00 c switching time : 25.42
1800.00/1800.00 c Solution :
1800.00/1800.00 c Solutions found : 0 (0 improvements)
1800.00/1800.00 c Primal Bound : -
1800.00/1800.00 c Dual Bound : +0.00000000000000e+00
1800.00/1800.00 c Gap : infinite
1800.00/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.00/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-2693828-1277894820/watcher-2693828-1277894820 -o /tmp/evaluation-result-2693828-1277894820/solver-2693828-1277894820 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693828-1277894820.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: 2.00 2.00 2.00 4/178 14330
/proc/meminfo: memFree=30491824/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=9176 CPUtime=0
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 1726 0 0 0 0 0 0 0 25 0 1 0 130777484 9396224 1649 4089446400 4194304 7136930 140734447392880 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14330/statm: 2294 1666 275 719 0 1573 0
[startup+0.104412 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14330
/proc/meminfo: memFree=30491824/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=25244 CPUtime=0.09
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 7277 0 0 0 9 0 0 0 25 0 1 0 130777484 25849856 5560 4089446400 4194304 7136930 140734447392880 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 6311 5560 390 719 0 5590 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25244
[startup+0.200395 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14330
/proc/meminfo: memFree=30491824/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=25760 CPUtime=0.19
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 7409 0 0 0 19 0 0 0 25 0 1 0 130777484 26378240 5692 4089446400 4194304 7136930 140734447392880 18446744073709551615 4407837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 6440 5692 390 719 0 5719 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25760
[startup+0.300376 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14330
/proc/meminfo: memFree=30491824/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=25904 CPUtime=0.29
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 7417 0 0 0 28 1 0 0 25 0 1 0 130777484 26525696 5700 4089446400 4194304 7136930 140734447392880 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 6476 5700 390 719 0 5755 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25904
[startup+0.700303 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 14330
/proc/meminfo: memFree=30491824/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=26636 CPUtime=0.69
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 7604 0 0 0 68 1 0 0 25 0 1 0 130777484 27275264 5887 4089446400 4194304 7136930 140734447392880 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 6659 5887 390 719 0 5938 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26636
[startup+1.50016 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14331
/proc/meminfo: memFree=30467856/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=28584 CPUtime=1.49
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 8102 0 0 0 146 3 0 0 25 0 1 0 130777484 29270016 6385 4089446400 4194304 7136930 140734447392880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 7146 6385 394 719 0 6425 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28584
[startup+3.10086 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14331
/proc/meminfo: memFree=30465996/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=30152 CPUtime=3.09
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 8501 0 0 0 304 5 0 0 25 0 1 0 130777484 30875648 6784 4089446400 4194304 7136930 140734447392880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 7538 6784 394 719 0 6817 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30152
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14331
/proc/meminfo: memFree=30459052/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=35984 CPUtime=6.3
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 10011 0 0 0 618 12 0 0 25 0 1 0 130777484 36847616 8294 4089446400 4194304 7136930 140734447392880 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 8996 8294 394 719 0 8275 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 35984
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14331
/proc/meminfo: memFree=30449532/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=43088 CPUtime=12.69
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 11867 0 0 0 1247 22 0 0 25 0 1 0 130777484 44122112 10150 4089446400 4194304 7136930 140734447392880 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 10772 10150 394 719 0 10051 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43088
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14332
/proc/meminfo: memFree=30429700/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=57076 CPUtime=25.49
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 14994 0 0 0 2506 43 0 0 25 0 1 0 130777484 58445824 13277 4089446400 4194304 7136930 140734447392880 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 14269 13277 394 719 0 13548 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 57076
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14332
/proc/meminfo: memFree=30395876/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=79224 CPUtime=51.1
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 20776 0 0 0 5027 83 0 0 25 0 1 0 130777484 81125376 19059 4089446400 4194304 7136930 140734447392880 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 19806 19059 394 719 0 19085 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 79224
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14334
/proc/meminfo: memFree=30326392/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=128976 CPUtime=102.3
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 32664 0 0 0 10068 162 0 0 25 0 1 0 130777484 132071424 30947 4089446400 4194304 7136930 140734447392880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 32244 30947 394 719 0 31523 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 128976
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14335
/proc/meminfo: memFree=30249200/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=177516 CPUtime=162.29
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 45342 0 0 0 15970 259 0 0 25 0 1 0 130777484 181776384 43625 4089446400 4194304 7136930 140734447392880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 44379 43625 394 719 0 43658 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 177516
[startup+222.306 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14337
/proc/meminfo: memFree=30172640/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=236412 CPUtime=222.3
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 58506 0 0 0 21879 351 0 0 25 0 1 0 130777484 242085888 56789 4089446400 4194304 7136930 140734447392880 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 59103 56789 394 719 0 58382 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 236412
[startup+282.301 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 14338
/proc/meminfo: memFree=30095640/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=285336 CPUtime=282.3
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 71329 0 0 0 27789 441 0 0 25 0 1 0 130777484 292184064 69612 4089446400 4194304 7136930 140734447392880 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 71334 69612 394 719 0 70613 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 285336
[startup+342.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 14340
/proc/meminfo: memFree=30019188/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=334532 CPUtime=342.3
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 84130 0 0 0 33696 534 0 0 25 0 1 0 130777484 342560768 82413 4089446400 4194304 7136930 140734447392880 18446744073709551615 4642962 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 83633 82413 394 719 0 82912 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 334532
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14342
/proc/meminfo: memFree=29938156/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=402712 CPUtime=402.3
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 97644 0 0 0 39599 631 0 0 25 0 1 0 130777484 412377088 95927 4089446400 4194304 7136930 140734447392880 18446744073709551615 4436399 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 100678 95927 394 719 0 99957 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 402712
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 14371
/proc/meminfo: memFree=30648188/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=454972 CPUtime=462.3
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 111346 0 0 0 45497 733 0 0 25 0 1 0 130777484 465891328 109629 4089446400 4194304 7136930 140734447392880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14330/statm: 113743 109629 394 719 0 113022 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 454972
[startup+522.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 14508
/proc/meminfo: memFree=30594016/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=506396 CPUtime=522.27
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 124876 0 0 0 51261 966 0 0 25 0 1 0 130777484 518549504 123159 4089446400 4194304 7136930 140734447392880 18446744073709551615 4643174 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14330/statm: 126599 123159 394 719 0 125878 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 506396
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14509
/proc/meminfo: memFree=30538548/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=559028 CPUtime=582.26
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 138712 0 0 0 57153 1073 0 0 25 0 1 0 130777484 572444672 136995 4089446400 4194304 7136930 140734447392880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14330/statm: 139757 136995 394 719 0 139036 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 559028
[startup+642.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 14511
/proc/meminfo: memFree=30482688/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=612172 CPUtime=642.27
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 152705 0 0 0 63048 1179 0 0 25 0 1 0 130777484 626864128 150988 4089446400 4194304 7136930 140734447392880 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/14330/statm: 153043 150988 394 719 0 152322 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 612172
[startup+702.3 s]
################
# More data... #
################
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 270702 0 0 0 102938 3290 0 0 25 0 1 0 130777484 1124061184 268985 4089446400 4194304 7136930 140734447392880 18446744073709551615 4407949 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14330/statm: 274429 268985 394 719 0 273708 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 1097716
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14605
/proc/meminfo: memFree=29629008/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1162472 CPUtime=1122.28
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 287489 0 0 0 108582 3646 0 0 25 0 1 0 130777484 1190371328 285772 4089446400 4194304 7136930 140734447392880 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14330/statm: 290618 285772 394 719 0 289897 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 1162472
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14606
/proc/meminfo: memFree=29559392/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1229496 CPUtime=1182.28
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 304414 0 0 0 114306 3922 0 0 25 0 1 0 130777484 1259003904 302697 4089446400 4194304 7136930 140734447392880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14330/statm: 307374 302697 394 719 0 306653 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 1229496
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14608
/proc/meminfo: memFree=29475756/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1296052 CPUtime=1242.28
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 321404 0 0 0 120000 4228 0 0 25 0 1 0 130777484 1327157248 319687 4089446400 4194304 7136930 140734447392880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14330/statm: 324013 319687 394 719 0 323292 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 1296052
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14610
/proc/meminfo: memFree=29393620/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1376200 CPUtime=1302.28
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 341578 0 0 0 125655 4573 0 0 25 0 1 0 130777484 1409228800 339861 4089446400 4194304 7136930 140734447392880 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14330/statm: 344050 339861 394 719 0 343329 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 1376200
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/197 14611
/proc/meminfo: memFree=29303372/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1527012 CPUtime=1362.29
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 363255 0 0 0 131271 4958 0 0 25 0 1 0 130777484 1563660288 361538 4089446400 4194304 7136930 140734447392880 18446744073709551615 4641936 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14330/statm: 381753 361538 394 719 0 381032 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 1527012
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/197 14613
/proc/meminfo: memFree=29192080/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1634856 CPUtime=1422.29
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 390489 0 0 0 136838 5391 0 0 25 0 1 0 130777484 1674092544 388772 4089446400 4194304 7136930 140734447392880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14330/statm: 408714 388772 394 719 0 407993 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 1634856
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14614
/proc/meminfo: memFree=29127168/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1683660 CPUtime=1482.29
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 403251 0 0 0 142533 5696 0 0 25 0 1 0 130777484 1724067840 401534 4089446400 4194304 7136930 140734447392880 18446744073709551615 4642962 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14330/statm: 420915 401534 394 719 0 420194 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 1683660
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14616
/proc/meminfo: memFree=29070328/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1730568 CPUtime=1542.3
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 415543 0 0 0 148243 5987 0 0 25 0 1 0 130777484 1772101632 413826 4089446400 4194304 7136930 140734447392880 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14330/statm: 432642 413826 394 719 0 431921 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 1730568
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14618
/proc/meminfo: memFree=29021052/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1776272 CPUtime=1602.29
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 427638 0 0 0 153946 6283 0 0 25 0 1 0 130777484 1818902528 425921 4089446400 4194304 7136930 140734447392880 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14330/statm: 444068 425921 394 719 0 443347 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 1776272
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14619
/proc/meminfo: memFree=28947348/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1821556 CPUtime=1662.3
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 439594 0 0 0 159648 6582 0 0 25 0 1 0 130777484 1865273344 437877 4089446400 4194304 7136930 140734447392880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14330/statm: 455389 437877 394 719 0 454668 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 1821556
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14621
/proc/meminfo: memFree=28890492/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1864348 CPUtime=1722.29
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 450910 0 0 0 165358 6871 0 0 25 0 1 0 130777484 1909092352 449193 4089446400 4194304 7136930 140734447392880 18446744073709551615 4436363 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14330/statm: 466087 449193 394 719 0 465366 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 1864348
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14622
/proc/meminfo: memFree=28831540/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1910780 CPUtime=1782.3
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 463183 0 0 0 171070 7160 0 0 25 0 1 0 130777484 1956638720 461466 4089446400 4194304 7136930 140734447392880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14330/statm: 477695 461466 394 719 0 476974 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 1910780
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 14623
/proc/meminfo: memFree=28815156/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1924236 CPUtime=1800
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 466766 0 0 0 172751 7249 0 0 25 0 1 0 130777484 1970417664 465049 4089446400 4194304 7136930 140734447392880 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/14330/statm: 481059 465049 394 719 0 480338 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1924236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14330
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/198 14624
/proc/meminfo: memFree=28815268/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1924236 CPUtime=1800.71
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 466771 0 0 0 172821 7250 0 0 18 0 1 0 130777484 1970417664 465054 4089446400 4194304 7136930 140734447392880 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14330/statm: 481059 465054 399 719 0 480338 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 1924236
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/198 14624
/proc/meminfo: memFree=28815268/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1924236 CPUtime=1801.5
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 466771 0 0 0 172900 7250 0 0 20 0 1 0 130777484 1970417664 465054 4089446400 4194304 7136930 140734447392880 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14330/statm: 481059 465054 399 719 0 480338 0
Current children cumulated CPU time (s) 1801.5
Current children cumulated vsize (KiB) 1924236
[startup+1801.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/198 14624
/proc/meminfo: memFree=28815268/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1924236 CPUtime=1801.91
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 466771 0 0 0 172941 7250 0 0 20 0 1 0 130777484 1970417664 465054 4089446400 4194304 7136930 140734447392880 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14330/statm: 481059 465054 399 719 0 480338 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 1924236
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/198 14624
/proc/meminfo: memFree=28815268/32951124 swapFree=67111528/67111528
[pid=14330] ppid=14328 vsize=1924236 CPUtime=1802
/proc/14330/stat : 14330 (pbscip.linux.x8) R 14328 14330 12511 0 -1 4202496 466771 0 0 0 172950 7250 0 0 21 0 1 0 130777484 1970417664 465054 4089446400 4194304 7136930 140734447392880 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/14330/statm: 481059 465054 399 719 0 480338 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 1924236
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.07
CPU time (s): 1802.08
CPU user time (s): 1729.52
CPU system time (s): 72.565
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 1924236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1729.52
system time used= 72.565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466771
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= 4
involuntary context switches= 2877
runsolver used 2.52961 second user time and 5.74013 second system time
The end
Begin job on node139 at 2010-06-30 12:47:00
IDJOB=2693828
IDBENCH=78742
IDSOLVER=1206
FILE ID=node139/2693828-1277894820
PBS_JOBID= 11197076
Free space on /tmp= 74120 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-75-70--soft-33-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-2693828-1277894820/watcher-2693828-1277894820 -o /tmp/evaluation-result-2693828-1277894820/solver-2693828-1277894820 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693828-1277894820.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bbaf7e04a2e14186c5cc5b74d1689780
RANDOM SEED=928497789
node139.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.840
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.68
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.840
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.840
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
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.840
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.78
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.840
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.840
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.82
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.840
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30492352 kB
Buffers: 181144 kB
Cached: 1469728 kB
SwapCached: 0 kB
Active: 1322480 kB
Inactive: 987508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30492352 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3492 kB
Writeback: 0 kB
AnonPages: 659056 kB
Mapped: 15988 kB
Slab: 83188 kB
PageTables: 6428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 815556 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= 74120 MiB
End job on node139 at 2010-06-30 13:17:02