0.00/0.00 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.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-2700140-1278534148.wbo>
0.00/0.01 c original problem has 1800 variables (1000 bin, 0 int, 0 impl, 800 cont) and 1701 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, 1000 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 800 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1000 impls, 0 clqs
0.03/0.05 c (0.0s) probing: 101/900 (11.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.05 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.03/0.05 c presolving (3 rounds):
0.03/0.05 c 100 deleted vars, 101 deleted constraints, 800 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.05 c 1000 implications, 0 cliques
0.03/0.05 c presolved problem has 1700 variables (900 bin, 0 int, 0 impl, 800 cont) and 1600 constraints
0.03/0.05 c 800 constraints of type <indicator>
0.03/0.05 c 800 constraints of type <linear>
0.03/0.05 c transformed objective value is always integral (scale: 1)
0.03/0.05 c Presolving Time: 0.03
0.03/0.05 c - non default parameters ----------------------------------------------------------------------
0.03/0.05 c # SCIP version 1.2.1.2
0.03/0.05 c
0.03/0.05 c # frequency for displaying node information lines
0.03/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.05 c display/freq = 10000
0.03/0.05 c
0.03/0.05 c # maximal time in seconds to run
0.03/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.05 c limits/time = 1799.99
0.03/0.05 c
0.03/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.05 c limits/memory = 3420
0.03/0.05 c
0.03/0.05 c # should presolving try to simplify inequalities
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c constraints/linear/simplifyinequalities = TRUE
0.03/0.05 c
0.03/0.05 c # should presolving try to simplify knapsacks
0.03/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.05 c
0.03/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.05 c separating/rapidlearning/freq = 0
0.03/0.05 c
0.03/0.05 c -----------------------------------------------------------------------------------------------
0.03/0.05 c start solving
0.03/0.05 c
0.03/0.05 o 394238
0.03/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.03/0.05 c t 0.0s| 1 | 0 | 0 | - |5798k| 0 | - |1700 |1600 | 0 | 0 | 0 | 0 | 0 | -- | 3.942380e+05 | Inf
0.03/0.06 c 0.0s| 1 | 0 | 0 | - |6171k| 0 | 0 |1700 |1600 |1700 | 0 | 0 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.03/0.06 c 0.0s| 1 | 0 | 31 | - |6207k| 0 | 0 |1700 |1600 |1700 | 63 | 63 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.03/0.06 c 0.0s| 1 | 0 | 98 | - |6250k| 0 | 31 |1700 |1600 |1700 | 97 | 97 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.03/0.07 c 0.1s| 1 | 0 | 146 | - |6338k| 0 | 65 |1700 |1600 |1700 | 143 | 143 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.03/0.08 c 0.1s| 1 | 0 | 193 | - |6561k| 0 | 65 |1700 |1600 |1700 | 170 | 170 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 249 | - |6593k| 0 | 71 |1700 |1600 |1700 | 181 | 181 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 308 | - |6621k| 0 | 73 |1700 |1600 |1700 | 188 | 188 | 0 | 0 | 0.000000e+00 | 3.942380e+05 | Inf
0.39/0.45 c 0.4s| 1 | 2 | 459 | - |6673k| 0 | 73 |1700 |1600 |1700 | 188 | 188 | 0 | 33 | 0.000000e+00 | 3.942380e+05 | Inf
11.30/11.38 c 11.0s| 10000 | 10001 | 54305 | 5.4 | 19M| 109 | 0 |1700 |1600 |1700 | 266 | 15k| 0 | 792 | 0.000000e+00 | 3.942380e+05 | Inf
19.59/19.60 c 19.0s| 20000 | 20001 | 93908 | 4.7 | 29M| 111 | 0 |1700 |1600 |1700 | 275 | 25k| 0 | 792 | 0.000000e+00 | 3.942380e+05 | Inf
27.69/27.70 c 26.9s| 30000 | 30001 |130176 | 4.3 | 39M| 111 | 0 |1700 |1600 |1700 | 291 | 35k| 0 | 792 | 0.000000e+00 | 3.942380e+05 | Inf
35.39/35.47 c 34.5s| 40000 | 40001 |160688 | 4.0 | 48M| 111 | 0 |1700 |1600 |1700 | 272 | 45k| 0 | 792 | 0.000000e+00 | 3.942380e+05 | Inf
43.49/43.50 c 42.4s| 50000 | 50001 |193566 | 3.9 | 58M| 111 | 5 |1700 |1600 |1700 | 293 | 52k| 0 | 816 | 0.000000e+00 | 3.942380e+05 | Inf
51.39/51.43 c 50.1s| 60000 | 60001 |218794 | 3.6 | 68M| 111 | 0 |1700 |1600 |1700 | 282 | 59k| 0 | 851 | 0.000000e+00 | 3.942380e+05 | Inf
59.99/60.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.99/60.02 c 58.5s| 70000 | 69999 |260342 | 3.7 | 78M| 127 | 0 |1700 |1603 |1700 | 229 | 67k| 3 | 920 | 0.000000e+00 | 3.942380e+05 | Inf
67.89/67.95 c 66.2s| 80000 | 79999 |288981 | 3.6 | 88M| 127 | 0 |1700 |1603 |1700 | 304 | 74k| 3 | 984 | 0.000000e+00 | 3.942380e+05 | Inf
75.99/76.00 c 74.0s| 90000 | 89999 |319756 | 3.5 | 98M| 127 | 0 |1700 |1603 |1700 | 271 | 81k| 3 |1041 | 0.000000e+00 | 3.942380e+05 | Inf
84.50/84.51 c 82.4s|100000 | 99999 |359894 | 3.6 | 107M| 127 | 3 |1700 |1603 |1700 | 224 | 88k| 3 |1099 | 0.000000e+00 | 3.942380e+05 | Inf
92.69/92.79 c 90.4s|110000 |109999 |394890 | 3.6 | 117M| 127 | 10 |1700 |1603 |1700 | 216 | 96k| 3 |1177 | 0.000000e+00 | 3.942380e+05 | Inf
101.20/101.24 c 98.7s|120000 |119999 |439064 | 3.7 | 127M| 127 | 0 |1700 |1603 |1700 | 303 | 107k| 3 |1252 | 0.000000e+00 | 3.942380e+05 | Inf
109.19/109.23 c 106s|130000 |129999 |468013 | 3.6 | 137M| 127 | 0 |1700 |1603 |1700 | 290 | 114k| 3 |1315 | 0.000000e+00 | 3.942380e+05 | Inf
116.79/116.83 c 114s|140000 |139999 |486539 | 3.5 | 147M| 127 | 0 |1700 |1603 |1700 | 284 | 120k| 3 |1348 | 0.000000e+00 | 3.942380e+05 | Inf
124.40/124.44 c 121s|150000 |149999 |506981 | 3.4 | 157M| 127 | 0 |1700 |1603 |1700 | 272 | 125k| 3 |1410 | 0.000000e+00 | 3.942380e+05 | Inf
132.19/132.23 c 129s|160000 |159999 |530263 | 3.3 | 166M| 127 | 0 |1700 |1603 |1700 | 278 | 131k| 3 |1438 | 0.000000e+00 | 3.942380e+05 | Inf
139.90/139.96 c 136s|170000 |169999 |553914 | 3.3 | 176M| 127 | 0 |1700 |1603 |1700 | 288 | 136k| 3 |1485 | 0.000000e+00 | 3.942380e+05 | Inf
147.70/147.70 c 144s|180000 |179999 |577099 | 3.2 | 186M| 127 | 0 |1700 |1603 |1700 | 291 | 142k| 3 |1526 | 0.000000e+00 | 3.942380e+05 | Inf
155.49/155.53 c 152s|190000 |189999 |602325 | 3.2 | 196M| 127 | 0 |1700 |1603 |1700 | 254 | 148k| 3 |1553 | 0.000000e+00 | 3.942380e+05 | Inf
163.20/163.28 c 159s|200000 |199999 |625512 | 3.1 | 205M| 127 | 0 |1700 |1603 |1700 | 249 | 154k| 3 |1608 | 0.000000e+00 | 3.942380e+05 | Inf
171.09/171.19 c 167s|210000 |209999 |651684 | 3.1 | 215M| 127 | 14 |1700 |1603 |1700 | 282 | 160k| 3 |1637 | 0.000000e+00 | 3.942380e+05 | Inf
179.19/179.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
179.19/179.24 c 175s|220000 |219999 |681107 | 3.1 | 225M| 127 | 0 |1700 |1603 |1700 | 244 | 166k| 3 |1699 | 0.000000e+00 | 3.942380e+05 | Inf
187.19/187.23 c 183s|230000 |229999 |708912 | 3.1 | 235M| 129 | 5 |1700 |1603 |1700 | 243 | 173k| 3 |1744 | 0.000000e+00 | 3.942380e+05 | Inf
195.20/195.20 c 190s|240000 |239999 |735923 | 3.1 | 245M| 129 | 0 |1700 |1603 |1700 | 298 | 179k| 3 |1788 | 0.000000e+00 | 3.942380e+05 | Inf
203.69/203.77 c 199s|250000 |249999 |777262 | 3.1 | 254M| 129 | 0 |1700 |1603 |1700 | 300 | 184k| 3 |1840 | 0.000000e+00 | 3.942380e+05 | Inf
211.40/211.46 c 206s|260000 |259999 |799693 | 3.1 | 264M| 129 | 0 |1700 |1603 |1700 | 287 | 191k| 3 |1881 | 0.000000e+00 | 3.942380e+05 | Inf
219.30/219.30 c 214s|270000 |269999 |824287 | 3.1 | 274M| 129 | 0 |1700 |1603 |1700 | 260 | 196k| 3 |1928 | 0.000000e+00 | 3.942380e+05 | Inf
227.29/227.30 c 222s|280000 |279999 |852948 | 3.0 | 284M| 129 | 0 |1700 |1603 |1700 | 284 | 202k| 3 |1958 | 0.000000e+00 | 3.942380e+05 | Inf
235.19/235.21 c 230s|290000 |289999 |882810 | 3.0 | 293M| 129 | 0 |1700 |1603 |1700 | 304 | 209k| 3 |2010 | 0.000000e+00 | 3.942380e+05 | Inf
242.89/242.93 c 237s|300000 |299999 |907810 | 3.0 | 303M| 129 | 0 |1700 |1603 |1700 | 266 | 215k| 3 |2034 | 0.000000e+00 | 3.942380e+05 | Inf
250.90/250.94 c 245s|310000 |309999 |938365 | 3.0 | 313M| 129 | 0 |1700 |1603 |1700 | 295 | 223k| 3 |2085 | 0.000000e+00 | 3.942380e+05 | Inf
258.40/258.46 c 252s|320000 |319999 |956623 | 3.0 | 323M| 129 | 12 |1700 |1603 |1700 | 255 | 227k| 3 |2115 | 0.000000e+00 | 3.942380e+05 | Inf
266.29/266.38 c 260s|330000 |329999 |984041 | 3.0 | 332M| 129 | 0 |1700 |1603 |1700 | 262 | 232k| 3 |2141 | 0.000000e+00 | 3.942380e+05 | Inf
273.99/274.03 c 267s|340000 |339999 | 1004k| 3.0 | 342M| 129 | 0 |1700 |1603 |1700 | 278 | 237k| 3 |2169 | 0.000000e+00 | 3.942380e+05 | Inf
281.79/281.83 c 275s|350000 |349999 | 1030k| 2.9 | 352M| 129 | 4 |1700 |1603 |1700 | 271 | 242k| 3 |2216 | 0.000000e+00 | 3.942380e+05 | Inf
289.60/289.67 c 283s|360000 |359999 | 1055k| 2.9 | 362M| 129 | 0 |1700 |1603 |1700 | 257 | 248k| 3 |2243 | 0.000000e+00 | 3.942380e+05 | Inf
297.19/297.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
297.19/297.25 c 290s|370000 |369999 | 1072k| 2.9 | 371M| 129 | 11 |1700 |1603 |1700 | 235 | 252k| 3 |2267 | 0.000000e+00 | 3.942380e+05 | Inf
304.79/304.89 c 297s|380000 |379999 | 1092k| 2.9 | 381M| 129 | 0 |1700 |1603 |1700 | 288 | 257k| 3 |2287 | 0.000000e+00 | 3.942380e+05 | Inf
312.80/312.87 c 305s|390000 |389999 | 1118k| 2.9 | 391M| 129 | 5 |1700 |1603 |1700 | 226 | 263k| 3 |2308 | 0.000000e+00 | 3.942380e+05 | Inf
320.60/320.68 c 312s|400000 |399999 | 1144k| 2.9 | 401M| 129 | 0 |1700 |1603 |1700 | 280 | 269k| 3 |2339 | 0.000000e+00 | 3.942380e+05 | Inf
327.90/327.97 c 319s|410000 |409999 | 1158k| 2.8 | 410M| 129 | 0 |1700 |1603 |1700 | 300 | 274k| 3 |2349 | 0.000000e+00 | 3.942380e+05 | Inf
335.50/335.59 c 327s|420000 |419999 | 1178k| 2.8 | 420M| 129 | 0 |1700 |1603 |1700 | 291 | 279k| 3 |2372 | 0.000000e+00 | 3.942380e+05 | Inf
343.39/343.40 c 334s|430000 |429999 | 1203k| 2.8 | 430M| 129 | 0 |1700 |1603 |1700 | 285 | 286k| 3 |2395 | 0.000000e+00 | 3.942380e+05 | Inf
351.20/351.21 c 341s|440000 |439999 | 1229k| 2.8 | 440M| 129 | 3 |1700 |1603 |1700 | 264 | 293k| 3 |2441 | 0.000000e+00 | 3.942380e+05 | Inf
358.90/358.90 c 348s|450000 |449999 | 1253k| 2.8 | 449M| 129 | 0 |1700 |1603 |1700 | 289 | 300k| 3 |2466 | 0.000000e+00 | 3.942380e+05 | Inf
366.50/366.59 c 356s|460000 |459999 | 1275k| 2.8 | 459M| 129 | 0 |1700 |1603 |1700 | 268 | 306k| 3 |2487 | 0.000000e+00 | 3.942380e+05 | Inf
374.50/374.52 c 363s|470000 |469999 | 1304k| 2.8 | 469M| 129 | 0 |1700 |1603 |1700 | 280 | 313k| 3 |2521 | 0.000000e+00 | 3.942380e+05 | Inf
382.00/382.04 c 370s|480000 |479999 | 1325k| 2.8 | 478M| 155 | 0 |1700 |1603 |1700 | 251 | 317k| 3 |2546 | 0.000000e+00 | 3.942380e+05 | Inf
389.30/389.32 c 377s|490000 |489999 | 1339k| 2.7 | 488M| 155 | 4 |1700 |1603 |1700 | 235 | 321k| 3 |2551 | 0.000000e+00 | 3.942380e+05 | Inf
396.70/396.77 c 384s|500000 |499999 | 1357k| 2.7 | 498M| 155 | 0 |1700 |1603 |1700 | 277 | 325k| 3 |2570 | 0.000000e+00 | 3.942380e+05 | Inf
404.50/404.50 c 391s|510000 |509999 | 1384k| 2.7 | 508M| 155 | 0 |1700 |1603 |1700 | 281 | 331k| 3 |2608 | 0.000000e+00 | 3.942380e+05 | Inf
412.10/412.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.10/412.11 c 398s|520000 |519999 | 1406k| 2.7 | 517M| 155 | 0 |1700 |1603 |1700 | 262 | 335k| 3 |2634 | 0.000000e+00 | 3.942380e+05 | Inf
419.59/419.64 c 406s|530000 |529999 | 1430k| 2.7 | 527M| 155 | 0 |1700 |1603 |1700 | 271 | 340k| 3 |2656 | 0.000000e+00 | 3.942380e+05 | Inf
427.10/427.12 c 413s|540000 |539999 | 1450k| 2.7 | 537M| 155 | 0 |1700 |1603 |1700 | 266 | 346k| 3 |2675 | 0.000000e+00 | 3.942380e+05 | Inf
434.60/434.66 c 420s|550000 |549999 | 1472k| 2.7 | 547M| 155 | 0 |1700 |1603 |1700 | 270 | 351k| 3 |2693 | 0.000000e+00 | 3.942380e+05 | Inf
441.89/441.95 c 427s|560000 |559999 | 1485k| 2.7 | 556M| 155 | 16 |1700 |1603 |1700 | 274 | 355k| 3 |2705 | 0.000000e+00 | 3.942380e+05 | Inf
449.10/449.13 c 433s|570000 |569999 | 1498k| 2.6 | 566M| 155 | 0 |1700 |1603 |1700 | 281 | 359k| 3 |2710 | 0.000000e+00 | 3.942380e+05 | Inf
456.20/456.26 c 440s|580000 |579999 | 1510k| 2.6 | 576M| 155 | 0 |1700 |1603 |1700 | 280 | 363k| 3 |2731 | 0.000000e+00 | 3.942380e+05 | Inf
463.20/463.24 c 447s|590000 |589999 | 1520k| 2.6 | 585M| 155 | 0 |1700 |1603 |1700 | 281 | 366k| 3 |2731 | 0.000000e+00 | 3.942380e+05 | Inf
470.29/470.39 c 453s|600000 |599999 | 1532k| 2.6 | 595M| 155 | 0 |1700 |1603 |1700 | 255 | 370k| 3 |2749 | 0.000000e+00 | 3.942380e+05 | Inf
477.90/477.91 c 460s|610000 |609999 | 1549k| 2.5 | 604M| 155 | 0 |1700 |1603 |1700 | 245 | 375k| 3 |2764 | 0.000000e+00 | 3.942380e+05 | Inf
485.10/485.17 c 467s|620000 |619999 | 1564k| 2.5 | 614M| 155 | 0 |1700 |1603 |1700 | 288 | 379k| 3 |2774 | 0.000000e+00 | 3.942380e+05 | Inf
492.60/492.62 c 474s|630000 |629999 | 1585k| 2.5 | 624M| 155 | 33 |1700 |1603 |1700 | 208 | 385k| 3 |2788 | 0.000000e+00 | 3.942380e+05 | Inf
500.00/500.02 c 481s|640000 |639999 | 1604k| 2.5 | 634M| 155 | 0 |1700 |1603 |1700 | 276 | 390k| 3 |2803 | 0.000000e+00 | 3.942380e+05 | Inf
507.30/507.30 c 488s|650000 |649999 | 1618k| 2.5 | 643M| 155 | 40 |1700 |1603 |1700 | 266 | 393k| 3 |2808 | 0.000000e+00 | 3.942380e+05 | Inf
514.80/514.81 c 495s|660000 |659999 | 1638k| 2.5 | 653M| 155 | 0 |1700 |1603 |1700 | 267 | 398k| 3 |2823 | 0.000000e+00 | 3.942380e+05 | Inf
522.40/522.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.40/522.49 c 502s|670000 |669999 | 1664k| 2.5 | 663M| 155 | 9 |1700 |1603 |1700 | 279 | 403k| 3 |2839 | 0.000000e+00 | 3.942380e+05 | Inf
529.60/529.60 c 509s|680000 |679999 | 1675k| 2.5 | 672M| 155 | 0 |1700 |1603 |1700 | 295 | 407k| 3 |2854 | 0.000000e+00 | 3.942380e+05 | Inf
537.00/537.09 c 516s|690000 |689999 | 1695k| 2.5 | 682M| 155 | 0 |1700 |1603 |1700 | 289 | 411k| 3 |2869 | 0.000000e+00 | 3.942380e+05 | Inf
544.00/544.09 c 523s|700000 |699999 | 1705k| 2.4 | 691M| 155 | 0 |1700 |1603 |1700 | 255 | 414k| 3 |2869 | 0.000000e+00 | 3.942380e+05 | Inf
551.20/551.25 c 530s|710000 |709999 | 1718k| 2.4 | 701M| 155 | 0 |1700 |1603 |1700 | 267 | 417k| 3 |2883 | 0.000000e+00 | 3.942380e+05 | Inf
558.29/558.37 c 536s|720000 |719999 | 1730k| 2.4 | 711M| 155 | 0 |1700 |1603 |1700 | 270 | 420k| 3 |2893 | 0.000000e+00 | 3.942380e+05 | Inf
565.30/565.32 c 543s|730000 |729999 | 1740k| 2.4 | 720M| 155 | 0 |1700 |1603 |1700 | 278 | 423k| 3 |2894 | 0.000000e+00 | 3.942380e+05 | Inf
572.50/572.55 c 550s|740000 |739999 | 1752k| 2.4 | 730M| 155 | 0 |1700 |1603 |1700 | 266 | 427k| 3 |2906 | 0.000000e+00 | 3.942380e+05 | Inf
579.80/579.83 c 556s|750000 |749999 | 1766k| 2.4 | 740M| 155 | 0 |1700 |1603 |1700 | 290 | 430k| 3 |2911 | 0.000000e+00 | 3.942380e+05 | Inf
586.90/586.92 c 563s|760000 |759999 | 1780k| 2.3 | 749M| 167 | 0 |1700 |1603 |1700 | 244 | 435k| 3 |2920 | 0.000000e+00 | 3.942380e+05 | Inf
594.10/594.12 c 570s|770000 |769999 | 1798k| 2.3 | 759M| 167 | 0 |1700 |1603 |1700 | 285 | 439k| 3 |2931 | 0.000000e+00 | 3.942380e+05 | Inf
601.40/601.40 c 577s|780000 |779999 | 1820k| 2.3 | 769M| 167 | 0 |1700 |1603 |1700 | 247 | 446k| 3 |2941 | 0.000000e+00 | 3.942380e+05 | Inf
609.00/609.00 c 584s|790000 |789999 | 1845k| 2.3 | 778M| 167 | 0 |1700 |1603 |1700 | 290 | 452k| 3 |2958 | 0.000000e+00 | 3.942380e+05 | Inf
616.20/616.26 c 591s|800000 |799999 | 1863k| 2.3 | 788M| 167 | 0 |1700 |1603 |1700 | 295 | 456k| 3 |2964 | 0.000000e+00 | 3.942380e+05 | Inf
623.50/623.59 c 597s|810000 |809999 | 1882k| 2.3 | 798M| 167 | 0 |1700 |1603 |1700 | 278 | 461k| 3 |2978 | 0.000000e+00 | 3.942380e+05 | Inf
630.80/630.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
630.80/630.84 c 604s|820000 |819999 | 1899k| 2.3 | 808M| 167 | 4 |1700 |1603 |1700 | 291 | 465k| 3 |2989 | 0.000000e+00 | 3.942380e+05 | Inf
638.20/638.23 c 611s|830000 |829999 | 1917k| 2.3 | 817M| 167 | 0 |1700 |1603 |1700 | 262 | 470k| 3 |3003 | 0.000000e+00 | 3.942380e+05 | Inf
645.61/645.61 c 618s|840000 |839999 | 1938k| 2.3 | 827M| 167 | 0 |1700 |1603 |1700 | 277 | 475k| 3 |3013 | 0.000000e+00 | 3.942380e+05 | Inf
652.90/652.90 c 625s|850000 |849999 | 1955k| 2.3 | 837M| 167 | 0 |1700 |1603 |1700 | 286 | 480k| 3 |3024 | 0.000000e+00 | 3.942380e+05 | Inf
660.20/660.21 c 632s|860000 |859999 | 1973k| 2.3 | 847M| 167 | 0 |1700 |1603 |1700 | 270 | 485k| 3 |3033 | 0.000000e+00 | 3.942380e+05 | Inf
667.50/667.60 c 639s|870000 |869999 | 1993k| 2.3 | 856M| 167 | 0 |1700 |1603 |1700 | 287 | 490k| 3 |3044 | 0.000000e+00 | 3.942380e+05 | Inf
674.90/674.97 c 646s|880000 |879999 | 2011k| 2.3 | 866M| 167 | 0 |1700 |1603 |1700 | 281 | 495k| 3 |3056 | 0.000000e+00 | 3.942380e+05 | Inf
682.30/682.30 c 652s|890000 |889999 | 2030k| 2.3 | 876M| 167 | 0 |1700 |1603 |1700 | 260 | 499k| 3 |3067 | 0.000000e+00 | 3.942380e+05 | Inf
689.60/689.62 c 659s|900000 |899999 | 2050k| 2.3 | 885M| 167 | 0 |1700 |1603 |1700 | 259 | 505k| 3 |3077 | 0.000000e+00 | 3.942380e+05 | Inf
696.80/696.81 c 666s|910000 |909999 | 2066k| 2.3 | 895M| 167 | 0 |1700 |1603 |1700 | 275 | 509k| 3 |3083 | 0.000000e+00 | 3.942380e+05 | Inf
704.20/704.25 c 673s|920000 |919999 | 2087k| 2.3 | 905M| 167 | 0 |1700 |1603 |1700 | 289 | 514k| 3 |3097 | 0.000000e+00 | 3.942380e+05 | Inf
711.50/711.57 c 680s|930000 |929999 | 2105k| 2.3 | 914M| 167 | 0 |1700 |1603 |1700 | 260 | 518k| 3 |3111 | 0.000000e+00 | 3.942380e+05 | Inf
719.00/719.03 c 687s|940000 |939999 | 2125k| 2.3 | 924M| 167 | 0 |1700 |1603 |1700 | 275 | 523k| 3 |3126 | 0.000000e+00 | 3.942380e+05 | Inf
726.31/726.33 c 694s|950000 |949999 | 2141k| 2.3 | 934M| 167 | 0 |1700 |1603 |1700 | 290 | 527k| 3 |3140 | 0.000000e+00 | 3.942380e+05 | Inf
733.50/733.57 c 700s|960000 |959999 | 2158k| 2.2 | 944M| 167 | 0 |1700 |1603 |1700 | 285 | 531k| 3 |3150 | 0.000000e+00 | 3.942380e+05 | Inf
740.70/740.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
740.70/740.74 c 707s|970000 |969999 | 2170k| 2.2 | 953M| 167 | 0 |1700 |1603 |1700 | 274 | 534k| 3 |3153 | 0.000000e+00 | 3.942380e+05 | Inf
748.10/748.10 c 714s|980000 |979999 | 2188k| 2.2 | 963M| 167 | 6 |1700 |1603 |1700 | 251 | 538k| 3 |3167 | 0.000000e+00 | 3.942380e+05 | Inf
755.30/755.36 c 721s|990000 |989999 | 2204k| 2.2 | 973M| 167 | 0 |1700 |1603 |1700 | 280 | 542k| 3 |3181 | 0.000000e+00 | 3.942380e+05 | Inf
762.80/762.89 c 728s| 1000k|999999 | 2225k| 2.2 | 982M| 167 | 0 |1700 |1603 |1700 | 254 | 547k| 3 |3194 | 0.000000e+00 | 3.942380e+05 | Inf
770.40/770.42 c 735s| 1010k| 1009k| 2249k| 2.2 | 992M| 167 | 12 |1700 |1603 |1700 | 246 | 553k| 3 |3207 | 0.000000e+00 | 3.942380e+05 | Inf
777.60/777.64 c 742s| 1020k| 1019k| 2266k| 2.2 |1002M| 167 | 39 |1700 |1603 |1700 | 281 | 557k| 3 |3218 | 0.000000e+00 | 3.942380e+05 | Inf
784.70/784.76 c 749s| 1030k| 1029k| 2280k| 2.2 |1012M| 167 | 0 |1700 |1603 |1700 | 294 | 561k| 3 |3218 | 0.000000e+00 | 3.942380e+05 | Inf
792.31/792.37 c 756s| 1040k| 1039k| 2303k| 2.2 |1021M| 167 | 0 |1700 |1603 |1700 | 282 | 567k| 3 |3231 | 0.000000e+00 | 3.942380e+05 | Inf
799.50/799.60 c 762s| 1050k| 1049k| 2319k| 2.2 |1031M| 167 | 0 |1700 |1603 |1700 | 276 | 571k| 3 |3246 | 0.000000e+00 | 3.942380e+05 | Inf
806.70/806.76 c 769s| 1060k| 1059k| 2335k| 2.2 |1041M| 167 | 0 |1700 |1603 |1700 | 267 | 576k| 3 |3262 | 0.000000e+00 | 3.942380e+05 | Inf
813.91/813.94 c 776s| 1070k| 1069k| 2351k| 2.2 |1051M| 167 | 0 |1700 |1603 |1700 | 297 | 581k| 3 |3276 | 0.000000e+00 | 3.942380e+05 | Inf
821.60/821.66 c 783s| 1080k| 1079k| 2377k| 2.2 |1060M| 167 | 0 |1700 |1603 |1700 | 286 | 585k| 3 |3292 | 0.000000e+00 | 3.942380e+05 | Inf
828.90/828.98 c 790s| 1090k| 1089k| 2395k| 2.2 |1070M| 167 | 0 |1700 |1603 |1700 | 270 | 590k| 3 |3304 | 0.000000e+00 | 3.942380e+05 | Inf
836.10/836.13 c 797s| 1100k| 1099k| 2408k| 2.2 |1080M| 167 | 0 |1700 |1603 |1700 | 260 | 594k| 3 |3310 | 0.000000e+00 | 3.942380e+05 | Inf
843.30/843.34 c 804s| 1110k| 1109k| 2424k| 2.2 |1090M| 167 | 0 |1700 |1603 |1700 | 281 | 598k| 3 |3323 | 0.000000e+00 | 3.942380e+05 | Inf
850.61/850.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
850.61/850.60 c 810s| 1120k| 1119k| 2441k| 2.2 |1099M| 167 | 2 |1700 |1603 |1700 | 258 | 603k| 3 |3334 | 0.000000e+00 | 3.942380e+05 | Inf
858.30/858.38 c 818s| 1130k| 1129k| 2468k| 2.2 |1109M| 167 | 4 |1700 |1603 |1700 | 268 | 608k| 3 |3348 | 0.000000e+00 | 3.942380e+05 | Inf
865.71/865.78 c 825s| 1140k| 1139k| 2486k| 2.2 |1119M| 167 | 0 |1700 |1603 |1700 | 273 | 613k| 3 |3362 | 0.000000e+00 | 3.942380e+05 | Inf
873.10/873.11 c 831s| 1150k| 1149k| 2504k| 2.2 |1129M| 167 | 0 |1700 |1603 |1700 | 282 | 617k| 3 |3368 | 0.000000e+00 | 3.942380e+05 | Inf
880.21/880.20 c 838s| 1160k| 1159k| 2518k| 2.2 |1138M| 167 | 0 |1700 |1603 |1700 | 283 | 621k| 3 |3377 | 0.000000e+00 | 3.942380e+05 | Inf
887.50/887.50 c 845s| 1170k| 1169k| 2535k| 2.2 |1148M| 167 | 0 |1700 |1603 |1700 | 300 | 626k| 3 |3385 | 0.000000e+00 | 3.942380e+05 | Inf
894.70/894.78 c 852s| 1180k| 1179k| 2552k| 2.2 |1158M| 167 | 0 |1700 |1603 |1700 | 288 | 631k| 3 |3395 | 0.000000e+00 | 3.942380e+05 | Inf
902.02/902.06 c 858s| 1190k| 1189k| 2569k| 2.2 |1168M| 167 | 0 |1700 |1603 |1700 | 299 | 637k| 3 |3408 | 0.000000e+00 | 3.942380e+05 | Inf
909.31/909.36 c 865s| 1200k| 1199k| 2587k| 2.2 |1177M| 167 | 0 |1700 |1603 |1700 | 287 | 642k| 3 |3417 | 0.000000e+00 | 3.942380e+05 | Inf
916.60/916.64 c 872s| 1210k| 1209k| 2603k| 2.2 |1187M| 167 | 4 |1700 |1603 |1700 | 274 | 647k| 3 |3433 | 0.000000e+00 | 3.942380e+05 | Inf
923.91/923.95 c 879s| 1220k| 1219k| 2621k| 2.1 |1197M| 167 | 0 |1700 |1603 |1700 | 247 | 651k| 3 |3448 | 0.000000e+00 | 3.942380e+05 | Inf
931.31/931.36 c 886s| 1230k| 1229k| 2638k| 2.1 |1207M| 167 | 0 |1700 |1603 |1700 | 277 | 657k| 3 |3463 | 0.000000e+00 | 3.942380e+05 | Inf
938.61/938.64 c 893s| 1240k| 1239k| 2656k| 2.1 |1216M| 167 | 0 |1700 |1603 |1700 | 283 | 661k| 3 |3468 | 0.000000e+00 | 3.942380e+05 | Inf
945.81/945.89 c 900s| 1250k| 1249k| 2672k| 2.1 |1226M| 167 | 0 |1700 |1603 |1700 | 281 | 665k| 3 |3478 | 0.000000e+00 | 3.942380e+05 | Inf
953.01/953.09 c 906s| 1260k| 1259k| 2688k| 2.1 |1236M| 167 | 0 |1700 |1603 |1700 | 275 | 669k| 3 |3494 | 0.000000e+00 | 3.942380e+05 | Inf
960.31/960.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.31/960.37 c 913s| 1270k| 1269k| 2704k| 2.1 |1245M| 167 | 0 |1700 |1603 |1700 | 284 | 673k| 3 |3510 | 0.000000e+00 | 3.942380e+05 | Inf
967.61/967.65 c 920s| 1280k| 1279k| 2721k| 2.1 |1255M| 167 | 0 |1700 |1603 |1700 | 267 | 678k| 3 |3510 | 0.000000e+00 | 3.942380e+05 | Inf
974.80/974.89 c 927s| 1290k| 1289k| 2738k| 2.1 |1265M| 167 | 0 |1700 |1603 |1700 | 266 | 682k| 3 |3526 | 0.000000e+00 | 3.942380e+05 | Inf
982.00/982.08 c 934s| 1300k| 1299k| 2752k| 2.1 |1275M| 167 | 0 |1700 |1603 |1700 | 283 | 686k| 3 |3543 | 0.000000e+00 | 3.942380e+05 | Inf
989.31/989.31 c 940s| 1310k| 1309k| 2768k| 2.1 |1284M| 167 | 0 |1700 |1603 |1700 | 262 | 690k| 3 |3545 | 0.000000e+00 | 3.942380e+05 | Inf
996.61/996.66 c 947s| 1320k| 1319k| 2786k| 2.1 |1294M| 167 | 0 |1700 |1603 |1700 | 265 | 695k| 3 |3559 | 0.000000e+00 | 3.942380e+05 | Inf
1003.81/1003.83 c 954s| 1330k| 1329k| 2800k| 2.1 |1304M| 167 | 0 |1700 |1603 |1700 | 266 | 698k| 3 |3574 | 0.000000e+00 | 3.942380e+05 | Inf
1010.91/1010.97 c 961s| 1340k| 1339k| 2814k| 2.1 |1314M| 167 | 0 |1700 |1603 |1700 | 256 | 702k| 3 |3585 | 0.000000e+00 | 3.942380e+05 | Inf
1018.31/1018.30 c 967s| 1350k| 1349k| 2832k| 2.1 |1323M| 167 | 0 |1700 |1603 |1700 | 300 | 706k| 3 |3591 | 0.000000e+00 | 3.942380e+05 | Inf
1025.61/1025.65 c 974s| 1360k| 1359k| 2851k| 2.1 |1333M| 167 | 0 |1700 |1603 |1700 | 280 | 711k| 3 |3604 | 0.000000e+00 | 3.942380e+05 | Inf
1033.41/1033.42 c 982s| 1370k| 1369k| 2877k| 2.1 |1343M| 167 | 0 |1700 |1603 |1700 | 276 | 717k| 3 |3618 | 0.000000e+00 | 3.942380e+05 | Inf
1040.61/1040.60 c 988s| 1380k| 1379k| 2892k| 2.1 |1353M| 167 | 0 |1700 |1603 |1700 | 304 | 721k| 3 |3634 | 0.000000e+00 | 3.942380e+05 | Inf
1047.61/1047.60 c 995s| 1390k| 1389k| 2903k| 2.1 |1362M| 167 | 0 |1700 |1603 |1700 | 257 | 724k| 3 |3644 | 0.000000e+00 | 3.942380e+05 | Inf
1054.30/1054.33 c 1001s| 1400k| 1399k| 2909k| 2.1 |1372M| 167 | 0 |1700 |1603 |1700 | 312 | 725k| 3 |3648 | 0.000000e+00 | 3.942380e+05 | Inf
1061.81/1061.83 c 1008s| 1410k| 1409k| 2928k| 2.1 |1382M| 167 | 10 |1700 |1603 |1700 | 273 | 731k| 3 |3660 | 0.000000e+00 | 3.942380e+05 | Inf
1069.11/1069.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.11/1069.11 c 1015s| 1420k| 1419k| 2943k| 2.1 |1391M| 167 | 6 |1700 |1602 |1700 | 240 | 735k| 3 |3663 | 0.000000e+00 | 3.942380e+05 | Inf
1076.31/1076.39 c 1022s| 1430k| 1429k| 2958k| 2.1 |1401M| 167 | 38 |1700 |1602 |1700 | 218 | 740k| 3 |3678 | 0.000000e+00 | 3.942380e+05 | Inf
1083.81/1083.80 c 1029s| 1440k| 1439k| 2978k| 2.1 |1411M| 167 | 0 |1700 |1602 |1700 | 275 | 744k| 3 |3693 | 0.000000e+00 | 3.942380e+05 | Inf
1090.90/1090.96 c 1036s| 1450k| 1449k| 2992k| 2.1 |1421M| 167 | 0 |1700 |1602 |1700 | 283 | 749k| 3 |3703 | 0.000000e+00 | 3.942380e+05 | Inf
1098.20/1098.25 c 1042s| 1460k| 1459k| 3009k| 2.1 |1430M| 167 | 0 |1700 |1602 |1700 | 275 | 753k| 3 |3708 | 0.000000e+00 | 3.942380e+05 | Inf
1105.60/1105.62 c 1049s| 1470k| 1469k| 3030k| 2.1 |1440M| 167 | 0 |1700 |1602 |1700 | 281 | 758k| 3 |3722 | 0.000000e+00 | 3.942380e+05 | Inf
1112.81/1112.89 c 1056s| 1480k| 1479k| 3048k| 2.1 |1450M| 167 | 0 |1700 |1602 |1700 | 266 | 763k| 3 |3737 | 0.000000e+00 | 3.942380e+05 | Inf
1120.11/1120.17 c 1063s| 1490k| 1489k| 3066k| 2.1 |1459M| 167 | 0 |1700 |1602 |1700 | 252 | 768k| 3 |3752 | 0.000000e+00 | 3.942380e+05 | Inf
1127.21/1127.28 c 1070s| 1500k| 1499k| 3079k| 2.1 |1469M| 167 | 0 |1700 |1602 |1700 | 287 | 772k| 3 |3753 | 0.000000e+00 | 3.942380e+05 | Inf
1134.12/1134.15 c 1076s| 1510k| 1509k| 3086k| 2.0 |1479M| 167 | 0 |1700 |1602 |1700 | 316 | 775k| 3 |3760 | 0.000000e+00 | 3.942380e+05 | Inf
1141.31/1141.35 c 1083s| 1520k| 1519k| 3102k| 2.0 |1488M| 167 | 0 |1700 |1602 |1700 | 264 | 779k| 3 |3766 | 0.000000e+00 | 3.942380e+05 | Inf
1148.61/1148.66 c 1090s| 1530k| 1529k| 3121k| 2.0 |1498M| 167 | 0 |1700 |1602 |1700 | 271 | 783k| 3 |3781 | 0.000000e+00 | 3.942380e+05 | Inf
1155.91/1155.92 c 1097s| 1540k| 1539k| 3137k| 2.0 |1508M| 167 | 0 |1700 |1602 |1700 | 270 | 787k| 3 |3797 | 0.000000e+00 | 3.942380e+05 | Inf
1163.31/1163.30 c 1104s| 1550k| 1549k| 3155k| 2.0 |1518M| 167 | 0 |1700 |1602 |1700 | 219 | 792k| 3 |3801 | 0.000000e+00 | 3.942380e+05 | Inf
1170.70/1170.71 c 1110s| 1560k| 1559k| 3176k| 2.0 |1527M| 167 | 0 |1700 |1602 |1700 | 289 | 797k| 3 |3811 | 0.000000e+00 | 3.942380e+05 | Inf
1177.71/1177.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1177.71/1177.75 c 1117s| 1570k| 1569k| 3188k| 2.0 |1537M| 167 | 0 |1700 |1602 |1700 | 284 | 801k| 3 |3821 | 0.000000e+00 | 3.942380e+05 | Inf
1184.91/1184.97 c 1124s| 1580k| 1579k| 3205k| 2.0 |1547M| 167 | 0 |1700 |1602 |1700 | 266 | 805k| 3 |3833 | 0.000000e+00 | 3.942380e+05 | Inf
1192.01/1192.03 c 1130s| 1590k| 1589k| 3219k| 2.0 |1557M| 167 | 4 |1700 |1602 |1700 | 291 | 810k| 3 |3833 | 0.000000e+00 | 3.942380e+05 | Inf
1199.21/1199.20 c 1137s| 1600k| 1599k| 3233k| 2.0 |1566M| 167 | 0 |1700 |1602 |1700 | 302 | 814k| 3 |3847 | 0.000000e+00 | 3.942380e+05 | Inf
1206.51/1206.50 c 1144s| 1610k| 1609k| 3250k| 2.0 |1576M| 167 | 0 |1700 |1602 |1700 | 312 | 819k| 3 |3857 | 0.000000e+00 | 3.942380e+05 | Inf
1213.61/1213.69 c 1151s| 1620k| 1619k| 3263k| 2.0 |1586M| 167 | 0 |1700 |1602 |1700 | 283 | 823k| 3 |3861 | 0.000000e+00 | 3.942380e+05 | Inf
1220.91/1220.94 c 1158s| 1630k| 1629k| 3278k| 2.0 |1596M| 167 | 0 |1700 |1602 |1700 | 274 | 826k| 3 |3874 | 0.000000e+00 | 3.942380e+05 | Inf
1228.01/1228.04 c 1164s| 1640k| 1639k| 3291k| 2.0 |1605M| 167 | 2 |1700 |1602 |1700 | 246 | 830k| 3 |3875 | 0.000000e+00 | 3.942380e+05 | Inf
1235.61/1235.61 c 1171s| 1650k| 1649k| 3315k| 2.0 |1615M| 167 | 0 |1700 |1602 |1700 | 307 | 836k| 3 |3894 | 0.000000e+00 | 3.942380e+05 | Inf
1242.81/1242.83 c 1178s| 1660k| 1659k| 3330k| 2.0 |1625M| 167 | 7 |1700 |1602 |1700 | 263 | 840k| 3 |3904 | 0.000000e+00 | 3.942380e+05 | Inf
1250.11/1250.13 c 1185s| 1670k| 1669k| 3347k| 2.0 |1635M| 167 | 13 |1700 |1602 |1700 | 227 | 845k| 3 |3921 | 0.000000e+00 | 3.942380e+05 | Inf
1257.61/1257.63 c 1192s| 1680k| 1679k| 3368k| 2.0 |1644M| 167 | 0 |1700 |1602 |1700 | 278 | 850k| 3 |3939 | 0.000000e+00 | 3.942380e+05 | Inf
1264.81/1264.81 c 1199s| 1690k| 1689k| 3383k| 2.0 |1654M| 167 | 0 |1700 |1602 |1700 | 266 | 854k| 3 |3940 | 0.000000e+00 | 3.942380e+05 | Inf
1272.11/1272.12 c 1205s| 1700k| 1699k| 3401k| 2.0 |1664M| 167 | 0 |1700 |1602 |1700 | 274 | 859k| 3 |3957 | 0.000000e+00 | 3.942380e+05 | Inf
1279.41/1279.41 c 1212s| 1710k| 1709k| 3419k| 2.0 |1673M| 167 | 0 |1700 |1602 |1700 | 289 | 863k| 3 |3972 | 0.000000e+00 | 3.942380e+05 | Inf
1286.51/1286.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1286.51/1286.52 c 1219s| 1720k| 1719k| 3432k| 2.0 |1683M| 167 | 7 |1700 |1602 |1700 | 279 | 867k| 3 |3972 | 0.000000e+00 | 3.942380e+05 | Inf
1293.82/1293.89 c 1226s| 1730k| 1729k| 3449k| 2.0 |1693M| 167 | 0 |1700 |1602 |1700 | 263 | 871k| 3 |3985 | 0.000000e+00 | 3.942380e+05 | Inf
1301.01/1301.07 c 1233s| 1740k| 1739k| 3463k| 2.0 |1703M| 167 | 0 |1700 |1602 |1700 | 263 | 874k| 3 |4003 | 0.000000e+00 | 3.942380e+05 | Inf
1308.32/1308.30 c 1239s| 1750k| 1749k| 3480k| 2.0 |1712M| 167 | 0 |1700 |1602 |1700 | 279 | 878k| 3 |4003 | 0.000000e+00 | 3.942380e+05 | Inf
1315.51/1315.55 c 1246s| 1760k| 1759k| 3495k| 2.0 |1722M| 167 | 0 |1700 |1602 |1700 | 279 | 882k| 3 |4018 | 0.000000e+00 | 3.942380e+05 | Inf
1322.71/1322.79 c 1253s| 1770k| 1769k| 3512k| 2.0 |1732M| 167 | 0 |1700 |1602 |1700 | 295 | 886k| 3 |4032 | 0.000000e+00 | 3.942380e+05 | Inf
1329.92/1329.97 c 1260s| 1780k| 1779k| 3526k| 2.0 |1741M| 167 | 0 |1700 |1602 |1700 | 256 | 890k| 3 |4032 | 0.000000e+00 | 3.942380e+05 | Inf
1337.11/1337.14 c 1266s| 1790k| 1789k| 3536k| 2.0 |1751M| 167 | 0 |1700 |1602 |1700 | 265 | 893k| 3 |4046 | 0.000000e+00 | 3.942380e+05 | Inf
1344.41/1344.45 c 1273s| 1800k| 1799k| 3555k| 2.0 |1761M| 167 | 0 |1700 |1602 |1700 | 272 | 899k| 3 |4060 | 0.000000e+00 | 3.942380e+05 | Inf
1351.52/1351.57 c 1280s| 1810k| 1809k| 3568k| 2.0 |1771M| 167 | 0 |1700 |1602 |1700 | 264 | 902k| 3 |4062 | 0.000000e+00 | 3.942380e+05 | Inf
1358.71/1358.78 c 1287s| 1820k| 1819k| 3583k| 2.0 |1780M| 167 | 0 |1700 |1602 |1700 | 281 | 906k| 3 |4079 | 0.000000e+00 | 3.942380e+05 | Inf
1366.12/1366.19 c 1294s| 1830k| 1829k| 3603k| 2.0 |1790M| 167 | 0 |1700 |1602 |1700 | 302 | 910k| 3 |4091 | 0.000000e+00 | 3.942380e+05 | Inf
1373.31/1373.36 c 1300s| 1840k| 1839k| 3619k| 2.0 |1800M| 167 | 0 |1700 |1602 |1700 | 301 | 915k| 3 |4095 | 0.000000e+00 | 3.942380e+05 | Inf
1380.52/1380.57 c 1307s| 1850k| 1849k| 3633k| 2.0 |1809M| 167 | 0 |1700 |1602 |1700 | 267 | 919k| 3 |4111 | 0.000000e+00 | 3.942380e+05 | Inf
1387.71/1387.72 c 1314s| 1860k| 1859k| 3646k| 2.0 |1819M| 167 | 16 |1700 |1602 |1700 | 303 | 923k| 3 |4111 | 0.000000e+00 | 3.942380e+05 | Inf
1395.01/1395.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1395.01/1395.08 c 1321s| 1870k| 1869k| 3663k| 2.0 |1829M| 167 | 7 |1700 |1602 |1700 | 258 | 927k| 3 |4128 | 0.000000e+00 | 3.942380e+05 | Inf
1402.42/1402.49 c 1328s| 1880k| 1879k| 3683k| 2.0 |1839M| 167 | 0 |1700 |1602 |1700 | 286 | 932k| 3 |4142 | 0.000000e+00 | 3.942380e+05 | Inf
1409.62/1409.62 c 1334s| 1890k| 1889k| 3694k| 2.0 |1848M| 167 | 0 |1700 |1602 |1700 | 285 | 935k| 3 |4142 | 0.000000e+00 | 3.942380e+05 | Inf
1416.71/1416.80 c 1341s| 1900k| 1899k| 3707k| 2.0 |1858M| 167 | 0 |1700 |1602 |1700 | 284 | 937k| 3 |4157 | 0.000000e+00 | 3.942380e+05 | Inf
1424.01/1424.08 c 1348s| 1910k| 1909k| 3723k| 1.9 |1868M| 167 | 0 |1700 |1602 |1700 | 291 | 942k| 3 |4157 | 0.000000e+00 | 3.942380e+05 | Inf
1431.02/1431.09 c 1355s| 1920k| 1919k| 3733k| 1.9 |1877M| 167 | 0 |1700 |1602 |1700 | 281 | 944k| 3 |4171 | 0.000000e+00 | 3.942380e+05 | Inf
1438.12/1438.16 c 1361s| 1930k| 1929k| 3746k| 1.9 |1887M| 167 | 0 |1700 |1602 |1700 | 277 | 948k| 3 |4171 | 0.000000e+00 | 3.942380e+05 | Inf
1445.32/1445.32 c 1368s| 1940k| 1939k| 3759k| 1.9 |1897M| 167 | 0 |1700 |1602 |1700 | 268 | 952k| 3 |4185 | 0.000000e+00 | 3.942380e+05 | Inf
1452.41/1452.44 c 1375s| 1950k| 1949k| 3771k| 1.9 |1906M| 167 | 8 |1700 |1602 |1700 | 289 | 955k| 3 |4187 | 0.000000e+00 | 3.942380e+05 | Inf
1459.51/1459.57 c 1381s| 1960k| 1959k| 3784k| 1.9 |1916M| 167 | 0 |1700 |1602 |1700 | 282 | 959k| 3 |4199 | 0.000000e+00 | 3.942380e+05 | Inf
1466.52/1466.56 c 1388s| 1970k| 1969k| 3795k| 1.9 |1926M| 167 | 8 |1700 |1602 |1700 | 283 | 962k| 3 |4199 | 0.000000e+00 | 3.942380e+05 | Inf
1473.72/1473.79 c 1395s| 1980k| 1979k| 3809k| 1.9 |1936M| 167 | 0 |1700 |1602 |1700 | 291 | 966k| 3 |4213 | 0.000000e+00 | 3.942380e+05 | Inf
1481.12/1481.18 c 1402s| 1990k| 1989k| 3826k| 1.9 |1945M| 167 | 3 |1700 |1602 |1700 | 285 | 970k| 3 |4227 | 0.000000e+00 | 3.942380e+05 | Inf
1488.32/1488.34 c 1408s| 2000k| 1999k| 3839k| 1.9 |1955M| 167 | 0 |1700 |1602 |1700 | 276 | 973k| 3 |4227 | 0.000000e+00 | 3.942380e+05 | Inf
1495.31/1495.39 c 1415s| 2010k| 2009k| 3852k| 1.9 |1965M| 167 | 0 |1700 |1602 |1700 | 298 | 977k| 3 |4244 | 0.000000e+00 | 3.942380e+05 | Inf
1502.52/1502.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1502.52/1502.59 c 1422s| 2020k| 2019k| 3866k| 1.9 |1974M| 167 | 0 |1700 |1602 |1700 | 266 | 981k| 3 |4244 | 0.000000e+00 | 3.942380e+05 | Inf
1510.02/1510.03 c 1429s| 2030k| 2029k| 3885k| 1.9 |1984M| 167 | 0 |1700 |1602 |1700 | 291 | 985k| 3 |4258 | 0.000000e+00 | 3.942380e+05 | Inf
1517.32/1517.39 c 1436s| 2040k| 2039k| 3900k| 1.9 |1994M| 167 | 0 |1700 |1602 |1700 | 296 | 989k| 3 |4272 | 0.000000e+00 | 3.942380e+05 | Inf
1524.52/1524.53 c 1442s| 2050k| 2049k| 3914k| 1.9 |2004M| 167 | 0 |1700 |1602 |1700 | 274 | 993k| 3 |4274 | 0.000000e+00 | 3.942380e+05 | Inf
1531.72/1531.79 c 1449s| 2060k| 2059k| 3930k| 1.9 |2013M| 167 | 0 |1700 |1602 |1700 | 283 | 998k| 3 |4289 | 0.000000e+00 | 3.942380e+05 | Inf
1539.02/1539.03 c 1456s| 2070k| 2069k| 3944k| 1.9 |2023M| 167 | 0 |1700 |1602 |1700 | 297 |1001k| 3 |4289 | 0.000000e+00 | 3.942380e+05 | Inf
1546.42/1546.43 c 1463s| 2080k| 2079k| 3964k| 1.9 |2033M| 167 | 0 |1700 |1602 |1700 | 267 |1006k| 3 |4303 | 0.000000e+00 | 3.942380e+05 | Inf
1553.91/1553.93 c 1470s| 2090k| 2089k| 3986k| 1.9 |2043M| 167 | 5 |1700 |1602 |1700 | 274 |1011k| 3 |4318 | 0.000000e+00 | 3.942380e+05 | Inf
1561.11/1561.16 c 1477s| 2100k| 2099k| 4002k| 1.9 |2052M| 167 | 16 |1700 |1602 |1700 | 261 |1015k| 3 |4331 | 0.000000e+00 | 3.942380e+05 | Inf
1568.32/1568.34 c 1484s| 2110k| 2109k| 4017k| 1.9 |2062M| 167 | 0 |1700 |1602 |1700 | 308 |1020k| 3 |4333 | 0.000000e+00 | 3.942380e+05 | Inf
1575.31/1575.32 c 1490s| 2120k| 2119k| 4027k| 1.9 |2072M| 167 | 0 |1700 |1602 |1700 | 295 |1023k| 3 |4347 | 0.000000e+00 | 3.942380e+05 | Inf
1582.52/1582.56 c 1497s| 2130k| 2129k| 4043k| 1.9 |2081M| 167 | 0 |1700 |1602 |1700 | 281 |1027k| 3 |4347 | 0.000000e+00 | 3.942380e+05 | Inf
1589.62/1589.63 c 1504s| 2140k| 2139k| 4055k| 1.9 |2091M| 167 | 0 |1700 |1602 |1700 | 272 |1030k| 3 |4363 | 0.000000e+00 | 3.942380e+05 | Inf
1596.91/1596.95 c 1510s| 2150k| 2149k| 4072k| 1.9 |2101M| 167 | 4 |1700 |1602 |1700 | 286 |1034k| 3 |4372 | 0.000000e+00 | 3.942380e+05 | Inf
1603.91/1603.98 c 1517s| 2160k| 2159k| 4082k| 1.9 |2110M| 167 | 0 |1700 |1602 |1700 | 270 |1037k| 3 |4379 | 0.000000e+00 | 3.942380e+05 | Inf
1611.02/1611.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1611.02/1611.08 c 1524s| 2170k| 2169k| 4094k| 1.9 |2120M| 167 | 0 |1700 |1602 |1700 | 281 |1040k| 3 |4379 | 0.000000e+00 | 3.942380e+05 | Inf
1618.22/1618.26 c 1530s| 2180k| 2179k| 4109k| 1.9 |2130M| 167 | 0 |1700 |1602 |1700 | 252 |1044k| 3 |4394 | 0.000000e+00 | 3.942380e+05 | Inf
1625.52/1625.53 c 1537s| 2190k| 2189k| 4124k| 1.9 |2140M| 167 | 0 |1700 |1602 |1700 | 281 |1049k| 3 |4407 | 0.000000e+00 | 3.942380e+05 | Inf
1632.62/1632.62 c 1544s| 2200k| 2199k| 4136k| 1.9 |2149M| 167 | 0 |1700 |1602 |1700 | 280 |1052k| 3 |4408 | 0.000000e+00 | 3.942380e+05 | Inf
1639.82/1639.81 c 1551s| 2210k| 2209k| 4150k| 1.9 |2159M| 167 | 0 |1700 |1602 |1700 | 291 |1056k| 3 |4422 | 0.000000e+00 | 3.942380e+05 | Inf
1646.92/1646.95 c 1557s| 2220k| 2219k| 4162k| 1.9 |2169M| 167 | 8 |1700 |1602 |1700 | 262 |1059k| 3 |4422 | 0.000000e+00 | 3.942380e+05 | Inf
1654.02/1654.00 c 1564s| 2230k| 2229k| 4174k| 1.9 |2178M| 167 | 0 |1700 |1602 |1700 | 285 |1063k| 3 |4435 | 0.000000e+00 | 3.942380e+05 | Inf
1661.03/1661.05 c 1571s| 2240k| 2239k| 4185k| 1.9 |2188M| 167 | 13 |1700 |1602 |1700 | 255 |1066k| 3 |4436 | 0.000000e+00 | 3.942380e+05 | Inf
1668.42/1668.42 c 1578s| 2250k| 2249k| 4204k| 1.9 |2198M| 167 | 0 |1700 |1602 |1700 | 287 |1071k| 3 |4450 | 0.000000e+00 | 3.942380e+05 | Inf
1675.33/1675.32 c 1584s| 2260k| 2259k| 4214k| 1.9 |2207M| 167 | 0 |1700 |1602 |1700 | 257 |1074k| 3 |4450 | 0.000000e+00 | 3.942380e+05 | Inf
1682.62/1682.68 c 1591s| 2270k| 2269k| 4232k| 1.9 |2217M| 167 | 0 |1700 |1602 |1700 | 280 |1078k| 3 |4464 | 0.000000e+00 | 3.942380e+05 | Inf
1689.72/1689.79 c 1598s| 2280k| 2279k| 4245k| 1.9 |2227M| 167 | 0 |1700 |1602 |1700 | 265 |1082k| 3 |4477 | 0.000000e+00 | 3.942380e+05 | Inf
1697.02/1697.06 c 1605s| 2290k| 2289k| 4261k| 1.9 |2236M| 167 | 10 |1700 |1602 |1700 | 276 |1085k| 3 |4477 | 0.000000e+00 | 3.942380e+05 | Inf
1704.41/1704.40 c 1611s| 2300k| 2299k| 4276k| 1.9 |2246M| 167 | 0 |1700 |1602 |1700 | 274 |1089k| 3 |4491 | 0.000000e+00 | 3.942380e+05 | Inf
1711.62/1711.66 c 1618s| 2310k| 2309k| 4292k| 1.9 |2256M| 167 | 0 |1700 |1602 |1700 | 270 |1093k| 3 |4497 | 0.000000e+00 | 3.942380e+05 | Inf
1718.62/1718.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1718.62/1718.62 c 1625s| 2320k| 2319k| 4303k| 1.9 |2265M| 167 | 0 |1700 |1602 |1700 | 296 |1096k| 3 |4505 | 0.000000e+00 | 3.942380e+05 | Inf
1725.62/1725.63 c 1631s| 2330k| 2329k| 4312k| 1.9 |2275M| 167 | 0 |1700 |1602 |1700 | 276 |1098k| 3 |4506 | 0.000000e+00 | 3.942380e+05 | Inf
1732.92/1732.93 c 1638s| 2340k| 2339k| 4328k| 1.8 |2285M| 167 | 0 |1700 |1605 |1700 | 279 |1103k| 6 |4520 | 0.000000e+00 | 3.942380e+05 | Inf
1740.12/1740.18 c 1645s| 2350k| 2349k| 4343k| 1.8 |2294M| 167 | 0 |1700 |1605 |1700 | 272 |1107k| 6 |4533 | 0.000000e+00 | 3.942380e+05 | Inf
1747.12/1747.13 c 1651s| 2360k| 2359k| 4351k| 1.8 |2304M| 167 | 0 |1700 |1605 |1700 | 274 |1109k| 6 |4533 | 0.000000e+00 | 3.942380e+05 | Inf
1754.12/1754.16 c 1658s| 2370k| 2369k| 4360k| 1.8 |2314M| 167 | 0 |1700 |1605 |1700 | 288 |1112k| 6 |4535 | 0.000000e+00 | 3.942380e+05 | Inf
1761.02/1761.06 c 1665s| 2380k| 2379k| 4368k| 1.8 |2323M| 167 | 0 |1700 |1605 |1700 | 278 |1114k| 6 |4546 | 0.000000e+00 | 3.942380e+05 | Inf
1768.42/1768.44 c 1672s| 2390k| 2389k| 4385k| 1.8 |2333M| 167 | 0 |1700 |1605 |1700 | 282 |1117k| 6 |4548 | 0.000000e+00 | 3.942380e+05 | Inf
1775.82/1775.86 c 1678s| 2400k| 2399k| 4402k| 1.8 |2343M| 167 | 0 |1700 |1604 |1700 | 260 |1121k| 6 |4559 | 0.000000e+00 | 3.942380e+05 | Inf
1783.02/1783.05 c 1685s| 2410k| 2409k| 4415k| 1.8 |2352M| 167 | 0 |1700 |1604 |1700 | 268 |1125k| 6 |4573 | 0.000000e+00 | 3.942380e+05 | Inf
1790.02/1790.08 c 1692s| 2420k| 2419k| 4424k| 1.8 |2362M| 167 | 0 |1700 |1603 |1700 | 283 |1127k| 6 |4574 | 0.000000e+00 | 3.942380e+05 | Inf
1797.12/1797.19 c 1698s| 2430k| 2429k| 4437k| 1.8 |2372M| 167 | 0 |1700 |1603 |1700 | 293 |1131k| 6 |4582 | 0.000000e+00 | 3.942380e+05 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1701.13
1800.03/1800.00 c Solving Nodes : 2434048
1800.03/1800.00 c Primal Bound : +3.94238000000000e+05 (100 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.01 s SATISFIABLE
1800.03/1800.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
1800.03/1800.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.03/1800.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
1800.03/1800.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
1800.03/1800.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
1800.03/1800.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
1800.03/1800.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
1800.03/1800.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
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time : 1701.13
1800.03/1800.01 c Original Problem :
1800.03/1800.01 c Problem name : HOME/instance-2700140-1278534148.wbo
1800.03/1800.01 c Variables : 1800 (1000 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.03/1800.01 c Constraints : 1701 initial, 1701 maximal
1800.03/1800.01 c Presolved Problem :
1800.03/1800.01 c Problem name : t_HOME/instance-2700140-1278534148.wbo
1800.03/1800.01 c Variables : 1700 (900 binary, 0 integer, 0 implicit integer, 800 continuous)
1800.03/1800.01 c Constraints : 1600 initial, 1605 maximal
1800.03/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c linear : 0.02 0 100 0 800 0 101 0 0
1800.03/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.01 c root node : - 0 - - 0 - - - -
1800.03/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c integral : 0 0 0 2722812 0 0 0 0 0 806618
1800.03/1800.01 c indicator : 800 0 3420119 2319503 0 0 2502388 0 0 0
1800.03/1800.01 c linear : 800 6 3420119 2319503 0 2 1036566 1132086 0 0
1800.03/1800.01 c logicor : 0+ 0 55961 0 0 0 8303 0 0 0
1800.03/1800.01 c countsols : 0 0 0 2030737 0 0 0 0 0 0
1800.03/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.01 c integral : 7.29 0.00 0.00 7.29 0.00
1800.03/1800.01 c indicator : 150.32 0.01 31.71 118.60 0.00
1800.03/1800.01 c linear : 37.16 0.00 13.27 23.89 0.00
1800.03/1800.01 c logicor : 0.03 0.00 0.03 0.00 0.00
1800.03/1800.01 c countsols : 0.06 0.00 0.00 0.06 0.00
1800.03/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.01 c vbounds : 0.12 2 0 0
1800.03/1800.01 c rootredcost : 0.11 0 0 0
1800.03/1800.01 c pseudoobj : 48.31 3419919 0 0
1800.03/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.01 c propagation : 0.00 2 2 2 6.0 4 3.8 -
1800.03/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.01 c applied globally : - - - 6 4.5 - - -
1800.03/1800.01 c applied locally : - - - 0 0.0 - - -
1800.03/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.01 c cut pool : 0.00 3 - - 52 - (maximal pool size: 88)
1800.03/1800.01 c redcost : 89.04 2722350 0 0 0 0
1800.03/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.03/1800.01 c intobj : 0.00 0 0 0 0 0
1800.03/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.01 c gomory : 0.02 4 0 0 94 0
1800.03/1800.01 c strongcg : 0.01 4 0 0 0 0
1800.03/1800.01 c cmir : 0.00 4 0 0 0 0
1800.03/1800.01 c flowcover : 0.02 4 0 0 0 0
1800.03/1800.01 c clique : 0.00 1 0 0 0 0
1800.03/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.01 c mcf : 0.00 1 0 0 0 0
1800.03/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.01 c Pricers : Time Calls Vars
1800.03/1800.01 c problem variables: 0.00 0 0
1800.03/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.01 c relpscost : 7.09 403309 0 0 0 0 806618
1800.03/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.01 c inference : 127.96 2030737 0 0 0 0 4061474
1800.03/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.01 c random : 0.00 0 0 0 0 0 0
1800.03/1800.01 c Primal Heuristics : Time Calls Found
1800.03/1800.01 c LP solutions : 0.00 - 0
1800.03/1800.01 c pseudo solutions : 0.00 - 0
1800.03/1800.01 c feaspump : 0.00 0 0
1800.03/1800.01 c oneopt : 0.38 1 0
1800.03/1800.01 c intshifting : 0.08 20 0
1800.03/1800.01 c crossover : 0.39 13 0
1800.03/1800.01 c linesearchdiving : 14.76 30250 0
1800.03/1800.01 c fracdiving : 14.88 30251 0
1800.03/1800.01 c veclendiving : 15.07 30251 0
1800.03/1800.01 c guideddiving : 15.42 30251 0
1800.03/1800.01 c coefdiving : 14.79 30251 0
1800.03/1800.01 c pscostdiving : 14.92 30251 0
1800.03/1800.01 c objpscostdiving : 15.94 30213 0
1800.03/1800.01 c rootsoldiving : 16.06 30213 0
1800.03/1800.01 c trivial : 0.01 2 1
1800.03/1800.01 c simplerounding : 0.20 403281 0
1800.03/1800.01 c zirounding : 0.14 1000 0
1800.03/1800.01 c rounding : 0.48 8950 0
1800.03/1800.01 c shifting : 1.35 2769 0
1800.03/1800.01 c twoopt : 0.00 0 0
1800.03/1800.01 c fixandinfer : 0.00 0 0
1800.03/1800.01 c intdiving : 0.00 0 0
1800.03/1800.01 c actconsdiving : 0.00 0 0
1800.03/1800.01 c octane : 0.00 0 0
1800.03/1800.01 c rens : 0.01 1 0
1800.03/1800.01 c rins : 0.00 0 0
1800.03/1800.01 c localbranching : 0.00 0 0
1800.03/1800.01 c mutation : 0.00 0 0
1800.03/1800.01 c dins : 0.00 0 0
1800.03/1800.01 c undercover : 0.00 0 0
1800.03/1800.01 c nlp : 0.07 0 0
1800.03/1800.01 c trysol : 0.36 33770 99
1800.03/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.01 c dual LP : 697.67 858312 4439872 5.17 6363.86
1800.03/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.01 c diving/probing LP: 0.19 556 1798 3.23 9463.16
1800.03/1800.01 c strong branching : 4.75 4586 70926 15.47 14931.79
1800.03/1800.01 c (at root node) : - 33 5560 168.48 -
1800.03/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.01 c B&B Tree :
1800.03/1800.01 c number of runs : 1
1800.03/1800.01 c nodes : 2434048
1800.03/1800.01 c nodes (total) : 2434048
1800.03/1800.01 c nodes left : 2434045
1800.03/1800.01 c max depth : 167
1800.03/1800.01 c max depth (total): 167
1800.03/1800.01 c backtracks : 30460 (1.3%)
1800.03/1800.01 c delayed cutoffs : 0
1800.03/1800.01 c repropagations : 15 (6 domain reductions, 0 cutoffs)
1800.03/1800.01 c avg switch length: 2.36
1800.03/1800.01 c switching time : 67.52
1800.03/1800.01 c Solution :
1800.03/1800.01 c Solutions found : 100 (1 improvements)
1800.03/1800.01 c First Solution : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.03/1800.01 c Primal Bound : +3.94238000000000e+05 (in run 1, after 1 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Root Iterations : 308
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700140-1278534148/watcher-2700140-1278534148 -o /tmp/evaluation-result-2700140-1278534148/solver-2700140-1278534148 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700140-1278534148.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.30 0.56 4/178 1476
/proc/meminfo: memFree=29124784/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=7724 CPUtime=0
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 1032 0 0 0 0 0 0 0 25 0 1 0 21628241 7909376 951 4089446400 4194304 8223781 140734194427440 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1476/statm: 1931 963 348 984 0 944 0
[startup+0.0406191 s]
/proc/loadavg: 1.99 1.30 0.56 4/178 1476
/proc/meminfo: memFree=29124784/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=20308 CPUtime=0.03
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 5251 0 0 0 3 0 0 0 25 0 1 0 21628241 20795392 4035 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1476/statm: 5077 4035 451 984 0 4090 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 20308
[startup+0.100609 s]
/proc/loadavg: 1.99 1.30 0.56 4/178 1476
/proc/meminfo: memFree=29124784/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=23548 CPUtime=0.09
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 6209 0 0 0 9 0 0 0 25 0 1 0 21628241 24113152 4984 4089446400 4194304 8223781 140734194427440 18446744073709551615 5744186 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1476/statm: 5887 4984 564 984 0 4900 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23548
[startup+0.300575 s]
/proc/loadavg: 1.99 1.30 0.56 4/178 1476
/proc/meminfo: memFree=29124784/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=23936 CPUtime=0.29
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 9167 0 0 0 28 1 0 0 25 0 1 0 21628241 24510464 5112 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1476/statm: 5984 5112 578 984 0 4997 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23936
[startup+0.700568 s]
/proc/loadavg: 1.99 1.30 0.56 4/178 1476
/proc/meminfo: memFree=29124784/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=23936 CPUtime=0.69
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 9167 0 0 0 66 3 0 0 25 0 1 0 21628241 24510464 5112 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1476/statm: 5984 5112 578 984 0 4997 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23936
[startup+1.50044 s]
/proc/loadavg: 1.99 1.30 0.56 3/179 1477
/proc/meminfo: memFree=29105308/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=23936 CPUtime=1.49
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 9168 0 0 0 144 5 0 0 25 0 1 0 21628241 24510464 5113 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1476/statm: 5984 5113 579 984 0 4997 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23936
[startup+3.10016 s]
/proc/loadavg: 1.99 1.31 0.57 3/179 1477
/proc/meminfo: memFree=29103696/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=26980 CPUtime=3.09
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 12704 0 0 0 299 10 0 0 25 0 1 0 21628241 27627520 5765 4089446400 4194304 8223781 140734194427440 18446744073709551615 6003157 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1476/statm: 6745 5765 584 984 0 5758 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26980
[startup+6.30058 s]
/proc/loadavg: 1.99 1.31 0.57 3/179 1477
/proc/meminfo: memFree=29095144/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=30808 CPUtime=6.29
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 22368 0 0 0 610 19 0 0 25 0 1 0 21628241 31547392 6780 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1476/statm: 7702 6780 584 984 0 6715 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30808
[startup+12.7005 s]
/proc/loadavg: 1.99 1.33 0.59 3/179 1478
/proc/meminfo: memFree=29080808/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=39840 CPUtime=12.7
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 27520 0 0 0 1232 38 0 0 25 0 1 0 21628241 40796160 9060 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1476/statm: 9960 9060 584 984 0 8973 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 39840
[startup+25.5004 s]
/proc/loadavg: 1.99 1.35 0.60 3/179 1478
/proc/meminfo: memFree=29054920/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=55048 CPUtime=25.49
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 37146 0 0 0 2480 69 0 0 25 0 1 0 21628241 56369152 12914 4089446400 4194304 8223781 140734194427440 18446744073709551615 6450697 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1476/statm: 13762 12914 584 984 0 12775 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55048
[startup+51.1011 s]
/proc/loadavg: 1.99 1.40 0.64 3/179 1479
/proc/meminfo: memFree=28999964/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=88128 CPUtime=51.1
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 48465 0 0 0 4979 131 0 0 25 0 1 0 21628241 90243072 21326 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1476/statm: 22032 21326 584 984 0 21045 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 88128
[startup+102.306 s]
/proc/loadavg: 1.99 1.50 0.71 3/179 1480
/proc/meminfo: memFree=28888288/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=149288 CPUtime=102.29
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 66372 0 0 0 9970 259 0 0 25 0 1 0 21628241 152870912 36339 4089446400 4194304 8223781 140734194427440 18446744073709551615 6482603 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1476/statm: 37322 36339 588 984 0 36335 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 149288
[startup+162.3 s]
/proc/loadavg: 1.99 1.59 0.79 3/179 1482
/proc/meminfo: memFree=28741264/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=230444 CPUtime=162.29
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 85938 0 0 0 15825 404 0 0 25 0 1 0 21628241 235974656 55900 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1476/statm: 57611 55900 588 984 0 56624 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 230444
[startup+222.3 s]
/proc/loadavg: 1.99 1.66 0.86 3/179 1483
/proc/meminfo: memFree=28583232/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=301776 CPUtime=222.3
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 106938 0 0 0 21689 541 0 0 25 0 1 0 21628241 309018624 74037 4089446400 4194304 8223781 140734194427440 18446744073709551615 6207516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1476/statm: 75444 74037 588 984 0 74457 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 301776
[startup+282.301 s]
/proc/loadavg: 1.99 1.72 0.93 3/179 1485
/proc/meminfo: memFree=28402496/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=376556 CPUtime=282.3
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 125956 0 0 0 27552 678 0 0 25 0 1 0 21628241 385593344 93032 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1476/statm: 94139 93032 588 984 0 93152 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 376556
[startup+342.301 s]
/proc/loadavg: 1.95 1.75 0.99 3/179 1768
/proc/meminfo: memFree=28871596/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=451264 CPUtime=342.3
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 147830 0 0 0 33282 948 0 0 25 0 1 0 21628241 462094336 112006 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 112816 112006 588 984 0 111829 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 451264
[startup+402.301 s]
/proc/loadavg: 1.98 1.80 1.05 3/179 1769
/proc/meminfo: memFree=28733752/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=532112 CPUtime=402.3
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 166327 0 0 0 38919 1311 0 0 25 0 1 0 21628241 544882688 130490 4089446400 4194304 8223781 140734194427440 18446744073709551615 6505967 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 133028 130490 588 984 0 132041 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 532112
[startup+462.301 s]
/proc/loadavg: 1.99 1.83 1.11 3/179 1771
/proc/meminfo: memFree=28582036/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=610444 CPUtime=462.3
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 186227 0 0 0 44571 1659 0 0 25 0 1 0 21628241 625094656 150389 4089446400 4194304 8223781 140734194427440 18446744073709551615 4429712 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 152611 150389 588 984 0 151624 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 610444
[startup+522.301 s]
/proc/loadavg: 1.99 1.86 1.16 3/179 1772
/proc/meminfo: memFree=28435656/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=688804 CPUtime=522.3
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 206128 0 0 0 50219 2011 0 0 25 0 1 0 21628241 705335296 170285 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 172201 170285 588 984 0 171214 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 688804
[startup+582.3 s]
/proc/loadavg: 1.99 1.88 1.21 3/179 1774
/proc/meminfo: memFree=28284068/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=767460 CPUtime=582.3
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 226134 0 0 0 55873 2357 0 0 25 0 1 0 21628241 785879040 190281 4089446400 4194304 8223781 140734194427440 18446744073709551615 5892216 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 191865 190281 588 984 0 190878 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 767460
[startup+642.3 s]
/proc/loadavg: 1.99 1.90 1.26 3/179 1776
/proc/meminfo: memFree=28126148/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=845228 CPUtime=642.3
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 248768 0 0 0 61492 2738 0 0 25 0 1 0 21628241 865513472 210027 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 211307 210027 588 984 0 210320 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 845228
[startup+702.3 s]
################
# More data... #
################
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 368719 0 0 0 95248 4983 0 0 25 0 1 0 21628241 1365360640 329905 4089446400 4194304 8223781 140734194427440 18446744073709551615 4641963 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 333340 329905 588 984 0 332353 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1333360
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/179 1787
/proc/meminfo: memFree=27005128/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=1411704 CPUtime=1062.31
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 388603 0 0 0 100883 5348 0 0 25 0 1 0 21628241 1445584896 349789 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 352926 349789 588 984 0 351939 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1411704
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.54 3/179 1788
/proc/meminfo: memFree=26837052/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=1492992 CPUtime=1122.3
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 409264 0 0 0 106508 5722 0 0 25 0 1 0 21628241 1528823808 370450 4089446400 4194304 8223781 140734194427440 18446744073709551615 6003593 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 373248 370450 588 984 0 372261 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 1492992
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/179 1790
/proc/meminfo: memFree=26678012/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=1571284 CPUtime=1182.31
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 429142 0 0 0 112136 6095 0 0 25 0 1 0 21628241 1608994816 390328 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 392821 390328 588 984 0 391834 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1571284
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/179 1792
/proc/meminfo: memFree=26513404/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=1649968 CPUtime=1242.31
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 452008 0 0 0 117749 6482 0 0 25 0 1 0 21628241 1689567232 410325 4089446400 4194304 8223781 140734194427440 18446744073709551615 6446852 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 412492 410325 588 984 0 411505 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1649968
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/179 1793
/proc/meminfo: memFree=26349656/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=1728248 CPUtime=1302.31
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 471924 0 0 0 123379 6852 0 0 25 0 1 0 21628241 1769725952 430241 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 432062 430241 588 984 0 431075 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1728248
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/179 1795
/proc/meminfo: memFree=26186776/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=1808296 CPUtime=1362.31
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 492262 0 0 0 129003 7228 0 0 25 0 1 0 21628241 1851695104 450579 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 452074 450579 588 984 0 451087 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 1808296
[startup+1422.31 s]
/proc/loadavg: 2.06 1.99 1.66 3/179 1796
/proc/meminfo: memFree=26023884/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=1888328 CPUtime=1422.32
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 512590 0 0 0 134636 7596 0 0 25 0 1 0 21628241 1933647872 470907 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 472082 470907 588 984 0 471095 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1888328
[startup+1482.3 s]
/proc/loadavg: 2.06 2.00 1.68 3/179 1798
/proc/meminfo: memFree=25860880/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=1968516 CPUtime=1482.31
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 532952 0 0 0 140270 7961 0 0 25 0 1 0 21628241 2015760384 491269 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 492129 491269 588 984 0 491142 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1968516
[startup+1542.3 s]
/proc/loadavg: 2.02 2.00 1.70 3/179 1800
/proc/meminfo: memFree=25699608/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=2079096 CPUtime=1542.31
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 552724 0 0 0 145905 8326 0 0 25 0 1 0 21628241 2128994304 511041 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 519774 511041 588 984 0 518787 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 2079096
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.72 3/179 1801
/proc/meminfo: memFree=25537340/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=2158464 CPUtime=1602.32
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 572903 0 0 0 151550 8682 0 0 25 0 1 0 21628241 2210267136 531218 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 539616 531218 588 984 0 538629 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 2158464
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/179 1803
/proc/meminfo: memFree=25374204/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=2238064 CPUtime=1662.32
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 593129 0 0 0 157191 9041 0 0 25 0 1 0 21628241 2291777536 551444 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 559516 551444 588 984 0 558529 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2238064
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/179 1804
/proc/meminfo: memFree=25214680/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=2318144 CPUtime=1722.32
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 613466 0 0 0 162817 9415 0 0 25 0 1 0 21628241 2373779456 571779 4089446400 4194304 8223781 140734194427440 18446744073709551615 4651565 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 579536 571779 588 984 0 578549 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2318144
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/179 1806
/proc/meminfo: memFree=25043848/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=2396988 CPUtime=1782.32
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 633516 0 0 0 168451 9781 0 0 25 0 1 0 21628241 2454515712 591825 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 599247 591825 588 984 0 598260 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 2396988
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.76 3/179 1806
/proc/meminfo: memFree=24993364/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=2421480 CPUtime=1800.03
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 639734 0 0 0 170114 9889 0 0 25 0 1 0 21628241 2479595520 598041 4089446400 4194304 8223781 140734194427440 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1476/statm: 605370 598041 588 984 0 604383 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2421480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -1476
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.76 3/180 1807
/proc/meminfo: memFree=24992612/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=2421480 CPUtime=1801.42
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 639738 0 0 0 170253 9889 0 0 19 0 1 0 21628241 2479595520 598045 4089446400 4194304 8223781 140734194427440 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1476/statm: 605370 598045 590 984 0 604383 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 2421480
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.76 3/180 1807
/proc/meminfo: memFree=24990752/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=2421480 CPUtime=1801.83
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 639738 0 0 0 170294 9889 0 0 20 0 1 0 21628241 2479595520 598045 4089446400 4194304 8223781 140734194427440 18446744073709551615 6206535 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1476/statm: 605370 598045 590 984 0 604383 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 2421480
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.76 3/180 1807
/proc/meminfo: memFree=24990752/32950928 swapFree=67109624/67111528
[pid=1476] ppid=1474 vsize=2421480 CPUtime=1802.02
/proc/1476/stat : 1476 (pbscip.linux.x8) R 1474 1476 927 0 -1 4202496 639738 0 0 0 170313 9889 0 0 20 0 1 0 21628241 2479595520 598045 4089446400 4194304 8223781 140734194427440 18446744073709551615 6206651 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1476/statm: 605370 598045 590 984 0 604383 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 2421480
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.12
CPU user time (s): 1703.15
CPU system time (s): 98.975
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2421480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1703.15
system time used= 98.975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 639738
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= 1233
runsolver used 2.54061 second user time and 5.86911 second system time
The end
Begin job on node126 at 2010-07-07 22:22:28
IDJOB=2700140
IDBENCH=79403
IDSOLVER=1204
FILE ID=node126/2700140-1278534148
PBS_JOBID= 11239226
Free space on /tmp= 73532 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-jnh214_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-2700140-1278534148/watcher-2700140-1278534148 -o /tmp/evaluation-result-2700140-1278534148/solver-2700140-1278534148 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700140-1278534148.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7b7f899ec609c9207642e3bd82d991a6
RANDOM SEED=657402102
node126.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.861
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.72
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.861
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.05
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.861
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.861
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.67
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.861
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.84
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.861
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.67
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.861
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.85
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.861
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: 29125312 kB
Buffers: 103352 kB
Cached: 3284556 kB
SwapCached: 1140 kB
Active: 914288 kB
Inactive: 2762296 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29125312 kB
SwapTotal: 67111528 kB
SwapFree: 67109624 kB
Dirty: 4696 kB
Writeback: 0 kB
AnonPages: 287636 kB
Mapped: 16112 kB
Slab: 85792 kB
PageTables: 5108 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 432684 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= 73528 MiB
End job on node126 at 2010-07-07 22:52:30