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-2700320-1278534722.wbo>
0.00/0.01 c original problem has 1900 variables (1050 bin, 0 int, 0 impl, 850 cont) and 1801 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, 1050 impls, 0 clqs
0.00/0.04 c (round 2) 100 del vars, 101 del conss, 850 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1050 impls, 0 clqs
0.00/0.06 c (0.1s) probing: 101/950 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) 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, 850 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 1050 implications, 0 cliques
0.00/0.06 c presolved problem has 1800 variables (950 bin, 0 int, 0 impl, 850 cont) and 1700 constraints
0.00/0.06 c 850 constraints of type <indicator>
0.00/0.06 c 850 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.04
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.07 o 420925
0.00/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.00/0.07 c t 0.1s| 1 | 0 | 0 | - |6127k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 0 | - |6524k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 36 | - |6559k| 0 | 14 |1800 |1700 |1800 | 61 | 61 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.08 c 0.1s| 1 | 0 | 126 | - |6621k| 0 | 57 |1800 |1700 |1800 | 114 | 114 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.08/0.09 c 0.1s| 1 | 0 | 169 | - |6837k| 0 | 77 |1800 |1700 |1800 | 143 | 143 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 184 | - |6870k| 0 | 86 |1800 |1700 |1800 | 157 | 157 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 197 | - |6900k| 0 | 88 |1800 |1700 |1800 | 161 | 161 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 203 | - |6926k| 0 | 89 |1800 |1700 |1800 | 164 | 164 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.29/0.32 c 0.3s| 1 | 2 | 349 | - |6980k| 0 | 89 |1800 |1700 |1800 | 164 | 164 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
12.70/12.76 c 12.5s| 10000 | 10001 | 61963 | 6.2 | 19M| 125 | 0 |1800 |1700 |1800 | 259 | 12k| 0 | 791 | 0.000000e+00 | 4.209250e+05 | Inf
22.09/22.10 c 21.7s| 20000 | 20001 | 95349 | 4.8 | 30M| 125 | 12 |1800 |1700 |1800 | 200 | 21k| 0 | 791 | 0.000000e+00 | 4.209250e+05 | Inf
31.59/31.64 c 31.0s| 30000 | 30001 |139263 | 4.6 | 40M| 127 | 0 |1800 |1700 |1800 | 233 | 31k| 0 | 835 | 0.000000e+00 | 4.209250e+05 | Inf
40.70/40.78 c 40.0s| 40000 | 40001 |197424 | 4.9 | 50M| 127 | 11 |1800 |1700 |1800 | 269 | 45k| 0 |1016 | 0.000000e+00 | 4.209250e+05 | Inf
49.59/49.64 c 48.7s| 50000 | 49999 |242622 | 4.8 | 60M| 127 | 0 |1800 |1703 |1800 | 213 | 55k| 3 |1174 | 0.000000e+00 | 4.209250e+05 | Inf
59.00/59.03 c 57.9s| 60000 | 59997 |294813 | 4.9 | 70M| 143 | 0 |1800 |1705 |1800 | 286 | 63k| 5 |1351 | 0.000000e+00 | 4.209250e+05 | Inf
67.49/67.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.49/67.51 c 66.2s| 70000 | 69997 |332846 | 4.8 | 80M| 143 | 0 |1800 |1705 |1800 | 262 | 73k| 5 |1508 | 0.000000e+00 | 4.209250e+05 | Inf
75.39/75.49 c 74.1s| 80000 | 79997 |363344 | 4.5 | 90M| 143 | 0 |1800 |1705 |1800 | 218 | 82k| 5 |1599 | 0.000000e+00 | 4.209250e+05 | Inf
84.10/84.19 c 82.6s| 90000 | 89997 |405003 | 4.5 | 100M| 143 | 0 |1800 |1705 |1800 | 309 | 91k| 5 |1745 | 0.000000e+00 | 4.209250e+05 | Inf
92.80/92.88 c 91.1s|100000 | 99995 |446903 | 4.5 | 110M| 143 | 0 |1800 |1706 |1800 | 279 | 100k| 6 |1839 | 0.000000e+00 | 4.209250e+05 | Inf
101.20/101.28 c 99.3s|110000 |109995 |480601 | 4.4 | 120M| 143 | 25 |1800 |1706 |1800 | 230 | 109k| 6 |1953 | 0.000000e+00 | 4.209250e+05 | Inf
109.49/109.56 c 107s|120000 |119995 |513328 | 4.3 | 130M| 143 | 5 |1800 |1706 |1800 | 224 | 118k| 6 |2033 | 0.000000e+00 | 4.209250e+05 | Inf
117.70/117.75 c 115s|130000 |129995 |545019 | 4.2 | 140M| 143 | 8 |1800 |1706 |1800 | 216 | 125k| 6 |2096 | 0.000000e+00 | 4.209250e+05 | Inf
126.09/126.13 c 124s|140000 |139995 |580518 | 4.1 | 151M| 143 | 0 |1800 |1706 |1800 | 267 | 134k| 6 |2174 | 0.000000e+00 | 4.209250e+05 | Inf
134.69/134.70 c 132s|150000 |149995 |617677 | 4.1 | 161M| 143 | 0 |1800 |1706 |1800 | 261 | 141k| 6 |2260 | 0.000000e+00 | 4.209250e+05 | Inf
143.10/143.14 c 140s|160000 |159995 |652481 | 4.1 | 171M| 143 | 0 |1800 |1706 |1800 | 283 | 149k| 6 |2340 | 0.000000e+00 | 4.209250e+05 | Inf
151.29/151.31 c 148s|170000 |169995 |681382 | 4.0 | 181M| 143 | 0 |1800 |1706 |1800 | 257 | 157k| 6 |2388 | 0.000000e+00 | 4.209250e+05 | Inf
159.50/159.53 c 156s|180000 |179995 |716941 | 4.0 | 191M| 143 | 0 |1800 |1706 |1800 | 282 | 166k| 6 |2461 | 0.000000e+00 | 4.209250e+05 | Inf
167.50/167.53 c 164s|190000 |189995 |744638 | 3.9 | 201M| 143 | 0 |1800 |1706 |1800 | 222 | 174k| 6 |2542 | 0.000000e+00 | 4.209250e+05 | Inf
175.79/175.82 c 172s|200000 |199995 |777797 | 3.9 | 211M| 143 | 0 |1800 |1706 |1800 | 255 | 182k| 6 |2602 | 0.000000e+00 | 4.209250e+05 | Inf
183.70/183.74 c 180s|210000 |209995 |804809 | 3.8 | 221M| 143 | 5 |1800 |1706 |1800 | 275 | 190k| 6 |2648 | 0.000000e+00 | 4.209250e+05 | Inf
191.69/191.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.69/191.70 c 188s|220000 |219995 |831146 | 3.8 | 231M| 143 | 0 |1800 |1706 |1800 | 280 | 198k| 6 |2681 | 0.000000e+00 | 4.209250e+05 | Inf
199.80/199.82 c 196s|230000 |229995 |859747 | 3.7 | 241M| 143 | 0 |1800 |1706 |1800 | 298 | 206k| 6 |2743 | 0.000000e+00 | 4.209250e+05 | Inf
208.20/208.22 c 204s|240000 |239995 |895811 | 3.7 | 251M| 143 | 7 |1800 |1706 |1800 | 263 | 215k| 6 |2807 | 0.000000e+00 | 4.209250e+05 | Inf
216.20/216.26 c 212s|250000 |249995 |923859 | 3.7 | 261M| 143 | 0 |1800 |1706 |1800 | 242 | 223k| 6 |2835 | 0.000000e+00 | 4.209250e+05 | Inf
224.40/224.43 c 220s|260000 |259995 |955212 | 3.7 | 271M| 143 | 0 |1800 |1706 |1800 | 221 | 231k| 6 |2905 | 0.000000e+00 | 4.209250e+05 | Inf
233.20/233.26 c 229s|270000 |269995 |998541 | 3.7 | 281M| 143 | 0 |1800 |1706 |1800 | 204 | 239k| 6 |2976 | 0.000000e+00 | 4.209250e+05 | Inf
241.40/241.48 c 237s|280000 |279993 | 1029k| 3.7 | 291M| 143 | 8 |1800 |1708 |1800 | 225 | 247k| 8 |3043 | 0.000000e+00 | 4.209250e+05 | Inf
249.80/249.87 c 245s|290000 |289993 | 1062k| 3.7 | 301M| 143 | 0 |1800 |1708 |1800 | 278 | 255k| 8 |3086 | 0.000000e+00 | 4.209250e+05 | Inf
258.00/258.03 c 253s|300000 |299993 | 1090k| 3.6 | 311M| 143 | 0 |1800 |1708 |1800 | 247 | 262k| 8 |3145 | 0.000000e+00 | 4.209250e+05 | Inf
266.29/266.34 c 261s|310000 |309993 | 1123k| 3.6 | 321M| 143 | 15 |1800 |1708 |1800 | 249 | 270k| 8 |3185 | 0.000000e+00 | 4.209250e+05 | Inf
274.69/274.70 c 270s|320000 |319993 | 1156k| 3.6 | 331M| 143 | 7 |1800 |1708 |1800 | 254 | 277k| 8 |3241 | 0.000000e+00 | 4.209250e+05 | Inf
283.00/283.07 c 278s|330000 |329993 | 1190k| 3.6 | 341M| 143 | 0 |1800 |1708 |1800 | 237 | 285k| 8 |3272 | 0.000000e+00 | 4.209250e+05 | Inf
291.40/291.44 c 286s|340000 |339993 | 1225k| 3.6 | 351M| 143 | 0 |1800 |1708 |1800 | 234 | 293k| 8 |3331 | 0.000000e+00 | 4.209250e+05 | Inf
299.50/299.53 c 294s|350000 |349993 | 1253k| 3.6 | 361M| 167 | 0 |1800 |1708 |1800 | 277 | 301k| 8 |3365 | 0.000000e+00 | 4.209250e+05 | Inf
307.60/307.67 c 302s|360000 |359993 | 1284k| 3.6 | 371M| 167 | 3 |1800 |1708 |1800 | 269 | 308k| 8 |3421 | 0.000000e+00 | 4.209250e+05 | Inf
315.29/315.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
315.29/315.32 c 309s|370000 |369993 | 1300k| 3.5 | 381M| 167 | 0 |1800 |1708 |1800 | 278 | 312k| 8 |3447 | 0.000000e+00 | 4.209250e+05 | Inf
323.09/323.19 c 317s|380000 |379993 | 1327k| 3.5 | 391M| 167 | 0 |1800 |1708 |1800 | 274 | 319k| 8 |3471 | 0.000000e+00 | 4.209250e+05 | Inf
331.00/331.02 c 325s|390000 |389993 | 1349k| 3.5 | 401M| 167 | 4 |1800 |1708 |1800 | 200 | 325k| 8 |3509 | 0.000000e+00 | 4.209250e+05 | Inf
339.20/339.26 c 333s|400000 |399991 | 1382k| 3.5 | 411M| 167 | 0 |1800 |1709 |1800 | 270 | 332k| 9 |3548 | 0.000000e+00 | 4.209250e+05 | Inf
347.29/347.36 c 341s|410000 |409991 | 1413k| 3.4 | 421M| 167 | 0 |1800 |1709 |1800 | 297 | 340k| 9 |3580 | 0.000000e+00 | 4.209250e+05 | Inf
355.50/355.57 c 349s|420000 |419991 | 1444k| 3.4 | 431M| 167 | 0 |1800 |1709 |1800 | 274 | 347k| 9 |3620 | 0.000000e+00 | 4.209250e+05 | Inf
363.40/363.40 c 357s|430000 |429991 | 1467k| 3.4 | 441M| 167 | 0 |1800 |1709 |1800 | 234 | 353k| 9 |3645 | 0.000000e+00 | 4.209250e+05 | Inf
371.10/371.15 c 364s|440000 |439991 | 1489k| 3.4 | 451M| 169 | 0 |1800 |1708 |1800 | 196 | 359k| 9 |3670 | 0.000000e+00 | 4.209250e+05 | Inf
379.10/379.11 c 372s|450000 |449991 | 1515k| 3.4 | 462M| 169 | 0 |1800 |1708 |1800 | 292 | 364k| 9 |3700 | 0.000000e+00 | 4.209250e+05 | Inf
387.00/387.04 c 380s|460000 |459991 | 1543k| 3.4 | 472M| 169 | 16 |1800 |1708 |1800 | 212 | 372k| 9 |3734 | 0.000000e+00 | 4.209250e+05 | Inf
394.80/394.85 c 387s|470000 |469991 | 1566k| 3.3 | 482M| 169 | 0 |1800 |1707 |1800 | 288 | 378k| 9 |3761 | 0.000000e+00 | 4.209250e+05 | Inf
402.61/402.69 c 395s|480000 |479991 | 1591k| 3.3 | 492M| 169 | 0 |1800 |1707 |1800 | 273 | 385k| 9 |3786 | 0.000000e+00 | 4.209250e+05 | Inf
410.50/410.51 c 403s|490000 |489991 | 1615k| 3.3 | 502M| 169 | 0 |1800 |1706 |1800 | 234 | 392k| 9 |3815 | 0.000000e+00 | 4.209250e+05 | Inf
418.30/418.32 c 410s|500000 |499991 | 1639k| 3.3 | 512M| 169 | 0 |1800 |1706 |1800 | 297 | 399k| 9 |3840 | 0.000000e+00 | 4.209250e+05 | Inf
426.10/426.11 c 418s|510000 |509991 | 1664k| 3.3 | 522M| 169 | 0 |1800 |1706 |1800 | 286 | 405k| 9 |3877 | 0.000000e+00 | 4.209250e+05 | Inf
433.20/433.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
433.20/433.20 c 425s|520000 |519991 | 1674k| 3.2 | 531M| 169 | 0 |1800 |1704 |1800 | 225 | 409k| 9 |3889 | 0.000000e+00 | 4.209250e+05 | Inf
441.11/441.12 c 433s|530000 |529991 | 1702k| 3.2 | 541M| 169 | 0 |1800 |1704 |1800 | 290 | 416k| 9 |3910 | 0.000000e+00 | 4.209250e+05 | Inf
448.90/448.90 c 441s|540000 |539991 | 1725k| 3.2 | 551M| 169 | 0 |1800 |1704 |1800 | 277 | 421k| 9 |3933 | 0.000000e+00 | 4.209250e+05 | Inf
456.70/456.72 c 448s|550000 |549991 | 1750k| 3.2 | 561M| 169 | 6 |1800 |1704 |1800 | 265 | 428k| 9 |3958 | 0.000000e+00 | 4.209250e+05 | Inf
464.70/464.77 c 456s|560000 |559991 | 1779k| 3.2 | 571M| 169 | 10 |1800 |1704 |1800 | 267 | 435k| 9 |3994 | 0.000000e+00 | 4.209250e+05 | Inf
472.40/472.44 c 464s|570000 |569991 | 1800k| 3.2 | 581M| 183 | 0 |1800 |1704 |1800 | 237 | 440k| 9 |4016 | 0.000000e+00 | 4.209250e+05 | Inf
480.61/480.68 c 472s|580000 |579991 | 1833k| 3.2 | 591M| 183 | 0 |1800 |1704 |1800 | 269 | 446k| 9 |4053 | 0.000000e+00 | 4.209250e+05 | Inf
488.21/488.23 c 479s|590000 |589991 | 1851k| 3.1 | 601M| 183 | 0 |1800 |1704 |1800 | 298 | 452k| 9 |4076 | 0.000000e+00 | 4.209250e+05 | Inf
496.01/496.00 c 487s|600000 |599991 | 1872k| 3.1 | 611M| 183 | 0 |1800 |1704 |1800 | 264 | 457k| 9 |4099 | 0.000000e+00 | 4.209250e+05 | Inf
503.90/503.95 c 495s|610000 |609991 | 1897k| 3.1 | 621M| 183 | 0 |1800 |1704 |1800 | 265 | 463k| 9 |4123 | 0.000000e+00 | 4.209250e+05 | Inf
511.31/511.34 c 502s|620000 |619991 | 1910k| 3.1 | 631M| 183 | 2 |1800 |1704 |1800 | 292 | 466k| 9 |4126 | 0.000000e+00 | 4.209250e+05 | Inf
518.51/518.55 c 509s|630000 |629991 | 1922k| 3.1 | 641M| 183 | 0 |1800 |1704 |1800 | 265 | 470k| 9 |4144 | 0.000000e+00 | 4.209250e+05 | Inf
526.10/526.12 c 516s|640000 |639991 | 1940k| 3.0 | 651M| 183 | 0 |1800 |1704 |1800 | 279 | 474k| 9 |4166 | 0.000000e+00 | 4.209250e+05 | Inf
534.10/534.11 c 524s|650000 |649991 | 1970k| 3.0 | 661M| 183 | 0 |1800 |1704 |1800 | 270 | 480k| 9 |4187 | 0.000000e+00 | 4.209250e+05 | Inf
542.00/542.02 c 532s|660000 |659991 | 1995k| 3.0 | 671M| 183 | 0 |1800 |1704 |1800 | 281 | 487k| 9 |4210 | 0.000000e+00 | 4.209250e+05 | Inf
549.61/549.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.61/549.63 c 539s|670000 |669991 | 2014k| 3.0 | 681M| 183 | 0 |1800 |1704 |1800 | 279 | 492k| 9 |4234 | 0.000000e+00 | 4.209250e+05 | Inf
557.50/557.54 c 547s|680000 |679991 | 2042k| 3.0 | 691M| 183 | 0 |1800 |1704 |1800 | 262 | 499k| 9 |4254 | 0.000000e+00 | 4.209250e+05 | Inf
565.31/565.36 c 555s|690000 |689991 | 2067k| 3.0 | 701M| 183 | 0 |1800 |1704 |1800 | 260 | 505k| 9 |4277 | 0.000000e+00 | 4.209250e+05 | Inf
572.71/572.78 c 562s|700000 |699991 | 2084k| 3.0 | 711M| 183 | 0 |1800 |1704 |1800 | 282 | 510k| 9 |4297 | 0.000000e+00 | 4.209250e+05 | Inf
580.40/580.41 c 570s|710000 |709991 | 2105k| 3.0 | 721M| 183 | 0 |1800 |1704 |1800 | 229 | 515k| 9 |4317 | 0.000000e+00 | 4.209250e+05 | Inf
588.11/588.15 c 577s|720000 |719991 | 2128k| 3.0 | 731M| 183 | 0 |1800 |1704 |1800 | 294 | 521k| 9 |4338 | 0.000000e+00 | 4.209250e+05 | Inf
595.61/595.70 c 585s|730000 |729991 | 2147k| 2.9 | 741M| 183 | 0 |1800 |1704 |1800 | 274 | 527k| 9 |4357 | 0.000000e+00 | 4.209250e+05 | Inf
603.40/603.41 c 592s|740000 |739991 | 2167k| 2.9 | 751M| 183 | 0 |1800 |1704 |1800 | 255 | 533k| 9 |4371 | 0.000000e+00 | 4.209250e+05 | Inf
611.11/611.16 c 600s|750000 |749991 | 2189k| 2.9 | 761M| 183 | 35 |1800 |1704 |1800 | 243 | 538k| 9 |4385 | 0.000000e+00 | 4.209250e+05 | Inf
618.71/618.72 c 607s|760000 |759991 | 2208k| 2.9 | 771M| 183 | 0 |1800 |1704 |1800 | 277 | 545k| 9 |4397 | 0.000000e+00 | 4.209250e+05 | Inf
626.31/626.38 c 615s|770000 |769991 | 2229k| 2.9 | 781M| 183 | 0 |1800 |1704 |1800 | 302 | 551k| 9 |4418 | 0.000000e+00 | 4.209250e+05 | Inf
634.11/634.13 c 622s|780000 |779991 | 2248k| 2.9 | 791M| 207 | 0 |1800 |1704 |1800 | 279 | 556k| 9 |4438 | 0.000000e+00 | 4.209250e+05 | Inf
642.50/642.57 c 631s|790000 |789991 | 2270k| 2.9 | 801M| 207 | 0 |1800 |1704 |1800 | 245 | 561k| 9 |4459 | 0.000000e+00 | 4.209250e+05 | Inf
650.70/650.73 c 639s|800000 |799991 | 2284k| 2.9 | 811M| 207 | 0 |1800 |1704 |1800 | 265 | 566k| 9 |4461 | 0.000000e+00 | 4.209250e+05 | Inf
658.71/658.73 c 646s|810000 |809991 | 2296k| 2.8 | 821M| 207 | 0 |1800 |1704 |1800 | 243 | 570k| 9 |4479 | 0.000000e+00 | 4.209250e+05 | Inf
667.31/667.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
667.31/667.37 c 655s|820000 |819991 | 2320k| 2.8 | 831M| 207 | 8 |1800 |1704 |1800 | 263 | 576k| 9 |4497 | 0.000000e+00 | 4.209250e+05 | Inf
675.51/675.52 c 663s|830000 |829991 | 2328k| 2.8 | 841M| 207 | 0 |1800 |1704 |1800 | 266 | 578k| 9 |4500 | 0.000000e+00 | 4.209250e+05 | Inf
683.70/683.71 c 671s|840000 |839991 | 2338k| 2.8 | 851M| 207 | 5 |1800 |1704 |1800 | 274 | 580k| 9 |4516 | 0.000000e+00 | 4.209250e+05 | Inf
692.21/692.25 c 679s|850000 |849991 | 2358k| 2.8 | 861M| 207 | 0 |1800 |1704 |1800 | 250 | 586k| 9 |4536 | 0.000000e+00 | 4.209250e+05 | Inf
700.62/700.65 c 688s|860000 |859991 | 2372k| 2.8 | 871M| 207 | 0 |1800 |1704 |1800 | 280 | 590k| 9 |4543 | 0.000000e+00 | 4.209250e+05 | Inf
708.91/708.96 c 696s|870000 |869991 | 2387k| 2.7 | 881M| 207 | 0 |1800 |1704 |1800 | 284 | 594k| 9 |4557 | 0.000000e+00 | 4.209250e+05 | Inf
717.12/717.16 c 704s|880000 |879991 | 2400k| 2.7 | 891M| 207 | 0 |1800 |1704 |1800 | 274 | 597k| 9 |4574 | 0.000000e+00 | 4.209250e+05 | Inf
725.61/725.62 c 712s|890000 |889991 | 2420k| 2.7 | 901M| 207 | 0 |1800 |1704 |1800 | 261 | 602k| 9 |4588 | 0.000000e+00 | 4.209250e+05 | Inf
733.81/733.88 c 720s|900000 |899991 | 2437k| 2.7 | 911M| 207 | 0 |1800 |1704 |1800 | 213 | 606k| 9 |4592 | 0.000000e+00 | 4.209250e+05 | Inf
742.31/742.36 c 729s|910000 |909991 | 2456k| 2.7 | 921M| 207 | 0 |1800 |1704 |1800 | 294 | 611k| 9 |4609 | 0.000000e+00 | 4.209250e+05 | Inf
750.51/750.55 c 737s|920000 |919989 | 2471k| 2.7 | 931M| 207 | 0 |1800 |1706 |1800 | 291 | 615k| 11 |4623 | 0.000000e+00 | 4.209250e+05 | Inf
758.81/758.88 c 745s|930000 |929989 | 2488k| 2.7 | 940M| 207 | 0 |1800 |1706 |1800 | 273 | 620k| 11 |4629 | 0.000000e+00 | 4.209250e+05 | Inf
767.11/767.18 c 753s|940000 |939989 | 2504k| 2.7 | 950M| 207 | 0 |1800 |1706 |1800 | 277 | 624k| 11 |4650 | 0.000000e+00 | 4.209250e+05 | Inf
775.21/775.20 c 761s|950000 |949989 | 2515k| 2.6 | 960M| 207 | 0 |1800 |1706 |1800 | 249 | 628k| 11 |4658 | 0.000000e+00 | 4.209250e+05 | Inf
783.61/783.63 c 769s|960000 |959989 | 2534k| 2.6 | 970M| 207 | 0 |1800 |1706 |1800 | 279 | 632k| 11 |4666 | 0.000000e+00 | 4.209250e+05 | Inf
792.31/792.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
792.31/792.37 c 778s|970000 |969989 | 2559k| 2.6 | 980M| 207 | 27 |1800 |1706 |1800 | 209 | 638k| 11 |4681 | 0.000000e+00 | 4.209250e+05 | Inf
800.91/800.92 c 786s|980000 |979989 | 2578k| 2.6 | 990M| 207 | 0 |1800 |1706 |1800 | 265 | 642k| 11 |4697 | 0.000000e+00 | 4.209250e+05 | Inf
809.31/809.36 c 794s|990000 |989989 | 2597k| 2.6 |1000M| 207 | 0 |1800 |1706 |1800 | 273 | 647k| 11 |4714 | 0.000000e+00 | 4.209250e+05 | Inf
817.71/817.72 c 803s| 1000k|999989 | 2613k| 2.6 |1010M| 207 | 0 |1800 |1706 |1800 | 265 | 651k| 11 |4728 | 0.000000e+00 | 4.209250e+05 | Inf
826.41/826.45 c 811s| 1010k| 1009k| 2636k| 2.6 |1020M| 207 | 4 |1800 |1705 |1800 | 254 | 655k| 11 |4749 | 0.000000e+00 | 4.209250e+05 | Inf
834.72/834.71 c 819s| 1020k| 1019k| 2650k| 2.6 |1030M| 207 | 13 |1800 |1705 |1800 | 236 | 659k| 11 |4751 | 0.000000e+00 | 4.209250e+05 | Inf
843.22/843.27 c 828s| 1030k| 1029k| 2670k| 2.6 |1040M| 207 | 0 |1800 |1705 |1800 | 321 | 664k| 11 |4769 | 0.000000e+00 | 4.209250e+05 | Inf
851.72/851.73 c 836s| 1040k| 1039k| 2690k| 2.6 |1050M| 207 | 0 |1800 |1705 |1800 | 257 | 669k| 11 |4787 | 0.000000e+00 | 4.209250e+05 | Inf
860.51/860.53 c 845s| 1050k| 1049k| 2715k| 2.6 |1060M| 207 | 0 |1800 |1705 |1800 | 276 | 674k| 11 |4807 | 0.000000e+00 | 4.209250e+05 | Inf
869.11/869.15 c 853s| 1060k| 1059k| 2739k| 2.6 |1070M| 207 | 0 |1800 |1704 |1800 | 293 | 680k| 11 |4826 | 0.000000e+00 | 4.209250e+05 | Inf
877.51/877.56 c 861s| 1070k| 1069k| 2757k| 2.6 |1080M| 207 | 0 |1800 |1704 |1800 | 251 | 684k| 11 |4834 | 0.000000e+00 | 4.209250e+05 | Inf
886.21/886.22 c 870s| 1080k| 1079k| 2779k| 2.6 |1090M| 207 | 0 |1800 |1704 |1800 | 275 | 690k| 11 |4853 | 0.000000e+00 | 4.209250e+05 | Inf
894.41/894.40 c 878s| 1090k| 1089k| 2795k| 2.6 |1100M| 207 | 0 |1800 |1704 |1800 | 273 | 694k| 11 |4861 | 0.000000e+00 | 4.209250e+05 | Inf
902.62/902.61 c 886s| 1100k| 1099k| 2810k| 2.6 |1110M| 207 | 0 |1800 |1704 |1800 | 284 | 697k| 11 |4881 | 0.000000e+00 | 4.209250e+05 | Inf
911.22/911.28 c 894s| 1110k| 1109k| 2833k| 2.6 |1120M| 207 | 0 |1800 |1704 |1800 | 292 | 703k| 11 |4902 | 0.000000e+00 | 4.209250e+05 | Inf
919.52/919.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.52/919.53 c 903s| 1120k| 1119k| 2848k| 2.5 |1130M| 207 | 0 |1800 |1704 |1800 | 280 | 707k| 11 |4902 | 0.000000e+00 | 4.209250e+05 | Inf
927.82/927.88 c 911s| 1130k| 1129k| 2866k| 2.5 |1140M| 207 | 0 |1800 |1704 |1800 | 275 | 711k| 11 |4922 | 0.000000e+00 | 4.209250e+05 | Inf
936.12/936.11 c 919s| 1140k| 1139k| 2882k| 2.5 |1150M| 207 | 0 |1800 |1704 |1800 | 215 | 717k| 11 |4939 | 0.000000e+00 | 4.209250e+05 | Inf
944.52/944.53 c 927s| 1150k| 1149k| 2902k| 2.5 |1160M| 207 | 10 |1800 |1704 |1800 | 238 | 722k| 11 |4949 | 0.000000e+00 | 4.209250e+05 | Inf
953.11/953.17 c 936s| 1160k| 1159k| 2923k| 2.5 |1170M| 207 | 0 |1800 |1704 |1800 | 251 | 726k| 11 |4961 | 0.000000e+00 | 4.209250e+05 | Inf
961.52/961.58 c 944s| 1170k| 1169k| 2938k| 2.5 |1180M| 207 | 0 |1800 |1704 |1800 | 266 | 730k| 11 |4978 | 0.000000e+00 | 4.209250e+05 | Inf
969.82/969.82 c 952s| 1180k| 1179k| 2951k| 2.5 |1190M| 207 | 0 |1800 |1704 |1800 | 266 | 733k| 11 |4992 | 0.000000e+00 | 4.209250e+05 | Inf
978.02/978.08 c 960s| 1190k| 1189k| 2967k| 2.5 |1200M| 207 | 0 |1800 |1704 |1800 | 284 | 736k| 11 |4992 | 0.000000e+00 | 4.209250e+05 | Inf
986.41/986.40 c 968s| 1200k| 1199k| 2985k| 2.5 |1210M| 207 | 0 |1800 |1703 |1800 | 268 | 741k| 11 |5008 | 0.000000e+00 | 4.209250e+05 | Inf
994.82/994.86 c 977s| 1210k| 1209k| 3003k| 2.5 |1220M| 207 | 0 |1800 |1703 |1800 | 257 | 746k| 11 |5026 | 0.000000e+00 | 4.209250e+05 | Inf
1003.23/1003.22 c 985s| 1220k| 1219k| 3020k| 2.5 |1230M| 207 | 0 |1800 |1703 |1800 | 280 | 750k| 11 |5034 | 0.000000e+00 | 4.209250e+05 | Inf
1011.62/1011.60 c 993s| 1230k| 1229k| 3039k| 2.5 |1240M| 207 | 0 |1800 |1703 |1800 | 254 | 755k| 11 |5045 | 0.000000e+00 | 4.209250e+05 | Inf
1019.62/1019.64 c 1001s| 1240k| 1239k| 3052k| 2.5 |1249M| 207 | 0 |1800 |1703 |1800 | 288 | 759k| 11 |5062 | 0.000000e+00 | 4.209250e+05 | Inf
1027.82/1027.83 c 1009s| 1250k| 1249k| 3066k| 2.5 |1259M| 207 | 0 |1800 |1703 |1800 | 295 | 763k| 11 |5065 | 0.000000e+00 | 4.209250e+05 | Inf
1036.23/1036.29 c 1017s| 1260k| 1259k| 3085k| 2.4 |1269M| 207 | 3 |1800 |1703 |1800 | 232 | 768k| 11 |5084 | 0.000000e+00 | 4.209250e+05 | Inf
1044.62/1044.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1044.62/1044.67 c 1026s| 1270k| 1269k| 3101k| 2.4 |1279M| 207 | 0 |1800 |1703 |1800 | 210 | 772k| 11 |5102 | 0.000000e+00 | 4.209250e+05 | Inf
1053.22/1053.24 c 1034s| 1280k| 1279k| 3122k| 2.4 |1289M| 207 | 3 |1800 |1703 |1800 | 268 | 776k| 11 |5118 | 0.000000e+00 | 4.209250e+05 | Inf
1061.62/1061.60 c 1042s| 1290k| 1289k| 3139k| 2.4 |1299M| 207 | 20 |1800 |1703 |1800 | 208 | 780k| 11 |5122 | 0.000000e+00 | 4.209250e+05 | Inf
1069.93/1069.97 c 1050s| 1300k| 1299k| 3157k| 2.4 |1309M| 207 | 0 |1800 |1703 |1800 | 288 | 785k| 11 |5141 | 0.000000e+00 | 4.209250e+05 | Inf
1078.12/1078.16 c 1058s| 1310k| 1309k| 3172k| 2.4 |1319M| 207 | 0 |1800 |1703 |1800 | 228 | 788k| 11 |5154 | 0.000000e+00 | 4.209250e+05 | Inf
1086.52/1086.59 c 1067s| 1320k| 1319k| 3192k| 2.4 |1329M| 207 | 0 |1800 |1703 |1800 | 264 | 793k| 11 |5160 | 0.000000e+00 | 4.209250e+05 | Inf
1094.53/1094.58 c 1074s| 1330k| 1329k| 3204k| 2.4 |1339M| 207 | 0 |1800 |1703 |1800 | 227 | 797k| 11 |5177 | 0.000000e+00 | 4.209250e+05 | Inf
1103.02/1103.01 c 1083s| 1340k| 1339k| 3221k| 2.4 |1349M| 207 | 0 |1800 |1708 |1800 | 299 | 800k| 16 |5188 | 0.000000e+00 | 4.209250e+05 | Inf
1111.72/1111.76 c 1091s| 1350k| 1349k| 3247k| 2.4 |1359M| 207 | 0 |1800 |1706 |1800 | 288 | 805k| 16 |5202 | 0.000000e+00 | 4.209250e+05 | Inf
1120.02/1120.00 c 1099s| 1360k| 1359k| 3264k| 2.4 |1369M| 207 | 5 |1800 |1706 |1800 | 235 | 809k| 16 |5215 | 0.000000e+00 | 4.209250e+05 | Inf
1128.63/1128.65 c 1108s| 1370k| 1369k| 3288k| 2.4 |1379M| 207 | 26 |1800 |1706 |1800 | 234 | 814k| 16 |5237 | 0.000000e+00 | 4.209250e+05 | Inf
1137.43/1137.49 c 1117s| 1380k| 1379k| 3313k| 2.4 |1389M| 207 | 8 |1800 |1706 |1800 | 297 | 819k| 16 |5257 | 0.000000e+00 | 4.209250e+05 | Inf
1146.82/1146.80 c 1126s| 1390k| 1389k| 3344k| 2.4 |1399M| 207 | 0 |1800 |1706 |1800 | 279 | 825k| 16 |5277 | 0.000000e+00 | 4.209250e+05 | Inf
1156.03/1156.03 c 1135s| 1400k| 1399k| 3374k| 2.4 |1409M| 207 | 0 |1800 |1706 |1800 | 261 | 831k| 16 |5301 | 0.000000e+00 | 4.209250e+05 | Inf
1165.03/1165.08 c 1144s| 1410k| 1409k| 3400k| 2.4 |1419M| 207 | 0 |1800 |1706 |1800 | 285 | 837k| 16 |5322 | 0.000000e+00 | 4.209250e+05 | Inf
1173.92/1173.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1173.92/1173.97 c 1153s| 1420k| 1419k| 3423k| 2.4 |1429M| 207 | 0 |1800 |1706 |1800 | 280 | 843k| 16 |5345 | 0.000000e+00 | 4.209250e+05 | Inf
1182.83/1182.80 c 1161s| 1430k| 1429k| 3445k| 2.4 |1439M| 207 | 0 |1800 |1706 |1800 | 277 | 849k| 16 |5364 | 0.000000e+00 | 4.209250e+05 | Inf
1190.73/1190.79 c 1169s| 1440k| 1439k| 3456k| 2.4 |1449M| 207 | 0 |1800 |1706 |1800 | 249 | 851k| 16 |5367 | 0.000000e+00 | 4.209250e+05 | Inf
1198.73/1198.79 c 1177s| 1450k| 1449k| 3465k| 2.4 |1459M| 207 | 0 |1800 |1706 |1800 | 298 | 854k| 16 |5367 | 0.000000e+00 | 4.209250e+05 | Inf
1206.93/1206.91 c 1185s| 1460k| 1459k| 3479k| 2.4 |1469M| 207 | 0 |1800 |1706 |1800 | 256 | 857k| 16 |5387 | 0.000000e+00 | 4.209250e+05 | Inf
1215.32/1215.38 c 1193s| 1470k| 1469k| 3498k| 2.4 |1478M| 207 | 0 |1800 |1706 |1800 | 253 | 862k| 16 |5404 | 0.000000e+00 | 4.209250e+05 | Inf
1223.63/1223.64 c 1201s| 1480k| 1479k| 3516k| 2.4 |1488M| 207 | 0 |1800 |1706 |1800 | 250 | 867k| 16 |5405 | 0.000000e+00 | 4.209250e+05 | Inf
1232.03/1232.03 c 1210s| 1490k| 1489k| 3534k| 2.4 |1498M| 207 | 0 |1800 |1706 |1800 | 271 | 871k| 16 |5421 | 0.000000e+00 | 4.209250e+05 | Inf
1239.93/1239.96 c 1217s| 1500k| 1499k| 3546k| 2.4 |1508M| 207 | 0 |1800 |1706 |1800 | 219 | 874k| 16 |5427 | 0.000000e+00 | 4.209250e+05 | Inf
1248.33/1248.36 c 1226s| 1510k| 1509k| 3565k| 2.4 |1518M| 207 | 0 |1800 |1706 |1800 | 238 | 879k| 16 |5435 | 0.000000e+00 | 4.209250e+05 | Inf
1256.33/1256.39 c 1234s| 1520k| 1519k| 3578k| 2.4 |1528M| 207 | 0 |1800 |1706 |1800 | 261 | 883k| 16 |5449 | 0.000000e+00 | 4.209250e+05 | Inf
1264.73/1264.72 c 1242s| 1530k| 1529k| 3595k| 2.4 |1538M| 207 | 0 |1800 |1706 |1800 | 239 | 887k| 16 |5451 | 0.000000e+00 | 4.209250e+05 | Inf
1272.83/1272.81 c 1250s| 1540k| 1539k| 3610k| 2.3 |1548M| 207 | 0 |1800 |1706 |1800 | 277 | 891k| 16 |5466 | 0.000000e+00 | 4.209250e+05 | Inf
1281.33/1281.33 c 1258s| 1550k| 1549k| 3628k| 2.3 |1558M| 207 | 0 |1800 |1706 |1800 | 260 | 896k| 16 |5484 | 0.000000e+00 | 4.209250e+05 | Inf
1289.53/1289.50 c 1266s| 1560k| 1559k| 3643k| 2.3 |1568M| 207 | 0 |1800 |1706 |1800 | 233 | 899k| 16 |5484 | 0.000000e+00 | 4.209250e+05 | Inf
1298.04/1298.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1298.04/1298.06 c 1274s| 1570k| 1569k| 3664k| 2.3 |1578M| 207 | 0 |1800 |1706 |1800 | 250 | 904k| 16 |5499 | 0.000000e+00 | 4.209250e+05 | Inf
1305.93/1305.97 c 1282s| 1580k| 1579k| 3674k| 2.3 |1588M| 207 | 0 |1800 |1706 |1800 | 244 | 907k| 16 |5505 | 0.000000e+00 | 4.209250e+05 | Inf
1314.03/1314.07 c 1290s| 1590k| 1589k| 3685k| 2.3 |1598M| 207 | 0 |1800 |1706 |1800 | 290 | 910k| 16 |5515 | 0.000000e+00 | 4.209250e+05 | Inf
1322.23/1322.22 c 1298s| 1600k| 1599k| 3700k| 2.3 |1607M| 207 | 0 |1800 |1706 |1800 | 241 | 913k| 16 |5525 | 0.000000e+00 | 4.209250e+05 | Inf
1330.33/1330.36 c 1306s| 1610k| 1609k| 3713k| 2.3 |1617M| 207 | 0 |1800 |1706 |1800 | 266 | 917k| 16 |5531 | 0.000000e+00 | 4.209250e+05 | Inf
1338.53/1338.54 c 1314s| 1620k| 1619k| 3727k| 2.3 |1627M| 207 | 0 |1800 |1706 |1800 | 237 | 920k| 16 |5543 | 0.000000e+00 | 4.209250e+05 | Inf
1346.64/1346.61 c 1322s| 1630k| 1629k| 3739k| 2.3 |1637M| 207 | 0 |1800 |1706 |1800 | 253 | 924k| 16 |5544 | 0.000000e+00 | 4.209250e+05 | Inf
1354.93/1354.95 c 1330s| 1640k| 1639k| 3757k| 2.3 |1647M| 207 | 0 |1800 |1706 |1800 | 244 | 928k| 16 |5559 | 0.000000e+00 | 4.209250e+05 | Inf
1363.24/1363.28 c 1338s| 1650k| 1649k| 3775k| 2.3 |1657M| 207 | 0 |1800 |1705 |1800 | 256 | 934k| 16 |5570 | 0.000000e+00 | 4.209250e+05 | Inf
1371.23/1371.27 c 1346s| 1660k| 1659k| 3788k| 2.3 |1667M| 207 | 0 |1800 |1705 |1800 | 254 | 937k| 16 |5579 | 0.000000e+00 | 4.209250e+05 | Inf
1379.63/1379.60 c 1355s| 1670k| 1669k| 3805k| 2.3 |1677M| 207 | 12 |1800 |1705 |1800 | 294 | 941k| 16 |5587 | 0.000000e+00 | 4.209250e+05 | Inf
1388.33/1388.30 c 1363s| 1680k| 1679k| 3828k| 2.3 |1687M| 207 | 0 |1800 |1705 |1800 | 225 | 946k| 16 |5601 | 0.000000e+00 | 4.209250e+05 | Inf
1396.73/1396.72 c 1371s| 1690k| 1689k| 3846k| 2.3 |1697M| 207 | 0 |1800 |1705 |1800 | 285 | 950k| 16 |5620 | 0.000000e+00 | 4.209250e+05 | Inf
1405.23/1405.29 c 1380s| 1700k| 1699k| 3866k| 2.3 |1707M| 207 | 8 |1800 |1705 |1800 | 245 | 954k| 16 |5638 | 0.000000e+00 | 4.209250e+05 | Inf
1413.93/1413.98 c 1388s| 1710k| 1709k| 3888k| 2.3 |1717M| 207 | 0 |1800 |1705 |1800 | 289 | 959k| 16 |5651 | 0.000000e+00 | 4.209250e+05 | Inf
1422.13/1422.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.13/1422.16 c 1396s| 1720k| 1719k| 3901k| 2.3 |1727M| 207 | 0 |1800 |1705 |1800 | 264 | 962k| 16 |5656 | 0.000000e+00 | 4.209250e+05 | Inf
1430.64/1430.66 c 1405s| 1730k| 1729k| 3921k| 2.3 |1737M| 207 | 0 |1800 |1705 |1800 | 237 | 966k| 16 |5674 | 0.000000e+00 | 4.209250e+05 | Inf
1439.33/1439.33 c 1413s| 1740k| 1739k| 3946k| 2.3 |1746M| 207 | 0 |1800 |1705 |1800 | 280 | 971k| 16 |5686 | 0.000000e+00 | 4.209250e+05 | Inf
1448.54/1448.51 c 1422s| 1750k| 1749k| 3976k| 2.3 |1757M| 207 | 0 |1800 |1705 |1800 | 251 | 977k| 16 |5704 | 0.000000e+00 | 4.209250e+05 | Inf
1456.73/1456.75 c 1430s| 1760k| 1759k| 3991k| 2.3 |1766M| 207 | 0 |1800 |1705 |1800 | 224 | 981k| 16 |5715 | 0.000000e+00 | 4.209250e+05 | Inf
1465.24/1465.29 c 1439s| 1770k| 1769k| 4012k| 2.3 |1776M| 207 | 0 |1800 |1705 |1800 | 277 | 985k| 16 |5733 | 0.000000e+00 | 4.209250e+05 | Inf
1474.53/1474.56 c 1448s| 1780k| 1779k| 4046k| 2.3 |1786M| 207 | 0 |1800 |1705 |1800 | 264 | 990k| 16 |5752 | 0.000000e+00 | 4.209250e+05 | Inf
1483.54/1483.56 c 1457s| 1790k| 1789k| 4073k| 2.3 |1797M| 207 | 0 |1800 |1705 |1800 | 271 | 995k| 16 |5773 | 0.000000e+00 | 4.209250e+05 | Inf
1491.84/1491.85 c 1465s| 1800k| 1799k| 4090k| 2.3 |1807M| 207 | 0 |1800 |1705 |1800 | 234 |1000k| 16 |5774 | 0.000000e+00 | 4.209250e+05 | Inf
1500.04/1500.00 c 1473s| 1810k| 1809k| 4102k| 2.3 |1816M| 207 | 0 |1800 |1705 |1800 | 264 |1004k| 16 |5792 | 0.000000e+00 | 4.209250e+05 | Inf
1508.15/1508.15 c 1481s| 1820k| 1819k| 4118k| 2.3 |1826M| 207 | 0 |1800 |1705 |1800 | 248 |1009k| 16 |5792 | 0.000000e+00 | 4.209250e+05 | Inf
1516.04/1516.04 c 1488s| 1830k| 1829k| 4129k| 2.3 |1836M| 207 | 0 |1800 |1705 |1800 | 258 |1013k| 16 |5809 | 0.000000e+00 | 4.209250e+05 | Inf
1523.74/1523.76 c 1496s| 1840k| 1839k| 4136k| 2.2 |1846M| 207 | 0 |1800 |1705 |1800 | 227 |1015k| 16 |5812 | 0.000000e+00 | 4.209250e+05 | Inf
1531.53/1531.53 c 1504s| 1850k| 1849k| 4145k| 2.2 |1856M| 207 | 0 |1800 |1705 |1800 | 219 |1017k| 16 |5812 | 0.000000e+00 | 4.209250e+05 | Inf
1539.34/1539.33 c 1511s| 1860k| 1859k| 4152k| 2.2 |1866M| 207 | 0 |1800 |1705 |1800 | 227 |1019k| 16 |5817 | 0.000000e+00 | 4.209250e+05 | Inf
1547.43/1547.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1547.43/1547.49 c 1519s| 1870k| 1869k| 4165k| 2.2 |1875M| 207 | 0 |1800 |1705 |1800 | 225 |1022k| 16 |5834 | 0.000000e+00 | 4.209250e+05 | Inf
1555.44/1555.41 c 1527s| 1880k| 1879k| 4177k| 2.2 |1885M| 207 | 0 |1800 |1705 |1800 | 218 |1025k| 16 |5834 | 0.000000e+00 | 4.209250e+05 | Inf
1563.34/1563.33 c 1535s| 1890k| 1889k| 4187k| 2.2 |1895M| 207 | 0 |1800 |1705 |1800 | 271 |1028k| 16 |5846 | 0.000000e+00 | 4.209250e+05 | Inf
1571.54/1571.54 c 1543s| 1900k| 1899k| 4203k| 2.2 |1905M| 207 | 17 |1800 |1705 |1800 | 249 |1033k| 16 |5855 | 0.000000e+00 | 4.209250e+05 | Inf
1579.74/1579.75 c 1551s| 1910k| 1909k| 4219k| 2.2 |1915M| 207 | 6 |1800 |1705 |1800 | 235 |1037k| 16 |5862 | 0.000000e+00 | 4.209250e+05 | Inf
1587.94/1587.97 c 1559s| 1920k| 1919k| 4234k| 2.2 |1925M| 207 | 0 |1800 |1705 |1800 | 249 |1041k| 16 |5874 | 0.000000e+00 | 4.209250e+05 | Inf
1596.15/1596.14 c 1567s| 1930k| 1929k| 4250k| 2.2 |1935M| 207 | 0 |1800 |1705 |1800 | 247 |1045k| 16 |5885 | 0.000000e+00 | 4.209250e+05 | Inf
1604.54/1604.56 c 1575s| 1940k| 1939k| 4270k| 2.2 |1945M| 207 | 0 |1800 |1705 |1800 | 270 |1051k| 16 |5892 | 0.000000e+00 | 4.209250e+05 | Inf
1612.74/1612.72 c 1583s| 1950k| 1949k| 4284k| 2.2 |1955M| 207 | 0 |1800 |1705 |1800 | 279 |1055k| 16 |5908 | 0.000000e+00 | 4.209250e+05 | Inf
1621.04/1621.05 c 1592s| 1960k| 1959k| 4301k| 2.2 |1965M| 207 | 0 |1800 |1705 |1800 | 252 |1059k| 16 |5908 | 0.000000e+00 | 4.209250e+05 | Inf
1629.44/1629.44 c 1600s| 1970k| 1969k| 4317k| 2.2 |1975M| 207 | 0 |1800 |1705 |1800 | 273 |1063k| 16 |5926 | 0.000000e+00 | 4.209250e+05 | Inf
1637.64/1637.60 c 1608s| 1980k| 1979k| 4329k| 2.2 |1985M| 207 | 0 |1800 |1705 |1800 | 280 |1066k| 16 |5926 | 0.000000e+00 | 4.209250e+05 | Inf
1645.94/1645.93 c 1616s| 1990k| 1989k| 4343k| 2.2 |1994M| 207 | 0 |1800 |1705 |1800 | 255 |1069k| 16 |5943 | 0.000000e+00 | 4.209250e+05 | Inf
1654.05/1654.01 c 1624s| 2000k| 1999k| 4355k| 2.2 |2004M| 207 | 0 |1800 |1705 |1800 | 257 |1072k| 16 |5943 | 0.000000e+00 | 4.209250e+05 | Inf
1662.44/1662.40 c 1632s| 2010k| 2009k| 4371k| 2.2 |2014M| 207 | 0 |1800 |1705 |1800 | 207 |1077k| 16 |5959 | 0.000000e+00 | 4.209250e+05 | Inf
1670.65/1670.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1670.65/1670.64 c 1640s| 2020k| 2019k| 4386k| 2.2 |2024M| 207 | 0 |1800 |1705 |1800 | 254 |1080k| 16 |5960 | 0.000000e+00 | 4.209250e+05 | Inf
1678.44/1678.40 c 1648s| 2030k| 2029k| 4394k| 2.2 |2034M| 207 | 0 |1800 |1705 |1800 | 261 |1083k| 16 |5969 | 0.000000e+00 | 4.209250e+05 | Inf
1686.14/1686.13 c 1656s| 2040k| 2039k| 4401k| 2.2 |2044M| 207 | 0 |1800 |1705 |1800 | 245 |1084k| 16 |5977 | 0.000000e+00 | 4.209250e+05 | Inf
1693.84/1693.87 c 1663s| 2050k| 2049k| 4409k| 2.2 |2054M| 207 | 0 |1800 |1705 |1800 | 254 |1086k| 16 |5977 | 0.000000e+00 | 4.209250e+05 | Inf
1701.75/1701.74 c 1671s| 2060k| 2059k| 4417k| 2.1 |2063M| 207 | 0 |1800 |1705 |1800 | 298 |1088k| 16 |5977 | 0.000000e+00 | 4.209250e+05 | Inf
1709.94/1709.94 c 1679s| 2070k| 2069k| 4432k| 2.1 |2073M| 207 | 0 |1800 |1705 |1800 | 240 |1092k| 16 |5996 | 0.000000e+00 | 4.209250e+05 | Inf
1718.44/1718.47 c 1687s| 2080k| 2079k| 4450k| 2.1 |2083M| 207 | 0 |1800 |1705 |1800 | 281 |1096k| 16 |6000 | 0.000000e+00 | 4.209250e+05 | Inf
1726.84/1726.84 c 1695s| 2090k| 2089k| 4466k| 2.1 |2093M| 207 | 0 |1800 |1705 |1800 | 264 |1100k| 16 |6012 | 0.000000e+00 | 4.209250e+05 | Inf
1735.04/1735.02 c 1704s| 2100k| 2099k| 4482k| 2.1 |2103M| 207 | 2 |1800 |1705 |1800 | 235 |1105k| 16 |6026 | 0.000000e+00 | 4.209250e+05 | Inf
1742.75/1742.70 c 1711s| 2110k| 2109k| 4494k| 2.1 |2113M| 207 | 0 |1800 |1705 |1800 | 289 |1109k| 16 |6027 | 0.000000e+00 | 4.209250e+05 | Inf
1749.84/1749.89 c 1718s| 2120k| 2119k| 4506k| 2.1 |2123M| 207 | 0 |1800 |1705 |1800 | 240 |1112k| 16 |6040 | 0.000000e+00 | 4.209250e+05 | Inf
1757.15/1757.15 c 1725s| 2130k| 2129k| 4519k| 2.1 |2133M| 207 | 0 |1800 |1705 |1800 | 241 |1115k| 16 |6043 | 0.000000e+00 | 4.209250e+05 | Inf
1764.64/1764.67 c 1733s| 2140k| 2139k| 4537k| 2.1 |2143M| 207 | 0 |1800 |1705 |1800 | 271 |1120k| 16 |6061 | 0.000000e+00 | 4.209250e+05 | Inf
1771.84/1771.89 c 1740s| 2150k| 2149k| 4550k| 2.1 |2153M| 207 | 0 |1800 |1705 |1800 | 255 |1123k| 16 |6061 | 0.000000e+00 | 4.209250e+05 | Inf
1779.14/1779.18 c 1747s| 2160k| 2159k| 4565k| 2.1 |2162M| 207 | 0 |1800 |1705 |1800 | 265 |1127k| 16 |6075 | 0.000000e+00 | 4.209250e+05 | Inf
1786.45/1786.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1786.45/1786.42 c 1754s| 2170k| 2169k| 4578k| 2.1 |2172M| 207 | 0 |1800 |1705 |1800 | 261 |1131k| 16 |6075 | 0.000000e+00 | 4.209250e+05 | Inf
1793.24/1793.24 c 1761s| 2180k| 2179k| 4583k| 2.1 |2182M| 207 | 0 |1800 |1705 |1800 | 259 |1132k| 16 |6082 | 0.000000e+00 | 4.209250e+05 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1767.29
1800.05/1800.00 c Solving Nodes : 2189999
1800.05/1800.00 c Primal Bound : +4.20925000000000e+05 (100 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/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.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1767.29
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2700320-1278534722.wbo
1800.05/1800.01 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.05/1800.01 c Constraints : 1801 initial, 1801 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2700320-1278534722.wbo
1800.05/1800.01 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.05/1800.01 c Constraints : 1700 initial, 1709 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.02 0 100 0 850 0 101 0 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 2438882 0 0 0 0 0 740832
1800.05/1800.01 c indicator : 850 0 3073837 2068466 0 0 2230770 0 0 0
1800.05/1800.01 c linear : 850 6 3073837 2068466 0 7 922207 1134782 0 0
1800.05/1800.01 c logicor : 0+ 0 107705 0 0 0 18641 0 0 0
1800.05/1800.01 c countsols : 0 0 0 1819576 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 9.43 0.00 0.00 9.43 0.00
1800.05/1800.01 c indicator : 153.27 0.06 33.68 119.53 0.00
1800.05/1800.01 c linear : 39.73 0.00 16.00 23.73 0.00
1800.05/1800.01 c logicor : 0.10 0.00 0.10 0.00 0.00
1800.05/1800.01 c countsols : 0.46 0.00 0.00 0.46 0.00
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 0.90 2 0 0
1800.05/1800.01 c rootredcost : 0.90 0 0 0
1800.05/1800.01 c pseudoobj : 53.32 3073637 0 0
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 0.00 7 7 7 5.0 9 3.4 -
1800.05/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c applied globally : - - - 16 4.1 - - -
1800.05/1800.01 c applied locally : - - - 0 0.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 4 - - 11 - (maximal pool size: 61)
1800.05/1800.01 c redcost : 91.64 2438535 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 5 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.01 5 0 0 69 0
1800.05/1800.01 c strongcg : 0.02 5 0 0 0 0
1800.05/1800.01 c cmir : 0.00 5 0 0 0 0
1800.05/1800.01 c flowcover : 0.04 5 0 0 0 0
1800.05/1800.01 c clique : 0.00 1 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 8.39 370416 0 0 0 0 740832
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 135.46 1819576 0 0 0 0 3639152
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c feaspump : 0.01 0 0
1800.05/1800.01 c oneopt : 1.72 1 0
1800.05/1800.01 c intshifting : 0.07 22 0
1800.05/1800.01 c crossover : 0.87 13 0
1800.05/1800.01 c fracdiving : 12.55 22701 0
1800.05/1800.01 c veclendiving : 12.98 22702 0
1800.05/1800.01 c linesearchdiving : 12.31 22702 0
1800.05/1800.01 c guideddiving : 13.41 22702 0
1800.05/1800.01 c coefdiving : 13.04 22702 0
1800.05/1800.01 c pscostdiving : 12.90 22702 0
1800.05/1800.01 c objpscostdiving : 13.59 22670 0
1800.05/1800.01 c rootsoldiving : 13.88 22670 0
1800.05/1800.01 c trivial : 0.00 2 1
1800.05/1800.01 c simplerounding : 1.13 370374 0
1800.05/1800.01 c zirounding : 0.69 1000 0
1800.05/1800.01 c rounding : 1.02 8587 0
1800.05/1800.01 c shifting : 1.40 2676 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.01 1 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.62 0 0
1800.05/1800.01 c trysol : 1.25 26012 99
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 725.78 757642 4588263 6.06 6321.84
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.18 422 1551 3.68 8616.67
1800.05/1800.01 c strong branching : 5.92 6083 74239 12.20 12540.37
1800.05/1800.01 c (at root node) : - 33 2334 70.73 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2189999
1800.05/1800.01 c nodes (total) : 2189999
1800.05/1800.01 c nodes left : 2189986
1800.05/1800.01 c max depth : 207
1800.05/1800.01 c max depth (total): 207
1800.05/1800.01 c backtracks : 22880 (1.0%)
1800.05/1800.01 c delayed cutoffs : 0
1800.05/1800.01 c repropagations : 67 (27 domain reductions, 0 cutoffs)
1800.05/1800.01 c avg switch length: 2.29
1800.05/1800.01 c switching time : 70.01
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 100 (1 improvements)
1800.05/1800.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Primal Bound : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.05 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 203
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700320-1278534722/watcher-2700320-1278534722 -o /tmp/evaluation-result-2700320-1278534722/solver-2700320-1278534722 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700320-1278534722.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.88 1.20 4/178 18229
/proc/meminfo: memFree=29462944/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=9280 CPUtime=0
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 1617 0 0 0 0 0 0 0 25 0 1 0 21686409 9502720 1536 4089446400 4194304 8223781 140733528266976 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18229/statm: 2320 1536 369 984 0 1333 0
[startup+0.0951091 s]
/proc/loadavg: 1.99 1.88 1.20 4/178 18229
/proc/meminfo: memFree=29462944/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=23244 CPUtime=0.08
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 6123 0 0 0 8 0 0 0 25 0 1 0 21686409 23801856 4896 4089446400 4194304 8223781 140733528266976 18446744073709551615 6592214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 5811 4896 563 984 0 4824 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23244
[startup+0.101112 s]
/proc/loadavg: 1.99 1.88 1.20 4/178 18229
/proc/meminfo: memFree=29462944/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=23244 CPUtime=0.09
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 6127 0 0 0 9 0 0 0 25 0 1 0 21686409 23801856 4900 4089446400 4194304 8223781 140733528266976 18446744073709551615 6044907 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 5811 4900 563 984 0 4824 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23244
[startup+0.301076 s]
/proc/loadavg: 1.99 1.88 1.20 4/178 18229
/proc/meminfo: memFree=29462944/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=23908 CPUtime=0.29
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 9400 0 0 0 28 1 0 0 25 0 1 0 21686409 24481792 5091 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 5977 5091 578 984 0 4990 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23908
[startup+0.701 s]
/proc/loadavg: 1.99 1.88 1.20 4/178 18229
/proc/meminfo: memFree=29462944/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=23908 CPUtime=0.69
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 9400 0 0 0 67 2 0 0 25 0 1 0 21686409 24481792 5091 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 5977 5091 578 984 0 4990 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23908
[startup+1.50085 s]
/proc/loadavg: 1.99 1.88 1.21 3/179 18230
/proc/meminfo: memFree=29443716/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=23908 CPUtime=1.49
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 9416 0 0 0 145 4 0 0 25 0 1 0 21686409 24481792 5107 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 5977 5107 581 984 0 4990 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23908
[startup+3.10055 s]
/proc/loadavg: 1.99 1.88 1.21 4/179 18230
/proc/meminfo: memFree=29443220/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=27628 CPUtime=3.09
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 15960 0 0 0 302 7 0 0 25 0 1 0 21686409 28291072 6048 4089446400 4194304 8223781 140733528266976 18446744073709551615 6482456 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 6907 6048 582 984 0 5920 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27628
[startup+6.30095 s]
/proc/loadavg: 1.99 1.88 1.21 3/179 18230
/proc/meminfo: memFree=29437528/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=30844 CPUtime=6.29
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 22975 0 0 0 616 13 0 0 25 0 1 0 21686409 31584256 6839 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 7711 6839 582 984 0 6724 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30844
[startup+12.7008 s]
/proc/loadavg: 1.99 1.89 1.22 3/179 18230
/proc/meminfo: memFree=29427524/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=39280 CPUtime=12.7
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 28246 0 0 0 1244 26 0 0 25 0 1 0 21686409 40222720 8992 4089446400 4194304 8223781 140733528266976 18446744073709551615 4642165 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 9820 8992 582 984 0 8833 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 39280
[startup+25.5004 s]
/proc/loadavg: 1.99 1.89 1.22 3/179 18230
/proc/meminfo: memFree=29411548/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=53268 CPUtime=25.49
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 34909 0 0 0 2501 48 0 0 25 0 1 0 21686409 54546432 12548 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 13317 12548 582 984 0 12330 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53268
[startup+51.1006 s]
/proc/loadavg: 1.99 1.90 1.24 3/179 18231
/proc/meminfo: memFree=29375444/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=81556 CPUtime=51.09
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 48409 0 0 0 5012 97 0 0 25 0 1 0 21686409 83513344 19734 4089446400 4194304 8223781 140733528266976 18446744073709551615 6446882 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18229/statm: 20389 19734 586 984 0 19402 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 81556
[startup+102.306 s]
/proc/loadavg: 1.99 1.91 1.29 3/179 18232
/proc/meminfo: memFree=29300992/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=144268 CPUtime=102.3
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 66954 0 0 0 10035 195 0 0 25 0 1 0 21686409 147730432 35131 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18229/statm: 36067 35131 586 984 0 35080 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 144268
[startup+162.301 s]
/proc/loadavg: 1.99 1.92 1.33 3/179 18234
/proc/meminfo: memFree=29212032/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=215452 CPUtime=162.29
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 85035 0 0 0 15920 309 0 0 25 0 1 0 21686409 220622848 53202 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18229/statm: 53863 53202 586 984 0 52876 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 215452
[startup+222.301 s]
/proc/loadavg: 2.03 1.95 1.37 3/179 18236
/proc/meminfo: memFree=29114884/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=293612 CPUtime=222.3
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 106952 0 0 0 21809 421 0 0 25 0 1 0 21686409 300658688 71998 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18229/statm: 73403 71998 586 984 0 72416 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 293612
[startup+282.3 s]
/proc/loadavg: 2.01 1.95 1.41 3/179 18237
/proc/meminfo: memFree=29022968/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=364640 CPUtime=282.3
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 124998 0 0 0 27697 533 0 0 25 0 1 0 21686409 373391360 90026 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18229/statm: 91160 90026 586 984 0 90173 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 364640
[startup+342.3 s]
/proc/loadavg: 2.00 1.96 1.44 3/179 18238
/proc/meminfo: memFree=28930416/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=438052 CPUtime=342.3
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 143646 0 0 0 33582 648 0 0 25 0 1 0 21686409 448565248 108673 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18229/statm: 109513 108673 586 984 0 108526 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 438052
[startup+402.301 s]
/proc/loadavg: 2.00 1.96 1.47 3/179 18240
/proc/meminfo: memFree=28833268/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=519788 CPUtime=402.3
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 165442 0 0 0 39476 754 0 0 25 0 1 0 21686409 532262912 127357 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18229/statm: 129947 127357 586 984 0 128960 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 519788
[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.50 3/179 18242
/proc/meminfo: memFree=28734268/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=595944 CPUtime=462.3
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 184798 0 0 0 45369 861 0 0 25 0 1 0 21686409 610246656 146703 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18229/statm: 148986 146703 586 984 0 147999 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 595944
[startup+522.301 s]
/proc/loadavg: 2.00 1.97 1.53 3/179 18244
/proc/meminfo: memFree=28636004/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=673040 CPUtime=522.3
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 204374 0 0 0 51255 975 0 0 25 0 1 0 21686409 689192960 166279 4089446400 4194304 8223781 140733528266976 18446744073709551615 4560322 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18229/statm: 168260 166279 586 984 0 167273 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 673040
[startup+582.301 s]
/proc/loadavg: 2.04 1.99 1.56 3/179 18245
/proc/meminfo: memFree=28537492/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=751044 CPUtime=582.31
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 224182 0 0 0 57143 1088 0 0 25 0 1 0 21686409 769069056 186084 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18229/statm: 187761 186084 586 984 0 186774 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 751044
[startup+642.3 s]
/proc/loadavg: 2.01 1.99 1.59 3/179 18246
/proc/meminfo: memFree=28440344/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=828560 CPUtime=642.31
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 243859 0 0 0 63031 1200 0 0 25 0 1 0 21686409 848445440 205761 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 207140 205761 586 984 0 206153 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 828560
[startup+702.301 s]
################
# More data... #
################
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 353398 0 0 0 98385 1847 0 0 25 0 1 0 21686409 1294176256 312173 4089446400 4194304 8223781 140733528266976 18446744073709551615 4642165 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 315961 312173 586 984 0 314974 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1263844
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.72 3/179 18286
/proc/meminfo: memFree=28192728/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=1334448 CPUtime=1062.32
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 371331 0 0 0 104281 1951 0 0 25 0 1 0 21686409 1366474752 330106 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 333612 330106 586 984 0 332625 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1334448
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/179 18288
/proc/meminfo: memFree=28055772/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=1405132 CPUtime=1122.32
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 389270 0 0 0 110174 2058 0 0 25 0 1 0 21686409 1438855168 348045 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 351283 348045 586 984 0 350296 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1405132
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/179 18289
/proc/meminfo: memFree=27899340/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=1471688 CPUtime=1182.33
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 406171 0 0 0 116075 2158 0 0 25 0 1 0 21686409 1507008512 364934 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 367922 364934 586 984 0 366935 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1471688
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/179 18290
/proc/meminfo: memFree=27745736/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=1540952 CPUtime=1242.33
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 423785 0 0 0 121969 2264 0 0 25 0 1 0 21686409 1577934848 382548 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 385238 382548 586 984 0 384251 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1540952
[startup+1302.3 s]
/proc/loadavg: 2.06 2.00 1.78 3/179 18292
/proc/meminfo: memFree=27580248/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=1611996 CPUtime=1302.34
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 441834 0 0 0 127864 2370 0 0 25 0 1 0 21686409 1650683904 400596 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 402999 400596 586 984 0 402012 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1611996
[startup+1362.3 s]
/proc/loadavg: 2.02 2.00 1.79 3/179 18294
/proc/meminfo: memFree=27417368/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=1685676 CPUtime=1362.34
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 463618 0 0 0 133755 2479 0 0 25 0 1 0 21686409 1726132224 419291 4089446400 4194304 8223781 140733528266976 18446744073709551615 4903021 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 421419 419291 586 984 0 420432 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1685676
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.80 3/179 18296
/proc/meminfo: memFree=27275572/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=1753304 CPUtime=1422.34
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 480812 0 0 0 139647 2587 0 0 25 0 1 0 21686409 1795383296 436485 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 438326 436485 586 984 0 437339 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1753304
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/179 18297
/proc/meminfo: memFree=27164924/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=1820816 CPUtime=1482.34
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 497966 0 0 0 145538 2696 0 0 25 0 1 0 21686409 1864515584 453639 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 455204 453639 586 984 0 454217 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1820816
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/179 18298
/proc/meminfo: memFree=27026992/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=1892704 CPUtime=1542.34
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 516218 0 0 0 151427 2807 0 0 25 0 1 0 21686409 1938128896 471889 4089446400 4194304 8223781 140733528266976 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 473176 471889 586 984 0 472189 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1892704
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/179 18300
/proc/meminfo: memFree=26895500/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=1965288 CPUtime=1602.34
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 534661 0 0 0 157316 2918 0 0 25 0 1 0 21686409 2012454912 490325 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 491322 490325 586 984 0 490335 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1965288
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.84 3/179 18302
/proc/meminfo: memFree=26753952/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=2036728 CPUtime=1662.34
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 552803 0 0 0 163212 3022 0 0 25 0 1 0 21686409 2085609472 508464 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 509182 508464 586 984 0 508195 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2036728
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.84 3/179 18304
/proc/meminfo: memFree=26620344/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=2140608 CPUtime=1722.35
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 570885 0 0 0 169102 3133 0 0 25 0 1 0 21686409 2191982592 526546 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18229/statm: 535152 526546 586 984 0 534165 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2140608
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 18314
/proc/meminfo: memFree=26479892/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=2219764 CPUtime=1782.35
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 590987 0 0 0 174992 3243 0 0 25 0 1 0 21686409 2273038336 546648 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18229/statm: 554941 546648 586 984 0 553954 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2219764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 18315
/proc/meminfo: memFree=26440704/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=2243448 CPUtime=1800.05
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 597008 0 0 0 176730 3275 0 0 25 0 1 0 21686409 2297290752 552669 4089446400 4194304 8223781 140733528266976 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/18229/statm: 560862 552669 586 984 0 559875 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2243448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18229
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.85 3/180 18316
/proc/meminfo: memFree=26439952/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=2243448 CPUtime=1801.45
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 597010 0 0 0 176870 3275 0 0 25 0 1 0 21686409 2297290752 552671 4089446400 4194304 8223781 140733528266976 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18229/statm: 560862 552671 588 984 0 559875 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 2243448
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.85 3/180 18316
/proc/meminfo: memFree=26439084/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=2242932 CPUtime=1801.85
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 597010 0 0 0 176910 3275 0 0 25 0 1 0 21686409 2296762368 552542 4089446400 4194304 8223781 140733528266976 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18229/statm: 560733 552542 588 984 0 559746 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2242932
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.85 3/180 18316
/proc/meminfo: memFree=26439084/32950928 swapFree=67111528/67111528
[pid=18229] ppid=18227 vsize=2242932 CPUtime=1802.05
/proc/18229/stat : 18229 (pbscip.linux.x8) R 18227 18229 17512 0 -1 4202496 597010 0 0 0 176930 3275 0 0 25 0 1 0 21686409 2296762368 552542 4089446400 4194304 8223781 140733528266976 18446744073709551615 6162167 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/18229/statm: 560733 552542 588 984 0 559746 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 2242932
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.13
CPU user time (s): 1769.31
CPU system time (s): 32.825
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2243448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.31
system time used= 32.825
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 597010
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2834
runsolver used 3.19351 second user time and 6.59 second system time
The end
Begin job on node113 at 2010-07-07 22:32:02
IDJOB=2700320
IDBENCH=79418
IDSOLVER=1204
FILE ID=node113/2700320-1278534722
PBS_JOBID= 11239252
Free space on /tmp= 73744 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-jnh10_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-2700320-1278534722/watcher-2700320-1278534722 -o /tmp/evaluation-result-2700320-1278534722/solver-2700320-1278534722 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700320-1278534722.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 401aade47f990d36319fcf6fc2a74e2a
RANDOM SEED=577260808
node113.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.843
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.68
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.843
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.75
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.843
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.843
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.73
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.843
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.843
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.76
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.843
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.93
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.843
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: 32950928 kB
MemFree: 29463472 kB
Buffers: 135320 kB
Cached: 2791036 kB
SwapCached: 0 kB
Active: 1982744 kB
Inactive: 1353272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29463472 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4664 kB
Writeback: 0 kB
AnonPages: 409012 kB
Mapped: 16840 kB
Slab: 86084 kB
PageTables: 5892 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 560908 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= 73740 MiB
End job on node113 at 2010-07-07 23:02:04