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-2700164-1278534222.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.03 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.00/0.06 c (0.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 100 deleted vars, 101 deleted constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1100 implications, 0 cliques
0.00/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 0 impl, 900 cont) and 1800 constraints
0.00/0.06 c 900 constraints of type <indicator>
0.00/0.06 c 900 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.03
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 1.2.1.2
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1799.99
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 3420
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.06 o 444854
0.00/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.06 c t 0.0s| 1 | 0 | 0 | - |6456k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6879k| 0 | 0 |1900 |1800 |1900 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.00/0.07 c 0.0s| 1 | 0 | 41 | - |6919k| 0 | 0 |1900 |1800 |1900 | 69 | 69 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.00/0.07 c 0.0s| 1 | 0 | 135 | - |6972k| 0 | 66 |1900 |1800 |1900 | 122 | 122 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.00/0.09 c 0.1s| 1 | 0 | 223 | - |7224k| 0 | 85 |1900 |1800 |1900 | 171 | 171 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 273 | - |7277k| 0 | 89 |1900 |1800 |1900 | 180 | 180 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 300 | - |7309k| 0 | 90 |1900 |1800 |1900 | 186 | 186 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 301 | - |7333k| 0 | 90 |1900 |1800 |1900 | 187 | 187 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.29/0.34 c 0.3s| 1 | 2 | 454 | - |7361k| 0 | 90 |1900 |1800 |1900 | 187 | 187 | 0 | 33 | 0.000000e+00 | 4.448540e+05 | Inf
13.39/13.46 c 12.5s| 10000 | 10001 | 80326 | 8.0 | 20M| 95 | 0 |1900 |1800 |1900 | 302 | 18k| 0 | 792 | 0.000000e+00 | 4.448540e+05 | Inf
22.89/22.91 c 21.3s| 20000 | 19999 |138085 | 6.9 | 31M| 139 | 0 |1900 |1801 |1900 | 286 | 31k| 1 | 792 | 0.000000e+00 | 4.448540e+05 | Inf
31.49/31.58 c 29.4s| 30000 | 29999 |175729 | 5.8 | 41M| 139 | 0 |1900 |1801 |1900 | 263 | 41k| 1 | 792 | 0.000000e+00 | 4.448540e+05 | Inf
39.70/39.76 c 37.1s| 40000 | 39999 |203535 | 5.1 | 52M| 139 | 0 |1900 |1801 |1900 | 262 | 50k| 1 | 803 | 0.000000e+00 | 4.448540e+05 | Inf
47.69/47.73 c 44.6s| 50000 | 49999 |222917 | 4.5 | 62M| 139 | 0 |1900 |1801 |1900 | 285 | 55k| 1 | 824 | 0.000000e+00 | 4.448540e+05 | Inf
55.79/55.89 c 52.3s| 60000 | 59999 |245845 | 4.1 | 72M| 139 | 5 |1900 |1801 |1900 | 270 | 62k| 1 | 862 | 0.000000e+00 | 4.448540e+05 | Inf
64.59/64.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.59/64.68 c 60.5s| 70000 | 69999 |286428 | 4.1 | 83M| 139 | 0 |1900 |1801 |1900 | 287 | 72k| 1 | 909 | 0.000000e+00 | 4.448540e+05 | Inf
73.39/73.45 c 68.8s| 80000 | 79999 |324286 | 4.0 | 93M| 139 | 11 |1900 |1801 |1900 | 258 | 82k| 1 | 984 | 0.000000e+00 | 4.448540e+05 | Inf
82.69/82.75 c 77.5s| 90000 | 89999 |373757 | 4.1 | 103M| 139 | 0 |1900 |1801 |1900 | 302 | 93k| 1 |1074 | 0.000000e+00 | 4.448540e+05 | Inf
91.99/92.09 c 86.2s|100000 | 99999 |419554 | 4.2 | 114M| 145 | 0 |1900 |1801 |1900 | 295 | 103k| 1 |1165 | 0.000000e+00 | 4.448540e+05 | Inf
100.99/101.09 c 94.7s|110000 |109999 |458614 | 4.2 | 125M| 153 | 0 |1900 |1801 |1900 | 307 | 112k| 1 |1221 | 0.000000e+00 | 4.448540e+05 | Inf
109.79/109.80 c 103s|120000 |119999 |492735 | 4.1 | 135M| 153 | 16 |1900 |1801 |1900 | 289 | 121k| 1 |1286 | 0.000000e+00 | 4.448540e+05 | Inf
118.39/118.41 c 111s|130000 |129999 |525661 | 4.0 | 145M| 175 | 0 |1900 |1801 |1900 | 298 | 128k| 1 |1325 | 0.000000e+00 | 4.448540e+05 | Inf
128.29/128.36 c 120s|140000 |139997 |584936 | 4.2 | 156M| 175 | 0 |1900 |1802 |1900 | 300 | 136k| 2 |1425 | 0.000000e+00 | 4.448540e+05 | Inf
137.89/137.98 c 129s|150000 |149997 |638952 | 4.3 | 166M| 175 | 0 |1900 |1802 |1900 | 279 | 145k| 2 |1505 | 0.000000e+00 | 4.448540e+05 | Inf
146.79/146.89 c 138s|160000 |159997 |677355 | 4.2 | 177M| 175 | 9 |1900 |1802 |1900 | 256 | 153k| 2 |1574 | 0.000000e+00 | 4.448540e+05 | Inf
155.59/155.65 c 146s|170000 |169997 |713340 | 4.2 | 187M| 175 | 30 |1900 |1802 |1900 | 187 | 160k| 2 |1641 | 0.000000e+00 | 4.448540e+05 | Inf
164.19/164.26 c 154s|180000 |179997 |747660 | 4.2 | 198M| 175 | 5 |1900 |1802 |1900 | 297 | 168k| 2 |1676 | 0.000000e+00 | 4.448540e+05 | Inf
173.19/173.24 c 162s|190000 |189997 |787028 | 4.1 | 208M| 175 | 0 |1900 |1802 |1900 | 328 | 175k| 2 |1738 | 0.000000e+00 | 4.448540e+05 | Inf
181.89/181.90 c 170s|200000 |199997 |822649 | 4.1 | 218M| 175 | 0 |1900 |1802 |1900 | 318 | 184k| 2 |1803 | 0.000000e+00 | 4.448540e+05 | Inf
190.80/190.86 c 179s|210000 |209997 |863221 | 4.1 | 229M| 175 | 25 |1900 |1802 |1900 | 244 | 193k| 2 |1872 | 0.000000e+00 | 4.448540e+05 | Inf
199.39/199.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
199.39/199.41 c 187s|220000 |219997 |893577 | 4.1 | 239M| 175 | 0 |1900 |1802 |1900 | 315 | 199k| 2 |1909 | 0.000000e+00 | 4.448540e+05 | Inf
207.80/207.83 c 195s|230000 |229997 |922515 | 4.0 | 250M| 175 | 2 |1900 |1802 |1900 | 311 | 205k| 2 |1969 | 0.000000e+00 | 4.448540e+05 | Inf
216.29/216.38 c 203s|240000 |239997 |955472 | 4.0 | 260M| 175 | 17 |1900 |1802 |1900 | 254 | 212k| 2 |2002 | 0.000000e+00 | 4.448540e+05 | Inf
224.70/224.80 c 211s|250000 |249997 |984858 | 3.9 | 270M| 175 | 0 |1900 |1802 |1900 | 288 | 220k| 2 |2058 | 0.000000e+00 | 4.448540e+05 | Inf
233.10/233.11 c 218s|260000 |259997 | 1012k| 3.9 | 281M| 175 | 0 |1900 |1802 |1900 | 273 | 226k| 2 |2088 | 0.000000e+00 | 4.448540e+05 | Inf
241.60/241.69 c 227s|270000 |269997 | 1044k| 3.9 | 291M| 175 | 0 |1900 |1802 |1900 | 314 | 233k| 2 |2120 | 0.000000e+00 | 4.448540e+05 | Inf
249.80/249.87 c 234s|280000 |279997 | 1067k| 3.8 | 301M| 175 | 0 |1900 |1802 |1900 | 301 | 239k| 2 |2174 | 0.000000e+00 | 4.448540e+05 | Inf
257.90/257.95 c 242s|290000 |289997 | 1090k| 3.8 | 312M| 175 | 0 |1900 |1802 |1900 | 273 | 246k| 2 |2213 | 0.000000e+00 | 4.448540e+05 | Inf
266.09/266.15 c 250s|300000 |299997 | 1112k| 3.7 | 322M| 175 | 0 |1900 |1802 |1900 | 330 | 252k| 2 |2237 | 0.000000e+00 | 4.448540e+05 | Inf
274.19/274.20 c 257s|310000 |309997 | 1132k| 3.7 | 332M| 175 | 0 |1900 |1802 |1900 | 271 | 257k| 2 |2257 | 0.000000e+00 | 4.448540e+05 | Inf
282.60/282.63 c 265s|320000 |319997 | 1163k| 3.6 | 343M| 175 | 9 |1900 |1802 |1900 | 270 | 265k| 2 |2283 | 0.000000e+00 | 4.448540e+05 | Inf
290.80/290.81 c 273s|330000 |329997 | 1189k| 3.6 | 353M| 175 | 0 |1900 |1802 |1900 | 297 | 272k| 2 |2311 | 0.000000e+00 | 4.448540e+05 | Inf
299.00/299.09 c 280s|340000 |339997 | 1215k| 3.6 | 363M| 175 | 0 |1900 |1802 |1900 | 282 | 279k| 2 |2359 | 0.000000e+00 | 4.448540e+05 | Inf
307.40/307.44 c 288s|350000 |349997 | 1240k| 3.5 | 374M| 175 | 9 |1900 |1802 |1900 | 248 | 285k| 2 |2393 | 0.000000e+00 | 4.448540e+05 | Inf
315.60/315.66 c 296s|360000 |359997 | 1266k| 3.5 | 384M| 175 | 4 |1900 |1802 |1900 | 241 | 292k| 2 |2424 | 0.000000e+00 | 4.448540e+05 | Inf
323.60/323.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
323.60/323.66 c 304s|370000 |369997 | 1287k| 3.5 | 394M| 175 | 0 |1900 |1802 |1900 | 269 | 297k| 2 |2447 | 0.000000e+00 | 4.448540e+05 | Inf
331.60/331.65 c 311s|380000 |379997 | 1306k| 3.4 | 405M| 175 | 5 |1900 |1802 |1900 | 252 | 303k| 2 |2466 | 0.000000e+00 | 4.448540e+05 | Inf
339.90/339.91 c 319s|390000 |389997 | 1332k| 3.4 | 415M| 175 | 3 |1900 |1802 |1900 | 245 | 309k| 2 |2497 | 0.000000e+00 | 4.448540e+05 | Inf
348.30/348.31 c 327s|400000 |399997 | 1363k| 3.4 | 425M| 175 | 38 |1900 |1802 |1900 | 237 | 318k| 2 |2518 | 0.000000e+00 | 4.448540e+05 | Inf
356.41/356.45 c 334s|410000 |409997 | 1387k| 3.4 | 436M| 175 | 15 |1900 |1802 |1900 | 277 | 324k| 2 |2547 | 0.000000e+00 | 4.448540e+05 | Inf
364.40/364.45 c 342s|420000 |419997 | 1408k| 3.4 | 446M| 175 | 3 |1900 |1802 |1900 | 296 | 329k| 2 |2570 | 0.000000e+00 | 4.448540e+05 | Inf
372.30/372.40 c 349s|430000 |429995 | 1426k| 3.3 | 456M| 175 | 0 |1900 |1804 |1900 | 306 | 334k| 4 |2588 | 0.000000e+00 | 4.448540e+05 | Inf
380.10/380.15 c 357s|440000 |439995 | 1440k| 3.3 | 467M| 175 | 12 |1900 |1804 |1900 | 289 | 338k| 4 |2592 | 0.000000e+00 | 4.448540e+05 | Inf
388.00/388.01 c 364s|450000 |449995 | 1454k| 3.2 | 477M| 175 | 0 |1900 |1804 |1900 | 308 | 341k| 4 |2615 | 0.000000e+00 | 4.448540e+05 | Inf
396.30/396.38 c 372s|460000 |459995 | 1483k| 3.2 | 487M| 175 | 0 |1900 |1804 |1900 | 280 | 348k| 4 |2635 | 0.000000e+00 | 4.448540e+05 | Inf
404.60/404.60 c 380s|470000 |469995 | 1508k| 3.2 | 497M| 175 | 0 |1900 |1804 |1900 | 333 | 355k| 4 |2657 | 0.000000e+00 | 4.448540e+05 | Inf
412.81/412.89 c 387s|480000 |479995 | 1535k| 3.2 | 508M| 175 | 9 |1900 |1804 |1900 | 235 | 362k| 4 |2679 | 0.000000e+00 | 4.448540e+05 | Inf
421.20/421.30 c 395s|490000 |489995 | 1562k| 3.2 | 518M| 175 | 45 |1900 |1804 |1900 | 216 | 368k| 4 |2721 | 0.000000e+00 | 4.448540e+05 | Inf
429.80/429.88 c 404s|500000 |499995 | 1597k| 3.2 | 528M| 175 | 0 |1900 |1804 |1900 | 288 | 377k| 4 |2744 | 0.000000e+00 | 4.448540e+05 | Inf
438.00/438.09 c 411s|510000 |509995 | 1622k| 3.2 | 539M| 175 | 15 |1900 |1804 |1900 | 250 | 383k| 4 |2761 | 0.000000e+00 | 4.448540e+05 | Inf
446.40/446.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.40/446.46 c 419s|520000 |519995 | 1645k| 3.2 | 549M| 175 | 0 |1900 |1804 |1900 | 282 | 389k| 4 |2780 | 0.000000e+00 | 4.448540e+05 | Inf
454.70/454.73 c 427s|530000 |529995 | 1669k| 3.1 | 559M| 175 | 0 |1900 |1804 |1900 | 282 | 395k| 4 |2802 | 0.000000e+00 | 4.448540e+05 | Inf
463.01/463.01 c 435s|540000 |539995 | 1694k| 3.1 | 570M| 175 | 0 |1900 |1804 |1900 | 290 | 401k| 4 |2824 | 0.000000e+00 | 4.448540e+05 | Inf
471.30/471.37 c 442s|550000 |549995 | 1722k| 3.1 | 580M| 175 | 0 |1900 |1804 |1900 | 299 | 408k| 4 |2849 | 0.000000e+00 | 4.448540e+05 | Inf
479.81/479.84 c 450s|560000 |559995 | 1753k| 3.1 | 590M| 175 | 8 |1900 |1804 |1900 | 317 | 415k| 4 |2893 | 0.000000e+00 | 4.448540e+05 | Inf
487.70/487.73 c 458s|570000 |569995 | 1769k| 3.1 | 601M| 175 | 0 |1900 |1804 |1900 | 281 | 420k| 4 |2893 | 0.000000e+00 | 4.448540e+05 | Inf
495.81/495.88 c 466s|580000 |579995 | 1793k| 3.1 | 611M| 175 | 0 |1900 |1804 |1900 | 266 | 426k| 4 |2915 | 0.000000e+00 | 4.448540e+05 | Inf
503.81/503.87 c 473s|590000 |589995 | 1813k| 3.1 | 621M| 175 | 13 |1900 |1804 |1900 | 262 | 431k| 4 |2933 | 0.000000e+00 | 4.448540e+05 | Inf
511.91/511.94 c 481s|600000 |599995 | 1834k| 3.1 | 632M| 175 | 9 |1900 |1804 |1900 | 279 | 437k| 4 |2950 | 0.000000e+00 | 4.448540e+05 | Inf
520.20/520.21 c 488s|610000 |609995 | 1857k| 3.0 | 642M| 175 | 0 |1900 |1804 |1900 | 309 | 442k| 4 |2969 | 0.000000e+00 | 4.448540e+05 | Inf
528.30/528.33 c 496s|620000 |619995 | 1878k| 3.0 | 652M| 175 | 0 |1900 |1804 |1900 | 270 | 449k| 4 |2988 | 0.000000e+00 | 4.448540e+05 | Inf
536.70/536.73 c 504s|630000 |629995 | 1912k| 3.0 | 663M| 175 | 6 |1900 |1804 |1900 | 264 | 459k| 4 |3009 | 0.000000e+00 | 4.448540e+05 | Inf
544.90/544.96 c 512s|640000 |639995 | 1938k| 3.0 | 673M| 175 | 0 |1900 |1804 |1900 | 277 | 467k| 4 |3032 | 0.000000e+00 | 4.448540e+05 | Inf
552.91/552.96 c 519s|650000 |649995 | 1958k| 3.0 | 683M| 175 | 0 |1900 |1804 |1900 | 302 | 472k| 4 |3056 | 0.000000e+00 | 4.448540e+05 | Inf
560.91/560.94 c 527s|660000 |659995 | 1981k| 3.0 | 694M| 175 | 4 |1900 |1804 |1900 | 274 | 478k| 4 |3079 | 0.000000e+00 | 4.448540e+05 | Inf
569.11/569.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
569.11/569.14 c 534s|670000 |669995 | 2010k| 3.0 | 704M| 175 | 5 |1900 |1804 |1900 | 236 | 487k| 4 |3099 | 0.000000e+00 | 4.448540e+05 | Inf
577.31/577.39 c 542s|680000 |679995 | 2035k| 3.0 | 714M| 175 | 0 |1900 |1804 |1900 | 294 | 493k| 4 |3127 | 0.000000e+00 | 4.448540e+05 | Inf
585.60/585.61 c 550s|690000 |689995 | 2061k| 3.0 | 725M| 175 | 0 |1900 |1804 |1900 | 300 | 500k| 4 |3148 | 0.000000e+00 | 4.448540e+05 | Inf
593.31/593.39 c 557s|700000 |699995 | 2075k| 3.0 | 735M| 175 | 0 |1900 |1804 |1900 | 274 | 502k| 4 |3168 | 0.000000e+00 | 4.448540e+05 | Inf
601.71/601.77 c 565s|710000 |709995 | 2102k| 3.0 | 745M| 175 | 7 |1900 |1803 |1900 | 291 | 508k| 4 |3195 | 0.000000e+00 | 4.448540e+05 | Inf
609.91/609.92 c 573s|720000 |719995 | 2126k| 3.0 | 755M| 175 | 0 |1900 |1803 |1900 | 248 | 515k| 4 |3213 | 0.000000e+00 | 4.448540e+05 | Inf
617.91/617.94 c 580s|730000 |729995 | 2147k| 2.9 | 766M| 175 | 26 |1900 |1803 |1900 | 302 | 520k| 4 |3232 | 0.000000e+00 | 4.448540e+05 | Inf
626.01/626.02 c 588s|740000 |739995 | 2170k| 2.9 | 776M| 175 | 0 |1900 |1803 |1900 | 297 | 527k| 4 |3247 | 0.000000e+00 | 4.448540e+05 | Inf
634.31/634.32 c 596s|750000 |749995 | 2196k| 2.9 | 786M| 175 | 0 |1900 |1803 |1900 | 297 | 533k| 4 |3272 | 0.000000e+00 | 4.448540e+05 | Inf
642.31/642.30 c 603s|760000 |759995 | 2219k| 2.9 | 797M| 175 | 0 |1900 |1803 |1900 | 297 | 539k| 4 |3288 | 0.000000e+00 | 4.448540e+05 | Inf
650.41/650.48 c 611s|770000 |769995 | 2241k| 2.9 | 807M| 175 | 0 |1900 |1803 |1900 | 304 | 545k| 4 |3305 | 0.000000e+00 | 4.448540e+05 | Inf
658.51/658.52 c 618s|780000 |779995 | 2261k| 2.9 | 817M| 175 | 6 |1900 |1803 |1900 | 286 | 550k| 4 |3329 | 0.000000e+00 | 4.448540e+05 | Inf
666.71/666.75 c 626s|790000 |789995 | 2285k| 2.9 | 828M| 175 | 0 |1900 |1803 |1900 | 299 | 555k| 4 |3350 | 0.000000e+00 | 4.448540e+05 | Inf
675.01/675.04 c 634s|800000 |799995 | 2315k| 2.9 | 838M| 175 | 0 |1900 |1803 |1900 | 292 | 564k| 4 |3371 | 0.000000e+00 | 4.448540e+05 | Inf
683.01/683.08 c 642s|810000 |809995 | 2334k| 2.9 | 848M| 175 | 0 |1900 |1803 |1900 | 312 | 570k| 4 |3395 | 0.000000e+00 | 4.448540e+05 | Inf
691.21/691.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
691.21/691.29 c 649s|820000 |819995 | 2361k| 2.9 | 859M| 175 | 34 |1900 |1803 |1900 | 228 | 577k| 4 |3418 | 0.000000e+00 | 4.448540e+05 | Inf
699.01/699.01 c 656s|830000 |829995 | 2374k| 2.9 | 869M| 175 | 0 |1900 |1803 |1900 | 283 | 581k| 4 |3432 | 0.000000e+00 | 4.448540e+05 | Inf
706.61/706.67 c 664s|840000 |839995 | 2384k| 2.8 | 879M| 175 | 0 |1900 |1803 |1900 | 304 | 583k| 4 |3439 | 0.000000e+00 | 4.448540e+05 | Inf
714.81/714.81 c 671s|850000 |849995 | 2408k| 2.8 | 889M| 175 | 3 |1900 |1803 |1900 | 264 | 589k| 4 |3463 | 0.000000e+00 | 4.448540e+05 | Inf
722.81/722.88 c 679s|860000 |859995 | 2428k| 2.8 | 900M| 175 | 0 |1900 |1803 |1900 | 286 | 594k| 4 |3476 | 0.000000e+00 | 4.448540e+05 | Inf
730.91/730.98 c 687s|870000 |869995 | 2452k| 2.8 | 910M| 175 | 0 |1900 |1803 |1900 | 292 | 601k| 4 |3484 | 0.000000e+00 | 4.448540e+05 | Inf
739.22/739.21 c 694s|880000 |879995 | 2477k| 2.8 | 920M| 175 | 0 |1900 |1803 |1900 | 326 | 608k| 4 |3513 | 0.000000e+00 | 4.448540e+05 | Inf
747.11/747.10 c 702s|890000 |889995 | 2494k| 2.8 | 930M| 175 | 0 |1900 |1803 |1900 | 294 | 612k| 4 |3520 | 0.000000e+00 | 4.448540e+05 | Inf
755.21/755.23 c 709s|900000 |899995 | 2518k| 2.8 | 941M| 175 | 16 |1900 |1803 |1900 | 221 | 619k| 4 |3537 | 0.000000e+00 | 4.448540e+05 | Inf
763.41/763.49 c 717s|910000 |909995 | 2544k| 2.8 | 951M| 175 | 0 |1900 |1803 |1900 | 310 | 627k| 4 |3556 | 0.000000e+00 | 4.448540e+05 | Inf
771.51/771.57 c 725s|920000 |919995 | 2566k| 2.8 | 961M| 175 | 0 |1900 |1803 |1900 | 272 | 633k| 4 |3572 | 0.000000e+00 | 4.448540e+05 | Inf
779.51/779.59 c 732s|930000 |929995 | 2587k| 2.8 | 972M| 175 | 0 |1900 |1803 |1900 | 268 | 638k| 4 |3589 | 0.000000e+00 | 4.448540e+05 | Inf
787.81/787.80 c 740s|940000 |939995 | 2616k| 2.8 | 982M| 175 | 0 |1900 |1803 |1900 | 311 | 646k| 4 |3610 | 0.000000e+00 | 4.448540e+05 | Inf
795.42/795.44 c 747s|950000 |949995 | 2628k| 2.8 | 992M| 175 | 5 |1900 |1803 |1900 | 291 | 649k| 4 |3610 | 0.000000e+00 | 4.448540e+05 | Inf
803.51/803.56 c 755s|960000 |959995 | 2649k| 2.8 |1002M| 175 | 0 |1900 |1803 |1900 | 283 | 656k| 4 |3630 | 0.000000e+00 | 4.448540e+05 | Inf
811.41/811.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
811.41/811.49 c 762s|970000 |969995 | 2666k| 2.7 |1013M| 175 | 29 |1900 |1802 |1900 | 237 | 660k| 4 |3651 | 0.000000e+00 | 4.448540e+05 | Inf
819.52/819.55 c 770s|980000 |979995 | 2689k| 2.7 |1023M| 175 | 0 |1900 |1802 |1900 | 307 | 667k| 4 |3667 | 0.000000e+00 | 4.448540e+05 | Inf
827.72/827.73 c 778s|990000 |989995 | 2713k| 2.7 |1033M| 175 | 13 |1900 |1802 |1900 | 271 | 673k| 4 |3687 | 0.000000e+00 | 4.448540e+05 | Inf
835.61/835.69 c 785s| 1000k|999995 | 2732k| 2.7 |1044M| 175 | 0 |1900 |1802 |1900 | 292 | 678k| 4 |3691 | 0.000000e+00 | 4.448540e+05 | Inf
843.72/843.79 c 793s| 1010k| 1009k| 2754k| 2.7 |1054M| 175 | 0 |1900 |1802 |1900 | 253 | 683k| 4 |3708 | 0.000000e+00 | 4.448540e+05 | Inf
851.62/851.69 c 800s| 1020k| 1019k| 2770k| 2.7 |1064M| 175 | 0 |1900 |1802 |1900 | 276 | 688k| 4 |3726 | 0.000000e+00 | 4.448540e+05 | Inf
859.41/859.46 c 807s| 1030k| 1029k| 2783k| 2.7 |1074M| 175 | 5 |1900 |1802 |1900 | 284 | 691k| 4 |3728 | 0.000000e+00 | 4.448540e+05 | Inf
867.42/867.44 c 815s| 1040k| 1039k| 2806k| 2.7 |1085M| 175 | 8 |1900 |1802 |1900 | 290 | 697k| 4 |3747 | 0.000000e+00 | 4.448540e+05 | Inf
875.41/875.45 c 822s| 1050k| 1049k| 2826k| 2.7 |1095M| 175 | 28 |1900 |1802 |1900 | 250 | 703k| 4 |3768 | 0.000000e+00 | 4.448540e+05 | Inf
883.61/883.62 c 830s| 1060k| 1059k| 2852k| 2.7 |1105M| 175 | 0 |1900 |1802 |1900 | 296 | 709k| 4 |3790 | 0.000000e+00 | 4.448540e+05 | Inf
891.61/891.62 c 838s| 1070k| 1069k| 2872k| 2.7 |1115M| 175 | 0 |1900 |1802 |1900 | 284 | 714k| 4 |3791 | 0.000000e+00 | 4.448540e+05 | Inf
899.92/899.98 c 846s| 1080k| 1079k| 2899k| 2.7 |1126M| 175 | 0 |1900 |1802 |1900 | 283 | 721k| 4 |3813 | 0.000000e+00 | 4.448540e+05 | Inf
908.02/908.06 c 853s| 1090k| 1089k| 2917k| 2.7 |1136M| 175 | 8 |1900 |1802 |1900 | 275 | 726k| 4 |3832 | 0.000000e+00 | 4.448540e+05 | Inf
916.11/916.12 c 861s| 1100k| 1099k| 2935k| 2.7 |1146M| 175 | 13 |1900 |1802 |1900 | 222 | 732k| 4 |3852 | 0.000000e+00 | 4.448540e+05 | Inf
924.41/924.45 c 869s| 1110k| 1109k| 2963k| 2.7 |1157M| 175 | 5 |1900 |1802 |1900 | 274 | 740k| 4 |3871 | 0.000000e+00 | 4.448540e+05 | Inf
932.42/932.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.42/932.49 c 876s| 1120k| 1119k| 2983k| 2.7 |1167M| 175 | 12 |1900 |1802 |1900 | 288 | 747k| 4 |3890 | 0.000000e+00 | 4.448540e+05 | Inf
940.62/940.64 c 884s| 1130k| 1129k| 3005k| 2.7 |1177M| 175 | 15 |1900 |1802 |1900 | 251 | 753k| 4 |3915 | 0.000000e+00 | 4.448540e+05 | Inf
948.71/948.75 c 892s| 1140k| 1139k| 3029k| 2.7 |1187M| 175 | 8 |1900 |1802 |1900 | 286 | 760k| 4 |3931 | 0.000000e+00 | 4.448540e+05 | Inf
956.82/956.88 c 899s| 1150k| 1149k| 3050k| 2.7 |1198M| 175 | 0 |1900 |1802 |1900 | 280 | 765k| 4 |3949 | 0.000000e+00 | 4.448540e+05 | Inf
965.01/965.00 c 907s| 1160k| 1159k| 3071k| 2.6 |1208M| 175 | 10 |1900 |1802 |1900 | 257 | 770k| 4 |3968 | 0.000000e+00 | 4.448540e+05 | Inf
973.31/973.30 c 915s| 1170k| 1169k| 3097k| 2.6 |1218M| 187 | 0 |1900 |1802 |1900 | 311 | 775k| 4 |3984 | 0.000000e+00 | 4.448540e+05 | Inf
981.12/981.20 c 922s| 1180k| 1179k| 3113k| 2.6 |1228M| 187 | 0 |1900 |1802 |1900 | 298 | 780k| 4 |3985 | 0.000000e+00 | 4.448540e+05 | Inf
989.11/989.17 c 930s| 1190k| 1189k| 3134k| 2.6 |1239M| 187 | 0 |1900 |1802 |1900 | 320 | 785k| 4 |3999 | 0.000000e+00 | 4.448540e+05 | Inf
997.11/997.13 c 937s| 1200k| 1199k| 3155k| 2.6 |1249M| 187 | 0 |1900 |1802 |1900 | 303 | 791k| 4 |4013 | 0.000000e+00 | 4.448540e+05 | Inf
1005.31/1005.32 c 945s| 1210k| 1209k| 3177k| 2.6 |1259M| 187 | 14 |1900 |1802 |1900 | 270 | 796k| 4 |4035 | 0.000000e+00 | 4.448540e+05 | Inf
1013.52/1013.57 c 953s| 1220k| 1219k| 3199k| 2.6 |1270M| 187 | 12 |1900 |1802 |1900 | 292 | 802k| 4 |4049 | 0.000000e+00 | 4.448540e+05 | Inf
1021.71/1021.72 c 960s| 1230k| 1229k| 3222k| 2.6 |1280M| 187 | 3 |1900 |1802 |1900 | 282 | 809k| 4 |4054 | 0.000000e+00 | 4.448540e+05 | Inf
1029.82/1029.83 c 968s| 1240k| 1239k| 3244k| 2.6 |1290M| 187 | 0 |1900 |1802 |1900 | 263 | 816k| 4 |4071 | 0.000000e+00 | 4.448540e+05 | Inf
1037.91/1037.98 c 976s| 1250k| 1249k| 3268k| 2.6 |1301M| 187 | 0 |1900 |1802 |1900 | 262 | 823k| 4 |4092 | 0.000000e+00 | 4.448540e+05 | Inf
1045.92/1045.90 c 983s| 1260k| 1259k| 3285k| 2.6 |1311M| 187 | 0 |1900 |1802 |1900 | 248 | 828k| 4 |4106 | 0.000000e+00 | 4.448540e+05 | Inf
1053.83/1053.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1053.83/1053.82 c 990s| 1270k| 1269k| 3303k| 2.6 |1321M| 187 | 0 |1900 |1802 |1900 | 283 | 833k| 4 |4113 | 0.000000e+00 | 4.448540e+05 | Inf
1061.72/1061.77 c 998s| 1280k| 1279k| 3320k| 2.6 |1331M| 187 | 12 |1900 |1802 |1900 | 244 | 838k| 4 |4130 | 0.000000e+00 | 4.448540e+05 | Inf
1069.82/1069.83 c 1006s| 1290k| 1289k| 3340k| 2.6 |1342M| 187 | 0 |1900 |1802 |1900 | 299 | 843k| 4 |4144 | 0.000000e+00 | 4.448540e+05 | Inf
1078.02/1078.08 c 1013s| 1300k| 1299k| 3368k| 2.6 |1352M| 187 | 0 |1900 |1802 |1900 | 299 | 851k| 4 |4159 | 0.000000e+00 | 4.448540e+05 | Inf
1086.02/1086.07 c 1021s| 1310k| 1309k| 3387k| 2.6 |1362M| 187 | 0 |1900 |1802 |1900 | 317 | 856k| 4 |4164 | 0.000000e+00 | 4.448540e+05 | Inf
1094.01/1094.00 c 1028s| 1320k| 1319k| 3407k| 2.6 |1372M| 187 | 0 |1900 |1802 |1900 | 278 | 861k| 4 |4183 | 0.000000e+00 | 4.448540e+05 | Inf
1102.02/1102.07 c 1036s| 1330k| 1329k| 3429k| 2.6 |1383M| 187 | 0 |1900 |1802 |1900 | 275 | 867k| 4 |4198 | 0.000000e+00 | 4.448540e+05 | Inf
1110.42/1110.40 c 1044s| 1340k| 1339k| 3458k| 2.6 |1393M| 187 | 0 |1900 |1802 |1900 | 290 | 874k| 4 |4217 | 0.000000e+00 | 4.448540e+05 | Inf
1118.22/1118.27 c 1051s| 1350k| 1349k| 3475k| 2.6 |1403M| 187 | 0 |1900 |1802 |1900 | 302 | 879k| 4 |4220 | 0.000000e+00 | 4.448540e+05 | Inf
1125.91/1125.94 c 1058s| 1360k| 1359k| 3488k| 2.6 |1414M| 187 | 0 |1900 |1802 |1900 | 302 | 883k| 4 |4234 | 0.000000e+00 | 4.448540e+05 | Inf
1133.62/1133.62 c 1066s| 1370k| 1369k| 3501k| 2.6 |1424M| 187 | 0 |1900 |1801 |1900 | 320 | 887k| 4 |4234 | 0.000000e+00 | 4.448540e+05 | Inf
1141.52/1141.56 c 1073s| 1380k| 1379k| 3520k| 2.6 |1434M| 187 | 0 |1900 |1800 |1900 | 298 | 892k| 4 |4256 | 0.000000e+00 | 4.448540e+05 | Inf
1149.62/1149.69 c 1081s| 1390k| 1389k| 3545k| 2.6 |1444M| 187 | 3 |1900 |1800 |1900 | 282 | 900k| 4 |4273 | 0.000000e+00 | 4.448540e+05 | Inf
1157.72/1157.70 c 1088s| 1400k| 1399k| 3564k| 2.5 |1455M| 187 | 0 |1900 |1800 |1900 | 267 | 905k| 4 |4287 | 0.000000e+00 | 4.448540e+05 | Inf
1165.52/1165.52 c 1096s| 1410k| 1409k| 3579k| 2.5 |1465M| 187 | 0 |1900 |1800 |1900 | 285 | 909k| 4 |4291 | 0.000000e+00 | 4.448540e+05 | Inf
1173.42/1173.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1173.42/1173.48 c 1103s| 1420k| 1419k| 3597k| 2.5 |1475M| 187 | 0 |1900 |1800 |1900 | 319 | 913k| 4 |4307 | 0.000000e+00 | 4.448540e+05 | Inf
1181.22/1181.25 c 1111s| 1430k| 1429k| 3610k| 2.5 |1485M| 187 | 0 |1900 |1800 |1900 | 282 | 917k| 4 |4307 | 0.000000e+00 | 4.448540e+05 | Inf
1189.13/1189.12 c 1118s| 1440k| 1439k| 3626k| 2.5 |1496M| 187 | 0 |1900 |1800 |1900 | 296 | 922k| 4 |4322 | 0.000000e+00 | 4.448540e+05 | Inf
1196.92/1196.96 c 1125s| 1450k| 1449k| 3643k| 2.5 |1506M| 187 | 0 |1900 |1800 |1900 | 309 | 926k| 4 |4323 | 0.000000e+00 | 4.448540e+05 | Inf
1204.93/1204.98 c 1133s| 1460k| 1459k| 3661k| 2.5 |1516M| 187 | 0 |1900 |1800 |1900 | 299 | 932k| 4 |4337 | 0.000000e+00 | 4.448540e+05 | Inf
1212.82/1212.86 c 1140s| 1470k| 1469k| 3677k| 2.5 |1526M| 187 | 0 |1900 |1800 |1900 | 295 | 936k| 4 |4353 | 0.000000e+00 | 4.448540e+05 | Inf
1220.82/1220.80 c 1148s| 1480k| 1479k| 3695k| 2.5 |1537M| 187 | 0 |1900 |1800 |1900 | 309 | 942k| 4 |4356 | 0.000000e+00 | 4.448540e+05 | Inf
1228.52/1228.55 c 1155s| 1490k| 1489k| 3709k| 2.5 |1547M| 187 | 3 |1900 |1800 |1900 | 279 | 946k| 4 |4375 | 0.000000e+00 | 4.448540e+05 | Inf
1236.32/1236.33 c 1163s| 1500k| 1499k| 3722k| 2.5 |1557M| 189 | 0 |1900 |1800 |1900 | 272 | 949k| 4 |4375 | 0.000000e+00 | 4.448540e+05 | Inf
1244.02/1244.08 c 1170s| 1510k| 1509k| 3736k| 2.5 |1567M| 189 | 0 |1900 |1800 |1900 | 302 | 954k| 4 |4389 | 0.000000e+00 | 4.448540e+05 | Inf
1252.22/1252.21 c 1178s| 1520k| 1519k| 3760k| 2.5 |1577M| 189 | 0 |1900 |1800 |1900 | 292 | 960k| 4 |4399 | 0.000000e+00 | 4.448540e+05 | Inf
1259.92/1259.92 c 1185s| 1530k| 1529k| 3775k| 2.5 |1588M| 189 | 3 |1900 |1800 |1900 | 296 | 964k| 4 |4407 | 0.000000e+00 | 4.448540e+05 | Inf
1268.02/1268.02 c 1192s| 1540k| 1539k| 3799k| 2.5 |1598M| 189 | 0 |1900 |1800 |1900 | 310 | 971k| 4 |4421 | 0.000000e+00 | 4.448540e+05 | Inf
1275.93/1275.99 c 1200s| 1550k| 1549k| 3819k| 2.5 |1608M| 189 | 0 |1900 |1800 |1900 | 274 | 976k| 4 |4432 | 0.000000e+00 | 4.448540e+05 | Inf
1283.92/1283.94 c 1207s| 1560k| 1559k| 3839k| 2.5 |1619M| 189 | 0 |1900 |1800 |1900 | 273 | 982k| 4 |4441 | 0.000000e+00 | 4.448540e+05 | Inf
1291.72/1291.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.72/1291.74 c 1215s| 1570k| 1569k| 3854k| 2.5 |1629M| 189 | 0 |1900 |1800 |1900 | 280 | 986k| 4 |4455 | 0.000000e+00 | 4.448540e+05 | Inf
1299.52/1299.56 c 1222s| 1580k| 1579k| 3869k| 2.4 |1639M| 189 | 25 |1900 |1800 |1900 | 294 | 990k| 4 |4457 | 0.000000e+00 | 4.448540e+05 | Inf
1307.52/1307.50 c 1230s| 1590k| 1589k| 3889k| 2.4 |1649M| 189 | 0 |1900 |1800 |1900 | 308 | 995k| 4 |4471 | 0.000000e+00 | 4.448540e+05 | Inf
1315.42/1315.44 c 1237s| 1600k| 1599k| 3908k| 2.4 |1660M| 189 | 0 |1900 |1800 |1900 | 299 |1000k| 4 |4480 | 0.000000e+00 | 4.448540e+05 | Inf
1323.72/1323.74 c 1245s| 1610k| 1609k| 3934k| 2.4 |1670M| 189 | 0 |1900 |1800 |1900 | 281 |1006k| 4 |4486 | 0.000000e+00 | 4.448540e+05 | Inf
1331.72/1331.76 c 1252s| 1620k| 1619k| 3952k| 2.4 |1680M| 189 | 0 |1900 |1800 |1900 | 303 |1009k| 4 |4500 | 0.000000e+00 | 4.448540e+05 | Inf
1339.72/1339.76 c 1260s| 1630k| 1629k| 3969k| 2.4 |1690M| 189 | 0 |1900 |1800 |1900 | 301 |1012k| 4 |4512 | 0.000000e+00 | 4.448540e+05 | Inf
1347.72/1347.74 c 1267s| 1640k| 1639k| 3985k| 2.4 |1701M| 189 | 9 |1900 |1800 |1900 | 274 |1016k| 4 |4517 | 0.000000e+00 | 4.448540e+05 | Inf
1356.83/1356.81 c 1276s| 1650k| 1649k| 4022k| 2.4 |1711M| 189 | 0 |1900 |1800 |1900 | 315 |1020k| 4 |4530 | 0.000000e+00 | 4.448540e+05 | Inf
1364.53/1364.59 c 1283s| 1660k| 1659k| 4036k| 2.4 |1721M| 189 | 0 |1900 |1800 |1900 | 293 |1024k| 4 |4544 | 0.000000e+00 | 4.448540e+05 | Inf
1372.52/1372.56 c 1291s| 1670k| 1669k| 4053k| 2.4 |1731M| 189 | 0 |1900 |1800 |1900 | 285 |1029k| 4 |4552 | 0.000000e+00 | 4.448540e+05 | Inf
1380.32/1380.39 c 1298s| 1680k| 1679k| 4070k| 2.4 |1742M| 189 | 4 |1900 |1800 |1900 | 288 |1033k| 4 |4560 | 0.000000e+00 | 4.448540e+05 | Inf
1388.13/1388.16 c 1306s| 1690k| 1689k| 4084k| 2.4 |1752M| 189 | 4 |1900 |1800 |1900 | 283 |1037k| 4 |4574 | 0.000000e+00 | 4.448540e+05 | Inf
1395.82/1395.87 c 1313s| 1700k| 1699k| 4098k| 2.4 |1762M| 189 | 0 |1900 |1800 |1900 | 323 |1041k| 4 |4576 | 0.000000e+00 | 4.448540e+05 | Inf
1403.64/1403.70 c 1320s| 1710k| 1709k| 4115k| 2.4 |1772M| 189 | 0 |1900 |1800 |1900 | 308 |1044k| 4 |4586 | 0.000000e+00 | 4.448540e+05 | Inf
1411.34/1411.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.34/1411.40 c 1327s| 1720k| 1719k| 4129k| 2.4 |1782M| 189 | 0 |1900 |1800 |1900 | 269 |1048k| 4 |4594 | 0.000000e+00 | 4.448540e+05 | Inf
1419.23/1419.21 c 1335s| 1730k| 1729k| 4144k| 2.4 |1793M| 189 | 7 |1900 |1800 |1900 | 276 |1052k| 4 |4595 | 0.000000e+00 | 4.448540e+05 | Inf
1426.93/1426.94 c 1342s| 1740k| 1739k| 4159k| 2.4 |1803M| 189 | 0 |1900 |1800 |1900 | 285 |1056k| 4 |4610 | 0.000000e+00 | 4.448540e+05 | Inf
1434.82/1434.89 c 1350s| 1750k| 1749k| 4178k| 2.4 |1813M| 189 | 0 |1900 |1800 |1900 | 292 |1061k| 4 |4624 | 0.000000e+00 | 4.448540e+05 | Inf
1442.53/1442.55 c 1357s| 1760k| 1759k| 4191k| 2.4 |1823M| 189 | 0 |1900 |1800 |1900 | 311 |1065k| 4 |4626 | 0.000000e+00 | 4.448540e+05 | Inf
1450.13/1450.18 c 1364s| 1770k| 1769k| 4203k| 2.4 |1833M| 189 | 4 |1900 |1800 |1900 | 252 |1068k| 4 |4635 | 0.000000e+00 | 4.448540e+05 | Inf
1457.93/1457.99 c 1371s| 1780k| 1779k| 4218k| 2.4 |1844M| 189 | 0 |1900 |1800 |1900 | 284 |1072k| 4 |4644 | 0.000000e+00 | 4.448540e+05 | Inf
1465.73/1465.75 c 1379s| 1790k| 1789k| 4232k| 2.4 |1854M| 189 | 24 |1900 |1800 |1900 | 274 |1076k| 4 |4655 | 0.000000e+00 | 4.448540e+05 | Inf
1473.53/1473.59 c 1386s| 1800k| 1799k| 4247k| 2.4 |1864M| 189 | 0 |1900 |1800 |1900 | 308 |1080k| 4 |4660 | 0.000000e+00 | 4.448540e+05 | Inf
1481.33/1481.30 c 1393s| 1810k| 1809k| 4261k| 2.4 |1874M| 189 | 0 |1900 |1800 |1900 | 272 |1084k| 4 |4672 | 0.000000e+00 | 4.448540e+05 | Inf
1489.33/1489.32 c 1401s| 1820k| 1819k| 4280k| 2.4 |1885M| 189 | 0 |1900 |1800 |1900 | 319 |1089k| 4 |4678 | 0.000000e+00 | 4.448540e+05 | Inf
1496.93/1496.93 c 1408s| 1830k| 1829k| 4291k| 2.3 |1895M| 189 | 0 |1900 |1800 |1900 | 323 |1092k| 4 |4689 | 0.000000e+00 | 4.448540e+05 | Inf
1504.74/1504.71 c 1415s| 1840k| 1839k| 4305k| 2.3 |1905M| 189 | 13 |1900 |1800 |1900 | 284 |1096k| 4 |4691 | 0.000000e+00 | 4.448540e+05 | Inf
1512.53/1512.51 c 1423s| 1850k| 1849k| 4320k| 2.3 |1915M| 189 | 0 |1900 |1800 |1900 | 287 |1100k| 4 |4707 | 0.000000e+00 | 4.448540e+05 | Inf
1520.53/1520.51 c 1430s| 1860k| 1859k| 4340k| 2.3 |1926M| 189 | 0 |1900 |1800 |1900 | 321 |1106k| 4 |4710 | 0.000000e+00 | 4.448540e+05 | Inf
1528.43/1528.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.43/1528.40 c 1438s| 1870k| 1869k| 4359k| 2.3 |1936M| 189 | 0 |1900 |1800 |1900 | 305 |1111k| 4 |4726 | 0.000000e+00 | 4.448540e+05 | Inf
1536.64/1536.61 c 1446s| 1880k| 1879k| 4383k| 2.3 |1946M| 189 | 0 |1900 |1800 |1900 | 299 |1115k| 4 |4739 | 0.000000e+00 | 4.448540e+05 | Inf
1544.73/1544.72 c 1453s| 1890k| 1889k| 4404k| 2.3 |1956M| 189 | 0 |1900 |1800 |1900 | 306 |1120k| 4 |4743 | 0.000000e+00 | 4.448540e+05 | Inf
1552.63/1552.63 c 1461s| 1900k| 1899k| 4421k| 2.3 |1967M| 189 | 0 |1900 |1800 |1900 | 299 |1124k| 4 |4756 | 0.000000e+00 | 4.448540e+05 | Inf
1560.73/1560.74 c 1468s| 1910k| 1909k| 4442k| 2.3 |1977M| 189 | 0 |1900 |1800 |1900 | 299 |1130k| 4 |4773 | 0.000000e+00 | 4.448540e+05 | Inf
1568.64/1568.61 c 1476s| 1920k| 1919k| 4458k| 2.3 |1987M| 189 | 0 |1900 |1800 |1900 | 313 |1133k| 4 |4773 | 0.000000e+00 | 4.448540e+05 | Inf
1576.44/1576.49 c 1483s| 1930k| 1929k| 4473k| 2.3 |1998M| 189 | 0 |1900 |1800 |1900 | 303 |1137k| 4 |4787 | 0.000000e+00 | 4.448540e+05 | Inf
1584.33/1584.33 c 1491s| 1940k| 1939k| 4488k| 2.3 |2008M| 189 | 0 |1900 |1800 |1900 | 306 |1142k| 4 |4788 | 0.000000e+00 | 4.448540e+05 | Inf
1592.23/1592.20 c 1498s| 1950k| 1949k| 4510k| 2.3 |2018M| 189 | 0 |1900 |1800 |1900 | 254 |1149k| 4 |4803 | 0.000000e+00 | 4.448540e+05 | Inf
1599.93/1599.95 c 1505s| 1960k| 1959k| 4526k| 2.3 |2028M| 189 | 0 |1900 |1800 |1900 | 279 |1154k| 4 |4820 | 0.000000e+00 | 4.448540e+05 | Inf
1607.74/1607.71 c 1513s| 1970k| 1969k| 4540k| 2.3 |2038M| 189 | 0 |1900 |1800 |1900 | 256 |1157k| 4 |4820 | 0.000000e+00 | 4.448540e+05 | Inf
1615.34/1615.36 c 1520s| 1980k| 1979k| 4551k| 2.3 |2049M| 189 | 0 |1900 |1800 |1900 | 288 |1161k| 4 |4832 | 0.000000e+00 | 4.448540e+05 | Inf
1623.23/1623.22 c 1527s| 1990k| 1989k| 4569k| 2.3 |2059M| 189 | 0 |1900 |1800 |1900 | 278 |1165k| 4 |4836 | 0.000000e+00 | 4.448540e+05 | Inf
1631.14/1631.14 c 1535s| 2000k| 1999k| 4588k| 2.3 |2069M| 189 | 0 |1900 |1800 |1900 | 304 |1171k| 4 |4853 | 0.000000e+00 | 4.448540e+05 | Inf
1638.93/1638.94 c 1542s| 2010k| 2009k| 4603k| 2.3 |2079M| 189 | 0 |1900 |1800 |1900 | 295 |1173k| 4 |4853 | 0.000000e+00 | 4.448540e+05 | Inf
1647.63/1647.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1647.63/1647.67 c 1550s| 2020k| 2019k| 4633k| 2.3 |2090M| 189 | 0 |1900 |1800 |1900 | 264 |1179k| 4 |4868 | 0.000000e+00 | 4.448540e+05 | Inf
1655.64/1655.69 c 1558s| 2030k| 2029k| 4654k| 2.3 |2100M| 189 | 0 |1900 |1800 |1900 | 257 |1185k| 4 |4883 | 0.000000e+00 | 4.448540e+05 | Inf
1663.73/1663.73 c 1565s| 2040k| 2039k| 4675k| 2.3 |2110M| 189 | 0 |1900 |1800 |1900 | 286 |1190k| 4 |4897 | 0.000000e+00 | 4.448540e+05 | Inf
1671.53/1671.58 c 1573s| 2050k| 2049k| 4692k| 2.3 |2120M| 189 | 0 |1900 |1800 |1900 | 288 |1195k| 4 |4897 | 0.000000e+00 | 4.448540e+05 | Inf
1679.44/1679.47 c 1580s| 2060k| 2059k| 4708k| 2.3 |2131M| 189 | 3 |1900 |1800 |1900 | 244 |1199k| 4 |4912 | 0.000000e+00 | 4.448540e+05 | Inf
1687.63/1687.69 c 1588s| 2070k| 2069k| 4729k| 2.3 |2141M| 189 | 0 |1900 |1802 |1900 | 276 |1206k| 6 |4922 | 0.000000e+00 | 4.448540e+05 | Inf
1695.54/1695.50 c 1595s| 2080k| 2079k| 4750k| 2.3 |2151M| 189 | 0 |1900 |1802 |1900 | 295 |1214k| 6 |4925 | 0.000000e+00 | 4.448540e+05 | Inf
1703.33/1703.35 c 1603s| 2090k| 2089k| 4770k| 2.3 |2162M| 189 | 0 |1900 |1801 |1900 | 297 |1221k| 6 |4939 | 0.000000e+00 | 4.448540e+05 | Inf
1711.03/1711.05 c 1610s| 2100k| 2099k| 4790k| 2.3 |2172M| 189 | 2 |1900 |1801 |1900 | 254 |1229k| 6 |4953 | 0.000000e+00 | 4.448540e+05 | Inf
1718.73/1718.78 c 1617s| 2110k| 2109k| 4810k| 2.3 |2182M| 189 | 3 |1900 |1801 |1900 | 224 |1236k| 6 |4954 | 0.000000e+00 | 4.448540e+05 | Inf
1726.63/1726.64 c 1625s| 2120k| 2119k| 4831k| 2.3 |2192M| 189 | 0 |1900 |1801 |1900 | 296 |1243k| 6 |4967 | 0.000000e+00 | 4.448540e+05 | Inf
1734.44/1734.45 c 1632s| 2130k| 2129k| 4850k| 2.3 |2203M| 189 | 0 |1900 |1801 |1900 | 273 |1249k| 6 |4982 | 0.000000e+00 | 4.448540e+05 | Inf
1742.14/1742.12 c 1639s| 2140k| 2139k| 4869k| 2.3 |2213M| 189 | 0 |1900 |1801 |1900 | 260 |1256k| 6 |4989 | 0.000000e+00 | 4.448540e+05 | Inf
1749.74/1749.77 c 1646s| 2150k| 2149k| 4886k| 2.3 |2223M| 189 | 0 |1900 |1801 |1900 | 268 |1262k| 6 |4997 | 0.000000e+00 | 4.448540e+05 | Inf
1757.53/1757.52 c 1654s| 2160k| 2159k| 4904k| 2.3 |2233M| 189 | 0 |1900 |1801 |1900 | 277 |1268k| 6 |5010 | 0.000000e+00 | 4.448540e+05 | Inf
1765.34/1765.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.34/1765.30 c 1661s| 2170k| 2169k| 4923k| 2.3 |2243M| 189 | 0 |1900 |1801 |1900 | 271 |1275k| 6 |5010 | 0.000000e+00 | 4.448540e+05 | Inf
1773.04/1773.05 c 1668s| 2180k| 2179k| 4942k| 2.3 |2254M| 189 | 0 |1900 |1801 |1900 | 281 |1282k| 6 |5023 | 0.000000e+00 | 4.448540e+05 | Inf
1780.84/1780.88 c 1676s| 2190k| 2189k| 4962k| 2.3 |2264M| 189 | 0 |1900 |1801 |1900 | 279 |1288k| 6 |5033 | 0.000000e+00 | 4.448540e+05 | Inf
1788.54/1788.55 c 1683s| 2200k| 2199k| 4978k| 2.3 |2274M| 189 | 0 |1900 |1801 |1900 | 267 |1295k| 6 |5036 | 0.000000e+00 | 4.448540e+05 | Inf
1796.14/1796.17 c 1690s| 2210k| 2209k| 4993k| 2.3 |2284M| 189 | 0 |1900 |1801 |1900 | 263 |1300k| 6 |5048 | 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) : 1693.74
1800.04/1800.00 c Solving Nodes : 2215003
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 : 1693.74
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2700164-1278534222.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-2700164-1278534222.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, 1804 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.00 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 2482604 0 0 1 0 0 919860
1800.04/1800.01 c indicator : 900 0 3094418 2022673 0 0 2319144 0 0 0
1800.04/1800.01 c linear : 900 6 3094418 2022673 0 4 1007413 1302612 0 0
1800.04/1800.01 c logicor : 0+ 0 46974 0 0 0 4055 0 0 0
1800.04/1800.01 c countsols : 0 0 0 1755069 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 8.68 0.00 0.00 8.68 0.00
1800.04/1800.01 c indicator : 148.46 0.00 31.33 117.13 0.00
1800.04/1800.01 c linear : 31.21 0.00 13.21 18.00 0.00
1800.04/1800.01 c logicor : 0.02 0.00 0.02 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.00 2 0 0
1800.04/1800.01 c rootredcost : 0.00 0 0 0
1800.04/1800.01 c pseudoobj : 49.30 3094218 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.01 4 4 4 6.2 2 3.5 -
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 : - - - 6 5.3 - - -
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 - - 3 - (maximal pool size: 64)
1800.04/1800.01 c redcost : 90.54 2482246 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 64 0
1800.04/1800.01 c strongcg : 0.00 4 0 0 0 0
1800.04/1800.01 c cmir : 0.01 4 0 0 0 0
1800.04/1800.01 c flowcover : 0.02 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 : 8.65 459931 0 1 0 0 919860
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 132.43 1755069 0 0 0 0 3510138
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.11 1 0
1800.04/1800.01 c intshifting : 0.04 22 0
1800.04/1800.01 c crossover : 0.13 13 0
1800.04/1800.01 c fracdiving : 13.09 24222 0
1800.04/1800.01 c veclendiving : 13.10 24222 0
1800.04/1800.01 c linesearchdiving : 13.27 24223 0
1800.04/1800.01 c guideddiving : 13.75 24223 0
1800.04/1800.01 c coefdiving : 13.67 24223 0
1800.04/1800.01 c pscostdiving : 13.63 24223 0
1800.04/1800.01 c rootsoldiving : 14.15 24190 0
1800.04/1800.01 c objpscostdiving : 14.51 24190 0
1800.04/1800.01 c trivial : 0.00 2 1
1800.04/1800.01 c simplerounding : 0.02 459887 0
1800.04/1800.01 c zirounding : 0.02 1000 0
1800.04/1800.01 c rounding : 0.27 9545 0
1800.04/1800.01 c shifting : 1.61 3022 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.02 c intdiving : 0.00 0 0
1800.04/1800.02 c actconsdiving : 0.00 0 0
1800.04/1800.02 c octane : 0.00 0 0
1800.04/1800.02 c rens : 0.01 1 0
1800.04/1800.02 c rins : 0.00 0 0
1800.04/1800.02 c localbranching : 0.00 0 0
1800.04/1800.02 c mutation : 0.00 0 0
1800.04/1800.02 c dins : 0.00 0 0
1800.04/1800.02 c undercover : 0.00 0 0
1800.04/1800.02 c nlp : 0.00 0 0
1800.04/1800.02 c trysol : 0.12 27849 99
1800.04/1800.02 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.02 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.02 c dual LP : 708.82 872797 5000143 5.73 7054.18
1800.04/1800.02 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.02 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.02 c diving/probing LP: 0.28 553 1784 3.23 6371.43
1800.04/1800.02 c strong branching : 5.88 5048 83994 16.64 14284.69
1800.04/1800.02 c (at root node) : - 33 2927 88.70 -
1800.04/1800.02 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.02 c B&B Tree :
1800.04/1800.02 c number of runs : 1
1800.04/1800.02 c nodes : 2215003
1800.04/1800.02 c nodes (total) : 2215003
1800.04/1800.02 c nodes left : 2214996
1800.04/1800.02 c max depth : 189
1800.04/1800.02 c max depth (total): 189
1800.04/1800.02 c backtracks : 24410 (1.1%)
1800.04/1800.02 c delayed cutoffs : 0
1800.04/1800.02 c repropagations : 46 (14 domain reductions, 0 cutoffs)
1800.04/1800.02 c avg switch length: 2.29
1800.04/1800.02 c switching time : 66.71
1800.04/1800.02 c Solution :
1800.04/1800.02 c Solutions found : 100 (1 improvements)
1800.04/1800.02 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.02 c Primal Bound : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.02 c Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Gap : infinite
1800.04/1800.02 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.02 c Root Iterations : 301
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700164-1278534222/watcher-2700164-1278534222 -o /tmp/evaluation-result-2700164-1278534222/solver-2700164-1278534222 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700164-1278534222.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.46 0.69 4/182 19282
/proc/meminfo: memFree=28546996/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=9412 CPUtime=0
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 1656 0 0 0 0 0 0 0 21 0 1 0 21634947 9637888 1576 4089446400 4194304 8223781 140736480507136 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/19282/statm: 2353 1576 369 984 0 1366 0
[startup+0.100406 s]
/proc/loadavg: 1.99 1.46 0.69 4/182 19282
/proc/meminfo: memFree=28546996/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=23536 CPUtime=0.09
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 6195 0 0 0 8 1 0 0 21 0 1 0 21634947 24100864 4969 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19282/statm: 5884 4969 563 984 0 4897 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23536
[startup+0.200388 s]
/proc/loadavg: 1.99 1.46 0.69 4/182 19282
/proc/meminfo: memFree=28546996/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=25236 CPUtime=0.19
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 9727 0 0 0 17 2 0 0 21 0 1 0 21634947 25841664 5380 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19282/statm: 6309 5380 578 984 0 5322 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25236
[startup+0.300369 s]
/proc/loadavg: 1.99 1.46 0.69 4/182 19282
/proc/meminfo: memFree=28546996/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=25236 CPUtime=0.29
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 9727 0 0 0 26 3 0 0 21 0 1 0 21634947 25841664 5380 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19282/statm: 6309 5380 578 984 0 5322 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25236
[startup+0.700304 s]
/proc/loadavg: 1.99 1.46 0.69 4/182 19282
/proc/meminfo: memFree=28546996/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=25236 CPUtime=0.69
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 9728 0 0 0 62 7 0 0 22 0 1 0 21634947 25841664 5380 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19282/statm: 6309 5380 578 984 0 5322 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25236
[startup+1.50116 s]
/proc/loadavg: 1.99 1.47 0.69 3/183 19283
/proc/meminfo: memFree=28525316/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=25236 CPUtime=1.5
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 9728 0 0 0 138 12 0 0 25 0 1 0 21634947 25841664 5380 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19282/statm: 6309 5380 578 984 0 5322 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 25236
[startup+3.10084 s]
/proc/loadavg: 1.99 1.47 0.69 3/183 19283
/proc/meminfo: memFree=28523704/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=26688 CPUtime=3.09
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 13204 0 0 0 286 23 0 0 25 0 1 0 21634947 27328512 5694 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19282/statm: 6672 5694 584 984 0 5685 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26688
[startup+6.30027 s]
/proc/loadavg: 1.99 1.48 0.70 3/183 19283
/proc/meminfo: memFree=28511880/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=31792 CPUtime=6.29
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 23985 0 0 0 583 46 0 0 25 0 1 0 21634947 32555008 6969 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19282/statm: 7948 6969 584 984 0 6961 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31792
[startup+12.7011 s]
/proc/loadavg: 1.99 1.49 0.71 3/183 19283
/proc/meminfo: memFree=28494164/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=40512 CPUtime=12.69
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 29361 0 0 0 1179 90 0 0 25 0 1 0 21634947 41484288 9163 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19282/statm: 10128 9163 584 984 0 9141 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40512
[startup+25.5007 s]
/proc/loadavg: 1.99 1.51 0.72 3/183 19284
/proc/meminfo: memFree=28464452/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=55988 CPUtime=25.49
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 36498 0 0 0 2376 173 0 0 25 0 1 0 21634947 57331712 13096 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/19282/statm: 13997 13096 588 984 0 13010 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55988
[startup+51.101 s]
/proc/loadavg: 2.06 1.57 0.77 3/183 19285
/proc/meminfo: memFree=28399660/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=87328 CPUtime=51.09
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 50779 0 0 0 4778 331 0 0 25 0 1 0 21634947 89423872 21028 4089446400 4194304 8223781 140736480507136 18446744073709551615 4819097 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 21832 21028 588 984 0 20845 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87328
[startup+102.3 s]
/proc/loadavg: 2.07 1.65 0.83 3/183 19286
/proc/meminfo: memFree=28276972/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=150180 CPUtime=102.3
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 69461 0 0 0 9580 650 0 0 25 0 1 0 21634947 153784320 36464 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 37545 36464 588 984 0 36558 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 150180
[startup+162.3 s]
/proc/loadavg: 2.06 1.72 0.91 3/183 19287
/proc/meminfo: memFree=28136684/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=218448 CPUtime=162.29
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 86827 0 0 0 15204 1025 0 0 25 0 1 0 21634947 223690752 53797 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 54612 53797 588 984 0 53625 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 218448
[startup+222.307 s]
/proc/loadavg: 2.11 1.80 0.98 3/183 19289
/proc/meminfo: memFree=27979012/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=292268 CPUtime=222.31
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 107682 0 0 0 20838 1393 0 0 25 0 1 0 21634947 299282432 71479 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 73067 71479 588 984 0 72080 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 292268
[startup+282.3 s]
/proc/loadavg: 2.04 1.83 1.04 3/183 19291
/proc/meminfo: memFree=27825812/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=368120 CPUtime=282.3
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 126955 0 0 0 26470 1760 0 0 25 0 1 0 21634947 376954880 90749 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 92030 90749 588 984 0 91043 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 368120
[startup+342.301 s]
/proc/loadavg: 2.01 1.86 1.10 3/183 19292
/proc/meminfo: memFree=27696924/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=441440 CPUtime=342.3
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 145567 0 0 0 32112 2118 0 0 25 0 1 0 21634947 452034560 109357 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 110360 109357 588 984 0 109373 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 441440
[startup+402.301 s]
/proc/loadavg: 2.08 1.90 1.16 3/183 19294
/proc/meminfo: memFree=27542616/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=525624 CPUtime=402.3
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 168031 0 0 0 37754 2476 0 0 25 0 1 0 21634947 538238976 128638 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 131406 128638 588 984 0 130419 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 525624
[startup+462.301 s]
/proc/loadavg: 2.03 1.92 1.21 3/183 19295
/proc/meminfo: memFree=27414072/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=599140 CPUtime=462.3
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 186712 0 0 0 43401 2829 0 0 25 0 1 0 21634947 613519360 147307 4089446400 4194304 8223781 140736480507136 18446744073709551615 4414549 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 149785 147307 588 984 0 148798 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 599140
[startup+522.301 s]
/proc/loadavg: 2.01 1.93 1.26 3/183 19297
/proc/meminfo: memFree=27329944/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=672580 CPUtime=522.31
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 205354 0 0 0 49047 3184 0 0 25 0 1 0 21634947 688721920 165948 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 168145 165948 588 984 0 167158 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 672580
[startup+582.301 s]
/proc/loadavg: 2.00 1.94 1.30 3/183 19299
/proc/meminfo: memFree=27203536/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=747256 CPUtime=582.3
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 224306 0 0 0 54677 3553 0 0 25 0 1 0 21634947 765190144 184899 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 186814 184899 588 984 0 185827 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 747256
[startup+642.301 s]
/proc/loadavg: 2.00 1.95 1.34 3/183 19300
/proc/meminfo: memFree=27123116/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=823564 CPUtime=642.31
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 243682 0 0 0 60312 3919 0 0 25 0 1 0 21634947 843329536 204269 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 205891 204269 588 984 0 204904 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 823564
[startup+702.3 s]
################
# More data... #
################
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 380520 0 0 0 99850 6382 0 0 25 0 1 0 21634947 1399160832 337913 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 341592 337913 588 984 0 340605 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1366368
[startup+1122.3 s]
/proc/loadavg: 2.06 1.99 1.59 3/183 19313
/proc/meminfo: memFree=26268460/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=1440400 CPUtime=1122.32
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 399320 0 0 0 105501 6731 0 0 25 0 1 0 21634947 1474969600 356713 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 360100 356713 588 984 0 359113 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1440400
[startup+1182.3 s]
/proc/loadavg: 2.07 2.00 1.62 3/183 19315
/proc/meminfo: memFree=26177520/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=1517356 CPUtime=1182.32
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 418828 0 0 0 111156 7076 0 0 25 0 1 0 21634947 1553772544 376221 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 379339 376221 588 984 0 378352 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1517356
[startup+1242.3 s]
/proc/loadavg: 2.09 2.02 1.65 3/183 19316
/proc/meminfo: memFree=26099096/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=1593436 CPUtime=1242.32
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 438172 0 0 0 116822 7410 0 0 25 0 1 0 21634947 1631678464 395564 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 398359 395564 588 984 0 397372 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1593436
[startup+1302.3 s]
/proc/loadavg: 2.24 2.06 1.68 3/183 19318
/proc/meminfo: memFree=26014356/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=1671804 CPUtime=1302.32
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 458060 0 0 0 122477 7755 0 0 25 0 1 0 21634947 1711927296 415452 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 417951 415452 588 984 0 416964 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1671804
[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 1.70 3/183 19319
/proc/meminfo: memFree=25931488/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=1745780 CPUtime=1362.33
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 480035 0 0 0 128119 8114 0 0 25 0 1 0 21634947 1787678720 434238 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 436445 434238 588 984 0 435458 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1745780
[startup+1422.3 s]
/proc/loadavg: 2.03 2.04 1.72 3/183 19321
/proc/meminfo: memFree=25847088/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=1821772 CPUtime=1422.34
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 499330 0 0 0 133774 8460 0 0 25 0 1 0 21634947 1865494528 453525 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 455443 453525 588 984 0 454456 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1821772
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 1.73 3/183 19530
/proc/meminfo: memFree=26947996/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=1898792 CPUtime=1482.33
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 518878 0 0 0 139430 8803 0 0 25 0 1 0 21634947 1944363008 473072 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 474698 473072 588 984 0 473711 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1898792
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 1.74 3/183 19531
/proc/meminfo: memFree=26569612/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=1974632 CPUtime=1542.34
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 538184 0 0 0 145095 9139 0 0 25 0 1 0 21634947 2022023168 492347 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 493658 492347 588 984 0 492671 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1974632
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.76 3/183 19533
/proc/meminfo: memFree=26194788/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=2053516 CPUtime=1602.33
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 558196 0 0 0 150748 9485 0 0 25 0 1 0 21634947 2102800384 512359 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 513379 512359 588 984 0 512392 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2053516
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.77 3/183 19534
/proc/meminfo: memFree=25831160/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=2159324 CPUtime=1662.34
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 576754 0 0 0 156408 9826 0 0 25 0 1 0 21634947 2211147776 530911 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 539831 530911 588 984 0 538844 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2159324
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/183 19536
/proc/meminfo: memFree=25474468/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=2238752 CPUtime=1722.33
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 596893 0 0 0 162063 10170 0 0 25 0 1 0 21634947 2292482048 551046 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 559688 551046 588 984 0 558701 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2238752
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/183 19538
/proc/meminfo: memFree=25106744/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=2315400 CPUtime=1782.34
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 616384 0 0 0 167710 10524 0 0 25 0 1 0 21634947 2370969600 570532 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 578850 570532 588 984 0 577863 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2315400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.79 3/183 19538
/proc/meminfo: memFree=24998464/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=2338824 CPUtime=1800.04
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 622333 0 0 0 169375 10629 0 0 25 0 1 0 21634947 2394955776 576481 4089446400 4194304 8223781 140736480507136 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19282/statm: 584706 576481 588 984 0 583719 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2338824
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19282
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 1.80 3/184 19539
/proc/meminfo: memFree=24995848/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=2338824 CPUtime=1800.74
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 622335 0 0 0 169445 10629 0 0 25 0 1 0 21634947 2394955776 576483 4089446400 4194304 8223781 140736480507136 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19282/statm: 584706 576483 590 984 0 583719 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 2338824
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 1.80 3/184 19539
/proc/meminfo: memFree=24995848/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=2338824 CPUtime=1801.53
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 622335 0 0 0 169524 10629 0 0 25 0 1 0 21634947 2394955776 576483 4089446400 4194304 8223781 140736480507136 18446744073709551615 6206658 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19282/statm: 584706 576483 590 984 0 583719 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 2338824
[startup+1801.91 s]
/proc/loadavg: 2.00 2.00 1.80 3/184 19539
/proc/meminfo: memFree=24991260/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=2333704 CPUtime=1801.94
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 622335 0 0 0 169565 10629 0 0 25 0 1 0 21634947 2389712896 575203 4089446400 4194304 8223781 140736480507136 18446744073709551615 6206629 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19282/statm: 583426 575203 590 984 0 582439 0
Current children cumulated CPU time (s) 1801.94
Current children cumulated vsize (KiB) 2333704
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.80 3/184 19539
/proc/meminfo: memFree=24991260/32951124 swapFree=67111528/67111528
[pid=19282] ppid=19280 vsize=2330632 CPUtime=1802.03
/proc/19282/stat : 19282 (pbscip.linux.x8) R 19280 19282 18570 0 -1 4202496 622335 0 0 0 169574 10629 0 0 25 0 1 0 21634947 2386567168 574435 4089446400 4194304 8223781 140736480507136 18446744073709551615 6206535 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19282/statm: 582658 574435 590 984 0 581671 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 2330632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.13
CPU user time (s): 1695.75
CPU system time (s): 106.375
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2338824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1695.75
system time used= 106.375
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 622335
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= 1
involuntary context switches= 3898
runsolver used 3.24251 second user time and 6.60799 second system time
The end
Begin job on node135 at 2010-07-07 22:23:42
IDJOB=2700164
IDBENCH=79405
IDSOLVER=1204
FILE ID=node135/2700164-1278534222
PBS_JOBID= 11239207
Free space on /tmp= 73752 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-jnh309_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-2700164-1278534222/watcher-2700164-1278534222 -o /tmp/evaluation-result-2700164-1278534222/solver-2700164-1278534222 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700164-1278534222.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9ccb130e1efb7ba02e23bcfacb5f0a47
RANDOM SEED=1118915051
node135.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.839
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.67
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.839
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.76
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.839
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 : 7358.10
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.839
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.80
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.839
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.839
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.83
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.839
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.73
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.839
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28547448 kB
Buffers: 121748 kB
Cached: 3557776 kB
SwapCached: 0 kB
Active: 2449340 kB
Inactive: 1808232 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28547448 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4688 kB
Writeback: 0 kB
AnonPages: 578104 kB
Mapped: 17340 kB
Slab: 80836 kB
PageTables: 6192 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 727572 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73752 MiB
End job on node135 at 2010-07-07 22:53:44