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-2693672-1277886294.wbo>
0.01/0.01 c original problem has 5242 variables (5171 bin, 0 int, 0 impl, 71 cont) and 274 constraints
0.01/0.01 c problem read
0.01/0.01 c presolving settings loaded
0.01/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.01/0.03 c presolving:
0.01/0.03 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 71 impls, 63 clqs
0.01/0.03 c (round 2) 0 del vars, 1 del conss, 71 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 71 impls, 63 clqs
0.01/0.04 c (round 3) 0 del vars, 1 del conss, 71 chg bounds, 0 chg sides, 0 chg coeffs, 68 upgd conss, 71 impls, 63 clqs
0.01/0.04 c (round 4) 0 del vars, 1 del conss, 71 chg bounds, 0 chg sides, 0 chg coeffs, 131 upgd conss, 71 impls, 63 clqs
0.01/0.07 c (0.1s) probing: 101/5171 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.07 c presolving (5 rounds):
0.01/0.07 c 0 deleted vars, 1 deleted constraints, 71 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.07 c 71 implications, 63 cliques
0.01/0.07 c presolved problem has 5242 variables (5171 bin, 0 int, 0 impl, 71 cont) and 273 constraints
0.01/0.07 c 71 constraints of type <indicator>
0.01/0.07 c 63 constraints of type <setppc>
0.01/0.07 c 71 constraints of type <linear>
0.01/0.07 c 68 constraints of type <logicor>
0.01/0.07 c transformed objective value is always integral (scale: 1)
0.01/0.07 c Presolving Time: 0.05
0.01/0.07 c - non default parameters ----------------------------------------------------------------------
0.01/0.07 c # SCIP version 1.2.1.2
0.01/0.07 c
0.01/0.07 c # frequency for displaying node information lines
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.07 c display/freq = 10000
0.01/0.07 c
0.01/0.07 c # maximal time in seconds to run
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/time = 1799.99
0.01/0.07 c
0.01/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/memory = 3420
0.01/0.07 c
0.01/0.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.07 c lp/solvefreq = -1
0.01/0.07 c
0.01/0.07 c # should presolving try to simplify inequalities
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/linear/simplifyinequalities = TRUE
0.01/0.07 c
0.01/0.07 c # should presolving try to simplify knapsacks
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.07 c
0.01/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.07 c separating/rapidlearning/freq = 0
0.01/0.07 c
0.01/0.07 c -----------------------------------------------------------------------------------------------
0.01/0.07 c start solving
0.01/0.07 c
0.01/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.07 c 0.1s| 1 | 2 | 0 | - |9736k| 0 | - |5242 | 273 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.99/4.06 c 4.0s| 10000 | 9982 | 0 | 0.0 | 13M|3473 | - |5242 | 335 | 0 | 0 | 0 | 87 | 0 | 0.000000e+00 | -- | Inf
8.59/8.67 c 8.5s| 20000 | 19953 | 0 | 0.0 | 16M|3473 | - |5242 | 370 | 0 | 0 | 0 | 247 | 0 | 0.000000e+00 | -- | Inf
13.29/13.40 c 13.2s| 30000 | 29927 | 0 | 0.0 | 19M|3473 | - |5242 | 360 | 0 | 0 | 0 | 397 | 0 | 0.000000e+00 | -- | Inf
18.19/18.25 c 18.0s| 40000 | 39897 | 0 | 0.0 | 22M|3473 | - |5242 | 413 | 0 | 0 | 0 | 557 | 0 | 0.000000e+00 | -- | Inf
23.10/23.13 c 22.8s| 50000 | 49876 | 0 | 0.0 | 25M|3473 | - |5242 | 404 | 0 | 0 | 0 | 684 | 0 | 0.000000e+00 | -- | Inf
27.89/27.92 c 27.6s| 60000 | 59850 | 0 | 0.0 | 28M|3473 | - |5242 | 454 | 0 | 0 | 0 | 824 | 0 | 0.000000e+00 | -- | Inf
32.59/32.69 c 32.2s| 70000 | 69826 | 0 | 0.0 | 31M|3473 | - |5242 | 481 | 0 | 0 | 0 | 957 | 0 | 0.000000e+00 | -- | Inf
37.40/37.49 c 37.0s| 80000 | 79797 | 0 | 0.0 | 33M|3473 | - |5242 | 521 | 0 | 0 | 0 |1124 | 0 | 0.000000e+00 | -- | Inf
42.29/42.34 c 41.8s| 90000 | 89771 | 0 | 0.0 | 36M|3473 | - |5242 | 552 | 0 | 0 | 0 |1264 | 0 | 0.000000e+00 | -- | Inf
47.09/47.15 c 46.5s|100000 | 99748 | 0 | 0.0 | 39M|3473 | - |5242 | 539 | 0 | 0 | 0 |1402 | 0 | 0.000000e+00 | -- | Inf
51.89/51.97 c 51.3s|110000 |109721 | 0 | 0.0 | 42M|3473 | - |5242 | 568 | 0 | 0 | 0 |1554 | 0 | 0.000000e+00 | -- | Inf
56.79/56.85 c 56.1s|120000 |119683 | 0 | 0.0 | 45M|3473 | - |5242 | 601 | 0 | 0 | 0 |1773 | 0 | 0.000000e+00 | -- | Inf
61.50/61.58 c 60.8s|130000 |129662 | 0 | 0.0 | 47M|3473 | - |5242 | 549 | 0 | 0 | 0 |1902 | 0 | 0.000000e+00 | -- | Inf
66.29/66.39 c 65.5s|140000 |139629 | 0 | 0.0 | 50M|3473 | - |5242 | 629 | 0 | 0 | 0 |2112 | 0 | 0.000000e+00 | -- | Inf
71.09/71.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.09/71.16 c 70.2s|150000 |149609 | 0 | 0.0 | 53M|3473 | - |5242 | 603 | 0 | 0 | 0 |2231 | 0 | 0.000000e+00 | -- | Inf
75.89/75.93 c 75.0s|160000 |159589 | 0 | 0.0 | 56M|3473 | - |5242 | 599 | 0 | 0 | 0 |2351 | 0 | 0.000000e+00 | -- | Inf
80.69/80.77 c 79.7s|170000 |169568 | 0 | 0.0 | 58M|3473 | - |5242 | 592 | 0 | 0 | 0 |2471 | 0 | 0.000000e+00 | -- | Inf
85.59/85.65 c 84.6s|180000 |179538 | 0 | 0.0 | 61M|3473 | - |5242 | 620 | 0 | 0 | 0 |2632 | 0 | 0.000000e+00 | -- | Inf
90.40/90.42 c 89.3s|190000 |189513 | 0 | 0.0 | 64M|3473 | - |5242 | 627 | 0 | 0 | 0 |2775 | 0 | 0.000000e+00 | -- | Inf
95.19/95.22 c 94.0s|200000 |199486 | 0 | 0.0 | 67M|3473 | - |5242 | 674 | 0 | 0 | 0 |2935 | 0 | 0.000000e+00 | -- | Inf
100.09/100.12 c 98.9s|210000 |209451 | 0 | 0.0 | 70M|3473 | - |5242 | 734 | 0 | 0 | 0 |3139 | 0 | 0.000000e+00 | -- | Inf
104.90/104.94 c 104s|220000 |219419 | 0 | 0.0 | 72M|3473 | - |5242 | 673 | 0 | 0 | 0 |3292 | 0 | 0.000000e+00 | -- | Inf
109.69/109.71 c 108s|230000 |229391 | 0 | 0.0 | 75M|3473 | - |5242 | 691 | 0 | 0 | 0 |3451 | 0 | 0.000000e+00 | -- | Inf
114.49/114.51 c 113s|240000 |239359 | 0 | 0.0 | 78M|3473 | - |5242 | 719 | 0 | 0 | 0 |3631 | 0 | 0.000000e+00 | -- | Inf
119.29/119.37 c 118s|250000 |249333 | 0 | 0.0 | 81M|3473 | - |5242 | 754 | 0 | 0 | 0 |3791 | 0 | 0.000000e+00 | -- | Inf
124.09/124.18 c 123s|260000 |259308 | 0 | 0.0 | 83M|3473 | - |5242 | 741 | 0 | 0 | 0 |3932 | 0 | 0.000000e+00 | -- | Inf
128.89/128.99 c 127s|270000 |269280 | 0 | 0.0 | 86M|3473 | - |5242 | 736 | 0 | 0 | 0 |4100 | 0 | 0.000000e+00 | -- | Inf
133.79/133.83 c 132s|280000 |279246 | 0 | 0.0 | 89M|3473 | - |5242 | 762 | 0 | 0 | 0 |4290 | 0 | 0.000000e+00 | -- | Inf
138.60/138.64 c 137s|290000 |289215 | 0 | 0.0 | 92M|3473 | - |5242 | 774 | 0 | 0 | 0 |4470 | 0 | 0.000000e+00 | -- | Inf
143.39/143.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.39/143.40 c 142s|300000 |299189 | 0 | 0.0 | 94M|3473 | - |5242 | 717 | 0 | 0 | 0 |4620 | 0 | 0.000000e+00 | -- | Inf
148.09/148.18 c 146s|310000 |309162 | 0 | 0.0 | 97M|3473 | - |5242 | 726 | 0 | 0 | 0 |4767 | 0 | 0.000000e+00 | -- | Inf
152.90/152.96 c 151s|320000 |319134 | 0 | 0.0 | 100M|3473 | - |5242 | 717 | 0 | 0 | 0 |4926 | 0 | 0.000000e+00 | -- | Inf
157.69/157.72 c 156s|330000 |329114 | 0 | 0.0 | 103M|3473 | - |5242 | 704 | 0 | 0 | 0 |5043 | 0 | 0.000000e+00 | -- | Inf
162.40/162.41 c 160s|340000 |339094 | 0 | 0.0 | 105M|3473 | - |5242 | 700 | 0 | 0 | 0 |5153 | 0 | 0.000000e+00 | -- | Inf
167.10/167.16 c 165s|350000 |349068 | 0 | 0.0 | 108M|3473 | - |5242 | 738 | 0 | 0 | 0 |5303 | 0 | 0.000000e+00 | -- | Inf
171.89/171.91 c 170s|360000 |359047 | 0 | 0.0 | 111M|3473 | - |5242 | 720 | 0 | 0 | 0 |5413 | 0 | 0.000000e+00 | -- | Inf
176.69/176.72 c 174s|370000 |369015 | 0 | 0.0 | 114M|3473 | - |5242 | 750 | 0 | 0 | 0 |5600 | 0 | 0.000000e+00 | -- | Inf
181.40/181.47 c 179s|380000 |378999 | 0 | 0.0 | 116M|3473 | - |5242 | 717 | 0 | 0 | 0 |5700 | 0 | 0.000000e+00 | -- | Inf
186.20/186.20 c 184s|390000 |388971 | 0 | 0.0 | 119M|3473 | - |5242 | 759 | 0 | 0 | 0 |5860 | 0 | 0.000000e+00 | -- | Inf
190.90/190.95 c 189s|400000 |398942 | 0 | 0.0 | 122M|3473 | - |5242 | 758 | 0 | 0 | 0 |6030 | 0 | 0.000000e+00 | -- | Inf
195.70/195.71 c 193s|410000 |408917 | 0 | 0.0 | 125M|3473 | - |5242 | 767 | 0 | 0 | 0 |6163 | 0 | 0.000000e+00 | -- | Inf
200.39/200.42 c 198s|420000 |418878 | 0 | 0.0 | 127M|3473 | - |5242 | 784 | 0 | 0 | 0 |6373 | 0 | 0.000000e+00 | -- | Inf
205.10/205.14 c 203s|430000 |428851 | 0 | 0.0 | 130M|3473 | - |5242 | 765 | 0 | 0 | 0 |6523 | 0 | 0.000000e+00 | -- | Inf
209.80/209.87 c 207s|440000 |438829 | 0 | 0.0 | 133M|3473 | - |5242 | 768 | 0 | 0 | 0 |6653 | 0 | 0.000000e+00 | -- | Inf
214.50/214.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.50/214.54 c 212s|450000 |448802 | 0 | 0.0 | 136M|3473 | - |5242 | 762 | 0 | 0 | 0 |6803 | 0 | 0.000000e+00 | -- | Inf
219.30/219.33 c 217s|460000 |458774 | 0 | 0.0 | 138M|3473 | - |5242 | 771 | 0 | 0 | 0 |6971 | 0 | 0.000000e+00 | -- | Inf
224.09/224.11 c 221s|470000 |468751 | 0 | 0.0 | 141M|3473 | - |5242 | 777 | 0 | 0 | 0 |7106 | 0 | 0.000000e+00 | -- | Inf
228.70/228.76 c 226s|480000 |478724 | 0 | 0.0 | 144M|3473 | - |5242 | 777 | 0 | 0 | 0 |7256 | 0 | 0.000000e+00 | -- | Inf
233.40/233.48 c 231s|490000 |488695 | 0 | 0.0 | 146M|3473 | - |5242 | 806 | 0 | 0 | 0 |7426 | 0 | 0.000000e+00 | -- | Inf
238.20/238.21 c 235s|500000 |498674 | 0 | 0.0 | 149M|3473 | - |5242 | 778 | 0 | 0 | 0 |7547 | 0 | 0.000000e+00 | -- | Inf
242.80/242.84 c 240s|510000 |508645 | 0 | 0.0 | 152M|3473 | - |5242 | 805 | 0 | 0 | 0 |7717 | 0 | 0.000000e+00 | -- | Inf
247.50/247.53 c 244s|520000 |518625 | 0 | 0.0 | 155M|3473 | - |5242 | 798 | 0 | 0 | 0 |7834 | 0 | 0.000000e+00 | -- | Inf
252.20/252.22 c 249s|530000 |528594 | 0 | 0.0 | 158M|3473 | - |5242 | 818 | 0 | 0 | 0 |8014 | 0 | 0.000000e+00 | -- | Inf
256.80/256.89 c 254s|540000 |538570 | 0 | 0.0 | 160M|3473 | - |5242 | 818 | 0 | 0 | 0 |8151 | 0 | 0.000000e+00 | -- | Inf
261.60/261.61 c 258s|550000 |548537 | 0 | 0.0 | 163M|3473 | - |5242 | 852 | 0 | 0 | 0 |8334 | 0 | 0.000000e+00 | -- | Inf
266.21/266.20 c 263s|560000 |558509 | 0 | 0.0 | 166M|3473 | - |5242 | 817 | 0 | 0 | 0 |8504 | 0 | 0.000000e+00 | -- | Inf
270.90/270.95 c 268s|570000 |568485 | 0 | 0.0 | 169M|3473 | - |5242 | 810 | 0 | 0 | 0 |8648 | 0 | 0.000000e+00 | -- | Inf
275.60/275.60 c 272s|580000 |578449 | 0 | 0.0 | 171M|3473 | - |5242 | 816 | 0 | 0 | 0 |8848 | 0 | 0.000000e+00 | -- | Inf
280.20/280.23 c 277s|590000 |588423 | 0 | 0.0 | 174M|3473 | - |5242 | 846 | 0 | 0 | 0 |9004 | 0 | 0.000000e+00 | -- | Inf
284.81/284.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.81/284.87 c 281s|600000 |598392 | 0 | 0.0 | 177M|3473 | - |5242 | 855 | 0 | 0 | 0 |9177 | 0 | 0.000000e+00 | -- | Inf
289.39/289.49 c 286s|610000 |608364 | 0 | 0.0 | 180M|3473 | - |5242 | 851 | 0 | 0 | 0 |9333 | 0 | 0.000000e+00 | -- | Inf
294.00/294.08 c 290s|620000 |618337 | 0 | 0.0 | 182M|3473 | - |5242 | 871 | 0 | 0 | 0 |9490 | 0 | 0.000000e+00 | -- | Inf
298.70/298.72 c 295s|630000 |628307 | 0 | 0.0 | 185M|3473 | - |5242 | 848 | 0 | 0 | 0 |9633 | 0 | 0.000000e+00 | -- | Inf
303.29/303.32 c 300s|640000 |638278 | 0 | 0.0 | 188M|3473 | - |5242 | 862 | 0 | 0 | 0 |9797 | 0 | 0.000000e+00 | -- | Inf
307.91/307.92 c 304s|650000 |648258 | 0 | 0.0 | 191M|3473 | - |5242 | 849 | 0 | 0 | 0 |9909 | 0 | 0.000000e+00 | -- | Inf
312.40/312.48 c 309s|660000 |658233 | 0 | 0.0 | 194M|3473 | - |5242 | 842 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
317.10/317.10 c 313s|670000 |668192 | 0 | 0.0 | 196M|3473 | - |5242 | 878 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
321.60/321.61 c 318s|680000 |678166 | 0 | 0.0 | 199M|3473 | - |5242 | 886 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
326.10/326.17 c 322s|690000 |688134 | 0 | 0.0 | 202M|3473 | - |5242 | 896 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
330.70/330.74 c 327s|700000 |698102 | 0 | 0.0 | 205M|3473 | - |5242 | 918 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
335.30/335.30 c 331s|710000 |708074 | 0 | 0.0 | 208M|3473 | - |5242 | 920 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
339.81/339.83 c 336s|720000 |718042 | 0 | 0.0 | 210M|3473 | - |5242 | 947 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
344.30/344.32 c 340s|730000 |728015 | 0 | 0.0 | 213M|3473 | - |5242 | 926 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
348.80/348.82 c 344s|740000 |737981 | 0 | 0.0 | 216M|3473 | - |5242 | 957 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
353.30/353.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.30/353.40 c 349s|750000 |747941 | 0 | 0.0 | 219M|3473 | - |5242 | 984 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
357.90/357.94 c 353s|760000 |757908 | 0 | 0.0 | 222M|3473 | - |5242 | 962 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
362.40/362.45 c 358s|770000 |767879 | 0 | 0.0 | 224M|3473 | - |5242 | 983 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
367.00/367.00 c 362s|780000 |777847 | 0 | 0.0 | 227M|3473 | - |5242 |1021 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
371.40/371.48 c 367s|790000 |787814 | 0 | 0.0 | 230M|3473 | - |5242 |1035 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
375.90/375.94 c 371s|800000 |797787 | 0 | 0.0 | 233M|3473 | - |5242 |1006 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
380.40/380.42 c 376s|810000 |807749 | 0 | 0.0 | 236M|3473 | - |5242 |1056 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
384.80/384.86 c 380s|820000 |817720 | 0 | 0.0 | 238M|3473 | - |5242 |1054 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
389.20/389.30 c 384s|830000 |827687 | 0 | 0.0 | 241M|3473 | - |5242 |1058 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
393.71/393.75 c 389s|840000 |837649 | 0 | 0.0 | 244M|3473 | - |5242 |1084 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
398.11/398.11 c 393s|850000 |847626 | 0 | 0.0 | 247M|3473 | - |5242 |1093 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
402.51/402.60 c 397s|860000 |857589 | 0 | 0.0 | 250M|3473 | - |5242 |1092 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
407.01/407.02 c 402s|870000 |867550 | 0 | 0.0 | 253M|3473 | - |5242 |1140 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
411.41/411.47 c 406s|880000 |877521 | 0 | 0.0 | 255M|3473 | - |5242 |1124 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
415.81/415.89 c 411s|890000 |887481 | 0 | 0.0 | 258M|3473 | - |5242 |1143 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
420.31/420.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
420.31/420.32 c 415s|900000 |897452 | 0 | 0.0 | 261M|3473 | - |5242 |1140 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
424.71/424.76 c 419s|910000 |907415 | 0 | 0.0 | 264M|3473 | - |5242 |1138 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
429.11/429.10 c 424s|920000 |917384 | 0 | 0.0 | 267M|3473 | - |5242 |1148 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
433.50/433.53 c 428s|930000 |927339 | 0 | 0.0 | 270M|3473 | - |5242 |1171 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
437.81/437.88 c 432s|940000 |937302 | 0 | 0.0 | 272M|3473 | - |5242 |1199 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
442.11/442.19 c 437s|950000 |947264 | 0 | 0.0 | 275M|3473 | - |5242 |1213 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
446.51/446.56 c 441s|960000 |957231 | 0 | 0.0 | 278M|3473 | - |5242 |1206 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
450.91/450.95 c 445s|970000 |967187 | 0 | 0.0 | 281M|3473 | - |5242 |1250 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
455.20/455.29 c 449s|980000 |977148 | 0 | 0.0 | 284M|3473 | - |5242 |1286 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
459.61/459.60 c 454s|990000 |987118 | 0 | 0.0 | 287M|3473 | - |5242 |1304 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
463.91/463.92 c 458s| 1000k|997080 | 0 | 0.0 | 289M|3473 | - |5242 |1335 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
468.20/468.27 c 462s| 1010k| 1007k| 0 | 0.0 | 292M|3473 | - |5242 |1345 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
472.61/472.65 c 467s| 1020k| 1017k| 0 | 0.0 | 295M|3473 | - |5242 |1325 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
476.90/476.97 c 471s| 1030k| 1026k| 0 | 0.0 | 298M|3473 | - |5242 |1289 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
481.21/481.29 c 475s| 1040k| 1036k| 0 | 0.0 | 301M|3473 | - |5242 |1289 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
485.61/485.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
485.61/485.61 c 479s| 1050k| 1046k| 0 | 0.0 | 304M|3473 | - |5242 |1317 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
489.90/489.90 c 484s| 1060k| 1056k| 0 | 0.0 | 307M|3473 | - |5242 |1317 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
494.11/494.19 c 488s| 1070k| 1066k| 0 | 0.0 | 310M|3473 | - |5242 |1332 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
498.51/498.55 c 492s| 1080k| 1076k| 0 | 0.0 | 312M|3473 | - |5242 |1373 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
502.72/502.78 c 496s| 1090k| 1086k| 0 | 0.0 | 315M|3473 | - |5242 |1337 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
507.01/507.09 c 500s| 1100k| 1096k| 0 | 0.0 | 318M|3473 | - |5242 |1362 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
511.30/511.37 c 505s| 1110k| 1106k| 0 | 0.0 | 321M|3473 | - |5242 |1363 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
515.70/515.76 c 509s| 1120k| 1116k| 0 | 0.0 | 324M|3473 | - |5242 |1384 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
520.00/520.03 c 513s| 1130k| 1126k| 0 | 0.0 | 327M|3473 | - |5242 |1321 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
524.30/524.38 c 518s| 1140k| 1136k| 0 | 0.0 | 330M|3473 | - |5242 |1373 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
528.61/528.66 c 522s| 1150k| 1146k| 0 | 0.0 | 333M|3473 | - |5242 |1366 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
533.00/533.01 c 526s| 1160k| 1156k| 0 | 0.0 | 336M|3473 | - |5242 |1441 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
537.41/537.41 c 530s| 1170k| 1166k| 0 | 0.0 | 339M|3473 | - |5242 |1397 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
541.81/541.82 c 535s| 1180k| 1176k| 0 | 0.0 | 342M|3473 | - |5242 |1391 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
546.21/546.20 c 539s| 1190k| 1186k| 0 | 0.0 | 344M|3473 | - |5242 |1385 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
550.51/550.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.51/550.56 c 543s| 1200k| 1196k| 0 | 0.0 | 347M|3473 | - |5242 |1396 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
554.91/554.91 c 548s| 1210k| 1206k| 0 | 0.0 | 350M|3473 | - |5242 |1410 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
559.21/559.27 c 552s| 1220k| 1216k| 0 | 0.0 | 353M|3473 | - |5242 |1441 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
563.51/563.54 c 556s| 1230k| 1226k| 0 | 0.0 | 356M|3473 | - |5242 |1449 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
567.91/567.91 c 560s| 1240k| 1236k| 0 | 0.0 | 359M|3473 | - |5242 |1457 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
572.20/572.20 c 565s| 1250k| 1246k| 0 | 0.0 | 362M|3473 | - |5242 |1449 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
576.41/576.46 c 569s| 1260k| 1256k| 0 | 0.0 | 365M|3473 | - |5242 |1495 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
580.71/580.71 c 573s| 1270k| 1266k| 0 | 0.0 | 367M|3473 | - |5242 |1443 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
584.90/584.96 c 577s| 1280k| 1276k| 0 | 0.0 | 370M|3473 | - |5242 |1477 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
589.21/589.26 c 582s| 1290k| 1285k| 0 | 0.0 | 373M|3473 | - |5242 |1511 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
593.51/593.52 c 586s| 1300k| 1295k| 0 | 0.0 | 376M|3473 | - |5242 |1451 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
597.71/597.77 c 590s| 1310k| 1305k| 0 | 0.0 | 379M|3473 | - |5242 |1459 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
602.01/602.03 c 594s| 1320k| 1315k| 0 | 0.0 | 382M|3473 | - |5242 |1478 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
606.21/606.30 c 598s| 1330k| 1325k| 0 | 0.0 | 385M|3473 | - |5242 |1471 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
610.61/610.61 c 603s| 1340k| 1335k| 0 | 0.0 | 388M|3473 | - |5242 |1447 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
614.81/614.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
614.81/614.87 c 607s| 1350k| 1345k| 0 | 0.0 | 391M|3473 | - |5242 |1499 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
619.11/619.12 c 611s| 1360k| 1355k| 0 | 0.0 | 394M|3473 | - |5242 |1525 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
623.41/623.42 c 615s| 1370k| 1365k| 0 | 0.0 | 397M|3473 | - |5242 |1500 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
627.61/627.69 c 619s| 1380k| 1375k| 0 | 0.0 | 400M|3473 | - |5242 |1528 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
631.90/631.97 c 624s| 1390k| 1385k| 0 | 0.0 | 403M|3473 | - |5242 |1540 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
636.21/636.22 c 628s| 1400k| 1395k| 0 | 0.0 | 405M|3473 | - |5242 |1502 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
640.50/640.51 c 632s| 1410k| 1405k| 0 | 0.0 | 408M|3473 | - |5242 |1516 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
644.81/644.81 c 636s| 1420k| 1415k| 0 | 0.0 | 411M|3473 | - |5242 |1503 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
649.02/649.08 c 640s| 1430k| 1425k| 0 | 0.0 | 414M|3473 | - |5242 |1545 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
653.21/653.28 c 645s| 1440k| 1435k| 0 | 0.0 | 417M|3473 | - |5242 |1520 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
657.51/657.53 c 649s| 1450k| 1445k| 0 | 0.0 | 420M|3473 | - |5242 |1550 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
661.81/661.81 c 653s| 1460k| 1455k| 0 | 0.0 | 423M|3473 | - |5242 |1528 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
665.91/665.97 c 657s| 1470k| 1465k| 0 | 0.0 | 426M|3473 | - |5242 |1539 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
670.21/670.27 c 661s| 1480k| 1475k| 0 | 0.0 | 429M|3473 | - |5242 |1552 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
674.41/674.47 c 665s| 1490k| 1485k| 0 | 0.0 | 432M|3473 | - |5242 |1508 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
678.71/678.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
678.71/678.72 c 670s| 1500k| 1495k| 0 | 0.0 | 435M|3473 | - |5242 |1542 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
683.01/683.05 c 674s| 1510k| 1505k| 0 | 0.0 | 438M|3473 | - |5242 |1533 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
687.21/687.29 c 678s| 1520k| 1514k| 0 | 0.0 | 440M|3473 | - |5242 |1541 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
691.42/691.47 c 682s| 1530k| 1524k| 0 | 0.0 | 443M|3473 | - |5242 |1540 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
695.71/695.70 c 686s| 1540k| 1534k| 0 | 0.0 | 446M|3473 | - |5242 |1544 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
699.91/699.95 c 691s| 1550k| 1544k| 0 | 0.0 | 449M|3473 | - |5242 |1551 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
704.21/704.23 c 695s| 1560k| 1554k| 0 | 0.0 | 452M|3473 | - |5242 |1533 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
708.41/708.45 c 699s| 1570k| 1564k| 0 | 0.0 | 455M|3473 | - |5242 |1541 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
712.72/712.70 c 703s| 1580k| 1574k| 0 | 0.0 | 458M|3473 | - |5242 |1539 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
716.91/716.98 c 707s| 1590k| 1584k| 0 | 0.0 | 461M|3473 | - |5242 |1555 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
721.21/721.21 c 712s| 1600k| 1594k| 0 | 0.0 | 464M|3473 | - |5242 |1545 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
725.41/725.44 c 716s| 1610k| 1604k| 0 | 0.0 | 467M|3473 | - |5242 |1527 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
729.71/729.75 c 720s| 1620k| 1614k| 0 | 0.0 | 470M|3473 | - |5242 |1534 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
734.01/734.00 c 724s| 1630k| 1624k| 0 | 0.0 | 473M|3473 | - |5242 |1510 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
738.21/738.22 c 728s| 1640k| 1634k| 0 | 0.0 | 476M|3473 | - |5242 |1536 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
742.52/742.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
742.52/742.52 c 733s| 1650k| 1644k| 0 | 0.0 | 479M|3473 | - |5242 |1510 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
746.81/746.87 c 737s| 1660k| 1654k| 0 | 0.0 | 481M|3473 | - |5242 |1565 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
751.11/751.14 c 741s| 1670k| 1664k| 0 | 0.0 | 484M|3473 | - |5242 |1500 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
755.62/755.62 c 746s| 1680k| 1674k| 0 | 0.0 | 487M|3473 | - |5242 |1489 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
760.12/760.11 c 750s| 1690k| 1684k| 0 | 0.0 | 490M|3473 | - |5242 |1486 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
764.61/764.62 c 754s| 1700k| 1694k| 0 | 0.0 | 493M|3473 | - |5242 |1530 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
769.11/769.13 c 759s| 1710k| 1704k| 0 | 0.0 | 496M|3473 | - |5242 |1489 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
773.62/773.66 c 763s| 1720k| 1713k| 0 | 0.0 | 499M|3473 | - |5242 |1496 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
778.11/778.13 c 768s| 1730k| 1723k| 0 | 0.0 | 502M|3473 | - |5242 |1480 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
782.51/782.56 c 772s| 1740k| 1733k| 0 | 0.0 | 505M|3473 | - |5242 |1499 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
786.91/786.98 c 776s| 1750k| 1743k| 0 | 0.0 | 509M|3473 | - |5242 |1487 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
791.41/791.43 c 781s| 1760k| 1753k| 0 | 0.0 | 512M|3473 | - |5242 |1519 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
795.81/795.81 c 785s| 1770k| 1763k| 0 | 0.0 | 515M|3473 | - |5242 |1486 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
800.11/800.14 c 789s| 1780k| 1773k| 0 | 0.0 | 518M|3473 | - |5242 |1484 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
804.42/804.48 c 794s| 1790k| 1783k| 0 | 0.0 | 521M|3473 | - |5242 |1496 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
808.82/808.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
808.82/808.85 c 798s| 1800k| 1793k| 0 | 0.0 | 524M|3473 | - |5242 |1511 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
813.11/813.14 c 802s| 1810k| 1803k| 0 | 0.0 | 527M|3473 | - |5242 |1513 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
817.42/817.43 c 806s| 1820k| 1813k| 0 | 0.0 | 530M|3473 | - |5242 |1508 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
821.73/821.73 c 811s| 1830k| 1823k| 0 | 0.0 | 533M|3473 | - |5242 |1501 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
825.92/826.00 c 815s| 1840k| 1833k| 0 | 0.0 | 536M|3473 | - |5242 |1503 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
830.22/830.26 c 819s| 1850k| 1843k| 0 | 0.0 | 540M|3473 | - |5242 |1512 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
834.52/834.55 c 823s| 1860k| 1853k| 0 | 0.0 | 543M|3473 | - |5242 |1492 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
838.81/838.82 c 827s| 1870k| 1863k| 0 | 0.0 | 546M|3473 | - |5242 |1492 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
843.02/843.03 c 832s| 1880k| 1873k| 0 | 0.0 | 549M|3473 | - |5242 |1489 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
847.21/847.26 c 836s| 1890k| 1882k| 0 | 0.0 | 552M|3473 | - |5242 |1516 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
851.42/851.42 c 840s| 1900k| 1892k| 0 | 0.0 | 555M|3473 | - |5242 |1527 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
855.62/855.61 c 844s| 1910k| 1902k| 0 | 0.0 | 558M|3473 | - |5242 |1502 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
859.81/859.82 c 848s| 1920k| 1912k| 0 | 0.0 | 561M|3473 | - |5242 |1488 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
864.02/864.05 c 852s| 1930k| 1922k| 0 | 0.0 | 564M|3473 | - |5242 |1510 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
868.21/868.25 c 857s| 1940k| 1932k| 0 | 0.0 | 567M|3473 | - |5242 |1481 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
872.41/872.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.41/872.43 c 861s| 1950k| 1942k| 0 | 0.0 | 571M|3473 | - |5242 |1497 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
876.52/876.58 c 865s| 1960k| 1952k| 0 | 0.0 | 574M|3473 | - |5242 |1503 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
880.72/880.75 c 869s| 1970k| 1962k| 0 | 0.0 | 577M|3473 | - |5242 |1501 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
884.92/884.92 c 873s| 1980k| 1972k| 0 | 0.0 | 580M|3473 | - |5242 |1500 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
889.01/889.08 c 877s| 1990k| 1982k| 0 | 0.0 | 583M|3473 | - |5242 |1504 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
893.22/893.20 c 881s| 2000k| 1992k| 0 | 0.0 | 586M|3473 | - |5242 |1479 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
897.22/897.27 c 885s| 2010k| 2002k| 0 | 0.0 | 589M|3473 | - |5242 |1570 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
901.31/901.34 c 889s| 2020k| 2012k| 0 | 0.0 | 592M|3473 | - |5242 |1532 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
905.42/905.41 c 893s| 2030k| 2022k| 0 | 0.0 | 595M|3473 | - |5242 |1521 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
909.42/909.49 c 897s| 2040k| 2032k| 0 | 0.0 | 598M|3473 | - |5242 |1496 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
913.62/913.60 c 901s| 2050k| 2041k| 0 | 0.0 | 601M|3473 | - |5242 |1515 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
917.62/917.66 c 905s| 2060k| 2051k| 0 | 0.0 | 604M|3473 | - |5242 |1488 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
921.61/921.67 c 909s| 2070k| 2061k| 0 | 0.0 | 608M|3473 | - |5242 |1472 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
925.62/925.69 c 913s| 2080k| 2071k| 0 | 0.0 | 611M|3473 | - |5242 |1509 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
929.62/929.63 c 917s| 2090k| 2081k| 0 | 0.0 | 614M|3473 | - |5242 |1503 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
933.52/933.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.52/933.59 c 921s| 2100k| 2091k| 0 | 0.0 | 617M|3473 | - |5242 |1534 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
937.51/937.54 c 925s| 2110k| 2101k| 0 | 0.0 | 620M|3473 | - |5242 |1554 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
941.42/941.45 c 929s| 2120k| 2111k| 0 | 0.0 | 623M|3473 | - |5242 |1508 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
945.42/945.49 c 933s| 2130k| 2121k| 0 | 0.0 | 626M|3473 | - |5242 |1509 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
949.32/949.38 c 936s| 2140k| 2131k| 0 | 0.0 | 629M|3473 | - |5242 |1492 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
953.32/953.32 c 940s| 2150k| 2141k| 0 | 0.0 | 632M|3473 | - |5242 |1511 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
957.12/957.17 c 944s| 2160k| 2151k| 0 | 0.0 | 636M|3473 | - |5242 |1493 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
961.02/961.03 c 948s| 2170k| 2161k| 0 | 0.0 | 639M|3473 | - |5242 |1476 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
964.92/964.90 c 952s| 2180k| 2171k| 0 | 0.0 | 642M|3473 | - |5242 |1491 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
968.62/968.69 c 955s| 2190k| 2181k| 0 | 0.0 | 645M|3473 | - |5242 |1527 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
972.42/972.49 c 959s| 2200k| 2191k| 0 | 0.0 | 648M|3473 | - |5242 |1476 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
976.22/976.28 c 963s| 2210k| 2201k| 0 | 0.0 | 651M|3473 | - |5242 |1516 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
980.13/980.11 c 967s| 2220k| 2211k| 0 | 0.0 | 654M|3473 | - |5242 |1530 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
983.92/983.91 c 970s| 2230k| 2220k| 0 | 0.0 | 657M|3473 | - |5242 |1498 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
987.62/987.66 c 974s| 2240k| 2230k| 0 | 0.0 | 660M|3473 | - |5242 |1500 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
991.42/991.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
991.42/991.41 c 978s| 2250k| 2240k| 0 | 0.0 | 664M|3473 | - |5242 |1538 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
995.22/995.20 c 981s| 2260k| 2250k| 0 | 0.0 | 667M|3473 | - |5242 |1531 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
998.92/998.95 c 985s| 2270k| 2260k| 0 | 0.0 | 670M|3473 | - |5242 |1550 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1002.62/1002.61 c 989s| 2280k| 2270k| 0 | 0.0 | 673M|3473 | - |5242 |1560 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1006.33/1006.33 c 992s| 2290k| 2280k| 0 | 0.0 | 676M|3473 | - |5242 |1594 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1010.02/1010.01 c 996s| 2300k| 2290k| 0 | 0.0 | 680M|3473 | - |5242 |1601 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1013.62/1013.63 c 1000s| 2310k| 2300k| 0 | 0.0 | 683M|3473 | - |5242 |1618 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1017.23/1017.26 c 1003s| 2320k| 2310k| 0 | 0.0 | 686M|3473 | - |5242 |1610 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1020.83/1020.83 c 1007s| 2330k| 2320k| 0 | 0.0 | 689M|3473 | - |5242 |1666 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1024.42/1024.41 c 1010s| 2340k| 2330k| 0 | 0.0 | 693M|3473 | - |5242 |1653 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1027.92/1027.98 c 1014s| 2350k| 2340k| 0 | 0.0 | 696M|3473 | - |5242 |1665 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1031.52/1031.54 c 1017s| 2360k| 2350k| 0 | 0.0 | 700M|3473 | - |5242 |1683 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1035.02/1035.04 c 1021s| 2370k| 2359k| 0 | 0.0 | 703M|3473 | - |5242 |1673 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1038.52/1038.53 c 1024s| 2380k| 2369k| 0 | 0.0 | 706M|3473 | - |5242 |1707 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1042.03/1042.00 c 1027s| 2390k| 2379k| 0 | 0.0 | 710M|3473 | - |5242 |1699 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1045.42/1045.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.42/1045.45 c 1031s| 2400k| 2389k| 0 | 0.0 | 713M|3473 | - |5242 |1692 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1048.82/1048.85 c 1034s| 2410k| 2399k| 0 | 0.0 | 716M|3473 | - |5242 |1792 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1052.22/1052.25 c 1038s| 2420k| 2409k| 0 | 0.0 | 720M|3473 | - |5242 |1893 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1055.63/1055.65 c 1041s| 2430k| 2419k| 0 | 0.0 | 723M|3473 | - |5242 |1955 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1059.02/1059.01 c 1044s| 2440k| 2429k| 0 | 0.0 | 726M|3473 | - |5242 |2069 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1062.32/1062.37 c 1047s| 2450k| 2439k| 0 | 0.0 | 730M|3473 | - |5242 |2160 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1065.72/1065.72 c 1051s| 2460k| 2449k| 0 | 0.0 | 733M|3473 | - |5242 |2301 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1069.02/1069.09 c 1054s| 2470k| 2459k| 0 | 0.0 | 736M|3473 | - |5242 |2362 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1072.33/1072.34 c 1057s| 2480k| 2469k| 0 | 0.0 | 740M|3473 | - |5242 |2410 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1075.62/1075.67 c 1061s| 2490k| 2478k| 0 | 0.0 | 743M|3473 | - |5242 |2552 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1078.92/1078.93 c 1064s| 2500k| 2488k| 0 | 0.0 | 746M|3473 | - |5242 |2613 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1082.22/1082.20 c 1067s| 2510k| 2498k| 0 | 0.0 | 750M|3473 | - |5242 |2704 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1085.42/1085.41 c 1070s| 2520k| 2508k| 0 | 0.0 | 753M|3473 | - |5242 |2844 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1088.63/1088.63 c 1073s| 2530k| 2518k| 0 | 0.0 | 756M|3473 | - |5242 |3023 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1091.72/1091.77 c 1076s| 2540k| 2528k| 0 | 0.0 | 760M|3473 | - |5242 |3150 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1094.82/1094.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1094.82/1094.89 c 1079s| 2550k| 2538k| 0 | 0.0 | 763M|3473 | - |5242 |3235 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1097.93/1097.96 c 1082s| 2560k| 2548k| 0 | 0.0 | 767M|3473 | - |5242 |3342 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
1101.03/1101.03 c 1085s| 2570k| 2558k| 0 | 0.0 | 770M|3473 | - |5242 |3455 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1103.92/1103.98 c 1088s| 2580k| 2567k| 0 | 0.0 | 774M|3473 | - |5242 |3579 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1106.83/1106.86 c 1091s| 2590k| 2577k| 0 | 0.0 | 777M|3473 | - |5242 |3651 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
1109.72/1109.75 c 1094s| 2600k| 2587k| 0 | 0.0 | 781M|3473 | - |5242 |3696 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
1112.52/1112.52 c 1097s| 2610k| 2597k| 0 | 0.0 | 785M|3473 | - |5242 |3844 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1115.43/1115.41 c 1100s| 2620k| 2607k| 0 | 0.0 | 789M|3473 | - |5242 |4203 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1118.23/1118.21 c 1102s| 2630k| 2617k| 0 | 0.0 | 793M|3473 | - |5242 |4667 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1120.93/1120.98 c 1105s| 2640k| 2627k| 0 | 0.0 | 797M|3473 | - |5242 |5135 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1123.72/1123.76 c 1108s| 2650k| 2636k| 0 | 0.0 | 802M|3473 | - |5242 |5884 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
1126.53/1126.58 c 1110s| 2660k| 2646k| 0 | 0.0 | 807M|3473 | - |5242 |6656 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
1129.32/1129.36 c 1113s| 2670k| 2656k| 0 | 0.0 | 812M|3473 | - |5242 |7766 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
1132.42/1132.47 c 1116s| 2680k| 2665k| 0 | 0.0 | 819M|3473 | - |5242 | 10k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1137.12/1137.13 c 1121s| 2690k| 2674k| 0 | 0.0 | 820M|3473 | - |5242 |9741 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1141.72/1141.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1141.72/1141.77 c 1125s| 2700k| 2684k| 0 | 0.0 | 818M|3473 | - |5242 |1471 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1146.33/1146.37 c 1130s| 2710k| 2694k| 0 | 0.0 | 820M|3473 | - |5242 |1363 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1150.92/1150.99 c 1134s| 2720k| 2704k| 0 | 0.0 | 823M|3473 | - |5242 |1331 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1155.73/1155.70 c 1139s| 2730k| 2714k| 0 | 0.0 | 826M|3473 | - |5242 |1308 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1160.43/1160.42 c 1144s| 2740k| 2724k| 0 | 0.0 | 828M|3473 | - |5242 |1310 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1165.03/1165.01 c 1148s| 2750k| 2734k| 0 | 0.0 | 831M|3473 | - |5242 |1287 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1169.63/1169.66 c 1153s| 2760k| 2744k| 0 | 0.0 | 834M|3473 | - |5242 |1274 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1174.32/1174.36 c 1157s| 2770k| 2754k| 0 | 0.0 | 837M|3473 | - |5242 |1212 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1179.13/1179.13 c 1162s| 2780k| 2764k| 0 | 0.0 | 839M|3473 | - |5242 |1235 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1183.83/1183.81 c 1167s| 2790k| 2774k| 0 | 0.0 | 842M|3473 | - |5242 |1185 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1188.42/1188.46 c 1171s| 2800k| 2784k| 0 | 0.0 | 845M|3473 | - |5242 |1149 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1193.03/1193.05 c 1176s| 2810k| 2794k| 0 | 0.0 | 848M|3473 | - |5242 |1126 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1197.73/1197.73 c 1181s| 2820k| 2804k| 0 | 0.0 | 850M|3473 | - |5242 |1116 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1202.33/1202.38 c 1185s| 2830k| 2814k| 0 | 0.0 | 853M|3473 | - |5242 |1041 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1206.92/1206.98 c 1190s| 2840k| 2824k| 0 | 0.0 | 856M|3473 | - |5242 |1039 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1211.63/1211.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.63/1211.64 c 1194s| 2850k| 2834k| 0 | 0.0 | 858M|3473 | - |5242 |1041 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1216.33/1216.31 c 1199s| 2860k| 2844k| 0 | 0.0 | 861M|3473 | - |5242 |1019 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1220.93/1220.92 c 1203s| 2870k| 2854k| 0 | 0.0 | 864M|3473 | - |5242 | 975 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1225.52/1225.51 c 1208s| 2880k| 2864k| 0 | 0.0 | 867M|3473 | - |5242 | 942 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1230.13/1230.16 c 1213s| 2890k| 2874k| 0 | 0.0 | 869M|3473 | - |5242 | 899 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1234.82/1234.82 c 1217s| 2900k| 2884k| 0 | 0.0 | 872M|3473 | - |5242 | 897 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1239.42/1239.47 c 1222s| 2910k| 2894k| 0 | 0.0 | 875M|3473 | - |5242 | 876 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1244.23/1244.22 c 1226s| 2920k| 2904k| 0 | 0.0 | 878M|3473 | - |5242 | 837 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1248.82/1248.89 c 1231s| 2930k| 2914k| 0 | 0.0 | 880M|3473 | - |5242 | 842 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1253.52/1253.51 c 1236s| 2940k| 2924k| 0 | 0.0 | 883M|3473 | - |5242 | 849 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1258.13/1258.13 c 1240s| 2950k| 2934k| 0 | 0.0 | 886M|3473 | - |5242 | 860 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1262.74/1262.76 c 1245s| 2960k| 2944k| 0 | 0.0 | 888M|3473 | - |5242 | 896 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1267.43/1267.47 c 1249s| 2970k| 2953k| 0 | 0.0 | 891M|3473 | - |5242 | 862 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1272.13/1272.14 c 1254s| 2980k| 2963k| 0 | 0.0 | 894M|3473 | - |5242 | 834 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1276.72/1276.78 c 1259s| 2990k| 2973k| 0 | 0.0 | 897M|3473 | - |5242 | 840 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1281.43/1281.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1281.43/1281.42 c 1263s| 3000k| 2983k| 0 | 0.0 | 899M|3473 | - |5242 | 856 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1286.03/1286.05 c 1268s| 3010k| 2993k| 0 | 0.0 | 902M|3473 | - |5242 | 860 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1290.72/1290.76 c 1272s| 3020k| 3003k| 0 | 0.0 | 905M|3473 | - |5242 | 862 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1295.43/1295.41 c 1277s| 3030k| 3013k| 0 | 0.0 | 907M|3473 | - |5242 | 873 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1300.03/1300.06 c 1282s| 3040k| 3023k| 0 | 0.0 | 910M|3473 | - |5242 | 851 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1304.73/1304.77 c 1286s| 3050k| 3033k| 0 | 0.0 | 913M|3473 | - |5242 | 849 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1309.43/1309.40 c 1291s| 3060k| 3043k| 0 | 0.0 | 915M|3473 | - |5242 | 829 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1314.03/1314.06 c 1295s| 3070k| 3053k| 0 | 0.0 | 918M|3473 | - |5242 | 837 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1318.63/1318.69 c 1300s| 3080k| 3063k| 0 | 0.0 | 921M|3473 | - |5242 | 788 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1323.34/1323.37 c 1305s| 3090k| 3073k| 0 | 0.0 | 924M|3473 | - |5242 | 806 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1328.03/1328.00 c 1309s| 3100k| 3083k| 0 | 0.0 | 926M|3473 | - |5242 | 813 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1332.63/1332.63 c 1314s| 3110k| 3093k| 0 | 0.0 | 929M|3473 | - |5242 | 798 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1337.23/1337.24 c 1318s| 3120k| 3103k| 0 | 0.0 | 932M|3473 | - |5242 | 848 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1341.93/1341.93 c 1323s| 3130k| 3113k| 0 | 0.0 | 935M|3473 | - |5242 | 837 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1346.63/1346.60 c 1327s| 3140k| 3123k| 0 | 0.0 | 937M|3473 | - |5242 | 851 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1351.23/1351.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1351.23/1351.22 c 1332s| 3150k| 3133k| 0 | 0.0 | 940M|3473 | - |5242 | 817 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1355.83/1355.86 c 1337s| 3160k| 3143k| 0 | 0.0 | 943M|3473 | - |5242 | 815 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1360.43/1360.48 c 1341s| 3170k| 3153k| 0 | 0.0 | 945M|3473 | - |5242 | 792 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1365.23/1365.21 c 1346s| 3180k| 3163k| 0 | 0.0 | 948M|3473 | - |5242 | 790 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1369.84/1369.89 c 1350s| 3190k| 3173k| 0 | 0.0 | 951M|3473 | - |5242 | 782 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1374.53/1374.54 c 1355s| 3200k| 3183k| 0 | 0.0 | 954M|3473 | - |5242 | 750 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1379.13/1379.19 c 1360s| 3210k| 3193k| 0 | 0.0 | 956M|3473 | - |5242 | 751 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1383.84/1383.83 c 1364s| 3220k| 3203k| 0 | 0.0 | 959M|3473 | - |5242 | 784 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1388.44/1388.47 c 1369s| 3230k| 3213k| 0 | 0.0 | 962M|3473 | - |5242 | 759 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1393.13/1393.15 c 1373s| 3240k| 3223k| 0 | 0.0 | 964M|3473 | - |5242 | 741 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1397.73/1397.78 c 1378s| 3250k| 3233k| 0 | 0.0 | 967M|3473 | - |5242 | 729 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1402.33/1402.39 c 1382s| 3260k| 3243k| 0 | 0.0 | 970M|3473 | - |5242 | 752 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1407.04/1407.09 c 1387s| 3270k| 3253k| 0 | 0.0 | 973M|3473 | - |5242 | 749 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1411.73/1411.78 c 1392s| 3280k| 3263k| 0 | 0.0 | 975M|3473 | - |5242 | 741 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1416.43/1416.40 c 1396s| 3290k| 3273k| 0 | 0.0 | 978M|3473 | - |5242 | 759 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1420.93/1420.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1420.93/1420.99 c 1401s| 3300k| 3283k| 0 | 0.0 | 981M|3473 | - |5242 | 790 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1425.64/1425.67 c 1405s| 3310k| 3293k| 0 | 0.0 | 984M|3473 | - |5242 | 775 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1430.34/1430.33 c 1410s| 3320k| 3303k| 0 | 0.0 | 986M|3473 | - |5242 | 755 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1434.94/1434.96 c 1415s| 3330k| 3313k| 0 | 0.0 | 989M|3473 | - |5242 | 761 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1439.64/1439.61 c 1419s| 3340k| 3323k| 0 | 0.0 | 992M|3473 | - |5242 | 761 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1444.24/1444.30 c 1424s| 3350k| 3333k| 0 | 0.0 | 994M|3473 | - |5242 | 790 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1448.93/1448.94 c 1428s| 3360k| 3343k| 0 | 0.0 | 997M|3473 | - |5242 | 760 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1453.63/1453.61 c 1433s| 3370k| 3353k| 0 | 0.0 |1000M|3473 | - |5242 | 768 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | -- | Inf
1458.34/1458.30 c 1438s| 3380k| 3362k| 0 | 0.0 |1003M|3473 | - |5242 | 721 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1462.94/1462.96 c 1442s| 3390k| 3372k| 0 | 0.0 |1005M|3473 | - |5242 | 765 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1467.54/1467.59 c 1447s| 3400k| 3382k| 0 | 0.0 |1008M|3473 | - |5242 | 756 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1472.23/1472.20 c 1451s| 3410k| 3392k| 0 | 0.0 |1011M|3473 | - |5242 | 759 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1476.83/1476.86 c 1456s| 3420k| 3402k| 0 | 0.0 |1013M|3473 | - |5242 | 776 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1481.53/1481.53 c 1461s| 3430k| 3412k| 0 | 0.0 |1016M|3473 | - |5242 | 757 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1486.14/1486.17 c 1465s| 3440k| 3422k| 0 | 0.0 |1019M|3473 | - |5242 | 773 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | -- | Inf
1490.83/1490.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1490.83/1490.88 c 1470s| 3450k| 3432k| 0 | 0.0 |1022M|3473 | - |5242 | 767 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1495.53/1495.56 c 1474s| 3460k| 3442k| 0 | 0.0 |1024M|3473 | - |5242 | 775 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1500.14/1500.17 c 1479s| 3470k| 3452k| 0 | 0.0 |1027M|3473 | - |5242 | 745 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1504.74/1504.79 c 1484s| 3480k| 3462k| 0 | 0.0 |1030M|3473 | - |5242 | 750 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1509.44/1509.49 c 1488s| 3490k| 3472k| 0 | 0.0 |1033M|3473 | - |5242 | 781 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1514.14/1514.17 c 1493s| 3500k| 3482k| 0 | 0.0 |1035M|3473 | - |5242 | 747 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1518.83/1518.84 c 1497s| 3510k| 3492k| 0 | 0.0 |1038M|3473 | - |5242 | 783 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | -- | Inf
1523.44/1523.50 c 1502s| 3520k| 3502k| 0 | 0.0 |1041M|3473 | - |5242 | 728 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1528.14/1528.14 c 1507s| 3530k| 3512k| 0 | 0.0 |1043M|3473 | - |5242 | 721 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1532.84/1532.82 c 1511s| 3540k| 3522k| 0 | 0.0 |1046M|3473 | - |5242 | 714 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1537.44/1537.48 c 1516s| 3550k| 3532k| 0 | 0.0 |1049M|3473 | - |5242 | 741 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1542.24/1542.24 c 1521s| 3560k| 3542k| 0 | 0.0 |1052M|3473 | - |5242 | 785 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1546.84/1546.85 c 1525s| 3570k| 3552k| 0 | 0.0 |1054M|3473 | - |5242 | 732 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1551.54/1551.53 c 1530s| 3580k| 3562k| 0 | 0.0 |1057M|3473 | - |5242 | 729 | 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | -- | Inf
1556.23/1556.23 c 1534s| 3590k| 3572k| 0 | 0.0 |1060M|3473 | - |5242 | 746 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1560.85/1560.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.85/1560.89 c 1539s| 3600k| 3582k| 0 | 0.0 |1062M|3473 | - |5242 | 749 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1565.53/1565.57 c 1544s| 3610k| 3592k| 0 | 0.0 |1065M|3473 | - |5242 | 738 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1570.23/1570.25 c 1548s| 3620k| 3602k| 0 | 0.0 |1068M|3473 | - |5242 | 746 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1574.94/1574.91 c 1553s| 3630k| 3612k| 0 | 0.0 |1070M|3473 | - |5242 | 733 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1579.64/1579.63 c 1557s| 3640k| 3622k| 0 | 0.0 |1073M|3473 | - |5242 | 730 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1584.24/1584.28 c 1562s| 3650k| 3632k| 0 | 0.0 |1076M|3473 | - |5242 | 726 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | -- | Inf
1588.94/1588.93 c 1567s| 3660k| 3642k| 0 | 0.0 |1078M|3473 | - |5242 | 729 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1593.54/1593.57 c 1571s| 3670k| 3652k| 0 | 0.0 |1081M|3473 | - |5242 | 738 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1598.14/1598.20 c 1576s| 3680k| 3662k| 0 | 0.0 |1084M|3473 | - |5242 | 733 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1602.94/1602.92 c 1580s| 3690k| 3672k| 0 | 0.0 |1087M|3473 | - |5242 | 790 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1607.54/1607.56 c 1585s| 3700k| 3682k| 0 | 0.0 |1089M|3473 | - |5242 | 761 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1612.24/1612.21 c 1590s| 3710k| 3692k| 0 | 0.0 |1092M|3473 | - |5242 | 783 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | -- | Inf
1616.95/1616.91 c 1594s| 3720k| 3702k| 0 | 0.0 |1095M|3473 | - |5242 | 804 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1621.54/1621.59 c 1599s| 3730k| 3712k| 0 | 0.0 |1097M|3473 | - |5242 | 789 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1626.24/1626.23 c 1603s| 3740k| 3722k| 0 | 0.0 |1100M|3473 | - |5242 | 795 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1630.94/1630.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1630.94/1630.90 c 1608s| 3750k| 3731k| 0 | 0.0 |1103M|3473 | - |5242 | 779 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1635.54/1635.60 c 1613s| 3760k| 3741k| 0 | 0.0 |1105M|3473 | - |5242 | 798 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1640.24/1640.24 c 1617s| 3770k| 3751k| 0 | 0.0 |1108M|3473 | - |5242 | 779 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1644.94/1644.91 c 1622s| 3780k| 3761k| 0 | 0.0 |1111M|3473 | - |5242 | 798 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | -- | Inf
1649.54/1649.56 c 1626s| 3790k| 3771k| 0 | 0.0 |1114M|3473 | - |5242 | 791 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1654.24/1654.21 c 1631s| 3800k| 3781k| 0 | 0.0 |1116M|3473 | - |5242 | 791 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1658.85/1658.85 c 1636s| 3810k| 3791k| 0 | 0.0 |1119M|3473 | - |5242 | 806 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1663.54/1663.52 c 1640s| 3820k| 3801k| 0 | 0.0 |1122M|3473 | - |5242 | 800 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1667.74/1667.77 c 1644s| 3830k| 3811k| 0 | 0.0 |1124M|3473 | - |5242 | 780 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1672.05/1672.05 c 1648s| 3840k| 3821k| 0 | 0.0 |1127M|3473 | - |5242 | 773 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1676.35/1676.36 c 1652s| 3850k| 3831k| 0 | 0.0 |1130M|3473 | - |5242 | 800 | 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | -- | Inf
1680.64/1680.64 c 1657s| 3860k| 3841k| 0 | 0.0 |1132M|3473 | - |5242 | 799 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1684.94/1684.97 c 1661s| 3870k| 3851k| 0 | 0.0 |1135M|3473 | - |5242 | 808 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1689.24/1689.28 c 1665s| 3880k| 3861k| 0 | 0.0 |1138M|3473 | - |5242 | 796 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1693.58/1693.59 c 1669s| 3890k| 3871k| 0 | 0.0 |1141M|3473 | - |5242 | 804 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1697.93/1697.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1697.93/1697.93 c 1673s| 3900k| 3881k| 0 | 0.0 |1143M|3473 | - |5242 | 778 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1702.20/1702.58 c 1677s| 3910k| 3891k| 0 | 0.0 |1146M|3473 | - |5242 | 776 | 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | -- | Inf
1706.60/1708.92 c 1682s| 3920k| 3901k| 0 | 0.0 |1149M|3473 | - |5242 | 793 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1710.93/1715.04 c 1686s| 3930k| 3911k| 0 | 0.0 |1151M|3473 | - |5242 | 812 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1715.28/1720.55 c 1690s| 3940k| 3921k| 0 | 0.0 |1154M|3473 | - |5242 | 802 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1719.58/1726.76 c 1694s| 3950k| 3931k| 0 | 0.0 |1157M|3473 | - |5242 | 815 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1723.86/1731.07 c 1698s| 3960k| 3941k| 0 | 0.0 |1160M|3473 | - |5242 | 794 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1728.16/1735.32 c 1702s| 3970k| 3951k| 0 | 0.0 |1162M|3473 | - |5242 | 807 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1732.45/1739.66 c 1707s| 3980k| 3961k| 0 | 0.0 |1165M|3473 | - |5242 | 831 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | -- | Inf
1736.76/1743.96 c 1711s| 3990k| 3971k| 0 | 0.0 |1168M|3473 | - |5242 | 805 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1741.06/1748.25 c 1715s| 4000k| 3981k| 0 | 0.0 |1170M|3473 | - |5242 | 793 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1745.36/1752.50 c 1719s| 4010k| 3991k| 0 | 0.0 |1173M|3473 | - |5242 | 768 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1749.56/1756.79 c 1723s| 4020k| 4001k| 0 | 0.0 |1176M|3473 | - |5242 | 817 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1753.86/1761.07 c 1727s| 4030k| 4011k| 0 | 0.0 |1179M|3473 | - |5242 | 784 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1758.16/1765.34 c 1731s| 4040k| 4021k| 0 | 0.0 |1181M|3473 | - |5242 | 795 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1762.46/1769.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1762.46/1769.64 c 1736s| 4050k| 4031k| 0 | 0.0 |1184M|3473 | - |5242 | 776 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1766.85/1774.08 c 1740s| 4060k| 4041k| 0 | 0.0 |1187M|3473 | - |5242 | 755 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | -- | Inf
1771.36/1780.28 c 1744s| 4070k| 4051k| 0 | 0.0 |1189M|3473 | - |5242 | 779 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1775.77/1786.10 c 1748s| 4080k| 4061k| 0 | 0.0 |1192M|3473 | - |5242 | 815 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1780.13/1791.95 c 1753s| 4090k| 4071k| 0 | 0.0 |1195M|3473 | - |5242 | 789 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1784.51/1797.84 c 1757s| 4100k| 4081k| 0 | 0.0 |1197M|3473 | - |5242 | 808 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1788.96/1805.43 c 1761s| 4110k| 4090k| 0 | 0.0 |1200M|3473 | - |5242 | 866 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | -- | Inf
1793.37/1810.49 c 1766s| 4120k| 4100k| 0 | 0.0 |1203M|3473 | - |5242 | 794 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1797.75/1816.05 c 1770s| 4130k| 4110k| 0 | 0.0 |1206M|3473 | - |5242 | 774 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | -- | Inf
1800.05/1818.88 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1818.88 c
1800.05/1818.88 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1818.88 c Solving Time (sec) : 1771.94
1800.05/1818.88 c Solving Nodes : 4135205
1800.05/1818.88 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1818.88 c Dual Bound : +0.00000000000000e+00
1800.05/1818.88 c Gap : infinite
1800.05/1818.88 s UNKNOWN
1800.05/1818.88 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1818.88 c Solving Time : 1771.94
1800.05/1818.88 c Original Problem :
1800.05/1818.88 c Problem name : HOME/instance-2693672-1277886294.wbo
1800.05/1818.88 c Variables : 5242 (5171 binary, 0 integer, 0 implicit integer, 71 continuous)
1800.05/1818.88 c Constraints : 274 initial, 274 maximal
1800.05/1818.88 c Presolved Problem :
1800.05/1818.88 c Problem name : t_HOME/instance-2693672-1277886294.wbo
1800.05/1818.88 c Variables : 5242 (5171 binary, 0 integer, 0 implicit integer, 71 continuous)
1800.05/1818.88 c Constraints : 273 initial, 11461 maximal
1800.05/1818.88 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1818.88 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1818.88 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1818.88 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1818.88 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1818.88 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1818.88 c probing : 0.03 0 0 0 0 0 0 0 0
1800.05/1818.88 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1818.88 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1818.88 c linear : 0.01 0 0 0 71 0 1 0 0
1800.05/1818.88 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1818.88 c root node : - 0 - - 0 - - - -
1800.05/1818.88 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1818.88 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1818.88 c indicator : 71 0 2507 0 2277 0 120 0 0 0
1800.05/1818.88 c setppc : 63 0 4398454 0 4127789 7780 2586720 0 0 0
1800.05/1818.88 c linear : 71 0 4390674 0 4127789 2414 379499 0 0 0
1800.05/1818.88 c logicor : 68+ 0 700484 0 4127789 1257 173746 0 0 0
1800.05/1818.88 c countsols : 0 0 0 0 4127789 0 0 0 0 0
1800.05/1818.88 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1818.88 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1818.88 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.05/1818.88 c setppc : 215.89 0.00 31.14 0.00 184.75
1800.05/1818.88 c linear : 25.15 0.00 23.35 0.00 1.80
1800.05/1818.88 c logicor : 170.40 0.00 7.73 0.00 162.67
1800.05/1818.88 c countsols : 0.71 0.00 0.00 0.00 0.71
1800.05/1818.88 c Propagators : Time Calls Cutoffs DomReds
1800.05/1818.88 c vbounds : 1.04 2 0 0
1800.05/1818.88 c rootredcost : 1.05 0 0 0
1800.05/1818.88 c pseudoobj : 10.43 4398254 0 0
1800.05/1818.88 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1818.88 c propagation : 42.82 11451 11451 273646 392.6 73226 46.9 -
1800.05/1818.88 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1818.88 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1818.88 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1818.88 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1818.88 c applied globally : - - - 111214 118.4 - - -
1800.05/1818.88 c applied locally : - - - 79 591.3 - - -
1800.05/1818.88 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1818.88 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1818.88 c redcost : 0.00 0 0 0 0 0
1800.05/1818.88 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1818.88 c intobj : 0.00 0 0 0 0 0
1800.05/1818.88 c cgmip : 0.00 0 0 0 0 0
1800.05/1818.88 c gomory : 0.00 0 0 0 0 0
1800.05/1818.88 c strongcg : 0.00 0 0 0 0 0
1800.05/1818.88 c cmir : 0.00 0 0 0 0 0
1800.05/1818.88 c flowcover : 0.00 0 0 0 0 0
1800.05/1818.88 c clique : 0.00 0 0 0 0 0
1800.05/1818.88 c zerohalf : 0.00 0 0 0 0 0
1800.05/1818.88 c mcf : 0.00 0 0 0 0 0
1800.05/1818.88 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1818.88 c Pricers : Time Calls Vars
1800.05/1818.88 c problem variables: 0.00 0 0
1800.05/1818.88 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1818.88 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1818.88 c pscost : 0.00 0 0 0 0 0 0
1800.05/1818.88 c inference : 1276.50 4127789 0 0 0 0 8255578
1800.05/1818.88 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1818.88 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1818.88 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1818.88 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1818.88 c random : 0.00 0 0 0 0 0 0
1800.05/1818.88 c Primal Heuristics : Time Calls Found
1800.05/1818.88 c LP solutions : 0.00 - 0
1800.05/1818.88 c pseudo solutions : 0.00 - 0
1800.05/1818.88 c oneopt : 1.02 0 0
1800.05/1818.88 c trivial : 0.00 2 0
1800.05/1818.88 c simplerounding : 0.00 0 0
1800.05/1818.88 c zirounding : 0.00 0 0
1800.05/1818.88 c rounding : 0.00 0 0
1800.05/1818.88 c shifting : 0.00 0 0
1800.05/1818.88 c intshifting : 0.00 0 0
1800.05/1818.88 c twoopt : 0.00 0 0
1800.05/1818.88 c fixandinfer : 0.00 0 0
1800.05/1818.88 c feaspump : 0.00 0 0
1800.05/1818.88 c coefdiving : 0.00 0 0
1800.05/1818.88 c pscostdiving : 0.00 0 0
1800.05/1818.88 c fracdiving : 0.00 0 0
1800.05/1818.88 c veclendiving : 0.00 0 0
1800.05/1818.88 c intdiving : 0.00 0 0
1800.05/1818.88 c actconsdiving : 0.00 0 0
1800.05/1818.88 c objpscostdiving : 0.00 0 0
1800.05/1818.88 c rootsoldiving : 0.00 0 0
1800.05/1818.88 c linesearchdiving : 0.00 0 0
1800.05/1818.88 c guideddiving : 0.00 0 0
1800.05/1818.88 c octane : 0.00 0 0
1800.05/1818.88 c rens : 0.00 0 0
1800.05/1818.88 c rins : 0.00 0 0
1800.05/1818.88 c localbranching : 0.00 0 0
1800.05/1818.88 c mutation : 0.00 0 0
1800.05/1818.88 c crossover : 0.00 0 0
1800.05/1818.88 c dins : 0.00 0 0
1800.05/1818.88 c undercover : 0.00 0 0
1800.05/1818.88 c nlp : 1.40 0 0
1800.05/1818.88 c trysol : 0.77 1 0
1800.05/1818.88 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1818.88 c primal LP : 0.00 0 0 0.00 -
1800.05/1818.88 c dual LP : 0.00 0 0 0.00 -
1800.05/1818.88 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1818.88 c barrier LP : 0.00 0 0 0.00 -
1800.05/1818.88 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1818.88 c strong branching : 0.00 0 0 0.00 -
1800.05/1818.88 c (at root node) : - 0 0 0.00 -
1800.05/1818.88 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1818.88 c B&B Tree :
1800.05/1818.88 c number of runs : 1
1800.05/1818.88 c nodes : 4135205
1800.05/1818.88 c nodes (total) : 4135205
1800.05/1818.88 c nodes left : 4116144
1800.05/1818.88 c max depth : 3473
1800.05/1818.88 c max depth (total): 3473
1800.05/1818.88 c backtracks : 4611 (0.1%)
1800.05/1818.88 c delayed cutoffs : 4230
1800.05/1818.88 c repropagations : 15745 (217564 domain reductions, 4035 cutoffs)
1800.05/1818.88 c avg switch length: 2.20
1800.05/1818.88 c switching time : 19.69
1800.05/1818.88 c Solution :
1800.05/1818.88 c Solutions found : 0 (0 improvements)
1800.05/1818.88 c Primal Bound : -
1800.05/1818.88 c Dual Bound : +0.00000000000000e+00
1800.05/1818.88 c Gap : infinite
1800.05/1818.88 c Root Dual Bound : +0.00000000000000e+00
1800.05/1818.88 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-2693672-1277886294/watcher-2693672-1277886294 -o /tmp/evaluation-result-2693672-1277886294/solver-2693672-1277886294 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693672-1277886294.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.64 0.63 0.23 4/196 12104
/proc/meminfo: memFree=31290008/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=9160 CPUtime=0
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 1780 0 0 0 0 0 0 0 25 0 1 0 129924032 9379840 1703 4089446400 4194304 7136930 140735887329232 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/12104/statm: 2290 1703 275 719 0 1569 0
[startup+0.0135751 s]
/proc/loadavg: 1.64 0.63 0.23 4/196 12104
/proc/meminfo: memFree=31290008/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=12932 CPUtime=0.01
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 2708 0 0 0 1 0 0 0 25 0 1 0 129924032 13242368 2631 4089446400 4194304 7136930 140735887329232 18446744073709551615 5650593 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/12104/statm: 3233 2631 275 719 0 2512 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12932
[startup+0.100563 s]
/proc/loadavg: 1.64 0.63 0.23 4/196 12104
/proc/meminfo: memFree=31290008/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=26192 CPUtime=0.09
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 7507 0 0 0 9 0 0 0 18 0 1 0 129924032 26820608 5791 4089446400 4194304 7136930 140735887329232 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12104/statm: 6548 5791 390 719 0 5827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26192
[startup+0.300516 s]
/proc/loadavg: 1.64 0.63 0.23 4/196 12104
/proc/meminfo: memFree=31290008/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=26336 CPUtime=0.29
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 7519 0 0 0 28 1 0 0 18 0 1 0 129924032 26968064 5803 4089446400 4194304 7136930 140735887329232 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12104/statm: 6584 5803 390 719 0 5863 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26336
[startup+0.700441 s]
/proc/loadavg: 1.64 0.63 0.23 4/196 12104
/proc/meminfo: memFree=31290008/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=27060 CPUtime=0.69
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 7704 0 0 0 68 1 0 0 18 0 1 0 129924032 27709440 5988 4089446400 4194304 7136930 140735887329232 18446744073709551615 5892303 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12104/statm: 6765 5988 390 719 0 6044 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27060
[startup+1.5003 s]
/proc/loadavg: 1.64 0.63 0.23 3/197 12105
/proc/meminfo: memFree=31266316/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=28648 CPUtime=1.49
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 8110 0 0 0 146 3 0 0 19 0 1 0 129924032 29335552 6394 4089446400 4194304 7136930 140735887329232 18446744073709551615 4407748 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/12104/statm: 7162 6394 394 719 0 6441 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28648
[startup+3.10101 s]
/proc/loadavg: 1.64 0.63 0.23 3/197 12105
/proc/meminfo: memFree=31265776/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=29816 CPUtime=3.09
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 8445 0 0 0 303 6 0 0 25 0 1 0 129924032 30531584 6729 4089446400 4194304 7136930 140735887329232 18446744073709551615 4642088 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 7454 6729 394 719 0 6733 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29816
[startup+6.30043 s]
/proc/loadavg: 1.66 0.65 0.24 3/197 12105
/proc/meminfo: memFree=31263852/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=32552 CPUtime=6.29
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 9142 0 0 0 620 9 0 0 25 0 1 0 129924032 33333248 7426 4089446400 4194304 7136930 140735887329232 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 8138 7426 394 719 0 7417 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32552
[startup+12.7003 s]
/proc/loadavg: 1.69 0.67 0.25 3/197 12105
/proc/meminfo: memFree=31258372/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=36988 CPUtime=12.69
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 10308 0 0 0 1252 17 0 0 25 0 1 0 129924032 37875712 8592 4089446400 4194304 7136930 140735887329232 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 9247 8592 394 719 0 8526 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36988
[startup+25.5009 s]
/proc/loadavg: 1.76 0.74 0.27 3/197 12105
/proc/meminfo: memFree=31251008/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=44960 CPUtime=25.49
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 12408 0 0 0 2516 33 0 0 25 0 1 0 129924032 46039040 10692 4089446400 4194304 7136930 140735887329232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 11240 10692 394 719 0 10519 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44960
[startup+51.1002 s]
/proc/loadavg: 1.84 0.84 0.32 3/197 12106
/proc/meminfo: memFree=31230812/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=64464 CPUtime=51.1
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 16950 0 0 0 5044 66 0 0 25 0 1 0 129924032 66011136 15234 4089446400 4194304 7136930 140735887329232 18446744073709551615 4642144 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 16116 15234 394 719 0 15395 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 64464
[startup+102.307 s]
/proc/loadavg: 1.98 1.03 0.41 3/197 12107
/proc/meminfo: memFree=31186364/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=101244 CPUtime=102.3
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 25507 0 0 0 10102 128 0 0 25 0 1 0 129924032 103673856 23791 4089446400 4194304 7136930 140735887329232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 25311 23791 394 719 0 24590 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 101244
[startup+162.301 s]
/proc/loadavg: 1.99 1.20 0.50 3/197 12109
/proc/meminfo: memFree=31145524/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=137308 CPUtime=162.3
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 35009 0 0 0 16027 203 0 0 25 0 1 0 129924032 140603392 33293 4089446400 4194304 7136930 140735887329232 18446744073709551615 4642122 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 34327 33293 394 719 0 33606 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 137308
[startup+222.301 s]
/proc/loadavg: 1.99 1.35 0.60 3/197 12111
/proc/meminfo: memFree=31108036/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=180984 CPUtime=222.3
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 44338 0 0 0 21951 279 0 0 25 0 1 0 129924032 185327616 42622 4089446400 4194304 7136930 140735887329232 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 45246 42622 394 719 0 44525 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 180984
[startup+282.301 s]
/proc/loadavg: 1.99 1.46 0.68 3/197 12112
/proc/meminfo: memFree=31057144/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=217624 CPUtime=282.3
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 53964 0 0 0 27881 349 0 0 25 0 1 0 129924032 222846976 52248 4089446400 4194304 7136930 140735887329232 18446744073709551615 4643136 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 54406 52248 394 719 0 53685 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 217624
[startup+342.301 s]
/proc/loadavg: 2.04 1.57 0.77 3/197 12114
/proc/meminfo: memFree=31013452/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=255876 CPUtime=342.3
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 64033 0 0 0 33798 432 0 0 25 0 1 0 129924032 262017024 62317 4089446400 4194304 7136930 140735887329232 18446744073709551615 4642088 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 63969 62317 394 719 0 63248 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 255876
[startup+402.301 s]
/proc/loadavg: 2.01 1.65 0.84 3/197 12115
/proc/meminfo: memFree=30964052/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=295724 CPUtime=402.3
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 74523 0 0 0 39719 511 0 0 25 0 1 0 129924032 302821376 72807 4089446400 4194304 7136930 140735887329232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 73931 72807 394 719 0 73210 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 295724
[startup+462.3 s]
/proc/loadavg: 2.00 1.71 0.91 3/197 12120
/proc/meminfo: memFree=30920588/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=350740 CPUtime=462.31
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 84712 0 0 0 45635 596 0 0 25 0 1 0 129924032 359157760 82996 4089446400 4194304 7136930 140735887329232 18446744073709551615 4641950 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 87685 82996 394 719 0 86964 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 350740
[startup+522.3 s]
/proc/loadavg: 2.00 1.76 0.97 3/197 12122
/proc/meminfo: memFree=30876532/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=392812 CPUtime=522.3
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 95758 0 0 0 51550 680 0 0 25 0 1 0 129924032 402239488 94042 4089446400 4194304 7136930 140735887329232 18446744073709551615 5909072 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 98203 94042 394 719 0 97482 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 392812
[startup+582.3 s]
/proc/loadavg: 2.00 1.80 1.04 4/197 12123
/proc/meminfo: memFree=30832340/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=435156 CPUtime=582.31
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 106851 0 0 0 57463 768 0 0 25 0 1 0 129924032 445599744 105135 4089446400 4194304 7136930 140735887329232 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 108789 105135 394 719 0 108068 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 435156
[startup+642.3 s]
/proc/loadavg: 2.07 1.85 1.10 3/197 12125
/proc/meminfo: memFree=30786892/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=478088 CPUtime=642.31
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 118099 0 0 0 63378 853 0 0 25 0 1 0 129924032 489562112 116383 4089446400 4194304 7136930 140735887329232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 119522 116383 394 719 0 118801 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 478088
[startup+702.3 s]
################
# More data... #
################
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 204905 0 0 0 104739 1493 0 0 25 0 1 0 129924032 863449088 203189 4089446400 4194304 7136930 140735887329232 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 210803 203189 394 719 0 210082 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 843212
[startup+1122.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/197 12138
/proc/meminfo: memFree=30351616/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=916660 CPUtime=1122.32
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 223979 0 0 0 110622 1610 0 0 25 0 1 0 129924032 938659840 222263 4089446400 4194304 7136930 140735887329232 18446744073709551615 4436340 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 229165 222263 394 719 0 228444 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 916660
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/197 12139
/proc/meminfo: memFree=30297360/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=968824 CPUtime=1182.33
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 237406 0 0 0 116531 1702 0 0 25 0 1 0 129924032 992075776 235690 4089446400 4194304 7136930 140735887329232 18446744073709551615 5121858 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 242206 235690 394 719 0 241485 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 968824
[startup+1242.3 s]
/proc/loadavg: 2.04 1.98 1.51 3/197 12141
/proc/meminfo: memFree=30257132/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=1006992 CPUtime=1242.33
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 247457 0 0 0 122451 1782 0 0 25 0 1 0 129924032 1031159808 245741 4089446400 4194304 7136930 140735887329232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 251748 245741 394 719 0 251027 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1006992
[startup+1302.3 s]
/proc/loadavg: 2.01 1.98 1.54 3/197 12142
/proc/meminfo: memFree=30220876/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=1040536 CPUtime=1302.33
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 256357 0 0 0 128374 1859 0 0 25 0 1 0 129924032 1065508864 254641 4089446400 4194304 7136930 140735887329232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 260134 254641 394 719 0 259413 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1040536
[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.57 3/197 12144
/proc/meminfo: memFree=30162552/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=1075004 CPUtime=1362.33
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 265454 0 0 0 134294 1939 0 0 25 0 1 0 129924032 1100804096 263738 4089446400 4194304 7136930 140735887329232 18446744073709551615 4740375 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 268751 263738 394 719 0 268030 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1075004
[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.59 3/197 12146
/proc/meminfo: memFree=30125552/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=1108780 CPUtime=1422.34
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 274431 0 0 0 140215 2019 0 0 25 0 1 0 129924032 1135390720 272715 4089446400 4194304 7136930 140735887329232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 277195 272715 394 719 0 276474 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1108780
[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.61 3/197 12147
/proc/meminfo: memFree=30089296/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=1143348 CPUtime=1482.33
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 283550 0 0 0 146139 2094 0 0 25 0 1 0 129924032 1170788352 281834 4089446400 4194304 7136930 140735887329232 18446744073709551615 4642989 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 285837 281834 394 719 0 285116 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1143348
[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.64 3/197 12149
/proc/meminfo: memFree=30051920/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=1178200 CPUtime=1542.33
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 292757 0 0 0 152060 2173 0 0 25 0 1 0 129924032 1206476800 291041 4089446400 4194304 7136930 140735887329232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 294550 291041 394 719 0 293829 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1178200
[startup+1602.3 s]
/proc/loadavg: 2.00 1.98 1.65 3/197 12150
/proc/meminfo: memFree=30014048/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=1213932 CPUtime=1602.34
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 302215 0 0 0 157983 2251 0 0 25 0 1 0 129924032 1243066368 300499 4089446400 4194304 7136930 140735887329232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 303483 300499 394 719 0 302762 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1213932
[startup+1662.3 s]
/proc/loadavg: 2.00 1.98 1.67 2/177 12155
/proc/meminfo: memFree=30286228/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=1250296 CPUtime=1662.35
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 311805 0 0 0 163902 2333 0 0 25 0 1 0 129924032 1280303104 310089 4089446400 4194304 7136930 140735887329232 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/12104/statm: 312574 310089 394 719 0 311853 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1250296
[startup+1722.3 s]
/proc/loadavg: 3.78 2.39 1.82 10/187 12262
/proc/meminfo: memFree=30155908/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=1282304 CPUtime=1716.73
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 320304 0 0 0 169141 2532 0 0 25 0 1 0 129924032 1313079296 318588 4089446400 4194304 7136930 140735887329232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/12104/statm: 320576 318588 394 719 0 319855 0
Current children cumulated CPU time (s) 1716.73
Current children cumulated vsize (KiB) 1282304
[startup+1782.35 s]
/proc/loadavg: 5.18 3.06 2.08 10/187 12263
/proc/meminfo: memFree=30113312/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=1316564 CPUtime=1772.43
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 329373 0 0 0 174520 2723 0 0 25 0 1 0 129924032 1348161536 327657 4089446400 4194304 7136930 140735887329232 18446744073709551615 5892216 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/12104/statm: 329141 327657 394 719 0 328420 0
Current children cumulated CPU time (s) 1772.43
Current children cumulated vsize (KiB) 1316564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1818.88 s]
/proc/loadavg: 5.43 3.37 2.23 12/187 12264
/proc/meminfo: memFree=30092536/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=1333596 CPUtime=1800.05
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 333845 0 0 0 177195 2810 0 0 25 0 1 0 129924032 1365602304 332129 4089446400 4194304 7136930 140735887329232 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12104/statm: 333399 332129 394 719 0 332678 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1333596
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12104
Solver just ended. Dumping a history of the last processes samples
[startup+1819.2 s]
/proc/loadavg: 5.43 3.37 2.23 12/187 12264
/proc/meminfo: memFree=30092536/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=1333596 CPUtime=1800.37
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 333850 0 0 0 177227 2810 0 0 25 0 1 0 129924032 1365602304 332134 4089446400 4194304 7136930 140735887329232 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12104/statm: 333399 332134 399 719 0 332678 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 1333596
[startup+1820 s]
/proc/loadavg: 5.43 3.37 2.23 11/188 12265
/proc/meminfo: memFree=30092404/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=1333644 CPUtime=1801.17
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 333877 0 0 0 177307 2810 0 0 25 0 1 0 129924032 1365651456 332161 4089446400 4194304 7136930 140735887329232 18446744073709551615 6165668 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12104/statm: 333411 332161 399 719 0 332690 0
Current children cumulated CPU time (s) 1801.17
Current children cumulated vsize (KiB) 1333644
[startup+1820.8 s]
/proc/loadavg: 5.43 3.37 2.23 9/188 12265
/proc/meminfo: memFree=30094512/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=1329252 CPUtime=1801.97
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4202496 333878 0 0 0 177387 2810 0 0 25 0 1 0 129924032 1361154048 331063 4089446400 4194304 7136930 140735887329232 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12104/statm: 332313 331063 399 719 0 331592 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 1329252
[startup+1821 s]
/proc/loadavg: 5.43 3.37 2.23 9/188 12265
/proc/meminfo: memFree=30094512/32951124 swapFree=67111528/67111528
[pid=12104] ppid=12102 vsize=0 CPUtime=1802.18
/proc/12104/stat : 12104 (pbscip.linux.x8) R 12102 12104 11902 0 -1 4203524 333878 0 0 0 177405 2813 0 0 25 0 1 0 129924032 0 0 4089446400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/12104/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.18
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1821.02
CPU time (s): 1802.2
CPU user time (s): 1774.05
CPU system time (s): 28.1507
CPU usage (%): 98.9667
Max. virtual memory (cumulated for all children) (KiB): 1333644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1774.05
system time used= 28.1507
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333878
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 5832
runsolver used 3.45647 second user time and 6.20206 second system time
The end
Begin job on node142 at 2010-06-30 10:24:54
IDJOB=2693672
IDBENCH=78664
IDSOLVER=1206
FILE ID=node142/2693672-1277886294
PBS_JOBID= 11197069
Free space on /tmp= 74176 MiB
SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693672-1277886294/watcher-2693672-1277886294 -o /tmp/evaluation-result-2693672-1277886294/solver-2693672-1277886294 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693672-1277886294.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5648463b311d39ee56e08f95de13a148
RANDOM SEED=1361201212
node142.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.827
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.65
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.827
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 : 5226.16
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.827
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.827
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.827
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.827
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.827
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.75
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.827
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: 31290544 kB
Buffers: 168652 kB
Cached: 1045664 kB
SwapCached: 0 kB
Active: 686124 kB
Inactive: 831136 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 31290544 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3336 kB
Writeback: 0 kB
AnonPages: 302676 kB
Mapped: 20276 kB
Slab: 79280 kB
PageTables: 5212 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1644708 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= 74160 MiB
End job on node142 at 2010-06-30 10:55:15