0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705759-1278580140.wbo>
0.00/0.01 c original problem has 2000 variables (1100 bin, 0 int, 900 impl, 0 cont) and 1901 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, 200 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 200 impls, 0 clqs
0.00/0.06 c (0.0s) probing: 101/1000 (10.1%) - 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, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 2000 implications, 0 cliques
0.00/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 900 impl, 0 cont) and 1800 constraints
0.00/0.06 c 900 constraints of type <linear>
0.00/0.06 c 900 constraints of type <indicator>
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.3
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 = 1789.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 # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.06 c # [type: int, range: [1,2], default: 1]
0.00/0.06 c timing/clocktype = 2
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 # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/indicator/addCouplingCons = 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 444854
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.0s| 1 | 0 | 0 | - |6619k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |7041k| 0 | 0 |1900 |1800 |1900 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 37 | - |7106k| 0 | 0 |1900 |1800 |1900 | 71 | 71 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 105 | - |7125k| 0 | 12 |1900 |1800 |1900 | 106 | 106 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 148 | - |7165k| 0 | 60 |1900 |1800 |1900 | 130 | 130 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 201 | - |7561k| 0 | 58 |1900 |1800 |1900 | 156 | 156 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.16 c 0.2s| 1 | 0 | 219 | - |7671k| 0 | 60 |1900 |1800 |1900 | 168 | 168 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 238 | - |7854k| 0 | 60 |1900 |1800 |1900 | 172 | 172 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.19/0.25 c 0.2s| 1 | 2 | 238 | - |7879k| 0 | 60 |1900 |1800 |1900 | 172 | 172 | 0 | 33 | 0.000000e+00 | 4.448540e+05 | Inf
8.89/8.90 c 8.9s| 10000 | 9991 | 7711 | 0.7 | 20M| 461 | 0 |1900 |1804 |1900 | 216 |2848 | 4 | 667 | 0.000000e+00 | 4.448540e+05 | Inf
16.69/16.75 c 16.7s| 20000 | 19985 | 13522 | 0.7 | 30M| 461 | 0 |1900 |1806 |1900 | 260 |4691 | 6 | 721 | 0.000000e+00 | 4.448540e+05 | Inf
24.59/24.66 c 24.6s| 30000 | 29981 | 19675 | 0.6 | 40M| 461 | 0 |1900 |1808 |1900 | 206 |6689 | 8 | 746 | 0.000000e+00 | 4.448540e+05 | Inf
32.39/32.47 c 32.5s| 40000 | 39979 | 25790 | 0.6 | 50M| 461 | 0 |1900 |1809 |1900 | 245 |8612 | 9 | 754 | 0.000000e+00 | 4.448540e+05 | Inf
39.99/40.08 c 40.1s| 50000 | 49975 | 30757 | 0.6 | 60M| 461 | 0 |1900 |1814 |1900 | 218 | 10k| 14 | 775 | 0.000000e+00 | 4.448540e+05 | Inf
47.39/47.40 c 47.4s| 60000 | 59973 | 34403 | 0.6 | 70M| 461 | 0 |1900 |1815 |1900 | 223 | 11k| 15 | 776 | 0.000000e+00 | 4.448540e+05 | Inf
54.79/54.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.79/54.80 c 54.8s| 70000 | 69973 | 37079 | 0.5 | 80M| 461 | 0 |1900 |1815 |1900 | 234 | 12k| 15 | 777 | 0.000000e+00 | 4.448540e+05 | Inf
62.19/62.21 c 62.2s| 80000 | 79973 | 39714 | 0.5 | 90M| 461 | 0 |1900 |1815 |1900 | 218 | 13k| 15 | 777 | 0.000000e+00 | 4.448540e+05 | Inf
69.49/69.58 c 69.6s| 90000 | 89967 | 42316 | 0.5 | 100M| 461 | 0 |1900 |1817 |1900 | 249 | 14k| 17 | 777 | 0.000000e+00 | 4.448540e+05 | Inf
76.90/76.96 c 76.9s|100000 | 99963 | 46350 | 0.5 | 110M| 461 | 0 |1900 |1818 |1900 | 222 | 15k| 18 | 810 | 0.000000e+00 | 4.448540e+05 | Inf
84.29/84.36 c 84.3s|110000 |109963 | 50237 | 0.5 | 120M| 461 | 0 |1900 |1818 |1900 | 245 | 17k| 18 | 852 | 0.000000e+00 | 4.448540e+05 | Inf
91.80/91.81 c 91.8s|120000 |119963 | 53916 | 0.4 | 130M| 461 | 0 |1900 |1818 |1900 | 224 | 18k| 18 | 878 | 0.000000e+00 | 4.448540e+05 | Inf
99.09/99.16 c 99.1s|130000 |129960 | 57568 | 0.4 | 140M| 461 | 0 |1900 |1820 |1900 | 233 | 19k| 20 | 900 | 0.000000e+00 | 4.448540e+05 | Inf
106.49/106.59 c 107s|140000 |139960 | 61097 | 0.4 | 150M| 461 | 0 |1900 |1819 |1900 | 249 | 20k| 20 | 934 | 0.000000e+00 | 4.448540e+05 | Inf
114.10/114.17 c 114s|150000 |149958 | 64595 | 0.4 | 160M| 461 | 0 |1900 |1820 |1900 | 221 | 22k| 21 | 956 | 0.000000e+00 | 4.448540e+05 | Inf
121.79/121.84 c 122s|160000 |159956 | 68492 | 0.4 | 170M| 461 | 0 |1900 |1819 |1900 | 237 | 23k| 22 | 979 | 0.000000e+00 | 4.448540e+05 | Inf
129.49/129.59 c 130s|170000 |169954 | 72892 | 0.4 | 180M| 461 | 0 |1900 |1818 |1900 | 246 | 24k| 22 |1011 | 0.000000e+00 | 4.448540e+05 | Inf
137.59/137.60 c 138s|180000 |179954 | 79046 | 0.4 | 190M| 461 | 0 |1900 |1817 |1900 | 246 | 27k| 22 |1093 | 0.000000e+00 | 4.448540e+05 | Inf
145.10/145.18 c 145s|190000 |189952 | 82778 | 0.4 | 200M| 461 | 0 |1900 |1817 |1900 | 199 | 28k| 22 |1175 | 0.000000e+00 | 4.448540e+05 | Inf
152.69/152.71 c 153s|200000 |199952 | 85723 | 0.4 | 210M| 461 | 0 |1900 |1815 |1900 | 235 | 29k| 22 |1185 | 0.000000e+00 | 4.448540e+05 | Inf
160.19/160.29 c 160s|210000 |209950 | 88590 | 0.4 | 220M| 461 | 0 |1900 |1815 |1900 | 238 | 30k| 22 |1228 | 0.000000e+00 | 4.448540e+05 | Inf
167.79/167.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
167.79/167.87 c 168s|220000 |219948 | 91668 | 0.4 | 230M| 461 | 0 |1900 |1813 |1900 | 219 | 32k| 22 |1235 | 0.000000e+00 | 4.448540e+05 | Inf
175.49/175.52 c 176s|230000 |229948 | 95001 | 0.4 | 240M| 461 | 0 |1900 |1813 |1900 | 258 | 33k| 22 |1254 | 0.000000e+00 | 4.448540e+05 | Inf
183.10/183.15 c 183s|240000 |239946 | 98409 | 0.4 | 250M| 461 | 0 |1900 |1814 |1900 | 224 | 35k| 23 |1280 | 0.000000e+00 | 4.448540e+05 | Inf
190.60/190.62 c 191s|250000 |249946 |101455 | 0.4 | 260M| 461 | 0 |1900 |1814 |1900 | 249 | 36k| 23 |1310 | 0.000000e+00 | 4.448540e+05 | Inf
198.20/198.20 c 198s|260000 |259942 |104660 | 0.4 | 270M| 461 | 0 |1900 |1815 |1900 | 221 | 37k| 24 |1323 | 0.000000e+00 | 4.448540e+05 | Inf
205.80/205.82 c 206s|270000 |269942 |107789 | 0.4 | 280M| 461 | 0 |1900 |1814 |1900 | 243 | 39k| 24 |1346 | 0.000000e+00 | 4.448540e+05 | Inf
213.30/213.40 c 213s|280000 |279942 |110707 | 0.4 | 290M| 461 | 0 |1900 |1812 |1900 | 245 | 40k| 24 |1378 | 0.000000e+00 | 4.448540e+05 | Inf
221.00/221.02 c 221s|290000 |289942 |113889 | 0.4 | 300M| 461 | 0 |1900 |1812 |1900 | 227 | 41k| 24 |1430 | 0.000000e+00 | 4.448540e+05 | Inf
228.50/228.58 c 229s|300000 |299940 |117328 | 0.4 | 310M| 461 | 0 |1900 |1810 |1900 | 209 | 42k| 24 |1472 | 0.000000e+00 | 4.448540e+05 | Inf
236.09/236.17 c 236s|310000 |309940 |120654 | 0.4 | 319M| 461 | 0 |1900 |1810 |1900 | 216 | 44k| 24 |1531 | 0.000000e+00 | 4.448540e+05 | Inf
243.70/243.74 c 244s|320000 |319936 |124324 | 0.4 | 329M| 461 | 0 |1900 |1812 |1900 | 241 | 45k| 26 |1598 | 0.000000e+00 | 4.448540e+05 | Inf
251.30/251.31 c 251s|330000 |329932 |127803 | 0.4 | 339M| 461 | 0 |1900 |1812 |1900 | 207 | 47k| 26 |1618 | 0.000000e+00 | 4.448540e+05 | Inf
258.70/258.79 c 259s|340000 |339928 |131071 | 0.4 | 349M| 463 | 0 |1900 |1813 |1900 | 242 | 48k| 27 |1673 | 0.000000e+00 | 4.448540e+05 | Inf
266.40/266.44 c 266s|350000 |349928 |135101 | 0.4 | 359M| 463 | 0 |1900 |1811 |1900 | 214 | 50k| 27 |1723 | 0.000000e+00 | 4.448540e+05 | Inf
274.10/274.11 c 274s|360000 |359926 |139438 | 0.4 | 369M| 463 | 0 |1900 |1812 |1900 | 224 | 51k| 28 |1772 | 0.000000e+00 | 4.448540e+05 | Inf
281.70/281.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.70/281.79 c 282s|370000 |369924 |143501 | 0.4 | 379M| 463 | 0 |1900 |1812 |1900 | 221 | 53k| 28 |1796 | 0.000000e+00 | 4.448540e+05 | Inf
289.40/289.44 c 289s|380000 |379924 |147857 | 0.4 | 389M| 463 | 0 |1900 |1811 |1900 | 236 | 55k| 28 |1830 | 0.000000e+00 | 4.448540e+05 | Inf
297.20/297.26 c 297s|390000 |389924 |152372 | 0.4 | 399M| 463 | 0 |1900 |1809 |1900 | 242 | 57k| 28 |1882 | 0.000000e+00 | 4.448540e+05 | Inf
304.90/304.95 c 305s|400000 |399924 |156307 | 0.4 | 409M| 463 | 0 |1900 |1809 |1900 | 206 | 58k| 28 |1933 | 0.000000e+00 | 4.448540e+05 | Inf
312.41/312.45 c 312s|410000 |409924 |160363 | 0.4 | 419M| 463 | 0 |1900 |1807 |1900 | 197 | 60k| 28 |1967 | 0.000000e+00 | 4.448540e+05 | Inf
320.00/320.02 c 320s|420000 |419922 |164399 | 0.4 | 429M| 463 | 0 |1900 |1807 |1900 | 243 | 62k| 28 |2015 | 0.000000e+00 | 4.448540e+05 | Inf
327.40/327.48 c 327s|430000 |429922 |167618 | 0.4 | 439M| 463 | 0 |1900 |1806 |1900 | 214 | 63k| 28 |2044 | 0.000000e+00 | 4.448540e+05 | Inf
334.70/334.74 c 335s|440000 |439922 |170089 | 0.4 | 448M| 463 | 0 |1900 |1806 |1900 | 220 | 64k| 28 |2046 | 0.000000e+00 | 4.448540e+05 | Inf
342.01/342.05 c 342s|450000 |449922 |172721 | 0.4 | 458M| 463 | 0 |1900 |1806 |1900 | 206 | 65k| 28 |2075 | 0.000000e+00 | 4.448540e+05 | Inf
349.40/349.42 c 349s|460000 |459922 |175127 | 0.4 | 468M| 463 | 0 |1900 |1806 |1900 | 214 | 67k| 28 |2100 | 0.000000e+00 | 4.448540e+05 | Inf
357.00/357.02 c 357s|470000 |469922 |178644 | 0.4 | 478M| 463 | 0 |1900 |1806 |1900 | 238 | 68k| 28 |2119 | 0.000000e+00 | 4.448540e+05 | Inf
364.60/364.65 c 365s|480000 |479922 |183302 | 0.4 | 488M| 463 | 0 |1900 |1806 |1900 | 212 | 70k| 28 |2248 | 0.000000e+00 | 4.448540e+05 | Inf
372.10/372.12 c 372s|490000 |489922 |186965 | 0.4 | 498M| 463 | 0 |1900 |1806 |1900 | 206 | 71k| 28 |2250 | 0.000000e+00 | 4.448540e+05 | Inf
379.41/379.40 c 379s|500000 |499922 |189468 | 0.4 | 508M| 463 | 0 |1900 |1806 |1900 | 196 | 72k| 28 |2268 | 0.000000e+00 | 4.448540e+05 | Inf
386.71/386.70 c 387s|510000 |509922 |192763 | 0.4 | 518M| 463 | 0 |1900 |1806 |1900 | 221 | 72k| 28 |2273 | 0.000000e+00 | 4.448540e+05 | Inf
394.00/394.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.00/394.00 c 394s|520000 |519922 |196335 | 0.4 | 528M| 463 | 0 |1900 |1805 |1900 | 201 | 73k| 28 |2313 | 0.000000e+00 | 4.448540e+05 | Inf
401.51/401.56 c 402s|530000 |529922 |200877 | 0.4 | 537M| 463 | 0 |1900 |1805 |1900 | 200 | 75k| 28 |2367 | 0.000000e+00 | 4.448540e+05 | Inf
409.20/409.23 c 409s|540000 |539922 |205372 | 0.4 | 547M| 463 | 0 |1900 |1805 |1900 | 183 | 76k| 28 |2415 | 0.000000e+00 | 4.448540e+05 | Inf
416.81/416.89 c 417s|550000 |549920 |209667 | 0.4 | 557M| 463 | 0 |1900 |1806 |1900 | 223 | 78k| 29 |2456 | 0.000000e+00 | 4.448540e+05 | Inf
424.50/424.57 c 425s|560000 |559918 |213374 | 0.4 | 567M| 463 | 0 |1900 |1807 |1900 | 196 | 79k| 30 |2499 | 0.000000e+00 | 4.448540e+05 | Inf
432.21/432.24 c 432s|570000 |569918 |217104 | 0.4 | 577M| 463 | 0 |1900 |1807 |1900 | 200 | 80k| 30 |2545 | 0.000000e+00 | 4.448540e+05 | Inf
439.70/439.79 c 440s|580000 |579918 |221190 | 0.4 | 587M| 463 | 0 |1900 |1807 |1900 | 205 | 82k| 30 |2574 | 0.000000e+00 | 4.448540e+05 | Inf
447.41/447.40 c 447s|590000 |589914 |225117 | 0.4 | 597M| 463 | 0 |1900 |1808 |1900 | 239 | 83k| 31 |2606 | 0.000000e+00 | 4.448540e+05 | Inf
454.91/454.95 c 455s|600000 |599912 |228292 | 0.4 | 607M| 463 | 0 |1900 |1809 |1900 | 238 | 84k| 32 |2630 | 0.000000e+00 | 4.448540e+05 | Inf
462.51/462.52 c 463s|610000 |609912 |231806 | 0.4 | 617M| 463 | 0 |1900 |1806 |1900 | 205 | 85k| 32 |2662 | 0.000000e+00 | 4.448540e+05 | Inf
470.11/470.16 c 470s|620000 |619912 |236239 | 0.4 | 626M| 463 | 0 |1900 |1806 |1900 | 221 | 87k| 32 |2680 | 0.000000e+00 | 4.448540e+05 | Inf
477.90/477.93 c 478s|630000 |629912 |240853 | 0.4 | 636M| 463 | 0 |1900 |1806 |1900 | 257 | 89k| 32 |2703 | 0.000000e+00 | 4.448540e+05 | Inf
485.71/485.70 c 486s|640000 |639912 |246276 | 0.4 | 646M| 463 | 0 |1900 |1806 |1900 | 244 | 91k| 32 |2720 | 0.000000e+00 | 4.448540e+05 | Inf
493.40/493.40 c 493s|650000 |649912 |251410 | 0.4 | 656M| 463 | 0 |1900 |1806 |1900 | 225 | 94k| 32 |2744 | 0.000000e+00 | 4.448540e+05 | Inf
500.81/500.86 c 501s|660000 |659912 |254435 | 0.4 | 666M| 463 | 0 |1900 |1805 |1900 | 233 | 95k| 32 |2757 | 0.000000e+00 | 4.448540e+05 | Inf
508.31/508.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
508.31/508.32 c 508s|670000 |669910 |256842 | 0.4 | 676M| 463 | 0 |1900 |1805 |1900 | 218 | 96k| 33 |2764 | 0.000000e+00 | 4.448540e+05 | Inf
515.71/515.77 c 516s|680000 |679910 |259312 | 0.4 | 686M| 463 | 0 |1900 |1805 |1900 | 217 | 96k| 33 |2807 | 0.000000e+00 | 4.448540e+05 | Inf
523.20/523.24 c 523s|690000 |689910 |262387 | 0.4 | 696M| 463 | 0 |1900 |1805 |1900 | 217 | 97k| 33 |2845 | 0.000000e+00 | 4.448540e+05 | Inf
530.60/530.62 c 531s|700000 |699910 |264691 | 0.4 | 706M| 463 | 0 |1900 |1804 |1900 | 206 | 98k| 33 |2852 | 0.000000e+00 | 4.448540e+05 | Inf
538.31/538.36 c 538s|710000 |709910 |269861 | 0.4 | 716M| 463 | 0 |1900 |1804 |1900 | 235 | 100k| 33 |2863 | 0.000000e+00 | 4.448540e+05 | Inf
545.91/545.97 c 546s|720000 |719910 |273979 | 0.4 | 726M| 463 | 0 |1900 |1804 |1900 | 223 | 102k| 33 |2889 | 0.000000e+00 | 4.448540e+05 | Inf
553.51/553.56 c 554s|730000 |729910 |277530 | 0.4 | 735M| 463 | 0 |1900 |1804 |1900 | 214 | 103k| 33 |2905 | 0.000000e+00 | 4.448540e+05 | Inf
561.21/561.24 c 561s|740000 |739910 |281674 | 0.4 | 745M| 463 | 0 |1900 |1804 |1900 | 219 | 105k| 33 |2922 | 0.000000e+00 | 4.448540e+05 | Inf
568.90/568.95 c 569s|750000 |749910 |286480 | 0.4 | 755M| 463 | 0 |1900 |1804 |1900 | 214 | 107k| 33 |2960 | 0.000000e+00 | 4.448540e+05 | Inf
576.51/576.58 c 577s|760000 |759910 |290828 | 0.4 | 765M| 463 | 0 |1900 |1804 |1900 | 236 | 109k| 33 |2993 | 0.000000e+00 | 4.448540e+05 | Inf
583.91/583.98 c 584s|770000 |769910 |294958 | 0.4 | 775M| 463 | 0 |1900 |1804 |1900 | 223 | 110k| 33 |2999 | 0.000000e+00 | 4.448540e+05 | Inf
591.50/591.57 c 592s|780000 |779908 |298976 | 0.4 | 785M| 463 | 0 |1900 |1805 |1900 | 251 | 112k| 34 |3015 | 0.000000e+00 | 4.448540e+05 | Inf
599.21/599.21 c 599s|790000 |789908 |303365 | 0.4 | 795M| 463 | 0 |1900 |1805 |1900 | 214 | 113k| 34 |3035 | 0.000000e+00 | 4.448540e+05 | Inf
606.80/606.84 c 607s|800000 |799908 |307922 | 0.4 | 805M| 463 | 0 |1900 |1804 |1900 | 221 | 115k| 34 |3070 | 0.000000e+00 | 4.448540e+05 | Inf
614.41/614.45 c 614s|810000 |809908 |312445 | 0.4 | 815M| 463 | 0 |1900 |1804 |1900 | 225 | 117k| 34 |3074 | 0.000000e+00 | 4.448540e+05 | Inf
622.01/622.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.01/622.05 c 622s|820000 |819908 |316773 | 0.4 | 824M| 463 | 0 |1900 |1803 |1900 | 211 | 118k| 34 |3116 | 0.000000e+00 | 4.448540e+05 | Inf
629.41/629.49 c 629s|830000 |829908 |320584 | 0.4 | 834M| 463 | 0 |1900 |1803 |1900 | 230 | 120k| 34 |3117 | 0.000000e+00 | 4.448540e+05 | Inf
636.81/636.90 c 637s|840000 |839908 |324222 | 0.4 | 844M| 463 | 0 |1900 |1803 |1900 | 204 | 121k| 34 |3138 | 0.000000e+00 | 4.448540e+05 | Inf
644.41/644.48 c 644s|850000 |849908 |328270 | 0.4 | 854M| 463 | 0 |1900 |1803 |1900 | 203 | 122k| 34 |3162 | 0.000000e+00 | 4.448540e+05 | Inf
652.01/652.04 c 652s|860000 |859908 |330997 | 0.4 | 864M| 463 | 0 |1900 |1803 |1900 | 230 | 123k| 34 |3183 | 0.000000e+00 | 4.448540e+05 | Inf
659.51/659.58 c 660s|870000 |869906 |333917 | 0.4 | 874M| 463 | 0 |1900 |1804 |1900 | 233 | 124k| 35 |3199 | 0.000000e+00 | 4.448540e+05 | Inf
667.11/667.11 c 667s|880000 |879906 |337173 | 0.4 | 883M| 463 | 0 |1900 |1804 |1900 | 232 | 125k| 35 |3212 | 0.000000e+00 | 4.448540e+05 | Inf
674.71/674.70 c 675s|890000 |889906 |340712 | 0.4 | 893M| 463 | 0 |1900 |1803 |1900 | 209 | 127k| 35 |3234 | 0.000000e+00 | 4.448540e+05 | Inf
682.11/682.12 c 682s|900000 |899906 |343545 | 0.4 | 903M| 463 | 0 |1900 |1803 |1900 | 221 | 128k| 35 |3239 | 0.000000e+00 | 4.448540e+05 | Inf
689.41/689.45 c 689s|910000 |909906 |346357 | 0.4 | 913M| 463 | 0 |1900 |1803 |1900 | 237 | 129k| 35 |3243 | 0.000000e+00 | 4.448540e+05 | Inf
696.91/696.96 c 697s|920000 |919906 |349352 | 0.4 | 923M| 463 | 0 |1900 |1803 |1900 | 231 | 129k| 35 |3271 | 0.000000e+00 | 4.448540e+05 | Inf
704.51/704.51 c 705s|930000 |929906 |352398 | 0.4 | 933M| 463 | 0 |1900 |1803 |1900 | 227 | 130k| 35 |3288 | 0.000000e+00 | 4.448540e+05 | Inf
712.01/712.05 c 712s|940000 |939904 |355858 | 0.4 | 943M| 463 | 0 |1900 |1804 |1900 | 222 | 132k| 36 |3293 | 0.000000e+00 | 4.448540e+05 | Inf
719.61/719.66 c 720s|950000 |949904 |359433 | 0.4 | 953M| 463 | 0 |1900 |1804 |1900 | 229 | 133k| 36 |3312 | 0.000000e+00 | 4.448540e+05 | Inf
727.12/727.10 c 727s|960000 |959902 |361982 | 0.4 | 963M| 463 | 0 |1900 |1805 |1900 | 201 | 134k| 37 |3329 | 0.000000e+00 | 4.448540e+05 | Inf
734.51/734.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.51/734.57 c 735s|970000 |969902 |364916 | 0.4 | 972M| 463 | 0 |1900 |1804 |1900 | 225 | 135k| 37 |3333 | 0.000000e+00 | 4.448540e+05 | Inf
741.92/741.94 c 742s|980000 |979902 |367544 | 0.4 | 982M| 463 | 0 |1900 |1803 |1900 | 230 | 136k| 37 |3352 | 0.000000e+00 | 4.448540e+05 | Inf
749.32/749.36 c 749s|990000 |989902 |370510 | 0.4 | 992M| 463 | 0 |1900 |1802 |1900 | 217 | 137k| 37 |3373 | 0.000000e+00 | 4.448540e+05 | Inf
756.72/756.73 c 757s| 1000k|999900 |373196 | 0.4 |1002M| 463 | 0 |1900 |1802 |1900 | 216 | 138k| 37 |3385 | 0.000000e+00 | 4.448540e+05 | Inf
764.11/764.15 c 764s| 1010k| 1009k|375663 | 0.4 |1012M| 463 | 0 |1900 |1802 |1900 | 245 | 138k| 37 |3385 | 0.000000e+00 | 4.448540e+05 | Inf
771.52/771.50 c 771s| 1020k| 1019k|377672 | 0.4 |1022M| 463 | 0 |1900 |1802 |1900 | 203 | 139k| 37 |3399 | 0.000000e+00 | 4.448540e+05 | Inf
778.82/778.83 c 779s| 1030k| 1029k|380092 | 0.4 |1032M| 463 | 0 |1900 |1802 |1900 | 215 | 140k| 37 |3415 | 0.000000e+00 | 4.448540e+05 | Inf
786.11/786.15 c 786s| 1040k| 1039k|382703 | 0.4 |1042M| 463 | 0 |1900 |1802 |1900 | 203 | 141k| 37 |3421 | 0.000000e+00 | 4.448540e+05 | Inf
793.41/793.40 c 793s| 1050k| 1049k|385144 | 0.4 |1051M| 463 | 0 |1900 |1802 |1900 | 200 | 142k| 37 |3425 | 0.000000e+00 | 4.448540e+05 | Inf
800.52/800.59 c 801s| 1060k| 1059k|387427 | 0.4 |1061M| 463 | 0 |1900 |1803 |1900 | 191 | 142k| 38 |3447 | 0.000000e+00 | 4.448540e+05 | Inf
807.82/807.88 c 808s| 1070k| 1069k|389980 | 0.4 |1071M| 463 | 0 |1900 |1803 |1900 | 202 | 143k| 38 |3455 | 0.000000e+00 | 4.448540e+05 | Inf
815.21/815.20 c 815s| 1080k| 1079k|392763 | 0.4 |1081M| 463 | 0 |1900 |1804 |1900 | 222 | 144k| 39 |3461 | 0.000000e+00 | 4.448540e+05 | Inf
822.62/822.62 c 823s| 1090k| 1089k|395606 | 0.4 |1091M| 463 | 0 |1900 |1804 |1900 | 200 | 145k| 39 |3477 | 0.000000e+00 | 4.448540e+05 | Inf
829.91/829.98 c 830s| 1100k| 1099k|398228 | 0.4 |1101M| 463 | 0 |1900 |1804 |1900 | 196 | 146k| 39 |3482 | 0.000000e+00 | 4.448540e+05 | Inf
837.32/837.37 c 837s| 1110k| 1109k|401017 | 0.4 |1110M| 463 | 0 |1900 |1803 |1900 | 221 | 147k| 39 |3482 | 0.000000e+00 | 4.448540e+05 | Inf
844.72/844.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
844.72/844.73 c 845s| 1120k| 1119k|403600 | 0.4 |1120M| 463 | 0 |1900 |1803 |1900 | 212 | 148k| 39 |3498 | 0.000000e+00 | 4.448540e+05 | Inf
852.01/852.06 c 852s| 1130k| 1129k|405849 | 0.4 |1130M| 463 | 0 |1900 |1803 |1900 | 207 | 149k| 39 |3505 | 0.000000e+00 | 4.448540e+05 | Inf
859.31/859.34 c 859s| 1140k| 1139k|408374 | 0.4 |1140M| 463 | 0 |1900 |1803 |1900 | 220 | 149k| 39 |3538 | 0.000000e+00 | 4.448540e+05 | Inf
866.42/866.47 c 866s| 1150k| 1149k|410334 | 0.4 |1150M| 463 | 0 |1900 |1803 |1900 | 216 | 150k| 39 |3551 | 0.000000e+00 | 4.448540e+05 | Inf
873.82/873.80 c 874s| 1160k| 1159k|412724 | 0.4 |1160M| 463 | 0 |1900 |1803 |1900 | 199 | 151k| 40 |3566 | 0.000000e+00 | 4.448540e+05 | Inf
881.32/881.30 c 881s| 1170k| 1169k|416054 | 0.4 |1170M| 463 | 0 |1900 |1803 |1900 | 193 | 152k| 40 |3587 | 0.000000e+00 | 4.448540e+05 | Inf
888.61/888.66 c 889s| 1180k| 1179k|418863 | 0.4 |1179M| 463 | 0 |1900 |1802 |1900 | 192 | 153k| 40 |3594 | 0.000000e+00 | 4.448540e+05 | Inf
895.92/895.99 c 896s| 1190k| 1189k|421504 | 0.4 |1189M| 463 | 0 |1900 |1802 |1900 | 208 | 154k| 40 |3615 | 0.000000e+00 | 4.448540e+05 | Inf
903.42/903.43 c 903s| 1200k| 1199k|424702 | 0.4 |1199M| 463 | 0 |1900 |1802 |1900 | 231 | 156k| 40 |3634 | 0.000000e+00 | 4.448540e+05 | Inf
910.72/910.79 c 911s| 1210k| 1209k|427651 | 0.4 |1209M| 463 | 0 |1900 |1803 |1900 | 209 | 157k| 41 |3652 | 0.000000e+00 | 4.448540e+05 | Inf
918.02/918.05 c 918s| 1220k| 1219k|430109 | 0.4 |1219M| 463 | 0 |1900 |1803 |1900 | 200 | 158k| 41 |3652 | 0.000000e+00 | 4.448540e+05 | Inf
925.12/925.17 c 925s| 1230k| 1229k|431690 | 0.4 |1229M| 463 | 0 |1900 |1802 |1900 | 216 | 158k| 41 |3653 | 0.000000e+00 | 4.448540e+05 | Inf
932.32/932.31 c 932s| 1240k| 1239k|433344 | 0.3 |1238M| 463 | 0 |1900 |1802 |1900 | 213 | 159k| 41 |3664 | 0.000000e+00 | 4.448540e+05 | Inf
939.52/939.56 c 940s| 1250k| 1249k|434885 | 0.3 |1248M| 463 | 0 |1900 |1802 |1900 | 200 | 159k| 41 |3666 | 0.000000e+00 | 4.448540e+05 | Inf
946.72/946.76 c 947s| 1260k| 1259k|436531 | 0.3 |1258M| 463 | 0 |1900 |1801 |1900 | 209 | 160k| 41 |3670 | 0.000000e+00 | 4.448540e+05 | Inf
954.02/954.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
954.02/954.08 c 954s| 1270k| 1269k|438468 | 0.3 |1268M| 463 | 0 |1900 |1802 |1900 | 192 | 161k| 42 |3675 | 0.000000e+00 | 4.448540e+05 | Inf
961.22/961.28 c 961s| 1280k| 1279k|439913 | 0.3 |1278M| 463 | 0 |1900 |1802 |1900 | 193 | 161k| 42 |3675 | 0.000000e+00 | 4.448540e+05 | Inf
968.52/968.52 c 969s| 1290k| 1289k|441562 | 0.3 |1287M| 463 | 0 |1900 |1802 |1900 | 203 | 162k| 42 |3688 | 0.000000e+00 | 4.448540e+05 | Inf
975.73/975.77 c 976s| 1300k| 1299k|443254 | 0.3 |1297M| 463 | 0 |1900 |1802 |1900 | 198 | 162k| 42 |3693 | 0.000000e+00 | 4.448540e+05 | Inf
983.02/983.04 c 983s| 1310k| 1309k|445065 | 0.3 |1307M| 463 | 0 |1900 |1802 |1900 | 209 | 163k| 42 |3696 | 0.000000e+00 | 4.448540e+05 | Inf
990.33/990.39 c 990s| 1320k| 1319k|447564 | 0.3 |1317M| 463 | 0 |1900 |1802 |1900 | 216 | 164k| 42 |3722 | 0.000000e+00 | 4.448540e+05 | Inf
997.63/997.62 c 998s| 1330k| 1329k|449813 | 0.3 |1327M| 463 | 0 |1900 |1802 |1900 | 233 | 164k| 42 |3727 | 0.000000e+00 | 4.448540e+05 | Inf
1004.92/1004.99 c 1005s| 1340k| 1339k|452310 | 0.3 |1337M| 463 | 0 |1900 |1802 |1900 | 226 | 165k| 42 |3737 | 0.000000e+00 | 4.448540e+05 | Inf
1012.32/1012.36 c 1012s| 1350k| 1349k|454593 | 0.3 |1347M| 463 | 0 |1900 |1802 |1900 | 218 | 166k| 42 |3743 | 0.000000e+00 | 4.448540e+05 | Inf
1019.63/1019.68 c 1020s| 1360k| 1359k|456933 | 0.3 |1356M| 463 | 0 |1900 |1802 |1900 | 238 | 166k| 42 |3744 | 0.000000e+00 | 4.448540e+05 | Inf
1027.03/1027.02 c 1027s| 1370k| 1369k|459496 | 0.3 |1366M| 463 | 0 |1900 |1802 |1900 | 207 | 167k| 42 |3761 | 0.000000e+00 | 4.448540e+05 | Inf
1034.32/1034.32 c 1034s| 1380k| 1379k|461599 | 0.3 |1376M| 463 | 0 |1900 |1802 |1900 | 209 | 168k| 42 |3772 | 0.000000e+00 | 4.448540e+05 | Inf
1041.53/1041.53 c 1042s| 1390k| 1389k|463331 | 0.3 |1386M| 463 | 0 |1900 |1803 |1900 | 211 | 169k| 43 |3777 | 0.000000e+00 | 4.448540e+05 | Inf
1048.72/1048.76 c 1049s| 1400k| 1399k|465149 | 0.3 |1396M| 463 | 0 |1900 |1803 |1900 | 201 | 169k| 43 |3778 | 0.000000e+00 | 4.448540e+05 | Inf
1055.93/1055.93 c 1056s| 1410k| 1409k|466867 | 0.3 |1405M| 463 | 0 |1900 |1803 |1900 | 201 | 170k| 43 |3785 | 0.000000e+00 | 4.448540e+05 | Inf
1063.02/1063.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.02/1063.05 c 1063s| 1420k| 1419k|468479 | 0.3 |1415M| 463 | 0 |1900 |1803 |1900 | 201 | 171k| 43 |3793 | 0.000000e+00 | 4.448540e+05 | Inf
1070.23/1070.21 c 1070s| 1430k| 1429k|469999 | 0.3 |1425M| 463 | 0 |1900 |1802 |1900 | 216 | 171k| 43 |3814 | 0.000000e+00 | 4.448540e+05 | Inf
1077.42/1077.42 c 1077s| 1440k| 1439k|471657 | 0.3 |1435M| 463 | 0 |1900 |1802 |1900 | 200 | 172k| 43 |3814 | 0.000000e+00 | 4.448540e+05 | Inf
1084.53/1084.59 c 1085s| 1450k| 1449k|472985 | 0.3 |1445M| 463 | 0 |1900 |1802 |1900 | 202 | 173k| 43 |3814 | 0.000000e+00 | 4.448540e+05 | Inf
1091.83/1091.86 c 1092s| 1460k| 1459k|474702 | 0.3 |1454M| 463 | 0 |1900 |1802 |1900 | 192 | 173k| 43 |3815 | 0.000000e+00 | 4.448540e+05 | Inf
1099.03/1099.03 c 1099s| 1470k| 1469k|476180 | 0.3 |1464M| 463 | 0 |1900 |1802 |1900 | 186 | 174k| 43 |3822 | 0.000000e+00 | 4.448540e+05 | Inf
1106.22/1106.25 c 1106s| 1480k| 1479k|477845 | 0.3 |1474M| 463 | 0 |1900 |1802 |1900 | 207 | 174k| 43 |3830 | 0.000000e+00 | 4.448540e+05 | Inf
1113.43/1113.44 c 1113s| 1490k| 1489k|479391 | 0.3 |1484M| 463 | 0 |1900 |1802 |1900 | 210 | 175k| 43 |3838 | 0.000000e+00 | 4.448540e+05 | Inf
1120.52/1120.58 c 1121s| 1500k| 1499k|480908 | 0.3 |1494M| 463 | 0 |1900 |1802 |1900 | 220 | 175k| 43 |3842 | 0.000000e+00 | 4.448540e+05 | Inf
1127.83/1127.83 c 1128s| 1510k| 1509k|482988 | 0.3 |1503M| 463 | 0 |1900 |1802 |1900 | 219 | 176k| 43 |3851 | 0.000000e+00 | 4.448540e+05 | Inf
1135.02/1135.02 c 1135s| 1520k| 1519k|485365 | 0.3 |1513M| 463 | 0 |1900 |1802 |1900 | 205 | 177k| 43 |3876 | 0.000000e+00 | 4.448540e+05 | Inf
1142.22/1142.25 c 1142s| 1530k| 1529k|487584 | 0.3 |1523M| 463 | 0 |1900 |1802 |1900 | 202 | 178k| 43 |3885 | 0.000000e+00 | 4.448540e+05 | Inf
1149.43/1149.48 c 1149s| 1540k| 1539k|489483 | 0.3 |1533M| 463 | 0 |1900 |1802 |1900 | 206 | 178k| 43 |3902 | 0.000000e+00 | 4.448540e+05 | Inf
1156.72/1156.70 c 1157s| 1550k| 1549k|491389 | 0.3 |1543M| 463 | 0 |1900 |1802 |1900 | 206 | 179k| 43 |3905 | 0.000000e+00 | 4.448540e+05 | Inf
1163.93/1163.91 c 1164s| 1560k| 1559k|493356 | 0.3 |1553M| 463 | 0 |1900 |1802 |1900 | 198 | 179k| 43 |3906 | 0.000000e+00 | 4.448540e+05 | Inf
1171.02/1171.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.02/1171.08 c 1171s| 1570k| 1569k|495028 | 0.3 |1562M| 463 | 0 |1900 |1802 |1900 | 194 | 180k| 43 |3909 | 0.000000e+00 | 4.448540e+05 | Inf
1178.23/1178.22 c 1178s| 1580k| 1579k|496661 | 0.3 |1572M| 463 | 0 |1900 |1802 |1900 | 201 | 180k| 43 |3914 | 0.000000e+00 | 4.448540e+05 | Inf
1185.33/1185.38 c 1185s| 1590k| 1589k|498104 | 0.3 |1582M| 463 | 0 |1900 |1802 |1900 | 198 | 181k| 43 |3920 | 0.000000e+00 | 4.448540e+05 | Inf
1192.52/1192.57 c 1193s| 1600k| 1599k|499473 | 0.3 |1592M| 463 | 0 |1900 |1802 |1900 | 211 | 181k| 43 |3925 | 0.000000e+00 | 4.448540e+05 | Inf
1199.83/1199.86 c 1200s| 1610k| 1609k|501404 | 0.3 |1602M| 463 | 2 |1900 |1802 |1900 | 202 | 182k| 43 |3931 | 0.000000e+00 | 4.448540e+05 | Inf
1206.92/1206.98 c 1207s| 1620k| 1619k|502606 | 0.3 |1611M| 463 | 0 |1900 |1802 |1900 | 208 | 182k| 43 |3935 | 0.000000e+00 | 4.448540e+05 | Inf
1214.03/1214.02 c 1214s| 1630k| 1629k|503718 | 0.3 |1621M| 463 | 0 |1900 |1802 |1900 | 197 | 183k| 43 |3936 | 0.000000e+00 | 4.448540e+05 | Inf
1221.13/1221.19 c 1221s| 1640k| 1639k|505206 | 0.3 |1631M| 463 | 0 |1900 |1802 |1900 | 206 | 183k| 43 |3939 | 0.000000e+00 | 4.448540e+05 | Inf
1228.23/1228.29 c 1228s| 1650k| 1649k|506051 | 0.3 |1641M| 463 | 0 |1900 |1802 |1900 | 212 | 183k| 43 |3941 | 0.000000e+00 | 4.448540e+05 | Inf
1235.33/1235.38 c 1235s| 1660k| 1659k|507247 | 0.3 |1651M| 463 | 0 |1900 |1802 |1900 | 199 | 184k| 43 |3946 | 0.000000e+00 | 4.448540e+05 | Inf
1242.53/1242.54 c 1243s| 1670k| 1669k|508762 | 0.3 |1660M| 463 | 0 |1900 |1801 |1900 | 199 | 184k| 43 |3953 | 0.000000e+00 | 4.448540e+05 | Inf
1249.83/1249.88 c 1250s| 1680k| 1679k|511020 | 0.3 |1670M| 463 | 0 |1900 |1801 |1900 | 207 | 185k| 43 |3965 | 0.000000e+00 | 4.448540e+05 | Inf
1257.24/1257.26 c 1257s| 1690k| 1689k|513563 | 0.3 |1680M| 463 | 0 |1900 |1801 |1900 | 225 | 186k| 43 |3969 | 0.000000e+00 | 4.448540e+05 | Inf
1264.53/1264.56 c 1265s| 1700k| 1699k|515643 | 0.3 |1690M| 463 | 0 |1900 |1802 |1900 | 218 | 187k| 44 |3980 | 0.000000e+00 | 4.448540e+05 | Inf
1271.73/1271.80 c 1272s| 1710k| 1709k|517728 | 0.3 |1700M| 463 | 0 |1900 |1803 |1900 | 219 | 187k| 45 |4031 | 0.000000e+00 | 4.448540e+05 | Inf
1279.03/1279.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1279.03/1279.08 c 1279s| 1720k| 1719k|520166 | 0.3 |1710M| 463 | 0 |1900 |1803 |1900 | 232 | 188k| 45 |4033 | 0.000000e+00 | 4.448540e+05 | Inf
1286.33/1286.30 c 1286s| 1730k| 1729k|522234 | 0.3 |1720M| 463 | 0 |1900 |1803 |1900 | 230 | 189k| 45 |4038 | 0.000000e+00 | 4.448540e+05 | Inf
1293.54/1293.52 c 1294s| 1740k| 1739k|524286 | 0.3 |1730M| 463 | 0 |1900 |1803 |1900 | 238 | 189k| 45 |4041 | 0.000000e+00 | 4.448540e+05 | Inf
1300.83/1300.82 c 1301s| 1750k| 1749k|526533 | 0.3 |1739M| 463 | 0 |1900 |1803 |1900 | 235 | 190k| 45 |4043 | 0.000000e+00 | 4.448540e+05 | Inf
1308.13/1308.12 c 1308s| 1760k| 1759k|528830 | 0.3 |1749M| 463 | 0 |1900 |1803 |1900 | 220 | 191k| 45 |4053 | 0.000000e+00 | 4.448540e+05 | Inf
1315.43/1315.43 c 1315s| 1770k| 1769k|530796 | 0.3 |1759M| 463 | 0 |1900 |1803 |1900 | 211 | 192k| 45 |4071 | 0.000000e+00 | 4.448540e+05 | Inf
1322.63/1322.69 c 1323s| 1780k| 1779k|532477 | 0.3 |1769M| 463 | 0 |1900 |1803 |1900 | 224 | 192k| 45 |4085 | 0.000000e+00 | 4.448540e+05 | Inf
1329.94/1329.99 c 1330s| 1790k| 1789k|534618 | 0.3 |1779M| 463 | 0 |1900 |1803 |1900 | 199 | 193k| 45 |4094 | 0.000000e+00 | 4.448540e+05 | Inf
1337.33/1337.30 c 1337s| 1800k| 1799k|536681 | 0.3 |1789M| 463 | 0 |1900 |1802 |1900 | 240 | 193k| 45 |4114 | 0.000000e+00 | 4.448540e+05 | Inf
1344.54/1344.55 c 1345s| 1810k| 1809k|538713 | 0.3 |1799M| 463 | 0 |1900 |1802 |1900 | 229 | 194k| 45 |4114 | 0.000000e+00 | 4.448540e+05 | Inf
1351.74/1351.75 c 1352s| 1820k| 1819k|540854 | 0.3 |1809M| 463 | 0 |1900 |1803 |1900 | 232 | 195k| 46 |4116 | 0.000000e+00 | 4.448540e+05 | Inf
1358.93/1358.90 c 1359s| 1830k| 1829k|542814 | 0.3 |1818M| 463 | 0 |1900 |1803 |1900 | 230 | 196k| 46 |4123 | 0.000000e+00 | 4.448540e+05 | Inf
1366.14/1366.11 c 1366s| 1840k| 1839k|544747 | 0.3 |1828M| 463 | 0 |1900 |1803 |1900 | 211 | 196k| 46 |4124 | 0.000000e+00 | 4.448540e+05 | Inf
1373.34/1373.32 c 1373s| 1850k| 1849k|546461 | 0.3 |1838M| 463 | 0 |1900 |1803 |1900 | 231 | 197k| 46 |4127 | 0.000000e+00 | 4.448540e+05 | Inf
1380.54/1380.56 c 1381s| 1860k| 1859k|548293 | 0.3 |1848M| 463 | 0 |1900 |1803 |1900 | 218 | 197k| 46 |4137 | 0.000000e+00 | 4.448540e+05 | Inf
1387.83/1387.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1387.83/1387.85 c 1388s| 1870k| 1869k|550531 | 0.3 |1858M| 463 | 0 |1900 |1803 |1900 | 210 | 198k| 46 |4146 | 0.000000e+00 | 4.448540e+05 | Inf
1395.03/1395.00 c 1395s| 1880k| 1879k|551732 | 0.3 |1868M| 463 | 0 |1900 |1803 |1900 | 223 | 199k| 46 |4158 | 0.000000e+00 | 4.448540e+05 | Inf
1402.34/1402.34 c 1402s| 1890k| 1889k|553723 | 0.3 |1878M| 463 | 0 |1900 |1802 |1900 | 213 | 199k| 46 |4170 | 0.000000e+00 | 4.448540e+05 | Inf
1409.63/1409.60 c 1410s| 1900k| 1899k|555357 | 0.3 |1887M| 463 | 0 |1900 |1802 |1900 | 202 | 200k| 46 |4187 | 0.000000e+00 | 4.448540e+05 | Inf
1416.74/1416.72 c 1417s| 1910k| 1909k|556548 | 0.3 |1897M| 463 | 0 |1900 |1802 |1900 | 219 | 200k| 46 |4188 | 0.000000e+00 | 4.448540e+05 | Inf
1423.84/1423.88 c 1424s| 1920k| 1919k|558054 | 0.3 |1907M| 463 | 0 |1900 |1802 |1900 | 236 | 201k| 46 |4188 | 0.000000e+00 | 4.448540e+05 | Inf
1431.14/1431.13 c 1431s| 1930k| 1929k|559988 | 0.3 |1917M| 463 | 0 |1900 |1802 |1900 | 235 | 201k| 46 |4213 | 0.000000e+00 | 4.448540e+05 | Inf
1438.43/1438.44 c 1438s| 1940k| 1939k|561756 | 0.3 |1927M| 463 | 0 |1900 |1802 |1900 | 213 | 202k| 46 |4213 | 0.000000e+00 | 4.448540e+05 | Inf
1445.64/1445.67 c 1446s| 1950k| 1949k|563398 | 0.3 |1936M| 463 | 0 |1900 |1802 |1900 | 230 | 203k| 46 |4232 | 0.000000e+00 | 4.448540e+05 | Inf
1452.94/1452.92 c 1453s| 1960k| 1959k|565046 | 0.3 |1946M| 463 | 0 |1900 |1802 |1900 | 198 | 203k| 46 |4232 | 0.000000e+00 | 4.448540e+05 | Inf
1460.23/1460.23 c 1460s| 1970k| 1969k|566984 | 0.3 |1956M| 463 | 0 |1900 |1803 |1900 | 200 | 204k| 47 |4255 | 0.000000e+00 | 4.448540e+05 | Inf
1467.44/1467.49 c 1467s| 1980k| 1979k|569199 | 0.3 |1966M| 463 | 0 |1900 |1803 |1900 | 195 | 204k| 47 |4278 | 0.000000e+00 | 4.448540e+05 | Inf
1474.74/1474.70 c 1475s| 1990k| 1989k|571257 | 0.3 |1976M| 463 | 0 |1900 |1803 |1900 | 197 | 205k| 47 |4286 | 0.000000e+00 | 4.448540e+05 | Inf
1481.94/1481.99 c 1482s| 2000k| 1999k|573292 | 0.3 |1986M| 463 | 0 |1900 |1803 |1900 | 234 | 206k| 47 |4289 | 0.000000e+00 | 4.448540e+05 | Inf
1489.14/1489.17 c 1489s| 2010k| 2009k|575391 | 0.3 |1996M| 463 | 0 |1900 |1803 |1900 | 233 | 207k| 47 |4292 | 0.000000e+00 | 4.448540e+05 | Inf
1496.24/1496.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1496.24/1496.28 c 1496s| 2020k| 2019k|576941 | 0.3 |2006M| 463 | 0 |1900 |1803 |1900 | 208 | 207k| 47 |4292 | 0.000000e+00 | 4.448540e+05 | Inf
1503.43/1503.44 c 1503s| 2030k| 2029k|578996 | 0.3 |2015M| 463 | 0 |1900 |1803 |1900 | 233 | 208k| 47 |4311 | 0.000000e+00 | 4.448540e+05 | Inf
1510.83/1510.81 c 1511s| 2040k| 2039k|581276 | 0.3 |2025M| 463 | 0 |1900 |1802 |1900 | 213 | 209k| 47 |4320 | 0.000000e+00 | 4.448540e+05 | Inf
1518.14/1518.11 c 1518s| 2050k| 2049k|583115 | 0.3 |2035M| 463 | 0 |1900 |1802 |1900 | 222 | 210k| 47 |4336 | 0.000000e+00 | 4.448540e+05 | Inf
1525.54/1525.54 c 1526s| 2060k| 2059k|585786 | 0.3 |2045M| 463 | 0 |1900 |1802 |1900 | 220 | 210k| 47 |4337 | 0.000000e+00 | 4.448540e+05 | Inf
1532.84/1532.84 c 1533s| 2070k| 2069k|588187 | 0.3 |2055M| 463 | 0 |1900 |1802 |1900 | 219 | 211k| 47 |4341 | 0.000000e+00 | 4.448540e+05 | Inf
1540.14/1540.15 c 1540s| 2080k| 2079k|590399 | 0.3 |2065M| 463 | 0 |1900 |1802 |1900 | 199 | 212k| 47 |4355 | 0.000000e+00 | 4.448540e+05 | Inf
1547.44/1547.44 c 1547s| 2090k| 2089k|592114 | 0.3 |2075M| 463 | 0 |1900 |1802 |1900 | 206 | 213k| 47 |4365 | 0.000000e+00 | 4.448540e+05 | Inf
1554.74/1554.71 c 1555s| 2100k| 2099k|594674 | 0.3 |2084M| 463 | 0 |1900 |1802 |1900 | 209 | 214k| 47 |4368 | 0.000000e+00 | 4.448540e+05 | Inf
1561.94/1561.98 c 1562s| 2110k| 2109k|597421 | 0.3 |2094M| 463 | 0 |1900 |1802 |1900 | 238 | 215k| 47 |4376 | 0.000000e+00 | 4.448540e+05 | Inf
1569.24/1569.27 c 1569s| 2120k| 2119k|599389 | 0.3 |2104M| 463 | 0 |1900 |1802 |1900 | 212 | 215k| 47 |4376 | 0.000000e+00 | 4.448540e+05 | Inf
1576.64/1576.66 c 1577s| 2130k| 2129k|601651 | 0.3 |2114M| 463 | 0 |1900 |1802 |1900 | 221 | 216k| 47 |4394 | 0.000000e+00 | 4.448540e+05 | Inf
1584.04/1584.08 c 1584s| 2140k| 2139k|603962 | 0.3 |2124M| 463 | 0 |1900 |1802 |1900 | 214 | 217k| 47 |4399 | 0.000000e+00 | 4.448540e+05 | Inf
1591.44/1591.49 c 1591s| 2150k| 2149k|606424 | 0.3 |2134M| 463 | 0 |1900 |1802 |1900 | 211 | 218k| 47 |4399 | 0.000000e+00 | 4.448540e+05 | Inf
1598.84/1598.84 c 1599s| 2160k| 2159k|608465 | 0.3 |2144M| 463 | 0 |1900 |1802 |1900 | 213 | 218k| 47 |4400 | 0.000000e+00 | 4.448540e+05 | Inf
1606.04/1606.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1606.04/1606.00 c 1606s| 2170k| 2169k|609893 | 0.3 |2153M| 463 | 0 |1900 |1802 |1900 | 209 | 219k| 47 |4404 | 0.000000e+00 | 4.448540e+05 | Inf
1613.24/1613.20 c 1613s| 2180k| 2179k|611616 | 0.3 |2163M| 463 | 0 |1900 |1802 |1900 | 201 | 219k| 47 |4412 | 0.000000e+00 | 4.448540e+05 | Inf
1620.44/1620.43 c 1620s| 2190k| 2189k|613256 | 0.3 |2173M| 463 | 0 |1900 |1802 |1900 | 212 | 220k| 47 |4412 | 0.000000e+00 | 4.448540e+05 | Inf
1627.64/1627.60 c 1628s| 2200k| 2199k|615049 | 0.3 |2183M| 463 | 0 |1900 |1802 |1900 | 209 | 220k| 47 |4438 | 0.000000e+00 | 4.448540e+05 | Inf
1634.84/1634.86 c 1635s| 2210k| 2209k|616945 | 0.3 |2193M| 463 | 0 |1900 |1802 |1900 | 228 | 221k| 47 |4439 | 0.000000e+00 | 4.448540e+05 | Inf
1642.15/1642.18 c 1642s| 2220k| 2219k|618813 | 0.3 |2203M| 463 | 0 |1900 |1802 |1900 | 225 | 222k| 47 |4447 | 0.000000e+00 | 4.448540e+05 | Inf
1649.54/1649.50 c 1649s| 2230k| 2229k|620643 | 0.3 |2213M| 463 | 0 |1900 |1802 |1900 | 208 | 222k| 47 |4470 | 0.000000e+00 | 4.448540e+05 | Inf
1656.84/1656.81 c 1657s| 2240k| 2239k|622700 | 0.3 |2222M| 463 | 0 |1900 |1802 |1900 | 205 | 223k| 47 |4480 | 0.000000e+00 | 4.448540e+05 | Inf
1664.04/1664.09 c 1664s| 2250k| 2249k|624624 | 0.3 |2232M| 463 | 0 |1900 |1802 |1900 | 223 | 224k| 47 |4481 | 0.000000e+00 | 4.448540e+05 | Inf
1671.44/1671.40 c 1671s| 2260k| 2259k|626812 | 0.3 |2242M| 463 | 0 |1900 |1802 |1900 | 224 | 225k| 47 |4491 | 0.000000e+00 | 4.448540e+05 | Inf
1678.75/1678.71 c 1679s| 2270k| 2269k|628791 | 0.3 |2252M| 463 | 0 |1900 |1802 |1900 | 206 | 225k| 47 |4497 | 0.000000e+00 | 4.448540e+05 | Inf
1685.94/1685.93 c 1686s| 2280k| 2279k|631048 | 0.3 |2262M| 463 | 0 |1900 |1802 |1900 | 209 | 226k| 47 |4500 | 0.000000e+00 | 4.448540e+05 | Inf
1693.14/1693.13 c 1693s| 2290k| 2289k|633235 | 0.3 |2272M| 463 | 0 |1900 |1802 |1900 | 187 | 227k| 47 |4519 | 0.000000e+00 | 4.448540e+05 | Inf
1700.45/1700.43 c 1700s| 2300k| 2299k|635602 | 0.3 |2281M| 463 | 0 |1900 |1802 |1900 | 200 | 228k| 47 |4528 | 0.000000e+00 | 4.448540e+05 | Inf
1707.84/1707.81 c 1708s| 2310k| 2309k|638501 | 0.3 |2291M| 463 | 0 |1900 |1802 |1900 | 203 | 229k| 47 |4532 | 0.000000e+00 | 4.448540e+05 | Inf
1714.95/1714.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1714.95/1714.95 c 1715s| 2320k| 2319k|640228 | 0.3 |2301M| 463 | 0 |1900 |1802 |1900 | 210 | 229k| 47 |4538 | 0.000000e+00 | 4.448540e+05 | Inf
1722.14/1722.14 c 1722s| 2330k| 2329k|641906 | 0.3 |2311M| 463 | 0 |1900 |1802 |1900 | 223 | 230k| 47 |4538 | 0.000000e+00 | 4.448540e+05 | Inf
1729.35/1729.38 c 1729s| 2340k| 2339k|643905 | 0.3 |2321M| 463 | 0 |1900 |1802 |1900 | 203 | 231k| 47 |4575 | 0.000000e+00 | 4.448540e+05 | Inf
1736.55/1736.58 c 1737s| 2350k| 2349k|645700 | 0.3 |2331M| 463 | 0 |1900 |1802 |1900 | 194 | 231k| 47 |4577 | 0.000000e+00 | 4.448540e+05 | Inf
1743.74/1743.73 c 1744s| 2360k| 2359k|647550 | 0.3 |2340M| 463 | 0 |1900 |1802 |1900 | 208 | 232k| 47 |4588 | 0.000000e+00 | 4.448540e+05 | Inf
1751.05/1751.10 c 1751s| 2370k| 2369k|649707 | 0.3 |2350M| 463 | 0 |1900 |1802 |1900 | 226 | 233k| 47 |4594 | 0.000000e+00 | 4.448540e+05 | Inf
1758.34/1758.31 c 1758s| 2380k| 2379k|652091 | 0.3 |2360M| 463 | 0 |1900 |1802 |1900 | 193 | 234k| 47 |4618 | 0.000000e+00 | 4.448540e+05 | Inf
1765.55/1765.59 c 1766s| 2390k| 2389k|654952 | 0.3 |2370M| 463 | 0 |1900 |1802 |1900 | 215 | 235k| 47 |4630 | 0.000000e+00 | 4.448540e+05 | Inf
1772.84/1772.82 c 1773s| 2400k| 2399k|656673 | 0.3 |2380M| 463 | 0 |1900 |1802 |1900 | 214 | 235k| 47 |4631 | 0.000000e+00 | 4.448540e+05 | Inf
1780.04/1780.09 c 1780s| 2410k| 2409k|659063 | 0.3 |2390M| 463 | 0 |1900 |1802 |1900 | 222 | 236k| 47 |4631 | 0.000000e+00 | 4.448540e+05 | Inf
1787.45/1787.41 c 1787s| 2420k| 2419k|661539 | 0.3 |2400M| 463 | 0 |1900 |1802 |1900 | 215 | 237k| 47 |4652 | 0.000000e+00 | 4.448540e+05 | Inf
1790.04/1790.00 c
1790.04/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.00 c Solving Time (sec) : 1789.99
1790.04/1790.00 c Solving Nodes : 2423404
1790.04/1790.00 c Primal Bound : +4.44854000000000e+05 (100 solutions)
1790.04/1790.00 c Dual Bound : +0.00000000000000e+00
1790.04/1790.00 c Gap : infinite
1790.04/1790.01 s SATISFIABLE
1790.04/1790.01 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
1790.04/1790.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1790.04/1790.01 v x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 x132
1790.04/1790.01 v -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109
1790.04/1790.01 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
1790.04/1790.01 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
1790.04/1790.01 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
1790.04/1790.01 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
1790.04/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.01 c Solving Time : 1789.99
1790.04/1790.01 c Original Problem :
1790.04/1790.01 c Problem name : HOME/instance-2705759-1278580140.wbo
1790.04/1790.01 c Variables : 2000 (1100 binary, 0 integer, 900 implicit integer, 0 continuous)
1790.04/1790.01 c Constraints : 1901 initial, 1901 maximal
1790.04/1790.01 c Presolved Problem :
1790.04/1790.01 c Problem name : t_HOME/instance-2705759-1278580140.wbo
1790.04/1790.01 c Variables : 1900 (1000 binary, 0 integer, 900 implicit integer, 0 continuous)
1790.04/1790.01 c Constraints : 1800 initial, 1820 maximal
1790.04/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c probing : 0.02 0 0 0 0 0 0 0 0
1790.04/1790.01 c linear : 0.02 0 100 0 900 0 101 0 0
1790.04/1790.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.01 c root node : - 0 - - 0 - - - -
1790.04/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.01 c integral : 0 0 0 2515319 0 0 224 0 0 34636
1790.04/1790.01 c linear : 900 6 3181858 2497828 1 30 445438 237673 0 0
1790.04/1790.01 c indicator : 900 0 3181828 2497828 2 21 2333562 0 0 0
1790.04/1790.01 c logicor : 0+ 0 38844 0 0 2 10061 0 0 0
1790.04/1790.01 c countsols : 0 0 0 2406022 1 0 0 0 0 0
1790.04/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.01 c integral : 3.86 0.00 0.00 3.86 0.00
1790.04/1790.01 c linear : 52.55 0.00 11.43 41.13 0.00
1790.04/1790.01 c indicator : 255.23 0.05 89.50 165.68 0.00
1790.04/1790.01 c logicor : 0.07 0.00 0.07 0.00 0.00
1790.04/1790.01 c countsols : 0.32 0.00 0.00 0.32 0.00
1790.04/1790.01 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.01 c vbounds : 0.69 2 0 0
1790.04/1790.01 c rootredcost : 0.66 0 0 0
1790.04/1790.01 c pseudoobj : 46.30 3181658 0 0
1790.04/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.01 c propagation : 0.00 32 32 35 7.0 0 0.0 -
1790.04/1790.01 c infeasible LP : 0.00 11 11 11 11.5 1 5.0 0
1790.04/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.04/1790.01 c applied globally : - - - 47 8.0 - - -
1790.04/1790.01 c applied locally : - - - 0 0.0 - - -
1790.04/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.01 c cut pool : 0.00 3 - - 4 - (maximal pool size: 195)
1790.04/1790.01 c redcost : 118.58 2515301 0 0 0 0
1790.04/1790.01 c impliedbounds : 0.00 4 0 0 0 0
1790.04/1790.01 c intobj : 0.00 0 0 0 0 0
1790.04/1790.01 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.01 c gomory : 0.02 4 0 0 132 0
1790.04/1790.01 c strongcg : 0.02 4 0 0 234 0
1790.04/1790.01 c cmir : 0.01 4 0 0 0 0
1790.04/1790.01 c flowcover : 0.01 4 0 0 0 0
1790.04/1790.01 c clique : 0.00 1 0 0 0 0
1790.04/1790.01 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.01 c mcf : 0.00 1 0 0 0 0
1790.04/1790.01 c rapidlearning : 0.06 1 0 0 0 0
1790.04/1790.01 c Pricers : Time Calls Vars
1790.04/1790.01 c problem variables: 0.00 0 0
1790.04/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.01 c relpscost : 3.11 17491 0 224 0 0 34636
1790.04/1790.01 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.01 c inference : 313.11 2406023 0 0 0 0 4812046
1790.04/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.01 c random : 0.00 0 0 0 0 0 0
1790.04/1790.01 c Primal Heuristics : Time Calls Found
1790.04/1790.01 c LP solutions : 0.00 - 0
1790.04/1790.01 c pseudo solutions : 0.00 - 0
1790.04/1790.01 c intshifting : 0.00 0 0
1790.04/1790.01 c feaspump : 0.00 0 0
1790.04/1790.01 c oneopt : 1.13 1 0
1790.04/1790.01 c crossover : 0.78 13 3
1790.04/1790.01 c veclendiving : 7.74 10308 0
1790.04/1790.01 c coefdiving : 7.67 10309 0
1790.04/1790.01 c pscostdiving : 7.76 10309 0
1790.04/1790.01 c fracdiving : 7.71 10309 0
1790.04/1790.01 c linesearchdiving : 7.66 10309 0
1790.04/1790.01 c guideddiving : 7.65 10309 0
1790.04/1790.01 c objpscostdiving : 7.96 10305 0
1790.04/1790.01 c rootsoldiving : 8.06 10305 0
1790.04/1790.01 c trivial : 0.00 2 1
1790.04/1790.01 c simplerounding : 0.68 17494 0
1790.04/1790.01 c zirounding : 0.54 1000 0
1790.04/1790.01 c rounding : 0.45 1847 0
1790.04/1790.01 c shifting : 0.16 561 0
1790.04/1790.01 c twoopt : 0.00 0 0
1790.04/1790.01 c fixandinfer : 0.00 0 0
1790.04/1790.01 c intdiving : 0.00 0 0
1790.04/1790.01 c actconsdiving : 0.00 0 0
1790.04/1790.01 c octane : 0.00 0 0
1790.04/1790.01 c rens : 0.01 1 0
1790.04/1790.01 c rins : 0.00 0 0
1790.04/1790.01 c localbranching : 0.00 0 0
1790.04/1790.01 c mutation : 0.00 0 0
1790.04/1790.01 c dins : 0.00 0 0
1790.04/1790.01 c undercover : 0.00 0 0
1790.04/1790.01 c nlp : 0.37 0 0
1790.04/1790.01 c trysol : 0.64 10425 96
1790.04/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.01 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.01 c dual LP : 561.87 210183 662464 3.15 1179.03
1790.04/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.01 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.01 c diving/probing LP: 0.02 31 111 3.58 5288.23
1790.04/1790.01 c strong branching : 2.99 4652 27588 5.93 9228.15
1790.04/1790.01 c (at root node) : - 33 1237 37.48 -
1790.04/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.01 c B&B Tree :
1790.04/1790.01 c number of runs : 1
1790.04/1790.01 c nodes : 2423404
1790.04/1790.01 c nodes (total) : 2423404
1790.04/1790.01 c nodes left : 2423278
1790.04/1790.01 c max depth : 463
1790.04/1790.01 c max depth (total): 463
1790.04/1790.01 c backtracks : 10330 (0.4%)
1790.04/1790.01 c delayed cutoffs : 1
1790.04/1790.01 c repropagations : 673 (254 domain reductions, 0 cutoffs)
1790.04/1790.01 c avg switch length: 2.07
1790.04/1790.01 c switching time : 53.66
1790.04/1790.01 c Solution :
1790.04/1790.01 c Solutions found : 100 (1 improvements)
1790.04/1790.01 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.04/1790.01 c Primal Bound : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1790.04/1790.01 c Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Gap : infinite
1790.04/1790.01 c Root Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Root Iterations : 238
1794.44/1794.40 c Time complete: 1794.44.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705759-1278580140/watcher-2705759-1278580140 -o /tmp/evaluation-result-2705759-1278580140/solver-2705759-1278580140 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705759-1278580140.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 23024
/proc/meminfo: memFree=28901076/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=12540 CPUtime=0
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 1972 0 0 0 0 0 0 0 25 0 1 0 26227599 12840960 1890 4089446400 4194304 10345943 140734182756016 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23024/statm: 3135 1890 429 1502 0 1628 0
[startup+0.0982881 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 23024
/proc/meminfo: memFree=28901076/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=40220 CPUtime=0.09
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 8946 0 0 0 9 0 0 0 25 0 1 0 26227599 41185280 8510 4089446400 4194304 10345943 140734182756016 18446744073709551615 9186026 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 10055 8510 636 1502 0 8548 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40220
[startup+0.100284 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 23024
/proc/meminfo: memFree=28901076/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=40220 CPUtime=0.09
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 8946 0 0 0 9 0 0 0 25 0 1 0 26227599 41185280 8510 4089446400 4194304 10345943 140734182756016 18446744073709551615 4688130 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 10055 8510 636 1502 0 8548 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40220
[startup+0.300314 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 23024
/proc/meminfo: memFree=28901076/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=42736 CPUtime=0.29
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 10184 0 0 0 28 1 0 0 25 0 1 0 26227599 43761664 9235 4089446400 4194304 10345943 140734182756016 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 10684 9235 750 1502 0 9177 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42736
[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 1.96 4/178 23024
/proc/meminfo: memFree=28901076/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=42736 CPUtime=0.69
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 10189 0 0 0 68 1 0 0 25 0 1 0 26227599 43761664 9240 4089446400 4194304 10345943 140734182756016 18446744073709551615 6108013 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 10684 9240 755 1502 0 9177 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42736
[startup+1.50103 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23025
/proc/meminfo: memFree=28864860/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=41272 CPUtime=1.49
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 10858 0 0 0 148 1 0 0 25 0 1 0 26227599 42262528 9181 4089446400 4194304 10345943 140734182756016 18446744073709551615 6785197 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 10318 9181 756 1502 0 8811 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41272
[startup+3.10074 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23025
/proc/meminfo: memFree=28861760/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=46284 CPUtime=3.09
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 11815 0 0 0 307 2 0 0 25 0 1 0 26227599 47394816 10138 4089446400 4194304 10345943 140734182756016 18446744073709551615 4677512 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 11571 10138 756 1502 0 10064 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46284
[startup+6.30015 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23025
/proc/meminfo: memFree=28857048/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=45980 CPUtime=6.29
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 13991 0 0 0 627 2 0 0 25 0 1 0 26227599 47083520 10385 4089446400 4194304 10345943 140734182756016 18446744073709551615 6307366 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 11495 10385 760 1502 0 9988 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45980
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23025
/proc/meminfo: memFree=28841036/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=51900 CPUtime=12.69
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 17605 0 0 0 1266 3 0 0 25 0 1 0 26227599 53145600 11622 4089446400 4194304 10345943 140734182756016 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 12975 11622 760 1502 0 11468 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51900
[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23025
/proc/meminfo: memFree=28817568/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=69396 CPUtime=25.49
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 24427 0 0 0 2543 6 0 0 25 0 1 0 26227599 71061504 15872 4089446400 4194304 10345943 140734182756016 18446744073709551615 6528232 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 17349 15872 760 1502 0 15842 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69396
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23026
/proc/meminfo: memFree=28748224/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=102624 CPUtime=51.09
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 35498 0 0 0 5098 11 0 0 25 0 1 0 26227599 105086976 24373 4089446400 4194304 10345943 140734182756016 18446744073709551615 6785218 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 25656 24373 760 1502 0 24149 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 102624
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 23027
/proc/meminfo: memFree=28610572/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=173532 CPUtime=102.3
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 55141 0 0 0 10208 22 0 0 25 0 1 0 26227599 177696768 41837 4089446400 4194304 10345943 140734182756016 18446744073709551615 6119534 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 43383 41837 760 1502 0 41876 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 173532
[startup+162.301 s]
/proc/loadavg: 1.40 1.83 1.90 2/171 23050
/proc/meminfo: memFree=28932996/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=257556 CPUtime=162.29
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 77463 0 0 0 16193 36 0 0 25 0 1 0 26227599 263737344 62039 4089446400 4194304 10345943 140734182756016 18446744073709551615 6003113 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 64389 62039 760 1502 0 62882 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 257556
[startup+222.301 s]
/proc/loadavg: 1.14 1.68 1.84 2/171 23051
/proc/meminfo: memFree=28852716/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=336228 CPUtime=222.29
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 97072 0 0 0 22180 49 0 0 25 0 1 0 26227599 344297472 81648 4089446400 4194304 10345943 140734182756016 18446744073709551615 4476219 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 84057 81648 760 1502 0 82550 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 336228
[startup+282.301 s]
/proc/loadavg: 1.05 1.55 1.79 2/171 23053
/proc/meminfo: memFree=28773064/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=416232 CPUtime=282.3
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 117039 0 0 0 28168 62 0 0 25 0 1 0 26227599 426221568 101615 4089446400 4194304 10345943 140734182756016 18446744073709551615 6519468 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 104058 101615 760 1502 0 102551 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 416232
[startup+342.301 s]
/proc/loadavg: 1.02 1.45 1.73 2/171 23055
/proc/meminfo: memFree=28693652/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=493780 CPUtime=342.3
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 138655 0 0 0 34155 75 0 0 25 0 1 0 26227599 505630720 121142 4089446400 4194304 10345943 140734182756016 18446744073709551615 4881848 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 123445 121142 760 1502 0 121938 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 493780
[startup+402.301 s]
/proc/loadavg: 1.08 1.38 1.69 2/171 23056
/proc/meminfo: memFree=28615480/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=583240 CPUtime=402.3
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 158822 0 0 0 40144 86 0 0 25 0 1 0 26227599 597237760 141308 4089446400 4194304 10345943 140734182756016 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 145810 141308 760 1502 0 144303 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 583240
[startup+462.301 s]
/proc/loadavg: 1.03 1.31 1.64 2/171 23058
/proc/meminfo: memFree=28535940/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=659960 CPUtime=462.31
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 178086 0 0 0 46132 99 0 0 25 0 1 0 26227599 675799040 160572 4089446400 4194304 10345943 140734182756016 18446744073709551615 6804101 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 164990 160572 760 1502 0 163483 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 659960
[startup+522.301 s]
/proc/loadavg: 1.01 1.25 1.60 2/171 23059
/proc/meminfo: memFree=28459636/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=737012 CPUtime=522.3
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 197370 0 0 0 52117 113 0 0 25 0 1 0 26227599 754700288 179856 4089446400 4194304 10345943 140734182756016 18446744073709551615 6120352 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 184253 179856 760 1502 0 182746 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 737012
[startup+582.301 s]
/proc/loadavg: 1.00 1.20 1.56 2/171 23064
/proc/meminfo: memFree=28378712/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=815972 CPUtime=582.31
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 217108 0 0 0 58106 125 0 0 25 0 1 0 26227599 835555328 199594 4089446400 4194304 10345943 140734182756016 18446744073709551615 4900826 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 203993 199594 760 1502 0 202486 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 815972
[startup+642.301 s]
/proc/loadavg: 1.00 1.16 1.52 2/171 23066
/proc/meminfo: memFree=28299524/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=895572 CPUtime=642.32
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 239116 0 0 0 64093 139 0 0 25 0 1 0 26227599 917065728 219435 4089446400 4194304 10345943 140734182756016 18446744073709551615 6108031 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 223893 219435 760 1502 0 222386 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 895572
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=27655384/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=1554104 CPUtime=1122.32
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 399775 0 0 0 111997 235 0 0 25 0 1 0 26227599 1591402496 380094 4089446400 4194304 10345943 140734182756016 18446744073709551615 4749654 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 388526 380094 760 1502 0 387019 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1554104
[startup+1182.3 s]
/proc/loadavg: 1.00 1.02 1.27 2/171 23080
/proc/meminfo: memFree=27574608/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=1636584 CPUtime=1182.32
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 420365 0 0 0 117986 246 0 0 25 0 1 0 26227599 1675862016 400684 4089446400 4194304 10345943 140734182756016 18446744073709551615 8160777 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 409146 400684 760 1502 0 407639 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1636584
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.25 2/171 23082
/proc/meminfo: memFree=27490852/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=1718248 CPUtime=1242.33
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 443150 0 0 0 123973 260 0 0 25 0 1 0 26227599 1759485952 421348 4089446400 4194304 10345943 140734182756016 18446744073709551615 8933712 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 429562 421348 760 1502 0 428055 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1718248
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.24 2/171 23083
/proc/meminfo: memFree=27409200/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=1800380 CPUtime=1302.33
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 463250 0 0 0 129963 270 0 0 25 0 1 0 26227599 1843589120 441448 4089446400 4194304 10345943 140734182756016 18446744073709551615 9106037 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 450095 441448 760 1502 0 448588 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1800380
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.22 2/171 23085
/proc/meminfo: memFree=27329044/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=1880688 CPUtime=1362.33
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 483495 0 0 0 135952 281 0 0 25 0 1 0 26227599 1925824512 461693 4089446400 4194304 10345943 140734182756016 18446744073709551615 6307492 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 470172 461693 760 1502 0 468665 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1880688
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.20 2/171 23086
/proc/meminfo: memFree=27245668/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=1962360 CPUtime=1422.34
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 504019 0 0 0 141941 293 0 0 25 0 1 0 26227599 2009456640 482217 4089446400 4194304 10345943 140734182756016 18446744073709551615 4447909 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 490590 482217 760 1502 0 489083 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1962360
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/171 23088
/proc/meminfo: memFree=27164632/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=2044380 CPUtime=1482.34
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 524393 0 0 0 147928 306 0 0 25 0 1 0 26227599 2093445120 502591 4089446400 4194304 10345943 140734182756016 18446744073709551615 6802904 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 511095 502591 760 1502 0 509588 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2044380
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/171 23090
/proc/meminfo: memFree=27082596/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=2158956 CPUtime=1542.33
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 544727 0 0 0 153915 318 0 0 25 0 1 0 26227599 2210770944 522925 4089446400 4194304 10345943 140734182756016 18446744073709551615 6785235 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 539739 522925 760 1502 0 538232 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2158956
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/171 23091
/proc/meminfo: memFree=27003300/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=2239212 CPUtime=1602.34
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 565006 0 0 0 159903 331 0 0 25 0 1 0 26227599 2292953088 543203 4089446400 4194304 10345943 140734182756016 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 559803 543203 760 1502 0 558296 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2239212
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/171 23093
/proc/meminfo: memFree=26920788/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=2319860 CPUtime=1662.34
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 585007 0 0 0 165891 343 0 0 25 0 1 0 26227599 2375536640 563204 4089446400 4194304 10345943 140734182756016 18446744073709551615 4701030 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 579965 563204 760 1502 0 578458 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2319860
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/171 23094
/proc/meminfo: memFree=26841620/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=2401512 CPUtime=1722.34
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 605272 0 0 0 171879 355 0 0 25 0 1 0 26227599 2459148288 583469 4089446400 4194304 10345943 140734182756016 18446744073709551615 4881848 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 600378 583469 760 1502 0 598871 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2401512
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/171 23096
/proc/meminfo: memFree=26759716/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=2482472 CPUtime=1782.35
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 625528 0 0 0 177867 368 0 0 25 0 1 0 26227599 2542051328 603725 4089446400 4194304 10345943 140734182756016 18446744073709551615 5926401 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 620618 603725 760 1502 0 619111 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2482472
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.12 2/171 23096
/proc/meminfo: memFree=26754004/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=2486740 CPUtime=1785.55
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 626660 0 0 0 178187 368 0 0 25 0 1 0 26227599 2546421760 604857 4089446400 4194304 10345943 140734182756016 18446744073709551615 6551120 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 621685 604857 760 1502 0 620178 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 2486740
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.12 2/171 23096
/proc/meminfo: memFree=26748916/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=2491572 CPUtime=1788.75
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 627843 0 0 0 178506 369 0 0 25 0 1 0 26227599 2551369728 606040 4089446400 4194304 10345943 140734182756016 18446744073709551615 4688088 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23024/statm: 622893 606040 760 1502 0 621386 0
Current children cumulated CPU time (s) 1788.75
Current children cumulated vsize (KiB) 2491572
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.12 2/171 23096
/proc/meminfo: memFree=26748668/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=2492096 CPUtime=1791.95
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 627891 0 0 0 178826 369 0 0 20 0 1 0 26227599 2551906304 606088 4089446400 4194304 10345943 140734182756016 18446744073709551615 4723512 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23024/statm: 623024 606088 764 1502 0 621517 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 2492096
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.12 2/171 23096
/proc/meminfo: memFree=26748544/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=2492096 CPUtime=1793.54
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 627891 0 0 0 178985 369 0 0 25 0 1 0 26227599 2551906304 606088 4089446400 4194304 10345943 140734182756016 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23024/statm: 623024 606088 764 1502 0 621517 0
Current children cumulated CPU time (s) 1793.54
Current children cumulated vsize (KiB) 2492096
[startup+1793.9 s]
/proc/loadavg: 1.00 1.00 1.12 2/171 23096
/proc/meminfo: memFree=26748544/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=2492096 CPUtime=1793.94
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 627891 0 0 0 179025 369 0 0 25 0 1 0 26227599 2551906304 606088 4089446400 4194304 10345943 140734182756016 18446744073709551615 4723456 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23024/statm: 623024 606088 764 1502 0 621517 0
Current children cumulated CPU time (s) 1793.94
Current children cumulated vsize (KiB) 2492096
[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/171 23096
/proc/meminfo: memFree=26748544/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=2492096 CPUtime=1794.34
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 627891 0 0 0 179065 369 0 0 25 0 1 0 26227599 2551906304 606088 4089446400 4194304 10345943 140734182756016 18446744073709551615 6324989 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23024/statm: 623024 606088 764 1502 0 621517 0
Current children cumulated CPU time (s) 1794.34
Current children cumulated vsize (KiB) 2492096
[startup+1794.4 s]
/proc/loadavg: 1.00 1.00 1.12 2/171 23096
/proc/meminfo: memFree=26748544/32950928 swapFree=67111528/67111528
[pid=23024] ppid=23022 vsize=49280 CPUtime=1794.44
/proc/23024/stat : 23024 (pbscip.linux.x8) R 23022 23024 22428 0 -1 4202496 627891 0 0 0 179066 378 0 0 25 0 1 0 26227599 50462720 11440 4089446400 4194304 10345943 140734182756016 18446744073709551615 6059011 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/23024/statm: 12320 11440 764 1502 0 10813 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (KiB) 49280
Child status: 0
Real time (s): 1794.4
CPU time (s): 1794.46
CPU user time (s): 1790.67
CPU system time (s): 3.78842
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2492096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.67
system time used= 3.78842
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 627894
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2159
runsolver used 2.52162 second user time and 5.68513 second system time
The end
Begin job on node116 at 2010-07-08 11:09:00
IDJOB=2705759
IDBENCH=79423
IDSOLVER=1214
FILE ID=node116/2705759-1278580140
PBS_JOBID= 11240221
Free space on /tmp= 73452 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh303_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-2705759-1278580140/watcher-2705759-1278580140 -o /tmp/evaluation-result-2705759-1278580140/solver-2705759-1278580140 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705759-1278580140.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7000a06966de2ad9f6a697139e04f737
RANDOM SEED=198113926
node116.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.71
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
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.73
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.858
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: 32950928 kB
MemFree: 28901604 kB
Buffers: 161680 kB
Cached: 3411812 kB
SwapCached: 0 kB
Active: 1542644 kB
Inactive: 2353296 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 28901604 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 12880 kB
Writeback: 0 kB
AnonPages: 323080 kB
Mapped: 17800 kB
Slab: 88904 kB
PageTables: 5300 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 472028 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= 73452 MiB
End job on node116 at 2010-07-08 11:38:54