0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2700441-1278535631.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.06 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1050 implications, 0 cliques
0.00/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.00/0.06 c 850 constraints of type <indicator>
0.00/0.06 c 850 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.04
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.2
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1799.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 3420
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.06 o 420925
0.00/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.06 c t 0.1s| 1 | 0 | 0 | - |6123k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.00/0.06 c 0.1s| 1 | 0 | 0 | - |6520k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.06 c 0.1s| 1 | 0 | 37 | - |6556k| 0 | 4 |1800 |1700 |1800 | 62 | 62 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 123 | - |6608k| 0 | 43 |1800 |1700 |1800 | 104 | 104 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.08 c 0.1s| 1 | 0 | 171 | - |6740k| 0 | 55 |1800 |1700 |1800 | 151 | 151 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.08/0.09 c 0.1s| 1 | 0 | 266 | - |6960k| 0 | 32 |1800 |1700 |1800 | 170 | 170 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 359 | - |7017k| 0 | 46 |1800 |1700 |1800 | 179 | 179 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 400 | - |7124k| 0 | 49 |1800 |1700 |1800 | 195 | 195 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.19/0.26 c 0.2s| 1 | 2 | 527 | - |7178k| 0 | 49 |1800 |1700 |1800 | 195 | 195 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
7.09/7.10 c 6.9s| 10000 | 9997 | 6139 | 0.6 | 19M| 447 | 0 |1800 |1704 |1800 | 226 |2006 | 4 | 702 | 0.000000e+00 | 4.209250e+05 | Inf
13.39/13.44 c 13.1s| 20000 | 19988 | 11361 | 0.5 | 29M| 447 | - |1800 |1730 | 0 | 0 |3810 | 30 | 721 | 0.000000e+00 | 4.209250e+05 | Inf
17.79/17.86 o 7452
17.79/17.86 c *17.4s| 27040 | 18809 | 14393 | 0.5 | 28M| 447 | - |1800 |1741 |1800 | 254 |4921 | 41 | 725 | 0.000000e+00 | 7.452000e+03 | Inf
20.19/20.28 c 19.7s| 30000 | 21760 | 16816 | 0.5 | 31M| 447 | 0 |1800 |1781 |1800 | 216 |5985 | 81 | 725 | 0.000000e+00 | 7.452000e+03 | Inf
27.69/27.77 c 27.0s| 40000 | 31734 | 23021 | 0.6 | 41M| 447 | 0 |1800 |1863 |1800 | 218 |8347 | 163 | 732 | 0.000000e+00 | 7.452000e+03 | Inf
34.69/34.74 c 33.9s| 50000 | 41475 | 27583 | 0.5 | 52M| 447 | 0 |1800 |2688 |1800 | 211 |9950 |1017 | 740 | 0.000000e+00 | 7.452000e+03 | Inf
41.99/42.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.99/42.07 c 41.0s| 60000 | 51084 | 33765 | 0.6 | 63M| 447 | 0 |1800 |2770 |1800 | 190 | 12k|2440 | 752 | 0.000000e+00 | 7.452000e+03 | Inf
49.69/49.75 c 48.5s| 70000 | 60617 | 42168 | 0.6 | 74M| 447 | 0 |1800 |2728 |1800 | 219 | 15k|4115 | 756 | 0.000000e+00 | 7.452000e+03 | Inf
57.10/57.14 c 55.7s| 80000 | 70278 | 48081 | 0.6 | 85M| 447 | 0 |1800 |2426 |1800 | 231 | 17k|5159 | 758 | 0.000000e+00 | 7.452000e+03 | Inf
64.70/64.71 c 63.1s| 90000 | 79713 | 56546 | 0.6 | 96M| 447 | 0 |1800 |2942 |1800 | 212 | 20k|7223 | 793 | 0.000000e+00 | 7.452000e+03 | Inf
71.69/71.71 c 69.9s|100000 | 89642 | 60651 | 0.6 | 105M| 447 | 0 |1800 |2291 |1800 | 196 | 21k|7499 | 804 | 0.000000e+00 | 7.452000e+03 | Inf
78.39/78.49 c 76.6s|110000 | 99617 | 63991 | 0.6 | 115M| 447 | 0 |1800 |2277 |1800 | 203 | 22k|7546 | 813 | 0.000000e+00 | 7.452000e+03 | Inf
85.19/85.25 c 83.2s|120000 |109557 | 67054 | 0.6 | 125M| 447 | 0 |1800 |2266 |1800 | 222 | 23k|7723 | 827 | 0.000000e+00 | 7.452000e+03 | Inf
92.19/92.26 c 90.0s|130000 |119519 | 70676 | 0.5 | 135M| 447 | 0 |1800 |2207 |1800 | 225 | 24k|7843 | 848 | 0.000000e+00 | 7.452000e+03 | Inf
99.20/99.26 c 96.9s|140000 |129456 | 74368 | 0.5 | 145M| 447 | 0 |1800 |2282 |1800 | 231 | 26k|8012 | 860 | 0.000000e+00 | 7.452000e+03 | Inf
107.00/107.00 c 104s|150000 |139291 | 82161 | 0.5 | 155M| 447 | 0 |1800 |2552 |1800 | 215 | 28k|8662 | 889 | 0.000000e+00 | 7.452000e+03 | Inf
114.70/114.71 c 112s|160000 |149213 | 90319 | 0.6 | 165M| 447 | 0 |1800 |2561 |1800 | 229 | 31k|8962 | 927 | 0.000000e+00 | 7.452000e+03 | Inf
122.50/122.50 c 120s|170000 |159087 | 97934 | 0.6 | 175M| 447 | 0 |1800 |2654 |1800 | 224 | 34k|9465 | 969 | 0.000000e+00 | 7.452000e+03 | Inf
130.30/130.33 c 127s|180000 |168639 |105587 | 0.6 | 186M| 447 | 0 |1800 |3261 |1800 | 224 | 36k| 11k|1090 | 0.000000e+00 | 7.452000e+03 | Inf
137.99/138.00 c 135s|190000 |178118 |113048 | 0.6 | 198M| 447 | 0 |1800 |4127 |1800 | 226 | 39k| 13k|1132 | 0.000000e+00 | 7.452000e+03 | Inf
145.80/145.86 c 142s|200000 |187624 |120730 | 0.6 | 209M| 447 | 0 |1800 |4288 |1800 | 218 | 41k| 15k|1200 | 0.000000e+00 | 7.452000e+03 | Inf
153.20/153.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.20/153.26 c 150s|210000 |197167 |127121 | 0.6 | 219M| 447 | 0 |1800 |2933 |1800 | 203 | 43k| 17k|1304 | 0.000000e+00 | 7.452000e+03 | Inf
160.39/160.42 c 156s|220000 |206433 |132234 | 0.6 | 230M| 447 | 0 |1800 |3397 |1800 | 219 | 45k| 19k|1344 | 0.000000e+00 | 7.452000e+03 | Inf
167.80/167.84 c 164s|230000 |215941 |138094 | 0.6 | 240M| 447 | 0 |1800 |3339 |1800 | 201 | 47k| 21k|1372 | 0.000000e+00 | 7.452000e+03 | Inf
172.89/172.98 o 7450
172.89/172.98 c * 169s|236939 |222568 |142210 | 0.6 | 248M| 447 | - |1800 |3232 |1800 | 207 | 48k| 22k|1392 | 0.000000e+00 | 7.450000e+03 | Inf
175.49/175.51 c 171s|240000 |225530 |144849 | 0.6 | 251M| 447 | 0 |1800 |3287 |1800 | 212 | 49k| 22k|1408 | 0.000000e+00 | 7.450000e+03 | Inf
183.79/183.81 c 179s|250000 |235421 |154174 | 0.6 | 261M| 447 | 0 |1800 |2668 |1800 | 228 | 52k| 22k|1441 | 0.000000e+00 | 7.450000e+03 | Inf
192.20/192.21 c 187s|260000 |245066 |164803 | 0.6 | 272M| 447 | 0 |1800 |3350 |1800 | 232 | 56k| 24k|1491 | 0.000000e+00 | 7.450000e+03 | Inf
200.30/200.37 c 195s|270000 |254929 |173860 | 0.6 | 282M| 447 | 0 |1800 |2806 |1800 | 224 | 59k| 25k|1531 | 0.000000e+00 | 7.450000e+03 | Inf
208.10/208.10 c 203s|280000 |264731 |180334 | 0.6 | 292M| 447 | 0 |1800 |2882 |1800 | 236 | 62k| 25k|1574 | 0.000000e+00 | 7.450000e+03 | Inf
214.90/214.95 o 7368
214.90/214.95 c * 210s|289289 |273164 |184406 | 0.6 | 301M| 447 | - |1800 |3063 |1800 | 235 | 63k| 26k|1586 | 0.000000e+00 | 7.368000e+03 | Inf
215.10/215.17 o 7339
215.10/215.17 c * 210s|289516 |273135 |184706 | 0.6 | 301M| 447 | - |1800 |3081 |1800 | 239 | 63k| 26k|1589 | 0.000000e+00 | 7.339000e+03 | Inf
215.50/215.58 c 210s|290000 |273613 |185205 | 0.6 | 302M| 447 | 0 |1800 |3072 |1800 | 216 | 63k| 26k|1589 | 0.000000e+00 | 7.339000e+03 | Inf
217.70/217.78 o 7253
217.70/217.78 c * 212s|292591 |275269 |187646 | 0.6 | 303M| 447 | - |1800 |3147 |1800 | 223 | 64k| 27k|1615 | 0.000000e+00 | 7.253000e+03 | Inf
223.30/223.33 c 218s|300000 |282575 |192130 | 0.6 | 311M| 447 | - |1800 |2979 |1800 | 223 | 66k| 27k|1658 | 0.000000e+00 | 7.253000e+03 | Inf
230.80/230.81 c 225s|310000 |291835 |198672 | 0.6 | 322M| 447 | 0 |1800 |3510 |1800 | 216 | 68k| 29k|1761 | 0.000000e+00 | 7.253000e+03 | Inf
238.00/238.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.00/238.08 c 232s|320000 |301473 |203418 | 0.6 | 332M| 447 | 0 |1800 |3032 |1800 | 225 | 69k| 31k|1834 | 0.000000e+00 | 7.253000e+03 | Inf
239.00/239.03 o 7005
239.00/239.03 c * 233s|321113 |299115 |204560 | 0.6 | 330M| 447 | - |1800 |3410 |1800 | 220 | 70k| 31k|1844 | 0.000000e+00 | 7.005000e+03 | Inf
245.80/245.81 c 240s|330000 |307560 |210023 | 0.6 | 339M| 447 | 0 |1800 |3320 |1800 | 219 | 72k| 32k|1898 | 0.000000e+00 | 7.005000e+03 | Inf
253.60/253.60 c 247s|340000 |317022 |217692 | 0.6 | 350M| 447 | 0 |1800 |3615 |1800 | 210 | 74k| 34k|1950 | 0.000000e+00 | 7.005000e+03 | Inf
260.60/260.66 c 254s|350000 |326473 |221214 | 0.6 | 361M| 447 | 0 |1800 |3436 |1800 | 216 | 75k| 36k|1988 | 0.000000e+00 | 7.005000e+03 | Inf
263.20/263.23 o 6982
263.20/263.23 c * 257s|353401 |329302 |223426 | 0.6 | 365M| 447 | - |1800 |3622 |1800 | 230 | 76k| 37k|2003 | 0.000000e+00 | 6.982000e+03 | Inf
266.10/266.20 o 6955
266.10/266.20 c * 260s|357333 |332514 |225418 | 0.6 | 369M| 447 | - |1800 |3488 |1800 | 235 | 77k| 38k|2021 | 0.000000e+00 | 6.955000e+03 | Inf
268.10/268.13 c 261s|360000 |335084 |226862 | 0.6 | 372M| 447 | 0 |1800 |3213 |1800 | 219 | 77k| 38k|2032 | 0.000000e+00 | 6.955000e+03 | Inf
275.40/275.43 c 269s|370000 |344730 |232040 | 0.6 | 382M| 447 | 0 |1800 |3141 |1800 | 212 | 79k| 39k|2063 | 0.000000e+00 | 6.955000e+03 | Inf
283.00/283.02 c 276s|380000 |354028 |239111 | 0.6 | 393M| 447 | 0 |1800 |3944 |1800 | 198 | 81k| 42k|2113 | 0.000000e+00 | 6.955000e+03 | Inf
283.00/283.08 o 6921
283.00/283.08 c * 276s|380061 |353473 |239221 | 0.6 | 392M| 447 | - |1800 |3945 |1800 | 217 | 81k| 42k|2113 | 0.000000e+00 | 6.921000e+03 | Inf
284.40/284.48 o 6887
284.40/284.48 c * 277s|381738 |354336 |241017 | 0.6 | 393M| 447 | - |1800 |3927 |1800 | 220 | 82k| 42k|2126 | 0.000000e+00 | 6.887000e+03 | Inf
284.50/284.59 o 6881
284.50/284.59 c * 277s|381859 |354322 |241239 | 0.6 | 393M| 447 | - |1800 |3973 |1800 | 211 | 82k| 43k|2126 | 0.000000e+00 | 6.881000e+03 | Inf
284.90/284.91 o 6846
284.90/284.91 c * 278s|382235 |353959 |241593 | 0.6 | 392M| 447 | - |1800 |3987 |1800 | 212 | 82k| 43k|2128 | 0.000000e+00 | 6.846000e+03 | Inf
284.90/284.91 o 6771
284.90/284.91 c * 278s|382236 |352282 |241593 | 0.6 | 390M| 447 | - |1800 |3987 |1800 | 212 | 82k| 43k|2128 | 0.000000e+00 | 6.771000e+03 | Inf
287.29/287.31 o 6766
287.29/287.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.29/287.31 c * 280s|385335 |355080 |243686 | 0.6 | 393M| 447 | - |1800 |4183 |1800 | 237 | 83k| 43k|2128 | 0.000000e+00 | 6.766000e+03 | Inf
290.70/290.76 c 283s|390000 |359454 |245705 | 0.6 | 398M| 447 | 0 |1800 |3674 |1800 | 205 | 83k| 44k|2155 | 0.000000e+00 | 6.766000e+03 | Inf
298.29/298.30 c 291s|400000 |368785 |251431 | 0.6 | 408M| 447 | 0 |1800 |3887 |1800 | 223 | 85k| 46k|2196 | 0.000000e+00 | 6.766000e+03 | Inf
305.50/305.59 c 298s|410000 |378310 |255696 | 0.6 | 419M| 447 | 0 |1800 |3716 |1800 | 212 | 87k| 48k|2214 | 0.000000e+00 | 6.766000e+03 | Inf
312.90/312.97 c 305s|420000 |387620 |260718 | 0.6 | 430M| 447 | 0 |1800 |4040 |1800 | 214 | 89k| 50k|2248 | 0.000000e+00 | 6.766000e+03 | Inf
320.30/320.39 c 312s|430000 |397111 |265892 | 0.6 | 441M| 447 | 0 |1800 |3665 |1800 | 229 | 91k| 52k|2275 | 0.000000e+00 | 6.766000e+03 | Inf
327.90/327.99 c 320s|440000 |406466 |271877 | 0.6 | 452M| 447 | 0 |1800 |3846 |1800 | 209 | 93k| 54k|2301 | 0.000000e+00 | 6.766000e+03 | Inf
332.30/332.35 o 6765
332.30/332.35 c * 324s|446084 |412155 |274756 | 0.6 | 459M| 447 | - |1800 |3798 |1800 | 223 | 94k| 55k|2323 | 0.000000e+00 | 6.765000e+03 | Inf
333.31/333.35 o 6727
333.31/333.35 c * 325s|447394 |412411 |275586 | 0.6 | 459M| 447 | - |1800 |3752 |1800 | 230 | 94k| 56k|2328 | 0.000000e+00 | 6.727000e+03 | Inf
333.31/333.36 o 6663
333.31/333.36 c * 325s|447395 |410626 |275588 | 0.6 | 455M| 447 | - |1800 |3752 |1800 | 230 | 94k| 56k|2328 | 0.000000e+00 | 6.663000e+03 | Inf
335.30/335.38 c 327s|450000 |412982 |277528 | 0.6 | 458M| 447 | 0 |1800 |4061 |1800 | 231 | 95k| 56k|2330 | 0.000000e+00 | 6.663000e+03 | Inf
337.40/337.42 o 6580
337.40/337.42 c * 329s|452775 |412943 |278777 | 0.6 | 457M| 447 | - |1800 |4062 |1800 | 224 | 95k| 57k|2339 | 0.000000e+00 | 6.580000e+03 | Inf
342.90/342.99 c 335s|460000 |419621 |283936 | 0.6 | 465M| 447 | 0 |1800 |3921 |1800 | 215 | 97k| 59k|2372 | 0.000000e+00 | 6.580000e+03 | Inf
350.50/350.56 c 342s|470000 |428713 |290091 | 0.6 | 477M| 447 | 0 |1800 |4733 |1800 | 239 | 99k| 62k|2403 | 0.000000e+00 | 6.580000e+03 | Inf
357.90/357.98 c 349s|480000 |438027 |295631 | 0.6 | 488M| 447 | 0 |1800 |3746 |1800 | 218 | 100k| 64k|2444 | 0.000000e+00 | 6.580000e+03 | Inf
364.90/364.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.90/364.92 c 356s|490000 |447403 |299063 | 0.6 | 499M| 447 | 0 |1800 |3820 |1800 | 212 | 101k| 66k|2447 | 0.000000e+00 | 6.580000e+03 | Inf
372.00/372.02 c 363s|500000 |456980 |302772 | 0.6 | 509M| 447 | 0 |1800 |3591 |1800 | 196 | 103k| 68k|2469 | 0.000000e+00 | 6.580000e+03 | Inf
379.41/379.41 c 370s|510000 |466462 |308677 | 0.6 | 520M| 447 | 0 |1800 |4200 |1800 | 227 | 104k| 70k|2482 | 0.000000e+00 | 6.580000e+03 | Inf
387.21/387.27 c 378s|520000 |475691 |317005 | 0.6 | 532M| 447 | 0 |1800 |4262 |1800 | 218 | 107k| 73k|2508 | 0.000000e+00 | 6.580000e+03 | Inf
394.70/394.79 c 385s|530000 |484597 |323485 | 0.6 | 544M| 447 | 0 |1800 |5059 |1800 | 223 | 109k| 77k|2533 | 0.000000e+00 | 6.580000e+03 | Inf
402.10/402.16 c 392s|540000 |494111 |329305 | 0.6 | 555M| 447 | 0 |1800 |3784 |1800 | 237 | 110k| 78k|2561 | 0.000000e+00 | 6.580000e+03 | Inf
409.50/409.50 c 400s|550000 |503243 |334702 | 0.6 | 566M| 447 | 0 |1800 |3891 |1800 | 226 | 112k| 81k|2585 | 0.000000e+00 | 6.580000e+03 | Inf
417.21/417.28 c 407s|560000 |512251 |342196 | 0.6 | 578M| 447 | 0 |1800 |4404 |1800 | 218 | 115k| 84k|2618 | 0.000000e+00 | 6.580000e+03 | Inf
424.61/424.67 c 414s|570000 |521448 |347462 | 0.6 | 589M| 447 | 0 |1800 |4249 |1800 | 224 | 117k| 87k|2651 | 0.000000e+00 | 6.580000e+03 | Inf
432.91/432.92 c 422s|580000 |530805 |357312 | 0.6 | 600M| 447 | 0 |1800 |4182 |1800 | 232 | 120k| 89k|2686 | 0.000000e+00 | 6.580000e+03 | Inf
440.51/440.54 c 430s|590000 |540218 |363876 | 0.6 | 611M| 447 | 0 |1800 |4637 |1800 | 231 | 122k| 91k|2710 | 0.000000e+00 | 6.580000e+03 | Inf
442.60/442.65 o 6551
442.60/442.65 c * 432s|592541 |541312 |366232 | 0.6 | 612M| 447 | - |1800 |5109 |1800 | 244 | 123k| 93k|2737 | 0.000000e+00 | 6.551000e+03 | Inf
442.91/442.94 o 6529
442.91/442.94 c * 432s|592902 |540753 |366461 | 0.6 | 611M| 447 | - |1800 |5112 |1800 | 241 | 123k| 93k|2737 | 0.000000e+00 | 6.529000e+03 | Inf
448.10/448.16 c 437s|600000 |547506 |369602 | 0.6 | 618M| 447 | 0 |1800 |4535 |1800 | 217 | 124k| 94k|2738 | 0.000000e+00 | 6.529000e+03 | Inf
454.70/454.76 o 6503
454.70/454.76 c * 444s|608806 |554622 |375379 | 0.6 | 626M| 447 | - |1800 |5268 |1800 | 225 | 126k| 96k|2755 | 0.000000e+00 | 6.503000e+03 | Inf
455.51/455.58 o 6427
455.51/455.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.51/455.58 c * 444s|609847 |551881 |376009 | 0.6 | 621M| 447 | - |1800 |5262 |1800 | 226 | 127k| 97k|2759 | 0.000000e+00 | 6.427000e+03 | Inf
455.60/455.61 o 6356
455.60/455.61 c * 444s|609851 |548139 |376030 | 0.6 | 615M| 447 | - |1800 |5270 |1800 | 228 | 127k| 97k|2759 | 0.000000e+00 | 6.356000e+03 | Inf
455.70/455.74 c 445s|610000 |548273 |376254 | 0.6 | 615M| 447 | 0 |1800 |5270 |1800 | 215 | 127k| 97k|2759 | 0.000000e+00 | 6.356000e+03 | Inf
463.20/463.26 c 452s|620000 |557728 |382257 | 0.6 | 625M| 447 | 0 |1800 |4347 |1800 | 222 | 129k| 98k|2795 | 0.000000e+00 | 6.356000e+03 | Inf
470.81/470.83 c 459s|630000 |566761 |389062 | 0.6 | 637M| 447 | 0 |1800 |4864 |1800 | 233 | 131k| 102k|2823 | 0.000000e+00 | 6.356000e+03 | Inf
474.21/474.29 o 6266
474.21/474.29 c * 463s|634456 |565493 |392454 | 0.6 | 634M| 447 | - |1800 |4940 |1800 | 227 | 132k| 104k|2842 | 0.000000e+00 | 6.266000e+03 | Inf
477.00/477.00 o 6262
477.00/477.00 c * 465s|637765 |568413 |395915 | 0.6 | 638M| 447 | - |1800 |5066 |1800 | 218 | 133k| 104k|2850 | 0.000000e+00 | 6.262000e+03 | Inf
477.00/477.01 o 6242
477.00/477.01 c * 465s|637766 |567151 |395916 | 0.6 | 636M| 447 | - |1800 |5066 |1800 | 218 | 133k| 104k|2850 | 0.000000e+00 | 6.242000e+03 | Inf
478.71/478.71 c 467s|640000 |569308 |397424 | 0.6 | 638M| 447 | 0 |1800 |4901 |1800 | 226 | 134k| 105k|2852 | 0.000000e+00 | 6.242000e+03 | Inf
485.60/485.68 c 474s|650000 |578947 |401013 | 0.6 | 648M| 447 | 0 |1800 |4103 |1800 | 220 | 135k| 106k|2864 | 0.000000e+00 | 6.242000e+03 | Inf
491.00/491.03 o 6051
491.00/491.03 c * 479s|657118 |573492 |405303 | 0.6 | 637M| 447 | - |1800 |3739 |1800 | 229 | 136k| 107k|2891 | 0.000000e+00 | 6.051000e+03 | Inf
493.20/493.26 c 481s|660000 |576087 |407101 | 0.6 | 641M| 447 | 0 |1800 |4069 |1800 | 209 | 137k| 108k|2900 | 0.000000e+00 | 6.051000e+03 | Inf
501.00/501.09 c 489s|670000 |585247 |414587 | 0.6 | 652M| 447 | 0 |1800 |4024 |1800 | 224 | 139k| 111k|2925 | 0.000000e+00 | 6.051000e+03 | Inf
508.61/508.67 c 496s|680000 |594726 |420809 | 0.6 | 663M| 447 | 0 |1800 |3730 |1800 | 227 | 141k| 113k|2948 | 0.000000e+00 | 6.051000e+03 | Inf
516.30/516.37 c 504s|690000 |603587 |427294 | 0.6 | 675M| 447 | 0 |1800 |4878 |1800 | 232 | 143k| 117k|2975 | 0.000000e+00 | 6.051000e+03 | Inf
522.71/522.78 o 6033
522.71/522.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.71/522.78 c * 510s|698267 |609953 |433127 | 0.6 | 683M| 447 | - |1800 |5170 |1800 | 235 | 145k| 119k|3002 | 0.000000e+00 | 6.033000e+03 | Inf
524.01/524.04 c 511s|700000 |611626 |433846 | 0.6 | 684M| 447 | 0 |1800 |5108 |1800 | 234 | 146k| 119k|3002 | 0.000000e+00 | 6.033000e+03 | Inf
525.41/525.45 o 6012
525.41/525.45 c * 513s|701870 |611831 |435109 | 0.6 | 684M| 447 | - |1800 |5235 |1800 | 230 | 146k| 120k|3006 | 0.000000e+00 | 6.012000e+03 | Inf
525.51/525.51 o 5982
525.51/525.51 c * 513s|701919 |609578 |435176 | 0.6 | 681M| 447 | - |1800 |5261 |1800 | 232 | 146k| 120k|3006 | 0.000000e+00 | 5.982000e+03 | Inf
531.90/531.95 c 519s|710000 |616697 |441800 | 0.6 | 690M| 447 | 0 |1800 |4957 |1800 | 204 | 148k| 123k|3029 | 0.000000e+00 | 5.982000e+03 | Inf
534.41/534.46 o 5959
534.41/534.46 c * 521s|713252 |617962 |444013 | 0.6 | 692M| 447 | - |1800 |4926 |1800 | 222 | 149k| 124k|3030 | 0.000000e+00 | 5.959000e+03 | Inf
540.01/540.09 c 527s|720000 |624312 |450899 | 0.6 | 699M| 447 | 0 |1800 |4694 |1800 | 209 | 151k| 125k|3041 | 0.000000e+00 | 5.959000e+03 | Inf
548.71/548.75 c 535s|730000 |633827 |461704 | 0.6 | 710M| 447 | 0 |1800 |4570 |1800 | 208 | 155k| 127k|3060 | 0.000000e+00 | 5.959000e+03 | Inf
557.30/557.33 c 544s|740000 |643342 |472202 | 0.6 | 721M| 447 | 0 |1800 |5305 |1800 | 222 | 159k| 129k|3075 | 0.000000e+00 | 5.959000e+03 | Inf
565.80/565.89 c 552s|750000 |652796 |482925 | 0.6 | 733M| 447 | 0 |1800 |5054 |1800 | 208 | 162k| 131k|3109 | 0.000000e+00 | 5.959000e+03 | Inf
570.61/570.66 o 5921
570.61/570.66 c * 557s|755866 |655394 |488246 | 0.6 | 735M| 447 | - |1800 |5024 |1800 | 223 | 164k| 132k|3118 | 0.000000e+00 | 5.921000e+03 | Inf
573.81/573.86 c 560s|760000 |659294 |491126 | 0.6 | 739M| 447 | 0 |1800 |4892 |1800 | 234 | 165k| 133k|3125 | 0.000000e+00 | 5.921000e+03 | Inf
581.61/581.68 c 567s|770000 |668756 |498379 | 0.6 | 750M| 447 | 0 |1800 |4428 |1800 | 239 | 168k| 135k|3175 | 0.000000e+00 | 5.921000e+03 | Inf
588.91/588.90 c 574s|780000 |678105 |503337 | 0.6 | 761M| 447 | 0 |1800 |4163 |1800 | 213 | 169k| 137k|3206 | 0.000000e+00 | 5.921000e+03 | Inf
596.41/596.46 c 582s|790000 |687076 |509741 | 0.6 | 772M| 447 | - |1800 |4568 | 0 | 0 | 171k| 140k|3233 | 0.000000e+00 | 5.921000e+03 | Inf
604.01/604.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.01/604.08 c 589s|800000 |696201 |516371 | 0.6 | 784M| 447 | 0 |1800 |4750 |1800 | 214 | 174k| 143k|3277 | 0.000000e+00 | 5.921000e+03 | Inf
608.51/608.56 o 5907
608.51/608.56 c * 594s|805870 |700323 |520418 | 0.6 | 788M| 447 | - |1800 |4197 |1800 | 222 | 175k| 144k|3283 | 0.000000e+00 | 5.907000e+03 | Inf
611.81/611.84 c 597s|810000 |704044 |523734 | 0.6 | 793M| 447 | 0 |1800 |4241 |1800 | 229 | 176k| 146k|3284 | 0.000000e+00 | 5.907000e+03 | Inf
619.11/619.17 c 604s|820000 |713305 |528415 | 0.6 | 804M| 447 | 0 |1800 |4145 |1800 | 237 | 178k| 148k|3308 | 0.000000e+00 | 5.907000e+03 | Inf
619.51/619.51 o 5863
619.51/619.51 c * 604s|820456 |709792 |528608 | 0.6 | 798M| 447 | - |1800 |4115 |1800 | 234 | 178k| 148k|3308 | 0.000000e+00 | 5.863000e+03 | Inf
619.51/619.53 o 5776
619.51/619.53 c * 604s|820457 |701906 |528611 | 0.6 | 786M| 447 | - |1800 |4115 |1800 | 234 | 178k| 148k|3308 | 0.000000e+00 | 5.776000e+03 | Inf
621.71/621.78 o 5763
621.71/621.78 c * 607s|823276 |703186 |530652 | 0.6 | 787M| 447 | - |1800 |4617 |1800 | 232 | 178k| 149k|3313 | 0.000000e+00 | 5.763000e+03 | Inf
622.10/622.17 o 5615
622.10/622.17 c * 607s|823674 |688858 |531024 | 0.6 | 763M| 447 | - |1800 |4729 |1800 | 239 | 178k| 149k|3313 | 0.000000e+00 | 5.615000e+03 | Inf
623.90/623.91 o 5343
623.90/623.91 c * 609s|825998 |661138 |531833 | 0.6 | 721M| 447 | - |1800 |4419 |1800 | 219 | 179k| 149k|3318 | 0.000000e+00 | 5.343000e+03 | Inf
627.01/627.03 c 612s|830000 |664781 |534636 | 0.6 | 725M| 447 | 0 |1800 |4376 |1800 | 242 | 180k| 150k|3326 | 0.000000e+00 | 5.343000e+03 | Inf
634.31/634.38 c 619s|840000 |674156 |539354 | 0.6 | 736M| 447 | 0 |1800 |3838 |1800 | 213 | 181k| 152k|3345 | 0.000000e+00 | 5.343000e+03 | Inf
642.01/642.01 c 626s|850000 |683327 |547212 | 0.6 | 747M| 447 | 0 |1800 |3824 |1800 | 233 | 183k| 155k|3362 | 0.000000e+00 | 5.343000e+03 | Inf
649.60/649.66 c 634s|860000 |692368 |553439 | 0.6 | 759M| 447 | 0 |1800 |4242 |1800 | 215 | 186k| 157k|3393 | 0.000000e+00 | 5.343000e+03 | Inf
653.21/653.23 o 5294
653.21/653.23 c * 637s|864284 |690399 |557516 | 0.6 | 755M| 447 | - |1800 |4648 |1800 | 235 | 187k| 159k|3405 | 0.000000e+00 | 5.294000e+03 | Inf
657.71/657.70 c 642s|870000 |695657 |561908 | 0.6 | 761M| 447 | 0 |1800 |4637 |1800 | 232 | 189k| 160k|3419 | 0.000000e+00 | 5.294000e+03 | Inf
662.41/662.48 o 5187
662.41/662.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
662.41/662.48 c * 646s|876225 |687933 |565778 | 0.6 | 751M| 447 | - |1800 |5394 |1800 | 221 | 190k| 163k|3435 | 0.000000e+00 | 5.187000e+03 | Inf
665.61/665.65 c 649s|880000 |691188 |568743 | 0.6 | 755M| 447 | 0 |1800 |4980 |1800 | 222 | 191k| 165k|3447 | 0.000000e+00 | 5.187000e+03 | Inf
673.12/673.20 c 657s|890000 |700459 |575613 | 0.6 | 766M| 447 | 0 |1800 |4416 |1800 | 239 | 193k| 167k|3468 | 0.000000e+00 | 5.187000e+03 | Inf
681.01/681.06 c 664s|900000 |709373 |582295 | 0.6 | 779M| 447 | 0 |1800 |4198 |1800 | 225 | 195k| 170k|3492 | 0.000000e+00 | 5.187000e+03 | Inf
688.91/688.95 c 672s|910000 |718160 |589822 | 0.6 | 791M| 447 | 0 |1800 |4626 |1800 | 220 | 198k| 173k|3521 | 0.000000e+00 | 5.187000e+03 | Inf
694.81/694.81 o 5173
694.81/694.81 c * 678s|917501 |722732 |595176 | 0.6 | 797M| 447 | - |1800 |4850 |1800 | 242 | 199k| 176k|3544 | 0.000000e+00 | 5.173000e+03 | Inf
696.81/696.85 c 680s|920000 |724865 |597150 | 0.6 | 801M| 447 | 0 |1800 |4771 |1800 | 224 | 200k| 177k|3549 | 0.000000e+00 | 5.173000e+03 | Inf
697.71/697.79 o 5160
697.71/697.79 c * 681s|921136 |723990 |598248 | 0.6 | 800M| 447 | - |1800 |4789 |1800 | 232 | 200k| 178k|3553 | 0.000000e+00 | 5.160000e+03 | Inf
705.31/705.32 c 688s|930000 |732142 |608236 | 0.7 | 810M| 447 | 0 |1800 |4055 |1800 | 212 | 203k| 180k|3576 | 0.000000e+00 | 5.160000e+03 | Inf
713.11/713.11 c 696s|940000 |741016 |615723 | 0.7 | 821M| 447 | 0 |1800 |4325 |1800 | 218 | 206k| 183k|3616 | 0.000000e+00 | 5.160000e+03 | Inf
720.81/720.87 c 703s|950000 |749913 |622590 | 0.7 | 834M| 447 | 0 |1800 |4425 |1800 | 218 | 208k| 186k|3676 | 0.000000e+00 | 5.160000e+03 | Inf
725.41/725.45 o 5110
725.41/725.45 c * 708s|955655 |748555 |627787 | 0.7 | 831M| 447 | - |1800 |4670 |1800 | 197 | 210k| 188k|3684 | 0.000000e+00 | 5.110000e+03 | Inf
725.61/725.60 o 4748
725.61/725.60 c * 708s|955713 |697314 |627831 | 0.7 | 764M| 447 | - |1800 |4664 |1800 | 198 | 210k| 188k|3684 | 0.000000e+00 | 4.748000e+03 | Inf
729.22/729.24 c 711s|960000 |701090 |632376 | 0.7 | 770M| 447 | 0 |1800 |4650 |1800 | 200 | 211k| 190k|3701 | 0.000000e+00 | 4.748000e+03 | Inf
737.81/737.81 c 720s|970000 |709483 |641546 | 0.7 | 783M| 447 | 0 |1800 |5224 |1800 | 231 | 214k| 194k|3732 | 0.000000e+00 | 4.748000e+03 | Inf
746.82/746.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
746.82/746.87 c 728s|980000 |717992 |654533 | 0.7 | 796M| 447 | 0 |1800 |4962 |1800 | 210 | 218k| 199k|3784 | 0.000000e+00 | 4.748000e+03 | Inf
754.62/754.60 c 736s|990000 |727107 |660800 | 0.7 | 808M| 447 | 0 |1800 |4939 |1800 | 225 | 220k| 201k|3800 | 0.000000e+00 | 4.748000e+03 | Inf
763.12/763.14 c 744s| 1000k|735411 |670600 | 0.7 | 821M| 447 | 0 |1800 |4976 |1800 | 227 | 223k| 206k|3836 | 0.000000e+00 | 4.748000e+03 | Inf
767.61/767.68 o 4692
767.61/767.68 c * 749s| 1004k|730777 |678085 | 0.7 | 818M| 447 | - |1800 |5367 |1800 | 231 | 225k| 208k|3866 | 0.000000e+00 | 4.692000e+03 | Inf
772.01/772.06 c 753s| 1010k|735082 |682819 | 0.7 | 825M| 447 | 0 |1800 |5278 |1800 | 218 | 227k| 211k|3876 | 0.000000e+00 | 4.692000e+03 | Inf
774.32/774.39 o 4686
774.32/774.39 c * 755s| 1012k|736491 |685317 | 0.7 | 827M| 447 | - |1800 |5227 |1800 | 233 | 228k| 212k|3877 | 0.000000e+00 | 4.686000e+03 | Inf
775.31/775.33 o 4663
775.31/775.33 c * 756s| 1013k|734004 |686555 | 0.7 | 825M| 447 | - |1800 |5161 |1800 | 229 | 228k| 213k|3887 | 0.000000e+00 | 4.663000e+03 | Inf
780.11/780.13 c 761s| 1020k|739302 |690381 | 0.7 | 832M| 447 | 0 |1800 |5270 |1800 | 210 | 229k| 215k|3897 | 0.000000e+00 | 4.663000e+03 | Inf
783.51/783.50 o 4583
783.51/783.50 c * 764s| 1024k|730622 |693466 | 0.7 | 823M| 447 | - |1800 |5795 |1800 | 224 | 230k| 217k|3907 | 0.000000e+00 | 4.583000e+03 | Inf
783.51/783.57 o 4520
783.51/783.57 c * 764s| 1024k|721038 |693519 | 0.7 | 811M| 447 | - |1800 |5780 |1800 | 224 | 230k| 217k|3907 | 0.000000e+00 | 4.520000e+03 | Inf
788.01/788.05 c 769s| 1030k|726195 |697056 | 0.7 | 818M| 447 | 0 |1800 |5883 |1800 | 224 | 231k| 219k|3909 | 0.000000e+00 | 4.520000e+03 | Inf
796.71/796.71 c 777s| 1040k|734493 |707459 | 0.7 | 832M| 447 | 0 |1800 |5489 |1800 | 221 | 234k| 223k|3959 | 0.000000e+00 | 4.520000e+03 | Inf
798.52/798.54 o 4465
798.52/798.54 c * 779s| 1042k|727738 |709416 | 0.7 | 824M| 447 | - |1800 |5682 |1800 | 216 | 235k| 224k|3961 | 0.000000e+00 | 4.465000e+03 | Inf
805.11/805.19 c 785s| 1050k|734183 |716717 | 0.7 | 834M| 447 | 0 |1800 |6317 |1800 | 220 | 237k| 227k|3972 | 0.000000e+00 | 4.465000e+03 | Inf
805.22/805.28 o 4453
805.22/805.28 c * 785s| 1050k|732255 |716786 | 0.7 | 832M| 447 | - |1800 |6326 |1800 | 225 | 237k| 227k|3972 | 0.000000e+00 | 4.453000e+03 | Inf
813.61/813.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.61/813.63 c 793s| 1060k|740561 |724965 | 0.7 | 845M| 447 | 0 |1800 |6326 |1800 | 215 | 240k| 232k|3985 | 0.000000e+00 | 4.453000e+03 | Inf
814.31/814.30 o 4418
814.31/814.30 c * 794s| 1060k|735528 |725508 | 0.7 | 839M| 447 | - |1800 |6320 |1800 | 241 | 240k| 232k|3985 | 0.000000e+00 | 4.418000e+03 | Inf
814.31/814.33 o 4343
814.31/814.33 c * 794s| 1060k|723040 |725516 | 0.7 | 823M| 447 | - |1800 |6320 |1800 | 241 | 240k| 232k|3985 | 0.000000e+00 | 4.343000e+03 | Inf
822.21/822.27 c 802s| 1070k|730800 |735317 | 0.7 | 835M| 447 | 0 |1800 |5134 |1800 | 207 | 243k| 236k|4032 | 0.000000e+00 | 4.343000e+03 | Inf
831.11/831.13 c 811s| 1080k|739038 |746387 | 0.7 | 849M| 447 | - |1800 |4763 | 0 | 0 | 247k| 240k|4074 | 0.000000e+00 | 4.343000e+03 | Inf
834.51/834.55 o 4338
834.51/834.55 c * 814s| 1083k|741200 |750647 | 0.7 | 853M| 447 | - |1800 |4854 |1800 | 222 | 248k| 242k|4093 | 0.000000e+00 | 4.338000e+03 | Inf
839.62/839.60 c 819s| 1090k|746294 |755946 | 0.7 | 861M| 447 | 0 |1800 |5084 |1800 | 211 | 250k| 244k|4101 | 0.000000e+00 | 4.338000e+03 | Inf
847.91/847.96 c 827s| 1100k|754580 |764541 | 0.7 | 874M| 447 | 0 |1800 |5369 |1800 | 231 | 252k| 248k|4118 | 0.000000e+00 | 4.338000e+03 | Inf
856.31/856.34 c 835s| 1110k|762677 |773125 | 0.7 | 888M| 447 | - |1800 |6199 | 0 | 0 | 255k| 254k|4143 | 0.000000e+00 | 4.338000e+03 | Inf
864.71/864.70 c 843s| 1120k|770924 |781167 | 0.7 | 901M| 447 | 0 |1800 |5277 |1800 | 206 | 257k| 258k|4166 | 0.000000e+00 | 4.338000e+03 | Inf
873.12/873.15 c 851s| 1130k|779103 |790387 | 0.7 | 915M| 447 | 0 |1800 |5570 |1800 | 242 | 260k| 262k|4190 | 0.000000e+00 | 4.338000e+03 | Inf
877.92/877.98 o 4140
877.92/877.98 c * 856s| 1135k|747125 |796755 | 0.7 | 874M| 447 | - |1800 |6141 |1800 | 229 | 262k| 265k|4203 | 0.000000e+00 | 4.140000e+03 | Inf
880.02/880.01 o 4065
880.02/880.01 c * 858s| 1137k|734445 |799256 | 0.7 | 857M| 447 | - |1800 |5969 |1800 | 227 | 263k| 266k|4210 | 0.000000e+00 | 4.065000e+03 | Inf
881.01/881.09 o 4039
881.01/881.09 c * 859s| 1138k|730232 |800542 | 0.7 | 852M| 447 | - |1800 |5539 |1800 | 236 | 264k| 267k|4219 | 0.000000e+00 | 4.039000e+03 | Inf
881.11/881.16 o 4007
881.11/881.16 c * 859s| 1138k|723699 |800648 | 0.7 | 843M| 447 | - |1800 |5559 |1800 | 234 | 264k| 267k|4222 | 0.000000e+00 | 4.007000e+03 | Inf
882.51/882.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.51/882.53 c 861s| 1140k|724953 |802537 | 0.7 | 845M| 447 | 0 |1800 |5289 |1800 | 231 | 264k| 267k|4227 | 0.000000e+00 | 4.007000e+03 | Inf
889.41/889.40 o 3916
889.41/889.40 c * 867s| 1147k|713810 |810478 | 0.7 | 832M| 447 | - |1800 |5415 |1800 | 231 | 267k| 271k|4243 | 0.000000e+00 | 3.916000e+03 | Inf
891.42/891.48 c 869s| 1150k|715543 |814049 | 0.7 | 835M| 447 | 0 |1800 |5459 |1800 | 218 | 268k| 272k|4253 | 0.000000e+00 | 3.916000e+03 | Inf
895.51/895.51 o 3906
895.51/895.51 c * 873s| 1154k|717660 |818716 | 0.7 | 839M| 447 | - |1800 |4991 |1800 | 245 | 269k| 274k|4278 | 0.000000e+00 | 3.906000e+03 | Inf
895.61/895.61 o 3874
895.61/895.61 c * 873s| 1154k|711154 |818865 | 0.7 | 830M| 447 | - |1800 |5015 |1800 | 251 | 270k| 274k|4278 | 0.000000e+00 | 3.874000e+03 | Inf
895.82/895.81 o 3865
895.82/895.81 c * 874s| 1154k|709431 |819153 | 0.7 | 828M| 447 | - |1800 |5027 |1800 | 228 | 270k| 274k|4281 | 0.000000e+00 | 3.865000e+03 | Inf
895.82/895.85 o 3816
895.82/895.85 c * 874s| 1154k|699413 |819155 | 0.7 | 814M| 447 | - |1800 |5027 |1800 | 228 | 270k| 274k|4281 | 0.000000e+00 | 3.816000e+03 | Inf
900.42/900.49 c 878s| 1160k|703587 |825249 | 0.7 | 821M| 447 | 0 |1800 |4580 |1800 | 220 | 271k| 276k|4306 | 0.000000e+00 | 3.816000e+03 | Inf
904.71/904.72 o 3806
904.71/904.72 c * 882s| 1164k|705506 |830167 | 0.7 | 825M| 447 | - |1800 |4390 |1800 | 231 | 273k| 278k|4323 | 0.000000e+00 | 3.806000e+03 | Inf
904.71/904.74 o 3790
904.71/904.74 c * 882s| 1164k|702137 |830171 | 0.7 | 820M| 447 | - |1800 |4390 |1800 | 231 | 273k| 278k|4323 | 0.000000e+00 | 3.790000e+03 | Inf
906.71/906.73 o 3783
906.71/906.73 c * 884s| 1166k|702367 |833295 | 0.7 | 821M| 447 | - |1800 |5181 |1800 | 250 | 274k| 279k|4327 | 0.000000e+00 | 3.783000e+03 | Inf
907.81/907.88 o 3759
907.81/907.88 c * 885s| 1168k|698283 |834612 | 0.7 | 816M| 447 | - |1800 |5146 |1800 | 228 | 274k| 280k|4327 | 0.000000e+00 | 3.759000e+03 | Inf
909.51/909.59 c 887s| 1170k|699834 |836485 | 0.7 | 819M| 447 | 0 |1800 |5207 |1800 | 214 | 275k| 281k|4336 | 0.000000e+00 | 3.759000e+03 | Inf
918.01/918.06 c 895s| 1180k|707914 |846929 | 0.7 | 832M| 447 | 0 |1800 |4081 |1800 | 233 | 278k| 285k|4369 | 0.000000e+00 | 3.759000e+03 | Inf
922.22/922.27 o 3727
922.22/922.27 c * 899s| 1184k|705438 |851740 | 0.7 | 829M| 447 | - |1800 |4456 |1800 | 232 | 279k| 287k|4389 | 0.000000e+00 | 3.727000e+03 | Inf
922.22/922.29 o 3712
922.22/922.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.22/922.29 c * 899s| 1184k|702487 |851748 | 0.7 | 824M| 447 | - |1800 |4456 |1800 | 232 | 279k| 287k|4389 | 0.000000e+00 | 3.712000e+03 | Inf
926.71/926.76 c 904s| 1190k|706431 |856791 | 0.7 | 832M| 447 | 0 |1800 |4951 |1800 | 231 | 281k| 289k|4398 | 0.000000e+00 | 3.712000e+03 | Inf
933.72/933.79 o 3566
933.72/933.79 c * 911s| 1197k|681557 |864539 | 0.7 | 799M| 447 | - |1800 |5423 |1800 | 236 | 283k| 293k|4419 | 0.000000e+00 | 3.566000e+03 | Inf
935.61/935.67 c 912s| 1200k|683232 |866505 | 0.7 | 802M| 447 | 0 |1800 |5011 |1800 | 215 | 284k| 294k|4421 | 0.000000e+00 | 3.566000e+03 | Inf
935.92/935.93 o 3495
935.92/935.93 c * 913s| 1200k|667584 |866898 | 0.7 | 779M| 447 | - |1800 |5012 |1800 | 238 | 284k| 294k|4422 | 0.000000e+00 | 3.495000e+03 | Inf
935.92/935.98 o 3426
935.92/935.98 c * 913s| 1200k|652272 |866898 | 0.7 | 758M| 447 | - |1800 |5011 |1800 | 238 | 284k| 294k|4422 | 0.000000e+00 | 3.426000e+03 | Inf
936.72/936.78 o 3365
936.72/936.78 c * 913s| 1201k|639689 |867890 | 0.7 | 739M| 447 | - |1800 |5085 |1800 | 246 | 284k| 294k|4423 | 0.000000e+00 | 3.365000e+03 | Inf
936.82/936.83 o 3301
936.82/936.83 c * 914s| 1201k|625217 |867890 | 0.7 | 719M| 447 | - |1800 |5085 |1800 | 246 | 284k| 294k|4423 | 0.000000e+00 | 3.301000e+03 | Inf
945.11/945.18 c 922s| 1210k|632384 |878007 | 0.7 | 733M| 447 | 0 |1800 |4341 |1800 | 216 | 287k| 299k|4472 | 0.000000e+00 | 3.301000e+03 | Inf
946.61/946.63 o 3225
946.61/946.63 c * 923s| 1211k|616734 |879756 | 0.7 | 712M| 447 | - |1800 |4318 |1800 | 246 | 288k| 299k|4473 | 0.000000e+00 | 3.225000e+03 | Inf
949.33/949.30 o 3089
949.33/949.30 c * 926s| 1214k|589289 |882589 | 0.7 | 677M| 447 | - |1800 |4378 |1800 | 240 | 289k| 301k|4474 | 0.000000e+00 | 3.089000e+03 | Inf
949.33/949.36 o 3002
949.33/949.36 c * 926s| 1214k|569468 |882590 | 0.7 | 651M| 447 | - |1800 |4377 |1800 | 240 | 289k| 301k|4474 | 0.000000e+00 | 3.002000e+03 | Inf
949.82/949.86 o 2979
949.82/949.86 c * 926s| 1214k|564960 |883216 | 0.7 | 646M| 447 | - |1800 |4491 |1800 | 255 | 289k| 301k|4474 | 0.000000e+00 | 2.979000e+03 | Inf
954.42/954.48 c 931s| 1220k|568873 |888038 | 0.7 | 653M| 447 | 0 |1800 |4879 |1800 | 209 | 290k| 304k|4479 | 0.000000e+00 | 2.979000e+03 | Inf
963.52/963.55 c 940s| 1230k|576407 |897991 | 0.7 | 668M| 447 | 0 |1800 |4724 |1800 | 212 | 294k| 308k|4503 | 0.000000e+00 | 2.979000e+03 | Inf
969.71/969.76 o 2960
969.71/969.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.71/969.76 c * 946s| 1236k|577312 |905357 | 0.7 | 674M| 447 | - |1800 |5741 |1800 | 228 | 296k| 312k|4524 | 0.000000e+00 | 2.960000e+03 | Inf
970.22/970.22 o 2955
970.22/970.22 c * 946s| 1236k|576520 |906156 | 0.7 | 673M| 447 | - |1800 |5672 |1800 | 224 | 296k| 312k|4526 | 0.000000e+00 | 2.955000e+03 | Inf
973.12/973.13 c 949s| 1240k|578902 |909195 | 0.7 | 678M| 447 | 0 |1800 |5320 |1800 | 226 | 297k| 314k|4535 | 0.000000e+00 | 2.955000e+03 | Inf
974.41/974.42 o 2953
974.41/974.42 c * 950s| 1241k|579249 |911255 | 0.7 | 679M| 447 | - |1800 |5654 |1800 | 235 | 298k| 315k|4536 | 0.000000e+00 | 2.953000e+03 | Inf
983.32/983.30 c 959s| 1250k|585690 |925999 | 0.7 | 693M| 447 | 0 |1800 |5425 |1800 | 232 | 303k| 320k|4587 | 0.000000e+00 | 2.953000e+03 | Inf
987.61/987.64 o 2940
987.61/987.64 c * 963s| 1254k|586515 |931943 | 0.7 | 696M| 447 | - |1800 |5213 |1800 | 251 | 305k| 322k|4607 | 0.000000e+00 | 2.940000e+03 | Inf
992.92/992.91 c 968s| 1260k|590974 |941757 | 0.7 | 705M| 447 | 14 |1800 |5538 |1800 | 242 | 307k| 324k|4634 | 0.000000e+00 | 2.940000e+03 | Inf
1002.62/1002.62 c 978s| 1270k|598831 |954420 | 0.8 | 720M| 447 | 0 |1800 |5201 |1800 | 224 | 311k| 329k|4662 | 0.000000e+00 | 2.940000e+03 | Inf
1003.12/1003.17 o 2890
1003.12/1003.17 c * 978s| 1270k|588512 |955128 | 0.8 | 706M| 447 | - |1800 |5105 |1800 | 223 | 311k| 329k|4663 | 0.000000e+00 | 2.890000e+03 | Inf
1003.12/1003.19 o 2881
1003.12/1003.19 c * 978s| 1270k|586432 |955129 | 0.8 | 704M| 447 | - |1800 |5105 |1800 | 223 | 311k| 329k|4663 | 0.000000e+00 | 2.881000e+03 | Inf
1010.72/1010.74 o 2838
1010.72/1010.74 c * 986s| 1278k|583244 |964965 | 0.8 | 703M| 447 | - |1800 |5214 |1800 | 235 | 315k| 333k|4691 | 0.000000e+00 | 2.838000e+03 | Inf
1011.92/1011.93 c 987s| 1280k|584254 |965963 | 0.8 | 705M| 447 | 0 |1800 |5425 |1800 | 230 | 315k| 333k|4692 | 0.000000e+00 | 2.838000e+03 | Inf
1011.92/1011.98 o 2834
1011.92/1011.98 c * 987s| 1280k|583318 |966027 | 0.8 | 704M| 447 | - |1800 |5446 |1800 | 246 | 315k| 333k|4692 | 0.000000e+00 | 2.834000e+03 | Inf
1012.02/1012.04 o 2814
1012.02/1012.04 c * 987s| 1280k|578969 |966090 | 0.8 | 698M| 447 | - |1800 |5449 |1800 | 221 | 315k| 333k|4692 | 0.000000e+00 | 2.814000e+03 | Inf
1018.02/1018.09 o 2799
1018.02/1018.09 c * 993s| 1286k|579790 |973833 | 0.8 | 703M| 447 | - |1800 |5005 |1800 | 226 | 317k| 337k|4705 | 0.000000e+00 | 2.799000e+03 | Inf
1021.72/1021.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1021.72/1021.76 c 996s| 1290k|582669 |978037 | 0.8 | 709M| 447 | 0 |1800 |5286 |1800 | 238 | 319k| 339k|4711 | 0.000000e+00 | 2.799000e+03 | Inf
1031.22/1031.20 c 1005s| 1300k|589968 |989621 | 0.8 | 724M| 447 | 0 |1800 |5261 |1800 | 228 | 322k| 344k|4738 | 0.000000e+00 | 2.799000e+03 | Inf
1033.42/1033.48 o 2783
1033.42/1033.48 c *1008s| 1302k|588561 |992137 | 0.8 | 724M| 447 | - |1800 |5660 |1800 | 231 | 323k| 345k|4740 | 0.000000e+00 | 2.783000e+03 | Inf
1033.52/1033.57 o 2715
1033.52/1033.57 c *1008s| 1302k|573173 |992241 | 0.8 | 705M| 447 | - |1800 |5659 |1800 | 233 | 323k| 345k|4740 | 0.000000e+00 | 2.715000e+03 | Inf
1033.52/1033.59 o 2698
1033.52/1033.59 c *1008s| 1302k|569315 |992244 | 0.8 | 700M| 447 | - |1800 |5659 |1800 | 233 | 323k| 345k|4740 | 0.000000e+00 | 2.698000e+03 | Inf
1033.62/1033.65 o 2690
1033.62/1033.65 c *1008s| 1302k|567439 |992363 | 0.8 | 698M| 447 | - |1800 |5689 |1800 | 234 | 323k| 345k|4740 | 0.000000e+00 | 2.690000e+03 | Inf
1033.72/1033.73 o 2630
1033.72/1033.73 c *1008s| 1302k|553535 |992465 | 0.8 | 681M| 447 | - |1800 |5697 |1800 | 241 | 323k| 345k|4740 | 0.000000e+00 | 2.630000e+03 | Inf
1033.72/1033.79 o 2556
1033.72/1033.79 c *1008s| 1302k|535738 |992470 | 0.8 | 658M| 447 | - |1800 |5696 |1800 | 241 | 323k| 345k|4740 | 0.000000e+00 | 2.556000e+03 | Inf
1033.82/1033.84 o 2512
1033.82/1033.84 c *1008s| 1302k|525493 |992577 | 0.8 | 645M| 447 | - |1800 |5704 |1800 | 238 | 323k| 345k|4742 | 0.000000e+00 | 2.512000e+03 | Inf
1041.63/1041.62 c 1016s| 1310k|530753 | 1003k| 0.8 | 657M| 447 | 0 |1800 |6126 |1800 | 224 | 327k| 351k|4759 | 0.000000e+00 | 2.512000e+03 | Inf
1051.92/1051.93 c 1026s| 1320k|537950 | 1022k| 0.8 | 674M| 447 | - |1800 |4851 | 0 | 0 | 332k| 357k|4816 | 0.000000e+00 | 2.512000e+03 | Inf
1057.62/1057.62 o 2500
1057.62/1057.62 c *1031s| 1325k|539045 | 1031k| 0.8 | 680M| 447 | - |1800 |4496 |1800 | 228 | 335k| 360k|4841 | 0.000000e+00 | 2.500000e+03 | Inf
1057.62/1057.68 o 2413
1057.62/1057.68 c *1031s| 1325k|519297 | 1031k| 0.8 | 655M| 447 | - |1800 |4496 |1800 | 228 | 335k| 360k|4841 | 0.000000e+00 | 2.413000e+03 | Inf
1062.42/1062.40 c 1036s| 1330k|522652 | 1042k| 0.8 | 663M| 447 | 0 |1800 |4610 |1800 | 209 | 338k| 362k|4859 | 0.000000e+00 | 2.413000e+03 | Inf
1073.12/1073.14 c 1046s| 1340k|529922 | 1064k| 0.8 | 681M| 447 | 0 |1800 |5658 |1800 | 231 | 345k| 367k|4919 | 0.000000e+00 | 2.413000e+03 | Inf
1083.02/1083.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1083.02/1083.05 c 1056s| 1350k|537134 | 1078k| 0.8 | 698M| 447 | 0 |1800 |4876 |1800 | 231 | 350k| 372k|4945 | 0.000000e+00 | 2.413000e+03 | Inf
1086.42/1086.41 o 2397
1086.42/1086.41 c *1059s| 1353k|535993 | 1082k| 0.8 | 699M| 447 | - |1800 |5590 |1800 | 230 | 351k| 374k|4955 | 0.000000e+00 | 2.397000e+03 | Inf
1086.42/1086.43 o 2394
1086.42/1086.43 c *1059s| 1353k|535376 | 1082k| 0.8 | 698M| 447 | - |1800 |5590 |1800 | 230 | 351k| 374k|4955 | 0.000000e+00 | 2.394000e+03 | Inf
1086.42/1086.46 o 2356
1086.42/1086.46 c *1059s| 1353k|526901 | 1082k| 0.8 | 687M| 447 | - |1800 |5590 |1800 | 230 | 351k| 374k|4955 | 0.000000e+00 | 2.356000e+03 | Inf
1086.52/1086.51 o 2310
1086.52/1086.51 c *1059s| 1353k|516275 | 1082k| 0.8 | 672M| 447 | - |1800 |5590 |1800 | 230 | 351k| 374k|4955 | 0.000000e+00 | 2.310000e+03 | Inf
1088.62/1088.69 o 2301
1088.62/1088.69 c *1061s| 1355k|515797 | 1085k| 0.8 | 674M| 447 | - |1800 |5347 |1800 | 220 | 352k| 376k|4966 | 0.000000e+00 | 2.301000e+03 | Inf
1093.51/1093.59 c 1066s| 1360k|518837 | 1095k| 0.8 | 682M| 447 | 0 |1800 |4144 |1800 | 240 | 355k| 378k|4993 | 0.000000e+00 | 2.301000e+03 | Inf
1104.02/1104.04 c 1076s| 1370k|525803 | 1113k| 0.8 | 699M| 447 | - |1800 |5222 | 0 | 0 | 360k| 384k|5026 | 0.000000e+00 | 2.301000e+03 | Inf
1108.02/1108.04 o 2294
1108.02/1108.04 c *1080s| 1373k|526479 | 1120k| 0.8 | 703M| 447 | - |1800 |4951 |1800 | 239 | 362k| 386k|5041 | 0.000000e+00 | 2.294000e+03 | Inf
1108.02/1108.06 o 2288
1108.02/1108.06 c *1080s| 1373k|524917 | 1120k| 0.8 | 700M| 447 | - |1800 |4951 |1800 | 239 | 362k| 386k|5041 | 0.000000e+00 | 2.288000e+03 | Inf
1114.71/1114.74 c 1087s| 1380k|529303 | 1130k| 0.8 | 711M| 447 | 0 |1800 |4162 |1800 | 228 | 366k| 390k|5080 | 0.000000e+00 | 2.288000e+03 | Inf
1124.52/1124.57 c 1096s| 1390k|536221 | 1144k| 0.8 | 727M| 447 | 0 |1800 |4562 |1800 | 220 | 370k| 395k|5120 | 0.000000e+00 | 2.288000e+03 | Inf
1134.92/1134.97 c 1106s| 1400k|543107 | 1159k| 0.8 | 744M| 447 | 0 |1800 |5353 |1800 | 236 | 375k| 401k|5149 | 0.000000e+00 | 2.288000e+03 | Inf
1146.13/1146.12 c 1117s| 1410k|549692 | 1179k| 0.8 | 762M| 447 | 0 |1800 |4741 |1800 | 223 | 382k| 407k|5192 | 0.000000e+00 | 2.288000e+03 | Inf
1147.13/1147.19 o 2269
1147.13/1147.19 c *1118s| 1410k|545728 | 1181k| 0.8 | 758M| 447 | - |1800 |5102 |1800 | 233 | 382k| 408k|5193 | 0.000000e+00 | 2.269000e+03 | Inf
1147.23/1147.21 o 2252
1147.23/1147.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.23/1147.21 c *1118s| 1410k|541445 | 1181k| 0.8 | 752M| 447 | - |1800 |5102 |1800 | 233 | 382k| 408k|5193 | 0.000000e+00 | 2.252000e+03 | Inf
1154.32/1154.33 o 2219
1154.32/1154.33 c *1125s| 1416k|537308 | 1195k| 0.8 | 752M| 447 | - |1800 |4718 |1800 | 227 | 386k| 411k|5233 | 0.000000e+00 | 2.219000e+03 | Inf
1157.62/1157.62 c 1128s| 1420k|539559 | 1200k| 0.8 | 757M| 447 | - |1800 |4489 | 0 | 0 | 388k| 413k|5237 | 0.000000e+00 | 2.219000e+03 | Inf
1167.52/1167.57 c 1138s| 1430k|546419 | 1214k| 0.8 | 773M| 447 | 0 |1800 |5028 |1800 | 221 | 392k| 418k|5285 | 0.000000e+00 | 2.219000e+03 | Inf
1177.42/1177.41 c 1148s| 1440k|553265 | 1227k| 0.9 | 789M| 447 | 0 |1800 |4708 |1800 | 202 | 396k| 423k|5310 | 0.000000e+00 | 2.219000e+03 | Inf
1177.92/1177.94 o 2215
1177.92/1177.94 c *1148s| 1440k|552650 | 1228k| 0.9 | 789M| 447 | - |1800 |4558 |1800 | 221 | 397k| 423k|5310 | 0.000000e+00 | 2.215000e+03 | Inf
1177.92/1177.96 o 2204
1177.92/1177.96 c *1148s| 1440k|549988 | 1228k| 0.9 | 786M| 447 | - |1800 |4558 |1800 | 221 | 397k| 423k|5310 | 0.000000e+00 | 2.204000e+03 | Inf
1187.52/1187.59 c 1158s| 1450k|556569 | 1242k| 0.9 | 802M| 447 | 0 |1800 |4715 |1800 | 200 | 401k| 428k|5334 | 0.000000e+00 | 2.204000e+03 | Inf
1188.22/1188.21 o 2031
1188.22/1188.21 c *1158s| 1450k|511998 | 1243k| 0.9 | 739M| 447 | - |1800 |4873 |1800 | 233 | 401k| 428k|5334 | 0.000000e+00 | 2.031000e+03 | Inf
1188.22/1188.24 o 2006
1188.22/1188.24 c *1158s| 1450k|504796 | 1243k| 0.9 | 728M| 447 | - |1800 |4873 |1800 | 233 | 401k| 428k|5334 | 0.000000e+00 | 2.006000e+03 | Inf
1198.52/1198.51 c 1168s| 1460k|511021 | 1260k| 0.9 | 745M| 447 | 0 |1800 |4674 |1800 | 198 | 407k| 433k|5377 | 0.000000e+00 | 2.006000e+03 | Inf
1208.92/1208.91 c 1178s| 1470k|517595 | 1275k| 0.9 | 763M| 447 | 0 |1800 |4467 |1800 | 199 | 412k| 438k|5405 | 0.000000e+00 | 2.006000e+03 | Inf
1216.53/1216.51 o 1966
1216.53/1216.51 c *1186s| 1476k|510150 | 1289k| 0.9 | 757M| 447 | - |1800 |4390 |1800 | 248 | 416k| 442k|5434 | 0.000000e+00 | 1.966000e+03 | Inf
1219.82/1219.83 c 1189s| 1480k|512322 | 1294k| 0.9 | 762M| 447 | - |1800 |4265 | 0 | 0 | 418k| 443k|5455 | 0.000000e+00 | 1.966000e+03 | Inf
1230.83/1230.82 c 1200s| 1490k|518766 | 1312k| 0.9 | 779M| 447 | 0 |1800 |4223 |1800 | 223 | 424k| 449k|5494 | 0.000000e+00 | 1.966000e+03 | Inf
1237.22/1237.26 o 1958
1237.22/1237.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1237.22/1237.26 c *1206s| 1495k|520247 | 1322k| 0.9 | 788M| 447 | - |1800 |4650 |1800 | 230 | 427k| 452k|5515 | 0.000000e+00 | 1.958000e+03 | Inf
1242.23/1242.26 c 1211s| 1500k|522978 | 1331k| 0.9 | 797M| 447 | 0 |1800 |5050 |1800 | 219 | 430k| 454k|5525 | 0.000000e+00 | 1.958000e+03 | Inf
1252.73/1252.73 c 1221s| 1510k|529742 | 1346k| 0.9 | 815M| 447 | 0 |1800 |4727 |1800 | 238 | 435k| 459k|5562 | 0.000000e+00 | 1.958000e+03 | Inf
1263.13/1263.20 c 1231s| 1520k|536494 | 1363k| 0.9 | 832M| 447 | 0 |1800 |4152 |1800 | 244 | 440k| 464k|5607 | 0.000000e+00 | 1.958000e+03 | Inf
1273.53/1273.59 c 1241s| 1530k|543281 | 1380k| 0.9 | 849M| 447 | 0 |1800 |4549 |1800 | 194 | 446k| 470k|5645 | 0.000000e+00 | 1.958000e+03 | Inf
1284.23/1284.25 c 1252s| 1540k|549757 | 1397k| 0.9 | 868M| 447 | 0 |1800 |4120 |1800 | 215 | 451k| 475k|5668 | 0.000000e+00 | 1.958000e+03 | Inf
1295.22/1295.29 c 1262s| 1550k|556060 | 1415k| 0.9 | 887M| 447 | - |1800 |5001 | 0 | 0 | 457k| 481k|5708 | 0.000000e+00 | 1.958000e+03 | Inf
1306.22/1306.27 c 1273s| 1560k|562433 | 1436k| 0.9 | 905M| 447 | 11 |1800 |4377 |1800 | 215 | 464k| 486k|5744 | 0.000000e+00 | 1.958000e+03 | Inf
1313.72/1313.74 o 1918
1313.72/1313.74 c *1280s| 1566k|554488 | 1452k| 0.9 | 899M| 447 | - |1800 |4729 |1800 | 212 | 469k| 490k|5768 | 0.000000e+00 | 1.918000e+03 | Inf
1313.72/1313.76 o 1906
1313.72/1313.76 c *1280s| 1566k|550964 | 1452k| 0.9 | 894M| 447 | - |1800 |4729 |1800 | 212 | 469k| 490k|5768 | 0.000000e+00 | 1.906000e+03 | Inf
1317.73/1317.72 c 1284s| 1570k|553419 | 1459k| 0.9 | 900M| 447 | 0 |1800 |4936 |1800 | 231 | 471k| 492k|5776 | 0.000000e+00 | 1.906000e+03 | Inf
1328.53/1328.51 c 1295s| 1580k|559749 | 1476k| 0.9 | 917M| 447 | 6 |1800 |4781 |1800 | 233 | 477k| 498k|5806 | 0.000000e+00 | 1.906000e+03 | Inf
1334.33/1334.37 o 1804
1334.33/1334.37 c *1300s| 1585k|530874 | 1484k| 0.9 | 878M| 447 | - |1800 |4726 |1800 | 230 | 480k| 501k|5826 | 0.000000e+00 | 1.804000e+03 | Inf
1334.43/1334.45 o 1717
1334.43/1334.45 c *1300s| 1585k|503078 | 1484k| 0.9 | 836M| 447 | - |1800 |4726 |1800 | 230 | 480k| 501k|5826 | 0.000000e+00 | 1.717000e+03 | Inf
1339.73/1339.74 c 1305s| 1590k|505678 | 1494k| 0.9 | 845M| 447 | 0 |1800 |4556 |1800 | 241 | 483k| 503k|5843 | 0.000000e+00 | 1.717000e+03 | Inf
1350.63/1350.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1350.63/1350.62 c 1316s| 1600k|511906 | 1512k| 0.9 | 863M| 447 | 0 |1800 |4789 |1800 | 203 | 488k| 509k|5871 | 0.000000e+00 | 1.717000e+03 | Inf
1362.63/1362.63 c 1328s| 1610k|518258 | 1542k| 1.0 | 882M| 447 | 0 |1800 |3715 |1800 | 230 | 497k| 515k|5939 | 0.000000e+00 | 1.717000e+03 | Inf
1373.53/1373.54 o 1694
1373.53/1373.54 c *1338s| 1619k|516106 | 1563k| 1.0 | 889M| 447 | - |1800 |4678 |1800 | 249 | 504k| 521k|5967 | 0.000000e+00 | 1.694000e+03 | Inf
1374.62/1374.60 c 1339s| 1620k|516708 | 1565k| 1.0 | 891M| 447 | 0 |1800 |4586 |1800 | 221 | 504k| 521k|5970 | 0.000000e+00 | 1.694000e+03 | Inf
1374.72/1374.74 o 1640
1374.72/1374.74 c *1339s| 1620k|499414 | 1566k| 1.0 | 864M| 447 | - |1800 |4592 |1800 | 232 | 504k| 521k|5970 | 0.000000e+00 | 1.640000e+03 | Inf
1386.63/1386.64 c 1351s| 1630k|505210 | 1591k| 1.0 | 884M| 447 | 0 |1800 |4073 |1800 | 217 | 512k| 528k|5999 | 0.000000e+00 | 1.640000e+03 | Inf
1398.33/1398.39 c 1362s| 1640k|511188 | 1616k| 1.0 | 905M| 447 | - |1800 |4382 | 0 | 0 | 520k| 534k|6055 | 0.000000e+00 | 1.640000e+03 | Inf
1398.73/1398.79 o 1563
1398.73/1398.79 c *1363s| 1640k|487474 | 1617k| 1.0 | 864M| 447 | - |1800 |4407 |1800 | 217 | 520k| 534k|6056 | 0.000000e+00 | 1.563000e+03 | Inf
1410.24/1410.27 c 1374s| 1650k|492995 | 1637k| 1.0 | 882M| 447 | 0 |1800 |4200 |1800 | 251 | 528k| 540k|6080 | 0.000000e+00 | 1.563000e+03 | Inf
1410.43/1410.46 o 1440
1410.43/1410.46 c *1374s| 1650k|454190 | 1638k| 1.0 | 813M| 447 | - |1800 |4231 |1800 | 228 | 528k| 540k|6080 | 0.000000e+00 | 1.440000e+03 | Inf
1410.53/1410.51 o 1421
1410.53/1410.51 c *1374s| 1650k|448497 | 1638k| 1.0 | 802M| 447 | - |1800 |4230 |1800 | 226 | 528k| 540k|6080 | 0.000000e+00 | 1.421000e+03 | Inf
1423.03/1423.03 c 1386s| 1660k|453823 | 1662k| 1.0 | 823M| 447 | 0 |1800 |4234 |1800 | 219 | 535k| 547k|6121 | 0.000000e+00 | 1.421000e+03 | Inf
1435.23/1435.30 c 1398s| 1670k|459112 | 1686k| 1.0 | 844M| 447 | 0 |1800 |4488 |1800 | 223 | 543k| 553k|6156 | 0.000000e+00 | 1.421000e+03 | Inf
1448.03/1448.09 c 1411s| 1680k|464024 | 1710k| 1.0 | 865M| 447 | 0 |1800 |4391 |1800 | 225 | 550k| 561k|6195 | 0.000000e+00 | 1.421000e+03 | Inf
1460.03/1460.06 o 1413
1460.03/1460.06 c *1422s| 1689k|466245 | 1736k| 1.0 | 881M| 447 | - |1800 |4187 |1800 | 224 | 558k| 567k|6236 | 0.000000e+00 | 1.413000e+03 | Inf
1461.02/1461.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1461.02/1461.00 c 1423s| 1690k|466562 | 1738k| 1.0 | 883M| 447 | 0 |1800 |3950 |1800 | 208 | 559k| 568k|6241 | 0.000000e+00 | 1.413000e+03 | Inf
1473.73/1473.72 c 1436s| 1700k|471636 | 1766k| 1.0 | 904M| 447 | 4 |1800 |4596 |1800 | 208 | 567k| 575k|6316 | 0.000000e+00 | 1.413000e+03 | Inf
1487.53/1487.50 c 1449s| 1710k|477315 | 1810k| 1.1 | 930M| 447 | 0 |1800 |4597 |1800 | 220 | 579k| 582k|6371 | 0.000000e+00 | 1.413000e+03 | Inf
1495.13/1495.10 o 1411
1495.13/1495.10 c *1456s| 1715k|479409 | 1827k| 1.1 | 942M| 447 | - |1800 |4428 |1800 | 228 | 585k| 586k|6397 | 0.000000e+00 | 1.411000e+03 | Inf
1495.33/1495.32 o 1387
1495.33/1495.32 c *1457s| 1715k|472364 | 1828k| 1.1 | 930M| 447 | - |1800 |4505 |1800 | 242 | 585k| 587k|6398 | 0.000000e+00 | 1.387000e+03 | Inf
1495.33/1495.35 o 1371
1495.33/1495.35 c *1457s| 1715k|466993 | 1828k| 1.1 | 920M| 447 | - |1800 |4505 |1800 | 242 | 585k| 587k|6398 | 0.000000e+00 | 1.371000e+03 | Inf
1495.33/1495.40 o 1358
1495.33/1495.40 c *1457s| 1715k|462547 | 1828k| 1.1 | 910M| 447 | - |1800 |4503 |1800 | 241 | 585k| 587k|6398 | 0.000000e+00 | 1.358000e+03 | Inf
1495.43/1495.43 o 1357
1495.43/1495.43 c *1457s| 1715k|462199 | 1828k| 1.1 | 910M| 447 | - |1800 |4515 |1800 | 250 | 585k| 587k|6398 | 0.000000e+00 | 1.357000e+03 | Inf
1500.83/1500.80 c 1462s| 1720k|464337 | 1841k| 1.1 | 918M| 447 | 15 |1800 |4239 |1800 | 216 | 589k| 589k|6418 | 0.000000e+00 | 1.357000e+03 | Inf
1514.23/1514.21 c 1475s| 1730k|469092 | 1875k| 1.1 | 941M| 447 | - |1800 |4259 | 0 | 0 | 599k| 597k|6457 | 0.000000e+00 | 1.357000e+03 | Inf
1519.23/1519.21 o 1296
1519.23/1519.21 c *1480s| 1733k|450815 | 1886k| 1.1 | 908M| 447 | - |1800 |4325 |1800 | 218 | 602k| 600k|6468 | 0.000000e+00 | 1.296000e+03 | Inf
1519.23/1519.28 o 1233
1519.23/1519.28 c *1480s| 1733k|428594 | 1886k| 1.1 | 865M| 447 | - |1800 |4325 |1800 | 218 | 602k| 600k|6468 | 0.000000e+00 | 1.233000e+03 | Inf
1527.93/1527.95 c 1488s| 1740k|431422 | 1906k| 1.1 | 880M| 447 | 0 |1800 |3925 |1800 | 233 | 608k| 604k|6491 | 0.000000e+00 | 1.233000e+03 | Inf
1541.53/1541.53 o 1184
1541.53/1541.53 c *1501s| 1749k|419455 | 1937k| 1.1 | 871M| 447 | - |1800 |4332 |1800 | 236 | 618k| 611k|6539 | 0.000000e+00 | 1.184000e+03 | Inf
1542.03/1542.05 c 1502s| 1750k|419652 | 1938k| 1.1 | 872M| 447 | 0 |1800 |4409 |1800 | 219 | 619k| 612k|6540 | 0.000000e+00 | 1.184000e+03 | Inf
1556.13/1556.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1556.13/1556.16 c 1516s| 1760k|424117 | 1973k| 1.1 | 895M| 447 | 0 |1800 |3921 |1800 | 231 | 629k| 619k|6591 | 0.000000e+00 | 1.184000e+03 | Inf
1569.93/1569.90 c 1529s| 1770k|428422 | 2003k| 1.1 | 920M| 447 | 0 |1800 |4799 |1800 | 222 | 639k| 627k|6627 | 0.000000e+00 | 1.184000e+03 | Inf
1584.33/1584.30 c 1543s| 1780k|433092 | 2048k| 1.2 | 947M| 447 | 4 |1800 |5570 |1800 | 203 | 650k| 635k|6703 | 0.000000e+00 | 1.184000e+03 | Inf
1584.43/1584.44 o 1133
1584.43/1584.44 c *1543s| 1780k|411507 | 2049k| 1.2 | 905M| 447 | - |1800 |5606 |1800 | 221 | 650k| 635k|6703 | 0.000000e+00 | 1.133000e+03 | Inf
1584.43/1584.48 o 1115
1584.43/1584.48 c *1543s| 1780k|406459 | 2049k| 1.2 | 894M| 447 | - |1800 |5604 |1800 | 239 | 650k| 635k|6703 | 0.000000e+00 | 1.115000e+03 | Inf
1584.53/1584.57 o 1056
1584.53/1584.57 c *1543s| 1780k|381768 | 2049k| 1.2 | 843M| 447 | - |1800 |5604 |1800 | 239 | 650k| 635k|6703 | 0.000000e+00 | 1.056000e+03 | Inf
1599.93/1599.90 o 1029
1599.93/1599.90 c *1558s| 1789k|373515 | 2083k| 1.2 | 846M| 447 | - |1800 |4408 |1800 | 250 | 660k| 644k|6747 | 0.000000e+00 | 1.029000e+03 | Inf
1600.03/1600.05 o 954
1600.03/1600.05 c *1558s| 1789k|329823 | 2083k| 1.2 | 761M| 447 | - |1800 |4408 |1800 | 250 | 660k| 644k|6747 | 0.000000e+00 | 9.540000e+02 | Inf
1600.23/1600.25 c 1558s| 1790k|329768 | 2084k| 1.2 | 761M| 447 | - |1800 |4216 | 0 | 0 | 660k| 644k|6747 | 0.000000e+00 | 9.540000e+02 | Inf
1602.23/1602.29 o 927
1602.23/1602.29 c *1560s| 1791k|320843 | 2089k| 1.2 | 746M| 447 | - |1800 |3363 |1800 | 234 | 661k| 645k|6756 | 0.000000e+00 | 9.270000e+02 | Inf
1602.33/1602.32 o 910
1602.33/1602.32 c *1560s| 1791k|315151 | 2089k| 1.2 | 734M| 447 | - |1800 |3363 |1800 | 234 | 661k| 645k|6756 | 0.000000e+00 | 9.100000e+02 | Inf
1602.93/1602.96 o 893
1602.93/1602.96 c *1561s| 1791k|306390 | 2091k| 1.2 | 716M| 447 | - |1800 |3095 |1800 | 241 | 661k| 646k|6756 | 0.000000e+00 | 8.930000e+02 | Inf
1603.43/1603.47 o 862
1603.43/1603.47 c *1562s| 1791k|295454 | 2092k| 1.2 | 694M| 447 | - |1800 |3056 |1800 | 232 | 662k| 646k|6756 | 0.000000e+00 | 8.620000e+02 | Inf
1603.53/1603.57 o 809
1603.53/1603.57 c *1562s| 1791k|271690 | 2092k| 1.2 | 642M| 447 | - |1800 |3007 |1800 | 230 | 662k| 646k|6756 | 0.000000e+00 | 8.090000e+02 | Inf
1603.53/1603.60 o 792
1603.53/1603.60 c *1562s| 1791k|266067 | 2092k| 1.2 | 630M| 447 | - |1800 |3007 |1800 | 230 | 662k| 646k|6756 | 0.000000e+00 | 7.920000e+02 | Inf
1612.33/1612.34 o 743
1612.33/1612.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.33/1612.34 c *1570s| 1796k|245391 | 2119k| 1.2 | 610M| 447 | - |1800 |2807 |1800 | 232 | 668k| 652k|6784 | 0.000000e+00 | 7.430000e+02 | Inf
1615.23/1615.23 o 687
1615.23/1615.23 c *1573s| 1797k|227285 | 2129k| 1.2 | 578M| 447 | - |1800 |3083 |1800 | 238 | 671k| 653k|6804 | 0.000000e+00 | 6.870000e+02 | Inf
1615.34/1615.33 o 634
1615.34/1615.33 c *1573s| 1798k|210722 | 2130k| 1.2 | 542M| 447 | - |1800 |3016 |1800 | 236 | 671k| 653k|6804 | 0.000000e+00 | 6.340000e+02 | Inf
1615.34/1615.37 o 604
1615.34/1615.37 c *1573s| 1798k|201707 | 2130k| 1.2 | 522M| 447 | - |1800 |3016 |1800 | 236 | 671k| 653k|6804 | 0.000000e+00 | 6.040000e+02 | Inf
1619.63/1619.68 c 1577s| 1800k|200828 | 2155k| 1.2 | 530M| 447 | 0 |1800 |2785 |1800 | 215 | 675k| 656k|6831 | 0.000000e+00 | 6.040000e+02 | Inf
1621.23/1621.29 o 479
1621.23/1621.29 c *1579s| 1800k|163684 | 2164k| 1.2 | 443M| 447 | - |1800 |2816 |1800 | 238 | 676k| 657k|6835 | 0.000000e+00 | 4.790000e+02 | Inf
1622.44/1622.43 o 403
1622.44/1622.43 c *1580s| 1801k|142617 | 2170k| 1.2 | 396M| 447 | - |1800 |2684 |1800 | 234 | 678k| 658k|6838 | 0.000000e+00 | 4.030000e+02 | Inf
1623.93/1623.92 o 399
1623.93/1623.92 c *1581s| 1801k|137882 | 2178k| 1.2 | 393M| 447 | - |1800 |2233 |1800 | 254 | 679k| 660k|6852 | 0.000000e+00 | 3.990000e+02 | Inf
1625.94/1625.97 o 386
1625.94/1625.97 c *1583s| 1802k|130023 | 2191k| 1.2 | 383M| 447 | - |1800 |2317 |1800 | 223 | 682k| 661k|6860 | 0.000000e+00 | 3.860000e+02 | Inf
1628.24/1628.27 o 369
1628.24/1628.27 c *1586s| 1803k|120429 | 2207k| 1.2 | 367M| 447 | - |1800 |2781 |1800 | 208 | 685k| 663k|6884 | 0.000000e+00 | 3.690000e+02 | Inf
1630.64/1630.67 o 353
1630.64/1630.67 c *1588s| 1804k| 95675 | 2223k| 1.2 | 328M| 447 | - |1800 |2522 |1800 | 220 | 688k| 664k|6907 | 0.000000e+00 | 3.530000e+02 | Inf
1630.64/1630.69 o 342
1630.64/1630.69 c *1588s| 1804k| 93109 | 2223k| 1.2 | 321M| 447 | - |1800 |2522 |1800 | 220 | 688k| 664k|6907 | 0.000000e+00 | 3.420000e+02 | Inf
1631.03/1631.03 o 278
1631.03/1631.03 c *1588s| 1804k| 65005 | 2225k| 1.2 | 248M| 447 | - |1800 |2439 |1800 | 235 | 688k| 665k|6911 | 0.000000e+00 | 2.780000e+02 | Inf
1631.23/1631.26 o 194
1631.23/1631.26 c *1588s| 1804k| 36946 | 2225k| 1.2 | 182M| 447 | - |1800 |2228 |1800 | 229 | 689k| 665k|6911 | 0.000000e+00 | 1.940000e+02 | Inf
1631.23/1631.27 o 183
1631.23/1631.27 c *1589s| 1804k| 36080 | 2225k| 1.2 | 179M| 447 | - |1800 |2228 |1800 | 229 | 689k| 665k|6911 | 0.000000e+00 | 1.830000e+02 | Inf
1632.23/1632.29 c
1632.23/1632.29 c SCIP Status : problem is solved [optimal solution found]
1632.23/1632.29 c Solving Time (sec) : 1589.50
1632.23/1632.29 c Solving Nodes : 1805154
1632.23/1632.29 c Primal Bound : +1.83000000000000e+02 (256 solutions)
1632.23/1632.29 c Dual Bound : +1.83000000000000e+02
1632.23/1632.29 c Gap : 0.00 %
1632.23/1632.29 s OPTIMUM FOUND
1632.23/1632.29 v -x200 x199 -x198 x197 x196 -x195 -x194 x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 -x182 x181 x180 -x179 x178 -x177
1632.23/1632.29 v x176 -x175 x174 -x173 x172 -x171 -x170 x169 x168 -x167 x166 -x165 -x164 x163 x162 -x161 -x160 x159 -x158 x157 x156 -x155
1632.23/1632.29 v -x154 x153 x152 -x151 -x150 x149 x148 -x147 x146 -x145 x144 -x143 -x142 x141 -x140 x139 x138 -x137 x136 -x135 x134 -x133 x132
1632.23/1632.29 v -x131 x130 -x129 -x128 x127 -x126 x125 -x124 x123 x122 -x121 x120 -x119 -x118 x117 x116 -x115 x114 -x113 -x112 x111 -x110 x109
1632.23/1632.29 v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 -x96 x95 x94 -x93 x92 -x91 x90 -x89 -x88 x87 x86 -x85 x84
1632.23/1632.29 v -x83 x82 -x81 x80 -x79 -x78 x77 x76 -x75 x74 -x73 x72 -x71 -x70 x69 -x68 x67 x66 -x65 x64 -x63 -x62 x61 -x60 x59 x58 -x57 x56
1632.23/1632.29 v -x55 -x54 x53 -x52 x51 x50 -x49 x48 -x47 x46 -x45 -x44 x43 x42 -x41 -x40 x39 -x38 x37 -x36 x35 -x34 x33 -x32 x31 -x30 x29 -x28
1632.23/1632.29 v x27 -x26 x25 -x24 x23 -x22 x21 x20 -x19 -x18 x17 -x16 x15 -x14 x13 x12 -x11 x10 -x9 x8 -x7 x6 -x5 -x4 x3 x2 -x1
1632.23/1632.29 c SCIP Status : problem is solved [optimal solution found]
1632.23/1632.29 c Solving Time : 1589.50
1632.23/1632.29 c Original Problem :
1632.23/1632.29 c Problem name : HOME/instance-2700441-1278535631.wbo
1632.23/1632.29 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1632.23/1632.29 c Constraints : 1801 initial, 1801 maximal
1632.23/1632.29 c Presolved Problem :
1632.23/1632.29 c Problem name : t_HOME/instance-2700441-1278535631.wbo
1632.23/1632.29 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1632.23/1632.29 c Constraints : 1700 initial, 7055 maximal
1632.23/1632.29 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1632.23/1632.29 c trivial : 0.00 0 0 0 0 0 0 0 0
1632.23/1632.29 c dualfix : 0.00 0 0 0 0 0 0 0 0
1632.23/1632.29 c boundshift : 0.00 0 0 0 0 0 0 0 0
1632.23/1632.29 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1632.23/1632.29 c implics : 0.00 0 0 0 0 0 0 0 0
1632.23/1632.29 c probing : 0.01 0 0 0 0 0 0 0 0
1632.23/1632.29 c indicator : 0.00 0 0 0 0 0 0 0 0
1632.23/1632.29 c linear : 0.02 0 100 0 850 0 101 0 0
1632.23/1632.29 c logicor : 0.00 0 0 0 0 0 0 0 0
1632.23/1632.29 c root node : - 707 - - 1412 - - - -
1632.23/1632.29 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1632.23/1632.29 c integral : 0 0 0 1932249 0 0 74 0 0 115874
1632.23/1632.29 c indicator : 850 0 3943064 1874249 0 4069 40228533 0 0 0
1632.23/1632.29 c linear : 850 6 3938580 1874138 0 33880 3023792 690336 0 0
1632.23/1632.29 c logicor : 0+ 0 2302455 0 0 6881 1473917 0 0 0
1632.23/1632.29 c countsols : 0 0 0 1610168 0 0 0 0 0 0
1632.23/1632.29 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1632.23/1632.29 c integral : 5.30 0.00 0.00 5.30 0.00
1632.23/1632.29 c indicator : 166.40 0.07 65.95 100.38 0.00
1632.23/1632.29 c linear : 109.64 0.00 56.08 53.56 0.00
1632.23/1632.29 c logicor : 36.51 0.00 36.51 0.00 0.00
1632.23/1632.29 c countsols : 0.41 0.00 0.00 0.41 0.00
1632.23/1632.29 c Propagators : Time Calls Cutoffs DomReds
1632.23/1632.29 c vbounds : 1.05 2 0 0
1632.23/1632.29 c rootredcost : 0.96 156 0 705
1632.23/1632.29 c pseudoobj : 97.73 4082907 140004 33585721
1632.23/1632.29 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1632.23/1632.29 c propagation : 8.69 180765 180212 527458 21.7 229803 3.7 -
1632.23/1632.29 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1632.23/1632.29 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1632.23/1632.29 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1632.23/1632.29 c pseudo solution : 0.04 474 474 2006 19.0 1013 3.8 -
1632.23/1632.29 c applied globally : - - - 665663 14.6 - - -
1632.23/1632.29 c applied locally : - - - 0 0.0 - - -
1632.23/1632.29 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1632.23/1632.29 c cut pool : 0.00 4 - - 5 - (maximal pool size: 164)
1632.23/1632.29 c redcost : 74.15 1987110 0 5802650 0 0
1632.23/1632.29 c impliedbounds : 0.00 5 0 0 0 0
1632.23/1632.29 c intobj : 0.00 0 0 0 0 0
1632.23/1632.29 c cgmip : 0.00 0 0 0 0 0
1632.23/1632.29 c gomory : 0.00 5 0 0 167 0
1632.23/1632.29 c strongcg : 0.00 5 0 0 0 0
1632.23/1632.29 c cmir : 0.01 5 0 0 1 0
1632.23/1632.29 c flowcover : 0.02 5 0 0 2 0
1632.23/1632.29 c clique : 0.00 1 0 0 0 0
1632.23/1632.29 c zerohalf : 0.00 0 0 0 0 0
1632.23/1632.29 c mcf : 0.00 1 0 0 0 0
1632.23/1632.29 c rapidlearning : 0.00 0 0 0 0 0
1632.23/1632.29 c Pricers : Time Calls Vars
1632.23/1632.29 c problem variables: 0.00 0 0
1632.23/1632.29 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1632.23/1632.29 c relpscost : 4.79 57998 0 74 0 0 115874
1632.23/1632.29 c pscost : 0.00 0 0 0 0 0 0
1632.23/1632.29 c inference : 122.84 1610012 0 0 0 0 3220024
1632.23/1632.29 c mostinf : 0.00 0 0 0 0 0 0
1632.23/1632.29 c leastinf : 0.00 0 0 0 0 0 0
1632.23/1632.29 c fullstrong : 0.00 0 0 0 0 0 0
1632.23/1632.29 c allfullstrong : 0.00 0 0 0 0 0 0
1632.23/1632.29 c random : 0.00 0 0 0 0 0 0
1632.23/1632.29 c Primal Heuristics : Time Calls Found
1632.23/1632.29 c LP solutions : 4.85 - 156
1632.23/1632.29 c pseudo solutions : 0.00 - 0
1632.23/1632.29 c feaspump : 0.01 0 0
1632.23/1632.29 c intshifting : 0.03 8 0
1632.23/1632.29 c oneopt : 0.87 127 0
1632.23/1632.29 c linesearchdiving : 7.04 13911 0
1632.23/1632.29 c guideddiving : 6.47 13911 0
1632.23/1632.29 c pscostdiving : 7.23 13911 0
1632.23/1632.29 c fracdiving : 6.48 13911 0
1632.23/1632.29 c veclendiving : 6.71 13911 0
1632.23/1632.29 c coefdiving : 7.51 13912 0
1632.23/1632.29 c rootsoldiving : 7.63 13903 0
1632.23/1632.29 c objpscostdiving : 7.00 13903 0
1632.23/1632.29 c trivial : 0.01 2 1
1632.23/1632.29 c simplerounding : 1.05 61403 0
1632.23/1632.29 c zirounding : 0.46 1000 0
1632.23/1632.29 c rounding : 0.87 3433 0
1632.23/1632.29 c shifting : 0.62 1059 0
1632.23/1632.29 c twoopt : 0.00 0 0
1632.23/1632.29 c fixandinfer : 0.00 0 0
1632.23/1632.29 c intdiving : 0.00 0 0
1632.23/1632.29 c actconsdiving : 0.00 0 0
1632.23/1632.29 c octane : 0.00 0 0
1632.23/1632.29 c rens : 0.01 1 0
1632.23/1632.29 c rins : 0.00 0 0
1632.23/1632.29 c localbranching : 0.00 0 0
1632.23/1632.29 c mutation : 0.00 0 0
1632.23/1632.29 c crossover : 4.52 322 3
1632.23/1632.29 c dins : 0.00 0 0
1632.23/1632.29 c undercover : 0.00 0 0
1632.23/1632.29 c nlp : 0.43 0 0
1632.23/1632.29 c trysol : 1.18 15785 96
1632.23/1632.29 c LP : Time Calls Iterations Iter/call Iter/sec
1632.23/1632.29 c primal LP : 0.00 0 0 0.00 -
1632.23/1632.29 c dual LP : 541.45 582312 2225722 3.82 4110.67
1632.23/1632.29 c lex dual LP : 0.00 0 0 0.00 -
1632.23/1632.29 c barrier LP : 0.00 0 0 0.00 -
1632.23/1632.29 c diving/probing LP: 0.21 168 5253 31.27 25014.29
1632.23/1632.29 c strong branching : 4.44 6924 42388 6.12 9546.85
1632.23/1632.29 c (at root node) : - 33 3617 109.61 -
1632.23/1632.29 c conflict analysis: 0.00 0 0 0.00 -
1632.23/1632.29 c B&B Tree :
1632.23/1632.29 c number of runs : 1
1632.23/1632.29 c nodes : 1805154
1632.23/1632.29 c nodes (total) : 1805154
1632.23/1632.29 c nodes left : 0
1632.23/1632.29 c max depth : 447
1632.23/1632.29 c max depth (total): 447
1632.23/1632.29 c backtracks : 79365 (4.4%)
1632.23/1632.29 c delayed cutoffs : 129429
1632.23/1632.29 c repropagations : 320457 (20075962 domain reductions, 48235 cutoffs)
1632.23/1632.29 c avg switch length: 3.27
1632.23/1632.29 c switching time : 110.10
1632.23/1632.29 c Solution :
1632.23/1632.29 c Solutions found : 256 (157 improvements)
1632.23/1632.29 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1632.23/1632.29 c Primal Bound : +1.83000000000000e+02 (in run 1, after 1804882 nodes, 1588.50 seconds, depth 17, found by <relaxation>)
1632.23/1632.29 c Dual Bound : +1.83000000000000e+02
1632.23/1632.29 c Gap : 0.00 %
1632.23/1632.29 c Root Dual Bound : +0.00000000000000e+00
1632.23/1632.29 c Root Iterations : 400
1632.34/1632.35 c Time complete: 1632.39.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700441-1278535631/watcher-2700441-1278535631 -o /tmp/evaluation-result-2700441-1278535631/solver-2700441-1278535631 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700441-1278535631.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.92 1.95 1.72 4/178 18736
/proc/meminfo: memFree=28365916/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=10972 CPUtime=0
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 1678 0 0 0 0 0 0 0 25 0 1 0 21777861 11235328 1598 4089446400 4194304 9819077 140737079063104 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18736/statm: 2743 1606 392 1374 0 1364 0
[startup+0.0892381 s]
/proc/loadavg: 1.92 1.95 1.72 4/178 18736
/proc/meminfo: memFree=28365916/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=25852 CPUtime=0.08
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 6323 0 0 0 8 0 0 0 25 0 1 0 21777861 26472448 5078 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 6497 5083 673 1374 0 5118 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25852
[startup+0.101236 s]
/proc/loadavg: 1.92 1.95 1.72 4/178 18736
/proc/meminfo: memFree=28365916/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=26012 CPUtime=0.09
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 6384 0 0 0 9 0 0 0 25 0 1 0 21777861 26636288 5108 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 6503 5108 673 1374 0 5124 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26012
[startup+0.300201 s]
/proc/loadavg: 1.92 1.95 1.72 4/178 18736
/proc/meminfo: memFree=28365916/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=26848 CPUtime=0.29
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 12292 0 0 0 28 1 0 0 25 0 1 0 21777861 27492352 5379 4089446400 4194304 9819077 140737079063104 18446744073709551615 7226080 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 6756 5380 700 1374 0 5377 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26848
[startup+0.700132 s]
/proc/loadavg: 1.92 1.95 1.72 4/178 18736
/proc/meminfo: memFree=28365916/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=27492 CPUtime=0.69
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 21087 0 0 0 66 3 0 0 25 0 1 0 21777861 28151808 5482 4089446400 4194304 9819077 140737079063104 18446744073709551615 6003027 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 6873 5482 702 1374 0 5494 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27492
[startup+1.501 s]
/proc/loadavg: 1.92 1.95 1.72 3/179 18737
/proc/meminfo: memFree=28345076/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=29832 CPUtime=1.49
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 31479 0 0 0 143 6 0 0 25 0 1 0 21777861 30547968 6053 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 7458 6053 707 1374 0 6079 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29832
[startup+3.1007 s]
/proc/loadavg: 1.92 1.95 1.72 3/179 18737
/proc/meminfo: memFree=28341004/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=34108 CPUtime=3.09
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 44562 0 0 0 298 11 0 0 25 0 1 0 21777861 34926592 6998 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 8527 6998 707 1374 0 7148 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34108
[startup+6.30013 s]
/proc/loadavg: 1.93 1.95 1.73 3/179 18738
/proc/meminfo: memFree=28329588/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=40652 CPUtime=6.29
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 53125 0 0 0 610 19 0 0 25 0 1 0 21777861 41627648 8958 4089446400 4194304 9819077 140737079063104 18446744073709551615 7815952 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 10163 8958 707 1374 0 8784 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40652
[startup+12.701 s]
/proc/loadavg: 1.93 1.95 1.73 3/179 18738
/proc/meminfo: memFree=28315364/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=49876 CPUtime=12.69
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 63145 0 0 0 1234 35 0 0 25 0 1 0 21777861 51073024 11203 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 12469 11203 707 1374 0 11090 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49876
[startup+25.5007 s]
/proc/loadavg: 1.95 1.96 1.73 3/179 18738
/proc/meminfo: memFree=28294540/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=61384 CPUtime=25.49
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 109075 0 0 0 2483 66 0 0 25 0 1 0 21777861 62857216 14010 4089446400 4194304 9819077 140737079063104 18446744073709551615 6361129 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 15346 14010 707 1374 0 13967 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61384
[startup+51.1002 s]
/proc/loadavg: 1.96 1.96 1.74 3/179 18739
/proc/meminfo: memFree=28233488/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=101880 CPUtime=51.09
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 173861 0 0 0 4980 129 0 0 25 0 1 0 21777861 104325120 24186 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 25470 24186 707 1374 0 24091 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 101880
[startup+102.307 s]
/proc/loadavg: 1.98 1.96 1.75 3/179 18740
/proc/meminfo: memFree=28105464/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=180024 CPUtime=102.3
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 284136 0 0 0 9985 245 0 0 25 0 1 0 21777861 184344576 43423 4089446400 4194304 9819077 140737079063104 18446744073709551615 6361124 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 45006 43423 707 1374 0 43627 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 180024
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.76 3/179 18742
/proc/meminfo: memFree=27968640/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=270560 CPUtime=162.29
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 454932 0 0 0 15833 396 0 0 25 0 1 0 21777861 277053440 65039 4089446400 4194304 9819077 140737079063104 18446744073709551615 6385947 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 67640 65039 722 1374 0 66261 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 270560
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.77 3/179 18866
/proc/meminfo: memFree=29612724/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=351512 CPUtime=222.3
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 682522 0 0 0 21673 557 0 0 25 0 1 0 21777861 359948288 85270 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 87878 85270 722 1374 0 86499 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 351512
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.78 3/179 18868
/proc/meminfo: memFree=29482812/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=438880 CPUtime=282.3
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 876551 0 0 0 27525 705 0 0 25 0 1 0 21777861 449413120 106955 4089446400 4194304 9819077 140737079063104 18446744073709551615 6389063 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 109720 106955 722 1374 0 108341 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 438880
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.79 3/179 18870
/proc/meminfo: memFree=29366204/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=524060 CPUtime=342.3
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 1059467 0 0 0 33386 844 0 0 25 0 1 0 21777861 536637440 127996 4089446400 4194304 9819077 140737079063104 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 131015 127996 722 1374 0 129636 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 524060
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.80 3/179 18871
/proc/meminfo: memFree=29274140/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=623476 CPUtime=402.3
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 1200223 0 0 0 39249 981 0 0 25 0 1 0 21777861 638439424 150378 4089446400 4194304 9819077 140737079063104 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 155869 150378 722 1374 0 154490 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 623476
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.82 3/179 18873
/proc/meminfo: memFree=29153808/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=705128 CPUtime=462.31
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 1384704 0 0 0 45099 1132 0 0 25 0 1 0 21777861 722051072 170072 4089446400 4194304 9819077 140737079063104 18446744073709551615 8430800 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 176282 170072 722 1374 0 174903 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 705128
[startup+522.301 s]
/proc/loadavg: 2.05 1.99 1.83 3/179 18874
/proc/meminfo: memFree=29081580/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=771084 CPUtime=522.31
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 1551934 0 0 0 50952 1279 0 0 25 0 1 0 21777861 789590016 186332 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 192771 186332 722 1374 0 191392 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 771084
[startup+582.301 s]
/proc/loadavg: 2.06 2.00 1.84 3/179 18876
/proc/meminfo: memFree=28982464/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=842492 CPUtime=582.31
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 1780192 0 0 0 56799 1432 0 0 25 0 1 0 21777861 862711808 203876 4089446400 4194304 9819077 140737079063104 18446744073709551615 4651565 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 210623 203876 722 1374 0 209244 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 842492
[startup+642.3 s]
/proc/loadavg: 2.02 2.00 1.85 3/179 18878
/proc/meminfo: memFree=28905648/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=897104 CPUtime=642.31
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 1951882 0 0 0 62658 1573 0 0 25 0 1 0 21777861 918634496 217093 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 224276 217093 722 1374 0 222897 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 897104
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28614116/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1055804 CPUtime=942.32
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 2966912 0 0 0 91887 2345 0 0 25 0 1 0 21777861 1081143296 253168 4089446400 4194304 9819077 140737079063104 18446744073709551615 6670364 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 263951 253168 722 1374 0 262572 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1055804
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 18896
/proc/meminfo: memFree=28582568/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1064672 CPUtime=1002.32
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 3207529 0 0 0 97727 2505 0 0 25 0 1 0 21777861 1090224128 254981 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 266168 254981 722 1374 0 264789 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1064672
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 18898
/proc/meminfo: memFree=28543216/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1080328 CPUtime=1062.32
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 3460412 0 0 0 103569 2663 0 0 25 0 1 0 21777861 1106255872 257701 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 270082 257701 722 1374 0 268703 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1080328
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 1.90 3/179 18899
/proc/meminfo: memFree=28486244/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1111208 CPUtime=1122.32
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 3714801 0 0 0 109403 2829 0 0 25 0 1 0 21777861 1137876992 264213 4089446400 4194304 9819077 140737079063104 18446744073709551615 4661611 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 277802 264213 722 1374 0 276423 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1111208
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.90 3/179 18901
/proc/meminfo: memFree=28419372/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1156968 CPUtime=1182.33
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 3935092 0 0 0 115241 2992 0 0 25 0 1 0 21777861 1184735232 273101 4089446400 4194304 9819077 140737079063104 18446744073709551615 6089671 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 289242 273101 722 1374 0 287863 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1156968
[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 1.91 3/179 18903
/proc/meminfo: memFree=28359076/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1205436 CPUtime=1242.32
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 4186014 0 0 0 121077 3155 0 0 25 0 1 0 21777861 1234366464 281620 4089446400 4194304 9819077 140737079063104 18446744073709551615 6590677 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 301359 281620 722 1374 0 299980 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1205436
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 18904
/proc/meminfo: memFree=28277432/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1276192 CPUtime=1302.33
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 4413559 0 0 0 126911 3322 0 0 25 0 1 0 21777861 1306820608 296200 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 319048 296200 722 1374 0 317669 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1276192
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/179 18906
/proc/meminfo: memFree=28210684/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1326568 CPUtime=1362.33
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 4668221 0 0 0 132734 3499 0 0 25 0 1 0 21777861 1358405632 305880 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 331642 305880 722 1374 0 330263 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1326568
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18907
/proc/meminfo: memFree=28148028/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1370720 CPUtime=1422.33
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 4940839 0 0 0 138562 3671 0 0 25 0 1 0 21777861 1403617280 314642 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 342680 314642 722 1374 0 341301 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1370720
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18909
/proc/meminfo: memFree=28082500/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1422172 CPUtime=1482.33
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 5197809 0 0 0 144385 3848 0 0 25 0 1 0 21777861 1456304128 324822 4089446400 4194304 9819077 140737079063104 18446744073709551615 6670181 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 355543 324822 722 1374 0 354164 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1422172
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18911
/proc/meminfo: memFree=28008540/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1475264 CPUtime=1542.33
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 5472930 0 0 0 150218 4015 0 0 25 0 1 0 21777861 1510670336 335091 4089446400 4194304 9819077 140737079063104 18446744073709551615 6590600 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 368730 335089 722 1374 0 367351 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1475264
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18912
/proc/meminfo: memFree=27949108/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1522176 CPUtime=1602.33
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 5742557 0 0 0 156048 4185 0 0 25 0 1 0 21777861 1558708224 344737 4089446400 4194304 9819077 140737079063104 18446744073709551615 4670225 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 380544 344737 722 1374 0 379165 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1522176
Solver just ended. Dumping a history of the last processes samples
[startup+1612.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18913
/proc/meminfo: memFree=27943392/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1523516 CPUtime=1612.73
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 5794958 0 0 0 157057 4216 0 0 25 0 1 0 21777861 1560080384 344939 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 380879 344939 723 1374 0 379500 0
Current children cumulated CPU time (s) 1612.73
Current children cumulated vsize (KiB) 1523516
[startup+1625.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18913
/proc/meminfo: memFree=27938304/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1523848 CPUtime=1625.53
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 5878294 0 0 0 158294 4259 0 0 25 0 1 0 21777861 1560420352 345025 4089446400 4194304 9819077 140737079063104 18446744073709551615 4999867 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 380962 345025 723 1374 0 379583 0
Current children cumulated CPU time (s) 1625.53
Current children cumulated vsize (KiB) 1523848
[startup+1628.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18913
/proc/meminfo: memFree=27936692/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1523848 CPUtime=1628.73
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 5900462 0 0 0 158604 4269 0 0 25 0 1 0 21777861 1560420352 345026 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 380962 345026 723 1374 0 379583 0
Current children cumulated CPU time (s) 1628.73
Current children cumulated vsize (KiB) 1523848
[startup+1630.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18913
/proc/meminfo: memFree=27935944/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1523848 CPUtime=1630.33
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 5913835 0 0 0 158757 4276 0 0 25 0 1 0 21777861 1560420352 345025 4089446400 4194304 9819077 140737079063104 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 380962 345025 723 1374 0 379583 0
Current children cumulated CPU time (s) 1630.33
Current children cumulated vsize (KiB) 1523848
[startup+1631.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18913
/proc/meminfo: memFree=27935944/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1523828 CPUtime=1631.13
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 5916774 0 0 0 158835 4278 0 0 25 0 1 0 21777861 1560399872 345025 4089446400 4194304 9819077 140737079063104 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 380957 345025 723 1374 0 379578 0
Current children cumulated CPU time (s) 1631.13
Current children cumulated vsize (KiB) 1523828
[startup+1631.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18913
/proc/meminfo: memFree=27935448/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1521848 CPUtime=1631.93
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 5918900 0 0 0 158913 4280 0 0 25 0 1 0 21777861 1558372352 344515 4089446400 4194304 9819077 140737079063104 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18736/statm: 380462 344515 723 1374 0 379083 0
Current children cumulated CPU time (s) 1631.93
Current children cumulated vsize (KiB) 1521848
[startup+1632.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 18913
/proc/meminfo: memFree=28269628/32951124 swapFree=67111528/67111528
[pid=18736] ppid=18734 vsize=1142616 CPUtime=1632.34
/proc/18736/stat : 18736 (pbscip.linux.x8) R 18734 18736 18045 0 -1 4202496 5922526 0 0 0 158951 4283 0 0 18 0 1 0 21777861 1170038784 249734 4089446400 4194304 9819077 140737079063104 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18736/statm: 285555 249635 726 1374 0 284176 0
Current children cumulated CPU time (s) 1632.34
Current children cumulated vsize (KiB) 1142616
Child status: 0
Real time (s): 1632.36
CPU time (s): 1632.4
CPU user time (s): 1589.53
CPU system time (s): 42.8705
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1532628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1589.53
system time used= 42.8705
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5922530
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= 1144
runsolver used 2.80057 second user time and 5.34019 second system time
The end
Begin job on node108 at 2010-07-07 22:47:11
IDJOB=2700441
IDBENCH=79428
IDSOLVER=1205
FILE ID=node108/2700441-1278535631
PBS_JOBID= 11239261
Free space on /tmp= 73480 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh05_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700441-1278535631/watcher-2700441-1278535631 -o /tmp/evaluation-result-2700441-1278535631/solver-2700441-1278535631 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2700441-1278535631.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1604fdd87dcee54076f2101bd99fabb3
RANDOM SEED=1292945687
node108.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 : 2681.499
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 : 5362.99
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 : 2681.499
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 : 2681.499
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2681.499
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 : 2681.499
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 : 2681.499
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.69
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 : 2681.499
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 : 2681.499
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: 28366328 kB
Buffers: 134540 kB
Cached: 2628840 kB
SwapCached: 0 kB
Active: 3353096 kB
Inactive: 1081244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28366328 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 6208 kB
Writeback: 0 kB
AnonPages: 1670912 kB
Mapped: 15292 kB
Slab: 83788 kB
PageTables: 7660 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1812556 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= 73472 MiB
End job on node108 at 2010-07-07 23:14:24