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-2700188-1278534317.wbo>
0.00/0.01 c original problem has 2000 variables (1100 bin, 0 int, 0 impl, 900 cont) and 1901 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 100 del vars, 101 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.00/0.03 c (round 2) 100 del vars, 101 del conss, 900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1100 impls, 0 clqs
0.04/0.06 c (0.0s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.04/0.06 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.04/0.06 c presolving (3 rounds):
0.04/0.06 c 100 deleted vars, 101 deleted constraints, 900 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.04/0.06 c 1100 implications, 0 cliques
0.04/0.06 c presolved problem has 1900 variables (1000 bin, 0 int, 0 impl, 900 cont) and 1800 constraints
0.04/0.06 c 900 constraints of type <indicator>
0.04/0.06 c 900 constraints of type <linear>
0.04/0.06 c transformed objective value is always integral (scale: 1)
0.04/0.06 c Presolving Time: 0.04
0.04/0.06 c - non default parameters ----------------------------------------------------------------------
0.04/0.06 c # SCIP version 1.2.1.2
0.04/0.06 c
0.04/0.06 c # frequency for displaying node information lines
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.06 c display/freq = 10000
0.04/0.06 c
0.04/0.06 c # maximal time in seconds to run
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/time = 1799.99
0.04/0.06 c
0.04/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/memory = 3420
0.04/0.06 c
0.04/0.06 c # should presolving try to simplify inequalities
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c constraints/linear/simplifyinequalities = TRUE
0.04/0.06 c
0.04/0.06 c # should presolving try to simplify knapsacks
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.06 c
0.04/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c separating/rapidlearning/freq = 0
0.04/0.06 c
0.04/0.06 c -----------------------------------------------------------------------------------------------
0.04/0.06 c start solving
0.04/0.06 c
0.04/0.06 o 444854
0.04/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.04/0.06 c t 0.0s| 1 | 0 | 0 | - |6458k| 0 | - |1900 |1800 | 0 | 0 | 0 | 0 | 0 | -- | 4.448540e+05 | Inf
0.04/0.06 c 0.0s| 1 | 0 | 0 | - |6880k| 0 | 0 |1900 |1800 |1900 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.04/0.07 c 0.0s| 1 | 0 | 43 | - |6924k| 0 | 0 |1900 |1800 |1900 | 75 | 75 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.04/0.07 c 0.1s| 1 | 0 | 141 | - |6974k| 0 | 61 |1900 |1800 |1900 | 122 | 122 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.04/0.08 c 0.1s| 1 | 0 | 196 | - |7094k| 0 | 75 |1900 |1800 |1900 | 170 | 170 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 236 | - |7149k| 0 | 87 |1900 |1800 |1900 | 187 | 187 | 0 | 0 | 0.000000e+00 | 4.448540e+05 | Inf
0.29/0.36 c 0.3s| 1 | 2 | 396 | - |7201k| 0 | 87 |1900 |1800 |1900 | 187 | 187 | 0 | 33 | 0.000000e+00 | 4.448540e+05 | Inf
11.40/11.43 c 10.6s| 10000 | 10001 | 58785 | 5.9 | 20M| 95 | 25 |1900 |1800 |1900 | 259 | 15k| 0 | 789 | 0.000000e+00 | 4.448540e+05 | Inf
20.69/20.73 c 19.2s| 20000 | 19999 |111260 | 5.6 | 30M| 95 | 3 |1900 |1801 |1900 | 209 | 29k| 1 | 805 | 0.000000e+00 | 4.448540e+05 | Inf
30.09/30.13 c 27.9s| 30000 | 29999 |166517 | 5.5 | 41M| 99 | 11 |1900 |1801 |1900 | 267 | 42k| 1 |1002 | 0.000000e+00 | 4.448540e+05 | Inf
39.49/39.53 c 36.7s| 40000 | 39999 |217878 | 5.4 | 51M| 99 | 6 |1900 |1801 |1900 | 301 | 56k| 1 |1207 | 0.000000e+00 | 4.448540e+05 | Inf
48.89/48.94 c 45.5s| 50000 | 49999 |266350 | 5.3 | 62M| 99 | 12 |1900 |1801 |1900 | 281 | 69k| 1 |1374 | 0.000000e+00 | 4.448540e+05 | Inf
58.09/58.11 c 54.0s| 60000 | 59999 |309376 | 5.2 | 72M| 107 | 11 |1900 |1801 |1900 | 290 | 81k| 1 |1513 | 0.000000e+00 | 4.448540e+05 | Inf
67.30/67.31 c 62.6s| 70000 | 69999 |355108 | 5.1 | 83M| 107 | 0 |1900 |1801 |1900 | 305 | 94k| 1 |1670 | 0.000000e+00 | 4.448540e+05 | Inf
76.29/76.32 c 71.0s| 80000 | 79999 |395646 | 4.9 | 93M| 111 | 0 |1900 |1801 |1900 | 320 | 105k| 1 |1782 | 0.000000e+00 | 4.448540e+05 | Inf
85.39/85.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.39/85.43 c 79.5s| 90000 | 89999 |440014 | 4.9 | 104M| 111 | 13 |1900 |1801 |1900 | 285 | 118k| 1 |1891 | 0.000000e+00 | 4.448540e+05 | Inf
94.40/94.43 c 87.9s|100000 | 99999 |479256 | 4.8 | 114M| 113 | 0 |1900 |1801 |1900 | 297 | 130k| 1 |2012 | 0.000000e+00 | 4.448540e+05 | Inf
102.89/102.94 c 95.9s|110000 |109999 |507414 | 4.6 | 125M| 129 | 0 |1900 |1801 |1900 | 301 | 138k| 1 |2087 | 0.000000e+00 | 4.448540e+05 | Inf
111.59/111.69 c 104s|120000 |119999 |541671 | 4.5 | 135M| 129 | 0 |1900 |1801 |1900 | 288 | 148k| 1 |2160 | 0.000000e+00 | 4.448540e+05 | Inf
120.19/120.26 c 112s|130000 |129999 |574083 | 4.4 | 145M| 129 | 0 |1900 |1801 |1900 | 299 | 157k| 1 |2250 | 0.000000e+00 | 4.448540e+05 | Inf
128.89/128.94 c 120s|140000 |139999 |609451 | 4.4 | 156M| 129 | 0 |1900 |1801 |1900 | 321 | 168k| 1 |2316 | 0.000000e+00 | 4.448540e+05 | Inf
137.29/137.30 c 128s|150000 |149999 |636133 | 4.2 | 166M| 129 | 0 |1900 |1801 |1900 | 294 | 176k| 1 |2381 | 0.000000e+00 | 4.448540e+05 | Inf
145.70/145.76 c 136s|160000 |159999 |661779 | 4.1 | 176M| 129 | 0 |1900 |1801 |1900 | 306 | 183k| 1 |2439 | 0.000000e+00 | 4.448540e+05 | Inf
154.40/154.48 c 144s|170000 |169999 |698719 | 4.1 | 187M| 129 | 0 |1900 |1801 |1900 | 299 | 194k| 1 |2499 | 0.000000e+00 | 4.448540e+05 | Inf
162.89/162.99 c 152s|180000 |179999 |727667 | 4.0 | 197M| 129 | 0 |1900 |1801 |1900 | 325 | 203k| 1 |2561 | 0.000000e+00 | 4.448540e+05 | Inf
171.60/171.63 c 160s|190000 |189999 |760256 | 4.0 | 208M| 129 | 5 |1900 |1801 |1900 | 260 | 213k| 1 |2635 | 0.000000e+00 | 4.448540e+05 | Inf
180.30/180.38 c 168s|200000 |199999 |798186 | 4.0 | 218M| 129 | 30 |1900 |1801 |1900 | 292 | 225k| 1 |2703 | 0.000000e+00 | 4.448540e+05 | Inf
188.70/188.73 c 176s|210000 |209999 |823844 | 3.9 | 228M| 129 | 17 |1900 |1801 |1900 | 274 | 233k| 1 |2753 | 0.000000e+00 | 4.448540e+05 | Inf
197.19/197.24 c 184s|220000 |219999 |853319 | 3.9 | 239M| 129 | 0 |1900 |1801 |1900 | 338 | 242k| 1 |2805 | 0.000000e+00 | 4.448540e+05 | Inf
205.50/205.50 c 192s|230000 |229999 |879817 | 3.8 | 249M| 129 | 0 |1900 |1801 |1900 | 327 | 250k| 1 |2839 | 0.000000e+00 | 4.448540e+05 | Inf
213.89/213.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.89/213.96 c 200s|240000 |239999 |908482 | 3.8 | 260M| 129 | 0 |1900 |1801 |1900 | 297 | 258k| 1 |2898 | 0.000000e+00 | 4.448540e+05 | Inf
222.50/222.56 c 208s|250000 |249999 |944306 | 3.8 | 270M| 129 | 0 |1900 |1801 |1900 | 308 | 269k| 1 |2965 | 0.000000e+00 | 4.448540e+05 | Inf
231.10/231.11 c 216s|260000 |259999 |977800 | 3.8 | 280M| 129 | 5 |1900 |1801 |1900 | 280 | 278k| 1 |3015 | 0.000000e+00 | 4.448540e+05 | Inf
239.50/239.56 c 224s|270000 |269999 | 1007k| 3.7 | 291M| 129 | 0 |1900 |1801 |1900 | 299 | 288k| 1 |3068 | 0.000000e+00 | 4.448540e+05 | Inf
248.20/248.21 c 232s|280000 |279999 | 1042k| 3.7 | 301M| 129 | 3 |1900 |1801 |1900 | 251 | 297k| 1 |3122 | 0.000000e+00 | 4.448540e+05 | Inf
256.60/256.66 c 240s|290000 |289999 | 1072k| 3.7 | 311M| 129 | 0 |1900 |1801 |1900 | 294 | 306k| 1 |3160 | 0.000000e+00 | 4.448540e+05 | Inf
265.20/265.21 c 248s|300000 |299999 | 1106k| 3.7 | 322M| 129 | 10 |1900 |1801 |1900 | 278 | 316k| 1 |3199 | 0.000000e+00 | 4.448540e+05 | Inf
273.60/273.64 c 256s|310000 |309999 | 1136k| 3.7 | 332M| 129 | 5 |1900 |1801 |1900 | 235 | 325k| 1 |3248 | 0.000000e+00 | 4.448540e+05 | Inf
282.10/282.13 c 264s|320000 |319999 | 1168k| 3.6 | 342M| 129 | 5 |1900 |1801 |1900 | 299 | 335k| 1 |3300 | 0.000000e+00 | 4.448540e+05 | Inf
290.80/290.81 c 272s|330000 |329999 | 1207k| 3.7 | 353M| 129 | 0 |1900 |1801 |1900 | 288 | 346k| 1 |3356 | 0.000000e+00 | 4.448540e+05 | Inf
299.11/299.18 c 280s|340000 |339999 | 1235k| 3.6 | 363M| 129 | 0 |1900 |1801 |1900 | 284 | 355k| 1 |3385 | 0.000000e+00 | 4.448540e+05 | Inf
307.80/307.85 c 288s|350000 |349999 | 1269k| 3.6 | 374M| 129 | 0 |1900 |1801 |1900 | 324 | 365k| 1 |3432 | 0.000000e+00 | 4.448540e+05 | Inf
316.30/316.39 c 296s|360000 |359999 | 1301k| 3.6 | 384M| 129 | 0 |1900 |1801 |1900 | 262 | 374k| 1 |3488 | 0.000000e+00 | 4.448540e+05 | Inf
324.70/324.72 c 304s|370000 |369999 | 1327k| 3.6 | 394M| 129 | 0 |1900 |1801 |1900 | 298 | 381k| 1 |3514 | 0.000000e+00 | 4.448540e+05 | Inf
333.21/333.29 c 312s|380000 |379999 | 1362k| 3.6 | 405M| 129 | 0 |1900 |1801 |1900 | 278 | 392k| 1 |3563 | 0.000000e+00 | 4.448540e+05 | Inf
341.70/341.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.70/341.74 c 320s|390000 |389999 | 1393k| 3.6 | 415M| 129 | 0 |1900 |1801 |1900 | 301 | 401k| 1 |3606 | 0.000000e+00 | 4.448540e+05 | Inf
350.20/350.24 c 328s|400000 |399999 | 1426k| 3.6 | 425M| 129 | 0 |1900 |1801 |1900 | 307 | 411k| 1 |3643 | 0.000000e+00 | 4.448540e+05 | Inf
358.10/358.17 c 335s|410000 |409999 | 1439k| 3.5 | 436M| 129 | 6 |1900 |1801 |1900 | 206 | 415k| 1 |3653 | 0.000000e+00 | 4.448540e+05 | Inf
366.60/366.62 c 343s|420000 |419999 | 1470k| 3.5 | 446M| 129 | 3 |1900 |1801 |1900 | 299 | 424k| 1 |3696 | 0.000000e+00 | 4.448540e+05 | Inf
374.61/374.68 c 351s|430000 |429999 | 1490k| 3.5 | 456M| 129 | 0 |1900 |1801 |1900 | 302 | 430k| 1 |3716 | 0.000000e+00 | 4.448540e+05 | Inf
382.81/382.88 c 358s|440000 |439999 | 1511k| 3.4 | 467M| 129 | 0 |1900 |1801 |1900 | 304 | 437k| 1 |3738 | 0.000000e+00 | 4.448540e+05 | Inf
391.21/391.24 c 366s|450000 |449999 | 1541k| 3.4 | 477M| 135 | 0 |1900 |1801 |1900 | 285 | 445k| 1 |3787 | 0.000000e+00 | 4.448540e+05 | Inf
399.40/399.41 c 374s|460000 |459999 | 1563k| 3.4 | 487M| 135 | 30 |1900 |1801 |1900 | 290 | 451k| 1 |3815 | 0.000000e+00 | 4.448540e+05 | Inf
407.71/407.70 c 382s|470000 |469999 | 1589k| 3.4 | 498M| 135 | 0 |1900 |1801 |1900 | 290 | 458k| 1 |3834 | 0.000000e+00 | 4.448540e+05 | Inf
415.71/415.79 c 389s|480000 |479999 | 1607k| 3.3 | 508M| 135 | 0 |1900 |1801 |1900 | 315 | 464k| 1 |3854 | 0.000000e+00 | 4.448540e+05 | Inf
424.10/424.18 c 397s|490000 |489999 | 1636k| 3.3 | 518M| 135 | 0 |1900 |1801 |1900 | 271 | 472k| 1 |3894 | 0.000000e+00 | 4.448540e+05 | Inf
432.51/432.54 c 405s|500000 |499999 | 1664k| 3.3 | 529M| 135 | 0 |1900 |1801 |1900 | 278 | 480k| 1 |3919 | 0.000000e+00 | 4.448540e+05 | Inf
440.80/440.87 c 413s|510000 |509999 | 1692k| 3.3 | 539M| 135 | 0 |1900 |1801 |1900 | 285 | 489k| 1 |3949 | 0.000000e+00 | 4.448540e+05 | Inf
448.81/448.85 c 421s|520000 |519999 | 1708k| 3.3 | 549M| 135 | 5 |1900 |1801 |1900 | 287 | 494k| 1 |3971 | 0.000000e+00 | 4.448540e+05 | Inf
456.60/456.68 c 428s|530000 |529999 | 1722k| 3.2 | 559M| 135 | 0 |1900 |1801 |1900 | 304 | 498k| 1 |3989 | 0.000000e+00 | 4.448540e+05 | Inf
465.11/465.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.11/465.13 c 436s|540000 |539999 | 1752k| 3.2 | 570M| 135 | 0 |1900 |1801 |1900 | 266 | 507k| 1 |4010 | 0.000000e+00 | 4.448540e+05 | Inf
473.41/473.41 c 444s|550000 |549999 | 1778k| 3.2 | 580M| 135 | 0 |1900 |1801 |1900 | 266 | 514k| 1 |4045 | 0.000000e+00 | 4.448540e+05 | Inf
481.61/481.70 c 452s|560000 |559999 | 1804k| 3.2 | 590M| 135 | 0 |1900 |1801 |1900 | 289 | 522k| 1 |4068 | 0.000000e+00 | 4.448540e+05 | Inf
490.00/490.03 c 459s|570000 |569999 | 1831k| 3.2 | 601M| 135 | 18 |1900 |1801 |1900 | 304 | 530k| 1 |4084 | 0.000000e+00 | 4.448540e+05 | Inf
498.31/498.31 c 467s|580000 |579999 | 1855k| 3.2 | 611M| 135 | 3 |1900 |1801 |1900 | 291 | 537k| 1 |4115 | 0.000000e+00 | 4.448540e+05 | Inf
506.61/506.64 c 475s|590000 |589999 | 1881k| 3.2 | 621M| 135 | 2 |1900 |1801 |1900 | 305 | 544k| 1 |4148 | 0.000000e+00 | 4.448540e+05 | Inf
515.11/515.12 c 483s|600000 |599999 | 1913k| 3.2 | 632M| 135 | 0 |1900 |1801 |1900 | 307 | 553k| 1 |4166 | 0.000000e+00 | 4.448540e+05 | Inf
523.21/523.28 c 491s|610000 |609999 | 1937k| 3.2 | 642M| 135 | 0 |1900 |1801 |1900 | 291 | 560k| 1 |4184 | 0.000000e+00 | 4.448540e+05 | Inf
531.61/531.66 c 499s|620000 |619999 | 1965k| 3.2 | 653M| 135 | 0 |1900 |1801 |1900 | 309 | 569k| 1 |4224 | 0.000000e+00 | 4.448540e+05 | Inf
539.91/539.94 c 507s|630000 |629999 | 1991k| 3.2 | 663M| 135 | 0 |1900 |1801 |1900 | 264 | 577k| 1 |4242 | 0.000000e+00 | 4.448540e+05 | Inf
548.01/548.03 c 514s|640000 |639999 | 2013k| 3.1 | 673M| 135 | 0 |1900 |1801 |1900 | 291 | 584k| 1 |4259 | 0.000000e+00 | 4.448540e+05 | Inf
556.30/556.38 c 522s|650000 |649999 | 2042k| 3.1 | 684M| 135 | 0 |1900 |1801 |1900 | 272 | 592k| 1 |4295 | 0.000000e+00 | 4.448540e+05 | Inf
564.81/564.82 c 530s|660000 |659999 | 2077k| 3.1 | 694M| 135 | 0 |1900 |1801 |1900 | 299 | 604k| 1 |4324 | 0.000000e+00 | 4.448540e+05 | Inf
573.11/573.19 c 538s|670000 |669999 | 2106k| 3.1 | 704M| 135 | 19 |1900 |1801 |1900 | 259 | 612k| 1 |4355 | 0.000000e+00 | 4.448540e+05 | Inf
581.41/581.45 c 546s|680000 |679999 | 2132k| 3.1 | 715M| 135 | 0 |1900 |1801 |1900 | 285 | 620k| 1 |4378 | 0.000000e+00 | 4.448540e+05 | Inf
589.61/589.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.61/589.62 c 553s|690000 |689999 | 2155k| 3.1 | 725M| 135 | 7 |1900 |1800 |1900 | 266 | 627k| 1 |4393 | 0.000000e+00 | 4.448540e+05 | Inf
597.51/597.57 c 561s|700000 |699999 | 2176k| 3.1 | 735M| 137 | 0 |1900 |1800 |1900 | 293 | 633k| 1 |4409 | 0.000000e+00 | 4.448540e+05 | Inf
606.11/606.16 c 569s|710000 |709999 | 2210k| 3.1 | 746M| 137 | 10 |1900 |1800 |1900 | 290 | 642k| 1 |4436 | 0.000000e+00 | 4.448540e+05 | Inf
614.41/614.48 c 577s|720000 |719999 | 2234k| 3.1 | 756M| 137 | 2 |1900 |1800 |1900 | 232 | 649k| 1 |4452 | 0.000000e+00 | 4.448540e+05 | Inf
622.61/622.68 c 585s|730000 |729999 | 2258k| 3.1 | 766M| 137 | 3 |1900 |1800 |1900 | 260 | 656k| 1 |4469 | 0.000000e+00 | 4.448540e+05 | Inf
630.71/630.77 c 592s|740000 |739999 | 2279k| 3.1 | 777M| 137 | 0 |1900 |1800 |1900 | 308 | 662k| 1 |4484 | 0.000000e+00 | 4.448540e+05 | Inf
639.11/639.14 c 600s|750000 |749999 | 2306k| 3.1 | 787M| 137 | 2 |1900 |1800 |1900 | 318 | 669k| 1 |4510 | 0.000000e+00 | 4.448540e+05 | Inf
647.41/647.41 c 608s|760000 |759999 | 2332k| 3.1 | 797M| 137 | 0 |1900 |1800 |1900 | 278 | 677k| 1 |4532 | 0.000000e+00 | 4.448540e+05 | Inf
655.52/655.52 c 616s|770000 |769999 | 2353k| 3.1 | 808M| 137 | 0 |1900 |1800 |1900 | 278 | 683k| 1 |4550 | 0.000000e+00 | 4.448540e+05 | Inf
663.81/663.80 c 624s|780000 |779999 | 2380k| 3.1 | 818M| 137 | 9 |1900 |1800 |1900 | 270 | 690k| 1 |4568 | 0.000000e+00 | 4.448540e+05 | Inf
672.02/672.10 c 631s|790000 |789999 | 2408k| 3.0 | 828M| 137 | 0 |1900 |1800 |1900 | 299 | 698k| 1 |4589 | 0.000000e+00 | 4.448540e+05 | Inf
680.41/680.41 c 639s|800000 |799999 | 2434k| 3.0 | 839M| 137 | 0 |1900 |1800 |1900 | 284 | 705k| 1 |4612 | 0.000000e+00 | 4.448540e+05 | Inf
688.71/688.78 c 647s|810000 |809999 | 2462k| 3.0 | 849M| 137 | 0 |1900 |1800 |1900 | 296 | 713k| 1 |4653 | 0.000000e+00 | 4.448540e+05 | Inf
697.12/697.17 c 655s|820000 |819999 | 2493k| 3.0 | 859M| 137 | 0 |1900 |1800 |1900 | 288 | 721k| 1 |4673 | 0.000000e+00 | 4.448540e+05 | Inf
705.51/705.50 c 663s|830000 |829999 | 2522k| 3.0 | 870M| 137 | 0 |1900 |1800 |1900 | 295 | 728k| 1 |4694 | 0.000000e+00 | 4.448540e+05 | Inf
713.71/713.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
713.71/713.74 c 671s|840000 |839999 | 2547k| 3.0 | 880M| 137 | 0 |1900 |1800 |1900 | 284 | 735k| 1 |4714 | 0.000000e+00 | 4.448540e+05 | Inf
722.11/722.10 c 679s|850000 |849999 | 2577k| 3.0 | 890M| 137 | 24 |1900 |1800 |1900 | 229 | 744k| 1 |4736 | 0.000000e+00 | 4.448540e+05 | Inf
730.42/730.42 c 686s|860000 |859999 | 2606k| 3.0 | 901M| 137 | 0 |1900 |1800 |1900 | 295 | 751k| 1 |4766 | 0.000000e+00 | 4.448540e+05 | Inf
738.61/738.62 c 694s|870000 |869999 | 2630k| 3.0 | 911M| 137 | 0 |1900 |1800 |1900 | 297 | 759k| 1 |4787 | 0.000000e+00 | 4.448540e+05 | Inf
746.92/746.90 c 702s|880000 |879999 | 2659k| 3.0 | 921M| 137 | 0 |1900 |1800 |1900 | 283 | 767k| 1 |4806 | 0.000000e+00 | 4.448540e+05 | Inf
755.21/755.21 c 710s|890000 |889999 | 2688k| 3.0 | 932M| 137 | 0 |1900 |1800 |1900 | 300 | 775k| 1 |4829 | 0.000000e+00 | 4.448540e+05 | Inf
763.51/763.53 c 718s|900000 |899999 | 2716k| 3.0 | 942M| 137 | 3 |1900 |1800 |1900 | 280 | 783k| 1 |4863 | 0.000000e+00 | 4.448540e+05 | Inf
771.91/771.96 c 726s|910000 |909999 | 2749k| 3.0 | 952M| 137 | 0 |1900 |1800 |1900 | 288 | 793k| 1 |4883 | 0.000000e+00 | 4.448540e+05 | Inf
780.22/780.25 c 733s|920000 |919999 | 2778k| 3.0 | 963M| 137 | 0 |1900 |1800 |1900 | 329 | 801k| 1 |4905 | 0.000000e+00 | 4.448540e+05 | Inf
788.51/788.51 c 741s|930000 |929999 | 2805k| 3.0 | 973M| 137 | 0 |1900 |1800 |1900 | 269 | 808k| 1 |4935 | 0.000000e+00 | 4.448540e+05 | Inf
796.62/796.63 c 749s|940000 |939999 | 2828k| 3.0 | 983M| 137 | 5 |1900 |1800 |1900 | 308 | 815k| 1 |4961 | 0.000000e+00 | 4.448540e+05 | Inf
804.71/804.73 c 757s|950000 |949999 | 2851k| 3.0 | 994M| 137 | 0 |1900 |1800 |1900 | 289 | 821k| 1 |4983 | 0.000000e+00 | 4.448540e+05 | Inf
812.92/812.91 c 764s|960000 |959999 | 2876k| 3.0 |1004M| 137 | 0 |1900 |1800 |1900 | 287 | 828k| 1 |5001 | 0.000000e+00 | 4.448540e+05 | Inf
821.01/821.07 c 772s|970000 |969999 | 2897k| 3.0 |1014M| 137 | 5 |1900 |1800 |1900 | 304 | 834k| 1 |5024 | 0.000000e+00 | 4.448540e+05 | Inf
829.51/829.52 c 780s|980000 |979999 | 2933k| 3.0 |1025M| 137 | 22 |1900 |1800 |1900 | 230 | 843k| 1 |5045 | 0.000000e+00 | 4.448540e+05 | Inf
837.91/837.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
837.91/837.92 c 788s|990000 |989999 | 2966k| 3.0 |1035M| 137 | 0 |1900 |1800 |1900 | 275 | 852k| 1 |5073 | 0.000000e+00 | 4.448540e+05 | Inf
846.41/846.40 c 796s| 1000k|999999 | 3002k| 3.0 |1045M| 137 | 7 |1900 |1800 |1900 | 273 | 862k| 1 |5107 | 0.000000e+00 | 4.448540e+05 | Inf
854.72/854.79 c 804s| 1010k| 1009k| 3036k| 3.0 |1056M| 137 | 16 |1900 |1800 |1900 | 286 | 872k| 1 |5132 | 0.000000e+00 | 4.448540e+05 | Inf
863.01/863.02 c 812s| 1020k| 1019k| 3063k| 3.0 |1066M| 137 | 5 |1900 |1800 |1900 | 260 | 879k| 1 |5156 | 0.000000e+00 | 4.448540e+05 | Inf
871.22/871.29 c 819s| 1030k| 1029k| 3091k| 3.0 |1076M| 137 | 0 |1900 |1800 |1900 | 326 | 887k| 1 |5183 | 0.000000e+00 | 4.448540e+05 | Inf
879.52/879.56 c 827s| 1040k| 1039k| 3119k| 3.0 |1087M| 137 | 0 |1900 |1800 |1900 | 296 | 895k| 1 |5206 | 0.000000e+00 | 4.448540e+05 | Inf
887.82/887.87 c 835s| 1050k| 1049k| 3148k| 3.0 |1097M| 137 | 0 |1900 |1800 |1900 | 288 | 903k| 1 |5232 | 0.000000e+00 | 4.448540e+05 | Inf
896.22/896.20 c 843s| 1060k| 1059k| 3177k| 3.0 |1108M| 137 | 0 |1900 |1800 |1900 | 291 | 912k| 1 |5253 | 0.000000e+00 | 4.448540e+05 | Inf
904.32/904.38 c 851s| 1070k| 1069k| 3204k| 3.0 |1118M| 137 | 0 |1900 |1800 |1900 | 279 | 920k| 1 |5274 | 0.000000e+00 | 4.448540e+05 | Inf
912.82/912.88 c 859s| 1080k| 1079k| 3238k| 3.0 |1128M| 137 | 0 |1900 |1800 |1900 | 310 | 929k| 1 |5300 | 0.000000e+00 | 4.448540e+05 | Inf
920.92/920.99 c 866s| 1090k| 1089k| 3260k| 3.0 |1139M| 137 | 27 |1900 |1800 |1900 | 256 | 936k| 1 |5316 | 0.000000e+00 | 4.448540e+05 | Inf
929.12/929.10 c 874s| 1100k| 1099k| 3284k| 3.0 |1149M| 137 | 0 |1900 |1800 |1900 | 304 | 943k| 1 |5340 | 0.000000e+00 | 4.448540e+05 | Inf
937.42/937.45 c 882s| 1110k| 1109k| 3313k| 3.0 |1159M| 137 | 0 |1900 |1800 |1900 | 284 | 952k| 1 |5361 | 0.000000e+00 | 4.448540e+05 | Inf
945.92/945.99 c 890s| 1120k| 1119k| 3349k| 3.0 |1170M| 137 | 0 |1900 |1800 |1900 | 298 | 962k| 1 |5397 | 0.000000e+00 | 4.448540e+05 | Inf
954.02/954.07 c 897s| 1130k| 1129k| 3371k| 3.0 |1180M| 137 | 0 |1900 |1800 |1900 | 313 | 968k| 1 |5410 | 0.000000e+00 | 4.448540e+05 | Inf
962.22/962.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.22/962.20 c 905s| 1140k| 1139k| 3395k| 3.0 |1190M| 137 | 17 |1900 |1800 |1900 | 255 | 975k| 1 |5427 | 0.000000e+00 | 4.448540e+05 | Inf
970.43/970.46 c 913s| 1150k| 1149k| 3421k| 3.0 |1200M| 137 | 0 |1900 |1800 |1900 | 294 | 982k| 1 |5452 | 0.000000e+00 | 4.448540e+05 | Inf
978.62/978.62 c 921s| 1160k| 1159k| 3442k| 3.0 |1211M| 137 | 20 |1900 |1800 |1900 | 268 | 988k| 1 |5476 | 0.000000e+00 | 4.448540e+05 | Inf
986.92/986.94 c 928s| 1170k| 1169k| 3471k| 3.0 |1221M| 137 | 0 |1900 |1800 |1900 | 306 | 997k| 1 |5499 | 0.000000e+00 | 4.448540e+05 | Inf
995.12/995.10 c 936s| 1180k| 1179k| 3492k| 3.0 |1231M| 137 | 0 |1900 |1800 |1900 | 321 |1004k| 1 |5516 | 0.000000e+00 | 4.448540e+05 | Inf
1003.52/1003.59 c 944s| 1190k| 1189k| 3528k| 3.0 |1242M| 137 | 0 |1900 |1800 |1900 | 315 |1014k| 1 |5542 | 0.000000e+00 | 4.448540e+05 | Inf
1011.93/1011.96 c 952s| 1200k| 1199k| 3560k| 3.0 |1252M| 137 | 0 |1900 |1800 |1900 | 291 |1024k| 1 |5559 | 0.000000e+00 | 4.448540e+05 | Inf
1019.92/1019.98 c 960s| 1210k| 1209k| 3580k| 3.0 |1262M| 137 | 0 |1900 |1800 |1900 | 308 |1030k| 1 |5582 | 0.000000e+00 | 4.448540e+05 | Inf
1028.02/1028.03 c 967s| 1220k| 1219k| 3601k| 3.0 |1273M| 137 | 0 |1900 |1800 |1900 | 297 |1037k| 1 |5604 | 0.000000e+00 | 4.448540e+05 | Inf
1036.02/1036.07 c 975s| 1230k| 1229k| 3621k| 2.9 |1283M| 137 | 0 |1900 |1800 |1900 | 287 |1044k| 1 |5627 | 0.000000e+00 | 4.448540e+05 | Inf
1043.83/1043.86 c 982s| 1240k| 1239k| 3635k| 2.9 |1293M| 137 | 9 |1900 |1800 |1900 | 272 |1048k| 1 |5632 | 0.000000e+00 | 4.448540e+05 | Inf
1051.82/1051.86 c 990s| 1250k| 1249k| 3656k| 2.9 |1303M| 137 | 0 |1900 |1800 |1900 | 300 |1053k| 1 |5651 | 0.000000e+00 | 4.448540e+05 | Inf
1059.92/1059.95 c 997s| 1260k| 1259k| 3678k| 2.9 |1314M| 137 | 0 |1900 |1800 |1900 | 279 |1059k| 1 |5668 | 0.000000e+00 | 4.448540e+05 | Inf
1068.13/1068.12 c 1005s| 1270k| 1269k| 3703k| 2.9 |1324M| 137 | 0 |1900 |1800 |1900 | 303 |1066k| 1 |5679 | 0.000000e+00 | 4.448540e+05 | Inf
1076.12/1076.14 c 1013s| 1280k| 1279k| 3722k| 2.9 |1334M| 137 | 0 |1900 |1800 |1900 | 290 |1072k| 1 |5700 | 0.000000e+00 | 4.448540e+05 | Inf
1084.12/1084.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1084.12/1084.12 c 1020s| 1290k| 1289k| 3738k| 2.9 |1344M| 137 | 0 |1900 |1800 |1900 | 286 |1077k| 1 |5716 | 0.000000e+00 | 4.448540e+05 | Inf
1092.02/1092.09 c 1028s| 1300k| 1299k| 3756k| 2.9 |1355M| 137 | 0 |1900 |1800 |1900 | 282 |1083k| 1 |5717 | 0.000000e+00 | 4.448540e+05 | Inf
1100.33/1100.32 c 1036s| 1310k| 1309k| 3784k| 2.9 |1365M| 137 | 8 |1900 |1800 |1900 | 287 |1091k| 1 |5743 | 0.000000e+00 | 4.448540e+05 | Inf
1108.52/1108.59 c 1043s| 1320k| 1319k| 3813k| 2.9 |1375M| 137 | 0 |1900 |1800 |1900 | 321 |1101k| 1 |5767 | 0.000000e+00 | 4.448540e+05 | Inf
1116.62/1116.70 c 1051s| 1330k| 1329k| 3833k| 2.9 |1386M| 137 | 0 |1900 |1800 |1900 | 308 |1107k| 1 |5775 | 0.000000e+00 | 4.448540e+05 | Inf
1124.72/1124.78 c 1059s| 1340k| 1339k| 3853k| 2.9 |1396M| 137 | 0 |1900 |1800 |1900 | 320 |1113k| 1 |5792 | 0.000000e+00 | 4.448540e+05 | Inf
1132.83/1132.85 c 1066s| 1350k| 1349k| 3873k| 2.9 |1406M| 139 | 0 |1900 |1800 |1900 | 295 |1119k| 1 |5808 | 0.000000e+00 | 4.448540e+05 | Inf
1140.82/1140.85 c 1074s| 1360k| 1359k| 3891k| 2.9 |1416M| 157 | 0 |1900 |1800 |1900 | 298 |1124k| 1 |5823 | 0.000000e+00 | 4.448540e+05 | Inf
1148.82/1148.81 c 1081s| 1370k| 1369k| 3912k| 2.9 |1427M| 157 | 12 |1900 |1800 |1900 | 295 |1130k| 1 |5831 | 0.000000e+00 | 4.448540e+05 | Inf
1156.93/1156.91 c 1089s| 1380k| 1379k| 3939k| 2.9 |1437M| 157 | 0 |1900 |1800 |1900 | 304 |1139k| 1 |5847 | 0.000000e+00 | 4.448540e+05 | Inf
1165.03/1165.04 c 1097s| 1390k| 1389k| 3968k| 2.9 |1447M| 157 | 0 |1900 |1800 |1900 | 296 |1147k| 1 |5857 | 0.000000e+00 | 4.448540e+05 | Inf
1173.13/1173.10 c 1104s| 1400k| 1399k| 3993k| 2.9 |1457M| 157 | 0 |1900 |1800 |1900 | 296 |1155k| 1 |5870 | 0.000000e+00 | 4.448540e+05 | Inf
1181.03/1181.08 c 1112s| 1410k| 1409k| 4014k| 2.8 |1468M| 157 | 0 |1900 |1800 |1900 | 292 |1161k| 1 |5897 | 0.000000e+00 | 4.448540e+05 | Inf
1188.83/1188.88 c 1119s| 1420k| 1419k| 4032k| 2.8 |1478M| 157 | 0 |1900 |1800 |1900 | 273 |1166k| 1 |5903 | 0.000000e+00 | 4.448540e+05 | Inf
1196.83/1196.82 c 1127s| 1430k| 1429k| 4052k| 2.8 |1488M| 157 | 0 |1900 |1800 |1900 | 278 |1172k| 1 |5923 | 0.000000e+00 | 4.448540e+05 | Inf
1204.73/1204.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1204.73/1204.78 c 1134s| 1440k| 1439k| 4072k| 2.8 |1498M| 157 | 0 |1900 |1800 |1900 | 283 |1178k| 1 |5935 | 0.000000e+00 | 4.448540e+05 | Inf
1212.43/1212.46 c 1141s| 1450k| 1449k| 4085k| 2.8 |1509M| 157 | 0 |1900 |1800 |1900 | 306 |1182k| 1 |5948 | 0.000000e+00 | 4.448540e+05 | Inf
1220.23/1220.28 c 1149s| 1460k| 1459k| 4102k| 2.8 |1519M| 157 | 0 |1900 |1800 |1900 | 290 |1187k| 1 |5965 | 0.000000e+00 | 4.448540e+05 | Inf
1227.82/1227.84 c 1156s| 1470k| 1469k| 4113k| 2.8 |1529M| 157 | 0 |1900 |1800 |1900 | 301 |1190k| 1 |5966 | 0.000000e+00 | 4.448540e+05 | Inf
1235.73/1235.78 c 1163s| 1480k| 1479k| 4134k| 2.8 |1539M| 157 | 0 |1900 |1800 |1900 | 290 |1196k| 1 |5983 | 0.000000e+00 | 4.448540e+05 | Inf
1243.53/1243.53 c 1171s| 1490k| 1489k| 4149k| 2.8 |1550M| 157 | 0 |1900 |1800 |1900 | 300 |1200k| 1 |5988 | 0.000000e+00 | 4.448540e+05 | Inf
1251.43/1251.41 c 1178s| 1500k| 1499k| 4167k| 2.8 |1560M| 157 | 0 |1900 |1800 |1900 | 298 |1206k| 1 |6002 | 0.000000e+00 | 4.448540e+05 | Inf
1259.22/1259.25 c 1186s| 1510k| 1509k| 4184k| 2.8 |1570M| 157 | 15 |1900 |1800 |1900 | 229 |1211k| 1 |6024 | 0.000000e+00 | 4.448540e+05 | Inf
1267.43/1267.42 c 1193s| 1520k| 1519k| 4210k| 2.8 |1580M| 157 | 3 |1900 |1800 |1900 | 286 |1218k| 1 |6050 | 0.000000e+00 | 4.448540e+05 | Inf
1275.13/1275.18 c 1201s| 1530k| 1529k| 4225k| 2.8 |1591M| 157 | 0 |1900 |1800 |1900 | 281 |1222k| 1 |6053 | 0.000000e+00 | 4.448540e+05 | Inf
1282.82/1282.84 c 1208s| 1540k| 1539k| 4237k| 2.8 |1601M| 157 | 0 |1900 |1800 |1900 | 300 |1226k| 1 |6069 | 0.000000e+00 | 4.448540e+05 | Inf
1290.73/1290.79 c 1216s| 1550k| 1549k| 4255k| 2.7 |1611M| 157 | 0 |1900 |1800 |1900 | 318 |1231k| 1 |6075 | 0.000000e+00 | 4.448540e+05 | Inf
1298.63/1298.62 c 1223s| 1560k| 1559k| 4274k| 2.7 |1621M| 157 | 0 |1900 |1800 |1900 | 275 |1237k| 1 |6093 | 0.000000e+00 | 4.448540e+05 | Inf
1306.43/1306.43 c 1230s| 1570k| 1569k| 4290k| 2.7 |1631M| 157 | 0 |1900 |1800 |1900 | 280 |1242k| 1 |6109 | 0.000000e+00 | 4.448540e+05 | Inf
1314.33/1314.30 c 1238s| 1580k| 1579k| 4306k| 2.7 |1642M| 157 | 0 |1900 |1800 |1900 | 287 |1247k| 1 |6113 | 0.000000e+00 | 4.448540e+05 | Inf
1322.03/1322.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.03/1322.03 c 1245s| 1590k| 1589k| 4320k| 2.7 |1652M| 157 | 0 |1900 |1800 |1900 | 308 |1251k| 1 |6128 | 0.000000e+00 | 4.448540e+05 | Inf
1329.63/1329.69 c 1252s| 1600k| 1599k| 4331k| 2.7 |1662M| 157 | 0 |1900 |1800 |1900 | 302 |1254k| 1 |6133 | 0.000000e+00 | 4.448540e+05 | Inf
1337.64/1337.61 c 1260s| 1610k| 1609k| 4351k| 2.7 |1672M| 157 | 0 |1900 |1800 |1900 | 310 |1259k| 1 |6148 | 0.000000e+00 | 4.448540e+05 | Inf
1345.54/1345.56 c 1267s| 1620k| 1619k| 4371k| 2.7 |1683M| 157 | 20 |1900 |1800 |1900 | 260 |1265k| 1 |6154 | 0.000000e+00 | 4.448540e+05 | Inf
1353.63/1353.64 c 1275s| 1630k| 1629k| 4397k| 2.7 |1693M| 157 | 14 |1900 |1800 |1900 | 271 |1273k| 1 |6171 | 0.000000e+00 | 4.448540e+05 | Inf
1361.63/1361.60 c 1282s| 1640k| 1639k| 4417k| 2.7 |1703M| 157 | 0 |1900 |1800 |1900 | 317 |1279k| 1 |6189 | 0.000000e+00 | 4.448540e+05 | Inf
1369.64/1369.68 c 1290s| 1650k| 1649k| 4442k| 2.7 |1713M| 157 | 0 |1900 |1800 |1900 | 296 |1286k| 1 |6210 | 0.000000e+00 | 4.448540e+05 | Inf
1377.43/1377.46 c 1297s| 1660k| 1659k| 4457k| 2.7 |1724M| 157 | 0 |1900 |1800 |1900 | 276 |1290k| 1 |6219 | 0.000000e+00 | 4.448540e+05 | Inf
1385.34/1385.30 c 1305s| 1670k| 1669k| 4473k| 2.7 |1734M| 157 | 0 |1900 |1800 |1900 | 313 |1296k| 1 |6228 | 0.000000e+00 | 4.448540e+05 | Inf
1393.23/1393.20 c 1312s| 1680k| 1679k| 4492k| 2.7 |1744M| 157 | 3 |1900 |1800 |1900 | 287 |1301k| 1 |6243 | 0.000000e+00 | 4.448540e+05 | Inf
1401.03/1401.01 c 1320s| 1690k| 1689k| 4508k| 2.7 |1754M| 157 | 0 |1900 |1800 |1900 | 274 |1305k| 1 |6245 | 0.000000e+00 | 4.448540e+05 | Inf
1408.93/1408.95 c 1327s| 1700k| 1699k| 4528k| 2.7 |1765M| 157 | 0 |1900 |1800 |1900 | 302 |1312k| 1 |6265 | 0.000000e+00 | 4.448540e+05 | Inf
1416.94/1416.96 c 1334s| 1710k| 1709k| 4549k| 2.7 |1775M| 157 | 0 |1900 |1800 |1900 | 306 |1318k| 1 |6281 | 0.000000e+00 | 4.448540e+05 | Inf
1424.74/1424.75 c 1342s| 1720k| 1719k| 4566k| 2.7 |1785M| 157 | 0 |1900 |1800 |1900 | 292 |1323k| 1 |6285 | 0.000000e+00 | 4.448540e+05 | Inf
1432.54/1432.53 c 1349s| 1730k| 1729k| 4582k| 2.6 |1795M| 157 | 0 |1900 |1800 |1900 | 297 |1328k| 1 |6294 | 0.000000e+00 | 4.448540e+05 | Inf
1440.43/1440.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1440.43/1440.45 c 1357s| 1740k| 1739k| 4601k| 2.6 |1806M| 157 | 0 |1900 |1800 |1900 | 286 |1334k| 1 |6308 | 0.000000e+00 | 4.448540e+05 | Inf
1448.23/1448.28 c 1364s| 1750k| 1749k| 4618k| 2.6 |1816M| 157 | 0 |1900 |1800 |1900 | 277 |1339k| 1 |6312 | 0.000000e+00 | 4.448540e+05 | Inf
1456.23/1456.30 c 1371s| 1760k| 1759k| 4639k| 2.6 |1826M| 157 | 0 |1900 |1800 |1900 | 309 |1345k| 1 |6323 | 0.000000e+00 | 4.448540e+05 | Inf
1464.23/1464.29 c 1379s| 1770k| 1769k| 4660k| 2.6 |1837M| 157 | 0 |1900 |1800 |1900 | 307 |1351k| 1 |6341 | 0.000000e+00 | 4.448540e+05 | Inf
1472.24/1472.20 c 1386s| 1780k| 1779k| 4680k| 2.6 |1847M| 157 | 0 |1900 |1800 |1900 | 261 |1356k| 1 |6356 | 0.000000e+00 | 4.448540e+05 | Inf
1480.23/1480.28 c 1394s| 1790k| 1789k| 4704k| 2.6 |1857M| 157 | 0 |1900 |1800 |1900 | 296 |1363k| 1 |6375 | 0.000000e+00 | 4.448540e+05 | Inf
1488.43/1488.40 c 1402s| 1800k| 1799k| 4729k| 2.6 |1867M| 157 | 0 |1900 |1800 |1900 | 293 |1370k| 1 |6389 | 0.000000e+00 | 4.448540e+05 | Inf
1496.44/1496.45 c 1409s| 1810k| 1809k| 4754k| 2.6 |1878M| 157 | 22 |1900 |1800 |1900 | 268 |1378k| 1 |6402 | 0.000000e+00 | 4.448540e+05 | Inf
1504.54/1504.57 c 1417s| 1820k| 1819k| 4780k| 2.6 |1888M| 157 | 0 |1900 |1800 |1900 | 298 |1386k| 1 |6414 | 0.000000e+00 | 4.448540e+05 | Inf
1512.54/1512.59 c 1424s| 1830k| 1829k| 4804k| 2.6 |1898M| 157 | 0 |1900 |1800 |1900 | 289 |1392k| 1 |6430 | 0.000000e+00 | 4.448540e+05 | Inf
1520.64/1520.68 c 1432s| 1840k| 1839k| 4830k| 2.6 |1909M| 157 | 0 |1900 |1800 |1900 | 292 |1400k| 1 |6448 | 0.000000e+00 | 4.448540e+05 | Inf
1528.74/1528.71 c 1439s| 1850k| 1849k| 4854k| 2.6 |1919M| 157 | 0 |1900 |1800 |1900 | 279 |1407k| 1 |6466 | 0.000000e+00 | 4.448540e+05 | Inf
1536.74/1536.78 c 1447s| 1860k| 1859k| 4880k| 2.6 |1929M| 157 | 0 |1900 |1800 |1900 | 283 |1415k| 1 |6489 | 0.000000e+00 | 4.448540e+05 | Inf
1544.84/1544.89 c 1454s| 1870k| 1869k| 4905k| 2.6 |1940M| 157 | 0 |1900 |1800 |1900 | 340 |1422k| 1 |6510 | 0.000000e+00 | 4.448540e+05 | Inf
1552.94/1552.93 c 1462s| 1880k| 1879k| 4928k| 2.6 |1950M| 157 | 0 |1900 |1800 |1900 | 304 |1429k| 1 |6526 | 0.000000e+00 | 4.448540e+05 | Inf
1560.94/1560.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.94/1560.99 c 1470s| 1890k| 1889k| 4952k| 2.6 |1960M| 157 | 0 |1900 |1800 |1900 | 292 |1435k| 1 |6539 | 0.000000e+00 | 4.448540e+05 | Inf
1569.34/1569.34 c 1477s| 1900k| 1899k| 4985k| 2.6 |1971M| 157 | 0 |1900 |1800 |1900 | 295 |1443k| 1 |6561 | 0.000000e+00 | 4.448540e+05 | Inf
1577.45/1577.47 c 1485s| 1910k| 1909k| 5010k| 2.6 |1981M| 157 | 0 |1900 |1800 |1900 | 303 |1450k| 1 |6580 | 0.000000e+00 | 4.448540e+05 | Inf
1585.44/1585.43 c 1493s| 1920k| 1919k| 5032k| 2.6 |1991M| 157 | 13 |1900 |1800 |1900 | 271 |1457k| 1 |6586 | 0.000000e+00 | 4.448540e+05 | Inf
1593.44/1593.48 c 1500s| 1930k| 1929k| 5054k| 2.6 |2002M| 157 | 22 |1900 |1800 |1900 | 277 |1463k| 1 |6600 | 0.000000e+00 | 4.448540e+05 | Inf
1601.24/1601.26 c 1507s| 1940k| 1939k| 5070k| 2.6 |2012M| 157 | 0 |1900 |1800 |1900 | 306 |1467k| 1 |6615 | 0.000000e+00 | 4.448540e+05 | Inf
1609.14/1609.18 c 1515s| 1950k| 1949k| 5090k| 2.6 |2022M| 157 | 0 |1900 |1800 |1900 | 296 |1473k| 1 |6621 | 0.000000e+00 | 4.448540e+05 | Inf
1617.24/1617.22 c 1522s| 1960k| 1959k| 5113k| 2.6 |2032M| 157 | 0 |1900 |1800 |1900 | 289 |1480k| 1 |6629 | 0.000000e+00 | 4.448540e+05 | Inf
1625.24/1625.20 c 1530s| 1970k| 1969k| 5133k| 2.6 |2043M| 157 | 0 |1900 |1800 |1900 | 276 |1486k| 1 |6643 | 0.000000e+00 | 4.448540e+05 | Inf
1633.14/1633.11 c 1537s| 1980k| 1979k| 5153k| 2.6 |2053M| 157 | 0 |1900 |1800 |1900 | 272 |1491k| 1 |6660 | 0.000000e+00 | 4.448540e+05 | Inf
1641.15/1641.14 c 1545s| 1990k| 1989k| 5175k| 2.6 |2063M| 157 | 0 |1900 |1800 |1900 | 296 |1497k| 1 |6671 | 0.000000e+00 | 4.448540e+05 | Inf
1649.04/1649.05 c 1552s| 2000k| 1999k| 5194k| 2.6 |2073M| 157 | 0 |1900 |1800 |1900 | 292 |1502k| 1 |6680 | 0.000000e+00 | 4.448540e+05 | Inf
1656.94/1656.97 c 1560s| 2010k| 2009k| 5212k| 2.6 |2084M| 157 | 0 |1900 |1800 |1900 | 283 |1507k| 1 |6698 | 0.000000e+00 | 4.448540e+05 | Inf
1664.84/1664.86 c 1567s| 2020k| 2019k| 5230k| 2.6 |2094M| 157 | 4 |1900 |1800 |1900 | 295 |1513k| 1 |6705 | 0.000000e+00 | 4.448540e+05 | Inf
1672.74/1672.80 c 1575s| 2030k| 2029k| 5250k| 2.6 |2104M| 157 | 0 |1900 |1800 |1900 | 316 |1518k| 1 |6712 | 0.000000e+00 | 4.448540e+05 | Inf
1680.64/1680.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1680.64/1680.62 c 1582s| 2040k| 2039k| 5265k| 2.6 |2114M| 157 | 6 |1900 |1800 |1900 | 306 |1523k| 1 |6726 | 0.000000e+00 | 4.448540e+05 | Inf
1688.55/1688.52 c 1589s| 2050k| 2049k| 5286k| 2.6 |2125M| 157 | 0 |1900 |1800 |1900 | 302 |1528k| 1 |6730 | 0.000000e+00 | 4.448540e+05 | Inf
1696.65/1696.61 c 1597s| 2060k| 2059k| 5309k| 2.6 |2135M| 157 | 0 |1900 |1800 |1900 | 329 |1535k| 1 |6743 | 0.000000e+00 | 4.448540e+05 | Inf
1704.64/1704.67 c 1604s| 2070k| 2069k| 5333k| 2.6 |2145M| 157 | 0 |1900 |1800 |1900 | 287 |1541k| 1 |6759 | 0.000000e+00 | 4.448540e+05 | Inf
1712.65/1712.62 c 1612s| 2080k| 2079k| 5352k| 2.6 |2156M| 157 | 0 |1900 |1800 |1900 | 294 |1547k| 1 |6771 | 0.000000e+00 | 4.448540e+05 | Inf
1720.44/1720.42 c 1619s| 2090k| 2089k| 5369k| 2.6 |2166M| 157 | 0 |1900 |1800 |1900 | 303 |1553k| 1 |6771 | 0.000000e+00 | 4.448540e+05 | Inf
1728.24/1728.27 c 1627s| 2100k| 2099k| 5387k| 2.6 |2176M| 157 | 0 |1900 |1800 |1900 | 267 |1558k| 1 |6784 | 0.000000e+00 | 4.448540e+05 | Inf
1736.14/1736.17 c 1634s| 2110k| 2109k| 5403k| 2.6 |2186M| 157 | 0 |1900 |1800 |1900 | 287 |1563k| 1 |6796 | 0.000000e+00 | 4.448540e+05 | Inf
1744.14/1744.11 c 1642s| 2120k| 2119k| 5421k| 2.6 |2197M| 157 | 0 |1900 |1800 |1900 | 294 |1568k| 1 |6798 | 0.000000e+00 | 4.448540e+05 | Inf
1751.94/1751.99 c 1649s| 2130k| 2129k| 5440k| 2.6 |2207M| 157 | 0 |1900 |1800 |1900 | 302 |1573k| 1 |6814 | 0.000000e+00 | 4.448540e+05 | Inf
1760.05/1760.03 c 1656s| 2140k| 2139k| 5462k| 2.6 |2217M| 157 | 0 |1900 |1800 |1900 | 327 |1579k| 1 |6828 | 0.000000e+00 | 4.448540e+05 | Inf
1768.24/1768.27 c 1664s| 2150k| 2149k| 5487k| 2.6 |2228M| 157 | 0 |1900 |1800 |1900 | 302 |1587k| 1 |6843 | 0.000000e+00 | 4.448540e+05 | Inf
1776.25/1776.23 c 1672s| 2160k| 2159k| 5506k| 2.5 |2238M| 157 | 0 |1900 |1800 |1900 | 319 |1592k| 1 |6851 | 0.000000e+00 | 4.448540e+05 | Inf
1784.54/1784.56 c 1680s| 2170k| 2169k| 5534k| 2.6 |2248M| 157 | 0 |1900 |1800 |1900 | 314 |1601k| 1 |6866 | 0.000000e+00 | 4.448540e+05 | Inf
1792.54/1792.51 c 1687s| 2180k| 2179k| 5553k| 2.5 |2259M| 157 | 7 |1900 |1800 |1900 | 297 |1607k| 1 |6885 | 0.000000e+00 | 4.448540e+05 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.00 c Solving Time (sec) : 1694.04
1800.04/1800.00 c Solving Nodes : 2189344
1800.04/1800.00 c Primal Bound : +4.44854000000000e+05 (100 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.01 s SATISFIABLE
1800.04/1800.01 v x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
1800.04/1800.01 v x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157 x156 -x155
1800.04/1800.01 v x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 x132
1800.04/1800.01 v -x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 -x111 x110 -x109
1800.04/1800.01 v x108 -x107 x106 -x105 x104 -x103 x102 -x101 x100 -x99 x98 -x97 x96 -x95 x94 -x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 x84
1800.04/1800.01 v -x83 x82 -x81 x80 -x79 x78 -x77 x76 -x75 x74 -x73 x72 -x71 x70 -x69 x68 -x67 x66 -x65 x64 -x63 x62 -x61 x60 -x59 x58 -x57 x56
1800.04/1800.01 v -x55 x54 -x53 x52 -x51 x50 -x49 x48 -x47 x46 -x45 x44 -x43 x42 -x41 x40 -x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 x30 -x29 x28
1800.04/1800.01 v -x27 x26 -x25 x24 -x23 x22 -x21 x20 -x19 x18 -x17 x16 -x15 x14 -x13 x12 -x11 x10 -x9 x8 -x7 x6 -x5 x4 -x3 x2 -x1
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time : 1694.04
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-2700188-1278534317.wbo
1800.04/1800.01 c Variables : 2000 (1100 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.04/1800.01 c Constraints : 1901 initial, 1901 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-2700188-1278534317.wbo
1800.04/1800.01 c Variables : 1900 (1000 binary, 0 integer, 0 implicit integer, 900 continuous)
1800.04/1800.01 c Constraints : 1800 initial, 1801 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.01 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.01 0 100 0 900 0 101 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.01 c root node : - 0 - - 0 - - - -
1800.04/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c integral : 0 0 0 2475903 0 0 0 0 0 1163510
1800.04/1800.01 c indicator : 900 0 3104998 1894148 0 0 2203736 0 0 0
1800.04/1800.01 c linear : 900 5 3104998 1894148 0 1 1053740 1612580 0 0
1800.04/1800.01 c logicor : 0+ 0 14267 0 0 0 245 0 0 0
1800.04/1800.01 c countsols : 0 0 0 1607588 0 0 0 0 0 0
1800.04/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.01 c integral : 9.34 0.00 0.00 9.34 0.00
1800.04/1800.01 c indicator : 142.38 0.00 31.67 110.71 0.00
1800.04/1800.01 c linear : 33.06 0.01 13.93 19.12 0.00
1800.04/1800.01 c logicor : 0.01 0.00 0.01 0.00 0.00
1800.04/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.01 c vbounds : 0.00 2 0 0
1800.04/1800.01 c rootredcost : 0.00 0 0 0
1800.04/1800.01 c pseudoobj : 49.93 3104798 0 0
1800.04/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.01 c propagation : 0.00 1 1 1 6.0 0 0.0 -
1800.04/1800.01 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 1 6.0 - - -
1800.04/1800.01 c applied locally : - - - 0 0.0 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 2 - - 0 - (maximal pool size: 17)
1800.04/1800.01 c redcost : 91.16 2475539 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 3 0 0 0 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.00 3 0 0 17 0
1800.04/1800.01 c strongcg : 0.00 3 0 0 0 0
1800.04/1800.01 c cmir : 0.02 3 0 0 0 0
1800.04/1800.01 c flowcover : 0.01 3 0 0 0 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 9.30 581755 0 0 0 0 1163510
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 117.70 1607588 0 0 0 0 3215176
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c oneopt : 0.11 1 0
1800.04/1800.01 c intshifting : 0.02 27 0
1800.04/1800.01 c crossover : 0.13 13 0
1800.04/1800.01 c pscostdiving : 16.49 30298 0
1800.04/1800.01 c fracdiving : 16.21 30298 0
1800.04/1800.01 c veclendiving : 16.21 30298 0
1800.04/1800.01 c coefdiving : 16.77 30299 0
1800.04/1800.01 c linesearchdiving : 17.57 30299 0
1800.04/1800.01 c guideddiving : 17.14 30299 0
1800.04/1800.01 c objpscostdiving : 18.56 30253 0
1800.04/1800.01 c rootsoldiving : 17.88 30253 0
1800.04/1800.01 c trivial : 0.00 2 1
1800.04/1800.01 c simplerounding : 0.03 581726 0
1800.04/1800.01 c zirounding : 0.01 1000 0
1800.04/1800.01 c rounding : 0.35 10697 0
1800.04/1800.01 c shifting : 1.54 3327 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.01 1 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c nlp : 0.00 0 0
1800.04/1800.01 c trysol : 0.20 34425 99
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 698.55 1001782 5570524 5.56 7974.41
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.29 575 1795 3.12 6189.66
1800.04/1800.01 c strong branching : 5.72 6890 72480 10.52 12671.33
1800.04/1800.01 c (at root node) : - 33 3882 117.64 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2189344
1800.04/1800.01 c nodes (total) : 2189344
1800.04/1800.01 c nodes left : 2189343
1800.04/1800.01 c max depth : 157
1800.04/1800.01 c max depth (total): 157
1800.04/1800.01 c backtracks : 30549 (1.4%)
1800.04/1800.01 c delayed cutoffs : 0
1800.04/1800.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.04/1800.01 c avg switch length: 2.40
1800.04/1800.01 c switching time : 66.81
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 100 (1 improvements)
1800.04/1800.01 c First Solution : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Primal Bound : +4.44854000000000e+05 (in run 1, after 1 nodes, 0.04 seconds, depth 0, found by <trivial>)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 236
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700188-1278534317/watcher-2700188-1278534317 -o /tmp/evaluation-result-2700188-1278534317/solver-2700188-1278534317 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700188-1278534317.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.20 1.67 0.83 3/178 18071
/proc/meminfo: memFree=29597028/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=9276 CPUtime=0
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 1643 0 0 0 0 0 0 0 24 0 1 0 21646616 9498624 1563 4089446400 4194304 8223781 140735149375824 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18071/statm: 2319 1563 369 984 0 1332 0
[startup+0.0481261 s]
/proc/loadavg: 2.20 1.67 0.83 3/178 18071
/proc/meminfo: memFree=29597028/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=20540 CPUtime=0.04
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 5339 0 0 0 3 1 0 0 24 0 1 0 21646616 21032960 4124 4089446400 4194304 8223781 140735149375824 18446744073709551615 6074941 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 5135 4128 462 984 0 4148 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 20540
[startup+0.101127 s]
/proc/loadavg: 2.20 1.67 0.83 3/178 18071
/proc/meminfo: memFree=29597028/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=29556 CPUtime=0.09
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 6518 0 0 0 8 1 0 0 24 0 1 0 21646616 30265344 5292 4089446400 4194304 8223781 140735149375824 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 7389 5292 564 984 0 6402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29556
[startup+0.301089 s]
/proc/loadavg: 2.20 1.67 0.83 3/178 18071
/proc/meminfo: memFree=29597028/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=33180 CPUtime=0.29
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 11123 0 0 0 27 2 0 0 25 0 1 0 21646616 33976320 7334 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 8295 7334 578 984 0 7308 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33180
[startup+0.701019 s]
/proc/loadavg: 2.20 1.67 0.83 3/178 18071
/proc/meminfo: memFree=29597028/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=33180 CPUtime=0.69
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 11123 0 0 0 62 7 0 0 25 0 1 0 21646616 33976320 7334 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 8295 7334 578 984 0 7308 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33180
[startup+1.50087 s]
/proc/loadavg: 2.20 1.67 0.83 3/179 18072
/proc/meminfo: memFree=29568420/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=33180 CPUtime=1.49
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 11155 0 0 0 135 14 0 0 25 0 1 0 21646616 33976320 7366 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 8295 7366 581 984 0 7308 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33180
[startup+3.10057 s]
/proc/loadavg: 2.20 1.67 0.83 3/179 18072
/proc/meminfo: memFree=29567676/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=36000 CPUtime=3.09
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 17931 0 0 0 283 26 0 0 25 0 1 0 21646616 36864000 7988 4089446400 4194304 8223781 140735149375824 18446744073709551615 4831004 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 9000 7988 582 984 0 8013 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36000
[startup+6.301 s]
/proc/loadavg: 2.19 1.68 0.84 3/179 18072
/proc/meminfo: memFree=29559492/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=41108 CPUtime=6.3
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 25620 0 0 0 579 51 0 0 25 0 1 0 21646616 42094592 9292 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 10277 9292 582 984 0 9290 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 41108
[startup+12.7008 s]
/proc/loadavg: 2.17 1.68 0.85 3/179 18072
/proc/meminfo: memFree=29541692/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=48700 CPUtime=12.69
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 30712 0 0 0 1176 93 0 0 25 0 1 0 21646616 49868800 11207 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 12175 11207 582 984 0 11188 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48700
[startup+25.5005 s]
/proc/loadavg: 2.13 1.70 0.86 3/179 18072
/proc/meminfo: memFree=29508368/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=63056 CPUtime=25.49
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 37540 0 0 0 2367 182 0 0 25 0 1 0 21646616 64569344 14854 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 15764 14854 586 984 0 14777 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 63056
[startup+51.1009 s]
/proc/loadavg: 2.09 1.72 0.89 3/179 18073
/proc/meminfo: memFree=29442128/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=92348 CPUtime=51.09
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 51318 0 0 0 4750 359 0 0 25 0 1 0 21646616 94564352 22298 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 23087 22298 586 984 0 22100 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 92348
[startup+102.307 s]
/proc/loadavg: 2.04 1.76 0.95 3/179 18074
/proc/meminfo: memFree=29308624/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=154432 CPUtime=102.3
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 69686 0 0 0 9527 703 0 0 25 0 1 0 21646616 158138368 37500 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 38608 37500 586 984 0 37621 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 154432
[startup+162.301 s]
/proc/loadavg: 2.01 1.80 1.01 3/179 18076
/proc/meminfo: memFree=29148120/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=224504 CPUtime=162.29
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 87505 0 0 0 15159 1070 0 0 25 0 1 0 21646616 229892096 55314 4089446400 4194304 8223781 140735149375824 18446744073709551615 6446826 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 56126 55314 586 984 0 55139 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 224504
[startup+222.301 s]
/proc/loadavg: 2.00 1.83 1.07 3/179 18078
/proc/meminfo: memFree=28988924/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=300740 CPUtime=222.3
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 108972 0 0 0 20776 1454 0 0 25 0 1 0 21646616 307957760 73610 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 75185 73610 586 984 0 74198 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 300740
[startup+282.301 s]
/proc/loadavg: 2.00 1.86 1.13 3/179 18079
/proc/meminfo: memFree=28831204/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=371932 CPUtime=282.3
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 127053 0 0 0 26397 1833 0 0 25 0 1 0 21646616 380858368 91690 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 92983 91690 586 984 0 91996 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 371932
[startup+342.301 s]
/proc/loadavg: 2.00 1.88 1.18 3/179 18081
/proc/meminfo: memFree=28672248/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=444200 CPUtime=342.3
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 145398 0 0 0 32025 2205 0 0 25 0 1 0 21646616 454860800 110031 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 111050 110031 586 984 0 110063 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 444200
[startup+402.3 s]
/proc/loadavg: 2.00 1.90 1.23 3/179 18082
/proc/meminfo: memFree=28510964/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=526600 CPUtime=402.31
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 167418 0 0 0 37662 2569 0 0 25 0 1 0 21646616 539238400 128877 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 131650 128877 586 984 0 130663 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 526600
[startup+462.3 s]
/proc/loadavg: 2.00 1.92 1.27 3/179 18084
/proc/meminfo: memFree=28353560/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=603916 CPUtime=462.31
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 187007 0 0 0 43326 2905 0 0 25 0 1 0 21646616 618409984 148466 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 150979 148466 586 984 0 149992 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 603916
[startup+522.3 s]
/proc/loadavg: 2.00 1.93 1.31 3/179 18086
/proc/meminfo: memFree=28202728/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=675116 CPUtime=522.3
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 205094 0 0 0 48994 3236 0 0 25 0 1 0 21646616 691318784 166553 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 168779 166553 586 984 0 167792 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 675116
[startup+582.3 s]
/proc/loadavg: 2.00 1.94 1.35 3/179 18087
/proc/meminfo: memFree=28047412/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=749088 CPUtime=582.31
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 223869 0 0 0 54658 3573 0 0 25 0 1 0 21646616 767066112 185328 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 187272 185328 586 984 0 186285 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 749088
[startup+642.301 s]
/proc/loadavg: 2.00 1.95 1.39 3/179 18089
/proc/meminfo: memFree=27893212/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=822836 CPUtime=642.31
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 242590 0 0 0 60321 3910 0 0 25 0 1 0 21646616 842584064 204049 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 205709 204049 586 984 0 204722 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 822836
[startup+702.301 s]
################
# More data... #
################
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 357889 0 0 0 94297 5935 0 0 25 0 1 0 21646616 1311608832 316175 4089446400 4194304 8223781 140735149375824 18446744073709551615 6482588 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 320217 316175 586 984 0 319230 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1280868
[startup+1062.3 s]
/proc/loadavg: 2.01 1.99 1.60 3/179 18100
/proc/meminfo: memFree=26832604/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=1355680 CPUtime=1062.32
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 376856 0 0 0 99953 6279 0 0 25 0 1 0 21646616 1388216320 335142 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 338920 335142 586 984 0 337933 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1355680
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/179 18102
/proc/meminfo: memFree=26678164/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=1430072 CPUtime=1122.32
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 395742 0 0 0 105624 6608 0 0 25 0 1 0 21646616 1464393728 354028 4089446400 4194304 8223781 140735149375824 18446744073709551615 6482877 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 357518 354028 586 984 0 356531 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1430072
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/179 18103
/proc/meminfo: memFree=26522376/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=1508404 CPUtime=1182.33
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 415623 0 0 0 111291 6942 0 0 25 0 1 0 21646616 1544605696 373909 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 377101 373909 586 984 0 376114 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1508404
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/179 18105
/proc/meminfo: memFree=26364944/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=1583992 CPUtime=1242.33
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 434826 0 0 0 116967 7266 0 0 25 0 1 0 21646616 1622007808 393112 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 395998 393112 586 984 0 395011 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1583992
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/179 18106
/proc/meminfo: memFree=26207780/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=1659116 CPUtime=1302.33
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 453918 0 0 0 122649 7584 0 0 25 0 1 0 21646616 1698934784 412204 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 414779 412204 586 984 0 413792 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1659116
[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.70 3/179 18163
/proc/meminfo: memFree=28486712/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=1735676 CPUtime=1362.33
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 476528 0 0 0 128315 7918 0 0 25 0 1 0 21646616 1777332224 431615 4089446400 4194304 8223781 140735149375824 18446744073709551615 6003640 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 433919 431615 586 984 0 432932 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1735676
[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.72 3/179 18165
/proc/meminfo: memFree=28407484/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=1813224 CPUtime=1422.34
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 496220 0 0 0 133953 8281 0 0 25 0 1 0 21646616 1856741376 451307 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 453306 451307 586 984 0 452319 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1813224
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.73 3/179 18166
/proc/meminfo: memFree=28331264/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=1887948 CPUtime=1482.34
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 515190 0 0 0 139585 8649 0 0 25 0 1 0 21646616 1933258752 470275 4089446400 4194304 8223781 140735149375824 18446744073709551615 4561337 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 471987 470275 586 984 0 471000 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1887948
[startup+1542.3 s]
/proc/loadavg: 2.04 2.00 1.75 3/179 18168
/proc/meminfo: memFree=28251828/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=1965820 CPUtime=1542.33
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 534969 0 0 0 145201 9032 0 0 25 0 1 0 21646616 2012999680 490054 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 491455 490054 586 984 0 490468 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1965820
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.76 3/179 18169
/proc/meminfo: memFree=28178328/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=2039044 CPUtime=1602.34
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 553547 0 0 0 150841 9393 0 0 25 0 1 0 21646616 2087981056 508632 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 509761 508632 586 984 0 508774 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2039044
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/179 18171
/proc/meminfo: memFree=28099120/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=2116884 CPUtime=1662.34
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 573298 0 0 0 156472 9762 0 0 25 0 1 0 21646616 2167689216 528383 4089446400 4194304 8223781 140735149375824 18446744073709551615 4660637 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 529221 528383 586 984 0 528234 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2116884
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/179 18173
/proc/meminfo: memFree=28021888/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=2226236 CPUtime=1722.35
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 592750 0 0 0 162100 10135 0 0 25 0 1 0 21646616 2279665664 547835 4089446400 4194304 8223781 140735149375824 18446744073709551615 4561241 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 556559 547835 586 984 0 555572 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2226236
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/179 18174
/proc/meminfo: memFree=27943928/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=2302104 CPUtime=1782.34
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 612014 0 0 0 167740 10494 0 0 25 0 1 0 21646616 2357354496 567099 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 575526 567099 586 984 0 574539 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2302104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.80 3/179 18175
/proc/meminfo: memFree=27920828/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=2323844 CPUtime=1800.04
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 617525 0 0 0 169404 10600 0 0 25 0 1 0 21646616 2379616256 572610 4089446400 4194304 8223781 140735149375824 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/18071/statm: 580961 572610 586 984 0 579974 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2323844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18071
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.80 3/180 18176
/proc/meminfo: memFree=27920820/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=2323844 CPUtime=1801.44
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 617527 0 0 0 169544 10600 0 0 25 0 1 0 21646616 2379616256 572612 4089446400 4194304 8223781 140735149375824 18446744073709551615 6206550 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18071/statm: 580961 572612 588 984 0 579974 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 2323844
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.80 3/180 18176
/proc/meminfo: memFree=27920820/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=2319748 CPUtime=1801.85
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 617527 0 0 0 169585 10600 0 0 25 0 1 0 21646616 2375421952 571588 4089446400 4194304 8223781 140735149375824 18446744073709551615 4212764 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18071/statm: 579937 571588 588 984 0 578950 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 2319748
[startup+1802 s]
/proc/loadavg: 2.00 2.00 1.80 3/180 18176
/proc/meminfo: memFree=27920820/32951124 swapFree=67111528/67111528
[pid=18071] ppid=18069 vsize=2299452 CPUtime=1802.05
/proc/18071/stat : 18071 (pbscip.linux.x8) R 18069 18071 17152 0 -1 4202496 617527 0 0 0 169604 10601 0 0 25 0 1 0 21646616 2354638848 566514 4089446400 4194304 8223781 140735149375824 18446744073709551615 4212430 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18071/statm: 574863 566514 588 984 0 573876 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 2299452
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.13
CPU user time (s): 1696.05
CPU system time (s): 106.086
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2323844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1696.05
system time used= 106.086
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 617527
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= 1278
runsolver used 2.48962 second user time and 5.73413 second system time
The end
Begin job on node106 at 2010-07-07 22:25:17
IDJOB=2700188
IDBENCH=79407
IDSOLVER=1204
FILE ID=node106/2700188-1278534317
PBS_JOBID= 11239265
Free space on /tmp= 73244 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-jnh304_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-2700188-1278534317/watcher-2700188-1278534317 -o /tmp/evaluation-result-2700188-1278534317/solver-2700188-1278534317 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2700188-1278534317.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4141aec8f84b614aac5b3a0221093342
RANDOM SEED=743703015
node106.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.814
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.62
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.814
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.814
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.76
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.814
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.814
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.814
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.814
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.814
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29597680 kB
Buffers: 131112 kB
Cached: 2380444 kB
SwapCached: 0 kB
Active: 1677656 kB
Inactive: 1517108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29597680 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 4900 kB
Writeback: 0 kB
AnonPages: 683232 kB
Mapped: 16460 kB
Slab: 91932 kB
PageTables: 6272 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 835104 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= 73240 MiB
End job on node106 at 2010-07-07 22:55:19