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-2700044-1278533922.wbo>
0.00/0.01 c original problem has 2000 variables (1100 bin, 0 int, 0 impl, 900 cont) and 1901 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.02/0.04 c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.02/0.06 c (0.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.06 c presolving (3 rounds):
0.02/0.06 c 100 deleted vars, 101 deleted constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.06 c 1100 implications, 0 cliques
0.02/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 0 impl, 900 cont) and 1800 constraints
0.02/0.06 c 900 constraints of type <indicator>
0.02/0.06 c 900 constraints of type <linear>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.04
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 1.2.1.2
0.02/0.06 c
0.02/0.06 c # frequency for displaying node information lines
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.06 c display/freq = 10000
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1799.99
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 3420
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify inequalities
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/linear/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify knapsacks
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/rapidlearning/freq = 0
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 c
0.02/0.06 o 444854
0.02/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.02/0.06 c t 0.0s| 1 | 0 | 0 | - |6452k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.02/0.07 c 0.1s| 1 | 0 | 0 | - |6875k| 0 | 0 |1900 |1800 |1900 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.02/0.07 c 0.1s| 1 | 0 | 32 | - |6912k| 0 | 0 |1900 |1800 |1900 | 65 | 65 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.02/0.07 c 0.1s| 1 | 0 | 102 | - |6959k| 0 | 16 |1900 |1800 |1900 | 106 | 106 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.02/0.08 c 0.1s| 1 | 0 | 149 | - |7019k| 0 | 73 |1900 |1800 |1900 | 150 | 150 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.08/0.10 c 0.1s| 1 | 0 | 226 | - |7214k| 0 | 82 |1900 |1800 |1900 | 184 | 184 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.08/0.12 c 0.1s| 1 | 0 | 255 | - |7262k| 0 | 82 |1900 |1800 |1900 | 191 | 191 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.08/0.14 c 0.1s| 1 | 0 | 257 | - |7287k| 0 | 83 |1900 |1800 |1900 | 192 | 192 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.29/0.37 c 0.3s| 1 | 2 | 418 | - |7339k| 0 | 83 |1900 |1800 |1900 | 192 | 192 | 0 | 33 | 0.000000e+00 | 4.448540e+05 | Inf
13.49/13.53 c 13.2s| 10000 | 10001 | 70903 | 7.1 | 20M| 95 | 17 |1900 |1800 |1900 | 286 | 19k| 0 | 791 | 0.000000e+00 | 4.448540e+05 | Inf
23.29/23.39 c 22.9s| 20000 | 20001 |140181 | 7.0 | 31M| 95 | 7 |1900 |1800 |1900 | 280 | 36k| 0 | 791 | 0.000000e+00 | 4.448540e+05 | Inf
33.00/33.09 c 32.4s| 30000 | 30001 |198482 | 6.6 | 41M| 95 | 0 |1900 |1800 |1900 | 274 | 52k| 0 | 791 | 0.000000e+00 | 4.448540e+05 | Inf
42.39/42.47 c 41.6s| 40000 | 40001 |249266 | 6.2 | 52M| 105 | 7 |1900 |1800 |1900 | 279 | 66k| 0 | 816 | 0.000000e+00 | 4.448540e+05 | Inf
51.70/51.73 c 50.8s| 50000 | 50001 |296609 | 5.9 | 62M| 105 | 8 |1900 |1800 |1900 | 272 | 80k| 0 | 867 | 0.000000e+00 | 4.448540e+05 | Inf
60.59/60.69 c 59.5s| 60000 | 60001 |336046 | 5.6 | 73M| 107 | 17 |1900 |1800 |1900 | 245 | 92k| 0 | 919 | 0.000000e+00 | 4.448540e+05 | Inf
69.69/69.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.69/69.71 c 68.4s| 70000 | 70001 |375615 | 5.4 | 83M| 113 | 0 |1900 |1800 |1900 | 278 | 104k| 0 | 992 | 0.000000e+00 | 4.448540e+05 | Inf
78.49/78.50 c 77.0s| 80000 | 80001 |407701 | 5.1 | 94M| 113 | 0 |1900 |1800 |1900 | 267 | 114k| 0 |1017 | 0.000000e+00 | 4.448540e+05 | Inf
87.19/87.24 c 85.6s| 90000 | 90001 |441550 | 4.9 | 104M| 115 | 0 |1900 |1800 |1900 | 315 | 124k| 0 |1058 | 0.000000e+00 | 4.448540e+05 | Inf
95.99/96.08 c 94.3s|100000 |100001 |476369 | 4.8 | 114M| 115 | 0 |1900 |1800 |1900 | 288 | 134k| 0 |1108 | 0.000000e+00 | 4.448540e+05 | Inf
104.79/104.80 c 103s|110000 |110001 |510508 | 4.6 | 125M| 115 | 0 |1900 |1800 |1900 | 303 | 145k| 0 |1159 | 0.000000e+00 | 4.448540e+05 | Inf
113.49/113.51 c 111s|120000 |120001 |542150 | 4.5 | 135M| 115 | 0 |1900 |1800 |1900 | 270 | 155k| 0 |1218 | 0.000000e+00 | 4.448540e+05 | Inf
122.10/122.18 c 120s|130000 |130001 |574155 | 4.4 | 146M| 115 | 0 |1900 |1800 |1900 | 292 | 165k| 0 |1249 | 0.000000e+00 | 4.448540e+05 | Inf
130.29/130.31 c 128s|140000 |140001 |597276 | 4.3 | 156M| 169 | 0 |1900 |1800 |1900 | 299 | 171k| 0 |1274 | 0.000000e+00 | 4.448540e+05 | Inf
138.40/138.50 c 136s|150000 |150001 |622237 | 4.1 | 166M| 169 | 0 |1900 |1800 |1900 | 281 | 178k| 0 |1320 | 0.000000e+00 | 4.448540e+05 | Inf
146.49/146.57 c 144s|160000 |160001 |644004 | 4.0 | 177M| 169 | 0 |1900 |1800 |1900 | 315 | 185k| 0 |1350 | 0.000000e+00 | 4.448540e+05 | Inf
154.70/154.75 c 152s|170000 |170001 |669229 | 3.9 | 187M| 169 | 0 |1900 |1800 |1900 | 299 | 192k| 0 |1377 | 0.000000e+00 | 4.448540e+05 | Inf
163.20/163.23 c 160s|180000 |180001 |702600 | 3.9 | 198M| 169 | 0 |1900 |1800 |1900 | 295 | 201k| 0 |1424 | 0.000000e+00 | 4.448540e+05 | Inf
171.20/171.22 c 168s|190000 |190001 |721450 | 3.8 | 208M| 169 | 13 |1900 |1800 |1900 | 253 | 207k| 0 |1442 | 0.000000e+00 | 4.448540e+05 | Inf
179.39/179.40 c 176s|200000 |200001 |743718 | 3.7 | 218M| 169 | 7 |1900 |1800 |1900 | 189 | 214k| 0 |1472 | 0.000000e+00 | 4.448540e+05 | Inf
187.70/187.73 c 184s|210000 |210001 |771554 | 3.7 | 229M| 169 | 0 |1900 |1800 |1900 | 296 | 222k| 0 |1503 | 0.000000e+00 | 4.448540e+05 | Inf
195.90/195.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.90/195.92 c 192s|220000 |220001 |793510 | 3.6 | 239M| 169 | 0 |1900 |1800 |1900 | 282 | 228k| 0 |1530 | 0.000000e+00 | 4.448540e+05 | Inf
204.19/204.21 c 200s|230000 |230001 |819864 | 3.6 | 250M| 169 | 0 |1900 |1800 |1900 | 319 | 235k| 0 |1555 | 0.000000e+00 | 4.448540e+05 | Inf
212.40/212.46 c 208s|240000 |240001 |844195 | 3.5 | 260M| 169 | 0 |1900 |1800 |1900 | 304 | 243k| 0 |1602 | 0.000000e+00 | 4.448540e+05 | Inf
220.70/220.73 c 217s|250000 |250001 |870504 | 3.5 | 270M| 169 | 0 |1900 |1800 |1900 | 268 | 250k| 0 |1631 | 0.000000e+00 | 4.448540e+05 | Inf
228.90/228.98 c 225s|260000 |260001 |895410 | 3.4 | 281M| 169 | 0 |1900 |1800 |1900 | 267 | 257k| 0 |1660 | 0.000000e+00 | 4.448540e+05 | Inf
237.20/237.29 c 233s|270000 |270001 |919763 | 3.4 | 291M| 169 | 0 |1900 |1800 |1900 | 289 | 264k| 0 |1686 | 0.000000e+00 | 4.448540e+05 | Inf
245.40/245.46 c 241s|280000 |280001 |939714 | 3.4 | 301M| 169 | 0 |1900 |1800 |1900 | 280 | 269k| 0 |1709 | 0.000000e+00 | 4.448540e+05 | Inf
253.20/253.28 c 249s|290000 |290001 |951963 | 3.3 | 312M| 169 | 5 |1900 |1800 |1900 | 294 | 273k| 0 |1731 | 0.000000e+00 | 4.448540e+05 | Inf
261.30/261.32 c 257s|300000 |300001 |969202 | 3.2 | 322M| 169 | 0 |1900 |1800 |1900 | 291 | 278k| 0 |1746 | 0.000000e+00 | 4.448540e+05 | Inf
269.30/269.32 c 264s|310000 |310001 |985646 | 3.2 | 332M| 169 | 0 |1900 |1800 |1900 | 280 | 283k| 0 |1761 | 0.000000e+00 | 4.448540e+05 | Inf
277.80/277.82 c 273s|320000 |320001 | 1013k| 3.2 | 343M| 169 | 0 |1900 |1800 |1900 | 314 | 291k| 0 |1807 | 0.000000e+00 | 4.448540e+05 | Inf
285.80/285.90 c 281s|330000 |330001 | 1033k| 3.1 | 353M| 169 | 0 |1900 |1800 |1900 | 279 | 297k| 0 |1822 | 0.000000e+00 | 4.448540e+05 | Inf
293.90/293.95 c 289s|340000 |339999 | 1050k| 3.1 | 363M| 169 | 0 |1900 |1802 |1900 | 297 | 302k| 2 |1825 | 0.000000e+00 | 4.448540e+05 | Inf
302.00/302.05 c 297s|350000 |349999 | 1066k| 3.0 | 373M| 169 | 0 |1900 |1802 |1900 | 283 | 307k| 2 |1840 | 0.000000e+00 | 4.448540e+05 | Inf
310.21/310.27 c 305s|360000 |359999 | 1086k| 3.0 | 384M| 169 | 0 |1900 |1802 |1900 | 290 | 313k| 2 |1870 | 0.000000e+00 | 4.448540e+05 | Inf
318.70/318.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.70/318.76 c 313s|370000 |369999 | 1117k| 3.0 | 394M| 169 | 7 |1900 |1802 |1900 | 212 | 322k| 2 |1905 | 0.000000e+00 | 4.448540e+05 | Inf
327.30/327.32 c 321s|380000 |379999 | 1146k| 3.0 | 405M| 169 | 6 |1900 |1802 |1900 | 260 | 331k| 2 |1935 | 0.000000e+00 | 4.448540e+05 | Inf
335.60/335.69 c 330s|390000 |389999 | 1171k| 3.0 | 415M| 169 | 0 |1900 |1802 |1900 | 286 | 338k| 2 |1955 | 0.000000e+00 | 4.448540e+05 | Inf
344.00/344.09 c 338s|400000 |399999 | 1200k| 3.0 | 425M| 169 | 15 |1900 |1802 |1900 | 216 | 346k| 2 |1977 | 0.000000e+00 | 4.448540e+05 | Inf
352.21/352.28 c 346s|410000 |409999 | 1220k| 3.0 | 436M| 169 | 0 |1900 |1802 |1900 | 276 | 352k| 2 |1996 | 0.000000e+00 | 4.448540e+05 | Inf
360.41/360.41 c 354s|420000 |419997 | 1239k| 3.0 | 446M| 169 | 0 |1900 |1803 |1900 | 310 | 358k| 3 |2017 | 0.000000e+00 | 4.448540e+05 | Inf
368.60/368.62 c 362s|430000 |429995 | 1261k| 2.9 | 456M| 169 | 0 |1900 |1806 |1900 | 304 | 364k| 6 |2036 | 0.000000e+00 | 4.448540e+05 | Inf
376.74/377.30 c 370s|440000 |439995 | 1282k| 2.9 | 467M| 169 | 15 |1900 |1806 |1900 | 269 | 371k| 6 |2055 | 0.000000e+00 | 4.448540e+05 | Inf
385.04/385.60 c 378s|450000 |449995 | 1305k| 2.9 | 477M| 169 | 0 |1900 |1806 |1900 | 293 | 377k| 6 |2073 | 0.000000e+00 | 4.448540e+05 | Inf
393.45/393.99 c 386s|460000 |459995 | 1331k| 2.9 | 487M| 169 | 0 |1900 |1806 |1900 | 293 | 385k| 6 |2095 | 0.000000e+00 | 4.448540e+05 | Inf
401.74/402.26 c 394s|470000 |469995 | 1353k| 2.9 | 498M| 169 | 0 |1900 |1806 |1900 | 284 | 392k| 6 |2118 | 0.000000e+00 | 4.448540e+05 | Inf
409.94/410.43 c 401s|480000 |479995 | 1373k| 2.9 | 508M| 169 | 18 |1900 |1806 |1900 | 258 | 397k| 6 |2141 | 0.000000e+00 | 4.448540e+05 | Inf
417.94/418.42 c 409s|490000 |489995 | 1390k| 2.8 | 518M| 169 | 0 |1900 |1806 |1900 | 281 | 402k| 6 |2160 | 0.000000e+00 | 4.448540e+05 | Inf
426.25/426.71 c 417s|500000 |499995 | 1415k| 2.8 | 529M| 169 | 0 |1900 |1806 |1900 | 291 | 409k| 6 |2180 | 0.000000e+00 | 4.448540e+05 | Inf
434.45/434.97 c 424s|510000 |509995 | 1437k| 2.8 | 539M| 169 | 0 |1900 |1806 |1900 | 273 | 416k| 6 |2200 | 0.000000e+00 | 4.448540e+05 | Inf
442.45/442.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.45/442.94 c 432s|520000 |519995 | 1454k| 2.8 | 549M| 169 | 0 |1900 |1806 |1900 | 295 | 421k| 6 |2221 | 0.000000e+00 | 4.448540e+05 | Inf
450.64/451.15 c 440s|530000 |529995 | 1474k| 2.8 | 560M| 169 | 0 |1900 |1806 |1900 | 276 | 427k| 6 |2240 | 0.000000e+00 | 4.448540e+05 | Inf
458.55/459.08 c 447s|540000 |539995 | 1490k| 2.8 | 570M| 169 | 0 |1900 |1806 |1900 | 272 | 431k| 6 |2247 | 0.000000e+00 | 4.448540e+05 | Inf
466.65/467.16 c 455s|550000 |549995 | 1509k| 2.7 | 580M| 169 | 0 |1900 |1806 |1900 | 298 | 437k| 6 |2265 | 0.000000e+00 | 4.448540e+05 | Inf
474.75/475.25 c 463s|560000 |559995 | 1525k| 2.7 | 591M| 169 | 0 |1900 |1806 |1900 | 327 | 442k| 6 |2285 | 0.000000e+00 | 4.448540e+05 | Inf
482.55/483.10 c 470s|570000 |569995 | 1537k| 2.7 | 601M| 169 | 0 |1900 |1806 |1900 | 295 | 445k| 6 |2300 | 0.000000e+00 | 4.448540e+05 | Inf
490.55/491.11 c 478s|580000 |579995 | 1551k| 2.7 | 611M| 169 | 4 |1900 |1806 |1900 | 237 | 449k| 6 |2305 | 0.000000e+00 | 4.448540e+05 | Inf
498.45/499.04 c 486s|590000 |589995 | 1566k| 2.7 | 622M| 169 | 0 |1900 |1806 |1900 | 265 | 453k| 6 |2323 | 0.000000e+00 | 4.448540e+05 | Inf
506.55/507.19 c 494s|600000 |599995 | 1585k| 2.6 | 632M| 169 | 0 |1900 |1806 |1900 | 263 | 459k| 6 |2338 | 0.000000e+00 | 4.448540e+05 | Inf
514.55/515.17 c 501s|610000 |609995 | 1601k| 2.6 | 642M| 169 | 4 |1900 |1806 |1900 | 276 | 464k| 6 |2341 | 0.000000e+00 | 4.448540e+05 | Inf
522.95/523.55 c 510s|620000 |619995 | 1623k| 2.6 | 653M| 169 | 0 |1900 |1806 |1900 | 310 | 471k| 6 |2360 | 0.000000e+00 | 4.448540e+05 | Inf
531.05/531.64 c 518s|630000 |629995 | 1642k| 2.6 | 663M| 169 | 0 |1900 |1806 |1900 | 310 | 476k| 6 |2374 | 0.000000e+00 | 4.448540e+05 | Inf
540.05/540.66 c 526s|640000 |639995 | 1664k| 2.6 | 673M| 169 | 0 |1900 |1806 |1900 | 296 | 483k| 6 |2393 | 0.000000e+00 | 4.448540e+05 | Inf
549.15/549.72 c 535s|650000 |649995 | 1686k| 2.6 | 684M| 169 | 0 |1900 |1806 |1900 | 320 | 489k| 6 |2409 | 0.000000e+00 | 4.448540e+05 | Inf
558.15/558.76 c 544s|660000 |659995 | 1706k| 2.6 | 694M| 169 | 0 |1900 |1806 |1900 | 286 | 495k| 6 |2426 | 0.000000e+00 | 4.448540e+05 | Inf
567.25/567.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
567.25/567.82 c 553s|670000 |669995 | 1725k| 2.6 | 704M| 169 | 0 |1900 |1806 |1900 | 288 | 501k| 6 |2442 | 0.000000e+00 | 4.448540e+05 | Inf
576.24/576.86 c 562s|680000 |679995 | 1742k| 2.6 | 715M| 169 | 0 |1900 |1806 |1900 | 288 | 506k| 6 |2460 | 0.000000e+00 | 4.448540e+05 | Inf
585.45/586.00 c 571s|690000 |689995 | 1763k| 2.6 | 725M| 169 | 0 |1900 |1806 |1900 | 284 | 512k| 6 |2466 | 0.000000e+00 | 4.448540e+05 | Inf
594.25/594.81 c 580s|700000 |699995 | 1778k| 2.5 | 735M| 169 | 0 |1900 |1806 |1900 | 287 | 517k| 6 |2479 | 0.000000e+00 | 4.448540e+05 | Inf
603.26/603.85 c 589s|710000 |709995 | 1799k| 2.5 | 746M| 169 | 0 |1900 |1806 |1900 | 311 | 523k| 6 |2494 | 0.000000e+00 | 4.448540e+05 | Inf
612.16/612.76 c 597s|720000 |719995 | 1818k| 2.5 | 756M| 169 | 0 |1900 |1806 |1900 | 300 | 530k| 6 |2508 | 0.000000e+00 | 4.448540e+05 | Inf
621.15/621.78 c 606s|730000 |729995 | 1838k| 2.5 | 766M| 169 | 0 |1900 |1805 |1900 | 267 | 536k| 6 |2527 | 0.000000e+00 | 4.448540e+05 | Inf
630.15/630.72 c 615s|740000 |739995 | 1855k| 2.5 | 777M| 169 | 0 |1900 |1805 |1900 | 269 | 541k| 6 |2527 | 0.000000e+00 | 4.448540e+05 | Inf
639.15/639.73 c 624s|750000 |749995 | 1873k| 2.5 | 787M| 169 | 0 |1900 |1805 |1900 | 343 | 546k| 6 |2541 | 0.000000e+00 | 4.448540e+05 | Inf
648.25/648.82 c 633s|760000 |759995 | 1895k| 2.5 | 797M| 169 | 0 |1900 |1805 |1900 | 296 | 553k| 6 |2557 | 0.000000e+00 | 4.448540e+05 | Inf
657.15/657.77 c 642s|770000 |769995 | 1913k| 2.5 | 808M| 169 | 6 |1900 |1805 |1900 | 270 | 558k| 6 |2575 | 0.000000e+00 | 4.448540e+05 | Inf
665.96/666.59 c 650s|780000 |779995 | 1927k| 2.5 | 818M| 169 | 25 |1900 |1805 |1900 | 255 | 562k| 6 |2587 | 0.000000e+00 | 4.448540e+05 | Inf
675.05/675.67 c 659s|790000 |789995 | 1950k| 2.5 | 828M| 169 | 16 |1900 |1805 |1900 | 267 | 569k| 6 |2598 | 0.000000e+00 | 4.448540e+05 | Inf
684.35/684.93 c 668s|800000 |799995 | 1974k| 2.5 | 839M| 169 | 0 |1900 |1805 |1900 | 283 | 576k| 6 |2620 | 0.000000e+00 | 4.448540e+05 | Inf
693.46/694.06 c 677s|810000 |809995 | 1995k| 2.5 | 849M| 169 | 0 |1900 |1805 |1900 | 263 | 582k| 6 |2624 | 0.000000e+00 | 4.448540e+05 | Inf
702.55/703.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
702.55/703.19 c 686s|820000 |819995 | 2017k| 2.5 | 859M| 169 | 0 |1900 |1805 |1900 | 300 | 589k| 6 |2643 | 0.000000e+00 | 4.448540e+05 | Inf
711.65/712.20 c 695s|830000 |829995 | 2034k| 2.5 | 870M| 169 | 0 |1900 |1805 |1900 | 258 | 594k| 6 |2661 | 0.000000e+00 | 4.448540e+05 | Inf
720.66/721.28 c 704s|840000 |839995 | 2056k| 2.4 | 880M| 169 | 0 |1900 |1805 |1900 | 284 | 600k| 6 |2680 | 0.000000e+00 | 4.448540e+05 | Inf
729.86/730.43 c 713s|850000 |849995 | 2077k| 2.4 | 890M| 169 | 0 |1900 |1805 |1900 | 300 | 606k| 6 |2697 | 0.000000e+00 | 4.448540e+05 | Inf
738.85/739.46 c 722s|860000 |859995 | 2096k| 2.4 | 901M| 169 | 0 |1900 |1805 |1900 | 288 | 612k| 6 |2711 | 0.000000e+00 | 4.448540e+05 | Inf
748.06/748.66 c 731s|870000 |869995 | 2120k| 2.4 | 911M| 169 | 0 |1900 |1805 |1900 | 322 | 619k| 6 |2728 | 0.000000e+00 | 4.448540e+05 | Inf
757.36/757.95 c 740s|880000 |879995 | 2145k| 2.4 | 922M| 169 | 0 |1900 |1805 |1900 | 327 | 626k| 6 |2749 | 0.000000e+00 | 4.448540e+05 | Inf
766.26/766.85 c 749s|890000 |889995 | 2161k| 2.4 | 932M| 169 | 26 |1900 |1805 |1900 | 265 | 631k| 6 |2749 | 0.000000e+00 | 4.448540e+05 | Inf
775.36/775.94 c 758s|900000 |899995 | 2185k| 2.4 | 942M| 169 | 0 |1900 |1805 |1900 | 274 | 639k| 6 |2767 | 0.000000e+00 | 4.448540e+05 | Inf
784.76/785.35 c 767s|910000 |909995 | 2216k| 2.4 | 953M| 169 | 0 |1900 |1805 |1900 | 296 | 647k| 6 |2802 | 0.000000e+00 | 4.448540e+05 | Inf
794.15/794.78 c 776s|920000 |919995 | 2244k| 2.4 | 963M| 169 | 0 |1900 |1805 |1900 | 289 | 655k| 6 |2821 | 0.000000e+00 | 4.448540e+05 | Inf
803.26/803.85 c 785s|930000 |929995 | 2263k| 2.4 | 973M| 169 | 46 |1900 |1805 |1900 | 189 | 661k| 6 |2836 | 0.000000e+00 | 4.448540e+05 | Inf
812.26/812.90 c 794s|940000 |939995 | 2283k| 2.4 | 984M| 169 | 0 |1900 |1805 |1900 | 284 | 666k| 6 |2842 | 0.000000e+00 | 4.448540e+05 | Inf
821.35/821.98 c 803s|950000 |949995 | 2305k| 2.4 | 994M| 169 | 0 |1900 |1805 |1900 | 307 | 673k| 6 |2851 | 0.000000e+00 | 4.448540e+05 | Inf
830.86/831.42 c 812s|960000 |959995 | 2336k| 2.4 |1004M| 169 | 0 |1900 |1805 |1900 | 310 | 682k| 6 |2883 | 0.000000e+00 | 4.448540e+05 | Inf
839.96/840.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
839.96/840.56 c 821s|970000 |969995 | 2358k| 2.4 |1015M| 169 | 0 |1900 |1805 |1900 | 291 | 689k| 6 |2891 | 0.000000e+00 | 4.448540e+05 | Inf
848.96/849.55 c 830s|980000 |979995 | 2377k| 2.4 |1025M| 169 | 2 |1900 |1805 |1900 | 289 | 694k| 6 |2905 | 0.000000e+00 | 4.448540e+05 | Inf
857.76/858.34 c 839s|990000 |989995 | 2398k| 2.4 |1035M| 169 | 0 |1900 |1805 |1900 | 301 | 701k| 6 |2919 | 0.000000e+00 | 4.448540e+05 | Inf
865.85/866.47 c 846s| 1000k|999995 | 2418k| 2.4 |1046M| 169 | 0 |1900 |1805 |1900 | 305 | 706k| 6 |2936 | 0.000000e+00 | 4.448540e+05 | Inf
873.97/874.57 c 854s| 1010k| 1009k| 2437k| 2.4 |1056M| 169 | 0 |1900 |1805 |1900 | 320 | 712k| 6 |2952 | 0.000000e+00 | 4.448540e+05 | Inf
882.16/882.74 c 862s| 1020k| 1019k| 2457k| 2.4 |1066M| 169 | 6 |1900 |1805 |1900 | 297 | 717k| 6 |2965 | 0.000000e+00 | 4.448540e+05 | Inf
890.36/890.95 c 869s| 1030k| 1029k| 2480k| 2.4 |1077M| 169 | 0 |1900 |1805 |1900 | 299 | 724k| 6 |2972 | 0.000000e+00 | 4.448540e+05 | Inf
898.86/899.41 c 877s| 1040k| 1039k| 2512k| 2.4 |1087M| 169 | 0 |1900 |1805 |1900 | 301 | 734k| 6 |2995 | 0.000000e+00 | 4.448540e+05 | Inf
907.06/907.66 c 885s| 1050k| 1049k| 2537k| 2.4 |1098M| 169 | 0 |1900 |1805 |1900 | 271 | 741k| 6 |3019 | 0.000000e+00 | 4.448540e+05 | Inf
915.16/915.70 c 893s| 1060k| 1059k| 2556k| 2.4 |1108M| 169 | 0 |1900 |1805 |1900 | 309 | 746k| 6 |3021 | 0.000000e+00 | 4.448540e+05 | Inf
923.47/924.05 c 901s| 1070k| 1069k| 2581k| 2.4 |1118M| 169 | 0 |1900 |1805 |1900 | 287 | 752k| 6 |3041 | 0.000000e+00 | 4.448540e+05 | Inf
931.76/932.34 c 908s| 1080k| 1079k| 2605k| 2.4 |1129M| 169 | 0 |1900 |1805 |1900 | 273 | 759k| 6 |3060 | 0.000000e+00 | 4.448540e+05 | Inf
939.86/940.49 c 916s| 1090k| 1089k| 2626k| 2.4 |1139M| 169 | 0 |1900 |1805 |1900 | 275 | 765k| 6 |3077 | 0.000000e+00 | 4.448540e+05 | Inf
948.16/948.71 c 924s| 1100k| 1099k| 2649k| 2.4 |1150M| 169 | 0 |1900 |1805 |1900 | 273 | 772k| 6 |3094 | 0.000000e+00 | 4.448540e+05 | Inf
956.16/956.75 c 931s| 1110k| 1109k| 2668k| 2.4 |1160M| 169 | 3 |1900 |1805 |1900 | 266 | 777k| 6 |3109 | 0.000000e+00 | 4.448540e+05 | Inf
964.36/964.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
964.36/964.90 c 939s| 1120k| 1119k| 2689k| 2.4 |1170M| 169 | 0 |1900 |1805 |1900 | 296 | 783k| 6 |3126 | 0.000000e+00 | 4.448540e+05 | Inf
972.77/973.34 c 947s| 1130k| 1129k| 2715k| 2.4 |1181M| 169 | 0 |1900 |1809 |1900 | 326 | 790k| 10 |3146 | 0.000000e+00 | 4.448540e+05 | Inf
981.06/981.60 c 955s| 1140k| 1139k| 2738k| 2.4 |1191M| 169 | 0 |1900 |1806 |1900 | 288 | 796k| 10 |3155 | 0.000000e+00 | 4.448540e+05 | Inf
989.26/989.82 c 963s| 1150k| 1149k| 2760k| 2.4 |1201M| 169 | 0 |1900 |1806 |1900 | 313 | 802k| 10 |3163 | 0.000000e+00 | 4.448540e+05 | Inf
997.46/998.01 c 970s| 1160k| 1159k| 2782k| 2.4 |1212M| 169 | 6 |1900 |1806 |1900 | 275 | 807k| 10 |3186 | 0.000000e+00 | 4.448540e+05 | Inf
1005.66/1006.28 c 978s| 1170k| 1169k| 2804k| 2.4 |1222M| 169 | 0 |1900 |1806 |1900 | 290 | 814k| 10 |3209 | 0.000000e+00 | 4.448540e+05 | Inf
1013.86/1014.47 c 986s| 1180k| 1179k| 2826k| 2.4 |1232M| 169 | 0 |1900 |1806 |1900 | 275 | 820k| 10 |3226 | 0.000000e+00 | 4.448540e+05 | Inf
1021.86/1022.47 c 994s| 1190k| 1189k| 2845k| 2.4 |1243M| 169 | 0 |1900 |1806 |1900 | 316 | 825k| 10 |3228 | 0.000000e+00 | 4.448540e+05 | Inf
1030.17/1030.70 c 1001s| 1200k| 1199k| 2869k| 2.4 |1253M| 169 | 0 |1900 |1806 |1900 | 290 | 832k| 10 |3245 | 0.000000e+00 | 4.448540e+05 | Inf
1038.46/1039.00 c 1009s| 1210k| 1209k| 2893k| 2.4 |1263M| 169 | 0 |1900 |1806 |1900 | 291 | 839k| 10 |3261 | 0.000000e+00 | 4.448540e+05 | Inf
1046.57/1047.13 c 1017s| 1220k| 1219k| 2912k| 2.4 |1274M| 169 | 0 |1900 |1806 |1900 | 276 | 845k| 10 |3279 | 0.000000e+00 | 4.448540e+05 | Inf
1054.76/1055.33 c 1024s| 1230k| 1229k| 2936k| 2.4 |1284M| 169 | 0 |1900 |1806 |1900 | 264 | 851k| 10 |3294 | 0.000000e+00 | 4.448540e+05 | Inf
1062.87/1063.46 c 1032s| 1240k| 1239k| 2956k| 2.4 |1294M| 169 | 0 |1900 |1806 |1900 | 267 | 857k| 10 |3307 | 0.000000e+00 | 4.448540e+05 | Inf
1071.07/1071.66 c 1040s| 1250k| 1249k| 2978k| 2.4 |1305M| 169 | 0 |1900 |1806 |1900 | 267 | 863k| 10 |3312 | 0.000000e+00 | 4.448540e+05 | Inf
1079.16/1079.79 c 1048s| 1260k| 1259k| 2997k| 2.4 |1315M| 169 | 0 |1900 |1806 |1900 | 295 | 869k| 10 |3328 | 0.000000e+00 | 4.448540e+05 | Inf
1087.07/1087.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1087.07/1087.64 c 1055s| 1270k| 1269k| 3014k| 2.4 |1325M| 169 | 14 |1900 |1806 |1900 | 269 | 873k| 10 |3344 | 0.000000e+00 | 4.448540e+05 | Inf
1095.37/1095.97 c 1063s| 1280k| 1279k| 3042k| 2.4 |1336M| 169 | 0 |1900 |1806 |1900 | 287 | 881k| 10 |3359 | 0.000000e+00 | 4.448540e+05 | Inf
1103.67/1104.25 c 1071s| 1290k| 1289k| 3067k| 2.4 |1346M| 169 | 5 |1900 |1806 |1900 | 277 | 888k| 10 |3372 | 0.000000e+00 | 4.448540e+05 | Inf
1111.86/1112.40 c 1078s| 1300k| 1299k| 3092k| 2.4 |1356M| 169 | 0 |1900 |1806 |1900 | 276 | 895k| 10 |3386 | 0.000000e+00 | 4.448540e+05 | Inf
1119.76/1120.39 c 1086s| 1310k| 1309k| 3110k| 2.4 |1367M| 169 | 0 |1900 |1806 |1900 | 285 | 900k| 10 |3386 | 0.000000e+00 | 4.448540e+05 | Inf
1128.08/1128.61 c 1094s| 1320k| 1319k| 3133k| 2.4 |1377M| 169 | 8 |1900 |1806 |1900 | 267 | 906k| 10 |3402 | 0.000000e+00 | 4.448540e+05 | Inf
1136.27/1136.80 c 1101s| 1330k| 1329k| 3154k| 2.4 |1387M| 169 | 0 |1900 |1806 |1900 | 289 | 912k| 10 |3417 | 0.000000e+00 | 4.448540e+05 | Inf
1144.37/1144.94 c 1109s| 1340k| 1339k| 3175k| 2.4 |1398M| 169 | 0 |1900 |1806 |1900 | 283 | 918k| 10 |3433 | 0.000000e+00 | 4.448540e+05 | Inf
1152.57/1153.10 c 1117s| 1350k| 1349k| 3197k| 2.4 |1408M| 169 | 0 |1900 |1806 |1900 | 309 | 924k| 10 |3448 | 0.000000e+00 | 4.448540e+05 | Inf
1160.57/1161.16 c 1124s| 1360k| 1359k| 3216k| 2.4 |1418M| 169 | 10 |1900 |1806 |1900 | 280 | 930k| 10 |3455 | 0.000000e+00 | 4.448540e+05 | Inf
1168.57/1169.20 c 1132s| 1370k| 1369k| 3233k| 2.4 |1429M| 169 | 3 |1900 |1806 |1900 | 275 | 935k| 10 |3468 | 0.000000e+00 | 4.448540e+05 | Inf
1176.97/1177.58 c 1140s| 1380k| 1379k| 3257k| 2.4 |1439M| 169 | 0 |1900 |1806 |1900 | 301 | 942k| 10 |3484 | 0.000000e+00 | 4.448540e+05 | Inf
1185.17/1185.72 c 1148s| 1390k| 1389k| 3277k| 2.4 |1449M| 169 | 7 |1900 |1806 |1900 | 331 | 947k| 10 |3499 | 0.000000e+00 | 4.448540e+05 | Inf
1193.27/1193.89 c 1155s| 1400k| 1399k| 3297k| 2.4 |1460M| 169 | 24 |1900 |1806 |1900 | 262 | 953k| 10 |3502 | 0.000000e+00 | 4.448540e+05 | Inf
1201.27/1201.87 c 1163s| 1410k| 1409k| 3314k| 2.4 |1470M| 169 | 6 |1900 |1806 |1900 | 312 | 957k| 10 |3517 | 0.000000e+00 | 4.448540e+05 | Inf
1209.38/1210.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.38/1210.00 c 1171s| 1420k| 1419k| 3333k| 2.3 |1480M| 169 | 0 |1900 |1806 |1900 | 317 | 963k| 10 |3531 | 0.000000e+00 | 4.448540e+05 | Inf
1217.67/1218.23 c 1178s| 1430k| 1429k| 3356k| 2.3 |1491M| 169 | 0 |1900 |1806 |1900 | 317 | 969k| 10 |3548 | 0.000000e+00 | 4.448540e+05 | Inf
1225.77/1226.35 c 1186s| 1440k| 1439k| 3376k| 2.3 |1501M| 169 | 0 |1900 |1806 |1900 | 263 | 974k| 10 |3550 | 0.000000e+00 | 4.448540e+05 | Inf
1233.87/1234.42 c 1194s| 1450k| 1449k| 3395k| 2.3 |1511M| 169 | 10 |1900 |1806 |1900 | 292 | 979k| 10 |3566 | 0.000000e+00 | 4.448540e+05 | Inf
1241.68/1242.25 c 1201s| 1460k| 1459k| 3409k| 2.3 |1522M| 171 | 0 |1900 |1806 |1900 | 306 | 983k| 10 |3577 | 0.000000e+00 | 4.448540e+05 | Inf
1249.78/1250.33 c 1208s| 1470k| 1469k| 3428k| 2.3 |1532M| 171 | 0 |1900 |1806 |1900 | 295 | 988k| 10 |3581 | 0.000000e+00 | 4.448540e+05 | Inf
1257.88/1258.46 c 1216s| 1480k| 1479k| 3448k| 2.3 |1542M| 171 | 0 |1900 |1806 |1900 | 301 | 994k| 10 |3596 | 0.000000e+00 | 4.448540e+05 | Inf
1265.97/1266.51 c 1224s| 1490k| 1489k| 3468k| 2.3 |1553M| 171 | 0 |1900 |1806 |1900 | 274 | 999k| 10 |3610 | 0.000000e+00 | 4.448540e+05 | Inf
1273.97/1274.57 c 1231s| 1500k| 1499k| 3486k| 2.3 |1563M| 171 | 0 |1900 |1806 |1900 | 287 |1004k| 10 |3611 | 0.000000e+00 | 4.448540e+05 | Inf
1282.08/1282.65 c 1239s| 1510k| 1509k| 3503k| 2.3 |1573M| 171 | 0 |1900 |1806 |1900 | 272 |1010k| 10 |3625 | 0.000000e+00 | 4.448540e+05 | Inf
1290.28/1290.88 c 1246s| 1520k| 1519k| 3527k| 2.3 |1584M| 171 | 16 |1900 |1806 |1900 | 248 |1016k| 10 |3638 | 0.000000e+00 | 4.448540e+05 | Inf
1298.37/1298.99 c 1254s| 1530k| 1529k| 3546k| 2.3 |1594M| 171 | 0 |1900 |1806 |1900 | 307 |1022k| 10 |3650 | 0.000000e+00 | 4.448540e+05 | Inf
1306.58/1307.19 c 1262s| 1540k| 1539k| 3568k| 2.3 |1604M| 171 | 6 |1900 |1806 |1900 | 245 |1028k| 10 |3651 | 0.000000e+00 | 4.448540e+05 | Inf
1314.78/1315.36 c 1269s| 1550k| 1549k| 3590k| 2.3 |1615M| 171 | 0 |1900 |1806 |1900 | 277 |1034k| 10 |3666 | 0.000000e+00 | 4.448540e+05 | Inf
1322.79/1323.33 c 1277s| 1560k| 1559k| 3606k| 2.3 |1625M| 171 | 0 |1900 |1806 |1900 | 283 |1038k| 10 |3680 | 0.000000e+00 | 4.448540e+05 | Inf
1330.78/1331.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1330.78/1331.38 c 1284s| 1570k| 1569k| 3625k| 2.3 |1635M| 171 | 0 |1900 |1806 |1900 | 278 |1044k| 10 |3693 | 0.000000e+00 | 4.448540e+05 | Inf
1338.88/1339.45 c 1292s| 1580k| 1579k| 3645k| 2.3 |1646M| 171 | 0 |1900 |1806 |1900 | 283 |1049k| 10 |3698 | 0.000000e+00 | 4.448540e+05 | Inf
1346.98/1347.60 c 1300s| 1590k| 1589k| 3666k| 2.3 |1656M| 171 | 0 |1900 |1806 |1900 | 316 |1055k| 10 |3711 | 0.000000e+00 | 4.448540e+05 | Inf
1355.38/1355.92 c 1307s| 1600k| 1599k| 3692k| 2.3 |1666M| 171 | 4 |1900 |1806 |1900 | 288 |1062k| 10 |3729 | 0.000000e+00 | 4.448540e+05 | Inf
1363.49/1364.06 c 1315s| 1610k| 1609k| 3712k| 2.3 |1677M| 171 | 0 |1900 |1806 |1900 | 292 |1068k| 10 |3745 | 0.000000e+00 | 4.448540e+05 | Inf
1371.68/1372.23 c 1323s| 1620k| 1619k| 3735k| 2.3 |1687M| 171 | 0 |1900 |1806 |1900 | 303 |1074k| 10 |3747 | 0.000000e+00 | 4.448540e+05 | Inf
1379.89/1380.46 c 1331s| 1630k| 1629k| 3758k| 2.3 |1697M| 171 | 0 |1900 |1806 |1900 | 268 |1081k| 10 |3763 | 0.000000e+00 | 4.448540e+05 | Inf
1387.98/1388.58 c 1338s| 1640k| 1639k| 3778k| 2.3 |1708M| 171 | 0 |1900 |1806 |1900 | 291 |1087k| 10 |3781 | 0.000000e+00 | 4.448540e+05 | Inf
1396.39/1396.91 c 1346s| 1650k| 1649k| 3801k| 2.3 |1718M| 171 | 0 |1900 |1806 |1900 | 318 |1093k| 10 |3796 | 0.000000e+00 | 4.448540e+05 | Inf
1404.28/1404.85 c 1353s| 1660k| 1659k| 3814k| 2.3 |1728M| 171 | 14 |1900 |1806 |1900 | 282 |1097k| 10 |3799 | 0.000000e+00 | 4.448540e+05 | Inf
1412.48/1413.06 c 1361s| 1670k| 1669k| 3835k| 2.3 |1739M| 171 | 0 |1900 |1806 |1900 | 287 |1103k| 10 |3816 | 0.000000e+00 | 4.448540e+05 | Inf
1420.38/1420.95 c 1369s| 1680k| 1679k| 3849k| 2.3 |1749M| 171 | 0 |1900 |1806 |1900 | 295 |1106k| 10 |3819 | 0.000000e+00 | 4.448540e+05 | Inf
1428.48/1429.00 c 1376s| 1690k| 1689k| 3865k| 2.3 |1759M| 171 | 17 |1900 |1806 |1900 | 295 |1111k| 10 |3834 | 0.000000e+00 | 4.448540e+05 | Inf
1436.58/1437.16 c 1384s| 1700k| 1699k| 3884k| 2.3 |1770M| 171 | 0 |1900 |1806 |1900 | 332 |1116k| 10 |3851 | 0.000000e+00 | 4.448540e+05 | Inf
1444.89/1445.40 c 1392s| 1710k| 1709k| 3908k| 2.3 |1780M| 171 | 6 |1900 |1806 |1900 | 291 |1123k| 10 |3861 | 0.000000e+00 | 4.448540e+05 | Inf
1452.98/1453.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1452.98/1453.51 c 1399s| 1720k| 1719k| 3927k| 2.3 |1790M| 171 | 0 |1900 |1806 |1900 | 282 |1129k| 10 |3869 | 0.000000e+00 | 4.448540e+05 | Inf
1460.89/1461.44 c 1407s| 1730k| 1729k| 3941k| 2.3 |1801M| 171 | 0 |1900 |1806 |1900 | 299 |1133k| 10 |3884 | 0.000000e+00 | 4.448540e+05 | Inf
1468.78/1469.34 c 1414s| 1740k| 1739k| 3955k| 2.3 |1811M| 171 | 0 |1900 |1806 |1900 | 287 |1137k| 10 |3884 | 0.000000e+00 | 4.448540e+05 | Inf
1476.79/1477.35 c 1422s| 1750k| 1749k| 3972k| 2.3 |1821M| 171 | 0 |1900 |1806 |1900 | 306 |1141k| 10 |3898 | 0.000000e+00 | 4.448540e+05 | Inf
1484.98/1485.53 c 1429s| 1760k| 1759k| 3995k| 2.3 |1832M| 171 | 4 |1900 |1806 |1900 | 275 |1148k| 10 |3914 | 0.000000e+00 | 4.448540e+05 | Inf
1492.98/1493.51 c 1437s| 1770k| 1769k| 4015k| 2.3 |1842M| 171 | 0 |1900 |1806 |1900 | 309 |1153k| 10 |3914 | 0.000000e+00 | 4.448540e+05 | Inf
1501.09/1501.69 c 1444s| 1780k| 1779k| 4037k| 2.3 |1852M| 171 | 0 |1900 |1806 |1900 | 262 |1159k| 10 |3928 | 0.000000e+00 | 4.448540e+05 | Inf
1509.28/1509.80 c 1452s| 1790k| 1789k| 4058k| 2.3 |1863M| 171 | 0 |1900 |1806 |1900 | 286 |1166k| 10 |3943 | 0.000000e+00 | 4.448540e+05 | Inf
1517.39/1517.92 c 1460s| 1800k| 1799k| 4078k| 2.3 |1873M| 171 | 0 |1900 |1806 |1900 | 310 |1171k| 10 |3956 | 0.000000e+00 | 4.448540e+05 | Inf
1525.48/1526.00 c 1467s| 1810k| 1809k| 4095k| 2.3 |1883M| 171 | 0 |1900 |1806 |1900 | 302 |1176k| 10 |3957 | 0.000000e+00 | 4.448540e+05 | Inf
1533.49/1534.05 c 1475s| 1820k| 1819k| 4113k| 2.3 |1894M| 171 | 0 |1900 |1806 |1900 | 293 |1181k| 10 |3968 | 0.000000e+00 | 4.448540e+05 | Inf
1541.69/1542.26 c 1482s| 1830k| 1829k| 4135k| 2.3 |1904M| 171 | 0 |1900 |1806 |1900 | 270 |1188k| 10 |3980 | 0.000000e+00 | 4.448540e+05 | Inf
1549.78/1550.39 c 1490s| 1840k| 1839k| 4155k| 2.3 |1914M| 171 | 0 |1900 |1806 |1900 | 325 |1194k| 10 |3987 | 0.000000e+00 | 4.448540e+05 | Inf
1557.98/1558.50 c 1498s| 1850k| 1849k| 4175k| 2.3 |1925M| 171 | 0 |1900 |1806 |1900 | 266 |1199k| 10 |3993 | 0.000000e+00 | 4.448540e+05 | Inf
1565.79/1566.37 c 1505s| 1860k| 1859k| 4190k| 2.3 |1935M| 171 | 0 |1900 |1806 |1900 | 302 |1204k| 10 |4007 | 0.000000e+00 | 4.448540e+05 | Inf
1573.79/1574.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.79/1574.39 c 1512s| 1870k| 1869k| 4207k| 2.2 |1945M| 171 | 0 |1900 |1806 |1900 | 278 |1208k| 10 |4007 | 0.000000e+00 | 4.448540e+05 | Inf
1581.59/1582.19 c 1520s| 1880k| 1879k| 4220k| 2.2 |1955M| 171 | 0 |1900 |1806 |1900 | 283 |1212k| 10 |4021 | 0.000000e+00 | 4.448540e+05 | Inf
1589.88/1590.45 c 1528s| 1890k| 1889k| 4244k| 2.2 |1966M| 171 | 0 |1900 |1806 |1900 | 280 |1219k| 10 |4033 | 0.000000e+00 | 4.448540e+05 | Inf
1598.09/1598.61 c 1535s| 1900k| 1899k| 4265k| 2.2 |1976M| 171 | 0 |1900 |1806 |1900 | 326 |1225k| 10 |4038 | 0.000000e+00 | 4.448540e+05 | Inf
1605.99/1606.54 c 1543s| 1910k| 1909k| 4281k| 2.2 |1986M| 171 | 0 |1900 |1806 |1900 | 288 |1229k| 10 |4054 | 0.000000e+00 | 4.448540e+05 | Inf
1613.89/1614.48 c 1550s| 1920k| 1919k| 4297k| 2.2 |1997M| 171 | 0 |1900 |1806 |1900 | 305 |1234k| 10 |4054 | 0.000000e+00 | 4.448540e+05 | Inf
1622.09/1622.68 c 1558s| 1930k| 1929k| 4319k| 2.2 |2007M| 171 | 0 |1900 |1806 |1900 | 281 |1240k| 10 |4069 | 0.000000e+00 | 4.448540e+05 | Inf
1630.19/1630.77 c 1565s| 1940k| 1939k| 4339k| 2.2 |2017M| 171 | 0 |1900 |1806 |1900 | 278 |1246k| 10 |4085 | 0.000000e+00 | 4.448540e+05 | Inf
1638.40/1638.93 c 1573s| 1950k| 1949k| 4360k| 2.2 |2028M| 171 | 11 |1900 |1806 |1900 | 259 |1252k| 10 |4099 | 0.000000e+00 | 4.448540e+05 | Inf
1646.29/1646.86 c 1581s| 1960k| 1959k| 4377k| 2.2 |2038M| 171 | 0 |1900 |1806 |1900 | 306 |1256k| 10 |4101 | 0.000000e+00 | 4.448540e+05 | Inf
1654.49/1655.01 c 1588s| 1970k| 1969k| 4398k| 2.2 |2048M| 171 | 4 |1900 |1806 |1900 | 264 |1263k| 10 |4117 | 0.000000e+00 | 4.448540e+05 | Inf
1662.70/1663.27 c 1596s| 1980k| 1979k| 4423k| 2.2 |2059M| 171 | 16 |1900 |1806 |1900 | 292 |1270k| 10 |4132 | 0.000000e+00 | 4.448540e+05 | Inf
1670.89/1671.41 c 1604s| 1990k| 1989k| 4442k| 2.2 |2069M| 171 | 0 |1900 |1806 |1900 | 319 |1276k| 10 |4135 | 0.000000e+00 | 4.448540e+05 | Inf
1678.89/1679.40 c 1611s| 2000k| 1999k| 4459k| 2.2 |2079M| 171 | 3 |1900 |1806 |1900 | 253 |1281k| 10 |4145 | 0.000000e+00 | 4.448540e+05 | Inf
1687.09/1687.66 c 1619s| 2010k| 2009k| 4484k| 2.2 |2090M| 171 | 0 |1900 |1806 |1900 | 306 |1288k| 10 |4160 | 0.000000e+00 | 4.448540e+05 | Inf
1695.29/1695.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1695.29/1695.81 c 1626s| 2020k| 2019k| 4507k| 2.2 |2100M| 171 | 0 |1900 |1806 |1900 | 299 |1294k| 10 |4174 | 0.000000e+00 | 4.448540e+05 | Inf
1703.49/1704.08 c 1634s| 2030k| 2029k| 4531k| 2.2 |2110M| 171 | 0 |1900 |1806 |1900 | 264 |1301k| 10 |4182 | 0.000000e+00 | 4.448540e+05 | Inf
1711.59/1712.19 c 1642s| 2040k| 2039k| 4549k| 2.2 |2121M| 171 | 0 |1900 |1806 |1900 | 292 |1306k| 10 |4193 | 0.000000e+00 | 4.448540e+05 | Inf
1719.69/1720.30 c 1649s| 2050k| 2049k| 4568k| 2.2 |2131M| 171 | 0 |1900 |1806 |1900 | 280 |1312k| 10 |4208 | 0.000000e+00 | 4.448540e+05 | Inf
1728.10/1728.66 c 1657s| 2060k| 2059k| 4594k| 2.2 |2142M| 171 | 0 |1900 |1806 |1900 | 294 |1320k| 10 |4222 | 0.000000e+00 | 4.448540e+05 | Inf
1736.09/1736.66 c 1665s| 2070k| 2069k| 4612k| 2.2 |2152M| 171 | 17 |1900 |1806 |1900 | 211 |1325k| 10 |4225 | 0.000000e+00 | 4.448540e+05 | Inf
1744.29/1744.83 c 1672s| 2080k| 2079k| 4633k| 2.2 |2162M| 171 | 0 |1900 |1806 |1900 | 305 |1332k| 10 |4239 | 0.000000e+00 | 4.448540e+05 | Inf
1752.20/1752.79 c 1680s| 2090k| 2089k| 4650k| 2.2 |2173M| 171 | 4 |1900 |1806 |1900 | 268 |1337k| 10 |4251 | 0.000000e+00 | 4.448540e+05 | Inf
1760.29/1760.82 c 1687s| 2100k| 2099k| 4668k| 2.2 |2183M| 171 | 0 |1900 |1806 |1900 | 272 |1342k| 10 |4255 | 0.000000e+00 | 4.448540e+05 | Inf
1768.49/1769.05 c 1695s| 2110k| 2109k| 4693k| 2.2 |2193M| 171 | 0 |1900 |1806 |1900 | 312 |1349k| 10 |4271 | 0.000000e+00 | 4.448540e+05 | Inf
1776.60/1777.11 c 1703s| 2120k| 2119k| 4711k| 2.2 |2204M| 171 | 0 |1900 |1806 |1900 | 290 |1355k| 10 |4287 | 0.000000e+00 | 4.448540e+05 | Inf
1784.59/1785.20 c 1710s| 2130k| 2129k| 4728k| 2.2 |2214M| 171 | 0 |1900 |1806 |1900 | 303 |1360k| 10 |4287 | 0.000000e+00 | 4.448540e+05 | Inf
1792.79/1793.31 c 1718s| 2140k| 2139k| 4750k| 2.2 |2224M| 171 | 0 |1900 |1806 |1900 | 302 |1366k| 10 |4299 | 0.000000e+00 | 4.448540e+05 | Inf
1800.11/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.11/1800.61 c
1800.11/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.61 c Solving Time (sec) : 1724.53
1800.11/1800.61 c Solving Nodes : 2148947
1800.11/1800.61 c Primal Bound : +4.44854000000000e+05 (100 solutions)
1800.11/1800.61 c Dual Bound : +0.00000000000000e+00
1800.11/1800.61 c Gap : infinite
1800.11/1800.62 s SATISFIABLE
1800.11/1800.62 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.11/1800.62 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.11/1800.62 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.11/1800.62 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.11/1800.62 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.11/1800.62 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.11/1800.62 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.11/1800.62 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.11/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.11/1800.62 c Solving Time : 1724.53
1800.11/1800.62 c Original Problem :
1800.11/1800.62 c Problem name : HOME/instance-2700044-1278533922.wbo
1800.11/1800.62 c Variables : 2000 (1100 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.11/1800.62 c Constraints : 1901 initial, 1901 maximal
1800.11/1800.62 c Presolved Problem :
1800.11/1800.62 c Problem name : t_HOME/instance-2700044-1278533922.wbo
1800.11/1800.62 c Variables : 1900 (1000 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.11/1800.62 c Constraints : 1800 initial, 1809 maximal
1800.11/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.11/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c probing : 0.02 0 0 0 0 0 0 0 0
1800.11/1800.62 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c linear : 0.02 0 100 0 900 0 101 0 0
1800.11/1800.62 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.11/1800.62 c root node : - 0 - - 0 - - - -
1800.11/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.11/1800.62 c integral : 0 0 0 2435189 0 0 0 0 0 874270
1800.11/1800.62 c indicator : 900 0 3093656 1998054 0 0 2284726 0 0 0
1800.11/1800.62 c linear : 900 6 3093656 1998054 0 4 1102395 1371635 0 0
1800.11/1800.62 c logicor : 0+ 0 95786 0 0 0 19506 0 0 0
1800.11/1800.62 c countsols : 0 0 0 1711808 0 0 0 0 0 0
1800.11/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.11/1800.62 c integral : 8.79 0.00 0.00 8.79 0.00
1800.11/1800.62 c indicator : 147.89 0.02 33.28 114.59 0.00
1800.11/1800.62 c linear : 34.71 0.00 15.23 19.48 0.00
1800.11/1800.62 c logicor : 0.08 0.00 0.08 0.00 0.00
1800.11/1800.62 c countsols : 0.19 0.00 0.00 0.19 0.00
1800.11/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.11/1800.62 c vbounds : 0.34 2 0 0
1800.11/1800.62 c rootredcost : 0.27 0 0 0
1800.11/1800.62 c pseudoobj : 51.53 3093456 0 0
1800.11/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.11/1800.62 c propagation : 0.00 4 4 4 5.2 6 3.8 -
1800.11/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.11/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.11/1800.62 c applied globally : - - - 10 4.4 - - -
1800.11/1800.62 c applied locally : - - - 0 0.0 - - -
1800.11/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.11/1800.62 c cut pool : 0.00 3 - - 7 - (maximal pool size: 64)
1800.11/1800.62 c redcost : 90.85 2434788 0 0 0 0
1800.11/1800.62 c impliedbounds : 0.01 4 0 0 0 0
1800.11/1800.62 c intobj : 0.00 0 0 0 0 0
1800.11/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.11/1800.62 c gomory : 0.00 4 0 0 69 0
1800.11/1800.62 c strongcg : 0.00 4 0 0 0 0
1800.11/1800.62 c cmir : 0.01 4 0 0 0 0
1800.11/1800.62 c flowcover : 0.03 4 0 0 0 0
1800.11/1800.62 c clique : 0.01 1 0 0 0 0
1800.11/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.11/1800.62 c mcf : 0.00 1 0 0 0 0
1800.11/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.11/1800.62 c Pricers : Time Calls Vars
1800.11/1800.62 c problem variables: 0.00 0 0
1800.11/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.11/1800.62 c relpscost : 8.35 437135 0 0 0 0 874270
1800.11/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.11/1800.62 c inference : 131.13 1711808 0 0 0 0 3423616
1800.11/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.11/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.11/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.11/1800.62 c random : 0.00 0 0 0 0 0 0
1800.11/1800.62 c Primal Heuristics : Time Calls Found
1800.11/1800.62 c LP solutions : 0.00 - 0
1800.11/1800.62 c pseudo solutions : 0.00 - 0
1800.11/1800.62 c oneopt : 0.72 1 0
1800.11/1800.62 c crossover : 0.43 13 0
1800.11/1800.62 c trivial : 0.00 2 1
1800.11/1800.62 c simplerounding : 0.50 437089 0
1800.11/1800.62 c zirounding : 0.26 1000 0
1800.11/1800.62 c rounding : 0.75 9284 0
1800.11/1800.62 c shifting : 1.64 2931 0
1800.11/1800.62 c intshifting : 0.05 23 0
1800.11/1800.62 c twoopt : 0.00 0 0
1800.11/1800.62 c fixandinfer : 0.00 0 0
1800.11/1800.62 c feaspump : 0.00 0 0
1800.11/1800.62 c coefdiving : 15.06 25526 0
1800.11/1800.62 c pscostdiving : 14.18 25526 0
1800.11/1800.62 c fracdiving : 14.16 25527 0
1800.11/1800.62 c veclendiving : 14.47 25526 0
1800.11/1800.62 c intdiving : 0.00 0 0
1800.11/1800.62 c actconsdiving : 0.00 0 0
1800.11/1800.62 c objpscostdiving : 15.22 25499 0
1800.11/1800.62 c rootsoldiving : 15.23 25498 0
1800.11/1800.62 c linesearchdiving : 14.53 25527 0
1800.11/1800.62 c guideddiving : 14.36 25526 0
1800.11/1800.62 c octane : 0.00 0 0
1800.11/1800.62 c rens : 0.01 1 0
1800.11/1800.62 c rins : 0.00 0 0
1800.11/1800.62 c localbranching : 0.00 0 0
1800.11/1800.62 c mutation : 0.00 0 0
1800.11/1800.62 c dins : 0.00 0 0
1800.11/1800.62 c undercover : 0.00 0 0
1800.11/1800.62 c nlp : 0.28 0 0
1800.11/1800.62 c trysol : 0.68 28973 99
1800.11/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.11/1800.62 c primal LP : 0.01 0 0 0.00 0.00
1800.11/1800.62 c dual LP : 705.93 885283 4767791 5.39 6753.91
1800.11/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.11/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.11/1800.62 c diving/probing LP: 0.19 404 1384 3.43 7284.21
1800.11/1800.62 c strong branching : 5.77 4313 83020 19.25 14388.21
1800.11/1800.62 c (at root node) : - 33 3782 114.61 -
1800.11/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.11/1800.62 c B&B Tree :
1800.11/1800.62 c number of runs : 1
1800.11/1800.62 c nodes : 2148947
1800.11/1800.62 c nodes (total) : 2148947
1800.11/1800.62 c nodes left : 2148940
1800.11/1800.62 c max depth : 171
1800.11/1800.62 c max depth (total): 171
1800.11/1800.62 c backtracks : 25684 (1.2%)
1800.11/1800.62 c delayed cutoffs : 0
1800.11/1800.62 c repropagations : 23 (13 domain reductions, 0 cutoffs)
1800.11/1800.62 c avg switch length: 2.38
1800.11/1800.62 c switching time : 70.76
1800.11/1800.62 c Solution :
1800.11/1800.62 c Solutions found : 100 (1 improvements)
1800.11/1800.62 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.11/1800.62 c Primal Bound : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.11/1800.62 c Dual Bound : +0.00000000000000e+00
1800.11/1800.62 c Gap : infinite
1800.11/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.11/1800.62 c Root Iterations : 257
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700044-1278533922/watcher-2700044-1278533922 -o /tmp/evaluation-result-2700044-1278533922/solver-2700044-1278533922 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700044-1278533922.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: 3.79 1.44 0.53 9/186 18799
/proc/meminfo: memFree=29836176/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=8752 CPUtime=0
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 1287 0 0 0 0 0 0 0 24 0 1 0 21604781 8962048 1207 4089446400 4194304 8223781 140734303730704 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/18799/statm: 2188 1219 348 984 0 1201 0
[startup+0.033774 s]
/proc/loadavg: 3.79 1.44 0.53 9/186 18799
/proc/meminfo: memFree=29836176/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=21612 CPUtime=0.02
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 5064 0 0 0 2 0 0 0 25 0 1 0 21604781 22130688 4363 4089446400 4194304 8223781 140734303730704 18446744073709551615 4902256 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 5403 4363 444 984 0 4416 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 21612
[startup+0.100432 s]
/proc/loadavg: 3.79 1.44 0.53 9/186 18799
/proc/meminfo: memFree=29836176/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=23548 CPUtime=0.08
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 6205 0 0 0 8 0 0 0 25 0 1 0 21604781 24113152 4979 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 5887 4979 563 984 0 4900 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23548
[startup+0.302383 s]
/proc/loadavg: 3.79 1.44 0.53 9/186 18799
/proc/meminfo: memFree=29836176/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=31136 CPUtime=0.29
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 11090 0 0 0 28 1 0 0 25 0 1 0 21604781 31883264 6787 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 7784 6787 578 984 0 6797 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31136
[startup+0.701332 s]
/proc/loadavg: 3.79 1.44 0.53 9/186 18799
/proc/meminfo: memFree=29836176/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=31136 CPUtime=0.69
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 11090 0 0 0 67 2 0 0 25 0 1 0 21604781 31883264 6787 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 7784 6787 578 984 0 6797 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31136
[startup+1.50017 s]
/proc/loadavg: 3.89 1.50 0.55 6/187 18800
/proc/meminfo: memFree=29810996/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=31136 CPUtime=1.49
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 11090 0 0 0 145 4 0 0 25 0 1 0 21604781 31883264 6787 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 7784 6787 578 984 0 6797 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31136
[startup+3.10262 s]
/proc/loadavg: 3.89 1.50 0.55 6/187 18800
/proc/meminfo: memFree=29811872/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=31732 CPUtime=3.09
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 11225 0 0 0 303 6 0 0 25 0 1 0 21604781 32493568 6922 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 7933 6922 581 984 0 6946 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31732
[startup+6.30079 s]
/proc/loadavg: 3.89 1.50 0.55 6/187 18802
/proc/meminfo: memFree=29806308/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=37600 CPUtime=6.29
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 22047 0 0 0 616 13 0 0 25 0 1 0 21604781 38502400 8338 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 9400 8338 584 984 0 8413 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37600
[startup+12.701 s]
/proc/loadavg: 4.67 1.75 0.64 7/187 18803
/proc/meminfo: memFree=29796544/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=46152 CPUtime=12.69
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 30491 0 0 0 1244 25 0 0 25 0 1 0 21604781 47259648 10503 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 11538 10503 584 984 0 10551 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46152
[startup+25.5005 s]
/proc/loadavg: 4.88 1.89 0.70 9/187 18804
/proc/meminfo: memFree=29780396/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=60984 CPUtime=25.49
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 37370 0 0 0 2500 49 0 0 25 0 1 0 21604781 62447616 14264 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 15246 14264 584 984 0 14259 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60984
[startup+51.1024 s]
/proc/loadavg: 5.34 2.25 0.85 3/187 18804
/proc/meminfo: memFree=29741864/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=89380 CPUtime=51.09
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 47728 0 0 0 5014 95 0 0 25 0 1 0 21604781 91525120 21468 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 22345 21468 584 984 0 21358 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 89380
[startup+102.306 s]
/proc/loadavg: 4.83 2.60 1.05 9/187 18813
/proc/meminfo: memFree=29655708/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=151704 CPUtime=102.29
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 69326 0 0 0 10039 190 0 0 25 0 1 0 21604781 155344896 36769 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 37926 36769 584 984 0 36939 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 151704
[startup+162.3 s]
/proc/loadavg: 5.29 3.12 1.32 7/187 18814
/proc/meminfo: memFree=29545956/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=225608 CPUtime=162.29
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 88060 0 0 0 15929 300 0 0 25 0 1 0 21604781 231022592 55503 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 56402 55503 584 984 0 55415 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 225608
[startup+222.301 s]
/proc/loadavg: 5.93 3.66 1.61 5/187 18816
/proc/meminfo: memFree=29439008/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=304380 CPUtime=222.3
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 110165 0 0 0 21817 413 0 0 25 0 1 0 21604781 311685120 74479 4089446400 4194304 8223781 140734303730704 18446744073709551615 4651565 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 76095 74479 584 984 0 75108 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 304380
[startup+282.302 s]
/proc/loadavg: 4.13 3.55 1.70 4/187 18825
/proc/meminfo: memFree=29341532/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=377892 CPUtime=282.3
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 128812 0 0 0 27714 516 0 0 25 0 1 0 21604781 386961408 93126 4089446400 4194304 8223781 140734303730704 18446744073709551615 6446817 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 94473 93126 584 984 0 93486 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 377892
[startup+342.301 s]
/proc/loadavg: 4.12 3.66 1.85 4/187 18826
/proc/meminfo: memFree=29252100/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=450772 CPUtime=342.3
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 147334 0 0 0 33609 621 0 0 25 0 1 0 21604781 461590528 111648 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 112693 111648 588 984 0 111706 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 450772
[startup+402.301 s]
/proc/loadavg: 4.65 3.85 2.03 3/187 18828
/proc/meminfo: memFree=29174688/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=535716 CPUtime=401.85
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 169914 0 0 0 39355 830 0 0 25 0 1 0 21604781 548573184 131103 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18799/statm: 133929 131103 588 984 0 132942 0
Current children cumulated CPU time (s) 401.85
Current children cumulated vsize (KiB) 535716
[startup+462.3 s]
/proc/loadavg: 4.34 3.93 2.17 3/187 18829
/proc/meminfo: memFree=29092444/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=611000 CPUtime=461.84
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 189014 0 0 0 45029 1155 0 0 25 0 1 0 21604781 625664000 150203 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18799/statm: 152750 150203 588 984 0 151763 0
Current children cumulated CPU time (s) 461.84
Current children cumulated vsize (KiB) 611000
[startup+522.301 s]
/proc/loadavg: 4.28 3.98 2.29 6/187 18831
/proc/meminfo: memFree=29012316/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=684032 CPUtime=521.75
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 207565 0 0 0 50844 1331 0 0 25 0 1 0 21604781 700448768 168754 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 171008 168754 588 984 0 170021 0
Current children cumulated CPU time (s) 521.75
Current children cumulated vsize (KiB) 684032
[startup+582.3 s]
/proc/loadavg: 3.04 3.70 2.30 3/179 18861
/proc/meminfo: memFree=29058160/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=751232 CPUtime=581.75
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 224646 0 0 0 56741 1434 0 0 25 0 1 0 21604781 769261568 185835 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 187808 185835 588 984 0 186821 0
Current children cumulated CPU time (s) 581.75
Current children cumulated vsize (KiB) 751232
[startup+642.301 s]
/proc/loadavg: 2.38 3.39 2.28 3/179 18862
/proc/meminfo: memFree=28928356/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=821512 CPUtime=641.75
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 242463 0 0 0 62638 1537 0 0 25 0 1 0 21604781 841228288 203649 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/18799/statm: 205378 203649 588 984 0 204391 0
Current children cumulated CPU time (s) 641.75
Current children cumulated vsize (KiB) 821512
[startup+702.301 s]
################
# More data... #
################
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 352555 0 0 0 97444 2732 0 0 25 0 1 0 21604781 1289535488 310619 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18799/statm: 314828 310619 588 984 0 313841 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 1259312
[startup+1062.3 s]
/proc/loadavg: 1.99 2.32 2.16 3/179 19073
/proc/meminfo: memFree=28319272/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=1332900 CPUtime=1061.77
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 371242 0 0 0 103111 3066 0 0 25 0 1 0 21604781 1364889600 329305 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18799/statm: 333225 329305 588 984 0 332238 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 1332900
[startup+1122.3 s]
/proc/loadavg: 1.99 2.26 2.15 3/179 19075
/proc/meminfo: memFree=28172396/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=1409804 CPUtime=1121.76
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 390758 0 0 0 108775 3401 0 0 25 0 1 0 21604781 1443639296 348821 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18799/statm: 352451 348821 588 984 0 351464 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 1409804
[startup+1182.3 s]
/proc/loadavg: 1.99 2.21 2.13 3/179 19077
/proc/meminfo: memFree=28022156/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=1485016 CPUtime=1181.78
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 409848 0 0 0 114444 3734 0 0 25 0 1 0 21604781 1520656384 367911 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18799/statm: 371254 367911 588 984 0 370267 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 1485016
[startup+1242.3 s]
/proc/loadavg: 1.99 2.17 2.12 3/179 19078
/proc/meminfo: memFree=27868708/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=1559136 CPUtime=1241.77
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 428667 0 0 0 120095 4082 0 0 25 0 1 0 21604781 1596555264 386730 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18799/statm: 389784 386730 588 984 0 388797 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 1559136
[startup+1302.3 s]
/proc/loadavg: 1.99 2.14 2.11 3/179 19080
/proc/meminfo: memFree=27711924/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=1632736 CPUtime=1301.78
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 447350 0 0 0 125717 4461 0 0 25 0 1 0 21604781 1671921664 405413 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18799/statm: 408184 405413 588 984 0 407197 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1632736
[startup+1362.3 s]
/proc/loadavg: 2.04 2.12 2.10 3/179 19081
/proc/meminfo: memFree=27555884/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=1709036 CPUtime=1361.78
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 466712 0 0 0 131348 4830 0 0 25 0 1 0 21604781 1750052864 424775 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18799/statm: 427259 424775 588 984 0 426272 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1709036
[startup+1422.31 s]
/proc/loadavg: 2.01 2.10 2.09 3/179 19083
/proc/meminfo: memFree=27396720/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=1783296 CPUtime=1421.79
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 488697 0 0 0 136983 5196 0 0 25 0 1 0 21604781 1826095104 443626 4089446400 4194304 8223781 140734303730704 18446744073709551615 4819289 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18799/statm: 445824 443626 588 984 0 444837 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1783296
[startup+1482.3 s]
/proc/loadavg: 2.00 2.08 2.09 3/179 19085
/proc/meminfo: memFree=27242524/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=1857612 CPUtime=1481.78
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 507560 0 0 0 142628 5550 0 0 25 0 1 0 21604781 1902194688 462489 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18799/statm: 464403 462489 588 984 0 463416 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1857612
[startup+1542.3 s]
/proc/loadavg: 2.00 2.06 2.08 3/179 19086
/proc/meminfo: memFree=27082728/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=1934168 CPUtime=1541.79
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 526994 0 0 0 148245 5934 0 0 25 0 1 0 21604781 1980588032 481923 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18799/statm: 483542 481923 588 984 0 482555 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1934168
[startup+1602.3 s]
/proc/loadavg: 2.05 2.06 2.08 3/179 19088
/proc/meminfo: memFree=26928544/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=2008176 CPUtime=1601.79
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 545782 0 0 0 153869 6310 0 0 25 0 1 0 21604781 2056372224 500711 4089446400 4194304 8223781 140734303730704 18446744073709551615 4561380 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18799/statm: 502044 500711 588 984 0 501057 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 2008176
[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.07 3/179 19089
/proc/meminfo: memFree=26769996/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=2083716 CPUtime=1661.79
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 564954 0 0 0 159496 6683 0 0 25 0 1 0 21604781 2133725184 519883 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18799/statm: 520929 519883 588 984 0 519942 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 2083716
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/179 19091
/proc/meminfo: memFree=26612252/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=2192216 CPUtime=1721.79
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 584187 0 0 0 165117 7062 0 0 25 0 1 0 21604781 2244829184 539116 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18799/statm: 548054 539116 588 984 0 547067 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 2192216
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/179 19093
/proc/meminfo: memFree=26452216/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=2268460 CPUtime=1781.79
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 603532 0 0 0 170743 7436 0 0 25 0 1 0 21604781 2322903040 558461 4089446400 4194304 8223781 140734303730704 18446744073709551615 4819811 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18799/statm: 567115 558461 588 984 0 566128 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 2268460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.03 2.06 3/179 19093
/proc/meminfo: memFree=26403836/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=2289748 CPUtime=1800.11
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 608944 0 0 0 172454 7557 0 0 25 0 1 0 21604781 2344701952 563873 4089446400 4194304 8223781 140734303730704 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18799/statm: 572437 563873 588 984 0 571450 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 2289748
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18799
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.03 2.06 3/179 19093
/proc/meminfo: memFree=26403836/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=2289748 CPUtime=1800.9
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 608946 0 0 0 172533 7557 0 0 25 0 1 0 21604781 2344701952 563875 4089446400 4194304 8223781 140734303730704 18446744073709551615 6206658 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18799/statm: 572437 563875 590 984 0 571450 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 2289748
[startup+1802.2 s]
/proc/loadavg: 2.00 2.03 2.06 3/180 19094
/proc/meminfo: memFree=26400976/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=2289748 CPUtime=1801.7
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 608946 0 0 0 172613 7557 0 0 25 0 1 0 21604781 2344701952 563875 4089446400 4194304 8223781 140734303730704 18446744073709551615 6162078 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18799/statm: 572437 563875 590 984 0 571450 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 2289748
[startup+1802.6 s]
/proc/loadavg: 2.00 2.03 2.06 3/180 19094
/proc/meminfo: memFree=26400976/32950928 swapFree=67111528/67111528
[pid=18799] ppid=18797 vsize=2289748 CPUtime=1802.1
/proc/18799/stat : 18799 (pbscip.linux.x8) R 18797 18799 18304 0 -1 4202496 608946 0 0 0 172653 7557 0 0 25 0 1 0 21604781 2344701952 563875 4089446400 4194304 8223781 140734303730704 18446744073709551615 4212562 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18799/statm: 572437 563875 590 984 0 571450 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 2289748
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.69
CPU time (s): 1802.2
CPU user time (s): 1726.54
CPU system time (s): 75.6555
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 2289748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1726.54
system time used= 75.6555
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 608946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 11380
runsolver used 2.75258 second user time and 5.61914 second system time
The end
Begin job on node148 at 2010-07-07 22:18:42
IDJOB=2700044
IDBENCH=79395
IDSOLVER=1204
FILE ID=node148/2700044-1278533922
PBS_JOBID= 11239182
Free space on /tmp= 73708 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-jnh305_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-2700044-1278533922/watcher-2700044-1278533922 -o /tmp/evaluation-result-2700044-1278533922/solver-2700044-1278533922 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700044-1278533922.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8285b15ee2c0064deae9a0e09e679565
RANDOM SEED=724165285
node148.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.825
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.65
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.825
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.825
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.825
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.825
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.82
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.825
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.825
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.83
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.825
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: 32950928 kB
MemFree: 29836704 kB
Buffers: 138452 kB
Cached: 2702980 kB
SwapCached: 0 kB
Active: 1062748 kB
Inactive: 1891156 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 29836704 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4600 kB
Writeback: 0 kB
AnonPages: 112828 kB
Mapped: 18848 kB
Slab: 93200 kB
PageTables: 4768 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 330560 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= 73716 MiB
End job on node148 at 2010-07-07 22:48:45