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-2693684-1277887075.wbo>
0.00/0.01 c original problem has 5644 variables (5572 bin, 0 int, 0 impl, 72 cont) and 283 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.03 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 72 impls, 64 clqs
0.00/0.04 c (round 2) 0 del vars, 1 del conss, 72 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 72 impls, 64 clqs
0.00/0.04 c (round 3) 0 del vars, 1 del conss, 72 chg bounds, 0 chg sides, 0 chg coeffs, 74 upgd conss, 72 impls, 64 clqs
0.00/0.04 c (round 4) 0 del vars, 1 del conss, 72 chg bounds, 0 chg sides, 0 chg coeffs, 138 upgd conss, 72 impls, 64 clqs
0.05/0.08 c (0.1s) probing: 101/5572 (1.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.05/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.05/0.08 c presolving (5 rounds):
0.05/0.08 c 0 deleted vars, 1 deleted constraints, 72 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.08 c 72 implications, 64 cliques
0.05/0.08 c presolved problem has 5644 variables (5572 bin, 0 int, 0 impl, 72 cont) and 282 constraints
0.05/0.08 c 72 constraints of type <indicator>
0.05/0.08 c 64 constraints of type <setppc>
0.05/0.08 c 72 constraints of type <linear>
0.05/0.08 c 74 constraints of type <logicor>
0.05/0.08 c transformed objective value is always integral (scale: 1)
0.05/0.08 c Presolving Time: 0.05
0.05/0.08 c - non default parameters ----------------------------------------------------------------------
0.05/0.08 c # SCIP version 1.2.1.2
0.05/0.08 c
0.05/0.08 c # frequency for displaying node information lines
0.05/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.08 c display/freq = 10000
0.05/0.08 c
0.05/0.08 c # maximal time in seconds to run
0.05/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.08 c limits/time = 1799.99
0.05/0.08 c
0.05/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.08 c limits/memory = 3420
0.05/0.08 c
0.05/0.08 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.05/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.05/0.08 c lp/solvefreq = -1
0.05/0.08 c
0.05/0.08 c # should presolving try to simplify inequalities
0.05/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.08 c constraints/linear/simplifyinequalities = TRUE
0.05/0.08 c
0.05/0.08 c # should presolving try to simplify knapsacks
0.05/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.08 c
0.05/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.08 c separating/rapidlearning/freq = 0
0.05/0.08 c
0.05/0.08 c -----------------------------------------------------------------------------------------------
0.05/0.08 c start solving
0.05/0.08 c
0.05/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.08 c 0.1s| 1 | 2 | 0 | - | 10M| 0 | - |5644 | 282 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.40/4.47 c 4.4s| 10000 | 9966 | 0 | 0.0 | 14M|3399 | - |5644 | 370 | 0 | 0 | 0 | 103 | 0 | 0.000000e+00 | -- | Inf
8.49/8.55 c 8.4s| 20000 | 19941 | 0 | 0.0 | 17M|3531 | - |5644 | 369 | 0 | 0 | 0 | 238 | 0 | 0.000000e+00 | -- | Inf
12.80/12.86 c 12.6s| 30000 | 29915 | 0 | 0.0 | 20M|3531 | - |5644 | 389 | 0 | 0 | 0 | 366 | 0 | 0.000000e+00 | -- | Inf
17.29/17.34 c 17.1s| 40000 | 39900 | 0 | 0.0 | 23M|3531 | - |5644 | 362 | 0 | 0 | 0 | 438 | 0 | 0.000000e+00 | -- | Inf
22.29/22.33 c 22.0s| 50000 | 49865 | 0 | 0.0 | 26M|3531 | - |5644 | 357 | 0 | 0 | 0 | 608 | 0 | 0.000000e+00 | -- | Inf
27.69/27.72 c 27.3s| 60000 | 59846 | 0 | 0.0 | 29M|3531 | - |5644 | 420 | 0 | 0 | 0 | 723 | 0 | 0.000000e+00 | -- | Inf
33.00/33.04 c 32.6s| 70000 | 69820 | 0 | 0.0 | 32M|3531 | - |5644 | 452 | 0 | 0 | 0 | 850 | 0 | 0.000000e+00 | -- | Inf
38.09/38.12 c 37.6s| 80000 | 79801 | 0 | 0.0 | 34M|3531 | - |5644 | 441 | 0 | 0 | 0 | 950 | 0 | 0.000000e+00 | -- | Inf
43.19/43.24 c 42.7s| 90000 | 89774 | 0 | 0.0 | 37M|3531 | - |5644 | 473 | 0 | 0 | 0 |1090 | 0 | 0.000000e+00 | -- | Inf
48.19/48.27 c 47.6s|100000 | 99754 | 0 | 0.0 | 40M|3531 | - |5644 | 475 | 0 | 0 | 0 |1209 | 0 | 0.000000e+00 | -- | Inf
53.59/53.63 c 52.9s|110000 |109728 | 0 | 0.0 | 43M|3531 | - |5644 | 471 | 0 | 0 | 0 |1336 | 0 | 0.000000e+00 | -- | Inf
58.59/58.62 c 57.9s|120000 |119696 | 0 | 0.0 | 46M|3531 | - |5644 | 521 | 0 | 0 | 0 |1503 | 0 | 0.000000e+00 | -- | Inf
63.80/63.82 c 63.0s|130000 |129660 | 0 | 0.0 | 49M|3531 | - |5644 | 588 | 0 | 0 | 0 |1695 | 0 | 0.000000e+00 | -- | Inf
68.89/68.97 c 68.1s|140000 |139642 | 0 | 0.0 | 51M|3531 | - |5644 | 553 | 0 | 0 | 0 |1804 | 0 | 0.000000e+00 | -- | Inf
74.09/74.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.09/74.14 c 73.2s|150000 |149619 | 0 | 0.0 | 54M|3531 | - |5644 | 578 | 0 | 0 | 0 |1924 | 0 | 0.000000e+00 | -- | Inf
79.20/79.29 c 78.3s|160000 |159590 | 0 | 0.0 | 57M|3531 | - |5644 | 588 | 0 | 0 | 0 |2074 | 0 | 0.000000e+00 | -- | Inf
84.50/84.60 c 83.6s|170000 |169562 | 0 | 0.0 | 60M|3531 | - |5644 | 601 | 0 | 0 | 0 |2224 | 0 | 0.000000e+00 | -- | Inf
89.70/89.79 c 88.7s|180000 |179535 | 0 | 0.0 | 63M|3531 | - |5644 | 620 | 0 | 0 | 0 |2374 | 0 | 0.000000e+00 | -- | Inf
94.99/95.06 c 93.9s|190000 |189505 | 0 | 0.0 | 65M|3531 | - |5644 | 609 | 0 | 0 | 0 |2524 | 0 | 0.000000e+00 | -- | Inf
100.19/100.29 c 99.1s|200000 |199479 | 0 | 0.0 | 68M|3531 | - |5644 | 628 | 0 | 0 | 0 |2654 | 0 | 0.000000e+00 | -- | Inf
105.60/105.63 c 104s|210000 |209455 | 0 | 0.0 | 71M|3531 | - |5644 | 637 | 0 | 0 | 0 |2774 | 0 | 0.000000e+00 | -- | Inf
110.89/110.94 c 110s|220000 |219424 | 0 | 0.0 | 74M|3531 | - |5644 | 650 | 0 | 0 | 0 |2934 | 0 | 0.000000e+00 | -- | Inf
116.20/116.27 c 115s|230000 |229392 | 0 | 0.0 | 76M|3531 | - |5644 | 654 | 0 | 0 | 0 |3100 | 0 | 0.000000e+00 | -- | Inf
121.50/121.57 c 120s|240000 |239360 | 0 | 0.0 | 79M|3531 | - |5644 | 682 | 0 | 0 | 0 |3270 | 0 | 0.000000e+00 | -- | Inf
126.69/126.74 c 125s|250000 |249337 | 0 | 0.0 | 82M|3531 | - |5644 | 678 | 0 | 0 | 0 |3390 | 0 | 0.000000e+00 | -- | Inf
132.00/132.08 c 131s|260000 |259297 | 0 | 0.0 | 85M|3531 | - |5644 | 724 | 0 | 0 | 0 |3590 | 0 | 0.000000e+00 | -- | Inf
137.20/137.27 c 136s|270000 |269270 | 0 | 0.0 | 87M|3531 | - |5644 | 719 | 0 | 0 | 0 |3730 | 0 | 0.000000e+00 | -- | Inf
142.40/142.46 c 141s|280000 |279244 | 0 | 0.0 | 90M|3531 | - |5644 | 743 | 0 | 0 | 0 |3870 | 0 | 0.000000e+00 | -- | Inf
147.59/147.69 c 146s|290000 |289216 | 0 | 0.0 | 93M|3531 | - |5644 | 737 | 0 | 0 | 0 |4010 | 0 | 0.000000e+00 | -- | Inf
152.91/152.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.91/152.91 c 151s|300000 |299184 | 0 | 0.0 | 95M|3531 | - |5644 | 769 | 0 | 0 | 0 |4178 | 0 | 0.000000e+00 | -- | Inf
158.19/158.23 c 156s|310000 |309158 | 0 | 0.0 | 98M|3531 | - |5644 | 769 | 0 | 0 | 0 |4308 | 0 | 0.000000e+00 | -- | Inf
163.39/163.46 c 162s|320000 |319128 | 0 | 0.0 | 101M|3531 | - |5644 | 776 | 0 | 0 | 0 |4458 | 0 | 0.000000e+00 | -- | Inf
168.40/168.46 c 166s|330000 |329101 | 0 | 0.0 | 104M|3531 | - |5644 | 760 | 0 | 0 | 0 |4598 | 0 | 0.000000e+00 | -- | Inf
173.59/173.61 c 172s|340000 |339071 | 0 | 0.0 | 107M|3531 | - |5644 | 771 | 0 | 0 | 0 |4748 | 0 | 0.000000e+00 | -- | Inf
178.80/178.83 c 177s|350000 |349042 | 0 | 0.0 | 109M|3531 | - |5644 | 782 | 0 | 0 | 0 |4898 | 0 | 0.000000e+00 | -- | Inf
183.90/183.93 c 182s|360000 |359012 | 0 | 0.0 | 112M|3531 | - |5644 | 802 | 0 | 0 | 0 |5048 | 0 | 0.000000e+00 | -- | Inf
189.00/189.02 c 187s|370000 |368988 | 0 | 0.0 | 115M|3531 | - |5644 | 792 | 0 | 0 | 0 |5168 | 0 | 0.000000e+00 | -- | Inf
194.10/194.17 c 192s|380000 |378952 | 0 | 0.0 | 118M|3531 | - |5644 | 834 | 0 | 0 | 0 |5358 | 0 | 0.000000e+00 | -- | Inf
199.20/199.26 c 197s|390000 |388918 | 0 | 0.0 | 120M|3531 | - |5644 | 863 | 0 | 0 | 0 |5528 | 0 | 0.000000e+00 | -- | Inf
204.29/204.33 c 202s|400000 |398890 | 0 | 0.0 | 123M|3531 | - |5644 | 810 | 0 | 0 | 0 |5668 | 0 | 0.000000e+00 | -- | Inf
209.40/209.46 c 207s|410000 |408850 | 0 | 0.0 | 126M|3531 | - |5644 | 837 | 0 | 0 | 0 |5868 | 0 | 0.000000e+00 | -- | Inf
214.51/214.53 c 212s|420000 |418821 | 0 | 0.0 | 129M|3531 | - |5644 | 816 | 0 | 0 | 0 |6018 | 0 | 0.000000e+00 | -- | Inf
219.50/219.52 c 217s|430000 |428792 | 0 | 0.0 | 132M|3531 | - |5644 | 835 | 0 | 0 | 0 |6168 | 0 | 0.000000e+00 | -- | Inf
224.70/224.77 c 222s|440000 |438764 | 0 | 0.0 | 134M|3531 | - |5644 | 832 | 0 | 0 | 0 |6306 | 0 | 0.000000e+00 | -- | Inf
229.90/229.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
229.90/229.95 c 227s|450000 |448733 | 0 | 0.0 | 137M|3531 | - |5644 | 849 | 0 | 0 | 0 |6470 | 0 | 0.000000e+00 | -- | Inf
235.00/235.09 c 232s|460000 |458700 | 0 | 0.0 | 140M|3531 | - |5644 | 886 | 0 | 0 | 0 |6650 | 0 | 0.000000e+00 | -- | Inf
240.20/240.20 c 237s|470000 |468655 | 0 | 0.0 | 143M|3531 | - |5644 | 912 | 0 | 0 | 0 |6879 | 0 | 0.000000e+00 | -- | Inf
245.31/245.37 c 242s|480000 |478623 | 0 | 0.0 | 145M|3531 | - |5644 | 880 | 0 | 0 | 0 |7049 | 0 | 0.000000e+00 | -- | Inf
250.50/250.56 c 248s|490000 |488584 | 0 | 0.0 | 148M|3531 | - |5644 | 925 | 0 | 0 | 0 |7249 | 0 | 0.000000e+00 | -- | Inf
255.60/255.63 c 253s|500000 |498553 | 0 | 0.0 | 151M|3531 | - |5644 | 931 | 0 | 0 | 0 |7399 | 0 | 0.000000e+00 | -- | Inf
260.61/260.64 c 258s|510000 |508517 | 0 | 0.0 | 154M|3531 | - |5644 | 925 | 0 | 0 | 0 |7579 | 0 | 0.000000e+00 | -- | Inf
265.60/265.69 c 263s|520000 |518483 | 0 | 0.0 | 157M|3531 | - |5644 | 959 | 0 | 0 | 0 |7759 | 0 | 0.000000e+00 | -- | Inf
270.70/270.75 c 268s|530000 |528452 | 0 | 0.0 | 159M|3531 | - |5644 | 946 | 0 | 0 | 0 |7929 | 0 | 0.000000e+00 | -- | Inf
276.01/276.05 c 273s|540000 |538418 | 0 | 0.0 | 162M|3531 | - |5644 | 951 | 0 | 0 | 0 |8112 | 0 | 0.000000e+00 | -- | Inf
281.00/281.06 c 278s|550000 |548383 | 0 | 0.0 | 165M|3531 | - |5644 | 959 | 0 | 0 | 0 |8300 | 0 | 0.000000e+00 | -- | Inf
286.01/286.07 c 283s|560000 |558360 | 0 | 0.0 | 168M|3531 | - |5644 | 922 | 0 | 0 | 0 |8420 | 0 | 0.000000e+00 | -- | Inf
291.00/291.00 c 288s|570000 |568315 | 0 | 0.0 | 171M|3531 | - |5644 | 995 | 0 | 0 | 0 |8648 | 0 | 0.000000e+00 | -- | Inf
296.10/296.16 c 293s|580000 |578275 | 0 | 0.0 | 174M|3531 | - |5644 | 984 | 0 | 0 | 0 |8857 | 0 | 0.000000e+00 | -- | Inf
301.10/301.14 c 298s|590000 |588247 | 0 | 0.0 | 176M|3531 | - |5644 | 956 | 0 | 0 | 0 |8997 | 0 | 0.000000e+00 | -- | Inf
306.00/306.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.00/306.06 c 302s|600000 |598212 | 0 | 0.0 | 179M|3531 | - |5644 | 985 | 0 | 0 | 0 |9185 | 0 | 0.000000e+00 | -- | Inf
310.81/310.89 c 307s|610000 |608181 | 0 | 0.0 | 182M|3531 | - |5644 | 994 | 0 | 0 | 0 |9345 | 0 | 0.000000e+00 | -- | Inf
315.90/315.96 c 312s|620000 |618154 | 0 | 0.0 | 185M|3531 | - |5644 | 963 | 0 | 0 | 0 |9485 | 0 | 0.000000e+00 | -- | Inf
320.90/320.93 c 317s|630000 |628123 | 0 | 0.0 | 188M|3531 | - |5644 | 993 | 0 | 0 | 0 |9644 | 0 | 0.000000e+00 | -- | Inf
325.70/325.79 c 322s|640000 |638092 | 0 | 0.0 | 190M|3531 | - |5644 | 979 | 0 | 0 | 0 |9804 | 0 | 0.000000e+00 | -- | Inf
330.71/330.70 c 327s|650000 |648065 | 0 | 0.0 | 193M|3531 | - |5644 | 988 | 0 | 0 | 0 |9954 | 0 | 0.000000e+00 | -- | Inf
335.60/335.61 c 332s|660000 |658029 | 0 | 0.0 | 196M|3531 | - |5644 | 998 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
340.51/340.59 c 337s|670000 |668002 | 0 | 0.0 | 199M|3531 | - |5644 | 966 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
345.50/345.55 c 341s|680000 |677963 | 0 | 0.0 | 202M|3531 | - |5644 | 992 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
350.40/350.45 c 346s|690000 |687927 | 0 | 0.0 | 205M|3531 | - |5644 |1008 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
355.51/355.50 c 351s|700000 |697884 | 0 | 0.0 | 207M|3531 | - |5644 |1023 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
360.51/360.52 c 356s|710000 |707852 | 0 | 0.0 | 210M|3531 | - |5644 | 975 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
365.40/365.46 c 361s|720000 |717823 | 0 | 0.0 | 213M|3531 | - |5644 |1013 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
370.40/370.41 c 366s|730000 |727792 | 0 | 0.0 | 216M|3531 | - |5644 | 976 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
375.41/375.41 c 371s|740000 |737756 | 0 | 0.0 | 219M|3531 | - |5644 | 976 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
380.30/380.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
380.30/380.32 c 376s|750000 |747723 | 0 | 0.0 | 221M|3531 | - |5644 | 991 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
385.20/385.28 c 381s|760000 |757691 | 0 | 0.0 | 224M|3531 | - |5644 |1020 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
390.21/390.20 c 386s|770000 |767657 | 0 | 0.0 | 227M|3531 | - |5644 |1016 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
395.20/395.22 c 391s|780000 |777627 | 0 | 0.0 | 230M|3531 | - |5644 | 987 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
400.21/400.29 c 396s|790000 |787584 | 0 | 0.0 | 233M|3531 | - |5644 |1025 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
405.21/405.21 c 400s|800000 |797551 | 0 | 0.0 | 236M|3531 | - |5644 |1011 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
410.11/410.16 c 405s|810000 |807516 | 0 | 0.0 | 238M|3531 | - |5644 |1001 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
414.81/414.89 c 410s|820000 |817493 | 0 | 0.0 | 241M|3531 | - |5644 | 997 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
419.61/419.63 c 415s|830000 |827459 | 0 | 0.0 | 244M|3531 | - |5644 |1005 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
424.41/424.49 c 419s|840000 |837423 | 0 | 0.0 | 247M|3531 | - |5644 |1033 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
429.41/429.41 c 424s|850000 |847390 | 0 | 0.0 | 250M|3531 | - |5644 |1022 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
434.31/434.40 c 429s|860000 |857343 | 0 | 0.0 | 253M|3531 | - |5644 |1043 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
439.21/439.26 c 434s|870000 |867309 | 0 | 0.0 | 256M|3531 | - |5644 |1026 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
444.00/444.07 c 439s|880000 |877280 | 0 | 0.0 | 258M|3531 | - |5644 | 998 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
448.81/448.89 c 444s|890000 |887250 | 0 | 0.0 | 261M|3531 | - |5644 |1019 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
453.71/453.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.71/453.74 c 448s|900000 |897220 | 0 | 0.0 | 264M|3531 | - |5644 |1037 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
458.51/458.57 c 453s|910000 |907185 | 0 | 0.0 | 267M|3531 | - |5644 |1052 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
463.51/463.57 c 458s|920000 |917137 | 0 | 0.0 | 270M|3531 | - |5644 |1059 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
468.30/468.37 c 463s|930000 |927100 | 0 | 0.0 | 273M|3531 | - |5644 |1056 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
473.21/473.26 c 468s|940000 |937060 | 0 | 0.0 | 276M|3531 | - |5644 |1062 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
478.11/478.12 c 472s|950000 |947026 | 0 | 0.0 | 279M|3531 | - |5644 |1028 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
482.92/482.96 c 477s|960000 |956982 | 0 | 0.0 | 281M|3531 | - |5644 |1049 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
487.71/487.77 c 482s|970000 |966930 | 0 | 0.0 | 284M|3531 | - |5644 |1041 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
492.71/492.75 c 487s|980000 |976898 | 0 | 0.0 | 287M|3531 | - |5644 |1050 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
497.51/497.51 c 491s|990000 |986864 | 0 | 0.0 | 290M|3531 | - |5644 |1102 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
502.31/502.33 c 496s| 1000k|996820 | 0 | 0.0 | 293M|3531 | - |5644 |1083 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
507.12/507.15 c 501s| 1010k| 1006k| 0 | 0.0 | 296M|3531 | - |5644 |1083 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
512.11/512.13 c 506s| 1020k| 1016k| 0 | 0.0 | 299M|3531 | - |5644 |1094 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
516.71/516.79 c 511s| 1030k| 1026k| 0 | 0.0 | 302M|3531 | - |5644 |1090 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
521.51/521.55 c 515s| 1040k| 1036k| 0 | 0.0 | 305M|3531 | - |5644 |1132 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
526.41/526.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
526.41/526.40 c 520s| 1050k| 1046k| 0 | 0.0 | 308M|3531 | - |5644 |1109 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
531.22/531.29 c 525s| 1060k| 1056k| 0 | 0.0 | 310M|3531 | - |5644 |1061 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
536.01/536.07 c 530s| 1070k| 1066k| 0 | 0.0 | 313M|3531 | - |5644 |1093 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
540.71/540.78 c 534s| 1080k| 1076k| 0 | 0.0 | 316M|3531 | - |5644 |1074 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
545.52/545.53 c 539s| 1090k| 1086k| 0 | 0.0 | 319M|3531 | - |5644 |1099 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
550.21/550.29 c 544s| 1100k| 1096k| 0 | 0.0 | 322M|3531 | - |5644 |1142 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
555.01/555.00 c 548s| 1110k| 1106k| 0 | 0.0 | 325M|3531 | - |5644 |1137 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
559.61/559.64 c 553s| 1120k| 1116k| 0 | 0.0 | 328M|3531 | - |5644 |1155 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
564.51/564.56 c 558s| 1130k| 1126k| 0 | 0.0 | 331M|3531 | - |5644 |1152 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
569.21/569.22 c 562s| 1140k| 1136k| 0 | 0.0 | 334M|3531 | - |5644 |1155 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
573.81/573.82 c 567s| 1150k| 1146k| 0 | 0.0 | 337M|3531 | - |5644 |1227 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
578.52/578.53 c 571s| 1160k| 1156k| 0 | 0.0 | 340M|3531 | - |5644 |1167 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
583.21/583.29 c 576s| 1170k| 1166k| 0 | 0.0 | 342M|3531 | - |5644 |1176 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
588.02/588.00 c 581s| 1180k| 1176k| 0 | 0.0 | 345M|3531 | - |5644 |1183 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
592.62/592.69 c 585s| 1190k| 1186k| 0 | 0.0 | 348M|3531 | - |5644 |1189 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
597.41/597.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
597.41/597.46 c 590s| 1200k| 1196k| 0 | 0.0 | 351M|3531 | - |5644 |1255 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
602.02/602.07 c 595s| 1210k| 1206k| 0 | 0.0 | 354M|3531 | - |5644 |1234 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
606.71/606.76 c 599s| 1220k| 1216k| 0 | 0.0 | 357M|3531 | - |5644 |1221 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
611.52/611.58 c 604s| 1230k| 1226k| 0 | 0.0 | 360M|3531 | - |5644 |1262 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
616.21/616.28 c 609s| 1240k| 1235k| 0 | 0.0 | 363M|3531 | - |5644 |1244 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
620.91/620.92 c 613s| 1250k| 1245k| 0 | 0.0 | 366M|3531 | - |5644 |1269 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
625.61/625.63 c 618s| 1260k| 1255k| 0 | 0.0 | 369M|3531 | - |5644 |1290 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
630.52/630.52 c 623s| 1270k| 1265k| 0 | 0.0 | 372M|3531 | - |5644 |1260 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
635.01/635.04 c 627s| 1280k| 1275k| 0 | 0.0 | 375M|3531 | - |5644 |1245 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
639.62/639.61 c 632s| 1290k| 1285k| 0 | 0.0 | 377M|3531 | - |5644 |1233 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
644.21/644.29 c 636s| 1300k| 1295k| 0 | 0.0 | 380M|3531 | - |5644 |1247 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
648.92/648.98 c 641s| 1310k| 1305k| 0 | 0.0 | 383M|3531 | - |5644 |1214 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
653.61/653.65 c 646s| 1320k| 1315k| 0 | 0.0 | 386M|3531 | - |5644 |1217 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
658.22/658.30 c 650s| 1330k| 1325k| 0 | 0.0 | 389M|3531 | - |5644 |1217 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
662.92/662.97 c 655s| 1340k| 1335k| 0 | 0.0 | 392M|3531 | - |5644 |1244 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
667.63/667.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.63/667.64 c 659s| 1350k| 1345k| 0 | 0.0 | 395M|3531 | - |5644 |1230 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
672.22/672.22 c 664s| 1360k| 1355k| 0 | 0.0 | 398M|3531 | - |5644 |1243 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
676.82/676.83 c 668s| 1370k| 1365k| 0 | 0.0 | 401M|3531 | - |5644 |1298 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
681.42/681.44 c 673s| 1380k| 1375k| 0 | 0.0 | 404M|3531 | - |5644 |1237 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
685.92/685.97 c 677s| 1390k| 1385k| 0 | 0.0 | 407M|3531 | - |5644 |1270 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
690.62/690.62 c 682s| 1400k| 1395k| 0 | 0.0 | 410M|3531 | - |5644 |1298 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
695.32/695.35 c 687s| 1410k| 1405k| 0 | 0.0 | 413M|3531 | - |5644 |1307 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
699.92/699.91 c 691s| 1420k| 1415k| 0 | 0.0 | 415M|3531 | - |5644 |1260 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
704.32/704.35 c 696s| 1430k| 1425k| 0 | 0.0 | 418M|3531 | - |5644 |1307 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
708.92/708.97 c 700s| 1440k| 1435k| 0 | 0.0 | 421M|3531 | - |5644 |1294 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
713.62/713.64 c 705s| 1450k| 1445k| 0 | 0.0 | 424M|3531 | - |5644 |1353 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
718.22/718.22 c 709s| 1460k| 1455k| 0 | 0.0 | 427M|3531 | - |5644 |1340 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
722.82/722.83 c 714s| 1470k| 1465k| 0 | 0.0 | 430M|3531 | - |5644 |1338 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
727.32/727.33 c 718s| 1480k| 1475k| 0 | 0.0 | 433M|3531 | - |5644 |1358 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
731.92/731.92 c 723s| 1490k| 1485k| 0 | 0.0 | 436M|3531 | - |5644 |1365 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
736.52/736.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.52/736.56 c 727s| 1500k| 1494k| 0 | 0.0 | 439M|3531 | - |5644 |1363 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
741.22/741.27 c 732s| 1510k| 1504k| 0 | 0.0 | 442M|3531 | - |5644 |1396 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
745.83/745.85 c 737s| 1520k| 1514k| 0 | 0.0 | 445M|3531 | - |5644 |1425 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
750.42/750.48 c 741s| 1530k| 1524k| 0 | 0.0 | 448M|3531 | - |5644 |1410 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
755.23/755.24 c 746s| 1540k| 1534k| 0 | 0.0 | 451M|3531 | - |5644 |1413 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
759.82/759.82 c 750s| 1550k| 1544k| 0 | 0.0 | 454M|3531 | - |5644 |1398 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
764.42/764.44 c 755s| 1560k| 1554k| 0 | 0.0 | 457M|3531 | - |5644 |1426 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
769.12/769.17 c 760s| 1570k| 1564k| 0 | 0.0 | 460M|3531 | - |5644 |1435 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
773.92/773.97 c 764s| 1580k| 1574k| 0 | 0.0 | 463M|3531 | - |5644 |1414 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
778.52/778.55 c 769s| 1590k| 1584k| 0 | 0.0 | 466M|3531 | - |5644 |1401 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
783.13/783.19 c 773s| 1600k| 1594k| 0 | 0.0 | 469M|3531 | - |5644 |1440 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
787.92/787.97 c 778s| 1610k| 1604k| 0 | 0.0 | 472M|3531 | - |5644 |1437 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
792.52/792.58 c 783s| 1620k| 1614k| 0 | 0.0 | 475M|3531 | - |5644 |1434 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
797.12/797.12 c 787s| 1630k| 1624k| 0 | 0.0 | 478M|3531 | - |5644 |1409 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
801.73/801.78 c 792s| 1640k| 1634k| 0 | 0.0 | 480M|3531 | - |5644 |1434 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
806.42/806.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
806.42/806.47 c 796s| 1650k| 1644k| 0 | 0.0 | 483M|3531 | - |5644 |1401 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
810.92/810.99 c 801s| 1660k| 1654k| 0 | 0.0 | 486M|3531 | - |5644 |1360 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
815.52/815.56 c 805s| 1670k| 1664k| 0 | 0.0 | 489M|3531 | - |5644 |1324 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
820.12/820.16 c 810s| 1680k| 1674k| 0 | 0.0 | 492M|3531 | - |5644 |1295 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
824.63/824.66 c 814s| 1690k| 1684k| 0 | 0.0 | 495M|3531 | - |5644 |1314 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
829.22/829.29 c 819s| 1700k| 1694k| 0 | 0.0 | 498M|3531 | - |5644 |1326 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
834.02/834.08 c 824s| 1710k| 1704k| 0 | 0.0 | 501M|3531 | - |5644 |1309 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
838.63/838.62 c 828s| 1720k| 1713k| 0 | 0.0 | 504M|3531 | - |5644 |1310 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
843.22/843.21 c 833s| 1730k| 1723k| 0 | 0.0 | 507M|3531 | - |5644 |1316 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
847.83/847.80 c 837s| 1740k| 1733k| 0 | 0.0 | 510M|3531 | - |5644 |1274 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
852.53/852.56 c 842s| 1750k| 1743k| 0 | 0.0 | 513M|3531 | - |5644 |1339 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
857.12/857.14 c 846s| 1760k| 1753k| 0 | 0.0 | 516M|3531 | - |5644 |1306 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
861.73/861.71 c 851s| 1770k| 1763k| 0 | 0.0 | 519M|3531 | - |5644 |1320 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
866.43/866.48 c 856s| 1780k| 1773k| 0 | 0.0 | 522M|3531 | - |5644 |1334 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
871.13/871.12 c 860s| 1790k| 1783k| 0 | 0.0 | 525M|3531 | - |5644 |1339 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
875.63/875.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
875.63/875.68 c 865s| 1800k| 1793k| 0 | 0.0 | 528M|3531 | - |5644 |1355 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
880.33/880.38 c 869s| 1810k| 1803k| 0 | 0.0 | 531M|3531 | - |5644 |1357 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
885.02/885.06 c 874s| 1820k| 1813k| 0 | 0.0 | 534M|3531 | - |5644 |1356 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
889.72/889.73 c 879s| 1830k| 1823k| 0 | 0.0 | 537M|3531 | - |5644 |1346 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
894.43/894.41 c 883s| 1840k| 1833k| 0 | 0.0 | 540M|3531 | - |5644 |1351 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
899.13/899.14 c 888s| 1850k| 1843k| 0 | 0.0 | 543M|3531 | - |5644 |1345 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
903.72/903.71 c 892s| 1860k| 1853k| 0 | 0.0 | 545M|3531 | - |5644 |1343 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
908.43/908.45 c 897s| 1870k| 1863k| 0 | 0.0 | 548M|3531 | - |5644 |1327 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
913.03/913.05 c 902s| 1880k| 1873k| 0 | 0.0 | 551M|3531 | - |5644 |1301 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
917.33/917.32 c 906s| 1890k| 1883k| 0 | 0.0 | 554M|3531 | - |5644 |1316 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
921.62/921.66 c 910s| 1900k| 1893k| 0 | 0.0 | 557M|3531 | - |5644 |1354 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
926.03/926.04 c 914s| 1910k| 1903k| 0 | 0.0 | 560M|3531 | - |5644 |1345 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
930.32/930.32 c 918s| 1920k| 1913k| 0 | 0.0 | 563M|3531 | - |5644 |1330 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
934.83/934.83 c 923s| 1930k| 1922k| 0 | 0.0 | 566M|3531 | - |5644 |1311 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
939.33/939.31 c 927s| 1940k| 1932k| 0 | 0.0 | 569M|3531 | - |5644 |1346 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
943.83/943.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
943.83/943.80 c 932s| 1950k| 1942k| 0 | 0.0 | 572M|3531 | - |5644 |1314 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
948.33/948.37 c 936s| 1960k| 1952k| 0 | 0.0 | 575M|3531 | - |5644 |1318 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
953.12/953.12 c 941s| 1970k| 1962k| 0 | 0.0 | 578M|3531 | - |5644 |1319 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
957.92/957.96 c 945s| 1980k| 1972k| 0 | 0.0 | 581M|3531 | - |5644 |1318 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
962.53/962.57 c 950s| 1990k| 1982k| 0 | 0.0 | 584M|3531 | - |5644 |1312 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
967.23/968.50 c 954s| 2000k| 1992k| 0 | 0.0 | 587M|3531 | - |5644 |1341 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
971.73/973.14 c 959s| 2010k| 2002k| 0 | 0.0 | 590M|3531 | - |5644 |1337 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
976.42/977.79 c 964s| 2020k| 2012k| 0 | 0.0 | 593M|3531 | - |5644 |1307 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
980.93/982.81 c 968s| 2030k| 2022k| 0 | 0.0 | 597M|3531 | - |5644 |1342 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
985.36/988.59 c 972s| 2040k| 2032k| 0 | 0.0 | 600M|3531 | - |5644 |1330 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
990.01/997.89 c 977s| 2050k| 2042k| 0 | 0.0 | 603M|3531 | - |5644 |1330 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
994.41/1002.28 c 981s| 2060k| 2052k| 0 | 0.0 | 606M|3531 | - |5644 |1315 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
998.71/1006.59 c 985s| 2070k| 2062k| 0 | 0.0 | 609M|3531 | - |5644 |1327 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1003.11/1010.90 c 989s| 2080k| 2072k| 0 | 0.0 | 612M|3531 | - |5644 |1326 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1007.51/1015.30 c 994s| 2090k| 2082k| 0 | 0.0 | 615M|3531 | - |5644 |1307 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1011.80/1019.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.80/1019.64 c 998s| 2100k| 2092k| 0 | 0.0 | 618M|3531 | - |5644 |1312 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1016.20/1024.06 c 1002s| 2110k| 2101k| 0 | 0.0 | 622M|3531 | - |5644 |1324 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1020.60/1028.41 c 1006s| 2120k| 2111k| 0 | 0.0 | 625M|3531 | - |5644 |1315 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1024.90/1032.79 c 1011s| 2130k| 2121k| 0 | 0.0 | 628M|3531 | - |5644 |1326 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1029.33/1038.55 c 1015s| 2140k| 2131k| 0 | 0.0 | 631M|3531 | - |5644 |1324 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1033.67/1044.33 c 1019s| 2150k| 2141k| 0 | 0.0 | 634M|3531 | - |5644 |1324 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1037.93/1049.85 c 1023s| 2160k| 2151k| 0 | 0.0 | 637M|3531 | - |5644 |1340 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1042.35/1054.47 c 1027s| 2170k| 2161k| 0 | 0.0 | 640M|3531 | - |5644 |1312 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1046.77/1059.14 c 1032s| 2180k| 2171k| 0 | 0.0 | 643M|3531 | - |5644 |1314 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1051.16/1064.67 c 1036s| 2190k| 2181k| 0 | 0.0 | 647M|3531 | - |5644 |1349 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1055.46/1068.95 c 1040s| 2200k| 2191k| 0 | 0.0 | 650M|3531 | - |5644 |1347 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1059.77/1073.50 c 1044s| 2210k| 2201k| 0 | 0.0 | 653M|3531 | - |5644 |1335 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1063.97/1078.19 c 1048s| 2220k| 2211k| 0 | 0.0 | 656M|3531 | - |5644 |1331 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1068.29/1082.97 c 1052s| 2230k| 2221k| 0 | 0.0 | 659M|3531 | - |5644 |1312 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1072.50/1087.93 c 1056s| 2240k| 2231k| 0 | 0.0 | 662M|3531 | - |5644 |1327 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1076.77/1092.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1076.77/1092.26 c 1061s| 2250k| 2241k| 0 | 0.0 | 665M|3531 | - |5644 |1307 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1080.87/1096.79 c 1065s| 2260k| 2251k| 0 | 0.0 | 668M|3531 | - |5644 |1318 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1085.16/1102.36 c 1069s| 2270k| 2261k| 0 | 0.0 | 672M|3531 | - |5644 |1322 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1089.45/1106.92 c 1073s| 2280k| 2271k| 0 | 0.0 | 675M|3531 | - |5644 |1329 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1093.52/1111.06 c 1077s| 2290k| 2280k| 0 | 0.0 | 678M|3531 | - |5644 |1328 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1097.68/1115.24 c 1081s| 2300k| 2290k| 0 | 0.0 | 681M|3531 | - |5644 |1317 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1101.79/1119.76 c 1085s| 2310k| 2300k| 0 | 0.0 | 684M|3531 | - |5644 |1311 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1105.83/1124.05 c 1089s| 2320k| 2310k| 0 | 0.0 | 687M|3531 | - |5644 |1325 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1109.91/1128.31 c 1093s| 2330k| 2320k| 0 | 0.0 | 690M|3531 | - |5644 |1343 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1114.13/1132.84 c 1097s| 2340k| 2330k| 0 | 0.0 | 694M|3531 | - |5644 |1316 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1118.23/1138.34 c 1101s| 2350k| 2340k| 0 | 0.0 | 697M|3531 | - |5644 |1306 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1122.37/1142.80 c 1105s| 2360k| 2350k| 0 | 0.0 | 700M|3531 | - |5644 |1328 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1126.40/1146.92 c 1109s| 2370k| 2360k| 0 | 0.0 | 703M|3531 | - |5644 |1354 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1130.38/1151.76 c 1113s| 2380k| 2370k| 0 | 0.0 | 706M|3531 | - |5644 |1331 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1134.51/1157.24 c 1116s| 2390k| 2380k| 0 | 0.0 | 709M|3531 | - |5644 |1368 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1138.54/1162.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1138.54/1162.14 c 1120s| 2400k| 2390k| 0 | 0.0 | 712M|3531 | - |5644 |1325 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1142.54/1166.09 c 1124s| 2410k| 2400k| 0 | 0.0 | 715M|3531 | - |5644 |1322 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1146.62/1170.15 c 1128s| 2420k| 2410k| 0 | 0.0 | 719M|3531 | - |5644 |1378 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1150.58/1174.93 c 1132s| 2430k| 2420k| 0 | 0.0 | 722M|3531 | - |5644 |1317 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1154.66/1179.70 c 1136s| 2440k| 2430k| 0 | 0.0 | 725M|3531 | - |5644 |1368 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1158.73/1183.82 c 1140s| 2450k| 2440k| 0 | 0.0 | 728M|3531 | - |5644 |1335 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1162.68/1187.86 c 1144s| 2460k| 2450k| 0 | 0.0 | 731M|3531 | - |5644 |1321 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1166.70/1192.18 c 1147s| 2470k| 2459k| 0 | 0.0 | 734M|3531 | - |5644 |1320 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1170.66/1196.11 c 1151s| 2480k| 2469k| 0 | 0.0 | 737M|3531 | - |5644 |1297 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1174.74/1200.30 c 1155s| 2490k| 2479k| 0 | 0.0 | 740M|3531 | - |5644 |1384 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1178.52/1204.22 c 1159s| 2500k| 2489k| 0 | 0.0 | 743M|3531 | - |5644 |1360 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1182.51/1208.25 c 1163s| 2510k| 2499k| 0 | 0.0 | 747M|3531 | - |5644 |1375 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1186.37/1212.64 c 1166s| 2520k| 2509k| 0 | 0.0 | 750M|3531 | - |5644 |1318 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1190.23/1218.69 c 1170s| 2530k| 2519k| 0 | 0.0 | 753M|3531 | - |5644 |1356 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1194.16/1223.40 c 1174s| 2540k| 2529k| 0 | 0.0 | 756M|3531 | - |5644 |1315 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1197.97/1227.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1197.97/1227.36 c 1178s| 2550k| 2539k| 0 | 0.0 | 759M|3531 | - |5644 |1325 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1201.81/1231.55 c 1181s| 2560k| 2549k| 0 | 0.0 | 762M|3531 | - |5644 |1367 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1205.73/1236.35 c 1185s| 2570k| 2559k| 0 | 0.0 | 765M|3531 | - |5644 |1346 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1209.61/1240.88 c 1189s| 2580k| 2569k| 0 | 0.0 | 769M|3531 | - |5644 |1334 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1213.39/1245.20 c 1193s| 2590k| 2579k| 0 | 0.0 | 772M|3531 | - |5644 |1364 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1217.28/1249.06 c 1196s| 2600k| 2589k| 0 | 0.0 | 775M|3531 | - |5644 |1373 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1221.08/1252.81 c 1200s| 2610k| 2599k| 0 | 0.0 | 778M|3531 | - |5644 |1357 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1224.78/1256.54 c 1203s| 2620k| 2609k| 0 | 0.0 | 781M|3531 | - |5644 |1374 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1228.59/1260.31 c 1207s| 2630k| 2618k| 0 | 0.0 | 785M|3531 | - |5644 |1417 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1232.35/1264.30 c 1211s| 2640k| 2628k| 0 | 0.0 | 788M|3531 | - |5644 |1386 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1236.05/1269.27 c 1214s| 2650k| 2638k| 0 | 0.0 | 791M|3531 | - |5644 |1395 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1239.74/1275.05 c 1218s| 2660k| 2648k| 0 | 0.0 | 794M|3531 | - |5644 |1411 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1243.49/1279.16 c 1221s| 2670k| 2658k| 0 | 0.0 | 798M|3531 | - |5644 |1440 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1247.12/1282.79 c 1225s| 2680k| 2668k| 0 | 0.0 | 801M|3531 | - |5644 |1487 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1250.83/1286.93 c 1228s| 2690k| 2678k| 0 | 0.0 | 804M|3531 | - |5644 |1452 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1254.44/1291.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.44/1291.36 c 1232s| 2700k| 2688k| 0 | 0.0 | 807M|3531 | - |5644 |1499 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1258.15/1295.90 c 1236s| 2710k| 2698k| 0 | 0.0 | 811M|3531 | - |5644 |1515 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1261.70/1300.06 c 1239s| 2720k| 2708k| 0 | 0.0 | 814M|3531 | - |5644 |1505 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1265.26/1303.70 c 1242s| 2730k| 2718k| 0 | 0.0 | 817M|3531 | - |5644 |1492 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1268.86/1309.90 c 1246s| 2740k| 2728k| 0 | 0.0 | 821M|3531 | - |5644 |1503 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1272.21/1313.59 c 1249s| 2750k| 2738k| 0 | 0.0 | 824M|3531 | - |5644 |1487 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1275.76/1317.52 c 1252s| 2760k| 2747k| 0 | 0.0 | 827M|3531 | - |5644 |1497 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | -- | Inf
1279.12/1321.59 c 1256s| 2770k| 2757k| 0 | 0.0 | 831M|3531 | - |5644 |1502 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1282.56/1325.65 c 1259s| 2780k| 2767k| 0 | 0.0 | 834M|3531 | - |5644 |1560 | 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | -- | Inf
1285.95/1329.47 c 1262s| 2790k| 2777k| 0 | 0.0 | 838M|3531 | - |5644 |1550 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | -- | Inf
1289.43/1332.99 c 1265s| 2800k| 2787k| 0 | 0.0 | 841M|3531 | - |5644 |1606 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1292.73/1336.21 c 1269s| 2810k| 2797k| 0 | 0.0 | 845M|3531 | - |5644 |1580 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | -- | Inf
1296.10/1340.69 c 1272s| 2820k| 2807k| 0 | 0.0 | 848M|3531 | - |5644 |1648 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
1299.41/1346.21 c 1275s| 2830k| 2817k| 0 | 0.0 | 852M|3531 | - |5644 |1664 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | -- | Inf
1302.82/1350.36 c 1278s| 2840k| 2827k| 0 | 0.0 | 855M|3531 | - |5644 |1823 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | -- | Inf
1306.09/1354.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.09/1354.51 c 1281s| 2850k| 2837k| 0 | 0.0 | 859M|3531 | - |5644 |1896 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1309.32/1358.81 c 1285s| 2860k| 2847k| 0 | 0.0 | 862M|3531 | - |5644 |1948 | 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | -- | Inf
1312.42/1361.95 c 1288s| 2870k| 2856k| 0 | 0.0 | 866M|3531 | - |5644 |2053 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | -- | Inf
1315.53/1365.03 c 1291s| 2880k| 2866k| 0 | 0.0 | 870M|3531 | - |5644 |2149 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1318.52/1368.05 c 1294s| 2890k| 2876k| 0 | 0.0 | 874M|3531 | - |5644 |2290 | 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | -- | Inf
1321.62/1371.11 c 1297s| 2900k| 2886k| 0 | 0.0 | 878M|3531 | - |5644 |2459 | 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | -- | Inf
1324.63/1374.11 c 1299s| 2910k| 2896k| 0 | 0.0 | 882M|3531 | - |5644 |2566 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | -- | Inf
1327.63/1377.15 c 1302s| 2920k| 2906k| 0 | 0.0 | 886M|3531 | - |5644 |2798 | 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | -- | Inf
1330.53/1380.06 c 1305s| 2930k| 2916k| 0 | 0.0 | 890M|3531 | - |5644 |2944 | 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | -- | Inf
1333.42/1382.99 c 1308s| 2940k| 2925k| 0 | 0.0 | 895M|3531 | - |5644 |3156 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | -- | Inf
1336.43/1385.94 c 1311s| 2950k| 2935k| 0 | 0.0 | 899M|3531 | - |5644 |3326 | 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | -- | Inf
1339.22/1388.79 c 1314s| 2960k| 2945k| 0 | 0.0 | 904M|3531 | - |5644 |3433 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | -- | Inf
1342.03/1391.57 c 1317s| 2970k| 2955k| 0 | 0.0 | 909M|3531 | - |5644 |3708 | 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | -- | Inf
1344.92/1394.45 c 1319s| 2980k| 2964k| 0 | 0.0 | 914M|3531 | - |5644 |4073 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | -- | Inf
1349.02/1398.57 c 1323s| 2990k| 2974k| 0 | 0.0 | 918M|3531 | - |5644 |3972 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1353.82/1403.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1353.82/1403.35 c 1328s| 3000k| 2984k| 0 | 0.0 | 918M|3531 | - |5644 |1386 | 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | -- | Inf
1358.53/1408.07 c 1333s| 3010k| 2994k| 0 | 0.0 | 921M|3531 | - |5644 |1196 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1363.32/1412.88 c 1337s| 3020k| 3004k| 0 | 0.0 | 924M|3531 | - |5644 |1165 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1368.22/1417.70 c 1342s| 3030k| 3014k| 0 | 0.0 | 926M|3531 | - |5644 |1202 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1372.93/1422.46 c 1347s| 3040k| 3024k| 0 | 0.0 | 929M|3531 | - |5644 |1119 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1377.52/1427.05 c 1351s| 3050k| 3034k| 0 | 0.0 | 932M|3531 | - |5644 |1118 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1382.12/1431.62 c 1356s| 3060k| 3044k| 0 | 0.0 | 935M|3531 | - |5644 |1087 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1386.82/1436.37 c 1361s| 3070k| 3054k| 0 | 0.0 | 937M|3531 | - |5644 |1081 | 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | -- | Inf
1391.62/1441.14 c 1365s| 3080k| 3064k| 0 | 0.0 | 940M|3531 | - |5644 |1071 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1396.32/1445.89 c 1370s| 3090k| 3074k| 0 | 0.0 | 943M|3531 | - |5644 |1063 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1401.22/1450.74 c 1375s| 3100k| 3084k| 0 | 0.0 | 946M|3531 | - |5644 |1099 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1405.93/1455.47 c 1379s| 3110k| 3094k| 0 | 0.0 | 948M|3531 | - |5644 |1045 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1410.62/1460.19 c 1384s| 3120k| 3103k| 0 | 0.0 | 951M|3531 | - |5644 |1045 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1415.42/1464.92 c 1389s| 3130k| 3113k| 0 | 0.0 | 954M|3531 | - |5644 |1035 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1420.13/1469.67 c 1393s| 3140k| 3123k| 0 | 0.0 | 957M|3531 | - |5644 | 980 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | -- | Inf
1424.92/1474.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.92/1474.44 c 1398s| 3150k| 3133k| 0 | 0.0 | 960M|3531 | - |5644 | 953 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1429.73/1479.21 c 1403s| 3160k| 3143k| 0 | 0.0 | 962M|3531 | - |5644 | 939 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1434.43/1483.98 c 1408s| 3170k| 3153k| 0 | 0.0 | 965M|3531 | - |5644 | 912 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1439.23/1488.74 c 1412s| 3180k| 3163k| 0 | 0.0 | 968M|3531 | - |5644 | 881 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1444.03/1493.53 c 1417s| 3190k| 3173k| 0 | 0.0 | 971M|3531 | - |5644 | 849 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1448.73/1498.28 c 1422s| 3200k| 3183k| 0 | 0.0 | 973M|3531 | - |5644 | 844 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | -- | Inf
1453.52/1503.04 c 1426s| 3210k| 3193k| 0 | 0.0 | 976M|3531 | - |5644 | 815 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1458.33/1507.87 c 1431s| 3220k| 3203k| 0 | 0.0 | 979M|3531 | - |5644 | 822 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1463.13/1512.63 c 1436s| 3230k| 3213k| 0 | 0.0 | 981M|3531 | - |5644 | 736 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1467.92/1517.40 c 1441s| 3240k| 3223k| 0 | 0.0 | 984M|3531 | - |5644 | 745 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1472.73/1522.21 c 1445s| 3250k| 3233k| 0 | 0.0 | 987M|3531 | - |5644 | 723 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1477.43/1526.99 c 1450s| 3260k| 3243k| 0 | 0.0 | 990M|3531 | - |5644 | 723 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1482.23/1531.74 c 1455s| 3270k| 3253k| 0 | 0.0 | 992M|3531 | - |5644 | 690 | 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | -- | Inf
1487.02/1536.51 c 1459s| 3280k| 3263k| 0 | 0.0 | 995M|3531 | - |5644 | 701 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1491.83/1541.32 c 1464s| 3290k| 3273k| 0 | 0.0 | 998M|3531 | - |5644 | 725 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1496.52/1546.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1496.52/1546.09 c 1469s| 3300k| 3283k| 0 | 0.0 |1001M|3531 | - |5644 | 702 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1501.32/1550.86 c 1474s| 3310k| 3293k| 0 | 0.0 |1003M|3531 | - |5644 | 718 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1506.13/1555.62 c 1478s| 3320k| 3303k| 0 | 0.0 |1006M|3531 | - |5644 | 698 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1510.93/1560.41 c 1483s| 3330k| 3313k| 0 | 0.0 |1009M|3531 | - |5644 | 721 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1515.63/1565.13 c 1488s| 3340k| 3323k| 0 | 0.0 |1011M|3531 | - |5644 | 724 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1520.43/1569.91 c 1492s| 3350k| 3333k| 0 | 0.0 |1014M|3531 | - |5644 | 701 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | -- | Inf
1525.23/1574.77 c 1497s| 3360k| 3343k| 0 | 0.0 |1017M|3531 | - |5644 | 741 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1530.03/1579.54 c 1502s| 3370k| 3353k| 0 | 0.0 |1020M|3531 | - |5644 | 686 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1534.73/1584.29 c 1507s| 3380k| 3363k| 0 | 0.0 |1022M|3531 | - |5644 | 701 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1539.53/1589.04 c 1511s| 3390k| 3373k| 0 | 0.0 |1025M|3531 | - |5644 | 685 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1544.33/1593.84 c 1516s| 3400k| 3383k| 0 | 0.0 |1028M|3531 | - |5644 | 687 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1549.13/1598.65 c 1521s| 3410k| 3393k| 0 | 0.0 |1031M|3531 | - |5644 | 681 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | -- | Inf
1553.93/1603.43 c 1525s| 3420k| 3403k| 0 | 0.0 |1033M|3531 | - |5644 | 683 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1558.74/1608.22 c 1530s| 3430k| 3413k| 0 | 0.0 |1036M|3531 | - |5644 | 674 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1563.53/1613.01 c 1535s| 3440k| 3423k| 0 | 0.0 |1039M|3531 | - |5644 | 692 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1568.33/1617.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1568.33/1617.81 c 1540s| 3450k| 3433k| 0 | 0.0 |1042M|3531 | - |5644 | 675 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1573.04/1622.58 c 1544s| 3460k| 3443k| 0 | 0.0 |1044M|3531 | - |5644 | 699 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1577.83/1627.38 c 1549s| 3470k| 3453k| 0 | 0.0 |1047M|3531 | - |5644 | 700 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1582.63/1632.16 c 1554s| 3480k| 3462k| 0 | 0.0 |1050M|3531 | - |5644 | 707 | 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | -- | Inf
1587.43/1636.93 c 1558s| 3490k| 3472k| 0 | 0.0 |1053M|3531 | - |5644 | 698 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1592.23/1641.73 c 1563s| 3500k| 3482k| 0 | 0.0 |1055M|3531 | - |5644 | 703 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1597.03/1646.57 c 1568s| 3510k| 3492k| 0 | 0.0 |1058M|3531 | - |5644 | 727 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1601.83/1651.33 c 1573s| 3520k| 3502k| 0 | 0.0 |1061M|3531 | - |5644 | 688 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1606.64/1656.13 c 1577s| 3530k| 3512k| 0 | 0.0 |1064M|3531 | - |5644 | 717 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1611.43/1660.92 c 1582s| 3540k| 3522k| 0 | 0.0 |1066M|3531 | - |5644 | 724 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1616.23/1665.71 c 1587s| 3550k| 3532k| 0 | 0.0 |1069M|3531 | - |5644 | 702 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1621.03/1670.51 c 1592s| 3560k| 3542k| 0 | 0.0 |1072M|3531 | - |5644 | 693 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | -- | Inf
1625.84/1675.31 c 1596s| 3570k| 3552k| 0 | 0.0 |1075M|3531 | - |5644 | 708 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1632.44/1681.96 c 1603s| 3580k| 3562k| 0 | 0.0 |1077M|3531 | - |5644 | 695 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1639.23/1688.78 c 1610s| 3590k| 3572k| 0 | 0.0 |1080M|3531 | - |5644 | 677 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1646.03/1695.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1646.03/1695.59 c 1616s| 3600k| 3582k| 0 | 0.0 |1083M|3531 | - |5644 | 717 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1652.64/1702.10 c 1623s| 3610k| 3592k| 0 | 0.0 |1085M|3531 | - |5644 | 743 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1659.53/1709.05 c 1630s| 3620k| 3602k| 0 | 0.0 |1088M|3531 | - |5644 | 694 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1666.54/1716.00 c 1636s| 3630k| 3612k| 0 | 0.0 |1091M|3531 | - |5644 | 723 | 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | -- | Inf
1673.54/1723.03 c 1643s| 3640k| 3622k| 0 | 0.0 |1094M|3531 | - |5644 | 726 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1680.54/1730.02 c 1650s| 3650k| 3632k| 0 | 0.0 |1096M|3531 | - |5644 | 744 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1687.45/1736.95 c 1657s| 3660k| 3642k| 0 | 0.0 |1099M|3531 | - |5644 | 706 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1694.34/1743.87 c 1664s| 3670k| 3652k| 0 | 0.0 |1102M|3531 | - |5644 | 723 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1701.43/1750.94 c 1671s| 3680k| 3662k| 0 | 0.0 |1105M|3531 | - |5644 | 772 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1708.53/1758.00 c 1678s| 3690k| 3672k| 0 | 0.0 |1107M|3531 | - |5644 | 731 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1715.43/1764.99 c 1685s| 3700k| 3682k| 0 | 0.0 |1110M|3531 | - |5644 | 735 | 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | -- | Inf
1722.44/1771.98 c 1692s| 3710k| 3692k| 0 | 0.0 |1113M|3531 | - |5644 | 727 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1729.44/1778.97 c 1698s| 3720k| 3702k| 0 | 0.0 |1116M|3531 | - |5644 | 734 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1736.43/1785.95 c 1705s| 3730k| 3712k| 0 | 0.0 |1118M|3531 | - |5644 | 731 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1743.44/1792.99 c 1712s| 3740k| 3722k| 0 | 0.0 |1121M|3531 | - |5644 | 736 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1750.24/1799.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1750.24/1799.73 c 1719s| 3750k| 3732k| 0 | 0.0 |1124M|3531 | - |5644 | 736 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1756.84/1806.38 c 1725s| 3760k| 3742k| 0 | 0.0 |1127M|3531 | - |5644 | 721 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1763.64/1813.17 c 1732s| 3770k| 3752k| 0 | 0.0 |1129M|3531 | - |5644 | 739 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | -- | Inf
1770.34/1819.84 c 1739s| 3780k| 3762k| 0 | 0.0 |1132M|3531 | - |5644 | 711 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1777.04/1826.56 c 1745s| 3790k| 3772k| 0 | 0.0 |1135M|3531 | - |5644 | 701 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1783.84/1833.36 c 1752s| 3800k| 3782k| 0 | 0.0 |1137M|3531 | - |5644 | 713 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1791.34/1840.84 c 1759s| 3810k| 3792k| 0 | 0.0 |1140M|3531 | - |5644 | 760 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1798.84/1848.36 c 1767s| 3820k| 3802k| 0 | 0.0 |1143M|3531 | - |5644 | 760 | 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | -- | Inf
1800.04/1849.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1849.50 c
1800.04/1849.50 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1849.50 c Solving Time (sec) : 1767.83
1800.04/1849.50 c Solving Nodes : 3821396
1800.04/1849.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1849.50 c Dual Bound : +0.00000000000000e+00
1800.04/1849.50 c Gap : infinite
1800.04/1849.50 s UNKNOWN
1800.04/1849.50 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1849.50 c Solving Time : 1767.83
1800.04/1849.50 c Original Problem :
1800.04/1849.50 c Problem name : HOME/instance-2693684-1277887075.wbo
1800.04/1849.50 c Variables : 5644 (5572 binary, 0 integer, 0 implicit integer, 72 continuous)
1800.04/1849.50 c Constraints : 283 initial, 283 maximal
1800.04/1849.50 c Presolved Problem :
1800.04/1849.50 c Problem name : t_HOME/instance-2693684-1277887075.wbo
1800.04/1849.50 c Variables : 5644 (5572 binary, 0 integer, 0 implicit integer, 72 continuous)
1800.04/1849.50 c Constraints : 282 initial, 4444 maximal
1800.04/1849.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1849.50 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.04/1849.50 c dualfix : 0.01 0 0 0 0 0 0 0 0
1800.04/1849.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1849.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1849.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1849.50 c probing : 0.03 0 0 0 0 0 0 0 0
1800.04/1849.50 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1849.50 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.04/1849.50 c linear : 0.00 0 0 0 72 0 1 0 0
1800.04/1849.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1849.50 c root node : - 0 - - 0 - - - -
1800.04/1849.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1849.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1849.50 c indicator : 72 0 2658 0 2437 0 118 0 0 0
1800.04/1849.50 c setppc : 64 0 4064447 0 3814000 6805 3063593 0 0 0
1800.04/1849.50 c linear : 72 0 4057642 0 3814000 2322 418387 0 0 0
1800.04/1849.50 c logicor : 74+ 0 644087 0 3814000 976 144903 0 0 0
1800.04/1849.50 c countsols : 0 0 0 0 3814000 0 0 0 0 0
1800.04/1849.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1849.50 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1849.50 c indicator : 0.00 0.00 0.00 0.00 0.00
1800.04/1849.50 c setppc : 216.81 0.00 27.21 0.00 189.60
1800.04/1849.50 c linear : 27.05 0.00 25.40 0.00 1.65
1800.04/1849.50 c logicor : 170.45 0.00 5.67 0.00 164.78
1800.04/1849.50 c countsols : 0.61 0.00 0.00 0.00 0.61
1800.04/1849.50 c Propagators : Time Calls Cutoffs DomReds
1800.04/1849.50 c vbounds : 1.01 2 0 0
1800.04/1849.50 c rootredcost : 0.95 0 0 0
1800.04/1849.50 c pseudoobj : 9.75 4064247 0 0
1800.04/1849.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1849.50 c propagation : 37.98 10103 10103 229123 412.4 86609 47.7 -
1800.04/1849.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1849.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1849.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1849.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1849.50 c applied globally : - - - 98639 81.6 - - -
1800.04/1849.50 c applied locally : - - - 84 657.8 - - -
1800.04/1849.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1849.50 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1849.50 c redcost : 0.00 0 0 0 0 0
1800.04/1849.50 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1849.50 c intobj : 0.00 0 0 0 0 0
1800.04/1849.50 c cgmip : 0.00 0 0 0 0 0
1800.04/1849.50 c gomory : 0.00 0 0 0 0 0
1800.04/1849.50 c strongcg : 0.00 0 0 0 0 0
1800.04/1849.50 c cmir : 0.00 0 0 0 0 0
1800.04/1849.50 c flowcover : 0.00 0 0 0 0 0
1800.04/1849.50 c clique : 0.00 0 0 0 0 0
1800.04/1849.50 c zerohalf : 0.00 0 0 0 0 0
1800.04/1849.50 c mcf : 0.00 0 0 0 0 0
1800.04/1849.50 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1849.50 c Pricers : Time Calls Vars
1800.04/1849.50 c problem variables: 0.00 0 0
1800.04/1849.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1849.50 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1849.50 c pscost : 0.00 0 0 0 0 0 0
1800.04/1849.50 c inference : 1280.41 3814000 0 0 0 0 7628000
1800.04/1849.50 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1849.50 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1849.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1849.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1849.50 c random : 0.00 0 0 0 0 0 0
1800.04/1849.50 c Primal Heuristics : Time Calls Found
1800.04/1849.50 c LP solutions : 0.00 - 0
1800.04/1849.50 c pseudo solutions : 0.00 - 0
1800.04/1849.50 c oneopt : 0.76 0 0
1800.04/1849.50 c trivial : 0.00 2 0
1800.04/1849.50 c simplerounding : 0.00 0 0
1800.04/1849.50 c zirounding : 0.00 0 0
1800.04/1849.50 c rounding : 0.00 0 0
1800.04/1849.50 c shifting : 0.00 0 0
1800.04/1849.50 c intshifting : 0.00 0 0
1800.04/1849.50 c twoopt : 0.00 0 0
1800.04/1849.50 c fixandinfer : 0.00 0 0
1800.04/1849.50 c feaspump : 0.00 0 0
1800.04/1849.50 c coefdiving : 0.00 0 0
1800.04/1849.50 c pscostdiving : 0.00 0 0
1800.04/1849.50 c fracdiving : 0.00 0 0
1800.04/1849.50 c veclendiving : 0.00 0 0
1800.04/1849.50 c intdiving : 0.00 0 0
1800.04/1849.50 c actconsdiving : 0.00 0 0
1800.04/1849.50 c objpscostdiving : 0.00 0 0
1800.04/1849.50 c rootsoldiving : 0.00 0 0
1800.04/1849.50 c linesearchdiving : 0.00 0 0
1800.04/1849.50 c guideddiving : 0.00 0 0
1800.04/1849.50 c octane : 0.00 0 0
1800.04/1849.50 c rens : 0.00 0 0
1800.04/1849.50 c rins : 0.00 0 0
1800.04/1849.50 c localbranching : 0.00 0 0
1800.04/1849.50 c mutation : 0.00 0 0
1800.04/1849.50 c crossover : 0.00 0 0
1800.04/1849.50 c dins : 0.00 0 0
1800.04/1849.50 c undercover : 0.00 0 0
1800.04/1849.50 c nlp : 0.90 0 0
1800.04/1849.50 c trysol : 0.75 1 0
1800.04/1849.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1849.50 c primal LP : 0.00 0 0 0.00 -
1800.04/1849.50 c dual LP : 0.00 0 0 0.00 -
1800.04/1849.50 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1849.50 c barrier LP : 0.00 0 0 0.00 -
1800.04/1849.50 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1849.50 c strong branching : 0.00 0 0 0.00 -
1800.04/1849.50 c (at root node) : - 0 0 0.00 -
1800.04/1849.50 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1849.50 c B&B Tree :
1800.04/1849.50 c number of runs : 1
1800.04/1849.50 c nodes : 3821396
1800.04/1849.50 c nodes (total) : 3821396
1800.04/1849.50 c nodes left : 3803479
1800.04/1849.50 c max depth : 3531
1800.04/1849.50 c max depth (total): 3531
1800.04/1849.50 c backtracks : 3967 (0.1%)
1800.04/1849.50 c delayed cutoffs : 3126
1800.04/1849.50 c repropagations : 14903 (217813 domain reductions, 2707 cutoffs)
1800.04/1849.50 c avg switch length: 2.21
1800.04/1849.50 c switching time : 18.60
1800.04/1849.50 c Solution :
1800.04/1849.50 c Solutions found : 0 (0 improvements)
1800.04/1849.50 c Primal Bound : -
1800.04/1849.50 c Dual Bound : +0.00000000000000e+00
1800.04/1849.50 c Gap : infinite
1800.04/1849.50 c Root Dual Bound : +0.00000000000000e+00
1800.04/1849.50 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-2693684-1277887075/watcher-2693684-1277887075 -o /tmp/evaluation-result-2693684-1277887075/solver-2693684-1277887075 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693684-1277887075.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: 3.13 2.94 1.87 4/196 9300
/proc/meminfo: memFree=31621096/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=8776 CPUtime=0
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 1678 0 0 0 0 0 0 0 25 0 1 0 129853159 8986624 1600 4089446400 4194304 7136930 140733774229952 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9300/statm: 2194 1600 275 719 0 1473 0
[startup+0.065514 s]
/proc/loadavg: 3.13 2.94 1.87 4/196 9300
/proc/meminfo: memFree=31621096/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=24512 CPUtime=0.05
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 7125 0 0 0 5 0 0 0 25 0 1 0 129853159 25100288 5408 4089446400 4194304 7136930 140733774229952 18446744073709551615 5500271 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 6128 5408 370 719 0 5407 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24512
[startup+0.100507 s]
/proc/loadavg: 3.13 2.94 1.87 4/196 9300
/proc/meminfo: memFree=31621096/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=26468 CPUtime=0.08
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 7553 0 0 0 8 0 0 0 25 0 1 0 129853159 27103232 5836 4089446400 4194304 7136930 140733774229952 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 6617 5836 390 719 0 5896 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26468
[startup+0.300469 s]
/proc/loadavg: 3.13 2.94 1.87 4/196 9300
/proc/meminfo: memFree=31621096/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=26468 CPUtime=0.29
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 7564 0 0 0 28 1 0 0 25 0 1 0 129853159 27103232 5847 4089446400 4194304 7136930 140733774229952 18446744073709551615 4643249 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 6617 5847 390 719 0 5896 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26468
[startup+0.700453 s]
/proc/loadavg: 3.13 2.94 1.87 4/196 9300
/proc/meminfo: memFree=31621096/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=27496 CPUtime=0.69
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 7844 0 0 0 68 1 0 0 25 0 1 0 129853159 28155904 6127 4089446400 4194304 7136930 140733774229952 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 6874 6127 390 719 0 6153 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27496
[startup+1.50024 s]
/proc/loadavg: 3.13 2.94 1.87 3/197 9301
/proc/meminfo: memFree=31597032/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=28524 CPUtime=1.49
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 8089 0 0 0 146 3 0 0 25 0 1 0 129853159 29208576 6372 4089446400 4194304 7136930 140733774229952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 7131 6372 390 719 0 6410 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28524
[startup+3.10093 s]
/proc/loadavg: 3.13 2.94 1.87 3/197 9301
/proc/meminfo: memFree=31596512/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=29980 CPUtime=3.09
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 8477 0 0 0 304 5 0 0 25 0 1 0 129853159 30699520 6760 4089446400 4194304 7136930 140733774229952 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 7495 6760 394 719 0 6774 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29980
[startup+6.30032 s]
/proc/loadavg: 3.04 2.93 1.87 3/197 9302
/proc/meminfo: memFree=31593536/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=32720 CPUtime=6.29
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 9183 0 0 0 619 10 0 0 25 0 1 0 129853159 33505280 7466 4089446400 4194304 7136930 140733774229952 18446744073709551615 5892378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 8180 7466 394 719 0 7459 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32720
[startup+12.7011 s]
/proc/loadavg: 2.96 2.91 1.87 3/197 9302
/proc/meminfo: memFree=31588816/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=37480 CPUtime=12.69
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 10418 0 0 0 1249 20 0 0 25 0 1 0 129853159 38379520 8701 4089446400 4194304 7136930 140733774229952 18446744073709551615 4643174 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 9370 8701 394 719 0 8649 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37480
[startup+25.5006 s]
/proc/loadavg: 2.75 2.87 1.87 3/197 9302
/proc/meminfo: memFree=31580240/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=45716 CPUtime=25.49
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 12579 0 0 0 2511 38 0 0 25 0 1 0 129853159 46813184 10862 4089446400 4194304 7136930 140733774229952 18446744073709551615 5892251 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 11429 10862 394 719 0 10708 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45716
[startup+51.1007 s]
/proc/loadavg: 2.55 2.81 1.88 3/197 9303
/proc/meminfo: memFree=31564620/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=63336 CPUtime=51.09
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 16677 0 0 0 5046 63 0 0 25 0 1 0 129853159 64856064 14960 4089446400 4194304 7136930 140733774229952 18446744073709551615 4643241 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 15834 14960 394 719 0 15113 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 63336
[startup+102.307 s]
/proc/loadavg: 2.24 2.68 1.89 3/197 9304
/proc/meminfo: memFree=31520668/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=98884 CPUtime=102.3
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 24889 0 0 0 10110 120 0 0 25 0 1 0 129853159 101257216 23172 4089446400 4194304 7136930 140733774229952 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 24721 23172 394 719 0 24000 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 98884
[startup+162.3 s]
/proc/loadavg: 2.09 2.56 1.89 3/197 9306
/proc/meminfo: memFree=31484896/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=132468 CPUtime=162.29
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 33712 0 0 0 16041 188 0 0 25 0 1 0 129853159 135647232 31995 4089446400 4194304 7136930 140733774229952 18446744073709551615 4596751 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 33117 31995 394 719 0 32396 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 132468
[startup+222.301 s]
/proc/loadavg: 2.03 2.45 1.90 3/197 9307
/proc/meminfo: memFree=31449128/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=166088 CPUtime=222.3
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 42564 0 0 0 21971 259 0 0 25 0 1 0 129853159 170074112 40847 4089446400 4194304 7136930 140733774229952 18446744073709551615 4436367 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 41522 40847 394 719 0 40801 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 166088
[startup+282.301 s]
/proc/loadavg: 2.01 2.37 1.91 3/197 9309
/proc/meminfo: memFree=31413592/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=208020 CPUtime=282.3
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 51436 0 0 0 27901 329 0 0 25 0 1 0 129853159 213012480 49719 4089446400 4194304 7136930 140733774229952 18446744073709551615 4642976 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 52005 49719 394 719 0 51284 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 208020
[startup+342.301 s]
/proc/loadavg: 2.05 2.31 1.91 3/197 9310
/proc/meminfo: memFree=31374224/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=245200 CPUtime=342.31
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 61146 0 0 0 33828 403 0 0 25 0 1 0 129853159 251084800 59429 4089446400 4194304 7136930 140733774229952 18446744073709551615 4436491 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 61300 59429 394 719 0 60579 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 245200
[startup+402.301 s]
/proc/loadavg: 2.02 2.25 1.91 3/197 9312
/proc/meminfo: memFree=31333376/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=281244 CPUtime=402.3
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 70626 0 0 0 39757 473 0 0 25 0 1 0 129853159 287993856 68909 4089446400 4194304 7136930 140733774229952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 70311 68909 394 719 0 69590 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 281244
[startup+462.301 s]
/proc/loadavg: 2.00 2.20 1.91 3/197 9314
/proc/meminfo: memFree=31288916/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=318428 CPUtime=462.31
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 80386 0 0 0 45680 551 0 0 25 0 1 0 129853159 326070272 78669 4089446400 4194304 7136930 140733774229952 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 79607 78669 394 719 0 78886 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 318428
[startup+522.3 s]
/proc/loadavg: 2.00 2.16 1.91 3/197 9315
/proc/meminfo: memFree=31252048/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=370484 CPUtime=522.31
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 89754 0 0 0 51594 637 0 0 25 0 1 0 129853159 379375616 88037 4089446400 4194304 7136930 140733774229952 18446744073709551615 4642962 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 92621 88037 394 719 0 91900 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 370484
[startup+582.301 s]
/proc/loadavg: 2.04 2.15 1.92 3/197 9317
/proc/meminfo: memFree=31210460/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=408784 CPUtime=582.31
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 99839 0 0 0 57516 715 0 0 25 0 1 0 129853159 418594816 98122 4089446400 4194304 7136930 140733774229952 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 102196 98122 394 719 0 101475 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 408784
[startup+642.3 s]
/proc/loadavg: 2.01 2.12 1.92 3/197 9318
/proc/meminfo: memFree=31168128/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=449300 CPUtime=642.32
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 110425 0 0 0 63438 794 0 0 25 0 1 0 129853159 460083200 108708 4089446400 4194304 7136930 140733774229952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9300/statm: 112325 108708 394 719 0 111604 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 449300
[startup+702.301 s]
################
# More data... #
################
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 183343 0 0 0 103368 1527 0 0 25 0 1 0 129853159 779251712 181626 4089446400 4194304 7136930 140733774229952 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9300/statm: 190247 181626 394 719 0 189526 0
Current children cumulated CPU time (s) 1048.95
Current children cumulated vsize (KiB) 760988
[startup+1122.3 s]
/proc/loadavg: 6.53 4.39 2.88 3/187 9441
/proc/meminfo: memFree=30389956/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=799116 CPUtime=1104.13
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 193340 0 0 0 108715 1698 0 0 25 0 1 0 129853159 818294784 191623 4089446400 4194304 7136930 140733774229952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9300/statm: 199779 191623 394 719 0 199058 0
Current children cumulated CPU time (s) 1104.13
Current children cumulated vsize (KiB) 799116
[startup+1182.31 s]
/proc/loadavg: 7.79 5.17 3.24 10/187 9444
/proc/meminfo: memFree=30250140/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=843432 CPUtime=1157.25
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 204862 0 0 0 113841 1884 0 0 25 0 1 0 129853159 863674368 203145 4089446400 4194304 7136930 140733774229952 18446744073709551615 4697680 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/9300/statm: 210858 203145 394 719 0 210137 0
Current children cumulated CPU time (s) 1157.25
Current children cumulated vsize (KiB) 843432
[startup+1242.3 s]
/proc/loadavg: 6.67 5.36 3.42 3/187 9445
/proc/meminfo: memFree=30113572/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=886960 CPUtime=1211.05
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 216197 0 0 0 119023 2082 0 0 25 0 1 0 129853159 908247040 214480 4089446400 4194304 7136930 140733774229952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9300/statm: 221740 214480 394 719 0 221019 0
Current children cumulated CPU time (s) 1211.05
Current children cumulated vsize (KiB) 886960
[startup+1302.31 s]
/proc/loadavg: 6.52 5.58 3.62 7/187 9447
/proc/meminfo: memFree=29968516/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=932160 CPUtime=1263.86
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 227976 0 0 0 124100 2286 0 0 25 0 1 0 129853159 954531840 226259 4089446400 4194304 7136930 140733774229952 18446744073709551615 5892210 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/9300/statm: 233040 226259 394 719 0 232319 0
Current children cumulated CPU time (s) 1263.86
Current children cumulated vsize (KiB) 932160
[startup+1362.3 s]
/proc/loadavg: 5.95 5.61 3.75 3/180 9478
/proc/meminfo: memFree=30848440/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=989920 CPUtime=1312.82
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 242930 0 0 0 128794 2488 0 0 25 0 1 0 129853159 1013678080 241213 4089446400 4194304 7136930 140733774229952 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9300/statm: 247480 241213 394 719 0 246759 0
Current children cumulated CPU time (s) 1312.82
Current children cumulated vsize (KiB) 989920
[startup+1422.31 s]
/proc/loadavg: 3.45 4.95 3.64 3/180 9488
/proc/meminfo: memFree=30759452/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=1055972 CPUtime=1372.83
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 260005 0 0 0 134680 2603 0 0 25 0 1 0 129853159 1081315328 258288 4089446400 4194304 7136930 140733774229952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/9300/statm: 263993 258288 394 719 0 263272 0
Current children cumulated CPU time (s) 1372.83
Current children cumulated vsize (KiB) 1055972
[startup+1482.3 s]
/proc/loadavg: 2.53 4.41 3.54 3/180 9490
/proc/meminfo: memFree=30723260/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=1092460 CPUtime=1432.82
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 269600 0 0 0 140594 2688 0 0 25 0 1 0 129853159 1118679040 267883 4089446400 4194304 7136930 140733774229952 18446744073709551615 4407814 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/9300/statm: 273115 267883 394 719 0 272394 0
Current children cumulated CPU time (s) 1432.82
Current children cumulated vsize (KiB) 1092460
[startup+1542.3 s]
/proc/loadavg: 2.19 3.97 3.44 3/180 9491
/proc/meminfo: memFree=30685952/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=1126612 CPUtime=1492.83
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 278642 0 0 0 146514 2769 0 0 25 0 1 0 129853159 1153650688 276925 4089446400 4194304 7136930 140733774229952 18446744073709551615 4436471 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/9300/statm: 281653 276925 394 719 0 280932 0
Current children cumulated CPU time (s) 1492.83
Current children cumulated vsize (KiB) 1126612
[startup+1602.3 s]
/proc/loadavg: 2.07 3.61 3.34 3/187 9500
/proc/meminfo: memFree=30578104/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=1160148 CPUtime=1552.83
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 287505 0 0 0 152426 2857 0 0 25 0 1 0 129853159 1187991552 285788 4089446400 4194304 7136930 140733774229952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/9300/statm: 290037 285788 394 719 0 289316 0
Current children cumulated CPU time (s) 1552.83
Current children cumulated vsize (KiB) 1160148
[startup+1662.3 s]
/proc/loadavg: 2.02 3.31 3.26 3/187 9502
/proc/meminfo: memFree=30544212/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=1191744 CPUtime=1612.84
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 295900 0 0 0 158343 2941 0 0 25 0 1 0 129853159 1220345856 294183 4089446400 4194304 7136930 140733774229952 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/9300/statm: 297936 294183 394 719 0 297215 0
Current children cumulated CPU time (s) 1612.84
Current children cumulated vsize (KiB) 1191744
[startup+1722.3 s]
/proc/loadavg: 5.83 4.08 3.52 10/187 9503
/proc/meminfo: memFree=30399656/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=1215704 CPUtime=1672.84
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 302289 0 0 0 164259 3025 0 0 25 0 1 0 129853159 1244880896 300572 4089446400 4194304 7136930 140733774229952 18446744073709551615 4740375 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/9300/statm: 303926 300572 394 719 0 303205 0
Current children cumulated CPU time (s) 1672.84
Current children cumulated vsize (KiB) 1215704
[startup+1782.3 s]
/proc/loadavg: 7.91 4.99 3.86 10/187 9505
/proc/meminfo: memFree=30374424/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=1238260 CPUtime=1732.84
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 308267 0 0 0 170173 3111 0 0 25 0 1 0 129853159 1267978240 306550 4089446400 4194304 7136930 140733774229952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/9300/statm: 309565 306550 394 719 0 308844 0
Current children cumulated CPU time (s) 1732.84
Current children cumulated vsize (KiB) 1238260
[startup+1842.3 s]
/proc/loadavg: 8.29 5.65 4.16 8/187 9506
/proc/meminfo: memFree=30349956/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=1260224 CPUtime=1792.84
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 314092 0 0 0 176074 3210 0 0 25 0 1 0 129853159 1290469376 312375 4089446400 4194304 7136930 140733774229952 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/9300/statm: 315056 312375 394 719 0 314335 0
Current children cumulated CPU time (s) 1792.84
Current children cumulated vsize (KiB) 1260224
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1849.5 s]
/proc/loadavg: 8.09 5.69 4.19 8/187 9507
/proc/meminfo: memFree=30347348/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=1262444 CPUtime=1800.04
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 314658 0 0 0 176784 3220 0 0 25 0 1 0 129853159 1292742656 312941 4089446400 4194304 7136930 140733774229952 18446744073709551615 5892296 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/9300/statm: 315611 312941 394 719 0 314890 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1262444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9300
Solver just ended. Dumping a history of the last processes samples
[startup+1850.5 s]
/proc/loadavg: 8.09 5.69 4.19 8/188 9508
/proc/meminfo: memFree=30347332/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=1262496 CPUtime=1801.04
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 314691 0 0 0 176884 3220 0 0 25 0 1 0 129853159 1292795904 312974 4089446400 4194304 7136930 140733774229952 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/9300/statm: 315624 312974 399 719 0 314903 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 1262496
[startup+1851.31 s]
/proc/loadavg: 8.09 5.69 4.19 8/188 9508
/proc/meminfo: memFree=30347208/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=1262516 CPUtime=1801.84
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 314696 0 0 0 176964 3220 0 0 25 0 1 0 129853159 1292816384 312979 4089446400 4194304 7136930 140733774229952 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/9300/statm: 315629 312979 399 719 0 314908 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 1262516
[startup+1851.5 s]
/proc/loadavg: 8.09 5.69 4.19 8/188 9508
/proc/meminfo: memFree=30347208/32950928 swapFree=67111528/67111528
[pid=9300] ppid=9298 vsize=1262520 CPUtime=1802.03
/proc/9300/stat : 9300 (pbscip.linux.x8) R 9298 9300 8905 0 -1 4202496 314697 0 0 0 176983 3220 0 0 25 0 1 0 129853159 1292820480 312980 4089446400 4194304 7136930 140733774229952 18446744073709551615 6166287 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/9300/statm: 315630 312980 399 719 0 314909 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 1262520
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1851.55
CPU time (s): 1802.1
CPU user time (s): 1769.85
CPU system time (s): 32.2521
CPU usage (%): 97.329
Max. virtual memory (cumulated for all children) (KiB): 1262520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.85
system time used= 32.2521
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314697
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 14104
runsolver used 3.19951 second user time and 6.23705 second system time
The end
Begin job on node127 at 2010-06-30 10:37:55
IDJOB=2693684
IDBENCH=78668
IDSOLVER=1206
FILE ID=node127/2693684-1277887075
PBS_JOBID= 11197100
Free space on /tmp= 74204 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_55_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-2693684-1277887075/watcher-2693684-1277887075 -o /tmp/evaluation-result-2693684-1277887075/solver-2693684-1277887075 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693684-1277887075.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= beb1068825018293198184932ec3a150
RANDOM SEED=373170
node127.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.828
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.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
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.75
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.828
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.72
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.828
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.74
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.828
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.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31621508 kB
Buffers: 168904 kB
Cached: 685456 kB
SwapCached: 0 kB
Active: 708492 kB
Inactive: 480960 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31621508 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 3204 kB
Writeback: 0 kB
AnonPages: 335084 kB
Mapped: 19900 kB
Slab: 76188 kB
PageTables: 5284 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1656860 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= 74184 MiB
End job on node127 at 2010-06-30 11:08:47