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-2700272-1278534565.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.02 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.03 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.0s) probing: 101/950 (10.6%) - 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, 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.06 o 420925
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 | - |6124k| 0 | - |1800 |1700 | 0 | 0 | 0 | 0 | 0 | -- | 4.209250e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 0 | - |6521k| 0 | 0 |1800 |1700 |1800 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.06 c 0.0s| 1 | 0 | 39 | - |6562k| 0 | 0 |1800 |1700 |1800 | 71 | 71 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.00/0.07 c 0.1s| 1 | 0 | 135 | - |6621k| 0 | 57 |1800 |1700 |1800 | 133 | 133 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.07/0.08 c 0.1s| 1 | 0 | 199 | - |6780k| 0 | 75 |1800 |1700 |1800 | 176 | 176 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.10 c 0.1s| 1 | 0 | 292 | - |6905k| 0 | 79 |1800 |1700 |1800 | 199 | 199 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 316 | - |6936k| 0 | 80 |1800 |1700 |1800 | 204 | 204 | 0 | 0 | 0.000000e+00 | 4.209250e+05 | Inf
0.39/0.41 c 0.4s| 1 | 2 | 468 | - |6988k| 0 | 80 |1800 |1700 |1800 | 204 | 204 | 0 | 33 | 0.000000e+00 | 4.209250e+05 | Inf
12.89/12.95 c 12.7s| 10000 | 10001 | 71035 | 7.1 | 20M| 91 | 0 |1800 |1700 |1800 | 272 | 19k| 0 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
22.59/22.60 c 22.1s| 20000 | 20001 |119554 | 6.0 | 30M| 105 | 19 |1800 |1700 |1800 | 217 | 32k| 0 | 792 | 0.000000e+00 | 4.209250e+05 | Inf
32.19/32.26 c 31.6s| 30000 | 30001 |164450 | 5.5 | 40M| 107 | 14 |1800 |1700 |1800 | 289 | 45k| 0 | 821 | 0.000000e+00 | 4.209250e+05 | Inf
41.80/41.86 c 41.0s| 40000 | 40001 |206275 | 5.1 | 50M| 107 | 0 |1800 |1700 |1800 | 287 | 57k| 0 | 905 | 0.000000e+00 | 4.209250e+05 | Inf
51.39/51.47 c 50.5s| 50000 | 50001 |247326 | 4.9 | 61M| 107 | 16 |1800 |1700 |1800 | 271 | 69k| 0 |1013 | 0.000000e+00 | 4.209250e+05 | Inf
60.99/61.00 c 59.8s| 60000 | 60001 |289467 | 4.8 | 71M| 107 | 26 |1800 |1700 |1800 | 263 | 82k| 0 |1128 | 0.000000e+00 | 4.209250e+05 | Inf
70.19/70.21 c 68.9s| 70000 | 70001 |322061 | 4.6 | 81M| 113 | 6 |1800 |1700 |1800 | 228 | 93k| 0 |1236 | 0.000000e+00 | 4.209250e+05 | Inf
79.49/79.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.49/79.54 c 78.0s| 80000 | 80001 |358969 | 4.5 | 91M| 113 | 0 |1800 |1700 |1800 | 289 | 104k| 0 |1318 | 0.000000e+00 | 4.209250e+05 | Inf
88.69/88.77 c 87.1s| 90000 | 90001 |392999 | 4.4 | 102M| 113 | 0 |1800 |1700 |1800 | 325 | 114k| 0 |1423 | 0.000000e+00 | 4.209250e+05 | Inf
97.29/97.34 c 95.5s|100000 |100001 |414958 | 4.1 | 112M| 125 | 0 |1800 |1700 |1800 | 297 | 121k| 0 |1457 | 0.000000e+00 | 4.209250e+05 | Inf
106.19/106.25 c 104s|110000 |110001 |444694 | 4.0 | 122M| 125 | 6 |1800 |1700 |1800 | 279 | 130k| 0 |1533 | 0.000000e+00 | 4.209250e+05 | Inf
115.09/115.16 c 113s|120000 |120001 |474662 | 4.0 | 132M| 125 | 0 |1800 |1700 |1800 | 301 | 139k| 0 |1614 | 0.000000e+00 | 4.209250e+05 | Inf
123.89/124.00 c 122s|130000 |130001 |503225 | 3.9 | 142M| 125 | 0 |1800 |1700 |1800 | 302 | 147k| 0 |1681 | 0.000000e+00 | 4.209250e+05 | Inf
132.79/132.81 c 130s|140000 |140001 |531487 | 3.8 | 152M| 125 | 0 |1800 |1700 |1800 | 283 | 156k| 0 |1746 | 0.000000e+00 | 4.209250e+05 | Inf
141.70/141.78 c 139s|150000 |150001 |563597 | 3.8 | 162M| 125 | 0 |1800 |1700 |1800 | 295 | 165k| 0 |1816 | 0.000000e+00 | 4.209250e+05 | Inf
150.69/150.77 c 148s|160000 |160001 |591965 | 3.7 | 173M| 125 | 8 |1800 |1700 |1800 | 282 | 174k| 0 |1891 | 0.000000e+00 | 4.209250e+05 | Inf
159.69/159.72 c 157s|170000 |170001 |622358 | 3.7 | 183M| 125 | 11 |1800 |1700 |1800 | 270 | 183k| 0 |1951 | 0.000000e+00 | 4.209250e+05 | Inf
168.39/168.47 c 165s|180000 |180001 |647645 | 3.6 | 193M| 125 | 5 |1800 |1700 |1800 | 203 | 191k| 0 |1999 | 0.000000e+00 | 4.209250e+05 | Inf
177.59/177.63 c 174s|190000 |190001 |684302 | 3.6 | 203M| 125 | 13 |1800 |1700 |1800 | 258 | 202k| 0 |2068 | 0.000000e+00 | 4.209250e+05 | Inf
186.69/186.70 c 183s|200000 |200001 |718039 | 3.6 | 213M| 125 | 6 |1800 |1700 |1800 | 304 | 212k| 0 |2143 | 0.000000e+00 | 4.209250e+05 | Inf
195.29/195.36 c 192s|210000 |210001 |740417 | 3.5 | 223M| 125 | 13 |1800 |1700 |1800 | 271 | 220k| 0 |2202 | 0.000000e+00 | 4.209250e+05 | Inf
204.10/204.11 c 200s|220000 |220001 |766525 | 3.5 | 233M| 125 | 0 |1800 |1700 |1800 | 284 | 228k| 0 |2254 | 0.000000e+00 | 4.209250e+05 | Inf
212.80/212.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
212.80/212.88 c 209s|230000 |230001 |792169 | 3.4 | 244M| 131 | 0 |1800 |1700 |1800 | 291 | 236k| 0 |2300 | 0.000000e+00 | 4.209250e+05 | Inf
221.59/221.64 c 218s|240000 |240001 |818126 | 3.4 | 254M| 131 | 13 |1800 |1700 |1800 | 279 | 244k| 0 |2352 | 0.000000e+00 | 4.209250e+05 | Inf
230.19/230.27 c 226s|250000 |250001 |842933 | 3.4 | 264M| 131 | 0 |1800 |1700 |1800 | 299 | 251k| 0 |2380 | 0.000000e+00 | 4.209250e+05 | Inf
238.70/238.76 c 234s|260000 |260001 |862774 | 3.3 | 274M| 131 | 0 |1800 |1700 |1800 | 284 | 257k| 0 |2414 | 0.000000e+00 | 4.209250e+05 | Inf
247.19/247.24 c 243s|270000 |270001 |882058 | 3.3 | 284M| 131 | 0 |1800 |1700 |1800 | 256 | 263k| 0 |2460 | 0.000000e+00 | 4.209250e+05 | Inf
255.69/255.70 c 251s|280000 |280001 |900748 | 3.2 | 294M| 131 | 0 |1800 |1700 |1800 | 284 | 269k| 0 |2490 | 0.000000e+00 | 4.209250e+05 | Inf
264.29/264.33 c 259s|290000 |290001 |923704 | 3.2 | 304M| 131 | 0 |1800 |1700 |1800 | 299 | 277k| 0 |2511 | 0.000000e+00 | 4.209250e+05 | Inf
272.60/272.69 c 268s|300000 |300001 |940195 | 3.1 | 314M| 131 | 0 |1800 |1700 |1800 | 261 | 282k| 0 |2541 | 0.000000e+00 | 4.209250e+05 | Inf
281.20/281.24 c 276s|310000 |310001 |961627 | 3.1 | 324M| 131 | 0 |1800 |1700 |1800 | 301 | 288k| 0 |2568 | 0.000000e+00 | 4.209250e+05 | Inf
289.90/289.91 c 285s|320000 |320001 |985367 | 3.1 | 334M| 131 | 0 |1800 |1700 |1800 | 256 | 295k| 0 |2602 | 0.000000e+00 | 4.209250e+05 | Inf
298.50/298.51 c 293s|330000 |330001 | 1008k| 3.1 | 344M| 131 | 0 |1800 |1700 |1800 | 268 | 301k| 0 |2643 | 0.000000e+00 | 4.209250e+05 | Inf
307.09/307.10 c 301s|340000 |340001 | 1030k| 3.0 | 355M| 131 | 0 |1800 |1700 |1800 | 283 | 308k| 0 |2675 | 0.000000e+00 | 4.209250e+05 | Inf
315.89/315.92 c 310s|350000 |350001 | 1057k| 3.0 | 365M| 131 | 0 |1800 |1700 |1800 | 253 | 317k| 0 |2702 | 0.000000e+00 | 4.209250e+05 | Inf
324.59/324.61 c 319s|360000 |360001 | 1081k| 3.0 | 375M| 131 | 0 |1800 |1700 |1800 | 286 | 324k| 0 |2745 | 0.000000e+00 | 4.209250e+05 | Inf
333.21/333.20 c 327s|370000 |370001 | 1103k| 3.0 | 385M| 131 | 0 |1800 |1700 |1800 | 299 | 331k| 0 |2777 | 0.000000e+00 | 4.209250e+05 | Inf
341.89/341.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.89/341.92 c 336s|380000 |380001 | 1129k| 3.0 | 395M| 131 | 9 |1800 |1700 |1800 | 278 | 339k| 0 |2801 | 0.000000e+00 | 4.209250e+05 | Inf
350.40/350.47 c 344s|390000 |390001 | 1149k| 2.9 | 405M| 131 | 0 |1800 |1700 |1800 | 295 | 345k| 0 |2831 | 0.000000e+00 | 4.209250e+05 | Inf
359.10/359.17 c 353s|400000 |400001 | 1171k| 2.9 | 415M| 131 | 0 |1800 |1700 |1800 | 266 | 352k| 0 |2860 | 0.000000e+00 | 4.209250e+05 | Inf
367.59/367.60 c 361s|410000 |410001 | 1189k| 2.9 | 425M| 131 | 0 |1800 |1700 |1800 | 293 | 357k| 0 |2888 | 0.000000e+00 | 4.209250e+05 | Inf
375.90/375.99 c 369s|420000 |420001 | 1208k| 2.9 | 435M| 131 | 0 |1800 |1700 |1800 | 240 | 363k| 0 |2917 | 0.000000e+00 | 4.209250e+05 | Inf
384.40/384.41 c 377s|430000 |430001 | 1226k| 2.9 | 445M| 131 | 0 |1800 |1700 |1800 | 270 | 368k| 0 |2941 | 0.000000e+00 | 4.209250e+05 | Inf
392.61/392.65 c 385s|440000 |440001 | 1239k| 2.8 | 455M| 131 | 0 |1800 |1700 |1800 | 296 | 372k| 0 |2963 | 0.000000e+00 | 4.209250e+05 | Inf
401.30/401.39 c 394s|450000 |450001 | 1265k| 2.8 | 465M| 131 | 0 |1800 |1700 |1800 | 259 | 379k| 0 |2986 | 0.000000e+00 | 4.209250e+05 | Inf
409.90/409.92 c 402s|460000 |460001 | 1286k| 2.8 | 476M| 131 | 0 |1800 |1700 |1800 | 274 | 385k| 0 |3023 | 0.000000e+00 | 4.209250e+05 | Inf
418.60/418.63 c 411s|470000 |470001 | 1311k| 2.8 | 486M| 131 | 18 |1800 |1700 |1800 | 263 | 392k| 0 |3047 | 0.000000e+00 | 4.209250e+05 | Inf
427.10/427.17 c 419s|480000 |480001 | 1335k| 2.8 | 496M| 131 | 0 |1800 |1700 |1800 | 270 | 401k| 0 |3070 | 0.000000e+00 | 4.209250e+05 | Inf
435.60/435.69 c 428s|490000 |490001 | 1356k| 2.8 | 506M| 131 | 0 |1800 |1700 |1800 | 288 | 408k| 0 |3095 | 0.000000e+00 | 4.209250e+05 | Inf
444.31/444.37 c 436s|500000 |500001 | 1380k| 2.8 | 516M| 131 | 0 |1800 |1700 |1800 | 280 | 416k| 0 |3132 | 0.000000e+00 | 4.209250e+05 | Inf
452.60/452.65 c 444s|510000 |510001 | 1394k| 2.7 | 526M| 131 | 0 |1800 |1700 |1800 | 297 | 420k| 0 |3139 | 0.000000e+00 | 4.209250e+05 | Inf
461.20/461.27 c 453s|520000 |520001 | 1417k| 2.7 | 536M| 131 | 0 |1800 |1700 |1800 | 289 | 426k| 0 |3169 | 0.000000e+00 | 4.209250e+05 | Inf
469.80/469.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.80/469.87 c 461s|530000 |530001 | 1438k| 2.7 | 546M| 131 | 0 |1800 |1700 |1800 | 277 | 432k| 0 |3191 | 0.000000e+00 | 4.209250e+05 | Inf
478.40/478.44 c 470s|540000 |540001 | 1459k| 2.7 | 556M| 131 | 0 |1800 |1700 |1800 | 268 | 439k| 0 |3215 | 0.000000e+00 | 4.209250e+05 | Inf
487.10/487.12 c 478s|550000 |550001 | 1484k| 2.7 | 566M| 131 | 4 |1800 |1700 |1800 | 285 | 446k| 0 |3234 | 0.000000e+00 | 4.209250e+05 | Inf
495.60/495.68 c 487s|560000 |560001 | 1505k| 2.7 | 576M| 131 | 0 |1800 |1700 |1800 | 281 | 453k| 0 |3254 | 0.000000e+00 | 4.209250e+05 | Inf
504.30/504.38 c 495s|570000 |570001 | 1528k| 2.7 | 586M| 131 | 29 |1800 |1700 |1800 | 257 | 460k| 0 |3272 | 0.000000e+00 | 4.209250e+05 | Inf
512.90/512.90 c 504s|580000 |580001 | 1549k| 2.7 | 596M| 131 | 0 |1800 |1700 |1800 | 291 | 467k| 0 |3290 | 0.000000e+00 | 4.209250e+05 | Inf
521.41/521.48 c 512s|590000 |590001 | 1570k| 2.7 | 607M| 131 | 0 |1800 |1700 |1800 | 257 | 473k| 0 |3308 | 0.000000e+00 | 4.209250e+05 | Inf
530.00/530.10 c 520s|600000 |600001 | 1590k| 2.7 | 617M| 131 | 21 |1800 |1700 |1800 | 262 | 479k| 0 |3332 | 0.000000e+00 | 4.209250e+05 | Inf
538.70/538.70 c 529s|610000 |610001 | 1612k| 2.6 | 627M| 131 | 0 |1800 |1700 |1800 | 294 | 486k| 0 |3358 | 0.000000e+00 | 4.209250e+05 | Inf
547.30/547.35 c 537s|620000 |620001 | 1636k| 2.6 | 637M| 131 | 0 |1800 |1700 |1800 | 285 | 493k| 0 |3383 | 0.000000e+00 | 4.209250e+05 | Inf
555.80/555.89 c 546s|630000 |630001 | 1657k| 2.6 | 647M| 131 | 0 |1800 |1700 |1800 | 269 | 500k| 0 |3403 | 0.000000e+00 | 4.209250e+05 | Inf
564.30/564.31 c 554s|640000 |640001 | 1674k| 2.6 | 657M| 221 | 0 |1800 |1700 |1800 | 271 | 505k| 0 |3422 | 0.000000e+00 | 4.209250e+05 | Inf
572.01/572.07 c 562s|650000 |650001 | 1685k| 2.6 | 667M| 221 | 0 |1800 |1700 |1800 | 254 | 508k| 0 |3423 | 0.000000e+00 | 4.209250e+05 | Inf
580.00/580.08 c 570s|660000 |660001 | 1696k| 2.6 | 677M| 221 | 8 |1800 |1700 |1800 | 289 | 512k| 0 |3440 | 0.000000e+00 | 4.209250e+05 | Inf
587.91/587.99 c 577s|670000 |670001 | 1706k| 2.5 | 687M| 221 | 0 |1800 |1700 |1800 | 309 | 515k| 0 |3443 | 0.000000e+00 | 4.209250e+05 | Inf
595.80/595.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.80/595.86 c 585s|680000 |680001 | 1718k| 2.5 | 697M| 221 | 0 |1800 |1700 |1800 | 276 | 518k| 0 |3460 | 0.000000e+00 | 4.209250e+05 | Inf
603.61/603.62 c 593s|690000 |690001 | 1727k| 2.5 | 707M| 221 | 0 |1800 |1700 |1800 | 293 | 520k| 0 |3461 | 0.000000e+00 | 4.209250e+05 | Inf
611.51/611.59 c 601s|700000 |700001 | 1740k| 2.5 | 717M| 221 | 0 |1800 |1700 |1800 | 283 | 524k| 0 |3483 | 0.000000e+00 | 4.209250e+05 | Inf
619.40/619.42 c 608s|710000 |710001 | 1751k| 2.5 | 727M| 221 | 0 |1800 |1700 |1800 | 297 | 527k| 0 |3483 | 0.000000e+00 | 4.209250e+05 | Inf
627.41/627.47 c 616s|720000 |720001 | 1767k| 2.5 | 737M| 221 | 0 |1800 |1700 |1800 | 297 | 532k| 0 |3502 | 0.000000e+00 | 4.209250e+05 | Inf
635.81/635.81 c 624s|730000 |730001 | 1791k| 2.5 | 747M| 221 | 0 |1800 |1700 |1800 | 301 | 540k| 0 |3525 | 0.000000e+00 | 4.209250e+05 | Inf
644.01/644.09 c 632s|740000 |740001 | 1811k| 2.4 | 757M| 221 | 0 |1800 |1700 |1800 | 310 | 546k| 0 |3541 | 0.000000e+00 | 4.209250e+05 | Inf
652.31/652.38 c 641s|750000 |750001 | 1832k| 2.4 | 767M| 221 | 0 |1800 |1700 |1800 | 304 | 554k| 0 |3569 | 0.000000e+00 | 4.209250e+05 | Inf
660.50/660.59 c 649s|760000 |760001 | 1852k| 2.4 | 777M| 221 | 0 |1800 |1700 |1800 | 297 | 561k| 0 |3584 | 0.000000e+00 | 4.209250e+05 | Inf
668.81/668.84 c 657s|770000 |770001 | 1873k| 2.4 | 787M| 221 | 0 |1800 |1700 |1800 | 316 | 568k| 0 |3602 | 0.000000e+00 | 4.209250e+05 | Inf
677.01/677.02 c 665s|780000 |780001 | 1893k| 2.4 | 797M| 221 | 0 |1800 |1700 |1800 | 288 | 574k| 0 |3616 | 0.000000e+00 | 4.209250e+05 | Inf
685.11/685.17 c 673s|790000 |790001 | 1910k| 2.4 | 807M| 221 | 0 |1800 |1700 |1800 | 302 | 580k| 0 |3629 | 0.000000e+00 | 4.209250e+05 | Inf
693.20/693.28 c 681s|800000 |800001 | 1928k| 2.4 | 817M| 221 | 0 |1800 |1700 |1800 | 279 | 585k| 0 |3663 | 0.000000e+00 | 4.209250e+05 | Inf
701.31/701.37 c 689s|810000 |810001 | 1945k| 2.4 | 827M| 221 | 0 |1800 |1700 |1800 | 312 | 591k| 0 |3681 | 0.000000e+00 | 4.209250e+05 | Inf
709.51/709.59 c 697s|820000 |820001 | 1964k| 2.4 | 837M| 221 | 0 |1800 |1700 |1800 | 293 | 597k| 0 |3698 | 0.000000e+00 | 4.209250e+05 | Inf
717.70/717.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
717.70/717.76 c 705s|830000 |830001 | 1983k| 2.4 | 847M| 221 | 0 |1800 |1700 |1800 | 278 | 604k| 0 |3714 | 0.000000e+00 | 4.209250e+05 | Inf
725.70/725.70 c 713s|840000 |840001 | 1997k| 2.4 | 857M| 221 | 15 |1800 |1700 |1800 | 263 | 608k| 0 |3722 | 0.000000e+00 | 4.209250e+05 | Inf
733.91/733.97 c 721s|850000 |850001 | 2016k| 2.4 | 867M| 221 | 7 |1800 |1700 |1800 | 252 | 614k| 0 |3743 | 0.000000e+00 | 4.209250e+05 | Inf
742.20/742.28 c 729s|860000 |860001 | 2038k| 2.4 | 877M| 221 | 17 |1800 |1700 |1800 | 225 | 621k| 0 |3762 | 0.000000e+00 | 4.209250e+05 | Inf
750.50/750.53 c 737s|870000 |870001 | 2061k| 2.4 | 888M| 221 | 15 |1800 |1700 |1800 | 277 | 629k| 0 |3785 | 0.000000e+00 | 4.209250e+05 | Inf
758.60/758.67 c 745s|880000 |880001 | 2077k| 2.4 | 898M| 221 | 0 |1800 |1700 |1800 | 310 | 634k| 0 |3805 | 0.000000e+00 | 4.209250e+05 | Inf
766.71/766.77 c 753s|890000 |890001 | 2092k| 2.4 | 908M| 221 | 0 |1800 |1700 |1800 | 278 | 638k| 0 |3821 | 0.000000e+00 | 4.209250e+05 | Inf
774.70/774.74 c 761s|900000 |900001 | 2106k| 2.3 | 918M| 221 | 0 |1800 |1700 |1800 | 274 | 642k| 0 |3827 | 0.000000e+00 | 4.209250e+05 | Inf
783.01/783.01 c 769s|910000 |910001 | 2130k| 2.3 | 928M| 221 | 16 |1800 |1700 |1800 | 265 | 649k| 0 |3848 | 0.000000e+00 | 4.209250e+05 | Inf
791.21/791.23 c 777s|920000 |920001 | 2147k| 2.3 | 938M| 221 | 0 |1800 |1700 |1800 | 309 | 654k| 0 |3871 | 0.000000e+00 | 4.209250e+05 | Inf
799.31/799.33 c 785s|930000 |930001 | 2160k| 2.3 | 948M| 221 | 0 |1800 |1700 |1800 | 304 | 659k| 0 |3899 | 0.000000e+00 | 4.209250e+05 | Inf
807.61/807.63 c 793s|940000 |940001 | 2183k| 2.3 | 958M| 221 | 0 |1800 |1700 |1800 | 312 | 665k| 0 |3920 | 0.000000e+00 | 4.209250e+05 | Inf
815.71/815.77 c 801s|950000 |950001 | 2204k| 2.3 | 968M| 221 | 0 |1800 |1700 |1800 | 290 | 672k| 0 |3939 | 0.000000e+00 | 4.209250e+05 | Inf
823.81/823.90 c 809s|960000 |960001 | 2220k| 2.3 | 978M| 221 | 0 |1800 |1700 |1800 | 286 | 677k| 0 |3945 | 0.000000e+00 | 4.209250e+05 | Inf
832.11/832.16 c 817s|970000 |970001 | 2242k| 2.3 | 988M| 221 | 0 |1800 |1700 |1800 | 287 | 684k| 0 |3970 | 0.000000e+00 | 4.209250e+05 | Inf
840.20/840.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.20/840.28 c 825s|980000 |980001 | 2259k| 2.3 | 998M| 221 | 10 |1800 |1700 |1800 | 257 | 689k| 0 |3993 | 0.000000e+00 | 4.209250e+05 | Inf
848.12/848.18 c 833s|990000 |990001 | 2270k| 2.3 |1008M| 221 | 12 |1800 |1700 |1800 | 256 | 692k| 0 |3996 | 0.000000e+00 | 4.209250e+05 | Inf
856.31/856.31 c 841s| 1000k| 1000k| 2289k| 2.3 |1018M| 221 | 4 |1800 |1700 |1800 | 203 | 698k| 0 |4014 | 0.000000e+00 | 4.209250e+05 | Inf
864.41/864.49 c 849s| 1010k| 1010k| 2309k| 2.3 |1028M| 221 | 0 |1800 |1700 |1800 | 298 | 704k| 0 |4035 | 0.000000e+00 | 4.209250e+05 | Inf
872.31/872.39 c 857s| 1020k| 1020k| 2323k| 2.3 |1038M| 221 | 0 |1800 |1700 |1800 | 302 | 708k| 0 |4053 | 0.000000e+00 | 4.209250e+05 | Inf
880.31/880.31 c 864s| 1030k| 1030k| 2335k| 2.3 |1048M| 221 | 0 |1800 |1700 |1800 | 292 | 711k| 0 |4059 | 0.000000e+00 | 4.209250e+05 | Inf
888.21/888.29 c 872s| 1040k| 1040k| 2349k| 2.3 |1058M| 221 | 0 |1800 |1700 |1800 | 303 | 715k| 0 |4076 | 0.000000e+00 | 4.209250e+05 | Inf
896.52/896.51 c 880s| 1050k| 1050k| 2368k| 2.3 |1068M| 221 | 0 |1800 |1700 |1800 | 302 | 721k| 0 |4093 | 0.000000e+00 | 4.209250e+05 | Inf
904.51/904.55 c 888s| 1060k| 1060k| 2382k| 2.2 |1078M| 221 | 0 |1800 |1700 |1800 | 302 | 725k| 0 |4097 | 0.000000e+00 | 4.209250e+05 | Inf
912.61/912.68 c 896s| 1070k| 1070k| 2402k| 2.2 |1088M| 221 | 0 |1800 |1700 |1800 | 289 | 731k| 0 |4117 | 0.000000e+00 | 4.209250e+05 | Inf
920.81/920.80 c 904s| 1080k| 1080k| 2418k| 2.2 |1098M| 221 | 0 |1800 |1700 |1800 | 286 | 735k| 0 |4133 | 0.000000e+00 | 4.209250e+05 | Inf
928.71/928.78 c 912s| 1090k| 1090k| 2431k| 2.2 |1108M| 221 | 0 |1800 |1700 |1800 | 275 | 739k| 0 |4139 | 0.000000e+00 | 4.209250e+05 | Inf
936.61/936.65 c 920s| 1100k| 1100k| 2442k| 2.2 |1118M| 221 | 0 |1800 |1700 |1800 | 273 | 743k| 0 |4150 | 0.000000e+00 | 4.209250e+05 | Inf
944.61/944.62 c 928s| 1110k| 1110k| 2456k| 2.2 |1128M| 221 | 0 |1800 |1700 |1800 | 265 | 747k| 0 |4164 | 0.000000e+00 | 4.209250e+05 | Inf
952.51/952.59 c 935s| 1120k| 1120k| 2471k| 2.2 |1138M| 221 | 0 |1800 |1700 |1800 | 277 | 751k| 0 |4172 | 0.000000e+00 | 4.209250e+05 | Inf
960.21/960.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.21/960.23 c 943s| 1130k| 1130k| 2478k| 2.2 |1148M| 221 | 0 |1800 |1700 |1800 | 274 | 753k| 0 |4180 | 0.000000e+00 | 4.209250e+05 | Inf
968.02/968.02 c 951s| 1140k| 1140k| 2488k| 2.2 |1158M| 221 | 0 |1800 |1700 |1800 | 294 | 756k| 0 |4189 | 0.000000e+00 | 4.209250e+05 | Inf
976.01/976.08 c 958s| 1150k| 1150k| 2504k| 2.2 |1168M| 221 | 0 |1800 |1700 |1800 | 284 | 761k| 0 |4204 | 0.000000e+00 | 4.209250e+05 | Inf
984.22/984.24 c 966s| 1160k| 1160k| 2523k| 2.2 |1178M| 221 | 0 |1800 |1700 |1800 | 311 | 766k| 0 |4223 | 0.000000e+00 | 4.209250e+05 | Inf
992.31/992.38 c 974s| 1170k| 1170k| 2540k| 2.2 |1188M| 221 | 0 |1800 |1700 |1800 | 305 | 771k| 0 |4229 | 0.000000e+00 | 4.209250e+05 | Inf
1000.41/1000.48 c 982s| 1180k| 1180k| 2554k| 2.2 |1198M| 221 | 0 |1800 |1700 |1800 | 275 | 775k| 0 |4247 | 0.000000e+00 | 4.209250e+05 | Inf
1008.51/1008.52 c 990s| 1190k| 1190k| 2568k| 2.2 |1208M| 221 | 0 |1800 |1700 |1800 | 277 | 780k| 0 |4249 | 0.000000e+00 | 4.209250e+05 | Inf
1016.42/1016.49 c 998s| 1200k| 1200k| 2583k| 2.2 |1218M| 221 | 0 |1800 |1700 |1800 | 282 | 784k| 0 |4270 | 0.000000e+00 | 4.209250e+05 | Inf
1024.42/1024.49 c 1006s| 1210k| 1210k| 2599k| 2.1 |1228M| 221 | 0 |1800 |1700 |1800 | 299 | 788k| 0 |4287 | 0.000000e+00 | 4.209250e+05 | Inf
1032.52/1032.50 c 1014s| 1220k| 1220k| 2614k| 2.1 |1238M| 221 | 0 |1800 |1700 |1800 | 274 | 792k| 0 |4289 | 0.000000e+00 | 4.209250e+05 | Inf
1040.42/1040.47 c 1022s| 1230k| 1230k| 2628k| 2.1 |1248M| 221 | 0 |1800 |1700 |1800 | 296 | 797k| 0 |4307 | 0.000000e+00 | 4.209250e+05 | Inf
1048.42/1048.42 c 1030s| 1240k| 1240k| 2642k| 2.1 |1258M| 221 | 0 |1800 |1700 |1800 | 290 | 801k| 0 |4319 | 0.000000e+00 | 4.209250e+05 | Inf
1056.42/1056.45 c 1037s| 1250k| 1250k| 2656k| 2.1 |1268M| 221 | 0 |1800 |1700 |1800 | 293 | 805k| 0 |4324 | 0.000000e+00 | 4.209250e+05 | Inf
1064.32/1064.35 c 1045s| 1260k| 1260k| 2667k| 2.1 |1278M| 221 | 0 |1800 |1700 |1800 | 290 | 808k| 0 |4341 | 0.000000e+00 | 4.209250e+05 | Inf
1072.31/1072.37 c 1053s| 1270k| 1270k| 2681k| 2.1 |1288M| 221 | 0 |1800 |1700 |1800 | 293 | 812k| 0 |4342 | 0.000000e+00 | 4.209250e+05 | Inf
1080.41/1080.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.41/1080.44 c 1061s| 1280k| 1280k| 2697k| 2.1 |1298M| 221 | 0 |1800 |1700 |1800 | 298 | 817k| 0 |4358 | 0.000000e+00 | 4.209250e+05 | Inf
1088.31/1088.31 c 1069s| 1290k| 1290k| 2705k| 2.1 |1308M| 221 | 0 |1800 |1700 |1800 | 275 | 819k| 0 |4358 | 0.000000e+00 | 4.209250e+05 | Inf
1096.12/1096.17 c 1076s| 1300k| 1300k| 2714k| 2.1 |1317M| 221 | 0 |1800 |1700 |1800 | 265 | 822k| 0 |4377 | 0.000000e+00 | 4.209250e+05 | Inf
1104.01/1104.00 c 1084s| 1310k| 1310k| 2726k| 2.1 |1327M| 221 | 0 |1800 |1700 |1800 | 271 | 825k| 0 |4377 | 0.000000e+00 | 4.209250e+05 | Inf
1112.02/1112.05 c 1092s| 1320k| 1320k| 2740k| 2.1 |1337M| 221 | 0 |1800 |1700 |1800 | 297 | 830k| 0 |4394 | 0.000000e+00 | 4.209250e+05 | Inf
1119.91/1119.98 c 1100s| 1330k| 1329k| 2753k| 2.1 |1347M| 221 | 0 |1800 |1703 |1800 | 284 | 833k| 3 |4402 | 0.000000e+00 | 4.209250e+05 | Inf
1127.71/1127.74 c 1107s| 1340k| 1339k| 2760k| 2.1 |1357M| 221 | 0 |1800 |1703 |1800 | 287 | 835k| 3 |4415 | 0.000000e+00 | 4.209250e+05 | Inf
1135.71/1135.76 c 1115s| 1350k| 1349k| 2774k| 2.1 |1367M| 221 | 0 |1800 |1703 |1800 | 288 | 839k| 3 |4420 | 0.000000e+00 | 4.209250e+05 | Inf
1143.72/1143.71 c 1123s| 1360k| 1359k| 2785k| 2.0 |1377M| 221 | 0 |1800 |1703 |1800 | 303 | 843k| 3 |4437 | 0.000000e+00 | 4.209250e+05 | Inf
1151.82/1151.82 c 1131s| 1370k| 1369k| 2801k| 2.0 |1387M| 221 | 0 |1800 |1703 |1800 | 264 | 848k| 3 |4443 | 0.000000e+00 | 4.209250e+05 | Inf
1159.81/1159.80 c 1139s| 1380k| 1379k| 2816k| 2.0 |1397M| 221 | 0 |1800 |1703 |1800 | 318 | 852k| 3 |4454 | 0.000000e+00 | 4.209250e+05 | Inf
1167.82/1167.89 c 1147s| 1390k| 1389k| 2830k| 2.0 |1407M| 221 | 0 |1800 |1703 |1800 | 283 | 856k| 3 |4469 | 0.000000e+00 | 4.209250e+05 | Inf
1175.93/1175.99 c 1155s| 1400k| 1399k| 2847k| 2.0 |1417M| 221 | 0 |1800 |1703 |1800 | 267 | 862k| 3 |4471 | 0.000000e+00 | 4.209250e+05 | Inf
1184.02/1184.04 c 1163s| 1410k| 1409k| 2861k| 2.0 |1427M| 221 | 0 |1800 |1703 |1800 | 292 | 866k| 3 |4489 | 0.000000e+00 | 4.209250e+05 | Inf
1192.02/1192.06 c 1171s| 1420k| 1419k| 2875k| 2.0 |1437M| 221 | 0 |1800 |1703 |1800 | 285 | 870k| 3 |4503 | 0.000000e+00 | 4.209250e+05 | Inf
1200.22/1200.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1200.22/1200.25 c 1179s| 1430k| 1429k| 2893k| 2.0 |1447M| 221 | 0 |1800 |1703 |1800 | 287 | 876k| 3 |4505 | 0.000000e+00 | 4.209250e+05 | Inf
1208.52/1208.55 c 1187s| 1440k| 1439k| 2915k| 2.0 |1457M| 221 | 0 |1800 |1703 |1800 | 295 | 882k| 3 |4522 | 0.000000e+00 | 4.209250e+05 | Inf
1216.72/1216.71 c 1195s| 1450k| 1449k| 2932k| 2.0 |1467M| 221 | 0 |1800 |1703 |1800 | 286 | 887k| 3 |4541 | 0.000000e+00 | 4.209250e+05 | Inf
1224.82/1224.84 c 1203s| 1460k| 1459k| 2949k| 2.0 |1477M| 221 | 0 |1800 |1703 |1800 | 269 | 892k| 3 |4556 | 0.000000e+00 | 4.209250e+05 | Inf
1232.92/1232.92 c 1211s| 1470k| 1469k| 2966k| 2.0 |1487M| 221 | 0 |1800 |1703 |1800 | 271 | 897k| 3 |4565 | 0.000000e+00 | 4.209250e+05 | Inf
1240.91/1240.95 c 1219s| 1480k| 1479k| 2978k| 2.0 |1497M| 221 | 0 |1800 |1703 |1800 | 297 | 900k| 3 |4580 | 0.000000e+00 | 4.209250e+05 | Inf
1248.92/1248.90 c 1226s| 1490k| 1489k| 2991k| 2.0 |1507M| 221 | 0 |1800 |1703 |1800 | 292 | 904k| 3 |4588 | 0.000000e+00 | 4.209250e+05 | Inf
1256.82/1256.84 c 1234s| 1500k| 1499k| 3004k| 2.0 |1517M| 221 | 0 |1800 |1703 |1800 | 311 | 908k| 3 |4597 | 0.000000e+00 | 4.209250e+05 | Inf
1264.93/1264.99 c 1242s| 1510k| 1509k| 3022k| 2.0 |1527M| 221 | 0 |1800 |1703 |1800 | 277 | 913k| 3 |4616 | 0.000000e+00 | 4.209250e+05 | Inf
1273.22/1273.20 c 1250s| 1520k| 1519k| 3038k| 2.0 |1537M| 221 | 0 |1800 |1703 |1800 | 316 | 918k| 3 |4620 | 0.000000e+00 | 4.209250e+05 | Inf
1281.22/1281.27 c 1258s| 1530k| 1529k| 3051k| 2.0 |1548M| 221 | 0 |1800 |1703 |1800 | 333 | 922k| 3 |4634 | 0.000000e+00 | 4.209250e+05 | Inf
1289.52/1289.52 c 1266s| 1540k| 1539k| 3065k| 2.0 |1558M| 221 | 0 |1800 |1703 |1800 | 299 | 927k| 3 |4649 | 0.000000e+00 | 4.209250e+05 | Inf
1297.52/1297.51 c 1274s| 1550k| 1549k| 3078k| 2.0 |1568M| 221 | 0 |1800 |1703 |1800 | 301 | 931k| 3 |4653 | 0.000000e+00 | 4.209250e+05 | Inf
1305.52/1305.59 c 1282s| 1560k| 1559k| 3091k| 2.0 |1578M| 221 | 0 |1800 |1703 |1800 | 276 | 935k| 3 |4670 | 0.000000e+00 | 4.209250e+05 | Inf
1313.62/1313.65 c 1290s| 1570k| 1569k| 3105k| 2.0 |1588M| 221 | 0 |1800 |1703 |1800 | 294 | 940k| 3 |4672 | 0.000000e+00 | 4.209250e+05 | Inf
1321.72/1321.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.72/1321.73 c 1298s| 1580k| 1579k| 3119k| 2.0 |1598M| 221 | 0 |1800 |1702 |1800 | 301 | 944k| 3 |4691 | 0.000000e+00 | 4.209250e+05 | Inf
1329.72/1329.74 c 1306s| 1590k| 1589k| 3131k| 2.0 |1608M| 221 | 0 |1800 |1702 |1800 | 303 | 947k| 3 |4694 | 0.000000e+00 | 4.209250e+05 | Inf
1338.02/1338.00 c 1314s| 1600k| 1599k| 3153k| 2.0 |1618M| 221 | 0 |1800 |1702 |1800 | 302 | 954k| 3 |4711 | 0.000000e+00 | 4.209250e+05 | Inf
1346.22/1346.28 c 1322s| 1610k| 1609k| 3179k| 2.0 |1628M| 221 | 0 |1800 |1702 |1800 | 291 | 961k| 3 |4733 | 0.000000e+00 | 4.209250e+05 | Inf
1354.32/1354.38 c 1330s| 1620k| 1619k| 3196k| 2.0 |1638M| 221 | 0 |1800 |1702 |1800 | 315 | 966k| 3 |4750 | 0.000000e+00 | 4.209250e+05 | Inf
1362.43/1362.41 c 1338s| 1630k| 1629k| 3206k| 2.0 |1648M| 221 | 0 |1800 |1702 |1800 | 299 | 970k| 3 |4754 | 0.000000e+00 | 4.209250e+05 | Inf
1370.42/1370.45 c 1346s| 1640k| 1639k| 3220k| 2.0 |1658M| 221 | 0 |1800 |1702 |1800 | 301 | 974k| 3 |4768 | 0.000000e+00 | 4.209250e+05 | Inf
1378.42/1378.47 c 1354s| 1650k| 1649k| 3233k| 2.0 |1668M| 221 | 0 |1800 |1702 |1800 | 285 | 978k| 3 |4774 | 0.000000e+00 | 4.209250e+05 | Inf
1386.33/1386.38 c 1362s| 1660k| 1659k| 3242k| 2.0 |1678M| 221 | 0 |1800 |1702 |1800 | 301 | 980k| 3 |4782 | 0.000000e+00 | 4.209250e+05 | Inf
1394.32/1394.30 c 1369s| 1670k| 1669k| 3254k| 1.9 |1688M| 221 | 0 |1800 |1702 |1800 | 303 | 984k| 3 |4793 | 0.000000e+00 | 4.209250e+05 | Inf
1402.32/1402.31 c 1377s| 1680k| 1679k| 3264k| 1.9 |1698M| 221 | 0 |1800 |1702 |1800 | 308 | 987k| 3 |4793 | 0.000000e+00 | 4.209250e+05 | Inf
1410.42/1410.40 c 1385s| 1690k| 1689k| 3275k| 1.9 |1709M| 221 | 0 |1800 |1702 |1800 | 283 | 990k| 3 |4812 | 0.000000e+00 | 4.209250e+05 | Inf
1418.32/1418.36 c 1393s| 1700k| 1699k| 3288k| 1.9 |1719M| 221 | 0 |1800 |1702 |1800 | 301 | 994k| 3 |4819 | 0.000000e+00 | 4.209250e+05 | Inf
1426.43/1426.45 c 1401s| 1710k| 1709k| 3305k| 1.9 |1729M| 221 | 0 |1800 |1702 |1800 | 290 | 999k| 3 |4831 | 0.000000e+00 | 4.209250e+05 | Inf
1434.63/1434.68 c 1409s| 1720k| 1719k| 3319k| 1.9 |1739M| 221 | 0 |1800 |1702 |1800 | 300 |1003k| 3 |4844 | 0.000000e+00 | 4.209250e+05 | Inf
1442.82/1442.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1442.82/1442.81 c 1417s| 1730k| 1729k| 3334k| 1.9 |1749M| 221 | 0 |1800 |1702 |1800 | 314 |1007k| 3 |4848 | 0.000000e+00 | 4.209250e+05 | Inf
1450.72/1450.74 c 1425s| 1740k| 1739k| 3348k| 1.9 |1759M| 221 | 0 |1800 |1702 |1800 | 300 |1012k| 3 |4864 | 0.000000e+00 | 4.209250e+05 | Inf
1458.72/1458.76 c 1433s| 1750k| 1749k| 3363k| 1.9 |1769M| 221 | 0 |1800 |1702 |1800 | 287 |1017k| 3 |4870 | 0.000000e+00 | 4.209250e+05 | Inf
1466.73/1466.77 c 1441s| 1760k| 1759k| 3377k| 1.9 |1779M| 221 | 0 |1800 |1702 |1800 | 292 |1021k| 3 |4880 | 0.000000e+00 | 4.209250e+05 | Inf
1474.62/1474.65 c 1448s| 1770k| 1769k| 3389k| 1.9 |1789M| 221 | 0 |1800 |1702 |1800 | 300 |1024k| 3 |4890 | 0.000000e+00 | 4.209250e+05 | Inf
1482.73/1482.72 c 1456s| 1780k| 1779k| 3404k| 1.9 |1799M| 221 | 0 |1800 |1702 |1800 | 280 |1029k| 3 |4895 | 0.000000e+00 | 4.209250e+05 | Inf
1490.73/1490.78 c 1464s| 1790k| 1789k| 3420k| 1.9 |1809M| 221 | 0 |1800 |1702 |1800 | 255 |1034k| 3 |4914 | 0.000000e+00 | 4.209250e+05 | Inf
1498.82/1498.83 c 1472s| 1800k| 1799k| 3436k| 1.9 |1819M| 221 | 0 |1800 |1702 |1800 | 282 |1039k| 3 |4917 | 0.000000e+00 | 4.209250e+05 | Inf
1506.83/1506.81 c 1480s| 1810k| 1809k| 3449k| 1.9 |1829M| 221 | 0 |1800 |1702 |1800 | 287 |1043k| 3 |4933 | 0.000000e+00 | 4.209250e+05 | Inf
1514.82/1514.84 c 1488s| 1820k| 1819k| 3463k| 1.9 |1839M| 221 | 0 |1800 |1702 |1800 | 287 |1047k| 3 |4945 | 0.000000e+00 | 4.209250e+05 | Inf
1522.92/1522.90 c 1496s| 1830k| 1829k| 3478k| 1.9 |1849M| 221 | 0 |1800 |1702 |1800 | 309 |1052k| 3 |4947 | 0.000000e+00 | 4.209250e+05 | Inf
1531.23/1531.23 c 1504s| 1840k| 1839k| 3502k| 1.9 |1859M| 221 | 0 |1800 |1702 |1800 | 277 |1059k| 3 |4962 | 0.000000e+00 | 4.209250e+05 | Inf
1539.23/1539.29 c 1512s| 1850k| 1849k| 3519k| 1.9 |1869M| 221 | 0 |1800 |1702 |1800 | 297 |1064k| 3 |4981 | 0.000000e+00 | 4.209250e+05 | Inf
1547.12/1547.17 c 1520s| 1860k| 1859k| 3531k| 1.9 |1879M| 221 | 0 |1800 |1702 |1800 | 278 |1067k| 3 |4981 | 0.000000e+00 | 4.209250e+05 | Inf
1555.12/1555.15 c 1527s| 1870k| 1869k| 3544k| 1.9 |1889M| 221 | 0 |1800 |1702 |1800 | 289 |1071k| 3 |4996 | 0.000000e+00 | 4.209250e+05 | Inf
1563.03/1563.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1563.03/1563.09 c 1535s| 1880k| 1879k| 3556k| 1.9 |1899M| 221 | 0 |1800 |1702 |1800 | 279 |1076k| 3 |4996 | 0.000000e+00 | 4.209250e+05 | Inf
1571.03/1571.06 c 1543s| 1890k| 1889k| 3567k| 1.9 |1909M| 221 | 0 |1800 |1702 |1800 | 291 |1079k| 3 |5012 | 0.000000e+00 | 4.209250e+05 | Inf
1578.93/1578.90 c 1551s| 1900k| 1899k| 3576k| 1.9 |1919M| 221 | 11 |1800 |1702 |1800 | 263 |1082k| 3 |5016 | 0.000000e+00 | 4.209250e+05 | Inf
1586.82/1586.87 c 1559s| 1910k| 1909k| 3588k| 1.9 |1929M| 221 | 0 |1800 |1702 |1800 | 261 |1085k| 3 |5029 | 0.000000e+00 | 4.209250e+05 | Inf
1594.62/1594.66 c 1566s| 1920k| 1919k| 3599k| 1.9 |1939M| 221 | 0 |1800 |1702 |1800 | 295 |1089k| 3 |5035 | 0.000000e+00 | 4.209250e+05 | Inf
1602.53/1602.50 c 1574s| 1930k| 1929k| 3610k| 1.9 |1948M| 221 | 0 |1800 |1702 |1800 | 282 |1092k| 3 |5035 | 0.000000e+00 | 4.209250e+05 | Inf
1610.23/1610.30 c 1582s| 1940k| 1939k| 3619k| 1.9 |1958M| 221 | 0 |1800 |1702 |1800 | 276 |1094k| 3 |5048 | 0.000000e+00 | 4.209250e+05 | Inf
1618.22/1618.24 c 1589s| 1950k| 1949k| 3632k| 1.9 |1968M| 221 | 0 |1800 |1702 |1800 | 272 |1098k| 3 |5056 | 0.000000e+00 | 4.209250e+05 | Inf
1626.13/1626.14 c 1597s| 1960k| 1959k| 3643k| 1.9 |1978M| 221 | 0 |1800 |1702 |1800 | 298 |1101k| 3 |5070 | 0.000000e+00 | 4.209250e+05 | Inf
1634.02/1634.08 c 1605s| 1970k| 1969k| 3656k| 1.9 |1988M| 221 | 13 |1800 |1702 |1800 | 272 |1105k| 3 |5074 | 0.000000e+00 | 4.209250e+05 | Inf
1641.82/1641.87 c 1613s| 1980k| 1979k| 3667k| 1.9 |1998M| 221 | 0 |1800 |1702 |1800 | 269 |1109k| 3 |5084 | 0.000000e+00 | 4.209250e+05 | Inf
1649.83/1649.82 c 1620s| 1990k| 1989k| 3679k| 1.8 |2008M| 221 | 0 |1800 |1702 |1800 | 278 |1112k| 3 |5088 | 0.000000e+00 | 4.209250e+05 | Inf
1657.83/1657.84 c 1628s| 2000k| 1999k| 3694k| 1.8 |2018M| 221 | 0 |1800 |1702 |1800 | 320 |1117k| 3 |5101 | 0.000000e+00 | 4.209250e+05 | Inf
1665.73/1665.73 c 1636s| 2010k| 2009k| 3706k| 1.8 |2028M| 221 | 0 |1800 |1702 |1800 | 290 |1120k| 3 |5106 | 0.000000e+00 | 4.209250e+05 | Inf
1673.13/1673.15 c 1643s| 2020k| 2019k| 3719k| 1.8 |2038M| 221 | 0 |1800 |1702 |1800 | 287 |1124k| 3 |5117 | 0.000000e+00 | 4.209250e+05 | Inf
1680.43/1680.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.43/1680.45 c 1650s| 2030k| 2029k| 3733k| 1.8 |2048M| 221 | 0 |1800 |1702 |1800 | 287 |1128k| 3 |5124 | 0.000000e+00 | 4.209250e+05 | Inf
1687.73/1687.75 c 1657s| 2040k| 2039k| 3748k| 1.8 |2058M| 221 | 0 |1800 |1702 |1800 | 291 |1132k| 3 |5138 | 0.000000e+00 | 4.209250e+05 | Inf
1695.13/1695.19 c 1664s| 2050k| 2049k| 3766k| 1.8 |2068M| 221 | 0 |1800 |1702 |1800 | 312 |1138k| 3 |5139 | 0.000000e+00 | 4.209250e+05 | Inf
1702.52/1702.54 c 1671s| 2060k| 2059k| 3780k| 1.8 |2078M| 221 | 0 |1800 |1702 |1800 | 294 |1142k| 3 |5156 | 0.000000e+00 | 4.209250e+05 | Inf
1709.72/1709.79 c 1678s| 2070k| 2069k| 3793k| 1.8 |2088M| 221 | 0 |1800 |1702 |1800 | 270 |1146k| 3 |5163 | 0.000000e+00 | 4.209250e+05 | Inf
1717.14/1717.17 c 1684s| 2080k| 2079k| 3808k| 1.8 |2098M| 221 | 0 |1800 |1702 |1800 | 277 |1151k| 3 |5175 | 0.000000e+00 | 4.209250e+05 | Inf
1724.53/1724.54 c 1691s| 2090k| 2089k| 3823k| 1.8 |2108M| 221 | 0 |1800 |1702 |1800 | 284 |1155k| 3 |5187 | 0.000000e+00 | 4.209250e+05 | Inf
1731.82/1731.81 c 1698s| 2100k| 2099k| 3834k| 1.8 |2118M| 221 | 0 |1800 |1702 |1800 | 269 |1158k| 3 |5191 | 0.000000e+00 | 4.209250e+05 | Inf
1739.03/1739.03 c 1705s| 2110k| 2109k| 3847k| 1.8 |2128M| 221 | 0 |1800 |1702 |1800 | 252 |1162k| 3 |5203 | 0.000000e+00 | 4.209250e+05 | Inf
1746.32/1746.34 c 1712s| 2120k| 2119k| 3859k| 1.8 |2138M| 221 | 0 |1800 |1702 |1800 | 282 |1165k| 3 |5210 | 0.000000e+00 | 4.209250e+05 | Inf
1753.53/1753.53 c 1719s| 2130k| 2129k| 3869k| 1.8 |2148M| 221 | 0 |1800 |1702 |1800 | 293 |1168k| 3 |5210 | 0.000000e+00 | 4.209250e+05 | Inf
1760.73/1760.71 c 1725s| 2140k| 2139k| 3879k| 1.8 |2158M| 221 | 6 |1800 |1702 |1800 | 261 |1171k| 3 |5224 | 0.000000e+00 | 4.209250e+05 | Inf
1767.83/1767.89 c 1732s| 2150k| 2149k| 3887k| 1.8 |2168M| 221 | 0 |1800 |1702 |1800 | 299 |1173k| 3 |5227 | 0.000000e+00 | 4.209250e+05 | Inf
1775.12/1775.16 c 1739s| 2160k| 2159k| 3899k| 1.8 |2178M| 221 | 0 |1800 |1702 |1800 | 285 |1177k| 3 |5231 | 0.000000e+00 | 4.209250e+05 | Inf
1782.23/1782.27 c 1746s| 2170k| 2169k| 3907k| 1.8 |2188M| 221 | 5 |1800 |1702 |1800 | 303 |1179k| 3 |5242 | 0.000000e+00 | 4.209250e+05 | Inf
1789.53/1789.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.53/1789.50 c 1752s| 2180k| 2179k| 3919k| 1.8 |2198M| 221 | 0 |1800 |1702 |1800 | 276 |1183k| 3 |5244 | 0.000000e+00 | 4.209250e+05 | Inf
1796.73/1796.77 c 1759s| 2190k| 2189k| 3931k| 1.8 |2208M| 221 | 0 |1800 |1702 |1800 | 287 |1186k| 3 |5258 | 0.000000e+00 | 4.209250e+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) : 1762.23
1800.04/1800.00 c Solving Nodes : 2194424
1800.04/1800.00 c Primal Bound : +4.20925000000000e+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 : 1762.23
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2700272-1278534565.wbo
1800.04/1800.01 c Variables : 1900 (1050 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.04/1800.01 c Constraints : 1801 initial, 1801 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2700272-1278534565.wbo
1800.04/1800.01 c Variables : 1800 (950 binary, 0 integer, 0 implicit integer, 850 continuous)
1800.04/1800.01 c Constraints : 1700 initial, 1703 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.02 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 850 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 2444205 0 0 0 0 0 771036
1800.04/1800.01 c indicator : 850 0 3117612 2058687 0 0 2326475 0 0 0
1800.04/1800.01 c linear : 850 6 3117612 2058687 0 1 1024125 1188580 0 0
1800.04/1800.01 c logicor : 0+ 0 21508 0 0 0 933 0 0 0
1800.04/1800.01 c countsols : 0 0 0 1808905 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 9.26 0.00 0.00 9.26 0.00
1800.04/1800.01 c indicator : 151.53 0.06 33.54 117.93 0.00
1800.04/1800.01 c linear : 33.36 0.00 14.11 19.25 0.00
1800.04/1800.01 c logicor : 0.04 0.00 0.04 0.00 0.00
1800.04/1800.01 c countsols : 0.48 0.00 0.00 0.48 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.73 2 0 0
1800.04/1800.01 c rootredcost : 0.75 0 0 0
1800.04/1800.01 c pseudoobj : 53.09 3117412 0 0
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 1 1 1 9.0 2 4.0 -
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 : - - - 3 5.7 - - -
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 - - 11 - (maximal pool size: 67)
1800.04/1800.01 c redcost : 93.16 2443901 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 70 0
1800.04/1800.01 c strongcg : 0.00 4 0 0 0 0
1800.04/1800.01 c cmir : 0.00 4 0 0 0 0
1800.04/1800.01 c flowcover : 0.04 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.17 385518 0 0 0 0 771036
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 135.11 1808905 0 0 0 0 3617810
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 : 1.82 1 0
1800.04/1800.01 c intshifting : 0.03 17 0
1800.04/1800.01 c crossover : 0.86 13 0
1800.04/1800.01 c coefdiving : 12.98 23662 0
1800.04/1800.01 c pscostdiving : 13.71 23662 0
1800.04/1800.01 c fracdiving : 13.09 23662 0
1800.04/1800.01 c veclendiving : 14.21 23662 0
1800.04/1800.01 c linesearchdiving : 13.38 23662 0
1800.04/1800.01 c guideddiving : 12.98 23662 0
1800.04/1800.01 c trivial : 0.00 2 1
1800.04/1800.01 c simplerounding : 0.89 385238 0
1800.04/1800.01 c zirounding : 0.52 1000 0
1800.04/1800.01 c rounding : 0.95 8772 0
1800.04/1800.01 c shifting : 1.78 2705 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 14.22 23638 0
1800.04/1800.01 c rootsoldiving : 14.52 23638 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.01 1 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.51 0 0
1800.04/1800.01 c trysol : 1.10 27149 99
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 716.21 783818 3936106 5.02 5495.74
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.25 471 1532 3.25 6128.00
1800.04/1800.01 c strong branching : 5.73 5259 68730 13.07 11994.76
1800.04/1800.01 c (at root node) : - 33 4810 145.76 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2194424
1800.04/1800.01 c nodes (total) : 2194424
1800.04/1800.01 c nodes left : 2194423
1800.04/1800.01 c max depth : 221
1800.04/1800.01 c max depth (total): 221
1800.04/1800.01 c backtracks : 23798 (1.1%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 54 (2 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 2.27
1800.04/1800.01 c switching time : 70.53
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 100 (1 improvements)
1800.04/1800.01 c First Solution : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +4.20925000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 316
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700272-1278534565/watcher-2700272-1278534565 -o /tmp/evaluation-result-2700272-1278534565/solver-2700272-1278534565 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700272-1278534565.wbo -t 1800 -m 3800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.23 3.25 2.19 4/178 18372
/proc/meminfo: memFree=29457340/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=9408 CPUtime=0
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 1648 0 0 0 0 0 0 0 25 0 1 0 21669346 9633792 1568 4089446400 4194304 8223781 140734123441856 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/18372/statm: 2352 1568 369 984 0 1365 0
[startup+0.0828229 s]
/proc/loadavg: 2.23 3.25 2.19 4/178 18372
/proc/meminfo: memFree=29457340/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=23164 CPUtime=0.07
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 6124 0 0 0 7 0 0 0 25 0 1 0 21669346 23719936 4898 4089446400 4194304 8223781 140734123441856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18372/statm: 5791 4898 563 984 0 4804 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23164
[startup+0.100824 s]
/proc/loadavg: 2.23 3.25 2.19 4/178 18372
/proc/meminfo: memFree=29457340/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=23432 CPUtime=0.09
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 6197 0 0 0 9 0 0 0 25 0 1 0 21669346 23994368 4971 4089446400 4194304 8223781 140734123441856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18372/statm: 5858 4972 564 984 0 4871 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23432
[startup+0.300788 s]
/proc/loadavg: 2.23 3.25 2.19 4/178 18372
/proc/meminfo: memFree=29457340/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=26692 CPUtime=0.29
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 9982 0 0 0 28 1 0 0 25 0 1 0 21669346 27332608 5702 4089446400 4194304 8223781 140734123441856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18372/statm: 6673 5702 578 984 0 5686 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26692
[startup+0.700716 s]
/proc/loadavg: 2.23 3.25 2.19 4/178 18372
/proc/meminfo: memFree=29457340/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=26692 CPUtime=0.69
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 9982 0 0 0 67 2 0 0 25 0 1 0 21669346 27332608 5702 4089446400 4194304 8223781 140734123441856 18446744073709551615 6591942 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18372/statm: 6673 5702 578 984 0 5686 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26692
[startup+1.50057 s]
/proc/loadavg: 2.23 3.25 2.19 3/179 18373
/proc/meminfo: memFree=29434888/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=26692 CPUtime=1.49
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 9982 0 0 0 146 3 0 0 25 0 1 0 21669346 27332608 5702 4089446400 4194304 8223781 140734123441856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18372/statm: 6673 5702 578 984 0 5686 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26692
[startup+3.10029 s]
/proc/loadavg: 2.23 3.25 2.19 3/179 18373
/proc/meminfo: memFree=29434020/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=30168 CPUtime=3.09
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 16501 0 0 0 303 6 0 0 25 0 1 0 21669346 30892032 6605 4089446400 4194304 8223781 140734123441856 18446744073709551615 6304449 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 7542 6605 584 984 0 6555 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30168
[startup+6.30073 s]
/proc/loadavg: 2.21 3.23 2.19 3/179 18373
/proc/meminfo: memFree=29424992/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=33352 CPUtime=6.28
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 23532 0 0 0 615 13 0 0 25 0 1 0 21669346 34152448 7413 4089446400 4194304 8223781 140734123441856 18446744073709551615 4925457 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 8338 7413 584 984 0 7351 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33352
[startup+12.7006 s]
/proc/loadavg: 2.20 3.21 2.19 3/179 18374
/proc/meminfo: memFree=29407520/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=41612 CPUtime=12.69
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 28746 0 0 0 1241 28 0 0 25 0 1 0 21669346 42610688 9500 4089446400 4194304 8223781 140734123441856 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 10403 9500 584 984 0 9416 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41612
[startup+25.5003 s]
/proc/loadavg: 2.15 3.15 2.18 3/179 18375
/proc/meminfo: memFree=29375036/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=54908 CPUtime=25.48
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 35240 0 0 0 2497 51 0 0 25 0 1 0 21669346 56225792 12871 4089446400 4194304 8223781 140734123441856 18446744073709551615 6505967 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 13727 12871 584 984 0 12740 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 54908
[startup+51.1008 s]
/proc/loadavg: 2.10 3.05 2.18 3/179 18375
/proc/meminfo: memFree=29313536/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=83148 CPUtime=51.09
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 45506 0 0 0 5011 98 0 0 25 0 1 0 21669346 85143552 20019 4089446400 4194304 8223781 140734123441856 18446744073709551615 6439880 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 20787 20019 584 984 0 19800 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 83148
[startup+102.306 s]
/proc/loadavg: 2.04 2.89 2.17 3/179 18377
/proc/meminfo: memFree=29188252/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=142100 CPUtime=102.3
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 66188 0 0 0 10039 191 0 0 25 0 1 0 21669346 145510400 34482 4089446400 4194304 8223781 140734123441856 18446744073709551615 6482877 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 35525 34482 584 984 0 34538 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 142100
[startup+162.3 s]
/proc/loadavg: 2.01 2.72 2.16 3/179 18378
/proc/meminfo: memFree=29041880/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=210732 CPUtime=162.29
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 83601 0 0 0 15926 303 0 0 25 0 1 0 21669346 215789568 51895 4089446400 4194304 8223781 140734123441856 18446744073709551615 6524277 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 52683 51895 584 984 0 51696 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 210732
[startup+222.301 s]
/proc/loadavg: 2.00 2.59 2.14 3/179 18379
/proc/meminfo: memFree=28893024/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=282708 CPUtime=222.3
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 103942 0 0 0 21817 413 0 0 25 0 1 0 21669346 289492992 69119 4089446400 4194304 8223781 140734123441856 18446744073709551615 5813855 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 70677 69119 584 984 0 69690 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 282708
[startup+282.301 s]
/proc/loadavg: 2.00 2.48 2.13 3/179 18381
/proc/meminfo: memFree=28742060/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=351940 CPUtime=282.3
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 121531 0 0 0 27709 521 0 0 25 0 1 0 21669346 360386560 86708 4089446400 4194304 8223781 140734123441856 18446744073709551615 4642001 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 87985 86708 584 984 0 86998 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 351940
[startup+342.3 s]
/proc/loadavg: 2.00 2.39 2.12 3/179 18383
/proc/meminfo: memFree=28591096/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=421744 CPUtime=342.3
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 139258 0 0 0 33602 628 0 0 25 0 1 0 21669346 431865856 104435 4089446400 4194304 8223781 140734123441856 18446744073709551615 6446764 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 105436 104435 584 984 0 104449 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 421744
[startup+402.301 s]
/proc/loadavg: 2.03 2.33 2.11 3/179 18385
/proc/meminfo: memFree=28441380/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=492188 CPUtime=402.3
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 160266 0 0 0 39496 734 0 0 25 0 1 0 21669346 504000512 122319 4089446400 4194304 8223781 140734123441856 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 123047 122319 584 984 0 122060 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 492188
[startup+462.3 s]
/proc/loadavg: 2.01 2.27 2.10 3/179 18386
/proc/meminfo: memFree=28285688/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=570284 CPUtime=462.3
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 178005 0 0 0 45389 841 0 0 25 0 1 0 21669346 583970816 140058 4089446400 4194304 8223781 140734123441856 18446744073709551615 6436172 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 142571 140058 584 984 0 141584 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 570284
[startup+522.301 s]
/proc/loadavg: 2.00 2.22 2.09 3/179 18387
/proc/meminfo: memFree=28136088/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=637660 CPUtime=522.3
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 195122 0 0 0 51286 944 0 0 25 0 1 0 21669346 652963840 157175 4089446400 4194304 8223781 140734123441856 18446744073709551615 4819324 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 159415 157175 584 984 0 158428 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 637660
[startup+582.301 s]
/proc/loadavg: 2.00 2.17 2.08 3/179 18389
/proc/meminfo: memFree=27979416/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=708736 CPUtime=582.31
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 213181 0 0 0 57177 1054 0 0 25 0 1 0 21669346 725745664 175233 4089446400 4194304 8223781 140734123441856 18446744073709551615 6448679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 177184 175233 584 984 0 176197 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 708736
[startup+642.3 s]
/proc/loadavg: 2.00 2.14 2.08 3/179 18391
/proc/meminfo: memFree=27819280/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=782444 CPUtime=642.31
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 231884 0 0 0 63074 1157 0 0 25 0 1 0 21669346 801222656 193936 4089446400 4194304 8223781 140734123441856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 195611 193936 584 984 0 194624 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 782444
[startup+702.301 s]
################
# More data... #
################
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 346389 0 0 0 98422 1809 0 0 25 0 1 0 21669346 1267093504 305324 4089446400 4194304 8223781 140734123441856 18446744073709551615 4561013 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 309349 305324 584 984 0 308362 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1237396
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/179 18402
/proc/meminfo: memFree=26726084/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=1312072 CPUtime=1062.31
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 365351 0 0 0 104314 1917 0 0 25 0 1 0 21669346 1343561728 324286 4089446400 4194304 8223781 140734123441856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 328018 324286 584 984 0 327031 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1312072
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/179 18403
/proc/meminfo: memFree=26567812/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=1385968 CPUtime=1122.32
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 384133 0 0 0 110208 2024 0 0 25 0 1 0 21669346 1419231232 343068 4089446400 4194304 8223781 140734123441856 18446744073709551615 4642962 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 346492 343068 588 984 0 345505 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1385968
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 18405
/proc/meminfo: memFree=26412608/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=1458692 CPUtime=1182.32
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 402591 0 0 0 116107 2125 0 0 25 0 1 0 21669346 1493700608 361526 4089446400 4194304 8223781 140734123441856 18446744073709551615 6448652 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 364673 361526 588 984 0 363686 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1458692
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/179 18407
/proc/meminfo: memFree=26254320/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=1531248 CPUtime=1242.32
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 421019 0 0 0 121999 2233 0 0 25 0 1 0 21669346 1567997952 379954 4089446400 4194304 8223781 140734123441856 18446744073709551615 4561013 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 382812 379954 588 984 0 381825 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1531248
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 18409
/proc/meminfo: memFree=26094068/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=1605012 CPUtime=1302.32
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 439758 0 0 0 127900 2332 0 0 25 0 1 0 21669346 1643532288 398693 4089446400 4194304 8223781 140734123441856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 401253 398693 588 984 0 400266 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1605012
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 18410
/proc/meminfo: memFree=25940992/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=1676964 CPUtime=1362.32
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 458035 0 0 0 133795 2437 0 0 25 0 1 0 21669346 1717211136 416970 4089446400 4194304 8223781 140734123441856 18446744073709551615 6482565 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 419241 416970 588 984 0 418254 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1676964
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18411
/proc/meminfo: memFree=25781712/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=1751916 CPUtime=1422.33
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 480191 0 0 0 139688 2545 0 0 25 0 1 0 21669346 1793961984 436000 4089446400 4194304 8223781 140734123441856 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 437979 436000 588 984 0 436992 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1751916
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18413
/proc/meminfo: memFree=25623932/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=1825900 CPUtime=1482.32
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 498969 0 0 0 145583 2649 0 0 25 0 1 0 21669346 1869721600 454778 4089446400 4194304 8223781 140734123441856 18446744073709551615 6446812 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 456475 454778 588 984 0 455488 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1825900
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18415
/proc/meminfo: memFree=25466372/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=1900020 CPUtime=1542.32
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 517794 0 0 0 151479 2753 0 0 25 0 1 0 21669346 1945620480 473603 4089446400 4194304 8223781 140734123441856 18446744073709551615 6455718 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 475005 473603 588 984 0 474018 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1900020
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18417
/proc/meminfo: memFree=25310940/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=1972676 CPUtime=1602.33
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 536254 0 0 0 157368 2865 0 0 25 0 1 0 21669346 2020020224 492063 4089446400 4194304 8223781 140734123441856 18446744073709551615 6446852 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 493169 492063 588 984 0 492182 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1972676
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18418
/proc/meminfo: memFree=25149812/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=2047384 CPUtime=1662.33
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 555218 0 0 0 163263 2970 0 0 25 0 1 0 21669346 2096521216 511027 4089446400 4194304 8223781 140734123441856 18446744073709551615 4560991 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18372/statm: 511846 511027 588 984 0 510859 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2047384
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 2/174 18981
/proc/meminfo: memFree=27509584/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=2157868 CPUtime=1722.33
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 574966 0 0 0 168923 3310 0 0 25 0 1 0 21669346 2209656832 530775 4089446400 4194304 8223781 140734123441856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18372/statm: 539467 530775 588 984 0 538480 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2157868
[startup+1782.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 19222
/proc/meminfo: memFree=27398500/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=2237928 CPUtime=1782.33
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 595332 0 0 0 174559 3674 0 0 25 0 1 0 21669346 2291638272 551141 4089446400 4194304 8223781 140734123441856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18372/statm: 559482 551141 588 984 0 558495 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2237928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 19222
/proc/meminfo: memFree=27372564/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=2263008 CPUtime=1800.04
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 601681 0 0 0 176224 3780 0 0 25 0 1 0 21669346 2317320192 557490 4089446400 4194304 8223781 140734123441856 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/18372/statm: 565752 557490 588 984 0 564765 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2263008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18372
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 19223
/proc/meminfo: memFree=27372556/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=2263008 CPUtime=1801.43
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 601683 0 0 0 176363 3780 0 0 19 0 1 0 21669346 2317320192 557492 4089446400 4194304 8223781 140734123441856 18446744073709551615 4609365 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/18372/statm: 565752 557492 590 984 0 564765 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 2263008
[startup+1801.81 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 19223
/proc/meminfo: memFree=27372556/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=2263008 CPUtime=1801.84
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 601683 0 0 0 176404 3780 0 0 20 0 1 0 21669346 2317320192 557492 4089446400 4194304 8223781 140734123441856 18446744073709551615 6207235 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/18372/statm: 565752 557492 590 984 0 564765 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 2263008
[startup+1802 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 19223
/proc/meminfo: memFree=27372556/32951124 swapFree=67111528/67111528
[pid=18372] ppid=18370 vsize=2263008 CPUtime=1802.03
/proc/18372/stat : 18372 (pbscip.linux.x8) R 18370 18372 17842 0 -1 4202496 601683 0 0 0 176423 3780 0 0 21 0 1 0 21669346 2317320192 557492 4089446400 4194304 8223781 140734123441856 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/18372/statm: 565752 557492 590 984 0 564765 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 2263008
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.12
CPU user time (s): 1764.24
CPU system time (s): 37.8792
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2263008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1764.24
system time used= 37.8792
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601683
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= 5
involuntary context switches= 3572
runsolver used 2.53561 second user time and 5.67814 second system time
The end
Begin job on node140 at 2010-07-07 22:29:25
IDJOB=2700272
IDBENCH=79414
IDSOLVER=1204
FILE ID=node140/2700272-1278534565
PBS_JOBID= 11239197
Free space on /tmp= 73696 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-jnh17_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-2700272-1278534565/watcher-2700272-1278534565 -o /tmp/evaluation-result-2700272-1278534565/solver-2700272-1278534565 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700272-1278534565.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 57d73bec44a40d3308f5eb2ba913b45c
RANDOM SEED=1402057638
node140.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.817
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.63
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.817
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 : 5261.06
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.817
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.817
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.77
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.817
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.80
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.817
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.74
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.817
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.817
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: 29457868 kB
Buffers: 128668 kB
Cached: 2980208 kB
SwapCached: 0 kB
Active: 1321324 kB
Inactive: 2028700 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29457868 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4676 kB
Writeback: 0 kB
AnonPages: 241316 kB
Mapped: 17012 kB
Slab: 79324 kB
PageTables: 5276 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 386716 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= 73696 MiB
End job on node140 at 2010-07-07 22:59:27