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-2700380-1278535256.wbo>
0.00/0.01 c original problem has 2000 variables (1100 bin, 0 int, 0 impl, 900 cont) and 1901 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.01/0.02 c presolving:
0.01/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.01/0.03 c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.01/0.06 c (0.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.01/0.06 c presolving (3 rounds):
0.01/0.06 c 100 deleted vars, 101 deleted constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.06 c 1100 implications, 0 cliques
0.01/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 0 impl, 900 cont) and 1800 constraints
0.01/0.06 c 900 constraints of type <indicator>
0.01/0.06 c 900 constraints of type <linear>
0.01/0.06 c transformed objective value is always integral (scale: 1)
0.01/0.06 c Presolving Time: 0.03
0.01/0.06 c - non default parameters ----------------------------------------------------------------------
0.01/0.06 c # SCIP version 1.2.1.2
0.01/0.06 c
0.01/0.06 c # frequency for displaying node information lines
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.06 c display/freq = 10000
0.01/0.06 c
0.01/0.06 c # maximal time in seconds to run
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.06 c limits/time = 1799.99
0.01/0.06 c
0.01/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.06 c limits/memory = 3420
0.01/0.06 c
0.01/0.06 c # should presolving try to simplify inequalities
0.01/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.06 c constraints/linear/simplifyinequalities = TRUE
0.01/0.06 c
0.01/0.06 c # should presolving try to simplify knapsacks
0.01/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.06 c
0.01/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c separating/rapidlearning/freq = 0
0.01/0.06 c
0.01/0.06 c -----------------------------------------------------------------------------------------------
0.01/0.06 c start solving
0.01/0.06 c
0.01/0.06 o 444854
0.01/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.01/0.06 c t 0.0s| 1 | 0 | 0 | - |6453k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.01/0.06 c 0.0s| 1 | 0 | 0 | - |6875k| 0 | 0 |1900 |1800 |1900 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.01/0.07 c 0.0s| 1 | 0 | 34 | - |6915k| 0 | 0 |1900 |1800 |1900 | 71 | 71 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.01/0.07 c 0.1s| 1 | 0 | 107 | - |6962k| 0 | 14 |1900 |1800 |1900 | 111 | 111 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.01/0.08 c 0.1s| 1 | 0 | 164 | - |7024k| 0 | 76 |1900 |1800 |1900 | 160 | 160 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.01/0.09 c 0.1s| 1 | 0 | 190 | - |7097k| 0 | 82 |1900 |1800 |1900 | 178 | 178 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 205 | - |7143k| 0 | 82 |1900 |1800 |1900 | 185 | 185 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 211 | - |7169k| 0 | 83 |1900 |1800 |1900 | 189 | 189 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.19/0.28 c 0.2s| 1 | 2 | 348 | - |7221k| 0 | 83 |1900 |1800 |1900 | 189 | 189 | 0 | 33 | 0.000000e+00 | 4.448540e+05 | Inf
11.49/11.56 c 11.3s| 10000 | 10001 | 65649 | 6.5 | 20M| 101 | 24 |1900 |1800 |1900 | 311 | 18k| 0 | 790 | 0.000000e+00 | 4.448540e+05 | Inf
20.59/20.64 c 20.2s| 20000 | 20001 |114579 | 5.7 | 31M| 129 | 0 |1900 |1800 |1900 | 301 | 33k| 0 | 802 | 0.000000e+00 | 4.448540e+05 | Inf
29.49/29.51 c 28.9s| 30000 | 30001 |145897 | 4.9 | 41M| 131 | 0 |1900 |1800 |1900 | 295 | 42k| 0 | 884 | 0.000000e+00 | 4.448540e+05 | Inf
38.29/38.35 c 37.5s| 40000 | 40001 |182443 | 4.6 | 52M| 131 | 0 |1900 |1800 |1900 | 272 | 53k| 0 |1018 | 0.000000e+00 | 4.448540e+05 | Inf
46.99/47.04 c 46.1s| 50000 | 50001 |216338 | 4.3 | 62M| 131 | 0 |1900 |1800 |1900 | 326 | 64k| 0 |1126 | 0.000000e+00 | 4.448540e+05 | Inf
55.99/56.01 c 54.9s| 60000 | 60001 |257100 | 4.3 | 73M| 131 | 0 |1900 |1800 |1900 | 308 | 76k| 0 |1255 | 0.000000e+00 | 4.448540e+05 | Inf
64.59/64.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.59/64.69 c 63.4s| 70000 | 70001 |288831 | 4.1 | 83M| 131 | 6 |1900 |1800 |1900 | 314 | 86k| 0 |1370 | 0.000000e+00 | 4.448540e+05 | Inf
73.30/73.31 c 71.9s| 80000 | 80001 |321140 | 4.0 | 94M| 131 | 0 |1900 |1800 |1900 | 302 | 95k| 0 |1450 | 0.000000e+00 | 4.448540e+05 | Inf
81.69/81.72 c 80.2s| 90000 | 90001 |346548 | 3.8 | 104M| 137 | 0 |1900 |1800 |1900 | 283 | 103k| 0 |1516 | 0.000000e+00 | 4.448540e+05 | Inf
90.10/90.18 c 88.5s|100000 |100001 |372786 | 3.7 | 114M| 137 | 0 |1900 |1800 |1900 | 292 | 111k| 0 |1591 | 0.000000e+00 | 4.448540e+05 | Inf
99.09/99.15 c 97.3s|110000 |110001 |416763 | 3.8 | 125M| 137 | 0 |1900 |1800 |1900 | 291 | 124k| 0 |1739 | 0.000000e+00 | 4.448540e+05 | Inf
107.80/107.89 c 106s|120000 |120001 |452055 | 3.8 | 135M| 137 | 0 |1900 |1800 |1900 | 335 | 134k| 0 |1825 | 0.000000e+00 | 4.448540e+05 | Inf
116.70/116.77 c 115s|130000 |130001 |492398 | 3.8 | 146M| 137 | 0 |1900 |1800 |1900 | 330 | 146k| 0 |1939 | 0.000000e+00 | 4.448540e+05 | Inf
125.30/125.38 c 123s|140000 |140001 |522930 | 3.7 | 156M| 137 | 0 |1900 |1800 |1900 | 284 | 155k| 0 |2017 | 0.000000e+00 | 4.448540e+05 | Inf
134.20/134.25 c 132s|150000 |150001 |562996 | 3.8 | 167M| 137 | 20 |1900 |1800 |1900 | 260 | 167k| 0 |2113 | 0.000000e+00 | 4.448540e+05 | Inf
142.80/142.86 c 140s|160000 |160001 |594148 | 3.7 | 177M| 137 | 11 |1900 |1800 |1900 | 307 | 176k| 0 |2190 | 0.000000e+00 | 4.448540e+05 | Inf
151.39/151.42 c 149s|170000 |170001 |627285 | 3.7 | 188M| 137 | 0 |1900 |1800 |1900 | 319 | 186k| 0 |2279 | 0.000000e+00 | 4.448540e+05 | Inf
160.10/160.18 c 157s|180000 |180001 |665275 | 3.7 | 198M| 137 | 0 |1900 |1800 |1900 | 299 | 198k| 0 |2359 | 0.000000e+00 | 4.448540e+05 | Inf
168.89/168.92 c 166s|190000 |190001 |701819 | 3.7 | 209M| 137 | 5 |1900 |1800 |1900 | 279 | 208k| 0 |2442 | 0.000000e+00 | 4.448540e+05 | Inf
177.30/177.39 c 174s|200000 |200001 |730204 | 3.6 | 219M| 147 | 0 |1900 |1800 |1900 | 333 | 216k| 0 |2513 | 0.000000e+00 | 4.448540e+05 | Inf
185.60/185.66 c 182s|210000 |210001 |752423 | 3.6 | 229M| 147 | 0 |1900 |1800 |1900 | 261 | 223k| 0 |2562 | 0.000000e+00 | 4.448540e+05 | Inf
193.90/193.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
193.90/193.96 c 190s|220000 |220001 |776418 | 3.5 | 240M| 147 | 0 |1900 |1800 |1900 | 300 | 230k| 0 |2594 | 0.000000e+00 | 4.448540e+05 | Inf
202.00/202.04 c 198s|230000 |230001 |794548 | 3.5 | 250M| 147 | 0 |1900 |1800 |1900 | 312 | 236k| 0 |2634 | 0.000000e+00 | 4.448540e+05 | Inf
210.39/210.49 c 207s|240000 |240001 |824542 | 3.4 | 260M| 147 | 0 |1900 |1800 |1900 | 280 | 245k| 0 |2684 | 0.000000e+00 | 4.448540e+05 | Inf
218.49/218.58 c 215s|250000 |250001 |844063 | 3.4 | 271M| 147 | 0 |1900 |1800 |1900 | 299 | 251k| 0 |2716 | 0.000000e+00 | 4.448540e+05 | Inf
227.00/227.04 c 223s|260000 |260001 |873410 | 3.4 | 281M| 147 | 0 |1900 |1800 |1900 | 313 | 259k| 0 |2769 | 0.000000e+00 | 4.448540e+05 | Inf
235.49/235.59 c 231s|270000 |270001 |907230 | 3.4 | 292M| 147 | 5 |1900 |1800 |1900 | 268 | 269k| 0 |2822 | 0.000000e+00 | 4.448540e+05 | Inf
243.70/243.74 c 239s|280000 |280001 |926328 | 3.3 | 302M| 147 | 0 |1900 |1800 |1900 | 312 | 275k| 0 |2852 | 0.000000e+00 | 4.448540e+05 | Inf
251.70/251.78 c 247s|290000 |290001 |941301 | 3.2 | 312M| 147 | 0 |1900 |1800 |1900 | 305 | 280k| 0 |2874 | 0.000000e+00 | 4.448540e+05 | Inf
260.20/260.22 c 255s|300000 |300001 |971341 | 3.2 | 323M| 147 | 0 |1900 |1800 |1900 | 309 | 289k| 0 |2918 | 0.000000e+00 | 4.448540e+05 | Inf
268.70/268.70 c 264s|310000 |310001 | 1000k| 3.2 | 333M| 147 | 0 |1900 |1800 |1900 | 281 | 298k| 0 |2974 | 0.000000e+00 | 4.448540e+05 | Inf
277.11/277.15 c 272s|320000 |320001 | 1029k| 3.2 | 344M| 147 | 0 |1900 |1800 |1900 | 292 | 306k| 0 |3030 | 0.000000e+00 | 4.448540e+05 | Inf
285.10/285.19 c 280s|330000 |330001 | 1046k| 3.2 | 354M| 147 | 0 |1900 |1800 |1900 | 300 | 311k| 0 |3053 | 0.000000e+00 | 4.448540e+05 | Inf
293.30/293.39 c 288s|340000 |340001 | 1067k| 3.1 | 364M| 147 | 0 |1900 |1800 |1900 | 313 | 317k| 0 |3096 | 0.000000e+00 | 4.448540e+05 | Inf
301.70/301.73 c 296s|350000 |350001 | 1094k| 3.1 | 375M| 147 | 0 |1900 |1800 |1900 | 317 | 325k| 0 |3122 | 0.000000e+00 | 4.448540e+05 | Inf
310.11/310.14 c 304s|360000 |360001 | 1125k| 3.1 | 385M| 147 | 0 |1900 |1800 |1900 | 304 | 336k| 0 |3168 | 0.000000e+00 | 4.448540e+05 | Inf
318.50/318.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.50/318.59 c 313s|370000 |370001 | 1156k| 3.1 | 396M| 147 | 0 |1900 |1800 |1900 | 294 | 346k| 0 |3218 | 0.000000e+00 | 4.448540e+05 | Inf
327.00/327.01 c 321s|380000 |380001 | 1187k| 3.1 | 406M| 147 | 0 |1900 |1800 |1900 | 320 | 356k| 0 |3281 | 0.000000e+00 | 4.448540e+05 | Inf
335.00/335.07 c 329s|390000 |390001 | 1205k| 3.1 | 417M| 147 | 3 |1900 |1800 |1900 | 298 | 362k| 0 |3300 | 0.000000e+00 | 4.448540e+05 | Inf
342.80/342.88 c 337s|400000 |400001 | 1219k| 3.0 | 427M| 147 | 14 |1900 |1800 |1900 | 259 | 366k| 0 |3320 | 0.000000e+00 | 4.448540e+05 | Inf
351.20/351.23 c 345s|410000 |410001 | 1245k| 3.0 | 437M| 147 | 0 |1900 |1800 |1900 | 296 | 374k| 0 |3356 | 0.000000e+00 | 4.448540e+05 | Inf
359.50/359.55 c 353s|420000 |420001 | 1271k| 3.0 | 448M| 147 | 7 |1900 |1800 |1900 | 314 | 382k| 0 |3402 | 0.000000e+00 | 4.448540e+05 | Inf
367.91/367.96 c 361s|430000 |430001 | 1300k| 3.0 | 458M| 147 | 0 |1900 |1800 |1900 | 318 | 391k| 0 |3434 | 0.000000e+00 | 4.448540e+05 | Inf
376.30/376.34 c 369s|440000 |440001 | 1327k| 3.0 | 468M| 147 | 11 |1900 |1800 |1900 | 281 | 399k| 0 |3483 | 0.000000e+00 | 4.448540e+05 | Inf
384.60/384.65 c 378s|450000 |450001 | 1351k| 3.0 | 479M| 147 | 0 |1900 |1800 |1900 | 305 | 407k| 0 |3519 | 0.000000e+00 | 4.448540e+05 | Inf
393.00/393.09 c 386s|460000 |460001 | 1381k| 3.0 | 489M| 147 | 0 |1900 |1800 |1900 | 300 | 416k| 0 |3548 | 0.000000e+00 | 4.448540e+05 | Inf
401.60/401.62 c 394s|470000 |470001 | 1412k| 3.0 | 500M| 147 | 0 |1900 |1800 |1900 | 258 | 425k| 0 |3604 | 0.000000e+00 | 4.448540e+05 | Inf
409.70/409.79 c 402s|480000 |480001 | 1437k| 3.0 | 510M| 147 | 0 |1900 |1800 |1900 | 281 | 432k| 0 |3636 | 0.000000e+00 | 4.448540e+05 | Inf
418.01/418.04 c 410s|490000 |490001 | 1463k| 3.0 | 520M| 147 | 0 |1900 |1800 |1900 | 280 | 440k| 0 |3662 | 0.000000e+00 | 4.448540e+05 | Inf
426.40/426.45 c 419s|500000 |500001 | 1492k| 3.0 | 531M| 147 | 0 |1900 |1800 |1900 | 293 | 448k| 0 |3698 | 0.000000e+00 | 4.448540e+05 | Inf
434.71/434.74 c 427s|510000 |510001 | 1518k| 3.0 | 541M| 147 | 0 |1900 |1800 |1900 | 282 | 457k| 0 |3745 | 0.000000e+00 | 4.448540e+05 | Inf
442.91/442.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.91/442.90 c 435s|520000 |520001 | 1540k| 3.0 | 552M| 147 | 0 |1900 |1800 |1900 | 302 | 463k| 0 |3773 | 0.000000e+00 | 4.448540e+05 | Inf
451.01/451.09 c 443s|530000 |530001 | 1562k| 2.9 | 562M| 147 | 0 |1900 |1800 |1900 | 309 | 470k| 0 |3806 | 0.000000e+00 | 4.448540e+05 | Inf
459.20/459.27 c 451s|540000 |540001 | 1581k| 2.9 | 572M| 147 | 0 |1900 |1800 |1900 | 262 | 475k| 0 |3829 | 0.000000e+00 | 4.448540e+05 | Inf
467.10/467.19 c 459s|550000 |550001 | 1595k| 2.9 | 583M| 147 | 0 |1900 |1800 |1900 | 299 | 479k| 0 |3837 | 0.000000e+00 | 4.448540e+05 | Inf
475.60/475.62 c 467s|560000 |560001 | 1621k| 2.9 | 593M| 147 | 0 |1900 |1800 |1900 | 242 | 488k| 0 |3885 | 0.000000e+00 | 4.448540e+05 | Inf
483.80/483.89 c 475s|570000 |570001 | 1650k| 2.9 | 604M| 157 | 20 |1900 |1800 |1900 | 264 | 496k| 0 |3908 | 0.000000e+00 | 4.448540e+05 | Inf
492.10/492.16 c 483s|580000 |580001 | 1673k| 2.9 | 614M| 157 | 6 |1900 |1800 |1900 | 227 | 504k| 0 |3935 | 0.000000e+00 | 4.448540e+05 | Inf
500.41/500.50 c 491s|590000 |590001 | 1702k| 2.9 | 624M| 157 | 0 |1900 |1800 |1900 | 325 | 512k| 0 |3984 | 0.000000e+00 | 4.448540e+05 | Inf
508.81/508.89 c 500s|600000 |600001 | 1735k| 2.9 | 635M| 157 | 0 |1900 |1800 |1900 | 305 | 522k| 0 |4022 | 0.000000e+00 | 4.448540e+05 | Inf
517.10/517.19 c 508s|610000 |610001 | 1760k| 2.9 | 645M| 157 | 0 |1900 |1800 |1900 | 304 | 529k| 0 |4051 | 0.000000e+00 | 4.448540e+05 | Inf
525.41/525.47 c 516s|620000 |620001 | 1785k| 2.9 | 656M| 157 | 0 |1900 |1800 |1900 | 292 | 537k| 0 |4097 | 0.000000e+00 | 4.448540e+05 | Inf
533.71/533.77 c 524s|630000 |630001 | 1809k| 2.9 | 666M| 157 | 26 |1900 |1800 |1900 | 266 | 544k| 0 |4138 | 0.000000e+00 | 4.448540e+05 | Inf
541.91/541.93 c 532s|640000 |640001 | 1836k| 2.9 | 676M| 157 | 0 |1900 |1800 |1900 | 305 | 552k| 0 |4172 | 0.000000e+00 | 4.448540e+05 | Inf
550.21/550.29 c 540s|650000 |650001 | 1868k| 2.9 | 687M| 157 | 0 |1900 |1800 |1900 | 295 | 562k| 0 |4206 | 0.000000e+00 | 4.448540e+05 | Inf
558.71/558.76 c 549s|660000 |660001 | 1902k| 2.9 | 697M| 157 | 0 |1900 |1800 |1900 | 306 | 572k| 0 |4255 | 0.000000e+00 | 4.448540e+05 | Inf
567.11/567.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.11/567.12 c 557s|670000 |670001 | 1932k| 2.9 | 708M| 157 | 0 |1900 |1800 |1900 | 304 | 582k| 0 |4292 | 0.000000e+00 | 4.448540e+05 | Inf
575.31/575.30 c 565s|680000 |680001 | 1956k| 2.9 | 718M| 157 | 0 |1900 |1800 |1900 | 283 | 589k| 0 |4321 | 0.000000e+00 | 4.448540e+05 | Inf
583.51/583.53 c 573s|690000 |690001 | 1979k| 2.9 | 728M| 157 | 0 |1900 |1800 |1900 | 269 | 596k| 0 |4341 | 0.000000e+00 | 4.448540e+05 | Inf
591.61/591.69 c 581s|700000 |700001 | 1999k| 2.9 | 739M| 157 | 0 |1900 |1800 |1900 | 312 | 603k| 0 |4378 | 0.000000e+00 | 4.448540e+05 | Inf
599.70/599.77 c 589s|710000 |710001 | 2020k| 2.8 | 749M| 157 | 3 |1900 |1800 |1900 | 243 | 609k| 0 |4400 | 0.000000e+00 | 4.448540e+05 | Inf
607.71/607.75 c 597s|720000 |720001 | 2037k| 2.8 | 759M| 157 | 0 |1900 |1800 |1900 | 282 | 614k| 0 |4409 | 0.000000e+00 | 4.448540e+05 | Inf
615.51/615.59 c 604s|730000 |730001 | 2051k| 2.8 | 770M| 157 | 0 |1900 |1800 |1900 | 273 | 618k| 0 |4428 | 0.000000e+00 | 4.448540e+05 | Inf
623.51/623.57 c 612s|740000 |740001 | 2069k| 2.8 | 780M| 157 | 0 |1900 |1800 |1900 | 275 | 624k| 0 |4456 | 0.000000e+00 | 4.448540e+05 | Inf
631.51/631.58 c 620s|750000 |750001 | 2087k| 2.8 | 790M| 157 | 0 |1900 |1800 |1900 | 319 | 629k| 0 |4476 | 0.000000e+00 | 4.448540e+05 | Inf
639.71/639.73 c 628s|760000 |760001 | 2109k| 2.8 | 801M| 157 | 0 |1900 |1800 |1900 | 269 | 636k| 0 |4489 | 0.000000e+00 | 4.448540e+05 | Inf
647.61/647.63 c 636s|770000 |770001 | 2125k| 2.8 | 811M| 157 | 0 |1900 |1800 |1900 | 285 | 641k| 0 |4517 | 0.000000e+00 | 4.448540e+05 | Inf
655.72/655.74 c 644s|780000 |780001 | 2145k| 2.8 | 821M| 157 | 0 |1900 |1800 |1900 | 314 | 647k| 0 |4549 | 0.000000e+00 | 4.448540e+05 | Inf
663.91/663.90 c 652s|790000 |790001 | 2166k| 2.7 | 832M| 157 | 0 |1900 |1800 |1900 | 310 | 654k| 0 |4570 | 0.000000e+00 | 4.448540e+05 | Inf
671.81/671.80 c 660s|800000 |800001 | 2182k| 2.7 | 842M| 157 | 0 |1900 |1800 |1900 | 267 | 659k| 0 |4574 | 0.000000e+00 | 4.448540e+05 | Inf
679.82/679.89 c 668s|810000 |810001 | 2201k| 2.7 | 852M| 157 | 0 |1900 |1800 |1900 | 302 | 664k| 0 |4603 | 0.000000e+00 | 4.448540e+05 | Inf
688.11/688.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.11/688.18 c 676s|820000 |820001 | 2224k| 2.7 | 863M| 157 | 8 |1900 |1800 |1900 | 269 | 671k| 0 |4650 | 0.000000e+00 | 4.448540e+05 | Inf
696.41/696.43 c 684s|830000 |830001 | 2249k| 2.7 | 873M| 157 | 0 |1900 |1800 |1900 | 296 | 679k| 0 |4686 | 0.000000e+00 | 4.448540e+05 | Inf
704.71/704.74 c 692s|840000 |840001 | 2275k| 2.7 | 884M| 157 | 0 |1900 |1800 |1900 | 335 | 687k| 0 |4710 | 0.000000e+00 | 4.448540e+05 | Inf
712.72/712.80 c 700s|850000 |850001 | 2295k| 2.7 | 894M| 157 | 0 |1900 |1800 |1900 | 314 | 693k| 0 |4738 | 0.000000e+00 | 4.448540e+05 | Inf
720.91/720.91 c 708s|860000 |860001 | 2320k| 2.7 | 904M| 157 | 0 |1900 |1800 |1900 | 305 | 701k| 0 |4763 | 0.000000e+00 | 4.448540e+05 | Inf
729.32/729.37 c 716s|870000 |870001 | 2352k| 2.7 | 915M| 157 | 0 |1900 |1800 |1900 | 316 | 710k| 0 |4795 | 0.000000e+00 | 4.448540e+05 | Inf
737.61/737.60 c 724s|880000 |880001 | 2381k| 2.7 | 925M| 157 | 0 |1900 |1800 |1900 | 270 | 718k| 0 |4826 | 0.000000e+00 | 4.448540e+05 | Inf
745.91/745.94 c 732s|890000 |890001 | 2410k| 2.7 | 936M| 157 | 0 |1900 |1800 |1900 | 337 | 727k| 0 |4852 | 0.000000e+00 | 4.448540e+05 | Inf
754.41/754.46 c 741s|900000 |900001 | 2446k| 2.7 | 946M| 157 | 0 |1900 |1800 |1900 | 286 | 738k| 0 |4902 | 0.000000e+00 | 4.448540e+05 | Inf
762.72/762.77 c 749s|910000 |910001 | 2478k| 2.7 | 956M| 157 | 0 |1900 |1800 |1900 | 336 | 748k| 0 |4929 | 0.000000e+00 | 4.448540e+05 | Inf
771.12/771.10 c 757s|920000 |920001 | 2509k| 2.7 | 967M| 157 | 0 |1900 |1800 |1900 | 321 | 758k| 0 |4954 | 0.000000e+00 | 4.448540e+05 | Inf
779.42/779.44 c 765s|930000 |930001 | 2540k| 2.7 | 977M| 157 | 3 |1900 |1800 |1900 | 239 | 768k| 0 |4977 | 0.000000e+00 | 4.448540e+05 | Inf
787.72/787.73 c 773s|940000 |940001 | 2566k| 2.7 | 988M| 157 | 0 |1900 |1800 |1900 | 345 | 776k| 0 |5038 | 0.000000e+00 | 4.448540e+05 | Inf
795.91/795.93 c 782s|950000 |950001 | 2591k| 2.7 | 998M| 157 | 0 |1900 |1800 |1900 | 287 | 784k| 0 |5060 | 0.000000e+00 | 4.448540e+05 | Inf
804.12/804.14 c 790s|960000 |960001 | 2618k| 2.7 |1008M| 157 | 0 |1900 |1800 |1900 | 299 | 793k| 0 |5087 | 0.000000e+00 | 4.448540e+05 | Inf
812.42/812.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
812.42/812.42 c 798s|970000 |970001 | 2645k| 2.7 |1019M| 157 | 0 |1900 |1800 |1900 | 330 | 801k| 0 |5111 | 0.000000e+00 | 4.448540e+05 | Inf
820.92/820.90 c 806s|980000 |980001 | 2679k| 2.7 |1029M| 157 | 0 |1900 |1800 |1900 | 307 | 810k| 0 |5152 | 0.000000e+00 | 4.448540e+05 | Inf
829.22/829.22 c 814s|990000 |990001 | 2706k| 2.7 |1040M| 157 | 0 |1900 |1800 |1900 | 323 | 819k| 0 |5178 | 0.000000e+00 | 4.448540e+05 | Inf
837.32/837.39 c 822s| 1000k| 1000k| 2728k| 2.7 |1050M| 157 | 0 |1900 |1800 |1900 | 322 | 825k| 0 |5207 | 0.000000e+00 | 4.448540e+05 | Inf
845.32/845.35 c 830s| 1010k| 1010k| 2746k| 2.7 |1060M| 169 | 0 |1900 |1800 |1900 | 295 | 830k| 0 |5239 | 0.000000e+00 | 4.448540e+05 | Inf
853.41/853.44 c 838s| 1020k| 1020k| 2766k| 2.7 |1071M| 169 | 0 |1900 |1800 |1900 | 285 | 836k| 0 |5255 | 0.000000e+00 | 4.448540e+05 | Inf
861.22/861.28 c 846s| 1030k| 1030k| 2782k| 2.7 |1081M| 169 | 0 |1900 |1800 |1900 | 282 | 841k| 0 |5261 | 0.000000e+00 | 4.448540e+05 | Inf
869.12/869.18 c 853s| 1040k| 1040k| 2796k| 2.7 |1091M| 169 | 0 |1900 |1800 |1900 | 292 | 846k| 0 |5280 | 0.000000e+00 | 4.448540e+05 | Inf
877.22/877.26 c 861s| 1050k| 1050k| 2819k| 2.7 |1102M| 169 | 0 |1900 |1800 |1900 | 294 | 854k| 0 |5306 | 0.000000e+00 | 4.448540e+05 | Inf
885.22/885.26 c 869s| 1060k| 1060k| 2836k| 2.7 |1112M| 169 | 0 |1900 |1800 |1900 | 292 | 859k| 0 |5321 | 0.000000e+00 | 4.448540e+05 | Inf
893.23/893.25 c 877s| 1070k| 1070k| 2854k| 2.7 |1122M| 169 | 8 |1900 |1800 |1900 | 279 | 864k| 0 |5342 | 0.000000e+00 | 4.448540e+05 | Inf
901.22/901.29 c 885s| 1080k| 1080k| 2872k| 2.7 |1133M| 169 | 0 |1900 |1800 |1900 | 290 | 870k| 0 |5352 | 0.000000e+00 | 4.448540e+05 | Inf
909.42/909.44 c 893s| 1090k| 1090k| 2895k| 2.7 |1143M| 169 | 0 |1900 |1800 |1900 | 320 | 877k| 0 |5369 | 0.000000e+00 | 4.448540e+05 | Inf
917.42/917.49 c 901s| 1100k| 1100k| 2914k| 2.6 |1153M| 169 | 0 |1900 |1800 |1900 | 307 | 882k| 0 |5389 | 0.000000e+00 | 4.448540e+05 | Inf
925.42/925.46 c 909s| 1110k| 1110k| 2932k| 2.6 |1164M| 169 | 0 |1900 |1800 |1900 | 287 | 888k| 0 |5409 | 0.000000e+00 | 4.448540e+05 | Inf
933.32/933.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
933.32/933.36 c 916s| 1120k| 1120k| 2949k| 2.6 |1174M| 169 | 0 |1900 |1800 |1900 | 281 | 893k| 0 |5416 | 0.000000e+00 | 4.448540e+05 | Inf
941.22/941.29 c 924s| 1130k| 1130k| 2966k| 2.6 |1184M| 169 | 0 |1900 |1800 |1900 | 299 | 898k| 0 |5434 | 0.000000e+00 | 4.448540e+05 | Inf
948.92/948.94 c 932s| 1140k| 1140k| 2977k| 2.6 |1195M| 169 | 0 |1900 |1800 |1900 | 309 | 901k| 0 |5434 | 0.000000e+00 | 4.448540e+05 | Inf
957.03/957.03 c 940s| 1150k| 1150k| 2995k| 2.6 |1205M| 169 | 13 |1900 |1800 |1900 | 255 | 907k| 0 |5458 | 0.000000e+00 | 4.448540e+05 | Inf
964.82/964.89 c 947s| 1160k| 1160k| 3011k| 2.6 |1215M| 169 | 0 |1900 |1800 |1900 | 292 | 912k| 0 |5479 | 0.000000e+00 | 4.448540e+05 | Inf
972.72/972.74 c 955s| 1170k| 1170k| 3026k| 2.6 |1226M| 169 | 0 |1900 |1800 |1900 | 289 | 916k| 0 |5484 | 0.000000e+00 | 4.448540e+05 | Inf
980.72/980.74 c 963s| 1180k| 1180k| 3043k| 2.6 |1236M| 169 | 11 |1900 |1800 |1900 | 252 | 921k| 0 |5507 | 0.000000e+00 | 4.448540e+05 | Inf
988.82/988.82 c 971s| 1190k| 1190k| 3066k| 2.6 |1246M| 169 | 0 |1900 |1800 |1900 | 310 | 928k| 0 |5528 | 0.000000e+00 | 4.448540e+05 | Inf
996.82/996.80 c 979s| 1200k| 1200k| 3083k| 2.6 |1257M| 169 | 10 |1900 |1800 |1900 | 261 | 934k| 0 |5543 | 0.000000e+00 | 4.448540e+05 | Inf
1004.63/1004.62 c 987s| 1210k| 1210k| 3099k| 2.6 |1267M| 169 | 0 |1900 |1800 |1900 | 303 | 939k| 0 |5560 | 0.000000e+00 | 4.448540e+05 | Inf
1012.62/1012.61 c 994s| 1220k| 1220k| 3116k| 2.6 |1277M| 169 | 0 |1900 |1800 |1900 | 317 | 944k| 0 |5585 | 0.000000e+00 | 4.448540e+05 | Inf
1020.53/1020.50 c 1002s| 1230k| 1230k| 3133k| 2.5 |1288M| 169 | 0 |1900 |1800 |1900 | 327 | 949k| 0 |5590 | 0.000000e+00 | 4.448540e+05 | Inf
1028.53/1028.51 c 1010s| 1240k| 1240k| 3151k| 2.5 |1298M| 169 | 0 |1900 |1800 |1900 | 294 | 955k| 0 |5614 | 0.000000e+00 | 4.448540e+05 | Inf
1036.53/1036.57 c 1018s| 1250k| 1250k| 3169k| 2.5 |1308M| 169 | 0 |1900 |1800 |1900 | 290 | 960k| 0 |5636 | 0.000000e+00 | 4.448540e+05 | Inf
1044.63/1044.60 c 1026s| 1260k| 1260k| 3188k| 2.5 |1319M| 169 | 0 |1900 |1800 |1900 | 278 | 966k| 0 |5638 | 0.000000e+00 | 4.448540e+05 | Inf
1052.53/1052.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1052.53/1052.57 c 1034s| 1270k| 1270k| 3205k| 2.5 |1329M| 169 | 0 |1900 |1800 |1900 | 283 | 971k| 0 |5659 | 0.000000e+00 | 4.448540e+05 | Inf
1060.72/1060.72 c 1042s| 1280k| 1280k| 3227k| 2.5 |1339M| 169 | 0 |1900 |1800 |1900 | 286 | 977k| 0 |5679 | 0.000000e+00 | 4.448540e+05 | Inf
1068.13/1068.20 c 1049s| 1290k| 1290k| 3235k| 2.5 |1350M| 169 | 0 |1900 |1800 |1900 | 267 | 980k| 0 |5681 | 0.000000e+00 | 4.448540e+05 | Inf
1075.92/1075.92 c 1057s| 1300k| 1300k| 3250k| 2.5 |1360M| 169 | 0 |1900 |1800 |1900 | 309 | 984k| 0 |5694 | 0.000000e+00 | 4.448540e+05 | Inf
1084.13/1084.12 c 1065s| 1310k| 1310k| 3274k| 2.5 |1370M| 169 | 0 |1900 |1800 |1900 | 311 | 991k| 0 |5711 | 0.000000e+00 | 4.448540e+05 | Inf
1092.02/1092.04 c 1072s| 1320k| 1320k| 3292k| 2.5 |1381M| 169 | 2 |1900 |1800 |1900 | 278 | 997k| 0 |5716 | 0.000000e+00 | 4.448540e+05 | Inf
1099.82/1099.83 c 1080s| 1330k| 1330k| 3304k| 2.5 |1391M| 169 | 0 |1900 |1800 |1900 | 304 |1001k| 0 |5728 | 0.000000e+00 | 4.448540e+05 | Inf
1107.93/1107.95 c 1088s| 1340k| 1340k| 3325k| 2.5 |1401M| 169 | 6 |1900 |1800 |1900 | 271 |1008k| 0 |5755 | 0.000000e+00 | 4.448540e+05 | Inf
1115.83/1115.88 c 1096s| 1350k| 1350k| 3341k| 2.5 |1412M| 169 | 0 |1900 |1800 |1900 | 334 |1013k| 0 |5760 | 0.000000e+00 | 4.448540e+05 | Inf
1123.82/1123.86 c 1104s| 1360k| 1360k| 3359k| 2.5 |1422M| 169 | 0 |1900 |1800 |1900 | 299 |1018k| 0 |5778 | 0.000000e+00 | 4.448540e+05 | Inf
1131.83/1131.89 c 1112s| 1370k| 1370k| 3378k| 2.5 |1432M| 169 | 8 |1900 |1800 |1900 | 313 |1024k| 0 |5798 | 0.000000e+00 | 4.448540e+05 | Inf
1139.73/1139.73 c 1119s| 1380k| 1380k| 3395k| 2.5 |1443M| 169 | 0 |1900 |1800 |1900 | 333 |1029k| 0 |5802 | 0.000000e+00 | 4.448540e+05 | Inf
1147.83/1147.83 c 1127s| 1390k| 1390k| 3416k| 2.5 |1453M| 169 | 0 |1900 |1800 |1900 | 281 |1035k| 0 |5822 | 0.000000e+00 | 4.448540e+05 | Inf
1155.83/1155.88 c 1135s| 1400k| 1400k| 3436k| 2.5 |1463M| 169 | 0 |1900 |1800 |1900 | 284 |1042k| 0 |5843 | 0.000000e+00 | 4.448540e+05 | Inf
1163.83/1163.81 c 1143s| 1410k| 1410k| 3452k| 2.4 |1474M| 169 | 0 |1900 |1800 |1900 | 301 |1046k| 0 |5845 | 0.000000e+00 | 4.448540e+05 | Inf
1171.44/1171.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.44/1171.48 c 1150s| 1420k| 1420k| 3465k| 2.4 |1484M| 169 | 0 |1900 |1800 |1900 | 283 |1050k| 0 |5860 | 0.000000e+00 | 4.448540e+05 | Inf
1179.43/1179.47 c 1158s| 1430k| 1430k| 3482k| 2.4 |1494M| 169 | 0 |1900 |1800 |1900 | 316 |1055k| 0 |5876 | 0.000000e+00 | 4.448540e+05 | Inf
1187.43/1187.43 c 1166s| 1440k| 1440k| 3498k| 2.4 |1505M| 169 | 11 |1900 |1800 |1900 | 278 |1060k| 0 |5887 | 0.000000e+00 | 4.448540e+05 | Inf
1195.23/1195.29 c 1174s| 1450k| 1450k| 3512k| 2.4 |1515M| 169 | 0 |1900 |1800 |1900 | 308 |1064k| 0 |5902 | 0.000000e+00 | 4.448540e+05 | Inf
1203.13/1203.16 c 1182s| 1460k| 1460k| 3528k| 2.4 |1525M| 169 | 0 |1900 |1800 |1900 | 328 |1069k| 0 |5908 | 0.000000e+00 | 4.448540e+05 | Inf
1211.13/1211.11 c 1189s| 1470k| 1470k| 3547k| 2.4 |1536M| 169 | 0 |1900 |1800 |1900 | 313 |1074k| 0 |5930 | 0.000000e+00 | 4.448540e+05 | Inf
1219.13/1219.11 c 1197s| 1480k| 1480k| 3566k| 2.4 |1546M| 169 | 0 |1900 |1800 |1900 | 305 |1080k| 0 |5948 | 0.000000e+00 | 4.448540e+05 | Inf
1226.93/1226.99 c 1205s| 1490k| 1490k| 3580k| 2.4 |1556M| 169 | 0 |1900 |1800 |1900 | 286 |1084k| 0 |5949 | 0.000000e+00 | 4.448540e+05 | Inf
1234.73/1234.73 c 1213s| 1500k| 1500k| 3593k| 2.4 |1567M| 169 | 0 |1900 |1800 |1900 | 285 |1088k| 0 |5967 | 0.000000e+00 | 4.448540e+05 | Inf
1242.53/1242.55 c 1220s| 1510k| 1510k| 3608k| 2.4 |1577M| 169 | 0 |1900 |1800 |1900 | 282 |1093k| 0 |5972 | 0.000000e+00 | 4.448540e+05 | Inf
1250.43/1250.41 c 1228s| 1520k| 1520k| 3624k| 2.4 |1587M| 169 | 0 |1900 |1800 |1900 | 299 |1098k| 0 |5989 | 0.000000e+00 | 4.448540e+05 | Inf
1258.13/1258.17 c 1236s| 1530k| 1530k| 3637k| 2.4 |1597M| 169 | 0 |1900 |1800 |1900 | 290 |1102k| 0 |5990 | 0.000000e+00 | 4.448540e+05 | Inf
1266.03/1266.07 c 1243s| 1540k| 1540k| 3654k| 2.4 |1608M| 169 | 0 |1900 |1800 |1900 | 279 |1108k| 0 |6011 | 0.000000e+00 | 4.448540e+05 | Inf
1273.94/1273.94 c 1251s| 1550k| 1550k| 3670k| 2.4 |1618M| 169 | 0 |1900 |1800 |1900 | 291 |1113k| 0 |6030 | 0.000000e+00 | 4.448540e+05 | Inf
1281.93/1281.92 c 1259s| 1560k| 1560k| 3689k| 2.4 |1628M| 169 | 0 |1900 |1800 |1900 | 299 |1119k| 0 |6035 | 0.000000e+00 | 4.448540e+05 | Inf
1289.93/1289.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1289.93/1289.99 c 1267s| 1570k| 1570k| 3709k| 2.4 |1639M| 169 | 13 |1900 |1800 |1900 | 249 |1124k| 0 |6060 | 0.000000e+00 | 4.448540e+05 | Inf
1297.94/1297.91 c 1275s| 1580k| 1580k| 3725k| 2.4 |1649M| 169 | 0 |1900 |1800 |1900 | 307 |1129k| 0 |6069 | 0.000000e+00 | 4.448540e+05 | Inf
1305.83/1305.85 c 1282s| 1590k| 1590k| 3744k| 2.4 |1659M| 169 | 0 |1900 |1800 |1900 | 319 |1135k| 0 |6083 | 0.000000e+00 | 4.448540e+05 | Inf
1313.84/1313.80 c 1290s| 1600k| 1600k| 3761k| 2.4 |1670M| 169 | 0 |1900 |1800 |1900 | 300 |1140k| 0 |6101 | 0.000000e+00 | 4.448540e+05 | Inf
1321.84/1321.86 c 1298s| 1610k| 1610k| 3780k| 2.3 |1680M| 169 | 0 |1900 |1800 |1900 | 297 |1146k| 0 |6101 | 0.000000e+00 | 4.448540e+05 | Inf
1329.74/1329.79 c 1306s| 1620k| 1620k| 3798k| 2.3 |1691M| 169 | 0 |1900 |1800 |1900 | 274 |1152k| 0 |6121 | 0.000000e+00 | 4.448540e+05 | Inf
1337.74/1337.70 c 1314s| 1630k| 1630k| 3815k| 2.3 |1701M| 169 | 0 |1900 |1800 |1900 | 300 |1157k| 0 |6137 | 0.000000e+00 | 4.448540e+05 | Inf
1345.54/1345.55 c 1321s| 1640k| 1640k| 3830k| 2.3 |1711M| 169 | 0 |1900 |1800 |1900 | 307 |1161k| 0 |6141 | 0.000000e+00 | 4.448540e+05 | Inf
1353.43/1353.47 c 1329s| 1650k| 1650k| 3845k| 2.3 |1722M| 169 | 0 |1900 |1800 |1900 | 295 |1166k| 0 |6159 | 0.000000e+00 | 4.448540e+05 | Inf
1361.54/1361.53 c 1337s| 1660k| 1660k| 3865k| 2.3 |1732M| 169 | 0 |1900 |1800 |1900 | 292 |1172k| 0 |6168 | 0.000000e+00 | 4.448540e+05 | Inf
1369.64/1369.65 c 1345s| 1670k| 1670k| 3885k| 2.3 |1742M| 169 | 0 |1900 |1800 |1900 | 315 |1178k| 0 |6177 | 0.000000e+00 | 4.448540e+05 | Inf
1377.73/1377.72 c 1353s| 1680k| 1680k| 3905k| 2.3 |1753M| 169 | 0 |1900 |1800 |1900 | 284 |1184k| 0 |6196 | 0.000000e+00 | 4.448540e+05 | Inf
1385.74/1385.78 c 1361s| 1690k| 1690k| 3926k| 2.3 |1763M| 169 | 11 |1900 |1800 |1900 | 305 |1190k| 0 |6214 | 0.000000e+00 | 4.448540e+05 | Inf
1393.74/1393.72 c 1369s| 1700k| 1700k| 3947k| 2.3 |1773M| 169 | 0 |1900 |1800 |1900 | 305 |1196k| 0 |6221 | 0.000000e+00 | 4.448540e+05 | Inf
1401.73/1401.72 c 1377s| 1710k| 1710k| 3967k| 2.3 |1784M| 169 | 6 |1900 |1800 |1900 | 283 |1202k| 0 |6245 | 0.000000e+00 | 4.448540e+05 | Inf
1409.63/1409.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1409.63/1409.66 c 1384s| 1720k| 1720k| 3984k| 2.3 |1794M| 169 | 12 |1900 |1800 |1900 | 278 |1207k| 0 |6263 | 0.000000e+00 | 4.448540e+05 | Inf
1417.63/1417.66 c 1392s| 1730k| 1730k| 4003k| 2.3 |1804M| 169 | 0 |1900 |1800 |1900 | 283 |1213k| 0 |6268 | 0.000000e+00 | 4.448540e+05 | Inf
1425.55/1425.54 c 1400s| 1740k| 1740k| 4019k| 2.3 |1815M| 169 | 0 |1900 |1800 |1900 | 292 |1217k| 0 |6285 | 0.000000e+00 | 4.448540e+05 | Inf
1433.64/1433.61 c 1408s| 1750k| 1750k| 4038k| 2.3 |1825M| 169 | 0 |1900 |1800 |1900 | 306 |1223k| 0 |6302 | 0.000000e+00 | 4.448540e+05 | Inf
1441.73/1441.70 c 1416s| 1760k| 1760k| 4058k| 2.3 |1835M| 169 | 0 |1900 |1800 |1900 | 296 |1230k| 0 |6311 | 0.000000e+00 | 4.448540e+05 | Inf
1449.64/1449.63 c 1424s| 1770k| 1770k| 4076k| 2.3 |1846M| 169 | 11 |1900 |1800 |1900 | 293 |1235k| 0 |6329 | 0.000000e+00 | 4.448540e+05 | Inf
1457.64/1457.61 c 1432s| 1780k| 1780k| 4093k| 2.3 |1856M| 169 | 0 |1900 |1800 |1900 | 315 |1240k| 0 |6343 | 0.000000e+00 | 4.448540e+05 | Inf
1465.64/1465.69 c 1440s| 1790k| 1790k| 4114k| 2.3 |1867M| 169 | 0 |1900 |1800 |1900 | 262 |1246k| 0 |6357 | 0.000000e+00 | 4.448540e+05 | Inf
1473.63/1473.68 c 1447s| 1800k| 1800k| 4133k| 2.3 |1877M| 169 | 20 |1900 |1800 |1900 | 292 |1252k| 0 |6374 | 0.000000e+00 | 4.448540e+05 | Inf
1481.54/1481.57 c 1455s| 1810k| 1810k| 4149k| 2.3 |1887M| 169 | 0 |1900 |1800 |1900 | 270 |1257k| 0 |6388 | 0.000000e+00 | 4.448540e+05 | Inf
1489.53/1489.53 c 1463s| 1820k| 1820k| 4166k| 2.3 |1898M| 169 | 0 |1900 |1800 |1900 | 299 |1262k| 0 |6401 | 0.000000e+00 | 4.448540e+05 | Inf
1497.33/1497.36 c 1471s| 1830k| 1830k| 4180k| 2.3 |1908M| 169 | 3 |1900 |1800 |1900 | 247 |1266k| 0 |6411 | 0.000000e+00 | 4.448540e+05 | Inf
1504.94/1504.96 c 1478s| 1840k| 1840k| 4189k| 2.3 |1918M| 169 | 0 |1900 |1800 |1900 | 300 |1269k| 0 |6417 | 0.000000e+00 | 4.448540e+05 | Inf
1512.54/1512.55 c 1486s| 1850k| 1850k| 4198k| 2.3 |1929M| 169 | 0 |1900 |1800 |1900 | 299 |1272k| 0 |6418 | 0.000000e+00 | 4.448540e+05 | Inf
1520.44/1520.47 c 1493s| 1860k| 1860k| 4216k| 2.3 |1939M| 169 | 0 |1900 |1800 |1900 | 266 |1277k| 0 |6440 | 0.000000e+00 | 4.448540e+05 | Inf
1528.44/1528.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.44/1528.48 c 1501s| 1870k| 1870k| 4236k| 2.3 |1949M| 169 | 0 |1900 |1800 |1900 | 311 |1283k| 0 |6446 | 0.000000e+00 | 4.448540e+05 | Inf
1536.54/1536.59 c 1509s| 1880k| 1880k| 4256k| 2.3 |1960M| 169 | 0 |1900 |1800 |1900 | 308 |1289k| 0 |6465 | 0.000000e+00 | 4.448540e+05 | Inf
1544.74/1544.70 c 1517s| 1890k| 1890k| 4278k| 2.3 |1970M| 169 | 9 |1900 |1800 |1900 | 266 |1296k| 0 |6481 | 0.000000e+00 | 4.448540e+05 | Inf
1552.84/1552.83 c 1525s| 1900k| 1900k| 4303k| 2.3 |1980M| 169 | 12 |1900 |1800 |1900 | 266 |1303k| 0 |6492 | 0.000000e+00 | 4.448540e+05 | Inf
1560.84/1560.83 c 1533s| 1910k| 1910k| 4321k| 2.3 |1991M| 169 | 0 |1900 |1800 |1900 | 290 |1309k| 0 |6504 | 0.000000e+00 | 4.448540e+05 | Inf
1568.84/1568.82 c 1541s| 1920k| 1920k| 4340k| 2.3 |2001M| 169 | 0 |1900 |1800 |1900 | 304 |1315k| 0 |6523 | 0.000000e+00 | 4.448540e+05 | Inf
1576.74/1576.79 c 1549s| 1930k| 1930k| 4357k| 2.3 |2011M| 169 | 0 |1900 |1800 |1900 | 311 |1320k| 0 |6524 | 0.000000e+00 | 4.448540e+05 | Inf
1585.05/1585.01 c 1557s| 1940k| 1940k| 4382k| 2.3 |2022M| 169 | 0 |1900 |1800 |1900 | 267 |1327k| 0 |6539 | 0.000000e+00 | 4.448540e+05 | Inf
1593.14/1593.10 c 1565s| 1950k| 1950k| 4404k| 2.3 |2032M| 169 | 0 |1900 |1800 |1900 | 305 |1333k| 0 |6564 | 0.000000e+00 | 4.448540e+05 | Inf
1600.94/1600.99 c 1572s| 1960k| 1960k| 4420k| 2.3 |2043M| 169 | 0 |1900 |1800 |1900 | 297 |1338k| 0 |6578 | 0.000000e+00 | 4.448540e+05 | Inf
1608.84/1608.80 c 1580s| 1970k| 1970k| 4434k| 2.3 |2053M| 169 | 0 |1900 |1800 |1900 | 310 |1342k| 0 |6583 | 0.000000e+00 | 4.448540e+05 | Inf
1616.84/1616.83 c 1588s| 1980k| 1980k| 4453k| 2.2 |2063M| 169 | 0 |1900 |1800 |1900 | 283 |1348k| 0 |6602 | 0.000000e+00 | 4.448540e+05 | Inf
1624.74/1624.71 c 1596s| 1990k| 1990k| 4471k| 2.2 |2074M| 169 | 0 |1900 |1800 |1900 | 286 |1354k| 0 |6611 | 0.000000e+00 | 4.448540e+05 | Inf
1632.64/1632.69 c 1604s| 2000k| 2000k| 4491k| 2.2 |2084M| 169 | 12 |1900 |1800 |1900 | 255 |1360k| 0 |6625 | 0.000000e+00 | 4.448540e+05 | Inf
1640.64/1640.61 c 1611s| 2010k| 2010k| 4508k| 2.2 |2094M| 169 | 0 |1900 |1800 |1900 | 305 |1365k| 0 |6638 | 0.000000e+00 | 4.448540e+05 | Inf
1648.54/1648.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1648.54/1648.58 c 1619s| 2020k| 2020k| 4527k| 2.2 |2105M| 169 | 0 |1900 |1800 |1900 | 261 |1371k| 0 |6645 | 0.000000e+00 | 4.448540e+05 | Inf
1656.55/1656.52 c 1627s| 2030k| 2030k| 4544k| 2.2 |2115M| 169 | 0 |1900 |1800 |1900 | 275 |1376k| 0 |6665 | 0.000000e+00 | 4.448540e+05 | Inf
1664.55/1664.58 c 1635s| 2040k| 2040k| 4565k| 2.2 |2125M| 169 | 0 |1900 |1800 |1900 | 310 |1382k| 0 |6681 | 0.000000e+00 | 4.448540e+05 | Inf
1672.35/1672.32 c 1643s| 2050k| 2050k| 4579k| 2.2 |2136M| 169 | 14 |1900 |1800 |1900 | 246 |1386k| 0 |6690 | 0.000000e+00 | 4.448540e+05 | Inf
1680.24/1680.25 c 1650s| 2060k| 2060k| 4597k| 2.2 |2146M| 169 | 0 |1900 |1800 |1900 | 268 |1392k| 0 |6703 | 0.000000e+00 | 4.448540e+05 | Inf
1688.14/1688.15 c 1658s| 2070k| 2070k| 4613k| 2.2 |2156M| 169 | 6 |1900 |1800 |1900 | 263 |1397k| 0 |6706 | 0.000000e+00 | 4.448540e+05 | Inf
1696.05/1696.02 c 1666s| 2080k| 2080k| 4628k| 2.2 |2166M| 169 | 0 |1900 |1800 |1900 | 309 |1401k| 0 |6720 | 0.000000e+00 | 4.448540e+05 | Inf
1703.95/1703.98 c 1674s| 2090k| 2090k| 4646k| 2.2 |2177M| 169 | 0 |1900 |1800 |1900 | 324 |1406k| 0 |6728 | 0.000000e+00 | 4.448540e+05 | Inf
1712.34/1712.36 c 1682s| 2100k| 2100k| 4675k| 2.2 |2187M| 169 | 0 |1900 |1800 |1900 | 307 |1415k| 0 |6747 | 0.000000e+00 | 4.448540e+05 | Inf
1720.75/1720.75 c 1690s| 2110k| 2110k| 4709k| 2.2 |2198M| 169 | 0 |1900 |1800 |1900 | 288 |1425k| 0 |6763 | 0.000000e+00 | 4.448540e+05 | Inf
1729.05/1729.08 c 1698s| 2120k| 2120k| 4742k| 2.2 |2208M| 169 | 0 |1900 |1800 |1900 | 292 |1435k| 0 |6777 | 0.000000e+00 | 4.448540e+05 | Inf
1737.25/1737.22 c 1706s| 2130k| 2130k| 4767k| 2.2 |2218M| 169 | 0 |1900 |1800 |1900 | 301 |1443k| 0 |6799 | 0.000000e+00 | 4.448540e+05 | Inf
1745.45/1745.40 c 1714s| 2140k| 2140k| 4792k| 2.2 |2229M| 169 | 0 |1900 |1800 |1900 | 284 |1450k| 0 |6815 | 0.000000e+00 | 4.448540e+05 | Inf
1753.45/1753.41 c 1722s| 2150k| 2150k| 4813k| 2.2 |2239M| 169 | 4 |1900 |1800 |1900 | 282 |1456k| 0 |6835 | 0.000000e+00 | 4.448540e+05 | Inf
1761.65/1761.64 c 1730s| 2160k| 2160k| 4839k| 2.2 |2250M| 169 | 0 |1900 |1800 |1900 | 304 |1464k| 0 |6838 | 0.000000e+00 | 4.448540e+05 | Inf
1769.35/1769.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.35/1769.36 c 1738s| 2170k| 2170k| 4853k| 2.2 |2260M| 169 | 0 |1900 |1800 |1900 | 291 |1468k| 0 |6852 | 0.000000e+00 | 4.448540e+05 | Inf
1777.34/1777.35 c 1746s| 2180k| 2180k| 4872k| 2.2 |2270M| 169 | 0 |1900 |1800 |1900 | 291 |1474k| 0 |6865 | 0.000000e+00 | 4.448540e+05 | Inf
1785.14/1785.17 c 1753s| 2190k| 2190k| 4888k| 2.2 |2280M| 169 | 0 |1900 |1800 |1900 | 286 |1479k| 0 |6873 | 0.000000e+00 | 4.448540e+05 | Inf
1793.35/1793.30 c 1761s| 2200k| 2200k| 4909k| 2.2 |2291M| 169 | 0 |1900 |1800 |1900 | 281 |1485k| 0 |6888 | 0.000000e+00 | 4.448540e+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.90
1800.05/1800.00 c Solving Nodes : 2208432
1800.05/1800.00 c Primal Bound : +4.44854000000000e+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.90
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2700380-1278535256.wbo
1800.05/1800.01 c Variables : 2000 (1100 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.05/1800.01 c Constraints : 1901 initial, 1901 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2700380-1278535256.wbo
1800.05/1800.01 c Variables : 1900 (1000 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.05/1800.01 c Constraints : 1800 initial, 1800 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.01 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 900 0 101 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 2498730 0 0 2 0 0 953244
1800.05/1800.01 c indicator : 900 0 3189840 2022106 0 0 2367311 0 0 0
1800.05/1800.01 c linear : 900 6 3189840 2022106 0 0 1147881 1490013 0 0
1800.05/1800.01 c countsols : 0 0 0 1731810 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 10.54 0.00 0.00 10.54 0.00
1800.05/1800.01 c indicator : 153.60 0.05 34.72 118.83 0.00
1800.05/1800.01 c linear : 35.77 0.00 15.50 20.27 0.00
1800.05/1800.01 c countsols : 0.36 0.00 0.00 0.36 0.00
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 0.81 2 0 0
1800.05/1800.01 c rootredcost : 0.61 0 0 0
1800.05/1800.01 c pseudoobj : 53.62 3189640 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 0 0 0 0.0 0 0.0 -
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 : - - - 0 0.0 - - -
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 3 - - 16 - (maximal pool size: 25)
1800.05/1800.01 c redcost : 90.05 2498284 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 4 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 4 0 0 24 0
1800.05/1800.01 c strongcg : 0.00 4 0 0 0 0
1800.05/1800.01 c cmir : 0.01 4 0 0 3 0
1800.05/1800.01 c flowcover : 0.02 4 0 0 6 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 : 9.89 476624 0 2 0 0 953244
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 127.12 1731810 0 0 0 0 3463620
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.02 0 0
1800.05/1800.01 c oneopt : 1.58 1 0
1800.05/1800.01 c intshifting : 0.05 18 0
1800.05/1800.01 c crossover : 0.83 13 0
1800.05/1800.01 c veclendiving : 14.93 27065 0
1800.05/1800.01 c linesearchdiving : 14.82 27065 0
1800.05/1800.01 c guideddiving : 14.43 27065 0
1800.05/1800.01 c pscostdiving : 14.93 27065 0
1800.05/1800.01 c fracdiving : 15.43 27065 0
1800.05/1800.01 c coefdiving : 15.35 27066 0
1800.05/1800.01 c objpscostdiving : 16.12 27042 0
1800.05/1800.01 c rootsoldiving : 16.64 27042 0
1800.05/1800.01 c trivial : 0.00 2 1
1800.05/1800.01 c simplerounding : 1.13 476569 0
1800.05/1800.01 c zirounding : 0.54 1000 0
1800.05/1800.01 c rounding : 0.89 9680 0
1800.05/1800.01 c shifting : 1.50 2986 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.63 0 0
1800.05/1800.01 c trysol : 1.09 30561 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 : 718.94 919067 4923201 5.36 6847.86
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.20 282 912 3.23 4560.00
1800.05/1800.01 c strong branching : 6.54 6889 74660 10.84 11415.90
1800.05/1800.01 c (at root node) : - 33 2375 71.97 -
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 : 2208432
1800.05/1800.01 c nodes (total) : 2208432
1800.05/1800.01 c nodes left : 2208433
1800.05/1800.01 c max depth : 169
1800.05/1800.01 c max depth (total): 169
1800.05/1800.01 c backtracks : 27197 (1.2%)
1800.05/1800.01 c delayed cutoffs : 0
1800.05/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.01 c avg switch length: 2.34
1800.05/1800.01 c switching time : 69.39
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 100 (1 improvements)
1800.05/1800.01 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.05/1800.01 c Primal Bound : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 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 : 211
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700380-1278535256/watcher-2700380-1278535256 -o /tmp/evaluation-result-2700380-1278535256/solver-2700380-1278535256 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700380-1278535256.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.00 1.97 1.55 4/178 17648
/proc/meminfo: memFree=29908344/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=9284 CPUtime=0
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 1646 0 0 0 0 0 0 0 25 0 1 0 21737872 9506816 1565 4089446400 4194304 8223781 140735932577184 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17648/statm: 2354 1565 369 984 0 1367 0
[startup+0.017993 s]
/proc/loadavg: 2.00 1.97 1.55 4/178 17648
/proc/meminfo: memFree=29908344/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=13428 CPUtime=0.01
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 2887 0 0 0 1 0 0 0 25 0 1 0 21737872 13750272 2442 4089446400 4194304 8223781 140735932577184 18446744073709551615 7253720 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 3357 2532 383 984 0 2370 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13428
[startup+0.100902 s]
/proc/loadavg: 2.00 1.97 1.55 4/178 17648
/proc/meminfo: memFree=29908344/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=23348 CPUtime=0.09
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 6166 0 0 0 9 0 0 0 18 0 1 0 21737872 23908352 4938 4089446400 4194304 8223781 140735932577184 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 5837 4938 565 984 0 4850 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23348
[startup+0.300865 s]
/proc/loadavg: 2.00 1.97 1.55 4/178 17648
/proc/meminfo: memFree=29908344/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=25040 CPUtime=0.29
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 9679 0 0 0 28 1 0 0 18 0 1 0 21737872 25640960 5356 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 6260 5356 578 984 0 5273 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25040
[startup+0.70079 s]
/proc/loadavg: 2.00 1.97 1.55 4/178 17648
/proc/meminfo: memFree=29908344/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=25040 CPUtime=0.69
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 9681 0 0 0 67 2 0 0 18 0 1 0 21737872 25640960 5356 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 6260 5356 578 984 0 5273 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25040
[startup+1.50064 s]
/proc/loadavg: 2.00 1.97 1.55 3/179 17649
/proc/meminfo: memFree=29888248/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=25040 CPUtime=1.49
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 9698 0 0 0 145 4 0 0 19 0 1 0 21737872 25640960 5373 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 6260 5373 581 984 0 5273 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25040
[startup+3.10035 s]
/proc/loadavg: 2.00 1.97 1.55 3/179 17650
/proc/meminfo: memFree=29887132/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=30064 CPUtime=3.09
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 17165 0 0 0 302 7 0 0 25 0 1 0 21737872 30785536 6538 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 7516 6538 582 984 0 6529 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30064
[startup+6.30077 s]
/proc/loadavg: 2.00 1.97 1.55 3/179 17650
/proc/meminfo: memFree=29881832/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=35448 CPUtime=6.3
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 24808 0 0 0 615 15 0 0 25 0 1 0 21737872 36298752 7891 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 8862 7891 582 984 0 7875 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 35448
[startup+12.7006 s]
/proc/loadavg: 2.00 1.97 1.55 3/179 17650
/proc/meminfo: memFree=29873844/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=42940 CPUtime=12.69
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 29844 0 0 0 1242 27 0 0 25 0 1 0 21737872 43970560 9795 4089446400 4194304 8223781 140735932577184 18446744073709551615 6080277 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 10735 9795 582 984 0 9748 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42940
[startup+25.5002 s]
/proc/loadavg: 2.00 1.97 1.56 3/179 17650
/proc/meminfo: memFree=29857036/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=58084 CPUtime=25.49
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 39995 0 0 0 2497 52 0 0 25 0 1 0 21737872 59478016 13643 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 14521 13643 582 984 0 13534 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58084
[startup+51.1005 s]
/proc/loadavg: 2.00 1.97 1.57 3/179 17651
/proc/meminfo: memFree=29823640/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=88656 CPUtime=51.09
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 50916 0 0 0 5009 100 0 0 25 0 1 0 21737872 90783744 21393 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 22164 21393 582 984 0 21177 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 88656
[startup+102.306 s]
/proc/loadavg: 2.00 1.97 1.59 3/179 17652
/proc/meminfo: memFree=29757764/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=152364 CPUtime=102.3
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 69664 0 0 0 10037 193 0 0 25 0 1 0 21737872 156020736 37028 4089446400 4194304 8223781 140735932577184 18446744073709551615 4241166 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 38091 37028 582 984 0 37104 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 152364
[startup+162.301 s]
/proc/loadavg: 2.00 1.97 1.61 3/179 17654
/proc/meminfo: memFree=29656792/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=222624 CPUtime=162.3
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 87490 0 0 0 15932 298 0 0 25 0 1 0 21737872 227966976 54854 4089446400 4194304 8223781 140735932577184 18446744073709551615 4902951 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 55656 54854 582 984 0 54669 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 222624
[startup+222.301 s]
/proc/loadavg: 2.00 1.97 1.63 3/179 17655
/proc/meminfo: memFree=29546608/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=301616 CPUtime=222.29
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 109644 0 0 0 21824 405 0 0 25 0 1 0 21737872 308854784 73869 4089446400 4194304 8223781 140735932577184 18446744073709551615 6456034 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 75404 73869 582 984 0 74417 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 301616
[startup+282.301 s]
/proc/loadavg: 2.00 1.97 1.65 3/179 17657
/proc/meminfo: memFree=29438800/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=372988 CPUtime=282.3
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 127771 0 0 0 27717 513 0 0 25 0 1 0 21737872 381939712 91992 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 93247 91992 582 984 0 92260 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 372988
[startup+342.301 s]
/proc/loadavg: 2.00 1.97 1.67 3/179 17658
/proc/meminfo: memFree=29330260/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=449652 CPUtime=342.3
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 147228 0 0 0 33608 622 0 0 25 0 1 0 21737872 460443648 111449 4089446400 4194304 8223781 140735932577184 18446744073709551615 4902847 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 112413 111449 582 984 0 111426 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 449652
[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.69 3/179 17660
/proc/meminfo: memFree=29222088/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=532524 CPUtime=402.3
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 169345 0 0 0 39500 730 0 0 25 0 1 0 21737872 545304576 130393 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17648/statm: 133131 130393 582 984 0 132144 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 532524
[startup+462.301 s]
/proc/loadavg: 2.05 1.99 1.71 3/179 17690
/proc/meminfo: memFree=30110112/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=604156 CPUtime=462.31
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 187536 0 0 0 45398 833 0 0 25 0 1 0 21737872 618655744 148584 4089446400 4194304 8223781 140735932577184 18446744073709551615 4697631 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 151039 148584 582 984 0 150052 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 604156
[startup+522.301 s]
/proc/loadavg: 2.02 1.99 1.73 3/179 17691
/proc/meminfo: memFree=29926412/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=679864 CPUtime=522.31
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 206742 0 0 0 51283 948 0 0 25 0 1 0 21737872 696180736 167790 4089446400 4194304 8223781 140735932577184 18446744073709551615 6436929 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 169966 167790 582 984 0 168979 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 679864
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/179 17693
/proc/meminfo: memFree=29868788/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=754316 CPUtime=582.31
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 225654 0 0 0 57176 1055 0 0 25 0 1 0 21737872 772419584 186702 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 188579 186702 582 984 0 187592 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 754316
[startup+642.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/179 17694
/proc/meminfo: memFree=29733672/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=829456 CPUtime=642.31
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 244720 0 0 0 63068 1163 0 0 25 0 1 0 21737872 849362944 205768 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 207364 205768 582 984 0 206377 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 829456
[startup+702.3 s]
################
# More data... #
################
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 363113 0 0 0 98425 1807 0 0 25 0 1 0 21737872 1331187712 321032 4089446400 4194304 8223781 140735932577184 18446744073709551615 4902885 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 324997 321032 582 984 0 324010 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1299988
[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/179 17706
/proc/meminfo: memFree=29032312/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=1377432 CPUtime=1062.33
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 382771 0 0 0 104324 1909 0 0 25 0 1 0 21737872 1410490368 340690 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 344358 340690 582 984 0 343371 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1377432
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/179 17707
/proc/meminfo: memFree=28947188/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=1452500 CPUtime=1122.33
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 401829 0 0 0 110215 2018 0 0 25 0 1 0 21737872 1487360000 359748 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 363125 359748 582 984 0 362138 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1452500
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/179 17709
/proc/meminfo: memFree=28865784/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=1529352 CPUtime=1182.33
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 421337 0 0 0 116111 2122 0 0 25 0 1 0 21737872 1566056448 379254 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 382338 379254 582 984 0 381351 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1529352
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/179 17719
/proc/meminfo: memFree=28781816/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=1607072 CPUtime=1242.33
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 441053 0 0 0 122005 2228 0 0 25 0 1 0 21737872 1645641728 398970 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 401768 398970 582 984 0 400781 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1607072
[startup+1302.3 s]
/proc/loadavg: 2.08 2.00 1.85 3/179 17721
/proc/meminfo: memFree=28685408/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=1683232 CPUtime=1302.34
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 460408 0 0 0 127902 2332 0 0 25 0 1 0 21737872 1723629568 418325 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 420808 418325 582 984 0 419821 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1683232
[startup+1362.3 s]
/proc/loadavg: 2.03 2.00 1.86 3/179 17723
/proc/meminfo: memFree=28597072/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=1758988 CPUtime=1362.33
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 482771 0 0 0 133794 2439 0 0 25 0 1 0 21737872 1801203712 437552 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 439747 437552 582 984 0 438760 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1758988
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.87 3/179 17724
/proc/meminfo: memFree=28507876/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=1834740 CPUtime=1422.34
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 502007 0 0 0 139688 2546 0 0 25 0 1 0 21737872 1878773760 456788 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 458685 456788 582 984 0 457698 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1834740
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/179 17726
/proc/meminfo: memFree=28412228/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=1912212 CPUtime=1482.33
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 521646 0 0 0 145588 2645 0 0 25 0 1 0 21737872 1958105088 476427 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 478053 476427 582 984 0 477066 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1912212
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.88 3/179 17727
/proc/meminfo: memFree=28321388/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=1989680 CPUtime=1542.34
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 541327 0 0 0 151484 2750 0 0 25 0 1 0 21737872 2037432320 496106 4089446400 4194304 8223781 140735932577184 18446744073709551615 4240882 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 497420 496106 582 984 0 496433 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1989680
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.89 3/179 17729
/proc/meminfo: memFree=28234028/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=2066888 CPUtime=1602.34
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 560936 0 0 0 157373 2861 0 0 25 0 1 0 21737872 2116493312 515714 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 516722 515714 582 984 0 515735 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2066888
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 17731
/proc/meminfo: memFree=28149396/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=2176524 CPUtime=1662.35
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 580431 0 0 0 163268 2967 0 0 25 0 1 0 21737872 2228760576 535209 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 544131 535209 582 984 0 543144 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 2176524
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 17732
/proc/meminfo: memFree=28061428/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=2250388 CPUtime=1722.35
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 599192 0 0 0 169164 3071 0 0 25 0 1 0 21737872 2304397312 553970 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 562597 553970 582 984 0 561610 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2250388
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 17734
/proc/meminfo: memFree=27974080/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=2328156 CPUtime=1782.34
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 618937 0 0 0 175053 3181 0 0 25 0 1 0 21737872 2384031744 573715 4089446400 4194304 8223781 140735932577184 18446744073709551615 4820118 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 582039 573715 582 984 0 581052 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2328156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 17734
/proc/meminfo: memFree=27949136/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=2351384 CPUtime=1800.05
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 624817 0 0 0 176792 3213 0 0 25 0 1 0 21737872 2407817216 579595 4089446400 4194304 8223781 140735932577184 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17648/statm: 587846 579595 582 984 0 586859 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2351384
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -17648
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 17735
/proc/meminfo: memFree=27949128/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=2351384 CPUtime=1801.45
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 624819 0 0 0 176932 3213 0 0 25 0 1 0 21737872 2407817216 579597 4089446400 4194304 8223781 140735932577184 18446744073709551615 6207122 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17648/statm: 587846 579597 584 984 0 586859 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 2351384
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 17735
/proc/meminfo: memFree=27949128/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=2350360 CPUtime=1801.85
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 624819 0 0 0 176972 3213 0 0 25 0 1 0 21737872 2406768640 579341 4089446400 4194304 8223781 140735932577184 18446744073709551615 6206658 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17648/statm: 587590 579341 584 984 0 586603 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2350360
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 17735
/proc/meminfo: memFree=27949128/32951124 swapFree=67111528/67111528
[pid=17648] ppid=17646 vsize=2349336 CPUtime=1802.04
/proc/17648/stat : 17648 (pbscip.linux.x8) R 17646 17648 16791 0 -1 4202496 624819 0 0 0 176991 3213 0 0 25 0 1 0 21737872 2405720064 579085 4089446400 4194304 8223781 140735932577184 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17648/statm: 587334 579085 584 984 0 586347 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 2349336
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.14
CPU user time (s): 1769.93
CPU system time (s): 32.2121
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2351384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.93
system time used= 32.2121
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 624819
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= 1391
runsolver used 2.42363 second user time and 5.79812 second system time
The end
Begin job on node147 at 2010-07-07 22:40:56
IDJOB=2700380
IDBENCH=79423
IDSOLVER=1204
FILE ID=node147/2700380-1278535256
PBS_JOBID= 11239184
Free space on /tmp= 73824 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-jnh303_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-2700380-1278535256/watcher-2700380-1278535256 -o /tmp/evaluation-result-2700380-1278535256/solver-2700380-1278535256 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700380-1278535256.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7000a06966de2ad9f6a697139e04f737
RANDOM SEED=2062217385
node147.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.821
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.64
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.821
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.821
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.75
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.821
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.75
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.821
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.821
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.821
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.76
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.821
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29908748 kB
Buffers: 134020 kB
Cached: 1870296 kB
SwapCached: 0 kB
Active: 1698812 kB
Inactive: 1203860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29908748 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4696 kB
Writeback: 0 kB
AnonPages: 897784 kB
Mapped: 15088 kB
Slab: 73952 kB
PageTables: 6292 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1047252 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= 73820 MiB
End job on node147 at 2010-07-07 23:10:58