0.00/0.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2699960-1278533862.wbo>
0.00/0.06 c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.01/0.10 c presolving:
0.01/0.12 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.01/0.15 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.04/0.23 c (0.0s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.04/0.23 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.04/0.23 c presolving (3 rounds):
0.04/0.23 c 100 deleted vars, 101 deleted constraints, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.23 c 1050 implications, 0 cliques
0.04/0.23 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.04/0.23 c 850 constraints of type <indicator>
0.04/0.23 c 850 constraints of type <linear>
0.04/0.23 c transformed objective value is always integral (scale: 1)
0.04/0.23 c Presolving Time: 0.04
0.04/0.23 c - non default parameters ----------------------------------------------------------------------
0.04/0.23 c # SCIP version 1.2.1.2
0.04/0.23 c
0.04/0.23 c # frequency for displaying node information lines
0.04/0.23 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.23 c display/freq = 10000
0.04/0.23 c
0.04/0.23 c # maximal time in seconds to run
0.04/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.23 c limits/time = 1799.99
0.04/0.23 c
0.04/0.23 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.23 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.23 c limits/memory = 3420
0.04/0.23 c
0.04/0.23 c # should presolving try to simplify inequalities
0.04/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.23 c constraints/linear/simplifyinequalities = TRUE
0.04/0.23 c
0.04/0.23 c # should presolving try to simplify knapsacks
0.04/0.23 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.23 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.23 c
0.04/0.23 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.23 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.23 c separating/rapidlearning/freq = 0
0.04/0.23 c
0.04/0.23 c -----------------------------------------------------------------------------------------------
0.04/0.23 c start solving
0.04/0.24 c
0.04/0.25 o 420925
0.04/0.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.04/0.25 c t 0.0s| 1 | 0 | 0 | - |6129k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.04/0.25 c 0.0s| 1 | 0 | 0 | - |6526k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.04/0.26 c 0.0s| 1 | 0 | 44 | - |6566k| 0 | 0 |1800 |1700 |1800 | 69 | 69 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.04/0.28 c 0.1s| 1 | 0 | 146 | - |6619k| 0 | 72 |1800 |1700 |1800 | 123 | 123 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.06/0.31 c 0.1s| 1 | 0 | 189 | - |6830k| 0 | 81 |1800 |1700 |1800 | 162 | 162 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.42 c 0.1s| 1 | 0 | 212 | - |6863k| 0 | 83 |1800 |1700 |1800 | 173 | 173 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.45 c 0.1s| 1 | 0 | 229 | - |6897k| 0 | 88 |1800 |1700 |1800 | 180 | 180 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.48 c 0.1s| 1 | 0 | 231 | - |6923k| 0 | 88 |1800 |1700 |1800 | 182 | 182 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.28/0.69 c 0.3s| 1 | 2 | 392 | - |6950k| 0 | 88 |1800 |1700 |1800 | 182 | 182 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
11.57/12.00 c 10.9s| 10000 | 9999 | 33702 | 3.3 | 19M| 175 | 13 |1800 |1702 |1800 | 225 |8137 | 2 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
19.88/20.21 c 18.7s| 20000 | 19999 | 60215 | 3.0 | 30M| 175 | 0 |1800 |1702 |1800 | 280 | 15k| 2 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
27.87/28.21 c 26.3s| 30000 | 29999 | 84314 | 2.8 | 40M| 175 | 0 |1800 |1702 |1800 | 286 | 21k| 2 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
35.98/37.22 c 34.1s| 40000 | 39999 |112722 | 2.8 | 50M| 181 | 17 |1800 |1702 |1800 | 269 | 28k| 2 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
43.87/45.73 c 41.5s| 50000 | 49999 |139745 | 2.8 | 60M| 181 | 0 |1800 |1702 |1800 | 270 | 36k| 2 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
51.77/53.64 c 49.0s| 60000 | 59999 |164979 | 2.7 | 70M| 181 | 0 |1800 |1702 |1800 | 258 | 42k| 2 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
59.81/62.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.81/62.29 c 56.6s| 70000 | 69999 |195925 | 2.8 | 80M| 181 | 25 |1800 |1702 |1800 | 214 | 50k| 2 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
67.91/70.34 c 64.2s| 80000 | 79999 |224971 | 2.8 | 90M| 181 | 0 |1800 |1702 |1800 | 264 | 57k| 2 | 799 | 0.000000e+00 | 4.209250e+05 | Inf
76.00/78.40 c 71.8s| 90000 | 89999 |256464 | 2.8 | 100M| 181 | 0 |1800 |1702 |1800 | 262 | 65k| 2 | 821 | 0.000000e+00 | 4.209250e+05 | Inf
84.52/86.93 c 79.9s|100000 | 99999 |297046 | 3.0 | 110M| 181 | 0 |1800 |1702 |1800 | 278 | 72k| 2 | 882 | 0.000000e+00 | 4.209250e+05 | Inf
92.81/95.28 c 87.7s|110000 |109999 |334771 | 3.0 | 120M| 181 | 0 |1800 |1702 |1800 | 264 | 80k| 2 | 924 | 0.000000e+00 | 4.209250e+05 | Inf
100.91/103.39 c 95.4s|120000 |119999 |364965 | 3.0 | 130M| 181 | 0 |1800 |1702 |1800 | 281 | 87k| 2 | 974 | 0.000000e+00 | 4.209250e+05 | Inf
108.91/111.35 c 103s|130000 |129999 |390240 | 3.0 | 140M| 181 | 8 |1800 |1702 |1800 | 295 | 93k| 2 |1002 | 0.000000e+00 | 4.209250e+05 | Inf
116.61/119.04 c 110s|140000 |139999 |410046 | 2.9 | 150M| 181 | 0 |1800 |1702 |1800 | 290 | 98k| 2 |1026 | 0.000000e+00 | 4.209250e+05 | Inf
124.51/126.93 c 118s|150000 |149999 |433352 | 2.9 | 160M| 181 | 2 |1800 |1702 |1800 | 239 | 104k| 2 |1047 | 0.000000e+00 | 4.209250e+05 | Inf
132.21/134.64 c 125s|160000 |159999 |452847 | 2.8 | 170M| 181 | 0 |1800 |1702 |1800 | 270 | 109k| 2 |1089 | 0.000000e+00 | 4.209250e+05 | Inf
140.06/142.62 c 132s|170000 |169999 |472299 | 2.8 | 180M| 181 | 0 |1800 |1702 |1800 | 276 | 115k| 2 |1115 | 0.000000e+00 | 4.209250e+05 | Inf
147.88/150.88 c 140s|180000 |179999 |489429 | 2.7 | 190M| 181 | 0 |1800 |1702 |1800 | 304 | 119k| 2 |1137 | 0.000000e+00 | 4.209250e+05 | Inf
155.87/158.84 c 148s|190000 |189999 |512466 | 2.7 | 200M| 181 | 0 |1800 |1702 |1800 | 297 | 126k| 2 |1159 | 0.000000e+00 | 4.209250e+05 | Inf
163.67/166.68 c 155s|200000 |199999 |532430 | 2.7 | 210M| 181 | 0 |1800 |1702 |1800 | 317 | 131k| 2 |1182 | 0.000000e+00 | 4.209250e+05 | Inf
171.68/174.64 c 163s|210000 |209999 |555877 | 2.6 | 220M| 181 | 0 |1800 |1702 |1800 | 288 | 137k| 2 |1205 | 0.000000e+00 | 4.209250e+05 | Inf
179.57/182.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.57/182.55 c 170s|220000 |219999 |580655 | 2.6 | 230M| 181 | 0 |1800 |1702 |1800 | 285 | 144k| 2 |1249 | 0.000000e+00 | 4.209250e+05 | Inf
187.48/190.44 c 178s|230000 |229999 |602973 | 2.6 | 240M| 181 | 0 |1800 |1702 |1800 | 301 | 150k| 2 |1272 | 0.000000e+00 | 4.209250e+05 | Inf
195.27/198.29 c 185s|240000 |239999 |623438 | 2.6 | 250M| 181 | 0 |1800 |1702 |1800 | 258 | 155k| 2 |1296 | 0.000000e+00 | 4.209250e+05 | Inf
203.27/206.26 c 193s|250000 |249999 |647951 | 2.6 | 260M| 181 | 7 |1800 |1702 |1800 | 286 | 162k| 2 |1320 | 0.000000e+00 | 4.209250e+05 | Inf
210.97/213.92 c 200s|260000 |259999 |664950 | 2.6 | 270M| 181 | 0 |1800 |1702 |1800 | 271 | 166k| 2 |1344 | 0.000000e+00 | 4.209250e+05 | Inf
218.78/221.76 c 208s|270000 |269999 |685596 | 2.5 | 280M| 181 | 0 |1800 |1702 |1800 | 254 | 172k| 2 |1368 | 0.000000e+00 | 4.209250e+05 | Inf
226.37/229.35 c 215s|280000 |279999 |699660 | 2.5 | 290M| 181 | 0 |1800 |1702 |1800 | 239 | 176k| 2 |1392 | 0.000000e+00 | 4.209250e+05 | Inf
234.18/237.19 c 223s|290000 |289999 |721205 | 2.5 | 300M| 183 | 0 |1800 |1702 |1800 | 255 | 182k| 2 |1420 | 0.000000e+00 | 4.209250e+05 | Inf
241.97/244.93 c 230s|300000 |299999 |738523 | 2.5 | 310M| 183 | 0 |1800 |1702 |1800 | 243 | 187k| 2 |1445 | 0.000000e+00 | 4.209250e+05 | Inf
249.58/252.53 c 237s|310000 |309999 |754260 | 2.4 | 320M| 183 | 0 |1800 |1702 |1800 | 258 | 192k| 2 |1470 | 0.000000e+00 | 4.209250e+05 | Inf
257.37/260.30 c 245s|320000 |319999 |772255 | 2.4 | 330M| 183 | 0 |1800 |1702 |1800 | 298 | 197k| 2 |1493 | 0.000000e+00 | 4.209250e+05 | Inf
264.97/267.98 c 252s|330000 |329999 |791219 | 2.4 | 340M| 183 | 0 |1800 |1702 |1800 | 255 | 202k| 2 |1517 | 0.000000e+00 | 4.209250e+05 | Inf
272.67/275.62 c 259s|340000 |339999 |806586 | 2.4 | 350M| 183 | 0 |1800 |1702 |1800 | 282 | 206k| 2 |1520 | 0.000000e+00 | 4.209250e+05 | Inf
280.38/283.34 c 267s|350000 |349999 |826769 | 2.4 | 360M| 183 | 7 |1800 |1702 |1800 | 258 | 212k| 2 |1556 | 0.000000e+00 | 4.209250e+05 | Inf
288.28/291.27 c 274s|360000 |359999 |849414 | 2.4 | 370M| 183 | 0 |1800 |1702 |1800 | 250 | 218k| 2 |1587 | 0.000000e+00 | 4.209250e+05 | Inf
296.18/299.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.18/299.18 c 282s|370000 |369999 |872111 | 2.4 | 380M| 183 | 14 |1800 |1702 |1800 | 231 | 224k| 2 |1614 | 0.000000e+00 | 4.209250e+05 | Inf
303.98/306.95 c 289s|380000 |379999 |891897 | 2.3 | 390M| 183 | 0 |1800 |1702 |1800 | 271 | 229k| 2 |1641 | 0.000000e+00 | 4.209250e+05 | Inf
311.57/314.58 c 296s|390000 |389999 |909766 | 2.3 | 400M| 183 | 0 |1800 |1702 |1800 | 257 | 235k| 2 |1662 | 0.000000e+00 | 4.209250e+05 | Inf
319.38/322.37 c 304s|400000 |399999 |930218 | 2.3 | 410M| 183 | 0 |1800 |1702 |1800 | 273 | 240k| 2 |1687 | 0.000000e+00 | 4.209250e+05 | Inf
327.28/330.23 c 311s|410000 |409999 |952693 | 2.3 | 419M| 183 | 0 |1800 |1702 |1800 | 263 | 246k| 2 |1713 | 0.000000e+00 | 4.209250e+05 | Inf
334.78/337.80 c 319s|420000 |419999 |968040 | 2.3 | 429M| 183 | 0 |1800 |1702 |1800 | 274 | 250k| 2 |1737 | 0.000000e+00 | 4.209250e+05 | Inf
342.48/345.49 c 326s|430000 |429999 |984740 | 2.3 | 439M| 183 | 5 |1800 |1702 |1800 | 213 | 255k| 2 |1749 | 0.000000e+00 | 4.209250e+05 | Inf
350.18/353.16 c 333s|440000 |439999 | 1002k| 2.3 | 449M| 183 | 0 |1800 |1702 |1800 | 290 | 260k| 2 |1764 | 0.000000e+00 | 4.209250e+05 | Inf
357.77/360.76 c 341s|450000 |449999 | 1018k| 2.3 | 459M| 183 | 0 |1800 |1702 |1800 | 276 | 265k| 2 |1791 | 0.000000e+00 | 4.209250e+05 | Inf
365.38/368.37 c 348s|460000 |459999 | 1033k| 2.2 | 469M| 183 | 0 |1800 |1702 |1800 | 267 | 269k| 2 |1814 | 0.000000e+00 | 4.209250e+05 | Inf
372.98/375.90 c 355s|470000 |469999 | 1047k| 2.2 | 479M| 183 | 0 |1800 |1702 |1800 | 274 | 273k| 2 |1831 | 0.000000e+00 | 4.209250e+05 | Inf
380.78/383.71 c 363s|480000 |479999 | 1067k| 2.2 | 489M| 183 | 0 |1800 |1702 |1800 | 299 | 279k| 2 |1851 | 0.000000e+00 | 4.209250e+05 | Inf
388.48/391.42 c 370s|490000 |489999 | 1084k| 2.2 | 499M| 183 | 0 |1800 |1702 |1800 | 291 | 284k| 2 |1853 | 0.000000e+00 | 4.209250e+05 | Inf
396.07/399.08 c 377s|500000 |499999 | 1101k| 2.2 | 509M| 183 | 0 |1800 |1702 |1800 | 287 | 288k| 2 |1876 | 0.000000e+00 | 4.209250e+05 | Inf
403.88/406.82 c 385s|510000 |509999 | 1121k| 2.2 | 519M| 183 | 0 |1800 |1702 |1800 | 272 | 293k| 2 |1900 | 0.000000e+00 | 4.209250e+05 | Inf
411.68/414.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.68/414.62 c 392s|520000 |519999 | 1140k| 2.2 | 529M| 183 | 0 |1800 |1702 |1800 | 280 | 299k| 2 |1923 | 0.000000e+00 | 4.209250e+05 | Inf
419.38/422.37 c 400s|530000 |529999 | 1159k| 2.2 | 539M| 183 | 8 |1800 |1702 |1800 | 288 | 304k| 2 |1949 | 0.000000e+00 | 4.209250e+05 | Inf
427.08/430.01 c 407s|540000 |539999 | 1174k| 2.2 | 549M| 183 | 0 |1800 |1702 |1800 | 259 | 308k| 2 |1970 | 0.000000e+00 | 4.209250e+05 | Inf
434.58/437.50 c 414s|550000 |549999 | 1187k| 2.2 | 559M| 183 | 12 |1800 |1702 |1800 | 258 | 312k| 2 |1972 | 0.000000e+00 | 4.209250e+05 | Inf
442.18/445.18 c 421s|560000 |559999 | 1204k| 2.2 | 569M| 183 | 0 |1800 |1702 |1800 | 264 | 317k| 2 |1998 | 0.000000e+00 | 4.209250e+05 | Inf
449.78/452.73 c 429s|570000 |569999 | 1218k| 2.1 | 578M| 183 | 0 |1800 |1702 |1800 | 311 | 321k| 2 |2021 | 0.000000e+00 | 4.209250e+05 | Inf
457.48/460.50 c 436s|580000 |579999 | 1236k| 2.1 | 588M| 183 | 0 |1800 |1702 |1800 | 284 | 326k| 2 |2046 | 0.000000e+00 | 4.209250e+05 | Inf
465.28/468.22 c 443s|590000 |589999 | 1254k| 2.1 | 598M| 183 | 17 |1800 |1702 |1800 | 283 | 331k| 2 |2055 | 0.000000e+00 | 4.209250e+05 | Inf
472.88/475.83 c 451s|600000 |599999 | 1270k| 2.1 | 608M| 183 | 0 |1800 |1702 |1800 | 259 | 335k| 2 |2070 | 0.000000e+00 | 4.209250e+05 | Inf
480.48/483.46 c 458s|610000 |609999 | 1285k| 2.1 | 618M| 183 | 0 |1800 |1702 |1800 | 262 | 340k| 2 |2094 | 0.000000e+00 | 4.209250e+05 | Inf
488.08/491.07 c 465s|620000 |619999 | 1300k| 2.1 | 628M| 183 | 0 |1800 |1702 |1800 | 250 | 344k| 2 |2117 | 0.000000e+00 | 4.209250e+05 | Inf
495.78/498.72 c 472s|630000 |629999 | 1316k| 2.1 | 638M| 183 | 0 |1800 |1702 |1800 | 271 | 349k| 2 |2120 | 0.000000e+00 | 4.209250e+05 | Inf
503.28/506.27 c 480s|640000 |639999 | 1329k| 2.1 | 648M| 183 | 21 |1800 |1702 |1800 | 246 | 352k| 2 |2141 | 0.000000e+00 | 4.209250e+05 | Inf
510.88/513.81 c 487s|650000 |649999 | 1343k| 2.1 | 658M| 183 | 24 |1800 |1702 |1800 | 238 | 356k| 2 |2162 | 0.000000e+00 | 4.209250e+05 | Inf
518.38/521.40 c 494s|660000 |659999 | 1360k| 2.1 | 668M| 183 | 0 |1800 |1702 |1800 | 279 | 361k| 2 |2163 | 0.000000e+00 | 4.209250e+05 | Inf
526.19/529.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
526.19/529.11 c 502s|670000 |669999 | 1378k| 2.1 | 678M| 183 | 5 |1800 |1702 |1800 | 269 | 366k| 2 |2181 | 0.000000e+00 | 4.209250e+05 | Inf
533.89/536.82 c 509s|680000 |679999 | 1397k| 2.1 | 688M| 183 | 7 |1800 |1702 |1800 | 271 | 371k| 2 |2200 | 0.000000e+00 | 4.209250e+05 | Inf
541.38/544.30 c 516s|690000 |689999 | 1411k| 2.0 | 697M| 183 | 0 |1800 |1702 |1800 | 284 | 375k| 2 |2219 | 0.000000e+00 | 4.209250e+05 | Inf
548.79/551.78 c 523s|700000 |699999 | 1425k| 2.0 | 707M| 183 | 0 |1800 |1702 |1800 | 269 | 379k| 2 |2224 | 0.000000e+00 | 4.209250e+05 | Inf
556.49/559.41 c 531s|710000 |709999 | 1445k| 2.0 | 717M| 183 | 0 |1800 |1702 |1800 | 260 | 384k| 2 |2238 | 0.000000e+00 | 4.209250e+05 | Inf
563.89/566.88 c 538s|720000 |719999 | 1460k| 2.0 | 727M| 183 | 0 |1800 |1702 |1800 | 254 | 388k| 2 |2258 | 0.000000e+00 | 4.209250e+05 | Inf
571.29/574.29 c 545s|730000 |729999 | 1474k| 2.0 | 737M| 183 | 0 |1800 |1702 |1800 | 252 | 392k| 2 |2277 | 0.000000e+00 | 4.209250e+05 | Inf
578.88/581.85 c 553s|740000 |739999 | 1492k| 2.0 | 747M| 183 | 12 |1800 |1702 |1800 | 277 | 397k| 2 |2292 | 0.000000e+00 | 4.209250e+05 | Inf
586.28/589.24 c 560s|750000 |749999 | 1504k| 2.0 | 757M| 183 | 0 |1800 |1702 |1800 | 285 | 401k| 2 |2297 | 0.000000e+00 | 4.209250e+05 | Inf
593.69/596.64 c 567s|760000 |759999 | 1518k| 2.0 | 767M| 183 | 0 |1800 |1702 |1800 | 256 | 405k| 2 |2316 | 0.000000e+00 | 4.209250e+05 | Inf
601.18/604.11 c 575s|770000 |769999 | 1533k| 2.0 | 777M| 183 | 0 |1800 |1702 |1800 | 301 | 408k| 2 |2317 | 0.000000e+00 | 4.209250e+05 | Inf
608.79/611.71 c 582s|780000 |779999 | 1551k| 2.0 | 787M| 183 | 0 |1800 |1702 |1800 | 279 | 413k| 2 |2337 | 0.000000e+00 | 4.209250e+05 | Inf
616.29/619.21 c 589s|790000 |789999 | 1566k| 2.0 | 797M| 183 | 0 |1800 |1702 |1800 | 278 | 418k| 2 |2357 | 0.000000e+00 | 4.209250e+05 | Inf
623.79/626.71 c 597s|800000 |799999 | 1582k| 2.0 | 806M| 183 | 0 |1800 |1702 |1800 | 258 | 422k| 2 |2376 | 0.000000e+00 | 4.209250e+05 | Inf
631.39/634.32 c 604s|810000 |809999 | 1599k| 2.0 | 816M| 183 | 0 |1800 |1702 |1800 | 251 | 427k| 2 |2376 | 0.000000e+00 | 4.209250e+05 | Inf
639.08/642.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.08/642.06 c 612s|820000 |819999 | 1620k| 2.0 | 826M| 183 | 0 |1800 |1702 |1800 | 269 | 432k| 2 |2396 | 0.000000e+00 | 4.209250e+05 | Inf
646.58/649.57 c 619s|830000 |829999 | 1636k| 2.0 | 836M| 183 | 0 |1800 |1702 |1800 | 252 | 437k| 2 |2418 | 0.000000e+00 | 4.209250e+05 | Inf
654.19/657.12 c 626s|840000 |839999 | 1654k| 2.0 | 846M| 183 | 0 |1800 |1702 |1800 | 310 | 442k| 2 |2438 | 0.000000e+00 | 4.209250e+05 | Inf
661.59/664.52 c 634s|850000 |849999 | 1667k| 2.0 | 856M| 183 | 0 |1800 |1702 |1800 | 270 | 446k| 2 |2441 | 0.000000e+00 | 4.209250e+05 | Inf
668.89/671.86 c 641s|860000 |859999 | 1678k| 2.0 | 866M| 183 | 0 |1800 |1702 |1800 | 270 | 449k| 2 |2455 | 0.000000e+00 | 4.209250e+05 | Inf
676.19/679.19 c 648s|870000 |869999 | 1690k| 1.9 | 876M| 183 | 0 |1800 |1702 |1800 | 269 | 452k| 2 |2457 | 0.000000e+00 | 4.209250e+05 | Inf
683.59/686.53 c 655s|880000 |879999 | 1701k| 1.9 | 886M| 183 | 0 |1800 |1702 |1800 | 274 | 456k| 2 |2476 | 0.000000e+00 | 4.209250e+05 | Inf
691.08/694.05 c 662s|890000 |889999 | 1717k| 1.9 | 896M| 183 | 0 |1800 |1702 |1800 | 267 | 460k| 2 |2495 | 0.000000e+00 | 4.209250e+05 | Inf
698.39/701.30 c 670s|900000 |899999 | 1728k| 1.9 | 905M| 183 | 3 |1800 |1702 |1800 | 218 | 463k| 2 |2500 | 0.000000e+00 | 4.209250e+05 | Inf
705.69/708.64 c 677s|910000 |909999 | 1739k| 1.9 | 915M| 183 | 0 |1800 |1702 |1800 | 239 | 466k| 2 |2520 | 0.000000e+00 | 4.209250e+05 | Inf
713.09/716.08 c 684s|920000 |919999 | 1755k| 1.9 | 925M| 183 | 4 |1800 |1702 |1800 | 214 | 471k| 2 |2521 | 0.000000e+00 | 4.209250e+05 | Inf
720.58/723.57 c 691s|930000 |929999 | 1770k| 1.9 | 935M| 183 | 0 |1800 |1702 |1800 | 279 | 475k| 2 |2544 | 0.000000e+00 | 4.209250e+05 | Inf
728.09/731.06 c 699s|940000 |939999 | 1785k| 1.9 | 945M| 183 | 0 |1800 |1702 |1800 | 285 | 479k| 2 |2561 | 0.000000e+00 | 4.209250e+05 | Inf
735.49/738.43 c 706s|950000 |949999 | 1798k| 1.9 | 955M| 183 | 0 |1800 |1702 |1800 | 243 | 483k| 2 |2561 | 0.000000e+00 | 4.209250e+05 | Inf
742.90/745.85 c 713s|960000 |959999 | 1814k| 1.9 | 965M| 185 | 0 |1800 |1702 |1800 | 258 | 487k| 2 |2578 | 0.000000e+00 | 4.209250e+05 | Inf
750.29/753.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.29/753.24 c 720s|970000 |969999 | 1825k| 1.9 | 975M| 185 | 0 |1800 |1702 |1800 | 285 | 490k| 2 |2596 | 0.000000e+00 | 4.209250e+05 | Inf
757.79/760.74 c 728s|980000 |979999 | 1839k| 1.9 | 985M| 185 | 0 |1800 |1702 |1800 | 273 | 494k| 2 |2598 | 0.000000e+00 | 4.209250e+05 | Inf
765.19/768.15 c 735s|990000 |989999 | 1853k| 1.9 | 994M| 185 | 0 |1800 |1702 |1800 | 283 | 498k| 2 |2619 | 0.000000e+00 | 4.209250e+05 | Inf
772.79/775.71 c 742s| 1000k|999999 | 1870k| 1.9 |1004M| 185 | 0 |1800 |1702 |1800 | 292 | 502k| 2 |2623 | 0.000000e+00 | 4.209250e+05 | Inf
780.30/783.27 c 750s| 1010k| 1009k| 1887k| 1.9 |1014M| 185 | 19 |1800 |1702 |1800 | 223 | 507k| 2 |2641 | 0.000000e+00 | 4.209250e+05 | Inf
787.89/790.88 c 757s| 1020k| 1019k| 1905k| 1.9 |1024M| 185 | 0 |1800 |1702 |1800 | 285 | 511k| 2 |2662 | 0.000000e+00 | 4.209250e+05 | Inf
795.39/798.37 c 764s| 1030k| 1029k| 1920k| 1.9 |1034M| 185 | 0 |1800 |1702 |1800 | 263 | 515k| 2 |2682 | 0.000000e+00 | 4.209250e+05 | Inf
802.90/805.86 c 772s| 1040k| 1039k| 1935k| 1.9 |1044M| 191 | 0 |1800 |1702 |1800 | 299 | 519k| 2 |2682 | 0.000000e+00 | 4.209250e+05 | Inf
810.39/813.38 c 779s| 1050k| 1049k| 1952k| 1.9 |1054M| 191 | 0 |1800 |1702 |1800 | 272 | 524k| 2 |2701 | 0.000000e+00 | 4.209250e+05 | Inf
817.80/820.79 c 786s| 1060k| 1059k| 1965k| 1.9 |1064M| 191 | 0 |1800 |1702 |1800 | 276 | 527k| 2 |2712 | 0.000000e+00 | 4.209250e+05 | Inf
824.99/827.97 c 793s| 1070k| 1069k| 1974k| 1.8 |1074M| 191 | 0 |1800 |1702 |1800 | 258 | 530k| 2 |2720 | 0.000000e+00 | 4.209250e+05 | Inf
832.30/835.25 c 800s| 1080k| 1079k| 1986k| 1.8 |1084M| 191 | 0 |1800 |1702 |1800 | 272 | 533k| 2 |2723 | 0.000000e+00 | 4.209250e+05 | Inf
839.80/842.76 c 808s| 1090k| 1089k| 2000k| 1.8 |1094M| 191 | 0 |1800 |1702 |1800 | 251 | 537k| 2 |2737 | 0.000000e+00 | 4.209250e+05 | Inf
847.30/850.21 c 815s| 1100k| 1099k| 2011k| 1.8 |1103M| 191 | 0 |1800 |1702 |1800 | 261 | 540k| 2 |2751 | 0.000000e+00 | 4.209250e+05 | Inf
854.49/857.48 c 822s| 1110k| 1109k| 2021k| 1.8 |1113M| 191 | 0 |1800 |1702 |1800 | 250 | 544k| 2 |2759 | 0.000000e+00 | 4.209250e+05 | Inf
861.89/864.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
861.89/864.80 c 829s| 1120k| 1119k| 2033k| 1.8 |1123M| 191 | 0 |1800 |1702 |1800 | 285 | 547k| 2 |2761 | 0.000000e+00 | 4.209250e+05 | Inf
869.09/872.08 c 836s| 1130k| 1129k| 2044k| 1.8 |1133M| 191 | 0 |1800 |1702 |1800 | 262 | 550k| 2 |2777 | 0.000000e+00 | 4.209250e+05 | Inf
876.39/879.35 c 843s| 1140k| 1139k| 2054k| 1.8 |1143M| 191 | 11 |1800 |1702 |1800 | 256 | 554k| 2 |2777 | 0.000000e+00 | 4.209250e+05 | Inf
883.80/886.75 c 850s| 1150k| 1149k| 2068k| 1.8 |1153M| 191 | 0 |1800 |1702 |1800 | 266 | 557k| 2 |2795 | 0.000000e+00 | 4.209250e+05 | Inf
891.20/894.17 c 857s| 1160k| 1159k| 2082k| 1.8 |1163M| 191 | 0 |1800 |1702 |1800 | 282 | 561k| 2 |2808 | 0.000000e+00 | 4.209250e+05 | Inf
898.59/901.56 c 865s| 1170k| 1169k| 2094k| 1.8 |1173M| 191 | 0 |1800 |1702 |1800 | 259 | 565k| 2 |2812 | 0.000000e+00 | 4.209250e+05 | Inf
905.81/908.73 c 872s| 1180k| 1179k| 2104k| 1.8 |1182M| 191 | 0 |1800 |1702 |1800 | 272 | 568k| 2 |2821 | 0.000000e+00 | 4.209250e+05 | Inf
913.20/916.18 c 879s| 1190k| 1189k| 2120k| 1.8 |1192M| 191 | 8 |1800 |1702 |1800 | 253 | 572k| 2 |2826 | 0.000000e+00 | 4.209250e+05 | Inf
920.80/923.72 c 886s| 1200k| 1199k| 2136k| 1.8 |1202M| 191 | 0 |1800 |1702 |1800 | 292 | 577k| 2 |2842 | 0.000000e+00 | 4.209250e+05 | Inf
928.19/931.12 c 893s| 1210k| 1209k| 2149k| 1.8 |1212M| 191 | 0 |1800 |1702 |1800 | 260 | 580k| 2 |2858 | 0.000000e+00 | 4.209250e+05 | Inf
935.70/938.61 c 901s| 1220k| 1219k| 2164k| 1.8 |1222M| 191 | 0 |1800 |1702 |1800 | 290 | 585k| 2 |2860 | 0.000000e+00 | 4.209250e+05 | Inf
943.00/946.00 c 908s| 1230k| 1229k| 2179k| 1.8 |1232M| 191 | 0 |1800 |1702 |1800 | 261 | 589k| 2 |2879 | 0.000000e+00 | 4.209250e+05 | Inf
950.10/953.04 c 915s| 1240k| 1239k| 2187k| 1.8 |1242M| 191 | 0 |1800 |1702 |1800 | 252 | 591k| 2 |2880 | 0.000000e+00 | 4.209250e+05 | Inf
957.50/960.44 c 922s| 1250k| 1249k| 2202k| 1.8 |1252M| 191 | 0 |1800 |1702 |1800 | 266 | 595k| 2 |2897 | 0.000000e+00 | 4.209250e+05 | Inf
964.79/967.71 c 929s| 1260k| 1259k| 2213k| 1.8 |1262M| 191 | 0 |1800 |1702 |1800 | 253 | 598k| 2 |2897 | 0.000000e+00 | 4.209250e+05 | Inf
972.10/975.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
972.10/975.03 c 936s| 1270k| 1269k| 2226k| 1.8 |1272M| 191 | 0 |1800 |1702 |1800 | 280 | 602k| 2 |2909 | 0.000000e+00 | 4.209250e+05 | Inf
979.50/982.47 c 943s| 1280k| 1279k| 2240k| 1.8 |1281M| 191 | 0 |1800 |1702 |1800 | 304 | 606k| 2 |2910 | 0.000000e+00 | 4.209250e+05 | Inf
986.80/989.78 c 951s| 1290k| 1289k| 2251k| 1.7 |1291M| 191 | 0 |1800 |1702 |1800 | 295 | 609k| 2 |2928 | 0.000000e+00 | 4.209250e+05 | Inf
994.10/997.08 c 958s| 1300k| 1299k| 2264k| 1.7 |1301M| 191 | 0 |1800 |1702 |1800 | 274 | 613k| 2 |2928 | 0.000000e+00 | 4.209250e+05 | Inf
1001.50/1004.46 c 965s| 1310k| 1309k| 2275k| 1.7 |1311M| 191 | 0 |1800 |1702 |1800 | 251 | 616k| 2 |2946 | 0.000000e+00 | 4.209250e+05 | Inf
1009.01/1011.90 c 972s| 1320k| 1319k| 2290k| 1.7 |1321M| 191 | 0 |1800 |1702 |1800 | 272 | 620k| 2 |2951 | 0.000000e+00 | 4.209250e+05 | Inf
1016.20/1019.16 c 979s| 1330k| 1329k| 2301k| 1.7 |1331M| 191 | 0 |1800 |1702 |1800 | 271 | 623k| 2 |2964 | 0.000000e+00 | 4.209250e+05 | Inf
1023.60/1026.54 c 986s| 1340k| 1339k| 2314k| 1.7 |1341M| 191 | 0 |1800 |1702 |1800 | 267 | 627k| 2 |2973 | 0.000000e+00 | 4.209250e+05 | Inf
1030.90/1033.80 c 994s| 1350k| 1349k| 2324k| 1.7 |1351M| 191 | 0 |1800 |1702 |1800 | 268 | 630k| 2 |2980 | 0.000000e+00 | 4.209250e+05 | Inf
1038.40/1041.30 c 1001s| 1360k| 1359k| 2336k| 1.7 |1361M| 191 | 0 |1800 |1702 |1800 | 284 | 634k| 2 |2984 | 0.000000e+00 | 4.209250e+05 | Inf
1046.00/1048.90 c 1008s| 1370k| 1369k| 2355k| 1.7 |1371M| 191 | 12 |1800 |1702 |1800 | 240 | 638k| 2 |2994 | 0.000000e+00 | 4.209250e+05 | Inf
1053.40/1056.37 c 1016s| 1380k| 1379k| 2370k| 1.7 |1380M| 191 | 0 |1800 |1702 |1800 | 276 | 642k| 2 |3011 | 0.000000e+00 | 4.209250e+05 | Inf
1061.00/1063.94 c 1023s| 1390k| 1389k| 2386k| 1.7 |1390M| 191 | 0 |1800 |1702 |1800 | 267 | 646k| 2 |3027 | 0.000000e+00 | 4.209250e+05 | Inf
1068.51/1071.40 c 1030s| 1400k| 1399k| 2401k| 1.7 |1400M| 191 | 0 |1800 |1702 |1800 | 293 | 650k| 2 |3028 | 0.000000e+00 | 4.209250e+05 | Inf
1075.80/1078.76 c 1037s| 1410k| 1409k| 2413k| 1.7 |1410M| 191 | 0 |1800 |1702 |1800 | 274 | 654k| 2 |3045 | 0.000000e+00 | 4.209250e+05 | Inf
1083.10/1086.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1083.10/1086.03 c 1045s| 1420k| 1419k| 2425k| 1.7 |1420M| 191 | 0 |1800 |1702 |1800 | 270 | 658k| 2 |3046 | 0.000000e+00 | 4.209250e+05 | Inf
1090.41/1093.34 c 1052s| 1430k| 1429k| 2437k| 1.7 |1430M| 191 | 0 |1800 |1702 |1800 | 260 | 661k| 2 |3063 | 0.000000e+00 | 4.209250e+05 | Inf
1097.71/1100.62 c 1059s| 1440k| 1439k| 2448k| 1.7 |1440M| 191 | 0 |1800 |1702 |1800 | 258 | 664k| 2 |3065 | 0.000000e+00 | 4.209250e+05 | Inf
1105.00/1107.91 c 1066s| 1450k| 1449k| 2459k| 1.7 |1450M| 191 | 0 |1800 |1702 |1800 | 290 | 667k| 2 |3084 | 0.000000e+00 | 4.209250e+05 | Inf
1112.20/1115.12 c 1073s| 1460k| 1459k| 2468k| 1.7 |1460M| 191 | 10 |1800 |1702 |1800 | 260 | 670k| 2 |3085 | 0.000000e+00 | 4.209250e+05 | Inf
1119.60/1122.52 c 1080s| 1470k| 1469k| 2481k| 1.7 |1469M| 191 | 0 |1800 |1702 |1800 | 283 | 674k| 2 |3094 | 0.000000e+00 | 4.209250e+05 | Inf
1127.00/1129.99 c 1088s| 1480k| 1479k| 2498k| 1.7 |1479M| 191 | 0 |1800 |1702 |1800 | 260 | 679k| 2 |3104 | 0.000000e+00 | 4.209250e+05 | Inf
1134.30/1137.28 c 1095s| 1490k| 1489k| 2510k| 1.7 |1489M| 191 | 0 |1800 |1702 |1800 | 288 | 682k| 2 |3121 | 0.000000e+00 | 4.209250e+05 | Inf
1141.71/1144.65 c 1102s| 1500k| 1499k| 2525k| 1.7 |1499M| 191 | 0 |1800 |1702 |1800 | 308 | 686k| 2 |3123 | 0.000000e+00 | 4.209250e+05 | Inf
1149.10/1152.05 c 1109s| 1510k| 1509k| 2538k| 1.7 |1509M| 191 | 0 |1800 |1702 |1800 | 268 | 690k| 2 |3143 | 0.000000e+00 | 4.209250e+05 | Inf
1156.51/1159.47 c 1116s| 1520k| 1519k| 2553k| 1.7 |1519M| 191 | 0 |1800 |1702 |1800 | 282 | 694k| 2 |3144 | 0.000000e+00 | 4.209250e+05 | Inf
1163.91/1166.86 c 1123s| 1530k| 1529k| 2566k| 1.7 |1529M| 191 | 0 |1800 |1702 |1800 | 273 | 698k| 2 |3164 | 0.000000e+00 | 4.209250e+05 | Inf
1171.20/1174.19 c 1131s| 1540k| 1539k| 2578k| 1.7 |1539M| 191 | 0 |1800 |1702 |1800 | 282 | 701k| 2 |3169 | 0.000000e+00 | 4.209250e+05 | Inf
1178.61/1181.51 c 1138s| 1550k| 1549k| 2590k| 1.7 |1549M| 191 | 0 |1800 |1702 |1800 | 308 | 705k| 2 |3180 | 0.000000e+00 | 4.209250e+05 | Inf
1186.00/1188.90 c 1145s| 1560k| 1559k| 2604k| 1.7 |1559M| 191 | 0 |1800 |1702 |1800 | 269 | 709k| 2 |3194 | 0.000000e+00 | 4.209250e+05 | Inf
1193.31/1196.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1193.31/1196.23 c 1152s| 1570k| 1569k| 2616k| 1.7 |1569M| 191 | 0 |1800 |1702 |1800 | 270 | 712k| 2 |3201 | 0.000000e+00 | 4.209250e+05 | Inf
1200.61/1203.53 c 1159s| 1580k| 1579k| 2629k| 1.7 |1578M| 191 | 0 |1800 |1702 |1800 | 280 | 716k| 2 |3214 | 0.000000e+00 | 4.209250e+05 | Inf
1207.91/1210.86 c 1166s| 1590k| 1589k| 2642k| 1.7 |1588M| 191 | 0 |1800 |1702 |1800 | 255 | 720k| 2 |3218 | 0.000000e+00 | 4.209250e+05 | Inf
1215.30/1218.22 c 1174s| 1600k| 1599k| 2653k| 1.7 |1598M| 191 | 0 |1800 |1702 |1800 | 258 | 723k| 2 |3231 | 0.000000e+00 | 4.209250e+05 | Inf
1222.62/1225.55 c 1181s| 1610k| 1609k| 2667k| 1.7 |1608M| 191 | 0 |1800 |1702 |1800 | 279 | 727k| 2 |3237 | 0.000000e+00 | 4.209250e+05 | Inf
1229.91/1232.80 c 1188s| 1620k| 1619k| 2676k| 1.7 |1618M| 191 | 14 |1800 |1702 |1800 | 263 | 730k| 2 |3249 | 0.000000e+00 | 4.209250e+05 | Inf
1237.20/1240.12 c 1195s| 1630k| 1629k| 2691k| 1.7 |1628M| 191 | 4 |1800 |1702 |1800 | 263 | 734k| 2 |3258 | 0.000000e+00 | 4.209250e+05 | Inf
1244.41/1247.38 c 1202s| 1640k| 1639k| 2701k| 1.6 |1638M| 191 | 0 |1800 |1702 |1800 | 260 | 737k| 2 |3271 | 0.000000e+00 | 4.209250e+05 | Inf
1251.81/1254.70 c 1209s| 1650k| 1649k| 2713k| 1.6 |1648M| 191 | 0 |1800 |1702 |1800 | 260 | 740k| 2 |3278 | 0.000000e+00 | 4.209250e+05 | Inf
1259.01/1261.99 c 1216s| 1660k| 1659k| 2725k| 1.6 |1658M| 191 | 0 |1800 |1702 |1800 | 259 | 744k| 2 |3289 | 0.000000e+00 | 4.209250e+05 | Inf
1266.31/1269.25 c 1223s| 1670k| 1669k| 2735k| 1.6 |1667M| 191 | 0 |1800 |1702 |1800 | 265 | 746k| 2 |3293 | 0.000000e+00 | 4.209250e+05 | Inf
1273.71/1276.62 c 1230s| 1680k| 1679k| 2748k| 1.6 |1677M| 191 | 0 |1800 |1702 |1800 | 285 | 750k| 2 |3300 | 0.000000e+00 | 4.209250e+05 | Inf
1281.01/1283.97 c 1237s| 1690k| 1689k| 2761k| 1.6 |1687M| 191 | 0 |1800 |1702 |1800 | 264 | 754k| 2 |3314 | 0.000000e+00 | 4.209250e+05 | Inf
1288.41/1291.37 c 1244s| 1700k| 1699k| 2775k| 1.6 |1697M| 191 | 0 |1800 |1702 |1800 | 296 | 758k| 2 |3324 | 0.000000e+00 | 4.209250e+05 | Inf
1296.01/1298.99 c 1251s| 1710k| 1709k| 2791k| 1.6 |1707M| 191 | 0 |1800 |1702 |1800 | 274 | 762k| 2 |3331 | 0.000000e+00 | 4.209250e+05 | Inf
1303.31/1306.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1303.31/1306.27 c 1258s| 1720k| 1719k| 2802k| 1.6 |1717M| 191 | 2 |1800 |1702 |1800 | 263 | 766k| 2 |3350 | 0.000000e+00 | 4.209250e+05 | Inf
1310.81/1313.76 c 1266s| 1730k| 1729k| 2820k| 1.6 |1727M| 191 | 10 |1800 |1702 |1800 | 240 | 771k| 2 |3350 | 0.000000e+00 | 4.209250e+05 | Inf
1318.11/1321.03 c 1273s| 1740k| 1739k| 2832k| 1.6 |1737M| 191 | 0 |1800 |1702 |1800 | 284 | 774k| 2 |3369 | 0.000000e+00 | 4.209250e+05 | Inf
1325.41/1328.31 c 1280s| 1750k| 1749k| 2843k| 1.6 |1747M| 191 | 0 |1800 |1702 |1800 | 287 | 778k| 2 |3369 | 0.000000e+00 | 4.209250e+05 | Inf
1332.71/1335.66 c 1287s| 1760k| 1759k| 2855k| 1.6 |1757M| 191 | 0 |1800 |1702 |1800 | 267 | 781k| 2 |3388 | 0.000000e+00 | 4.209250e+05 | Inf
1340.21/1343.15 c 1294s| 1770k| 1769k| 2870k| 1.6 |1766M| 205 | 0 |1800 |1702 |1800 | 260 | 785k| 2 |3388 | 0.000000e+00 | 4.209250e+05 | Inf
1347.31/1350.26 c 1301s| 1780k| 1779k| 2879k| 1.6 |1776M| 205 | 7 |1800 |1702 |1800 | 235 | 788k| 2 |3400 | 0.000000e+00 | 4.209250e+05 | Inf
1354.62/1357.53 c 1308s| 1790k| 1789k| 2892k| 1.6 |1786M| 205 | 0 |1800 |1702 |1800 | 253 | 791k| 2 |3405 | 0.000000e+00 | 4.209250e+05 | Inf
1362.01/1364.94 c 1315s| 1800k| 1799k| 2906k| 1.6 |1796M| 205 | 0 |1800 |1702 |1800 | 269 | 796k| 2 |3420 | 0.000000e+00 | 4.209250e+05 | Inf
1369.31/1372.25 c 1322s| 1810k| 1809k| 2919k| 1.6 |1806M| 205 | 4 |1800 |1702 |1800 | 252 | 799k| 2 |3420 | 0.000000e+00 | 4.209250e+05 | Inf
1376.52/1379.50 c 1329s| 1820k| 1819k| 2930k| 1.6 |1816M| 205 | 0 |1800 |1702 |1800 | 261 | 802k| 2 |3435 | 0.000000e+00 | 4.209250e+05 | Inf
1383.81/1386.73 c 1336s| 1830k| 1829k| 2939k| 1.6 |1826M| 205 | 0 |1800 |1702 |1800 | 250 | 805k| 2 |3436 | 0.000000e+00 | 4.209250e+05 | Inf
1391.01/1393.90 c 1343s| 1840k| 1839k| 2948k| 1.6 |1836M| 205 | 0 |1800 |1702 |1800 | 283 | 807k| 2 |3452 | 0.000000e+00 | 4.209250e+05 | Inf
1398.22/1401.12 c 1350s| 1850k| 1849k| 2959k| 1.6 |1845M| 205 | 16 |1800 |1702 |1800 | 247 | 811k| 2 |3453 | 0.000000e+00 | 4.209250e+05 | Inf
1405.51/1408.47 c 1357s| 1860k| 1859k| 2972k| 1.6 |1855M| 205 | 0 |1800 |1702 |1800 | 275 | 814k| 2 |3466 | 0.000000e+00 | 4.209250e+05 | Inf
1412.71/1415.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1412.71/1415.66 c 1364s| 1870k| 1869k| 2982k| 1.6 |1865M| 205 | 0 |1800 |1702 |1800 | 272 | 817k| 2 |3470 | 0.000000e+00 | 4.209250e+05 | Inf
1420.01/1422.90 c 1371s| 1880k| 1879k| 2992k| 1.6 |1875M| 207 | 0 |1800 |1702 |1800 | 264 | 820k| 2 |3474 | 0.000000e+00 | 4.209250e+05 | Inf
1427.42/1430.37 c 1378s| 1890k| 1889k| 3010k| 1.6 |1885M| 207 | 0 |1800 |1702 |1800 | 276 | 825k| 2 |3489 | 0.000000e+00 | 4.209250e+05 | Inf
1434.71/1437.64 c 1385s| 1900k| 1899k| 3019k| 1.6 |1895M| 207 | 0 |1800 |1702 |1800 | 275 | 828k| 2 |3492 | 0.000000e+00 | 4.209250e+05 | Inf
1441.81/1444.76 c 1392s| 1910k| 1909k| 3026k| 1.6 |1905M| 207 | 0 |1800 |1702 |1800 | 277 | 829k| 2 |3505 | 0.000000e+00 | 4.209250e+05 | Inf
1449.02/1451.97 c 1399s| 1920k| 1919k| 3037k| 1.6 |1915M| 207 | 7 |1800 |1702 |1800 | 252 | 833k| 2 |3506 | 0.000000e+00 | 4.209250e+05 | Inf
1456.42/1459.33 c 1406s| 1930k| 1929k| 3051k| 1.6 |1925M| 207 | 0 |1800 |1702 |1800 | 275 | 836k| 2 |3520 | 0.000000e+00 | 4.209250e+05 | Inf
1463.62/1466.53 c 1413s| 1940k| 1939k| 3062k| 1.6 |1934M| 207 | 3 |1800 |1702 |1800 | 283 | 840k| 2 |3520 | 0.000000e+00 | 4.209250e+05 | Inf
1470.81/1473.78 c 1420s| 1950k| 1949k| 3071k| 1.6 |1944M| 207 | 0 |1800 |1702 |1800 | 233 | 842k| 2 |3530 | 0.000000e+00 | 4.209250e+05 | Inf
1477.82/1480.79 c 1427s| 1960k| 1959k| 3078k| 1.6 |1954M| 207 | 0 |1800 |1702 |1800 | 241 | 844k| 2 |3534 | 0.000000e+00 | 4.209250e+05 | Inf
1485.02/1487.99 c 1434s| 1970k| 1969k| 3088k| 1.6 |1964M| 207 | 0 |1800 |1702 |1800 | 276 | 848k| 2 |3537 | 0.000000e+00 | 4.209250e+05 | Inf
1492.42/1495.39 c 1441s| 1980k| 1979k| 3103k| 1.6 |1974M| 207 | 0 |1800 |1702 |1800 | 275 | 852k| 2 |3554 | 0.000000e+00 | 4.209250e+05 | Inf
1499.82/1502.75 c 1448s| 1990k| 1989k| 3117k| 1.6 |1984M| 207 | 0 |1800 |1702 |1800 | 280 | 856k| 2 |3555 | 0.000000e+00 | 4.209250e+05 | Inf
1507.11/1510.03 c 1456s| 2000k| 1999k| 3129k| 1.6 |1994M| 207 | 0 |1800 |1702 |1800 | 277 | 859k| 2 |3573 | 0.000000e+00 | 4.209250e+05 | Inf
1514.42/1517.30 c 1463s| 2010k| 2009k| 3141k| 1.6 |2004M| 207 | 0 |1800 |1702 |1800 | 262 | 862k| 2 |3573 | 0.000000e+00 | 4.209250e+05 | Inf
1521.61/1524.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1521.61/1524.57 c 1470s| 2020k| 2019k| 3152k| 1.6 |2014M| 207 | 0 |1800 |1702 |1800 | 263 | 865k| 2 |3588 | 0.000000e+00 | 4.209250e+05 | Inf
1528.92/1531.87 c 1477s| 2030k| 2029k| 3165k| 1.6 |2023M| 207 | 0 |1800 |1702 |1800 | 297 | 869k| 2 |3589 | 0.000000e+00 | 4.209250e+05 | Inf
1536.31/1539.20 c 1484s| 2040k| 2039k| 3178k| 1.6 |2033M| 207 | 0 |1800 |1703 |1800 | 241 | 872k| 3 |3603 | 0.000000e+00 | 4.209250e+05 | Inf
1543.52/1546.42 c 1491s| 2050k| 2049k| 3188k| 1.6 |2043M| 207 | 10 |1800 |1703 |1800 | 266 | 875k| 3 |3603 | 0.000000e+00 | 4.209250e+05 | Inf
1550.82/1553.71 c 1498s| 2060k| 2059k| 3199k| 1.6 |2053M| 207 | 0 |1800 |1702 |1800 | 296 | 878k| 3 |3616 | 0.000000e+00 | 4.209250e+05 | Inf
1558.03/1560.92 c 1505s| 2070k| 2069k| 3208k| 1.5 |2063M| 207 | 9 |1800 |1702 |1800 | 257 | 881k| 3 |3618 | 0.000000e+00 | 4.209250e+05 | Inf
1565.22/1568.18 c 1512s| 2080k| 2079k| 3219k| 1.5 |2073M| 207 | 0 |1800 |1702 |1800 | 245 | 884k| 3 |3620 | 0.000000e+00 | 4.209250e+05 | Inf
1572.62/1575.59 c 1519s| 2090k| 2089k| 3233k| 1.5 |2083M| 207 | 0 |1800 |1702 |1800 | 255 | 888k| 3 |3634 | 0.000000e+00 | 4.209250e+05 | Inf
1580.02/1582.96 c 1527s| 2100k| 2099k| 3248k| 1.5 |2093M| 207 | 0 |1800 |1702 |1800 | 268 | 892k| 3 |3644 | 0.000000e+00 | 4.209250e+05 | Inf
1587.42/1590.32 c 1534s| 2110k| 2109k| 3261k| 1.5 |2103M| 207 | 0 |1800 |1702 |1800 | 223 | 895k| 3 |3644 | 0.000000e+00 | 4.209250e+05 | Inf
1594.81/1597.73 c 1541s| 2120k| 2119k| 3274k| 1.5 |2113M| 207 | 0 |1800 |1702 |1800 | 275 | 899k| 3 |3657 | 0.000000e+00 | 4.209250e+05 | Inf
1602.02/1604.99 c 1548s| 2130k| 2129k| 3287k| 1.5 |2122M| 207 | 0 |1800 |1702 |1800 | 276 | 903k| 3 |3657 | 0.000000e+00 | 4.209250e+05 | Inf
1609.42/1612.33 c 1555s| 2140k| 2139k| 3301k| 1.5 |2132M| 207 | 0 |1800 |1702 |1800 | 295 | 907k| 3 |3671 | 0.000000e+00 | 4.209250e+05 | Inf
1616.72/1619.65 c 1562s| 2150k| 2149k| 3315k| 1.5 |2142M| 207 | 5 |1800 |1702 |1800 | 261 | 910k| 3 |3671 | 0.000000e+00 | 4.209250e+05 | Inf
1624.03/1626.91 c 1569s| 2160k| 2159k| 3326k| 1.5 |2152M| 207 | 0 |1800 |1702 |1800 | 269 | 913k| 3 |3684 | 0.000000e+00 | 4.209250e+05 | Inf
1631.12/1634.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1631.12/1634.08 c 1576s| 2170k| 2169k| 3334k| 1.5 |2162M| 207 | 3 |1800 |1702 |1800 | 316 | 915k| 3 |3684 | 0.000000e+00 | 4.209250e+05 | Inf
1638.52/1641.44 c 1583s| 2180k| 2179k| 3346k| 1.5 |2172M| 207 | 0 |1800 |1702 |1800 | 277 | 918k| 3 |3691 | 0.000000e+00 | 4.209250e+05 | Inf
1645.92/1648.83 c 1590s| 2190k| 2189k| 3360k| 1.5 |2182M| 207 | 4 |1800 |1702 |1800 | 272 | 922k| 3 |3702 | 0.000000e+00 | 4.209250e+05 | Inf
1653.22/1656.17 c 1597s| 2200k| 2199k| 3374k| 1.5 |2192M| 207 | 0 |1800 |1702 |1800 | 273 | 926k| 3 |3713 | 0.000000e+00 | 4.209250e+05 | Inf
1660.73/1663.60 c 1605s| 2210k| 2209k| 3388k| 1.5 |2202M| 207 | 0 |1800 |1702 |1800 | 288 | 930k| 3 |3718 | 0.000000e+00 | 4.209250e+05 | Inf
1668.13/1671.03 c 1612s| 2220k| 2219k| 3402k| 1.5 |2212M| 207 | 0 |1800 |1702 |1800 | 271 | 933k| 3 |3734 | 0.000000e+00 | 4.209250e+05 | Inf
1675.42/1678.36 c 1619s| 2230k| 2229k| 3416k| 1.5 |2222M| 207 | 5 |1800 |1702 |1800 | 251 | 937k| 3 |3734 | 0.000000e+00 | 4.209250e+05 | Inf
1682.83/1685.72 c 1626s| 2240k| 2239k| 3430k| 1.5 |2232M| 207 | 0 |1800 |1702 |1800 | 275 | 941k| 3 |3750 | 0.000000e+00 | 4.209250e+05 | Inf
1690.13/1693.01 c 1633s| 2250k| 2249k| 3443k| 1.5 |2241M| 207 | 0 |1800 |1702 |1800 | 266 | 944k| 3 |3750 | 0.000000e+00 | 4.209250e+05 | Inf
1697.43/1700.36 c 1641s| 2260k| 2259k| 3456k| 1.5 |2251M| 207 | 0 |1800 |1702 |1800 | 260 | 948k| 3 |3764 | 0.000000e+00 | 4.209250e+05 | Inf
1704.73/1707.66 c 1648s| 2270k| 2269k| 3469k| 1.5 |2261M| 207 | 0 |1800 |1702 |1800 | 271 | 952k| 3 |3764 | 0.000000e+00 | 4.209250e+05 | Inf
1712.13/1715.03 c 1655s| 2280k| 2279k| 3481k| 1.5 |2271M| 207 | 0 |1800 |1702 |1800 | 269 | 955k| 3 |3777 | 0.000000e+00 | 4.209250e+05 | Inf
1719.32/1722.29 c 1662s| 2290k| 2289k| 3493k| 1.5 |2281M| 207 | 0 |1800 |1702 |1800 | 251 | 958k| 3 |3777 | 0.000000e+00 | 4.209250e+05 | Inf
1726.72/1729.67 c 1669s| 2300k| 2299k| 3508k| 1.5 |2291M| 207 | 13 |1800 |1702 |1800 | 235 | 963k| 3 |3791 | 0.000000e+00 | 4.209250e+05 | Inf
1734.03/1736.96 c 1676s| 2310k| 2309k| 3520k| 1.5 |2301M| 207 | 0 |1800 |1702 |1800 | 235 | 966k| 3 |3792 | 0.000000e+00 | 4.209250e+05 | Inf
1741.53/1744.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1741.53/1744.40 c 1684s| 2320k| 2319k| 3537k| 1.5 |2311M| 207 | 0 |1800 |1702 |1800 | 262 | 970k| 3 |3806 | 0.000000e+00 | 4.209250e+05 | Inf
1748.92/1751.81 c 1691s| 2330k| 2329k| 3551k| 1.5 |2321M| 211 | 0 |1800 |1702 |1800 | 250 | 974k| 3 |3807 | 0.000000e+00 | 4.209250e+05 | Inf
1756.03/1758.93 c 1698s| 2340k| 2339k| 3560k| 1.5 |2331M| 211 | 0 |1800 |1702 |1800 | 262 | 977k| 3 |3823 | 0.000000e+00 | 4.209250e+05 | Inf
1763.32/1766.22 c 1705s| 2350k| 2349k| 3571k| 1.5 |2341M| 211 | 15 |1800 |1702 |1800 | 249 | 980k| 3 |3823 | 0.000000e+00 | 4.209250e+05 | Inf
1770.73/1773.61 c 1712s| 2360k| 2359k| 3585k| 1.5 |2350M| 211 | 0 |1800 |1702 |1800 | 285 | 984k| 3 |3840 | 0.000000e+00 | 4.209250e+05 | Inf
1778.13/1781.08 c 1720s| 2370k| 2369k| 3601k| 1.5 |2360M| 211 | 11 |1800 |1702 |1800 | 263 | 988k| 3 |3840 | 0.000000e+00 | 4.209250e+05 | Inf
1785.42/1788.34 c 1727s| 2380k| 2379k| 3611k| 1.5 |2370M| 211 | 12 |1800 |1702 |1800 | 235 | 991k| 3 |3857 | 0.000000e+00 | 4.209250e+05 | Inf
1792.62/1795.54 c 1734s| 2390k| 2389k| 3622k| 1.5 |2380M| 211 | 0 |1800 |1702 |1800 | 265 | 994k| 3 |3857 | 0.000000e+00 | 4.209250e+05 | Inf
1800.04/1802.91 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1802.91 c
1800.04/1802.91 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1802.91 c Solving Time (sec) : 1740.86
1800.04/1802.91 c Solving Nodes : 2399932
1800.04/1802.91 c Primal Bound : +4.20925000000000e+05 (100 solutions)
1800.04/1802.91 c Dual Bound : +0.00000000000000e+00
1800.04/1802.91 c Gap : infinite
1800.04/1802.92 s SATISFIABLE
1800.04/1802.92 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
1800.04/1802.92 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.04/1802.92 v x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 x132
1800.04/1802.92 v -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109
1800.04/1802.92 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
1800.04/1802.92 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
1800.04/1802.92 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
1800.04/1802.92 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
1800.04/1802.92 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1802.92 c Solving Time : 1740.86
1800.04/1802.92 c Original Problem :
1800.04/1802.92 c Problem name : HOME/instance-2699960-1278533862.wbo
1800.04/1802.92 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.04/1802.92 c Constraints : 1801 initial, 1801 maximal
1800.04/1802.92 c Presolved Problem :
1800.04/1802.92 c Problem name : t_HOME/instance-2699960-1278533862.wbo
1800.04/1802.92 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.04/1802.92 c Constraints : 1700 initial, 1703 maximal
1800.04/1802.92 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1802.92 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1802.92 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1802.92 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1802.92 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1802.92 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1802.92 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1802.92 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1802.92 c linear : 0.01 0 100 0 850 0 101 0 0
1800.04/1802.92 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1802.92 c root node : - 0 - - 0 - - - -
1800.04/1802.92 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1802.92 c integral : 0 0 0 2659303 0 0 0 0 0 731318
1800.04/1802.92 c indicator : 850 0 3267887 2293644 0 0 2426696 0 0 0
1800.04/1802.92 c linear : 850 6 3267887 2293644 0 2 904474 998219 0 0
1800.04/1802.92 c logicor : 0+ 0 50298 0 0 0 7627 0 0 0
1800.04/1802.92 c countsols : 0 0 0 2034271 0 0 0 0 0 0
1800.04/1802.92 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1802.92 c integral : 7.93 0.00 0.00 7.93 0.00
1800.04/1802.92 c indicator : 157.06 0.05 32.45 124.56 0.00
1800.04/1802.92 c linear : 36.28 0.00 13.91 22.37 0.00
1800.04/1802.92 c logicor : 0.03 0.00 0.03 0.00 0.00
1800.04/1802.92 c countsols : 0.23 0.00 0.00 0.23 0.00
1800.04/1802.92 c Propagators : Time Calls Cutoffs DomReds
1800.04/1802.92 c vbounds : 0.48 2 0 0
1800.04/1802.92 c rootredcost : 0.45 0 0 0
1800.04/1802.92 c pseudoobj : 52.17 3267687 0 0
1800.04/1802.92 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1802.92 c propagation : 0.00 2 2 2 5.0 1 3.0 -
1800.04/1802.92 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1802.92 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1802.92 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1802.92 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1802.92 c applied globally : - - - 3 4.3 - - -
1800.04/1802.92 c applied locally : - - - 0 0.0 - - -
1800.04/1802.92 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1802.92 c cut pool : 0.00 3 - - 13 - (maximal pool size: 47)
1800.04/1802.92 c redcost : 92.44 2658713 0 0 0 0
1800.04/1802.92 c impliedbounds : 0.00 4 0 0 0 0
1800.04/1802.92 c intobj : 0.00 0 0 0 0 0
1800.04/1802.92 c cgmip : 0.00 0 0 0 0 0
1800.04/1802.92 c gomory : 0.00 4 0 0 48 0
1800.04/1802.92 c strongcg : 0.01 4 0 0 0 0
1800.04/1802.92 c cmir : 0.02 4 0 0 0 0
1800.04/1802.92 c flowcover : 0.05 4 0 0 0 0
1800.04/1802.92 c clique : 0.00 1 0 0 0 0
1800.04/1802.92 c zerohalf : 0.00 0 0 0 0 0
1800.04/1802.92 c mcf : 0.00 1 0 0 0 0
1800.04/1802.92 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1802.92 c Pricers : Time Calls Vars
1800.04/1802.92 c problem variables: 0.00 0 0
1800.04/1802.92 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1802.92 c relpscost : 7.33 365659 0 0 0 0 731318
1800.04/1802.92 c pscost : 0.00 0 0 0 0 0 0
1800.04/1802.92 c inference : 137.29 2034271 0 0 0 0 4068542
1800.04/1802.92 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1802.92 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1802.92 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1802.92 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1802.92 c random : 0.00 0 0 0 0 0 0
1800.04/1802.92 c Primal Heuristics : Time Calls Found
1800.04/1802.92 c LP solutions : 0.00 - 0
1800.04/1802.92 c pseudo solutions : 0.00 - 0
1800.04/1802.92 c feaspump : 0.02 0 0
1800.04/1802.92 c oneopt : 1.04 1 0
1800.04/1802.92 c intshifting : 0.03 13 0
1800.04/1802.92 c crossover : 0.70 13 0
1800.04/1802.92 c pscostdiving : 12.90 24541 0
1800.04/1802.92 c veclendiving : 12.93 24541 0
1800.04/1802.92 c linesearchdiving : 12.92 24541 0
1800.04/1802.92 c guideddiving : 13.06 24541 0
1800.04/1802.92 c coefdiving : 12.97 24542 0
1800.04/1802.92 c fracdiving : 13.27 24542 0
1800.04/1802.92 c objpscostdiving : 13.87 24533 0
1800.04/1802.92 c rootsoldiving : 14.26 24533 0
1800.04/1802.92 c trivial : 0.01 2 1
1800.04/1802.92 c simplerounding : 0.77 365624 0
1800.04/1802.92 c zirounding : 0.40 1000 0
1800.04/1802.92 c rounding : 0.93 8521 0
1800.04/1802.92 c shifting : 1.48 2639 0
1800.04/1802.92 c twoopt : 0.00 0 0
1800.04/1802.92 c fixandinfer : 0.00 0 0
1800.04/1802.92 c intdiving : 0.00 0 0
1800.04/1802.92 c actconsdiving : 0.00 0 0
1800.04/1802.92 c octane : 0.00 0 0
1800.04/1802.92 c rens : 0.01 1 0
1800.04/1802.92 c rins : 0.00 0 0
1800.04/1802.92 c localbranching : 0.00 0 0
1800.04/1802.92 c mutation : 0.00 0 0
1800.04/1802.92 c dins : 0.00 0 0
1800.04/1802.92 c undercover : 0.00 0 0
1800.04/1802.92 c nlp : 0.40 0 0
1800.04/1802.92 c trysol : 0.88 27804 99
1800.04/1802.92 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1802.92 c primal LP : 0.00 0 0 0.00 -
1800.04/1802.92 c dual LP : 702.17 759517 3636484 4.79 5178.92
1800.04/1802.92 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1802.92 c barrier LP : 0.00 0 0 0.00 -
1800.04/1802.92 c diving/probing LP: 0.09 150 733 4.89 8144.44
1800.04/1802.92 c strong branching : 5.05 3873 75718 19.55 14993.66
1800.04/1802.92 c (at root node) : - 33 3113 94.33 -
1800.04/1802.92 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1802.92 c B&B Tree :
1800.04/1802.92 c number of runs : 1
1800.04/1802.92 c nodes : 2399932
1800.04/1802.92 c nodes (total) : 2399932
1800.04/1802.92 c nodes left : 2399929
1800.04/1802.92 c max depth : 211
1800.04/1802.92 c max depth (total): 211
1800.04/1802.92 c backtracks : 24598 (1.0%)
1800.04/1802.92 c delayed cutoffs : 0
1800.04/1802.92 c repropagations : 59 (9 domain reductions, 0 cutoffs)
1800.04/1802.92 c avg switch length: 2.32
1800.04/1802.92 c switching time : 71.81
1800.04/1802.92 c Solution :
1800.04/1802.92 c Solutions found : 100 (1 improvements)
1800.04/1802.92 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1802.92 c Primal Bound : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1802.92 c Dual Bound : +0.00000000000000e+00
1800.04/1802.92 c Gap : infinite
1800.04/1802.92 c Root Dual Bound : +0.00000000000000e+00
1800.04/1802.92 c Root Iterations : 231
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699960-1278533862/watcher-2699960-1278533862 -o /tmp/evaluation-result-2699960-1278533862/solver-2699960-1278533862 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2699960-1278533862.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.03 0.48 0.16 3/186 19900
/proc/meminfo: memFree=29911996/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=9412 CPUtime=0
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 1648 0 0 0 0 0 0 0 25 0 1 0 21600013 9637888 1568 4089446400 4194304 8223781 140734320433968 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19900/statm: 2353 1569 369 984 0 1366 0
[startup+0.101514 s]
/proc/loadavg: 2.03 0.48 0.16 3/186 19900
/proc/meminfo: memFree=29911996/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=17916 CPUtime=0.01
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 4100 0 0 0 1 0 0 0 25 0 1 0 21600013 18345984 3656 4089446400 4194304 8223781 140734320433968 18446744073709551615 4563739 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19900/statm: 4479 3656 405 984 0 3492 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17916
[startup+0.202164 s]
/proc/loadavg: 2.03 0.48 0.16 3/186 19900
/proc/meminfo: memFree=29911996/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=20528 CPUtime=0.04
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 5341 0 0 0 4 0 0 0 25 0 1 0 21600013 21020672 4126 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19900/statm: 5132 4126 462 984 0 4145 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 20528
[startup+0.301146 s]
/proc/loadavg: 2.03 0.48 0.16 3/186 19900
/proc/meminfo: memFree=29911996/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=23036 CPUtime=0.06
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 6062 0 0 0 6 0 0 0 25 0 1 0 21600013 23588864 4837 4089446400 4194304 8223781 140734320433968 18446744073709551615 4326057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19900/statm: 5759 4837 544 984 0 4772 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23036
[startup+0.70091 s]
/proc/loadavg: 2.03 0.48 0.16 3/186 19900
/proc/meminfo: memFree=29911996/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=28780 CPUtime=0.38
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 10544 0 0 0 35 3 0 0 25 0 1 0 21600013 29470720 6232 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19900/statm: 7195 6232 578 984 0 6208 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 28780
[startup+1.50192 s]
/proc/loadavg: 2.03 0.48 0.16 7/187 19901
/proc/meminfo: memFree=29887684/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=28780 CPUtime=1.18
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 10544 0 0 0 109 9 0 0 25 0 1 0 21600013 29470720 6232 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19900/statm: 7195 6232 578 984 0 6208 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 28780
[startup+3.10087 s]
/proc/loadavg: 2.03 0.48 0.16 4/187 19901
/proc/meminfo: memFree=29886444/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=28780 CPUtime=2.77
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 10565 0 0 0 257 20 0 0 25 0 1 0 21600013 29470720 6253 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19900/statm: 7195 6253 581 984 0 6208 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 28780
[startup+6.301 s]
/proc/loadavg: 2.11 0.52 0.17 3/187 19901
/proc/meminfo: memFree=29876260/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=35480 CPUtime=5.98
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 24164 0 0 0 556 42 0 0 25 0 1 0 21600013 36331520 7957 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19900/statm: 8870 7957 584 984 0 7883 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 35480
[startup+12.7008 s]
/proc/loadavg: 2.18 0.56 0.19 5/187 19908
/proc/meminfo: memFree=29861972/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=44836 CPUtime=12.37
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 29641 0 0 0 1160 77 0 0 25 0 1 0 21600013 45912064 10307 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19900/statm: 11209 10307 588 984 0 10222 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 44836
[startup+25.5003 s]
/proc/loadavg: 3.05 0.83 0.28 9/187 19909
/proc/meminfo: memFree=29833572/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=60776 CPUtime=25.17
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 39925 0 0 0 2372 145 0 0 25 0 1 0 21600013 62234624 14369 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19900/statm: 15194 14369 588 984 0 14207 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 60776
[startup+51.1004 s]
/proc/loadavg: 3.14 1.02 0.36 8/187 19917
/proc/meminfo: memFree=29775860/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=91860 CPUtime=49.27
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 50922 0 0 0 4657 270 0 0 25 0 1 0 21600013 94064640 22255 4089446400 4194304 8223781 140734320433968 18446744073709551615 6482569 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/19900/statm: 22965 22255 588 984 0 21978 0
Current children cumulated CPU time (s) 49.27
Current children cumulated vsize (KiB) 91860
[startup+102.302 s]
/proc/loadavg: 3.73 1.52 0.56 5/187 19921
/proc/meminfo: memFree=29655808/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=155596 CPUtime=99.91
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 69778 0 0 0 9436 555 0 0 25 0 1 0 21600013 159330304 37919 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19900/statm: 38899 37919 588 984 0 37912 0
Current children cumulated CPU time (s) 99.91
Current children cumulated vsize (KiB) 155596
[startup+162.3 s]
/proc/loadavg: 5.03 2.30 0.89 3/187 19929
/proc/meminfo: memFree=29534068/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=231548 CPUtime=159.37
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 89073 0 0 0 15096 841 0 0 25 0 1 0 21600013 237105152 57183 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 57887 57183 588 984 0 56900 0
Current children cumulated CPU time (s) 159.37
Current children cumulated vsize (KiB) 231548
[startup+222.307 s]
/proc/loadavg: 4.68 2.72 1.12 6/187 19931
/proc/meminfo: memFree=29435008/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=309360 CPUtime=219.38
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 110946 0 0 0 20831 1107 0 0 25 0 1 0 21600013 316784640 75913 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 77340 75913 588 984 0 76353 0
Current children cumulated CPU time (s) 219.38
Current children cumulated vsize (KiB) 309360
[startup+282.3 s]
/proc/loadavg: 3.81 2.84 1.26 3/187 19940
/proc/meminfo: memFree=29335556/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=386640 CPUtime=279.37
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 130583 0 0 0 26567 1370 0 0 25 0 1 0 21600013 395919360 95548 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 96660 95548 588 984 0 95673 0
Current children cumulated CPU time (s) 279.37
Current children cumulated vsize (KiB) 386640
[startup+342.302 s]
/proc/loadavg: 5.02 3.41 1.56 8/187 19942
/proc/meminfo: memFree=29238244/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=461304 CPUtime=339.38
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 152671 0 0 0 32303 1635 0 0 25 0 1 0 21600013 472375296 114508 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 115326 114508 588 984 0 114339 0
Current children cumulated CPU time (s) 339.38
Current children cumulated vsize (KiB) 461304
[startup+402.301 s]
/proc/loadavg: 4.31 3.53 1.71 3/187 19943
/proc/meminfo: memFree=29143236/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=546068 CPUtime=399.38
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 172133 0 0 0 38039 1899 0 0 25 0 1 0 21600013 559173632 133970 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 136517 133970 588 984 0 135530 0
Current children cumulated CPU time (s) 399.38
Current children cumulated vsize (KiB) 546068
[startup+462.301 s]
/proc/loadavg: 4.40 3.71 1.89 4/187 19944
/proc/meminfo: memFree=29039372/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=623176 CPUtime=459.38
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 191691 0 0 0 43769 2169 0 0 25 0 1 0 21600013 638132224 153528 4089446400 4194304 8223781 140734320433968 18446744073709551615 5892359 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 155794 153528 588 984 0 154807 0
Current children cumulated CPU time (s) 459.38
Current children cumulated vsize (KiB) 623176
[startup+522.3 s]
/proc/loadavg: 4.94 3.98 2.09 7/187 19946
/proc/meminfo: memFree=28939944/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=699180 CPUtime=519.38
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 211005 0 0 0 49502 2436 0 0 25 0 1 0 21600013 715960320 172842 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 174795 172842 588 984 0 173808 0
Current children cumulated CPU time (s) 519.38
Current children cumulated vsize (KiB) 699180
[startup+582.301 s]
/proc/loadavg: 3.60 3.82 2.16 3/179 19976
/proc/meminfo: memFree=29081832/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=777368 CPUtime=579.39
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 230883 0 0 0 55330 2609 0 0 25 0 1 0 21600013 796024832 192714 4089446400 4194304 8223781 140734320433968 18446744073709551615 4436444 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 194342 192714 588 984 0 193355 0
Current children cumulated CPU time (s) 579.39
Current children cumulated vsize (KiB) 777368
[startup+642.3 s]
/proc/loadavg: 2.58 3.49 2.15 3/179 20005
/proc/meminfo: memFree=29058964/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=856400 CPUtime=639.39
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 254092 0 0 0 61190 2749 0 0 25 0 1 0 21600013 876953600 212789 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 214100 212789 588 984 0 213113 0
Current children cumulated CPU time (s) 639.39
Current children cumulated vsize (KiB) 856400
[startup+702.301 s]
################
# More data... #
################
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 394629 0 0 0 102143 3798 0 0 25 0 1 0 21600013 1460350976 353316 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 356531 353316 588 984 0 355544 0
Current children cumulated CPU time (s) 1059.41
Current children cumulated vsize (KiB) 1426124
[startup+1122.3 s]
/proc/loadavg: 2.01 2.30 2.08 3/179 20531
/proc/meminfo: memFree=28472036/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=1504932 CPUtime=1119.4
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 414658 0 0 0 108001 3939 0 0 25 0 1 0 21600013 1541050368 373344 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 376233 373344 588 984 0 375246 0
Current children cumulated CPU time (s) 1119.4
Current children cumulated vsize (KiB) 1504932
[startup+1182.3 s]
/proc/loadavg: 2.00 2.24 2.07 3/179 20533
/proc/meminfo: memFree=28390480/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=1585172 CPUtime=1179.41
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 435037 0 0 0 113854 4087 0 0 25 0 1 0 21600013 1623216128 393722 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 396293 393722 588 984 0 395306 0
Current children cumulated CPU time (s) 1179.41
Current children cumulated vsize (KiB) 1585172
[startup+1242.3 s]
/proc/loadavg: 2.05 2.21 2.07 3/179 20535
/proc/meminfo: memFree=28309944/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=1664384 CPUtime=1239.41
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 455172 0 0 0 119686 4255 0 0 25 0 1 0 21600013 1704329216 413857 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 416096 413857 588 984 0 415109 0
Current children cumulated CPU time (s) 1239.41
Current children cumulated vsize (KiB) 1664384
[startup+1302.3 s]
/proc/loadavg: 2.07 2.18 2.07 3/179 20536
/proc/meminfo: memFree=28229632/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=1742760 CPUtime=1299.41
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 478206 0 0 0 125461 4480 0 0 25 0 1 0 21600013 1784586240 433759 4089446400 4194304 8223781 140734320433968 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 435690 433759 588 984 0 434703 0
Current children cumulated CPU time (s) 1299.41
Current children cumulated vsize (KiB) 1742760
[startup+1362.3 s]
/proc/loadavg: 1.95 2.13 2.06 3/179 20652
/proc/meminfo: memFree=28147280/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=1821656 CPUtime=1359.41
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 498264 0 0 0 131275 4666 0 0 25 0 1 0 21600013 1865375744 453813 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 455414 453813 588 984 0 454427 0
Current children cumulated CPU time (s) 1359.41
Current children cumulated vsize (KiB) 1821656
[startup+1422.3 s]
/proc/loadavg: 1.98 2.10 2.05 3/179 20654
/proc/meminfo: memFree=28065308/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=1903508 CPUtime=1419.42
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 519036 0 0 0 137033 4909 0 0 25 0 1 0 21600013 1949192192 474577 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 475877 474577 588 984 0 474890 0
Current children cumulated CPU time (s) 1419.42
Current children cumulated vsize (KiB) 1903508
[startup+1482.3 s]
/proc/loadavg: 1.99 2.08 2.05 3/179 20732
/proc/meminfo: memFree=27984724/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=1983628 CPUtime=1479.42
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 539408 0 0 0 142852 5090 0 0 25 0 1 0 21600013 2031235072 494949 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 495907 494949 588 984 0 494920 0
Current children cumulated CPU time (s) 1479.42
Current children cumulated vsize (KiB) 1983628
[startup+1542.31 s]
/proc/loadavg: 1.99 2.06 2.04 3/179 20734
/proc/meminfo: memFree=27902692/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=2095804 CPUtime=1539.43
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 559571 0 0 0 148705 5238 0 0 25 0 1 0 21600013 2146103296 515110 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 523951 515110 588 984 0 522964 0
Current children cumulated CPU time (s) 1539.43
Current children cumulated vsize (KiB) 2095804
[startup+1602.3 s]
/proc/loadavg: 1.99 2.05 2.04 3/179 20735
/proc/meminfo: memFree=27822112/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=2175252 CPUtime=1599.42
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 579774 0 0 0 154509 5433 0 0 25 0 1 0 21600013 2227458048 535304 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 543813 535304 588 984 0 542826 0
Current children cumulated CPU time (s) 1599.42
Current children cumulated vsize (KiB) 2175252
[startup+1662.3 s]
/proc/loadavg: 1.99 2.04 2.03 3/179 21007
/proc/meminfo: memFree=27704552/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=2254500 CPUtime=1659.42
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 599908 0 0 0 160344 5598 0 0 25 0 1 0 21600013 2308608000 555431 4089446400 4194304 8223781 140734320433968 18446744073709551615 4560991 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 563625 555431 588 984 0 562638 0
Current children cumulated CPU time (s) 1659.42
Current children cumulated vsize (KiB) 2254500
[startup+1722.3 s]
/proc/loadavg: 1.99 2.03 2.02 3/179 21009
/proc/meminfo: memFree=27554508/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=2334260 CPUtime=1719.42
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 620173 0 0 0 166206 5736 0 0 25 0 1 0 21600013 2390282240 575694 4089446400 4194304 8223781 140734320433968 18446744073709551615 6444420 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 583565 575694 588 984 0 582578 0
Current children cumulated CPU time (s) 1719.42
Current children cumulated vsize (KiB) 2334260
[startup+1782.3 s]
/proc/loadavg: 1.99 2.02 2.02 3/179 21011
/proc/meminfo: memFree=27396212/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=2411164 CPUtime=1779.43
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 639723 0 0 0 172070 5873 0 0 25 0 1 0 21600013 2469031936 595243 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 602791 595243 588 984 0 601804 0
Current children cumulated CPU time (s) 1779.43
Current children cumulated vsize (KiB) 2411164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.9 s]
/proc/loadavg: 1.99 2.02 2.02 3/179 21011
/proc/meminfo: memFree=27342884/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=2440184 CPUtime=1800.04
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 647098 0 0 0 174087 5917 0 0 25 0 1 0 21600013 2498748416 602610 4089446400 4194304 8223781 140734320433968 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/19900/statm: 610046 602610 588 984 0 609059 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2440184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19900
Solver just ended. Dumping a history of the last processes samples
[startup+1803.1 s]
/proc/loadavg: 1.99 2.02 2.02 3/179 21011
/proc/meminfo: memFree=27342884/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=2440184 CPUtime=1800.23
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 647100 0 0 0 174106 5917 0 0 25 0 1 0 21600013 2498748416 602612 4089446400 4194304 8223781 140734320433968 18446744073709551615 6207136 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19900/statm: 610046 602612 590 984 0 609059 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 2440184
[startup+1803.9 s]
/proc/loadavg: 1.99 2.02 2.02 3/179 21011
/proc/meminfo: memFree=27342884/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=2440184 CPUtime=1801.03
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 647100 0 0 0 174186 5917 0 0 25 0 1 0 21600013 2498748416 602612 4089446400 4194304 8223781 140734320433968 18446744073709551615 4670017 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19900/statm: 610046 602612 590 984 0 609059 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 2440184
[startup+1804.7 s]
/proc/loadavg: 1.99 2.02 2.02 3/180 21012
/proc/meminfo: memFree=27341512/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=2440184 CPUtime=1801.83
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 647100 0 0 0 174266 5917 0 0 25 0 1 0 21600013 2498748416 602612 4089446400 4194304 8223781 140734320433968 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19900/statm: 610046 602612 590 984 0 609059 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 2440184
[startup+1804.9 s]
/proc/loadavg: 1.99 2.02 2.02 3/180 21012
/proc/meminfo: memFree=27341512/32950928 swapFree=67111528/67111528
[pid=19900] ppid=19898 vsize=2440184 CPUtime=1802.03
/proc/19900/stat : 19900 (pbscip.linux.x8) R 19898 19900 19224 0 -1 4202496 647100 0 0 0 174286 5917 0 0 25 0 1 0 21600013 2498748416 602612 4089446400 4194304 8223781 140734320433968 18446744073709551615 6207096 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19900/statm: 610046 602612 590 984 0 609059 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 2440184
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1804.99
CPU time (s): 1802.13
CPU user time (s): 1742.88
CPU system time (s): 59.251
CPU usage (%): 99.8413
Max. virtual memory (cumulated for all children) (KiB): 2440184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1742.88
system time used= 59.251
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 647100
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= 15556
runsolver used 2.67559 second user time and 5.76812 second system time
The end
Begin job on node127 at 2010-07-07 22:17:42
IDJOB=2699960
IDBENCH=79388
IDSOLVER=1204
FILE ID=node127/2699960-1278533862
PBS_JOBID= 11239224
Free space on /tmp= 73184 MiB
SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh12_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699960-1278533862/watcher-2699960-1278533862 -o /tmp/evaluation-result-2699960-1278533862/solver-2699960-1278533862 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2699960-1278533862.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d787b0d4d15d2d5c6758a89f1cfd571b
RANDOM SEED=1891119853
node127.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.804
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.60
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.804
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 : 5424.67
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.804
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 : 2666.804
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.804
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.75
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.804
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.68
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.804
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.804
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: 29912648 kB
Buffers: 136692 kB
Cached: 2631816 kB
SwapCached: 0 kB
Active: 1191668 kB
Inactive: 1687648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29912648 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 21116 kB
Writeback: 0 kB
AnonPages: 109616 kB
Mapped: 18860 kB
Slab: 93604 kB
PageTables: 4516 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 326764 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= 73192 MiB
End job on node127 at 2010-07-07 22:47:47