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-2700284-1278534589.wbo>
0.00/0.01 c original problem has 2000 variables (1100 bin, 0 int, 0 impl, 900 cont) and 1901 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.00/0.04 c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.05/0.06 c (0.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.05/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.05/0.06 c presolving (3 rounds):
0.05/0.06 c 100 deleted vars, 101 deleted constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.05/0.06 c 1100 implications, 0 cliques
0.05/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 0 impl, 900 cont) and 1800 constraints
0.05/0.06 c 900 constraints of type <indicator>
0.05/0.06 c 900 constraints of type <linear>
0.05/0.06 c transformed objective value is always integral (scale: 1)
0.05/0.06 c Presolving Time: 0.04
0.05/0.06 c - non default parameters ----------------------------------------------------------------------
0.05/0.06 c # SCIP version 1.2.1.2
0.05/0.06 c
0.05/0.06 c # frequency for displaying node information lines
0.05/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.05/0.06 c display/freq = 10000
0.05/0.06 c
0.05/0.06 c # maximal time in seconds to run
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06 c limits/time = 1799.99
0.05/0.06 c
0.05/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.05/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.05/0.06 c limits/memory = 3420
0.05/0.06 c
0.05/0.06 c # should presolving try to simplify inequalities
0.05/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06 c constraints/linear/simplifyinequalities = TRUE
0.05/0.06 c
0.05/0.06 c # should presolving try to simplify knapsacks
0.05/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.05/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.05/0.06 c
0.05/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.05/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.05/0.06 c separating/rapidlearning/freq = 0
0.05/0.06 c
0.05/0.06 c -----------------------------------------------------------------------------------------------
0.05/0.06 c start solving
0.05/0.06 c
0.05/0.07 o 444854
0.05/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.05/0.07 c t 0.0s| 1 | 0 | 0 | - |6459k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.05/0.07 c 0.1s| 1 | 0 | 0 | - |6881k| 0 | 0 |1900 |1800 |1900 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.05/0.07 c 0.1s| 1 | 0 | 44 | - |6927k| 0 | 0 |1900 |1800 |1900 | 77 | 77 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.05/0.07 c 0.1s| 1 | 0 | 122 | - |6973k| 0 | 45 |1900 |1800 |1900 | 119 | 119 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.05/0.08 c 0.1s| 1 | 0 | 178 | - |7099k| 0 | 77 |1900 |1800 |1900 | 173 | 173 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 220 | - |7154k| 0 | 79 |1900 |1800 |1900 | 189 | 189 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 234 | - |7182k| 0 | 83 |1900 |1800 |1900 | 194 | 194 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 257 | - |7209k| 0 | 82 |1900 |1800 |1900 | 196 | 196 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.29/0.35 c 0.3s| 1 | 2 | 401 | - |7261k| 0 | 82 |1900 |1800 |1900 | 196 | 196 | 0 | 33 | 0.000000e+00 | 4.448540e+05 | Inf
12.69/12.73 c 12.5s| 10000 | 10001 | 71880 | 7.2 | 20M| 101 | 42 |1900 |1800 |1900 | 215 | 16k| 0 | 790 | 0.000000e+00 | 4.448540e+05 | Inf
21.59/21.70 c 21.3s| 20000 | 20001 |111915 | 5.6 | 31M| 111 | 5 |1900 |1800 |1900 | 289 | 26k| 0 | 790 | 0.000000e+00 | 4.448540e+05 | Inf
31.09/31.11 c 30.5s| 30000 | 30001 |168739 | 5.6 | 41M| 111 | 0 |1900 |1800 |1900 | 313 | 39k| 0 | 819 | 0.000000e+00 | 4.448540e+05 | Inf
39.99/40.09 c 39.3s| 40000 | 40001 |211127 | 5.3 | 51M| 117 | 0 |1900 |1800 |1900 | 248 | 50k| 0 | 886 | 0.000000e+00 | 4.448540e+05 | Inf
49.29/49.31 c 48.3s| 50000 | 50001 |256906 | 5.1 | 62M| 117 | 0 |1900 |1800 |1900 | 279 | 62k| 0 |1006 | 0.000000e+00 | 4.448540e+05 | Inf
58.49/58.55 c 57.1s| 60000 | 60001 |300996 | 5.0 | 72M| 117 | 0 |1900 |1800 |1900 | 302 | 73k| 0 |1097 | 0.000000e+00 | 4.448540e+05 | Inf
67.98/68.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.98/68.00 c 65.9s| 70000 | 70001 |356773 | 5.1 | 83M| 117 | 0 |1900 |1800 |1900 | 287 | 86k| 0 |1245 | 0.000000e+00 | 4.448540e+05 | Inf
76.79/76.87 c 74.2s| 80000 | 80001 |395570 | 4.9 | 93M| 117 | 7 |1900 |1800 |1900 | 263 | 96k| 0 |1374 | 0.000000e+00 | 4.448540e+05 | Inf
85.59/85.67 c 82.5s| 90000 | 90001 |432397 | 4.8 | 104M| 117 | 16 |1900 |1800 |1900 | 299 | 105k| 0 |1441 | 0.000000e+00 | 4.448540e+05 | Inf
94.59/94.66 c 90.9s|100000 |100001 |475346 | 4.8 | 114M| 117 | 0 |1900 |1800 |1900 | 281 | 116k| 0 |1558 | 0.000000e+00 | 4.448540e+05 | Inf
103.30/103.38 c 99.0s|110000 |110001 |510109 | 4.6 | 125M| 117 | 0 |1900 |1800 |1900 | 280 | 125k| 0 |1625 | 0.000000e+00 | 4.448540e+05 | Inf
111.79/111.84 c 107s|120000 |120001 |540466 | 4.5 | 135M| 133 | 21 |1900 |1800 |1900 | 291 | 133k| 0 |1698 | 0.000000e+00 | 4.448540e+05 | Inf
120.19/120.25 c 115s|130000 |130001 |570027 | 4.4 | 145M| 133 | 23 |1900 |1800 |1900 | 259 | 141k| 0 |1756 | 0.000000e+00 | 4.448540e+05 | Inf
128.39/128.45 c 123s|140000 |140001 |596813 | 4.3 | 156M| 189 | 0 |1900 |1800 |1900 | 282 | 147k| 0 |1797 | 0.000000e+00 | 4.448540e+05 | Inf
136.30/136.40 c 130s|150000 |150001 |620230 | 4.1 | 166M| 189 | 0 |1900 |1800 |1900 | 282 | 153k| 0 |1835 | 0.000000e+00 | 4.448540e+05 | Inf
144.19/144.27 c 137s|160000 |160001 |640513 | 4.0 | 176M| 189 | 2 |1900 |1800 |1900 | 291 | 158k| 0 |1877 | 0.000000e+00 | 4.448540e+05 | Inf
151.90/151.93 c 145s|170000 |170001 |660014 | 3.9 | 186M| 251 | 0 |1900 |1800 |1900 | 291 | 163k| 0 |1905 | 0.000000e+00 | 4.448540e+05 | Inf
159.50/159.59 c 152s|180000 |180001 |680278 | 3.8 | 197M| 251 | 0 |1900 |1800 |1900 | 312 | 168k| 0 |1931 | 0.000000e+00 | 4.448540e+05 | Inf
167.10/167.17 c 159s|190000 |190001 |697582 | 3.7 | 207M| 251 | 0 |1900 |1800 |1900 | 304 | 173k| 0 |1957 | 0.000000e+00 | 4.448540e+05 | Inf
174.80/174.80 c 166s|200000 |200001 |715519 | 3.6 | 217M| 251 | 10 |1900 |1800 |1900 | 284 | 178k| 0 |1982 | 0.000000e+00 | 4.448540e+05 | Inf
182.50/182.54 c 174s|210000 |210001 |734669 | 3.5 | 227M| 251 | 0 |1900 |1800 |1900 | 307 | 183k| 0 |2008 | 0.000000e+00 | 4.448540e+05 | Inf
190.09/190.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.09/190.12 c 181s|220000 |220001 |746716 | 3.4 | 238M| 251 | 0 |1900 |1800 |1900 | 306 | 187k| 0 |2030 | 0.000000e+00 | 4.448540e+05 | Inf
198.09/198.15 c 188s|230000 |230001 |771965 | 3.4 | 248M| 251 | 0 |1900 |1800 |1900 | 327 | 192k| 0 |2074 | 0.000000e+00 | 4.448540e+05 | Inf
205.79/205.81 c 196s|240000 |240001 |788355 | 3.3 | 258M| 251 | 0 |1900 |1800 |1900 | 298 | 196k| 0 |2097 | 0.000000e+00 | 4.448540e+05 | Inf
213.60/213.68 c 203s|250000 |250001 |808265 | 3.2 | 268M| 251 | 30 |1900 |1800 |1900 | 267 | 200k| 0 |2129 | 0.000000e+00 | 4.448540e+05 | Inf
221.40/221.40 c 210s|260000 |260001 |829052 | 3.2 | 279M| 251 | 0 |1900 |1800 |1900 | 285 | 205k| 0 |2155 | 0.000000e+00 | 4.448540e+05 | Inf
229.19/229.20 c 218s|270000 |270001 |851013 | 3.2 | 289M| 251 | 0 |1900 |1800 |1900 | 276 | 211k| 0 |2181 | 0.000000e+00 | 4.448540e+05 | Inf
236.69/236.75 c 225s|280000 |280001 |866691 | 3.1 | 299M| 251 | 0 |1900 |1800 |1900 | 284 | 215k| 0 |2206 | 0.000000e+00 | 4.448540e+05 | Inf
244.20/244.28 c 232s|290000 |290001 |882233 | 3.0 | 309M| 251 | 0 |1900 |1800 |1900 | 302 | 220k| 0 |2231 | 0.000000e+00 | 4.448540e+05 | Inf
252.00/252.05 c 239s|300000 |300001 |902479 | 3.0 | 320M| 251 | 0 |1900 |1800 |1900 | 294 | 225k| 0 |2258 | 0.000000e+00 | 4.448540e+05 | Inf
259.80/259.82 c 247s|310000 |310001 |921848 | 3.0 | 330M| 251 | 14 |1900 |1800 |1900 | 263 | 230k| 0 |2287 | 0.000000e+00 | 4.448540e+05 | Inf
267.79/267.83 c 254s|320000 |320001 |946313 | 3.0 | 340M| 251 | 0 |1900 |1800 |1900 | 295 | 235k| 0 |2314 | 0.000000e+00 | 4.448540e+05 | Inf
275.59/275.60 c 262s|330000 |329999 |965351 | 2.9 | 350M| 251 | 9 |1900 |1802 |1900 | 290 | 240k| 2 |2341 | 0.000000e+00 | 4.448540e+05 | Inf
283.19/283.26 c 269s|340000 |339999 |981882 | 2.9 | 361M| 251 | 0 |1900 |1802 |1900 | 292 | 244k| 2 |2366 | 0.000000e+00 | 4.448540e+05 | Inf
290.69/290.74 c 276s|350000 |349997 |993387 | 2.8 | 371M| 251 | 0 |1900 |1805 |1900 | 279 | 247k| 5 |2390 | 0.000000e+00 | 4.448540e+05 | Inf
298.39/298.44 c 283s|360000 |359997 | 1011k| 2.8 | 381M| 251 | 0 |1900 |1805 |1900 | 281 | 252k| 5 |2418 | 0.000000e+00 | 4.448540e+05 | Inf
306.19/306.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.19/306.28 c 291s|370000 |369997 | 1031k| 2.8 | 391M| 251 | 0 |1900 |1805 |1900 | 294 | 257k| 5 |2446 | 0.000000e+00 | 4.448540e+05 | Inf
313.79/313.89 c 298s|380000 |379997 | 1048k| 2.8 | 402M| 251 | 3 |1900 |1805 |1900 | 286 | 261k| 5 |2466 | 0.000000e+00 | 4.448540e+05 | Inf
321.59/321.64 c 305s|390000 |389997 | 1066k| 2.7 | 412M| 251 | 0 |1900 |1805 |1900 | 317 | 266k| 5 |2494 | 0.000000e+00 | 4.448540e+05 | Inf
329.30/329.39 c 313s|400000 |399997 | 1086k| 2.7 | 422M| 251 | 0 |1900 |1805 |1900 | 332 | 271k| 5 |2519 | 0.000000e+00 | 4.448540e+05 | Inf
337.19/337.20 c 320s|410000 |409997 | 1105k| 2.7 | 432M| 251 | 0 |1900 |1805 |1900 | 321 | 275k| 5 |2542 | 0.000000e+00 | 4.448540e+05 | Inf
345.00/345.05 c 327s|420000 |419997 | 1124k| 2.7 | 443M| 251 | 0 |1900 |1805 |1900 | 296 | 279k| 5 |2565 | 0.000000e+00 | 4.448540e+05 | Inf
352.70/352.76 c 335s|430000 |429997 | 1142k| 2.7 | 453M| 251 | 0 |1900 |1805 |1900 | 295 | 283k| 5 |2580 | 0.000000e+00 | 4.448540e+05 | Inf
360.50/360.51 c 342s|440000 |439997 | 1161k| 2.6 | 463M| 251 | 0 |1900 |1805 |1900 | 282 | 289k| 5 |2610 | 0.000000e+00 | 4.448540e+05 | Inf
368.20/368.21 c 349s|450000 |449997 | 1180k| 2.6 | 473M| 251 | 0 |1900 |1805 |1900 | 286 | 293k| 5 |2629 | 0.000000e+00 | 4.448540e+05 | Inf
375.80/375.83 c 356s|460000 |459997 | 1197k| 2.6 | 484M| 251 | 0 |1900 |1805 |1900 | 272 | 298k| 5 |2648 | 0.000000e+00 | 4.448540e+05 | Inf
383.50/383.51 c 364s|470000 |469997 | 1215k| 2.6 | 494M| 251 | 5 |1900 |1805 |1900 | 307 | 303k| 5 |2676 | 0.000000e+00 | 4.448540e+05 | Inf
391.00/391.09 c 371s|480000 |479997 | 1232k| 2.6 | 504M| 251 | 0 |1900 |1805 |1900 | 303 | 308k| 5 |2701 | 0.000000e+00 | 4.448540e+05 | Inf
398.80/398.80 c 378s|490000 |489997 | 1251k| 2.6 | 514M| 251 | 0 |1900 |1805 |1900 | 300 | 313k| 5 |2727 | 0.000000e+00 | 4.448540e+05 | Inf
406.69/406.72 c 386s|500000 |499993 | 1272k| 2.5 | 525M| 251 | 0 |1900 |1813 |1900 | 293 | 317k| 13 |2754 | 0.000000e+00 | 4.448540e+05 | Inf
414.40/414.49 c 393s|510000 |509993 | 1290k| 2.5 | 535M| 251 | 0 |1900 |1813 |1900 | 287 | 321k| 13 |2779 | 0.000000e+00 | 4.448540e+05 | Inf
422.19/422.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
422.19/422.27 c 400s|520000 |519993 | 1310k| 2.5 | 545M| 251 | 0 |1900 |1813 |1900 | 263 | 326k| 13 |2803 | 0.000000e+00 | 4.448540e+05 | Inf
429.80/429.87 c 408s|530000 |529993 | 1324k| 2.5 | 555M| 251 | 15 |1900 |1813 |1900 | 249 | 329k| 13 |2828 | 0.000000e+00 | 4.448540e+05 | Inf
437.10/437.20 c 415s|540000 |539993 | 1335k| 2.5 | 566M| 251 | 0 |1900 |1813 |1900 | 285 | 333k| 13 |2844 | 0.000000e+00 | 4.448540e+05 | Inf
444.30/444.39 c 421s|550000 |549993 | 1345k| 2.4 | 576M| 251 | 0 |1900 |1813 |1900 | 270 | 337k| 13 |2846 | 0.000000e+00 | 4.448540e+05 | Inf
451.80/451.87 c 428s|560000 |559993 | 1358k| 2.4 | 586M| 251 | 12 |1900 |1813 |1900 | 279 | 341k| 13 |2871 | 0.000000e+00 | 4.448540e+05 | Inf
459.20/459.28 c 435s|570000 |569993 | 1371k| 2.4 | 596M| 251 | 0 |1900 |1813 |1900 | 274 | 345k| 13 |2877 | 0.000000e+00 | 4.448540e+05 | Inf
466.70/466.77 c 443s|580000 |579993 | 1384k| 2.4 | 606M| 251 | 0 |1900 |1813 |1900 | 262 | 349k| 13 |2898 | 0.000000e+00 | 4.448540e+05 | Inf
474.30/474.35 c 450s|590000 |589993 | 1399k| 2.4 | 617M| 251 | 0 |1900 |1813 |1900 | 286 | 353k| 13 |2927 | 0.000000e+00 | 4.448540e+05 | Inf
481.90/481.97 c 457s|600000 |599993 | 1415k| 2.4 | 627M| 251 | 0 |1900 |1813 |1900 | 267 | 357k| 13 |2941 | 0.000000e+00 | 4.448540e+05 | Inf
489.50/489.57 c 464s|610000 |609993 | 1429k| 2.3 | 637M| 251 | 0 |1900 |1812 |1900 | 312 | 360k| 13 |2953 | 0.000000e+00 | 4.448540e+05 | Inf
496.80/496.89 c 471s|620000 |619993 | 1440k| 2.3 | 647M| 251 | 0 |1900 |1811 |1900 | 308 | 363k| 13 |2973 | 0.000000e+00 | 4.448540e+05 | Inf
504.30/504.33 c 478s|630000 |629993 | 1452k| 2.3 | 657M| 251 | 0 |1900 |1811 |1900 | 251 | 366k| 13 |2977 | 0.000000e+00 | 4.448540e+05 | Inf
511.70/511.77 c 485s|640000 |639993 | 1465k| 2.3 | 667M| 251 | 0 |1900 |1811 |1900 | 278 | 371k| 13 |3000 | 0.000000e+00 | 4.448540e+05 | Inf
519.11/519.16 c 492s|650000 |649993 | 1478k| 2.3 | 678M| 251 | 0 |1900 |1811 |1900 | 293 | 375k| 13 |3020 | 0.000000e+00 | 4.448540e+05 | Inf
526.50/526.59 c 499s|660000 |659993 | 1492k| 2.3 | 688M| 251 | 0 |1900 |1810 |1900 | 305 | 379k| 13 |3025 | 0.000000e+00 | 4.448540e+05 | Inf
533.80/533.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.80/533.85 c 506s|670000 |669993 | 1501k| 2.2 | 698M| 251 | 0 |1900 |1810 |1900 | 266 | 382k| 13 |3049 | 0.000000e+00 | 4.448540e+05 | Inf
541.61/541.66 c 513s|680000 |679993 | 1521k| 2.2 | 708M| 251 | 0 |1900 |1810 |1900 | 327 | 386k| 13 |3068 | 0.000000e+00 | 4.448540e+05 | Inf
549.00/549.09 c 520s|690000 |689993 | 1533k| 2.2 | 718M| 251 | 0 |1900 |1810 |1900 | 289 | 390k| 13 |3069 | 0.000000e+00 | 4.448540e+05 | Inf
556.61/556.64 c 527s|700000 |699993 | 1549k| 2.2 | 729M| 251 | 24 |1900 |1810 |1900 | 243 | 394k| 13 |3091 | 0.000000e+00 | 4.448540e+05 | Inf
564.31/564.37 c 535s|710000 |709993 | 1567k| 2.2 | 739M| 251 | 0 |1900 |1810 |1900 | 277 | 399k| 13 |3109 | 0.000000e+00 | 4.448540e+05 | Inf
571.70/571.79 c 542s|720000 |719993 | 1580k| 2.2 | 749M| 251 | 0 |1900 |1810 |1900 | 273 | 402k| 13 |3122 | 0.000000e+00 | 4.448540e+05 | Inf
579.10/579.19 c 549s|730000 |729993 | 1592k| 2.2 | 759M| 251 | 15 |1900 |1810 |1900 | 270 | 406k| 13 |3131 | 0.000000e+00 | 4.448540e+05 | Inf
586.60/586.65 c 556s|740000 |739993 | 1606k| 2.2 | 769M| 251 | 0 |1900 |1810 |1900 | 289 | 410k| 13 |3153 | 0.000000e+00 | 4.448540e+05 | Inf
594.30/594.33 c 563s|750000 |749993 | 1622k| 2.2 | 780M| 251 | 0 |1900 |1810 |1900 | 276 | 414k| 13 |3174 | 0.000000e+00 | 4.448540e+05 | Inf
602.00/602.01 c 570s|760000 |759993 | 1639k| 2.2 | 790M| 251 | 0 |1900 |1810 |1900 | 296 | 418k| 13 |3179 | 0.000000e+00 | 4.448540e+05 | Inf
609.71/609.76 c 578s|770000 |769993 | 1656k| 2.2 | 800M| 251 | 0 |1900 |1810 |1900 | 295 | 421k| 13 |3202 | 0.000000e+00 | 4.448540e+05 | Inf
617.30/617.34 c 585s|780000 |779993 | 1673k| 2.1 | 810M| 251 | 0 |1900 |1810 |1900 | 314 | 425k| 13 |3225 | 0.000000e+00 | 4.448540e+05 | Inf
624.81/624.89 c 592s|790000 |789993 | 1688k| 2.1 | 820M| 251 | 0 |1900 |1810 |1900 | 287 | 430k| 13 |3247 | 0.000000e+00 | 4.448540e+05 | Inf
632.60/632.61 c 599s|800000 |799993 | 1706k| 2.1 | 831M| 251 | 0 |1900 |1810 |1900 | 275 | 434k| 13 |3261 | 0.000000e+00 | 4.448540e+05 | Inf
640.00/640.04 c 606s|810000 |809993 | 1719k| 2.1 | 841M| 251 | 0 |1900 |1810 |1900 | 286 | 437k| 13 |3271 | 0.000000e+00 | 4.448540e+05 | Inf
647.61/647.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.61/647.69 c 613s|820000 |819993 | 1734k| 2.1 | 851M| 251 | 0 |1900 |1810 |1900 | 290 | 441k| 13 |3293 | 0.000000e+00 | 4.448540e+05 | Inf
655.20/655.22 c 621s|830000 |829993 | 1749k| 2.1 | 861M| 251 | 0 |1900 |1810 |1900 | 267 | 445k| 13 |3312 | 0.000000e+00 | 4.448540e+05 | Inf
662.71/662.78 c 628s|840000 |839993 | 1764k| 2.1 | 871M| 251 | 0 |1900 |1810 |1900 | 281 | 449k| 13 |3316 | 0.000000e+00 | 4.448540e+05 | Inf
670.30/670.35 c 635s|850000 |849991 | 1782k| 2.1 | 882M| 251 | 0 |1900 |1811 |1900 | 291 | 455k| 14 |3337 | 0.000000e+00 | 4.448540e+05 | Inf
677.71/677.73 c 642s|860000 |859991 | 1794k| 2.1 | 892M| 251 | 0 |1900 |1811 |1900 | 270 | 457k| 14 |3358 | 0.000000e+00 | 4.448540e+05 | Inf
685.31/685.32 c 649s|870000 |869991 | 1811k| 2.1 | 902M| 251 | 13 |1900 |1811 |1900 | 285 | 462k| 14 |3369 | 0.000000e+00 | 4.448540e+05 | Inf
693.01/693.03 c 656s|880000 |879991 | 1827k| 2.1 | 912M| 251 | 0 |1900 |1811 |1900 | 247 | 465k| 14 |3380 | 0.000000e+00 | 4.448540e+05 | Inf
700.71/700.73 c 664s|890000 |889991 | 1846k| 2.1 | 922M| 251 | 0 |1900 |1811 |1900 | 233 | 469k| 14 |3402 | 0.000000e+00 | 4.448540e+05 | Inf
708.41/708.46 c 671s|900000 |899991 | 1864k| 2.1 | 932M| 251 | 0 |1900 |1811 |1900 | 298 | 472k| 14 |3423 | 0.000000e+00 | 4.448540e+05 | Inf
716.01/716.05 c 678s|910000 |909991 | 1880k| 2.1 | 943M| 251 | 0 |1900 |1811 |1900 | 296 | 475k| 14 |3440 | 0.000000e+00 | 4.448540e+05 | Inf
723.50/723.50 c 685s|920000 |919991 | 1892k| 2.1 | 953M| 251 | 0 |1900 |1810 |1900 | 274 | 478k| 14 |3448 | 0.000000e+00 | 4.448540e+05 | Inf
730.81/730.87 c 692s|930000 |929991 | 1900k| 2.0 | 963M| 295 | 0 |1900 |1810 |1900 | 281 | 480k| 14 |3448 | 0.000000e+00 | 4.448540e+05 | Inf
738.21/738.22 c 699s|940000 |939991 | 1907k| 2.0 | 973M| 309 | 0 |1900 |1810 |1900 | 297 | 482k| 14 |3465 | 0.000000e+00 | 4.448540e+05 | Inf
745.40/745.48 c 706s|950000 |949991 | 1915k| 2.0 | 983M| 309 | 0 |1900 |1810 |1900 | 312 | 485k| 14 |3466 | 0.000000e+00 | 4.448540e+05 | Inf
752.81/752.83 c 713s|960000 |959991 | 1928k| 2.0 | 993M| 309 | 0 |1900 |1810 |1900 | 279 | 488k| 14 |3485 | 0.000000e+00 | 4.448540e+05 | Inf
760.01/760.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
760.01/760.05 c 720s|970000 |969991 | 1938k| 2.0 |1003M| 309 | 0 |1900 |1810 |1900 | 308 | 491k| 14 |3485 | 0.000000e+00 | 4.448540e+05 | Inf
767.30/767.38 c 727s|980000 |979991 | 1950k| 2.0 |1014M| 309 | 0 |1900 |1810 |1900 | 286 | 495k| 14 |3503 | 0.000000e+00 | 4.448540e+05 | Inf
774.61/774.62 c 734s|990000 |989991 | 1960k| 2.0 |1024M| 309 | 0 |1900 |1810 |1900 | 283 | 497k| 14 |3503 | 0.000000e+00 | 4.448540e+05 | Inf
781.91/781.90 c 741s| 1000k|999991 | 1970k| 2.0 |1034M| 309 | 5 |1900 |1810 |1900 | 305 | 500k| 14 |3523 | 0.000000e+00 | 4.448540e+05 | Inf
789.20/789.27 c 748s| 1010k| 1009k| 1985k| 2.0 |1044M| 309 | 0 |1900 |1810 |1900 | 270 | 504k| 14 |3524 | 0.000000e+00 | 4.448540e+05 | Inf
796.81/796.82 c 755s| 1020k| 1019k| 2003k| 2.0 |1054M| 309 | 0 |1900 |1810 |1900 | 288 | 508k| 14 |3545 | 0.000000e+00 | 4.448540e+05 | Inf
804.21/804.25 c 762s| 1030k| 1029k| 2018k| 2.0 |1064M| 309 | 0 |1900 |1810 |1900 | 329 | 512k| 14 |3566 | 0.000000e+00 | 4.448540e+05 | Inf
811.71/811.74 c 769s| 1040k| 1039k| 2033k| 2.0 |1075M| 309 | 0 |1900 |1810 |1900 | 274 | 516k| 14 |3567 | 0.000000e+00 | 4.448540e+05 | Inf
818.91/818.96 c 776s| 1050k| 1049k| 2042k| 1.9 |1085M| 309 | 0 |1900 |1810 |1900 | 321 | 518k| 14 |3590 | 0.000000e+00 | 4.448540e+05 | Inf
826.11/826.17 c 782s| 1060k| 1059k| 2053k| 1.9 |1095M| 309 | 0 |1900 |1810 |1900 | 310 | 521k| 14 |3590 | 0.000000e+00 | 4.448540e+05 | Inf
833.61/833.64 c 789s| 1070k| 1069k| 2066k| 1.9 |1105M| 309 | 0 |1900 |1810 |1900 | 260 | 525k| 14 |3611 | 0.000000e+00 | 4.448540e+05 | Inf
840.91/840.92 c 796s| 1080k| 1079k| 2078k| 1.9 |1115M| 309 | 0 |1900 |1810 |1900 | 278 | 527k| 14 |3611 | 0.000000e+00 | 4.448540e+05 | Inf
848.12/848.13 c 803s| 1090k| 1089k| 2086k| 1.9 |1125M| 309 | 0 |1900 |1810 |1900 | 288 | 530k| 14 |3627 | 0.000000e+00 | 4.448540e+05 | Inf
855.41/855.47 c 810s| 1100k| 1099k| 2096k| 1.9 |1136M| 309 | 0 |1900 |1810 |1900 | 298 | 533k| 14 |3627 | 0.000000e+00 | 4.448540e+05 | Inf
862.91/862.91 c 817s| 1110k| 1109k| 2111k| 1.9 |1146M| 309 | 0 |1900 |1810 |1900 | 267 | 537k| 14 |3645 | 0.000000e+00 | 4.448540e+05 | Inf
870.01/870.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.01/870.04 c 824s| 1120k| 1119k| 2119k| 1.9 |1156M| 309 | 0 |1900 |1810 |1900 | 266 | 540k| 14 |3645 | 0.000000e+00 | 4.448540e+05 | Inf
877.41/877.41 c 831s| 1130k| 1129k| 2131k| 1.9 |1166M| 309 | 11 |1900 |1814 |1900 | 209 | 542k| 18 |3662 | 0.000000e+00 | 4.448540e+05 | Inf
884.61/884.63 c 838s| 1140k| 1139k| 2141k| 1.9 |1176M| 309 | 0 |1900 |1814 |1900 | 284 | 545k| 18 |3662 | 0.000000e+00 | 4.448540e+05 | Inf
891.81/891.88 c 845s| 1150k| 1149k| 2151k| 1.9 |1186M| 309 | 0 |1900 |1813 |1900 | 267 | 548k| 18 |3682 | 0.000000e+00 | 4.448540e+05 | Inf
899.01/899.02 c 851s| 1160k| 1159k| 2161k| 1.9 |1197M| 309 | 0 |1900 |1813 |1900 | 302 | 551k| 18 |3683 | 0.000000e+00 | 4.448540e+05 | Inf
906.71/906.71 c 859s| 1170k| 1169k| 2179k| 1.9 |1207M| 309 | 0 |1900 |1813 |1900 | 333 | 555k| 18 |3704 | 0.000000e+00 | 4.448540e+05 | Inf
914.32/914.32 c 866s| 1180k| 1179k| 2195k| 1.9 |1217M| 309 | 0 |1900 |1813 |1900 | 311 | 558k| 18 |3712 | 0.000000e+00 | 4.448540e+05 | Inf
922.31/922.32 c 873s| 1190k| 1189k| 2217k| 1.9 |1227M| 309 | 0 |1900 |1813 |1900 | 312 | 562k| 18 |3724 | 0.000000e+00 | 4.448540e+05 | Inf
929.61/929.61 c 880s| 1200k| 1199k| 2228k| 1.9 |1237M| 309 | 0 |1900 |1813 |1900 | 303 | 565k| 18 |3744 | 0.000000e+00 | 4.448540e+05 | Inf
936.91/936.91 c 887s| 1210k| 1209k| 2240k| 1.9 |1248M| 309 | 0 |1900 |1813 |1900 | 310 | 568k| 18 |3750 | 0.000000e+00 | 4.448540e+05 | Inf
944.41/944.45 c 894s| 1220k| 1219k| 2257k| 1.9 |1258M| 309 | 0 |1900 |1813 |1900 | 310 | 572k| 18 |3763 | 0.000000e+00 | 4.448540e+05 | Inf
951.92/951.99 c 901s| 1230k| 1229k| 2272k| 1.8 |1268M| 309 | 0 |1900 |1813 |1900 | 293 | 575k| 18 |3783 | 0.000000e+00 | 4.448540e+05 | Inf
959.31/959.38 c 908s| 1240k| 1239k| 2285k| 1.8 |1278M| 309 | 0 |1900 |1813 |1900 | 314 | 579k| 18 |3788 | 0.000000e+00 | 4.448540e+05 | Inf
966.71/966.78 c 915s| 1250k| 1249k| 2298k| 1.8 |1288M| 309 | 0 |1900 |1812 |1900 | 270 | 582k| 18 |3805 | 0.000000e+00 | 4.448540e+05 | Inf
974.01/974.09 c 922s| 1260k| 1259k| 2313k| 1.8 |1299M| 309 | 0 |1900 |1812 |1900 | 294 | 587k| 18 |3825 | 0.000000e+00 | 4.448540e+05 | Inf
981.41/981.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
981.41/981.42 c 929s| 1270k| 1269k| 2328k| 1.8 |1309M| 309 | 0 |1900 |1811 |1900 | 306 | 592k| 18 |3828 | 0.000000e+00 | 4.448540e+05 | Inf
988.71/988.70 c 936s| 1280k| 1279k| 2338k| 1.8 |1319M| 309 | 0 |1900 |1811 |1900 | 306 | 595k| 18 |3849 | 0.000000e+00 | 4.448540e+05 | Inf
995.81/995.87 c 942s| 1290k| 1289k| 2347k| 1.8 |1329M| 309 | 11 |1900 |1810 |1900 | 274 | 598k| 18 |3849 | 0.000000e+00 | 4.448540e+05 | Inf
1003.32/1003.31 c 949s| 1300k| 1299k| 2360k| 1.8 |1339M| 309 | 0 |1900 |1810 |1900 | 288 | 601k| 18 |3867 | 0.000000e+00 | 4.448540e+05 | Inf
1010.52/1010.59 c 956s| 1310k| 1309k| 2370k| 1.8 |1349M| 309 | 0 |1900 |1810 |1900 | 298 | 604k| 18 |3867 | 0.000000e+00 | 4.448540e+05 | Inf
1017.91/1017.98 c 963s| 1320k| 1319k| 2379k| 1.8 |1360M| 309 | 0 |1900 |1808 |1900 | 302 | 607k| 18 |3889 | 0.000000e+00 | 4.448540e+05 | Inf
1025.22/1025.24 c 970s| 1330k| 1329k| 2390k| 1.8 |1370M| 309 | 0 |1900 |1808 |1900 | 328 | 610k| 18 |3890 | 0.000000e+00 | 4.448540e+05 | Inf
1032.71/1032.77 c 977s| 1340k| 1339k| 2403k| 1.8 |1380M| 309 | 0 |1900 |1808 |1900 | 325 | 612k| 18 |3910 | 0.000000e+00 | 4.448540e+05 | Inf
1040.11/1040.13 c 984s| 1350k| 1349k| 2416k| 1.8 |1390M| 309 | 0 |1900 |1808 |1900 | 320 | 616k| 18 |3910 | 0.000000e+00 | 4.448540e+05 | Inf
1047.62/1047.65 c 991s| 1360k| 1359k| 2434k| 1.8 |1400M| 309 | 0 |1900 |1808 |1900 | 288 | 622k| 18 |3927 | 0.000000e+00 | 4.448540e+05 | Inf
1055.02/1055.01 c 998s| 1370k| 1369k| 2448k| 1.8 |1411M| 309 | 0 |1900 |1808 |1900 | 278 | 627k| 18 |3941 | 0.000000e+00 | 4.448540e+05 | Inf
1062.02/1062.09 c 1005s| 1380k| 1379k| 2453k| 1.8 |1421M| 309 | 0 |1900 |1807 |1900 | 298 | 628k| 18 |3944 | 0.000000e+00 | 4.448540e+05 | Inf
1069.52/1069.56 c 1012s| 1390k| 1389k| 2466k| 1.8 |1431M| 309 | 0 |1900 |1807 |1900 | 298 | 631k| 18 |3948 | 0.000000e+00 | 4.448540e+05 | Inf
1076.82/1076.89 c 1019s| 1400k| 1399k| 2476k| 1.8 |1441M| 309 | 0 |1900 |1807 |1900 | 300 | 634k| 18 |3966 | 0.000000e+00 | 4.448540e+05 | Inf
1084.12/1084.15 c 1025s| 1410k| 1409k| 2484k| 1.8 |1451M| 309 | 0 |1900 |1807 |1900 | 269 | 637k| 18 |3972 | 0.000000e+00 | 4.448540e+05 | Inf
1091.42/1091.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.42/1091.47 c 1032s| 1420k| 1419k| 2495k| 1.8 |1462M| 309 | 0 |1900 |1807 |1900 | 313 | 640k| 18 |3980 | 0.000000e+00 | 4.448540e+05 | Inf
1098.72/1098.75 c 1039s| 1430k| 1429k| 2505k| 1.8 |1472M| 309 | 0 |1900 |1809 |1900 | 273 | 643k| 20 |3996 | 0.000000e+00 | 4.448540e+05 | Inf
1106.32/1106.31 c 1046s| 1440k| 1439k| 2521k| 1.8 |1482M| 309 | 0 |1900 |1809 |1900 | 274 | 647k| 20 |4009 | 0.000000e+00 | 4.448540e+05 | Inf
1113.51/1113.50 c 1053s| 1450k| 1449k| 2530k| 1.7 |1492M| 309 | 0 |1900 |1809 |1900 | 302 | 650k| 20 |4019 | 0.000000e+00 | 4.448540e+05 | Inf
1120.72/1120.76 c 1060s| 1460k| 1459k| 2540k| 1.7 |1502M| 309 | 0 |1900 |1809 |1900 | 284 | 652k| 21 |4019 | 0.000000e+00 | 4.448540e+05 | Inf
1128.12/1128.15 c 1067s| 1470k| 1469k| 2548k| 1.7 |1512M| 309 | 0 |1900 |1809 |1900 | 301 | 655k| 21 |4034 | 0.000000e+00 | 4.448540e+05 | Inf
1135.23/1135.26 c 1074s| 1480k| 1479k| 2555k| 1.7 |1522M| 309 | 0 |1900 |1809 |1900 | 241 | 656k| 21 |4037 | 0.000000e+00 | 4.448540e+05 | Inf
1142.32/1142.31 c 1080s| 1490k| 1489k| 2563k| 1.7 |1533M| 309 | 5 |1900 |1809 |1900 | 251 | 659k| 21 |4037 | 0.000000e+00 | 4.448540e+05 | Inf
1149.31/1149.35 c 1087s| 1500k| 1499k| 2571k| 1.7 |1543M| 309 | 0 |1900 |1809 |1900 | 307 | 662k| 21 |4056 | 0.000000e+00 | 4.448540e+05 | Inf
1156.72/1156.77 c 1094s| 1510k| 1509k| 2587k| 1.7 |1553M| 309 | 0 |1900 |1809 |1900 | 320 | 666k| 21 |4066 | 0.000000e+00 | 4.448540e+05 | Inf
1164.02/1164.04 c 1101s| 1520k| 1519k| 2597k| 1.7 |1563M| 309 | 0 |1900 |1809 |1900 | 305 | 669k| 21 |4075 | 0.000000e+00 | 4.448540e+05 | Inf
1171.31/1171.34 c 1108s| 1530k| 1529k| 2610k| 1.7 |1573M| 309 | 0 |1900 |1809 |1900 | 323 | 673k| 21 |4075 | 0.000000e+00 | 4.448540e+05 | Inf
1178.62/1178.62 c 1114s| 1540k| 1539k| 2623k| 1.7 |1583M| 309 | 0 |1900 |1809 |1900 | 266 | 677k| 21 |4091 | 0.000000e+00 | 4.448540e+05 | Inf
1185.83/1185.89 c 1121s| 1550k| 1549k| 2633k| 1.7 |1594M| 309 | 0 |1900 |1808 |1900 | 299 | 680k| 21 |4094 | 0.000000e+00 | 4.448540e+05 | Inf
1193.52/1193.51 c 1128s| 1560k| 1559k| 2651k| 1.7 |1604M| 309 | 0 |1900 |1809 |1900 | 262 | 685k| 22 |4113 | 0.000000e+00 | 4.448540e+05 | Inf
1201.23/1201.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1201.23/1201.26 c 1136s| 1570k| 1569k| 2669k| 1.7 |1614M| 309 | 0 |1900 |1809 |1900 | 315 | 689k| 22 |4133 | 0.000000e+00 | 4.448540e+05 | Inf
1208.83/1208.81 c 1143s| 1580k| 1579k| 2686k| 1.7 |1624M| 309 | 0 |1900 |1808 |1900 | 276 | 694k| 22 |4149 | 0.000000e+00 | 4.448540e+05 | Inf
1216.82/1216.80 c 1150s| 1590k| 1589k| 2709k| 1.7 |1634M| 309 | 0 |1900 |1808 |1900 | 262 | 698k| 22 |4167 | 0.000000e+00 | 4.448540e+05 | Inf
1224.42/1224.41 c 1157s| 1600k| 1599k| 2726k| 1.7 |1644M| 309 | 0 |1900 |1808 |1900 | 238 | 702k| 22 |4175 | 0.000000e+00 | 4.448540e+05 | Inf
1231.93/1231.97 c 1164s| 1610k| 1609k| 2742k| 1.7 |1655M| 309 | 7 |1900 |1808 |1900 | 281 | 706k| 22 |4191 | 0.000000e+00 | 4.448540e+05 | Inf
1239.42/1239.49 c 1172s| 1620k| 1619k| 2760k| 1.7 |1665M| 309 | 0 |1900 |1808 |1900 | 296 | 712k| 22 |4209 | 0.000000e+00 | 4.448540e+05 | Inf
1246.82/1246.88 c 1179s| 1630k| 1629k| 2772k| 1.7 |1675M| 309 | 0 |1900 |1808 |1900 | 257 | 715k| 22 |4213 | 0.000000e+00 | 4.448540e+05 | Inf
1254.32/1254.35 c 1186s| 1640k| 1639k| 2785k| 1.7 |1685M| 309 | 0 |1900 |1808 |1900 | 259 | 717k| 22 |4229 | 0.000000e+00 | 4.448540e+05 | Inf
1261.62/1261.69 c 1192s| 1650k| 1649k| 2798k| 1.7 |1695M| 309 | 0 |1900 |1807 |1900 | 297 | 721k| 22 |4231 | 0.000000e+00 | 4.448540e+05 | Inf
1268.93/1268.95 c 1199s| 1660k| 1659k| 2810k| 1.7 |1705M| 309 | 0 |1900 |1806 |1900 | 268 | 724k| 22 |4248 | 0.000000e+00 | 4.448540e+05 | Inf
1276.22/1276.27 c 1206s| 1670k| 1669k| 2823k| 1.7 |1716M| 309 | 0 |1900 |1806 |1900 | 307 | 728k| 22 |4248 | 0.000000e+00 | 4.448540e+05 | Inf
1283.63/1283.62 c 1213s| 1680k| 1679k| 2835k| 1.7 |1726M| 309 | 0 |1900 |1806 |1900 | 280 | 731k| 22 |4264 | 0.000000e+00 | 4.448540e+05 | Inf
1290.93/1290.96 c 1220s| 1690k| 1689k| 2848k| 1.7 |1736M| 309 | 0 |1900 |1806 |1900 | 269 | 734k| 22 |4267 | 0.000000e+00 | 4.448540e+05 | Inf
1298.82/1298.82 c 1227s| 1700k| 1699k| 2867k| 1.7 |1746M| 309 | 0 |1900 |1806 |1900 | 294 | 738k| 22 |4281 | 0.000000e+00 | 4.448540e+05 | Inf
1306.33/1306.33 c 1234s| 1710k| 1709k| 2881k| 1.7 |1756M| 309 | 0 |1900 |1806 |1900 | 261 | 741k| 22 |4300 | 0.000000e+00 | 4.448540e+05 | Inf
1313.32/1313.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1313.32/1313.37 c 1241s| 1720k| 1719k| 2886k| 1.7 |1766M| 309 | 0 |1900 |1806 |1900 | 280 | 742k| 22 |4300 | 0.000000e+00 | 4.448540e+05 | Inf
1320.72/1320.70 c 1248s| 1730k| 1729k| 2899k| 1.7 |1777M| 309 | 0 |1900 |1805 |1900 | 290 | 746k| 22 |4315 | 0.000000e+00 | 4.448540e+05 | Inf
1328.12/1328.17 c 1255s| 1740k| 1739k| 2912k| 1.7 |1787M| 309 | 0 |1900 |1805 |1900 | 271 | 749k| 22 |4317 | 0.000000e+00 | 4.448540e+05 | Inf
1335.43/1335.44 c 1262s| 1750k| 1749k| 2922k| 1.7 |1797M| 309 | 0 |1900 |1805 |1900 | 261 | 752k| 22 |4325 | 0.000000e+00 | 4.448540e+05 | Inf
1342.62/1342.61 c 1269s| 1760k| 1759k| 2929k| 1.7 |1807M| 309 | 0 |1900 |1805 |1900 | 284 | 754k| 22 |4334 | 0.000000e+00 | 4.448540e+05 | Inf
1349.82/1349.84 c 1275s| 1770k| 1769k| 2940k| 1.7 |1817M| 309 | 0 |1900 |1805 |1900 | 299 | 757k| 22 |4334 | 0.000000e+00 | 4.448540e+05 | Inf
1357.12/1357.18 c 1282s| 1780k| 1779k| 2952k| 1.7 |1827M| 311 | 0 |1900 |1805 |1900 | 288 | 760k| 22 |4351 | 0.000000e+00 | 4.448540e+05 | Inf
1364.42/1364.44 c 1289s| 1790k| 1789k| 2963k| 1.7 |1838M| 311 | 0 |1900 |1807 |1900 | 303 | 763k| 24 |4351 | 0.000000e+00 | 4.448540e+05 | Inf
1372.13/1372.12 c 1296s| 1800k| 1799k| 2983k| 1.7 |1848M| 311 | 0 |1900 |1807 |1900 | 288 | 767k| 24 |4368 | 0.000000e+00 | 4.448540e+05 | Inf
1379.32/1379.35 c 1303s| 1810k| 1809k| 2995k| 1.7 |1858M| 311 | 0 |1900 |1806 |1900 | 273 | 771k| 24 |4371 | 0.000000e+00 | 4.448540e+05 | Inf
1386.63/1386.69 c 1310s| 1820k| 1819k| 3006k| 1.7 |1868M| 311 | 2 |1900 |1806 |1900 | 270 | 774k| 24 |4386 | 0.000000e+00 | 4.448540e+05 | Inf
1393.93/1393.90 c 1317s| 1830k| 1829k| 3017k| 1.6 |1878M| 311 | 0 |1900 |1806 |1900 | 319 | 777k| 24 |4388 | 0.000000e+00 | 4.448540e+05 | Inf
1401.02/1401.03 c 1324s| 1840k| 1839k| 3024k| 1.6 |1888M| 311 | 2 |1900 |1806 |1900 | 273 | 779k| 24 |4404 | 0.000000e+00 | 4.448540e+05 | Inf
1408.33/1408.35 c 1331s| 1850k| 1849k| 3038k| 1.6 |1899M| 311 | 0 |1900 |1806 |1900 | 285 | 783k| 24 |4404 | 0.000000e+00 | 4.448540e+05 | Inf
1415.53/1415.50 c 1337s| 1860k| 1859k| 3044k| 1.6 |1909M| 311 | 0 |1900 |1806 |1900 | 283 | 784k| 24 |4418 | 0.000000e+00 | 4.448540e+05 | Inf
1422.82/1422.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.82/1422.80 c 1344s| 1870k| 1869k| 3055k| 1.6 |1919M| 311 | 0 |1900 |1806 |1900 | 262 | 787k| 24 |4423 | 0.000000e+00 | 4.448540e+05 | Inf
1431.14/1431.13 c 1352s| 1880k| 1879k| 3085k| 1.6 |1929M| 311 | 22 |1900 |1806 |1900 | 297 | 791k| 24 |4443 | 0.000000e+00 | 4.448540e+05 | Inf
1439.12/1439.16 c 1359s| 1890k| 1889k| 3108k| 1.6 |1939M| 311 | 0 |1900 |1806 |1900 | 294 | 795k| 24 |4465 | 0.000000e+00 | 4.448540e+05 | Inf
1446.92/1446.96 c 1367s| 1900k| 1899k| 3127k| 1.6 |1950M| 311 | 0 |1900 |1806 |1900 | 315 | 798k| 24 |4486 | 0.000000e+00 | 4.448540e+05 | Inf
1454.83/1454.85 c 1374s| 1910k| 1909k| 3146k| 1.6 |1960M| 311 | 26 |1900 |1806 |1900 | 295 | 802k| 24 |4497 | 0.000000e+00 | 4.448540e+05 | Inf
1462.63/1462.62 c 1381s| 1920k| 1919k| 3165k| 1.6 |1970M| 311 | 0 |1900 |1806 |1900 | 339 | 806k| 24 |4509 | 0.000000e+00 | 4.448540e+05 | Inf
1470.63/1470.62 c 1389s| 1930k| 1929k| 3187k| 1.7 |1980M| 311 | 2 |1900 |1806 |1900 | 308 | 810k| 24 |4530 | 0.000000e+00 | 4.448540e+05 | Inf
1478.53/1478.55 c 1396s| 1940k| 1939k| 3206k| 1.7 |1990M| 311 | 0 |1900 |1805 |1900 | 301 | 813k| 24 |4551 | 0.000000e+00 | 4.448540e+05 | Inf
1486.53/1486.53 c 1404s| 1950k| 1949k| 3227k| 1.7 |2001M| 311 | 0 |1900 |1805 |1900 | 267 | 816k| 24 |4560 | 0.000000e+00 | 4.448540e+05 | Inf
1494.43/1494.42 c 1411s| 1960k| 1959k| 3248k| 1.7 |2011M| 311 | 0 |1900 |1805 |1900 | 326 | 821k| 24 |4576 | 0.000000e+00 | 4.448540e+05 | Inf
1502.22/1502.26 c 1419s| 1970k| 1969k| 3265k| 1.7 |2021M| 311 | 0 |1900 |1805 |1900 | 283 | 824k| 24 |4596 | 0.000000e+00 | 4.448540e+05 | Inf
1510.34/1510.35 c 1426s| 1980k| 1979k| 3288k| 1.7 |2031M| 311 | 0 |1900 |1805 |1900 | 288 | 827k| 24 |4620 | 0.000000e+00 | 4.448540e+05 | Inf
1518.12/1518.14 c 1434s| 1990k| 1989k| 3304k| 1.7 |2042M| 311 | 0 |1900 |1805 |1900 | 250 | 830k| 24 |4623 | 0.000000e+00 | 4.448540e+05 | Inf
1525.23/1525.26 c 1440s| 2000k| 1999k| 3311k| 1.7 |2052M| 311 | 0 |1900 |1805 |1900 | 286 | 832k| 24 |4639 | 0.000000e+00 | 4.448540e+05 | Inf
1532.53/1532.53 c 1447s| 2010k| 2009k| 3322k| 1.7 |2062M| 311 | 0 |1900 |1805 |1900 | 296 | 835k| 24 |4646 | 0.000000e+00 | 4.448540e+05 | Inf
1539.83/1539.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1539.83/1539.88 c 1454s| 2020k| 2019k| 3334k| 1.7 |2072M| 311 | 0 |1900 |1805 |1900 | 281 | 839k| 24 |4651 | 0.000000e+00 | 4.448540e+05 | Inf
1547.22/1547.21 c 1461s| 2030k| 2029k| 3345k| 1.6 |2082M| 311 | 0 |1900 |1805 |1900 | 306 | 842k| 24 |4664 | 0.000000e+00 | 4.448540e+05 | Inf
1554.43/1554.40 c 1468s| 2040k| 2039k| 3352k| 1.6 |2092M| 311 | 0 |1900 |1805 |1900 | 302 | 844k| 24 |4666 | 0.000000e+00 | 4.448540e+05 | Inf
1562.04/1562.07 c 1475s| 2050k| 2049k| 3368k| 1.6 |2102M| 311 | 13 |1900 |1810 |1900 | 290 | 848k| 29 |4690 | 0.000000e+00 | 4.448540e+05 | Inf
1569.53/1569.55 c 1482s| 2060k| 2059k| 3382k| 1.6 |2113M| 311 | 0 |1900 |1810 |1900 | 300 | 851k| 29 |4690 | 0.000000e+00 | 4.448540e+05 | Inf
1576.63/1576.63 c 1489s| 2070k| 2069k| 3388k| 1.6 |2123M| 311 | 0 |1900 |1810 |1900 | 300 | 852k| 29 |4705 | 0.000000e+00 | 4.448540e+05 | Inf
1583.83/1583.90 c 1495s| 2080k| 2079k| 3399k| 1.6 |2133M| 311 | 3 |1900 |1809 |1900 | 252 | 856k| 29 |4713 | 0.000000e+00 | 4.448540e+05 | Inf
1591.03/1591.08 c 1502s| 2090k| 2089k| 3408k| 1.6 |2143M| 311 | 0 |1900 |1809 |1900 | 242 | 858k| 29 |4713 | 0.000000e+00 | 4.448540e+05 | Inf
1598.34/1598.35 c 1509s| 2100k| 2099k| 3419k| 1.6 |2153M| 311 | 0 |1900 |1809 |1900 | 253 | 861k| 29 |4732 | 0.000000e+00 | 4.448540e+05 | Inf
1605.63/1605.61 c 1516s| 2110k| 2109k| 3430k| 1.6 |2163M| 311 | 0 |1900 |1809 |1900 | 262 | 863k| 29 |4735 | 0.000000e+00 | 4.448540e+05 | Inf
1613.03/1613.04 c 1523s| 2120k| 2119k| 3444k| 1.6 |2173M| 311 | 0 |1900 |1809 |1900 | 273 | 866k| 29 |4749 | 0.000000e+00 | 4.448540e+05 | Inf
1620.24/1620.25 c 1529s| 2130k| 2129k| 3454k| 1.6 |2183M| 311 | 0 |1900 |1809 |1900 | 249 | 869k| 29 |4754 | 0.000000e+00 | 4.448540e+05 | Inf
1627.63/1627.61 c 1536s| 2140k| 2139k| 3464k| 1.6 |2194M| 311 | 0 |1900 |1809 |1900 | 294 | 871k| 29 |4754 | 0.000000e+00 | 4.448540e+05 | Inf
1635.04/1635.01 c 1543s| 2150k| 2149k| 3477k| 1.6 |2204M| 311 | 0 |1900 |1809 |1900 | 287 | 874k| 29 |4775 | 0.000000e+00 | 4.448540e+05 | Inf
1642.24/1642.24 c 1550s| 2160k| 2159k| 3488k| 1.6 |2214M| 311 | 0 |1900 |1809 |1900 | 294 | 878k| 29 |4775 | 0.000000e+00 | 4.448540e+05 | Inf
1649.43/1649.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1649.43/1649.47 c 1557s| 2170k| 2169k| 3497k| 1.6 |2224M| 311 | 0 |1900 |1809 |1900 | 274 | 880k| 29 |4793 | 0.000000e+00 | 4.448540e+05 | Inf
1656.43/1656.44 c 1564s| 2180k| 2179k| 3501k| 1.6 |2234M| 311 | 0 |1900 |1809 |1900 | 277 | 881k| 29 |4795 | 0.000000e+00 | 4.448540e+05 | Inf
1663.43/1663.49 c 1570s| 2190k| 2189k| 3508k| 1.6 |2244M| 311 | 0 |1900 |1809 |1900 | 289 | 883k| 29 |4795 | 0.000000e+00 | 4.448540e+05 | Inf
1670.84/1670.83 c 1577s| 2200k| 2199k| 3519k| 1.6 |2254M| 311 | 0 |1900 |1809 |1900 | 261 | 886k| 29 |4802 | 0.000000e+00 | 4.448540e+05 | Inf
1678.23/1678.28 c 1584s| 2210k| 2209k| 3532k| 1.6 |2264M| 311 | 0 |1900 |1809 |1900 | 270 | 889k| 29 |4814 | 0.000000e+00 | 4.448540e+05 | Inf
1685.33/1685.36 c 1591s| 2220k| 2219k| 3539k| 1.6 |2275M| 311 | 0 |1900 |1809 |1900 | 308 | 891k| 29 |4814 | 0.000000e+00 | 4.448540e+05 | Inf
1692.53/1692.54 c 1598s| 2230k| 2229k| 3548k| 1.6 |2285M| 311 | 0 |1900 |1808 |1900 | 270 | 893k| 29 |4824 | 0.000000e+00 | 4.448540e+05 | Inf
1699.63/1699.63 c 1604s| 2240k| 2239k| 3557k| 1.6 |2295M| 311 | 0 |1900 |1808 |1900 | 285 | 895k| 29 |4831 | 0.000000e+00 | 4.448540e+05 | Inf
1706.73/1706.79 c 1611s| 2250k| 2249k| 3566k| 1.6 |2305M| 311 | 0 |1900 |1808 |1900 | 301 | 898k| 29 |4831 | 0.000000e+00 | 4.448540e+05 | Inf
1713.93/1713.91 c 1618s| 2260k| 2259k| 3572k| 1.6 |2315M| 311 | 0 |1900 |1808 |1900 | 288 | 900k| 29 |4837 | 0.000000e+00 | 4.448540e+05 | Inf
1721.74/1721.74 c 1625s| 2270k| 2269k| 3594k| 1.6 |2325M| 311 | 0 |1900 |1808 |1900 | 266 | 904k| 29 |4847 | 0.000000e+00 | 4.448540e+05 | Inf
1729.63/1729.66 c 1633s| 2280k| 2279k| 3616k| 1.6 |2336M| 311 | 0 |1900 |1808 |1900 | 298 | 908k| 29 |4865 | 0.000000e+00 | 4.448540e+05 | Inf
1737.23/1737.23 c 1640s| 2290k| 2289k| 3631k| 1.6 |2346M| 311 | 0 |1900 |1807 |1900 | 280 | 911k| 29 |4888 | 0.000000e+00 | 4.448540e+05 | Inf
1744.54/1744.51 c 1647s| 2300k| 2299k| 3642k| 1.6 |2356M| 311 | 0 |1900 |1807 |1900 | 284 | 914k| 29 |4888 | 0.000000e+00 | 4.448540e+05 | Inf
1751.93/1751.91 c 1654s| 2310k| 2309k| 3653k| 1.6 |2366M| 311 | 0 |1900 |1807 |1900 | 277 | 916k| 29 |4898 | 0.000000e+00 | 4.448540e+05 | Inf
1759.03/1759.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1759.03/1759.07 c 1660s| 2320k| 2319k| 3660k| 1.6 |2376M| 311 | 0 |1900 |1806 |1900 | 296 | 918k| 29 |4907 | 0.000000e+00 | 4.448540e+05 | Inf
1766.14/1766.18 c 1667s| 2330k| 2329k| 3668k| 1.6 |2386M| 311 | 0 |1900 |1806 |1900 | 256 | 920k| 29 |4907 | 0.000000e+00 | 4.448540e+05 | Inf
1773.24/1773.26 c 1674s| 2340k| 2339k| 3674k| 1.6 |2396M| 311 | 0 |1900 |1806 |1900 | 286 | 922k| 29 |4907 | 0.000000e+00 | 4.448540e+05 | Inf
1780.44/1780.47 c 1680s| 2350k| 2349k| 3683k| 1.6 |2406M| 311 | 0 |1900 |1806 |1900 | 306 | 924k| 29 |4917 | 0.000000e+00 | 4.448540e+05 | Inf
1788.13/1788.16 c 1688s| 2360k| 2359k| 3698k| 1.6 |2417M| 311 | 0 |1900 |1806 |1900 | 264 | 927k| 29 |4923 | 0.000000e+00 | 4.448540e+05 | Inf
1795.24/1795.23 c 1694s| 2370k| 2369k| 3704k| 1.6 |2427M| 311 | 0 |1900 |1806 |1900 | 282 | 928k| 29 |4924 | 0.000000e+00 | 4.448540e+05 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1698.78
1800.04/1800.00 c Solving Nodes : 2376762
1800.04/1800.00 c Primal Bound : +4.44854000000000e+05 (100 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/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.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1698.78
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2700284-1278534589.wbo
1800.04/1800.01 c Variables : 2000 (1100 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.04/1800.01 c Constraints : 1901 initial, 1901 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2700284-1278534589.wbo
1800.04/1800.01 c Variables : 1900 (1000 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.04/1800.01 c Constraints : 1800 initial, 1814 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.02 0 100 0 900 0 101 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 2576153 0 0 0 0 0 611778
1800.04/1800.01 c indicator : 900 0 3187506 2270264 0 0 2454786 0 0 0
1800.04/1800.01 c linear : 900 6 3187506 2270264 0 11 871014 930019 0 0
1800.04/1800.01 c logicor : 0+ 0 91887 0 0 0 11648 0 0 0
1800.04/1800.01 c countsols : 0 0 0 2070862 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 6.94 0.00 0.00 6.94 0.00
1800.04/1800.01 c indicator : 161.76 0.00 31.75 130.01 0.00
1800.04/1800.01 c linear : 26.71 0.00 10.50 16.21 0.00
1800.04/1800.01 c logicor : 0.04 0.00 0.04 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.03 2 0 0
1800.04/1800.01 c rootredcost : 0.01 0 0 0
1800.04/1800.01 c pseudoobj : 53.40 3187306 0 0
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 11 11 11 6.7 18 4.1 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 29 5.1 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 3 - - 23 - (maximal pool size: 44)
1800.04/1800.01 c redcost : 93.62 2575905 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.03 4 0 0 45 0
1800.04/1800.01 c strongcg : 0.01 4 0 0 0 0
1800.04/1800.01 c cmir : 0.00 4 0 0 0 0
1800.04/1800.01 c flowcover : 0.03 4 0 0 0 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 6.92 305889 0 0 0 0 611778
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 138.74 2070862 0 0 0 0 4141724
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c oneopt : 0.14 1 0
1800.04/1800.01 c intshifting : 0.05 19 0
1800.04/1800.01 c crossover : 0.16 13 0
1800.04/1800.01 c coefdiving : 9.53 17622 0
1800.04/1800.01 c pscostdiving : 10.05 17622 0
1800.04/1800.01 c fracdiving : 9.69 17622 0
1800.04/1800.01 c veclendiving : 9.83 17622 0
1800.04/1800.01 c linesearchdiving : 9.78 17622 0
1800.04/1800.01 c guideddiving : 9.68 17622 0
1800.04/1800.01 c rootsoldiving : 10.46 17601 0
1800.04/1800.01 c objpscostdiving : 10.85 17602 0
1800.04/1800.01 c trivial : 0.00 2 1
1800.04/1800.01 c simplerounding : 0.06 305858 0
1800.04/1800.01 c zirounding : 0.02 1000 0
1800.04/1800.01 c rounding : 0.32 7732 0
1800.04/1800.01 c shifting : 1.41 2441 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.01 1 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.01 0 0
1800.04/1800.01 c trysol : 0.17 20659 99
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 705.79 632498 3708598 5.86 5254.53
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.18 395 1321 3.34 7338.89
1800.04/1800.01 c strong branching : 5.12 4927 69801 14.17 13633.01
1800.04/1800.01 c (at root node) : - 33 3213 97.36 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2376762
1800.04/1800.01 c nodes (total) : 2376762
1800.04/1800.01 c nodes left : 2376741
1800.04/1800.01 c max depth : 311
1800.04/1800.01 c max depth (total): 311
1800.04/1800.01 c backtracks : 17744 (0.7%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 36 (45 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 2.20
1800.04/1800.01 c switching time : 71.43
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 100 (1 improvements)
1800.04/1800.01 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 257
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700284-1278534589/watcher-2700284-1278534589 -o /tmp/evaluation-result-2700284-1278534589/solver-2700284-1278534589 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700284-1278534589.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: 5.47 5.49 3.44 9/186 18487
/proc/meminfo: memFree=29770308/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=9140 CPUtime=0
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 1586 0 0 0 0 0 0 0 25 0 1 0 21671173 9359360 1506 4089446400 4194304 8223781 140734571293392 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18487/statm: 2285 1506 363 984 0 1298 0
[startup+0.0611711 s]
/proc/loadavg: 5.47 5.49 3.44 9/186 18487
/proc/meminfo: memFree=29770308/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=20708 CPUtime=0.05
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 5365 0 0 0 5 0 0 0 25 0 1 0 21671173 21204992 4150 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18487/statm: 5177 4150 462 984 0 4190 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20708
[startup+0.100163 s]
/proc/loadavg: 5.47 5.49 3.44 9/186 18487
/proc/meminfo: memFree=29770308/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=23376 CPUtime=0.09
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 6155 0 0 0 8 1 0 0 25 0 1 0 21671173 23937024 4929 4089446400 4194304 8223781 140734571293392 18446744073709551615 5734248 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18487/statm: 5844 4929 563 984 0 4857 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23376
[startup+0.300124 s]
/proc/loadavg: 5.47 5.49 3.44 9/186 18487
/proc/meminfo: memFree=29770308/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=23608 CPUtime=0.29
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 9354 0 0 0 28 1 0 0 25 0 1 0 21671173 24174592 5030 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18487/statm: 5902 5030 577 984 0 4915 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23608
[startup+0.701054 s]
/proc/loadavg: 5.47 5.49 3.44 9/186 18487
/proc/meminfo: memFree=29770308/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=23608 CPUtime=0.69
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 9357 0 0 0 67 2 0 0 25 0 1 0 21671173 24174592 5030 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18487/statm: 5902 5030 577 984 0 4915 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23608
[startup+1.50091 s]
/proc/loadavg: 5.47 5.49 3.44 3/187 18488
/proc/meminfo: memFree=29751080/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=23620 CPUtime=1.49
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 9360 0 0 0 146 3 0 0 25 0 1 0 21671173 24186880 5033 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18487/statm: 5905 5033 577 984 0 4918 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23620
[startup+3.10111 s]
/proc/loadavg: 5.47 5.49 3.44 6/187 18488
/proc/meminfo: memFree=29750708/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=27348 CPUtime=3.09
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 16033 0 0 0 304 5 0 0 25 0 1 0 21671173 28004352 5993 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18487/statm: 6837 5993 583 984 0 5850 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27348
[startup+6.30102 s]
/proc/loadavg: 5.67 5.53 3.47 5/187 18488
/proc/meminfo: memFree=29743956/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=30936 CPUtime=6.3
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 23234 0 0 0 619 11 0 0 25 0 1 0 21671173 31678464 6870 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18487/statm: 7734 6870 583 984 0 6747 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 30936
[startup+12.7019 s]
/proc/loadavg: 5.86 5.57 3.49 4/187 18488
/proc/meminfo: memFree=29733608/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=39112 CPUtime=12.69
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 28504 0 0 0 1244 25 0 0 25 0 1 0 21671173 40050688 8970 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18487/statm: 9778 8970 583 984 0 8791 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39112
[startup+25.5015 s]
/proc/loadavg: 5.54 5.51 3.50 7/187 18488
/proc/meminfo: memFree=29714496/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=54088 CPUtime=25.49
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 35473 0 0 0 2499 50 0 0 25 0 1 0 21671173 55386112 12765 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18487/statm: 13522 12765 583 984 0 12535 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54088
[startup+51.1011 s]
/proc/loadavg: 5.40 5.47 3.54 2/177 18491
/proc/meminfo: memFree=29982740/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=82904 CPUtime=51.1
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 49183 0 0 0 5011 99 0 0 25 0 1 0 21671173 84893696 20069 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18487/statm: 20726 20069 583 984 0 19739 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 82904
[startup+102.306 s]
/proc/loadavg: 3.44 4.92 3.45 3/179 18664
/proc/meminfo: memFree=29857264/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=145252 CPUtime=102.29
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 67631 0 0 0 9801 428 0 0 25 0 1 0 21671173 148738048 35350 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 36313 35350 583 984 0 35326 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 145252
[startup+162.301 s]
/proc/loadavg: 2.56 4.40 3.36 3/179 18666
/proc/meminfo: memFree=29710140/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=220648 CPUtime=162.29
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 86811 0 0 0 15454 775 0 0 25 0 1 0 21671173 225943552 54498 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 55162 54498 583 984 0 54175 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 220648
[startup+222.3 s]
/proc/loadavg: 2.20 3.96 3.28 3/179 18668
/proc/meminfo: memFree=29557552/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=304424 CPUtime=222.29
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 110231 0 0 0 21128 1101 0 0 25 0 1 0 21671173 311730176 74726 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 76106 74726 583 984 0 75119 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 304424
[startup+282.301 s]
/proc/loadavg: 2.07 3.60 3.19 3/179 18670
/proc/meminfo: memFree=29408816/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=382144 CPUtime=282.3
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 129976 0 0 0 26800 1430 0 0 25 0 1 0 21671173 391315456 94469 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 95536 94469 587 984 0 94549 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 382144
[startup+342.301 s]
/proc/loadavg: 2.02 3.31 3.12 3/179 18671
/proc/meminfo: memFree=29256236/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=458556 CPUtime=342.3
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 152539 0 0 0 32479 1751 0 0 25 0 1 0 21671173 469561344 113865 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 114639 113865 587 984 0 113652 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 458556
[startup+402.301 s]
/proc/loadavg: 2.01 3.06 3.04 3/179 18672
/proc/meminfo: memFree=29105284/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=547832 CPUtime=402.3
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 173123 0 0 0 38152 2078 0 0 25 0 1 0 21671173 560979968 134445 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 136958 134445 587 984 0 135971 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 547832
[startup+462.3 s]
/proc/loadavg: 2.00 2.87 2.98 3/179 18674
/proc/meminfo: memFree=28949968/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=628504 CPUtime=462.3
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 193623 0 0 0 43836 2394 0 0 25 0 1 0 21671173 643588096 154931 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 157126 154931 587 984 0 156139 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 628504
[startup+522.3 s]
/proc/loadavg: 2.00 2.71 2.91 3/179 18676
/proc/meminfo: memFree=28792428/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=707920 CPUtime=522.3
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 213795 0 0 0 49478 2752 0 0 25 0 1 0 21671173 724910080 175102 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 176980 175102 587 984 0 175993 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 707920
[startup+582.301 s]
/proc/loadavg: 2.04 2.59 2.86 3/179 18678
/proc/meminfo: memFree=28637732/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=789096 CPUtime=582.3
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 234399 0 0 0 55150 3080 0 0 25 0 1 0 21671173 808034304 195695 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 197274 195695 587 984 0 196287 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 789096
[startup+642.301 s]
/proc/loadavg: 2.01 2.48 2.80 3/179 18679
/proc/meminfo: memFree=28486768/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=867788 CPUtime=642.31
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 254390 0 0 0 60835 3396 0 0 25 0 1 0 21671173 888614912 215680 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 216947 215680 587 984 0 215960 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 867788
[startup+702.3 s]
################
# More data... #
################
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 380909 0 0 0 94853 5378 0 0 25 0 1 0 21671173 1402789888 339016 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 342478 339016 587 984 0 341491 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1369912
[startup+1062.3 s]
/proc/loadavg: 2.00 2.11 2.50 3/179 18690
/proc/meminfo: memFree=27393020/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=1454164 CPUtime=1062.32
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 402289 0 0 0 100489 5743 0 0 25 0 1 0 21671173 1489063936 360394 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 363541 360394 587 984 0 362554 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1454164
[startup+1122.3 s]
/proc/loadavg: 2.05 2.10 2.47 3/179 18692
/proc/meminfo: memFree=27230876/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=1533464 CPUtime=1122.31
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 422432 0 0 0 106142 6089 0 0 25 0 1 0 21671173 1570267136 380537 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 383366 380537 587 984 0 382379 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1533464
[startup+1182.3 s]
/proc/loadavg: 2.02 2.08 2.44 3/179 18694
/proc/meminfo: memFree=27068476/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=1618264 CPUtime=1182.32
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 443955 0 0 0 111782 6450 0 0 25 0 1 0 21671173 1657102336 402060 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 404566 402060 587 984 0 403579 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1618264
[startup+1242.3 s]
/proc/loadavg: 2.07 2.08 2.41 3/179 18695
/proc/meminfo: memFree=26909456/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=1694216 CPUtime=1242.32
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 463262 0 0 0 117421 6811 0 0 25 0 1 0 21671173 1734877184 421358 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 423554 421358 587 984 0 422567 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1694216
[startup+1302.3 s]
/proc/loadavg: 2.02 2.06 2.38 3/179 18696
/proc/meminfo: memFree=26746592/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=1775108 CPUtime=1302.33
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 486964 0 0 0 123071 7162 0 0 25 0 1 0 21671173 1817710592 441887 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 443777 441887 587 984 0 442790 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1775108
[startup+1362.3 s]
/proc/loadavg: 2.01 2.05 2.35 3/179 18698
/proc/meminfo: memFree=26584708/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=1856612 CPUtime=1362.32
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 507659 0 0 0 128714 7518 0 0 25 0 1 0 21671173 1901170688 462582 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 464153 462582 587 984 0 463166 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1856612
[startup+1422.31 s]
/proc/loadavg: 2.00 2.04 2.33 3/179 18700
/proc/meminfo: memFree=26418372/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=1939520 CPUtime=1422.33
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 528721 0 0 0 134361 7872 0 0 25 0 1 0 21671173 1986068480 483641 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 484880 483641 587 984 0 483893 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1939520
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.31 3/179 18702
/proc/meminfo: memFree=26259576/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=2016124 CPUtime=1482.32
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 548194 0 0 0 139994 8238 0 0 25 0 1 0 21671173 2064510976 503084 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 504031 503084 587 984 0 503044 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2016124
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.28 3/179 18703
/proc/meminfo: memFree=26096080/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=2093984 CPUtime=1542.33
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 567979 0 0 0 145633 8600 0 0 25 0 1 0 21671173 2144239616 522868 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 523496 522868 587 984 0 522509 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2093984
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.26 3/179 18704
/proc/meminfo: memFree=25931208/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=2209060 CPUtime=1602.33
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 588875 0 0 0 151265 8968 0 0 25 0 1 0 21671173 2262077440 543764 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 552265 543764 587 984 0 551278 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2209060
[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.25 3/179 18706
/proc/meminfo: memFree=25763252/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=2291024 CPUtime=1662.33
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 609665 0 0 0 156913 9320 0 0 25 0 1 0 21671173 2346008576 564554 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 572756 564554 587 984 0 571769 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2291024
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.23 3/179 18708
/proc/meminfo: memFree=25599252/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=2373468 CPUtime=1722.33
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 630616 0 0 0 162562 9671 0 0 25 0 1 0 21671173 2430431232 585504 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 593367 585504 587 984 0 592380 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2373468
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.22 3/179 18710
/proc/meminfo: memFree=25432760/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=2454196 CPUtime=1782.33
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 651118 0 0 0 168213 10020 0 0 25 0 1 0 21671173 2513096704 606006 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 613549 606006 587 984 0 612562 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2454196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.21 3/179 18710
/proc/meminfo: memFree=25378804/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=2480884 CPUtime=1800.04
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 657877 0 0 0 169879 10125 0 0 25 0 1 0 21671173 2540425216 612765 4089446400 4194304 8223781 140734571293392 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18487/statm: 620221 612765 587 984 0 619234 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2480884
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18487
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.01 2.21 3/180 18711
/proc/meminfo: memFree=25377928/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=2480884 CPUtime=1801.43
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 657879 0 0 0 170018 10125 0 0 20 0 1 0 21671173 2540425216 612767 4089446400 4194304 8223781 140734571293392 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/18487/statm: 620221 612767 589 984 0 619234 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 2480884
[startup+1801.81 s]
/proc/loadavg: 2.00 2.01 2.21 3/180 18711
/proc/meminfo: memFree=25375572/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=2480884 CPUtime=1801.84
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 657879 0 0 0 170059 10125 0 0 20 0 1 0 21671173 2540425216 612767 4089446400 4194304 8223781 140734571293392 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/18487/statm: 620221 612767 589 984 0 619234 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 2480884
[startup+1802 s]
/proc/loadavg: 2.00 2.01 2.21 3/180 18711
/proc/meminfo: memFree=25375572/32951124 swapFree=67111528/67111528
[pid=18487] ppid=18485 vsize=2477812 CPUtime=1802.03
/proc/18487/stat : 18487 (pbscip.linux.x8) R 18485 18487 17689 0 -1 4202496 657879 0 0 0 170078 10125 0 0 21 0 1 0 21671173 2537279488 611999 4089446400 4194304 8223781 140734571293392 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/18487/statm: 619453 611999 589 984 0 618466 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 2477812
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.09
CPU time (s): 1802.13
CPU user time (s): 1700.79
CPU system time (s): 101.341
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2480884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1700.79
system time used= 101.341
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 657879
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= 4
involuntary context switches= 18543
runsolver used 2.6396 second user time and 5.60215 second system time
The end
Begin job on node145 at 2010-07-07 22:29:49
IDJOB=2700284
IDBENCH=79415
IDSOLVER=1204
FILE ID=node145/2700284-1278534589
PBS_JOBID= 11239188
Free space on /tmp= 73592 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-jnh306_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-2700284-1278534589/watcher-2700284-1278534589 -o /tmp/evaluation-result-2700284-1278534589/solver-2700284-1278534589 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700284-1278534589.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 066a913179e37120802f974ea952f3b3
RANDOM SEED=724165285
node145.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.859
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.71
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.859
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.859
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.859
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.859
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.859
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.859
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.859
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29770836 kB
Buffers: 139152 kB
Cached: 2535744 kB
SwapCached: 0 kB
Active: 1715412 kB
Inactive: 1314836 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29770836 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4588 kB
Writeback: 0 kB
AnonPages: 355368 kB
Mapped: 18924 kB
Slab: 84992 kB
PageTables: 5688 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 574780 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= 73600 MiB
End job on node145 at 2010-07-07 22:59:52