| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.72 | ? | 1799.48 | 1800.01 |
| Name | /OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb |
| MD5SUM | 30f336dd624b9f7763c8bbeed1369f76 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -31135 |
| Best CPU time to get the best result obtained on this benchmark | 1800.71 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 40937 |
| Total number of constraints | 41436 |
| Number of constraints which are clauses | 40882 |
| Number of constraints which are cardinality constraints (but not clauses) | 67 |
| Number of constraints which are nor clauses,nor cardinality constraints | 487 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 8416 |
| Number of terms in the objective function | 389 |
| Biggest coefficient in the objective function | 998 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 185532 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 998 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 185532 |
| Number of bits of the biggest sum of numbers | 18 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c ==============================[ Solver Version ]=============================== 0.00/0.00 c | | 0.00/0.00 c | wbo: 1.72 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3727879-1338671583.opb. 0.00/0.00 c Instance file HOME/instance-3727879-1338671583.opb 0.00/0.00 c File size is 2493822 bytes. 0.19/0.20 c Cost Offset: -185532 0.19/0.20 c Highest Coefficient sum: 12653 0.19/0.20 c ============================[ Problem Statistics ]============================= 0.19/0.20 c | | 0.19/0.20 c | Parsing time: 0.20 s | 0.19/0.20 c | Number Variables: 40937 | 0.19/0.20 c | Number Clauses: 40882 | 0.19/0.20 c | Number Cardinality: 553 | 0.19/0.20 c | Number PB Constraints: 1 | 0.19/0.20 c | | 0.19/0.23 c | Problem Type: Optimization | 0.19/0.23 c | Objective Function: PB Constraint | 0.19/0.23 c | | 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Time (s) | ID | Bound | Shared Clauses | 0.19/0.23 c | | | value type | expCls impCls Lit/impCl | 0.19/0.23 c =============================================================================== 0.19/0.28 c | 0.28 | 0 | -185528 lb | 0 0 0.00 | 0.29/0.32 c | 0.33 | 0 | -185525 lb | 0 0 0.00 | 0.29/0.36 c | 0.36 | 0 | -185524 lb | 0 0 0.00 | 0.39/0.40 c | 0.40 | 0 | -185523 lb | 0 0 0.00 | 0.39/0.44 c | 0.44 | 0 | -185522 lb | 0 0 0.00 | 0.39/0.48 c | 0.48 | 0 | -185519 lb | 0 0 0.00 | 0.49/0.52 c | 0.53 | 0 | -185517 lb | 0 0 0.00 | 0.49/0.56 c | 0.57 | 0 | -185515 lb | 0 0 0.00 | 0.59/0.61 c | 0.61 | 0 | -185513 lb | 0 0 0.00 | 0.59/0.65 c | 0.65 | 0 | -185509 lb | 0 0 0.00 | 0.59/0.69 c | 0.69 | 0 | -185497 lb | 0 0 0.00 | 0.69/0.74 c | 0.74 | 0 | -185492 lb | 0 0 0.00 | 0.69/0.78 c | 0.79 | 0 | -185491 lb | 0 0 0.00 | 0.79/0.83 c | 0.83 | 0 | -185489 lb | 0 0 0.00 | 0.79/0.88 c | 0.88 | 0 | -185488 lb | 0 0 0.00 | 0.89/0.93 c | 0.93 | 0 | -185481 lb | 0 0 0.00 | 0.89/0.97 c | 0.98 | 0 | -185478 lb | 0 0 0.00 | 0.99/1.03 c | 1.03 | 0 | -185477 lb | 0 0 0.00 | 0.99/1.08 c | 1.08 | 0 | -185475 lb | 0 0 0.00 | 1.09/1.13 c | 1.13 | 0 | -185474 lb | 0 0 0.00 | 1.09/1.18 c | 1.18 | 0 | -185473 lb | 0 0 0.00 | 1.19/1.23 c | 1.23 | 0 | -185467 lb | 0 0 0.00 | 1.19/1.28 c | 1.28 | 0 | -185466 lb | 0 0 0.00 | 1.29/1.33 c | 1.33 | 0 | -185465 lb | 0 0 0.00 | 1.29/1.38 c | 1.38 | 0 | -185461 lb | 0 0 0.00 | 1.39/1.43 c | 1.44 | 0 | -185460 lb | 0 0 0.00 | 1.39/1.49 c | 1.49 | 0 | -185458 lb | 0 0 0.00 | 1.48/1.54 c | 1.54 | 0 | -185455 lb | 0 0 0.00 | 1.48/1.59 c | 1.59 | 0 | -185454 lb | 0 0 0.00 | 1.58/1.65 c | 1.65 | 0 | -185452 lb | 0 0 0.00 | 1.68/1.70 c | 1.70 | 0 | -185450 lb | 0 0 0.00 | 1.68/1.76 c | 1.76 | 0 | -185444 lb | 0 0 0.00 | 1.78/1.81 c | 1.81 | 0 | -185443 lb | 0 0 0.00 | 1.78/1.87 c | 1.87 | 0 | -185442 lb | 0 0 0.00 | 1.89/1.92 c | 1.92 | 0 | -185440 lb | 0 0 0.00 | 1.89/1.98 c | 1.98 | 0 | -185439 lb | 0 0 0.00 | 1.99/2.03 c | 2.03 | 0 | -185435 lb | 0 0 0.00 | 1.99/2.09 c | 2.09 | 0 | -185428 lb | 0 0 0.00 | 2.09/2.15 c | 2.15 | 0 | -185427 lb | 0 0 0.00 | 2.19/2.20 c | 2.21 | 0 | -185426 lb | 0 0 0.00 | 2.19/2.26 c | 2.26 | 0 | -185425 lb | 0 0 0.00 | 2.28/2.32 c | 2.32 | 0 | -185423 lb | 0 0 0.00 | 2.28/2.37 c | 2.38 | 0 | -185422 lb | 0 0 0.00 | 2.39/2.43 c | 2.44 | 0 | -185419 lb | 0 0 0.00 | 2.39/2.49 c | 2.50 | 0 | -185417 lb | 0 0 0.00 | 2.49/2.55 c | 2.55 | 0 | -185416 lb | 0 0 0.00 | 2.59/2.61 c | 2.61 | 0 | -185414 lb | 0 0 0.00 | 2.59/2.67 c | 2.67 | 0 | -185412 lb | 0 0 0.00 | 2.69/2.73 c | 2.73 | 0 | -185402 lb | 0 0 0.00 | 2.69/2.79 c | 2.79 | 0 | -185399 lb | 0 0 0.00 | 2.79/2.85 c | 2.85 | 0 | -185397 lb | 0 0 0.00 | 2.89/2.91 c | 2.92 | 0 | -185395 lb | 0 0 0.00 | 2.89/2.98 c | 2.98 | 0 | -185393 lb | 0 0 0.00 | 2.99/3.04 c | 3.04 | 0 | -185392 lb | 0 0 0.00 | 3.09/3.10 c | 3.10 | 0 | -185391 lb | 0 0 0.00 | 3.09/3.16 c | 3.17 | 0 | -185390 lb | 0 0 0.00 | 3.19/3.22 c | 3.23 | 0 | -185387 lb | 0 0 0.00 | 3.19/3.29 c | 3.29 | 0 | -185385 lb | 0 0 0.00 | 3.30/3.35 c | 3.35 | 0 | -185383 lb | 0 0 0.00 | 3.39/3.41 c | 3.42 | 0 | -185381 lb | 0 0 0.00 | 3.39/3.48 c | 3.48 | 0 | -185375 lb | 0 0 0.00 | 3.49/3.54 c | 3.54 | 0 | -185374 lb | 0 0 0.00 | 3.59/3.61 c | 3.61 | 0 | -185370 lb | 0 0 0.00 | 3.59/3.67 c | 3.68 | 0 | -185366 lb | 0 0 0.00 | 3.69/3.74 c | 3.74 | 0 | -185365 lb | 0 0 0.00 | 3.79/3.80 c | 3.81 | 0 | -185361 lb | 0 0 0.00 | 3.79/3.87 c | 3.87 | 0 | -185358 lb | 0 0 0.00 | 3.89/3.93 c | 3.94 | 0 | -185356 lb | 0 0 0.00 | 4.09/4.11 c | 4.00 | 0 | -185355 lb | 0 0 0.00 | 4.09/4.11 c | 4.07 | 0 | -185352 lb | 0 0 0.00 | 4.09/4.13 c | 4.13 | 0 | -185348 lb | 0 0 0.00 | 4.18/4.20 c | 4.20 | 0 | -185342 lb | 0 0 0.00 | 4.18/4.27 c | 4.27 | 0 | -185339 lb | 0 0 0.00 | 4.29/4.33 c | 4.34 | 0 | -185333 lb | 0 0 0.00 | 4.29/4.40 c | 4.40 | 0 | -185331 lb | 0 0 0.00 | 4.40/4.47 c | 4.47 | 0 | -185328 lb | 0 0 0.00 | 4.49/4.54 c | 4.54 | 0 | -185326 lb | 0 0 0.00 | 4.59/4.60 c | 4.61 | 0 | -185324 lb | 0 0 0.00 | 4.59/4.67 c | 4.68 | 0 | -185322 lb | 0 0 0.00 | 4.69/4.74 c | 4.74 | 0 | -185317 lb | 0 0 0.00 | 4.79/4.81 c | 4.81 | 0 | -185316 lb | 0 0 0.00 | 4.79/4.88 c | 4.88 | 0 | -185315 lb | 0 0 0.00 | 4.89/4.95 c | 4.95 | 0 | -185314 lb | 0 0 0.00 | 4.98/5.02 c | 5.02 | 0 | -185313 lb | 0 0 0.00 | 4.98/5.09 c | 5.09 | 0 | -185311 lb | 0 0 0.00 | 5.09/5.16 c | 5.16 | 0 | -185308 lb | 0 0 0.00 | 5.19/5.23 c | 5.23 | 0 | -185307 lb | 0 0 0.00 | 5.29/5.30 c | 5.30 | 0 | -185305 lb | 0 0 0.00 | 5.29/5.37 c | 5.37 | 0 | -185303 lb | 0 0 0.00 | 5.39/5.44 c | 5.44 | 0 | -185295 lb | 0 0 0.00 | 5.49/5.51 c | 5.51 | 0 | -185289 lb | 0 0 0.00 | 5.49/5.59 c | 5.59 | 0 | -185282 lb | 0 0 0.00 | 5.58/5.66 c | 5.66 | 0 | -185281 lb | 0 0 0.00 | 5.68/5.73 c | 5.73 | 0 | -185280 lb | 0 0 0.00 | 5.79/5.80 c | 5.80 | 0 | -185279 lb | 0 0 0.00 | 5.79/5.87 c | 5.88 | 0 | -185276 lb | 0 0 0.00 | 5.89/5.94 c | 5.95 | 0 | -185275 lb | 0 0 0.00 | 5.99/6.02 c | 6.02 | 0 | -185271 lb | 0 0 0.00 | 5.99/6.09 c | 6.10 | 0 | -185268 lb | 0 0 0.00 | 6.09/6.17 c | 6.17 | 0 | -185258 lb | 0 0 0.00 | 6.19/6.24 c | 6.25 | 0 | -185247 lb | 0 0 0.00 | 6.28/6.32 c | 6.32 | 0 | -185234 lb | 0 0 0.00 | 6.28/6.39 c | 6.39 | 0 | -185229 lb | 0 0 0.00 | 6.38/6.46 c | 6.46 | 0 | -185228 lb | 0 0 0.00 | 6.49/6.53 c | 6.54 | 0 | -185227 lb | 0 0 0.00 | 6.60/6.61 c | 6.61 | 0 | -185225 lb | 0 0 0.00 | 6.60/6.69 c | 6.69 | 0 | -185223 lb | 0 0 0.00 | 6.69/6.76 c | 6.77 | 0 | -185220 lb | 0 0 0.00 | 6.79/6.84 c | 6.84 | 0 | -185217 lb | 0 0 0.00 | 6.89/6.92 c | 6.92 | 0 | -185210 lb | 0 0 0.00 | 6.89/6.99 c | 7.00 | 0 | -185208 lb | 0 0 0.00 | 6.99/7.07 c | 7.07 | 0 | -185207 lb | 0 0 0.00 | 7.08/7.14 c | 7.15 | 0 | -185204 lb | 0 0 0.00 | 7.18/7.22 c | 7.22 | 0 | -185201 lb | 0 0 0.00 | 7.28/7.30 c | 7.30 | 0 | -185199 lb | 0 0 0.00 | 7.28/7.38 c | 7.38 | 0 | -185192 lb | 0 0 0.00 | 7.39/7.45 c | 7.45 | 0 | -185191 lb | 0 0 0.00 | 7.49/7.53 c | 7.53 | 0 | -185186 lb | 0 0 0.00 | 7.60/7.61 c | 7.61 | 0 | -185185 lb | 0 0 0.00 | 7.60/7.69 c | 7.69 | 0 | -185182 lb | 0 0 0.00 | 7.69/7.76 c | 7.77 | 0 | -185176 lb | 0 0 0.00 | 7.79/7.84 c | 7.85 | 0 | -185171 lb | 0 0 0.00 | 7.89/7.92 c | 7.92 | 0 | -185170 lb | 0 0 0.00 | 7.98/8.00 c | 8.01 | 0 | -185166 lb | 0 0 0.00 | 7.98/8.08 c | 8.08 | 0 | -185161 lb | 0 0 0.00 | 8.08/8.16 c | 8.17 | 0 | -185158 lb | 0 0 0.00 | 8.18/8.24 c | 8.25 | 0 | -185157 lb | 0 0 0.00 | 8.28/8.32 c | 8.33 | 0 | -185156 lb | 0 0 0.00 | 8.39/8.40 c | 8.41 | 0 | -185154 lb | 0 0 0.00 | 8.39/8.48 c | 8.49 | 0 | -185153 lb | 0 0 0.00 | 8.49/8.56 c | 8.57 | 0 | -185151 lb | 0 0 0.00 | 8.59/8.64 c | 8.65 | 0 | -185150 lb | 0 0 0.00 | 8.69/8.72 c | 8.73 | 0 | -185149 lb | 0 0 0.00 | 8.79/8.81 c | 8.81 | 0 | -185148 lb | 0 0 0.00 | 8.79/8.89 c | 8.89 | 0 | -185139 lb | 0 0 0.00 | 8.88/8.97 c | 8.97 | 0 | -185138 lb | 0 0 0.00 | 8.98/9.05 c | 9.05 | 0 | -185129 lb | 0 0 0.00 | 9.08/9.13 c | 9.14 | 0 | -185124 lb | 0 0 0.00 | 9.18/9.22 c | 9.22 | 0 | -185123 lb | 0 0 0.00 | 9.29/9.30 c | 9.30 | 0 | -185121 lb | 0 0 0.00 | 9.29/9.38 c | 9.39 | 0 | -185119 lb | 0 0 0.00 | 9.39/9.47 c | 9.47 | 0 | -185110 lb | 0 0 0.00 | 9.49/9.55 c | 9.55 | 0 | -185108 lb | 0 0 0.00 | 9.59/9.63 c | 9.63 | 0 | -185105 lb | 0 0 0.00 | 9.68/9.71 c | 9.72 | 0 | -185102 lb | 0 0 0.00 | 9.68/9.80 c | 9.80 | 0 | -185093 lb | 0 0 0.00 | 9.79/9.88 c | 9.88 | 0 | -185087 lb | 0 0 0.00 | 9.89/9.96 c | 9.97 | 0 | -185082 lb | 0 0 0.00 | 9.99/10.05 c | 10.05 | 0 | -185081 lb | 0 0 0.00 | 10.09/10.13 c | 10.14 | 0 | -185072 lb | 0 0 0.00 | 10.19/10.22 c | 10.22 | 0 | -185071 lb | 0 0 0.00 | 10.29/10.30 c | 10.31 | 0 | -185068 lb | 0 0 0.00 | 10.29/10.39 c | 10.39 | 0 | -185057 lb | 0 0 0.00 | 10.39/10.47 c | 10.48 | 0 | -185051 lb | 0 0 0.00 | 10.49/10.56 c | 10.56 | 0 | -185050 lb | 0 0 0.00 | 10.58/10.64 c | 10.65 | 0 | -185047 lb | 0 0 0.00 | 10.68/10.73 c | 10.73 | 0 | -185045 lb | 0 0 0.00 | 10.78/10.82 c | 10.82 | 0 | -185044 lb | 0 0 0.00 | 10.89/10.91 c | 10.91 | 0 | -185042 lb | 0 0 0.00 | 10.89/10.99 c | 11.00 | 0 | -185035 lb | 0 0 0.00 | 10.99/11.08 c | 11.09 | 0 | -185034 lb | 0 0 0.00 | 11.09/11.17 c | 11.17 | 0 | -185033 lb | 0 0 0.00 | 11.18/11.26 c | 11.26 | 0 | -185031 lb | 0 0 0.00 | 11.28/11.34 c | 11.35 | 0 | -185030 lb | 0 0 0.00 | 11.39/11.43 c | 11.44 | 0 | -185023 lb | 0 0 0.00 | 11.49/11.52 c | 11.53 | 0 | -185019 lb | 0 0 0.00 | 11.59/11.61 c | 11.62 | 0 | -185018 lb | 0 0 0.00 | 11.69/11.70 c | 11.70 | 0 | -185014 lb | 0 0 0.00 | 11.69/11.79 c | 11.79 | 0 | -185013 lb | 0 0 0.00 | 11.78/11.88 c | 11.88 | 0 | -185006 lb | 0 0 0.00 | 11.89/11.97 c | 11.97 | 0 | -185005 lb | 0 0 0.00 | 12.00/12.05 c | 12.06 | 0 | -185002 lb | 0 0 0.00 | 12.10/12.14 c | 12.14 | 0 | -185000 lb | 0 0 0.00 | 12.19/12.23 c | 12.23 | 0 | -184999 lb | 0 0 0.00 | 12.28/12.32 c | 12.32 | 0 | -184998 lb | 0 0 0.00 | 12.38/12.41 c | 12.41 | 0 | -184997 lb | 0 0 0.00 | 12.48/12.50 c | 12.50 | 0 | -184996 lb | 0 0 0.00 | 12.48/12.59 c | 12.59 | 0 | -184995 lb | 0 0 0.00 | 12.58/12.68 c | 12.68 | 0 | -184990 lb | 0 0 0.00 | 12.68/12.77 c | 12.77 | 0 | -184987 lb | 0 0 0.00 | 12.79/12.86 c | 12.86 | 0 | -184982 lb | 0 0 0.00 | 12.89/12.95 c | 12.95 | 0 | -184979 lb | 0 0 0.00 | 12.98/13.04 c | 13.04 | 0 | -184972 lb | 0 0 0.00 | 13.09/13.13 c | 13.13 | 0 | -184970 lb | 0 0 0.00 | 13.20/13.22 c | 13.22 | 0 | -184966 lb | 0 0 0.00 | 13.29/13.31 c | 13.31 | 0 | -184965 lb | 0 0 0.00 | 13.39/13.40 c | 13.40 | 0 | -184962 lb | 0 0 0.00 | 13.39/13.49 c | 13.49 | 0 | -184961 lb | 0 0 0.00 | 13.49/13.58 c | 13.58 | 0 | -184959 lb | 0 0 0.00 | 13.58/13.67 c | 13.67 | 0 | -184957 lb | 0 0 0.00 | 13.68/13.76 c | 13.77 | 0 | -184956 lb | 0 0 0.00 | 13.78/13.86 c | 13.86 | 0 | -184953 lb | 0 0 0.00 | 13.88/13.95 c | 13.95 | 0 | -184944 lb | 0 0 0.00 | 13.98/14.04 c | 14.04 | 0 | -184941 lb | 0 0 0.00 | 14.08/14.13 c | 14.14 | 0 | -184940 lb | 0 0 0.00 | 14.19/14.23 c | 14.23 | 0 | -184936 lb | 0 0 0.00 | 14.29/14.32 c | 14.32 | 0 | -184934 lb | 0 0 0.00 | 14.38/14.41 c | 14.42 | 0 | -184929 lb | 0 0 0.00 | 14.48/14.51 c | 14.51 | 0 | -184924 lb | 0 0 0.00 | 14.58/14.60 c | 14.60 | 0 | -184923 lb | 0 0 0.00 | 14.69/14.70 c | 14.70 | 0 | -184920 lb | 0 0 0.00 | 14.69/14.79 c | 14.79 | 0 | -184918 lb | 0 0 0.00 | 14.79/14.89 c | 14.89 | 0 | -184916 lb | 0 0 0.00 | 14.89/14.98 c | 14.98 | 0 | -184912 lb | 0 0 0.00 | 14.98/15.08 c | 15.08 | 0 | -184911 lb | 0 0 0.00 | 15.08/15.17 c | 15.17 | 0 | -184910 lb | 0 0 0.00 | 15.18/15.27 c | 15.27 | 0 | -184907 lb | 0 0 0.00 | 15.29/15.36 c | 15.36 | 0 | -184901 lb | 0 0 0.00 | 15.39/15.45 c | 15.46 | 0 | -184897 lb | 0 0 0.00 | 15.48/15.55 c | 15.55 | 0 | -184895 lb | 0 0 0.00 | 15.58/15.64 c | 15.65 | 0 | -184894 lb | 0 0 0.00 | 15.68/15.74 c | 15.74 | 0 | -184889 lb | 0 0 0.00 | 15.78/15.83 c | 15.84 | 0 | -184888 lb | 0 0 0.00 | 15.88/15.93 c | 15.93 | 0 | -184887 lb | 0 0 0.00 | 15.99/16.02 c | 16.03 | 0 | -184884 lb | 0 0 0.00 | 16.09/16.12 c | 16.12 | 0 | -184880 lb | 0 0 0.00 | 16.18/16.22 c | 16.22 | 0 | -184878 lb | 0 0 0.00 | 16.28/16.31 c | 16.32 | 0 | -184876 lb | 0 0 0.00 | 16.39/16.41 c | 16.41 | 0 | -184873 lb | 0 0 0.00 | 16.49/16.51 c | 16.51 | 0 | -184868 lb | 0 0 0.00 | 16.58/16.60 c | 16.60 | 0 | -184866 lb | 0 0 0.00 | 16.68/16.70 c | 16.70 | 0 | -184864 lb | 0 0 0.00 | 16.68/16.79 c | 16.80 | 0 | -184863 lb | 0 0 0.00 | 16.78/16.89 c | 16.90 | 0 | -184862 lb | 0 0 0.00 | 16.89/16.99 c | 17.00 | 0 | -184859 lb | 0 0 0.00 | 16.99/17.09 c | 17.09 | 0 | -184855 lb | 0 0 0.00 | 17.09/17.19 c | 17.19 | 0 | -184852 lb | 0 0 0.00 | 17.18/17.28 c | 17.28 | 0 | -184843 lb | 0 0 0.00 | 17.28/17.38 c | 17.38 | 0 | -184839 lb | 0 0 0.00 | 17.38/17.48 c | 17.48 | 0 | -184834 lb | 0 0 0.00 | 17.49/17.58 c | 17.58 | 0 | -184830 lb | 0 0 0.00 | 17.60/17.68 c | 17.68 | 0 | -184823 lb | 0 0 0.00 | 17.69/17.78 c | 17.78 | 0 | -184822 lb | 0 0 0.00 | 17.79/17.87 c | 17.88 | 0 | -184820 lb | 0 0 0.00 | 17.89/17.97 c | 17.97 | 0 | -184819 lb | 0 0 0.00 | 17.99/18.07 c | 18.07 | 0 | -184818 lb | 0 0 0.00 | 18.09/18.17 c | 18.17 | 0 | -184816 lb | 0 0 0.00 | 18.18/18.27 c | 18.27 | 0 | -184812 lb | 0 0 0.00 | 18.28/18.37 c | 18.37 | 0 | -184807 lb | 0 0 0.00 | 18.38/18.47 c | 18.48 | 0 | -184798 lb | 0 0 0.00 | 18.48/18.57 c | 18.57 | 0 | -184795 lb | 0 0 0.00 | 18.59/18.67 c | 18.68 | 0 | -184791 lb | 0 0 0.00 | 18.69/18.77 c | 18.77 | 0 | -184787 lb | 0 0 0.00 | 18.78/18.87 c | 18.88 | 0 | -184785 lb | 0 0 0.00 | 18.88/18.97 c | 18.98 | 0 | -184784 lb | 0 0 0.00 | 18.98/19.07 c | 19.08 | 0 | -184780 lb | 0 0 0.00 | 19.08/19.18 c | 19.18 | 0 | -184775 lb | 0 0 0.00 | 19.18/19.28 c | 19.28 | 0 | -184769 lb | 0 0 0.00 | 19.28/19.38 c | 19.38 | 0 | -184766 lb | 0 0 0.00 | 19.38/19.48 c | 19.48 | 0 | -184765 lb | 0 0 0.00 | 19.48/19.58 c | 19.58 | 0 | -184761 lb | 0 0 0.00 | 19.58/19.68 c | 19.68 | 0 | -184760 lb | 0 0 0.00 | 19.69/19.79 c | 19.79 | 0 | -184758 lb | 0 0 0.00 | 19.79/19.89 c | 19.89 | 0 | -184756 lb | 0 0 0.00 | 19.88/19.99 c | 20.00 | 0 | -184754 lb | 0 0 0.00 | 19.98/20.09 c | 20.10 | 0 | -184749 lb | 0 0 0.00 | 20.19/20.20 c | 20.20 | 0 | -184748 lb | 0 0 0.00 | 20.28/20.30 c | 20.30 | 0 | -184745 lb | 0 0 0.00 | 20.38/20.41 c | 20.41 | 0 | -184737 lb | 0 0 0.00 | 20.48/20.51 c | 20.51 | 0 | -184734 lb | 0 0 0.00 | 20.59/20.61 c | 20.62 | 0 | -184733 lb | 0 0 0.00 | 20.69/20.72 c | 20.72 | 0 | -184731 lb | 0 0 0.00 | 20.79/20.83 c | 20.84 | 0 | -184729 lb | 0 0 0.00 | 20.89/20.94 c | 20.94 | 0 | -184728 lb | 0 0 0.00 | 20.98/21.08 c | 21.08 | 0 | -184726 lb | 0 0 0.00 | 21.18/21.22 c | 21.22 | 0 | -184725 lb | 0 0 0.00 | 21.28/21.36 c | 21.36 | 0 | -184724 lb | 0 0 0.00 | 21.48/21.50 c | 21.50 | 0 | -184723 lb | 0 0 0.00 | 21.58/21.64 c | 21.64 | 0 | -184722 lb | 0 0 0.00 | 21.68/21.78 c | 21.78 | 0 | -184721 lb | 0 0 0.00 | 21.89/21.92 c | 21.92 | 0 | -184720 lb | 0 0 0.00 | 21.99/22.06 c | 22.06 | 0 | -184718 lb | 0 0 0.00 | 22.19/22.21 c | 22.21 | 0 | -184717 lb | 0 0 0.00 | 22.29/22.36 c | 22.36 | 0 | -184716 lb | 0 0 0.00 | 22.48/22.52 c | 22.52 | 0 | -184715 lb | 0 0 0.00 | 22.59/22.68 c | 22.68 | 0 | -184714 lb | 0 0 0.00 | 22.79/22.84 c | 22.84 | 0 | -184713 lb | 0 0 0.00 | 22.88/22.99 c | 23.00 | 0 | -184712 lb | 0 0 0.00 | 23.09/23.15 c | 23.16 | 0 | -184711 lb | 0 0 0.00 | 23.28/23.31 c | 23.31 | 0 | -184710 lb | 0 0 0.00 | 23.38/23.48 c | 23.48 | 0 | -184709 lb | 0 0 0.00 | 23.58/23.66 c | 23.66 | 0 | -184708 lb | 0 0 0.00 | 23.79/23.84 c | 23.84 | 0 | -184707 lb | 0 0 0.00 | 23.99/24.02 c | 24.02 | 0 | -184706 lb | 0 0 0.00 | 24.09/24.20 c | 24.20 | 0 | -184705 lb | 0 0 0.00 | 24.28/24.39 c | 24.39 | 0 | -184704 lb | 0 0 0.00 | 24.48/24.59 c | 24.60 | 0 | -184703 lb | 0 0 0.00 | 24.68/24.79 c | 24.80 | 0 | -184702 lb | 0 0 0.00 | 24.88/24.99 c | 24.99 | 0 | -184701 lb | 0 0 0.00 | 25.08/25.19 c | 25.19 | 0 | -184698 lb | 0 0 0.00 | 25.38/25.40 c | 25.40 | 0 | -184696 lb | 0 0 0.00 | 25.58/25.60 c | 25.61 | 0 | -184695 lb | 0 0 0.00 | 25.78/25.82 c | 25.82 | 0 | -184694 lb | 0 0 0.00 | 25.98/26.05 c | 26.05 | 0 | -184693 lb | 0 0 0.00 | 26.18/26.27 c | 26.27 | 0 | -184692 lb | 0 0 0.00 | 26.39/26.49 c | 26.50 | 0 | -184691 lb | 0 0 0.00 | 26.68/26.73 c | 26.73 | 0 | -184690 lb | 0 0 0.00 | 26.88/26.96 c | 26.96 | 0 | -184689 lb | 0 0 0.00 | 27.18/27.20 c | 27.20 | 0 | -184688 lb | 0 0 0.00 | 27.39/27.45 c | 27.45 | 0 | -184687 lb | 0 0 0.00 | 27.69/27.70 c | 27.71 | 0 | -184686 lb | 0 0 0.00 | 27.89/27.95 c | 27.95 | 0 | -184685 lb | 0 0 0.00 | 28.19/28.20 c | 28.20 | 0 | -184684 lb | 0 0 0.00 | 28.39/28.45 c | 28.45 | 0 | -184683 lb | 0 0 0.00 | 28.59/28.69 c | 28.70 | 0 | -184682 lb | 0 0 0.00 | 28.88/28.94 c | 28.95 | 0 | -184680 lb | 0 0 0.00 | 29.08/29.19 c | 29.19 | 0 | -184679 lb | 0 0 0.00 | 29.38/29.44 c | 29.44 | 0 | -184678 lb | 0 0 0.00 | 29.59/29.68 c | 29.69 | 0 | -184677 lb | 0 0 0.00 | 29.88/29.93 c | 29.94 | 0 | -184676 lb | 0 0 0.00 | 30.08/30.18 c | 30.18 | 0 | -184675 lb | 0 0 0.00 | 30.38/30.42 c | 30.43 | 0 | -184674 lb | 0 0 0.00 | 30.59/30.68 c | 30.68 | 0 | -184673 lb | 0 0 0.00 | 30.89/30.93 c | 30.93 | 0 | -184672 lb | 0 0 0.00 | 31.08/31.19 c | 31.19 | 0 | -184671 lb | 0 0 0.00 | 31.38/31.44 c | 31.45 | 0 | -184670 lb | 0 0 0.00 | 31.68/31.70 c | 31.70 | 0 | -184669 lb | 0 0 0.00 | 31.89/31.95 c | 31.96 | 0 | -184668 lb | 0 0 0.00 | 32.18/32.21 c | 32.21 | 0 | -184667 lb | 0 0 0.00 | 32.39/32.48 c | 32.48 | 0 | -184666 lb | 0 0 0.00 | 32.68/32.76 c | 32.76 | 0 | -184665 lb | 0 0 0.00 | 32.99/33.04 c | 33.04 | 0 | -184664 lb | 0 0 0.00 | 33.28/33.32 c | 33.32 | 0 | -184663 lb | 0 0 0.00 | 33.58/33.60 c | 33.60 | 0 | -184662 lb | 0 0 0.00 | 33.78/33.87 c | 33.88 | 0 | -184661 lb | 0 0 0.00 | 34.09/34.15 c | 34.15 | 0 | -184660 lb | 0 0 0.00 | 34.38/34.44 c | 34.44 | 0 | -184659 lb | 0 0 0.00 | 34.68/34.72 c | 34.73 | 0 | -184658 lb | 0 0 0.00 | 34.98/35.01 c | 35.02 | 0 | -184657 lb | 0 0 0.00 | 35.28/35.30 c | 35.30 | 0 | -184656 lb | 0 0 0.00 | 35.49/35.58 c | 35.58 | 0 | -184655 lb | 0 0 0.00 | 35.78/35.86 c | 35.87 | 0 | -184654 lb | 0 0 0.00 | 36.08/36.15 c | 36.15 | 0 | -184653 lb | 0 0 0.00 | 36.38/36.44 c | 36.44 | 0 | -184652 lb | 0 0 0.00 | 36.68/36.73 c | 36.73 | 0 | -184651 lb | 0 0 0.00 | 36.98/37.03 c | 37.03 | 0 | -184650 lb | 0 0 0.00 | 37.29/37.32 c | 37.33 | 0 | -184649 lb | 0 0 0.00 | 37.58/37.62 c | 37.62 | 0 | -184648 lb | 0 0 0.00 | 37.88/37.91 c | 37.91 | 0 | -184647 lb | 0 0 0.00 | 38.18/38.20 c | 38.20 | 0 | -184646 lb | 0 0 0.00 | 38.39/38.49 c | 38.49 | 0 | -184645 lb | 0 0 0.00 | 38.68/38.78 c | 38.78 | 0 | -184644 lb | 0 0 0.00 | 38.98/39.07 c | 39.07 | 0 | -184643 lb | 0 0 0.00 | 39.28/39.37 c | 39.37 | 0 | -184642 lb | 0 0 0.00 | 39.59/39.67 c | 39.67 | 0 | -184641 lb | 0 0 0.00 | 39.88/39.98 c | 39.98 | 0 | -184640 lb | 0 0 0.00 | 40.18/40.28 c | 40.28 | 0 | -184639 lb | 0 0 0.00 | 40.48/40.59 c | 40.59 | 0 | -184637 lb | 0 0 0.00 | 40.88/40.90 c | 40.90 | 0 | -184636 lb | 0 0 0.00 | 41.18/41.22 c | 41.22 | 0 | -184635 lb | 0 0 0.00 | 41.48/41.53 c | 41.53 | 0 | -184634 lb | 0 0 0.00 | 41.79/41.86 c | 41.86 | 0 | -184633 lb | 0 0 0.00 | 42.08/42.19 c | 42.19 | 0 | -184632 lb | 0 0 0.00 | 42.48/42.51 c | 42.52 | 0 | -184631 lb | 0 0 0.00 | 42.78/42.84 c | 42.85 | 0 | -184630 lb | 0 0 0.00 | 43.08/43.18 c | 43.18 | 0 | -184629 lb | 0 0 0.00 | 43.48/43.51 c | 43.51 | 0 | -184628 lb | 0 0 0.00 | 43.78/43.83 c | 43.84 | 0 | -184627 lb | 0 0 0.00 | 44.08/44.16 c | 44.17 | 0 | -184626 lb | 0 0 0.00 | 44.38/44.49 c | 44.49 | 0 | -184625 lb | 0 0 0.00 | 44.78/44.84 c | 44.84 | 0 | -184624 lb | 0 0 0.00 | 45.08/45.18 c | 45.18 | 0 | -184623 lb | 0 0 0.00 | 45.48/45.53 c | 45.53 | 0 | -184622 lb | 0 0 0.00 | 45.78/45.87 c | 45.87 | 0 | -184621 lb | 0 0 0.00 | 46.18/46.21 c | 46.21 | 0 | -184620 lb | 0 0 0.00 | 46.48/46.55 c | 46.55 | 0 | -184619 lb | 0 0 0.00 | 46.78/46.89 c | 46.89 | 0 | -184618 lb | 0 0 0.00 | 47.19/47.23 c | 47.23 | 0 | -184617 lb | 0 0 0.00 | 47.48/47.56 c | 47.56 | 0 | -184616 lb | 0 0 0.00 | 47.88/47.90 c | 47.91 | 0 | -184615 lb | 0 0 0.00 | 48.18/48.24 c | 48.24 | 0 | -184614 lb | 0 0 0.00 | 48.48/48.59 c | 48.60 | 0 | -184613 lb | 0 0 0.00 | 48.88/48.96 c | 48.96 | 0 | -184612 lb | 0 0 0.00 | 49.27/49.32 c | 49.33 | 0 | -184611 lb | 0 0 0.00 | 49.57/49.69 c | 49.70 | 0 | -184610 lb | 0 0 0.00 | 49.98/50.07 c | 50.07 | 0 | -184609 lb | 0 0 0.00 | 50.38/50.43 c | 50.43 | 0 | -184608 lb | 0 0 0.00 | 50.78/50.80 c | 50.80 | 0 | -184607 lb | 0 0 0.00 | 51.08/51.17 c | 51.18 | 0 | -184606 lb | 0 0 0.00 | 51.48/51.55 c | 51.55 | 0 | -184605 lb | 0 0 0.00 | 51.87/51.92 c | 51.93 | 0 | -184604 lb | 0 0 0.00 | 52.28/52.31 c | 52.31 | 0 | -184603 lb | 0 0 0.00 | 52.68/52.71 c | 52.71 | 0 | -184602 lb | 0 0 0.00 | 53.07/53.10 c | 53.10 | 0 | -184601 lb | 0 0 0.00 | 53.37/53.49 c | 53.50 | 0 | -184600 lb | 0 0 0.00 | 53.78/53.88 c | 53.89 | 0 | -184599 lb | 0 0 0.00 | 54.17/54.26 c | 54.27 | 0 | -184598 lb | 0 0 0.00 | 54.57/54.65 c | 54.65 | 0 | -184597 lb | 0 0 0.00 | 54.98/55.03 c | 55.04 | 0 | -184596 lb | 0 0 0.00 | 55.37/55.41 c | 55.41 | 0 | -184595 lb | 0 0 0.00 | 55.68/55.79 c | 55.79 | 0 | -184594 lb | 0 0 0.00 | 56.09/56.16 c | 56.16 | 0 | -184593 lb | 0 0 0.00 | 56.48/56.54 c | 56.54 | 0 | -184592 lb | 0 0 0.00 | 56.88/56.93 c | 56.93 | 0 | -184591 lb | 0 0 0.00 | 57.28/57.31 c | 57.31 | 0 | -184590 lb | 0 0 0.00 | 57.58/57.69 c | 57.70 | 0 | -184589 lb | 0 0 0.00 | 57.98/58.08 c | 58.08 | 0 | -184588 lb | 0 0 0.00 | 58.38/58.46 c | 58.47 | 0 | -184587 lb | 0 0 0.00 | 58.78/58.85 c | 58.85 | 0 | -184586 lb | 0 0 0.00 | 59.18/59.23 c | 59.24 | 0 | -184585 lb | 0 0 0.00 | 59.58/59.62 c | 59.62 | 0 | -184584 lb | 0 0 0.00 | 59.87/59.99 c | 60.00 | 0 | -184583 lb | 0 0 0.00 | 60.27/60.37 c | 60.38 | 0 | -184582 lb | 0 0 0.00 | 60.67/60.75 c | 60.76 | 0 | -184581 lb | 0 0 0.00 | 61.07/61.15 c | 61.15 | 0 | -184580 lb | 0 0 0.00 | 61.47/61.54 c | 61.54 | 0 | -184579 lb | 0 0 0.00 | 61.87/61.93 c | 61.94 | 0 | -184578 lb | 0 0 0.00 | 62.27/62.32 c | 62.33 | 0 | -184577 lb | 0 0 0.00 | 62.68/62.73 c | 62.73 | 0 | -184576 lb | 0 0 0.00 | 63.07/63.12 c | 63.13 | 0 | -184575 lb | 0 0 0.00 | 63.47/63.52 c | 63.52 | 0 | -184574 lb | 0 0 0.00 | 63.87/63.91 c | 63.91 | 0 | -184573 lb | 0 0 0.00 | 64.27/64.30 c | 64.30 | 0 | -184572 lb | 0 0 0.00 | 64.57/64.68 c | 64.68 | 0 | -184571 lb | 0 0 0.00 | 65.07/65.11 c | 65.11 | 0 | -184570 lb | 0 0 0.00 | 65.47/65.54 c | 65.54 | 0 | -184569 lb | 0 0 0.00 | 65.88/65.96 c | 65.97 | 0 | -184568 lb | 0 0 0.00 | 66.27/66.38 c | 66.39 | 0 | -184567 lb | 0 0 0.00 | 66.77/66.80 c | 66.81 | 0 | -184566 lb | 0 0 0.00 | 67.17/67.22 c | 67.22 | 0 | -184565 lb | 0 0 0.00 | 67.57/67.69 c | 67.69 | 0 | -184564 lb | 0 0 0.00 | 68.07/68.15 c | 68.15 | 0 | -184563 lb | 0 0 0.00 | 68.56/68.60 c | 68.61 | 0 | -184562 lb | 0 0 0.00 | 68.96/69.05 c | 69.05 | 0 | -184561 lb | 0 0 0.00 | 69.37/69.50 c | 69.50 | 0 | -184560 lb | 0 0 0.00 | 69.86/69.98 c | 69.98 | 0 | -184559 lb | 0 0 0.00 | 70.37/70.46 c | 70.47 | 0 | -184558 lb | 0 0 0.00 | 70.86/70.91 c | 70.91 | 0 | -184557 lb | 0 0 0.00 | 71.26/71.36 c | 71.36 | 0 | -184556 lb | 0 0 0.00 | 71.76/71.80 c | 71.81 | 0 | -184555 lb | 0 0 0.00 | 72.16/72.24 c | 72.25 | 0 | -184554 lb | 0 0 0.00 | 72.66/72.73 c | 72.73 | 0 | -184553 lb | 0 0 0.00 | 73.06/73.18 c | 73.18 | 0 | -184552 lb | 0 0 0.00 | 73.56/73.63 c | 73.63 | 0 | -184551 lb | 0 0 0.00 | 73.97/74.07 c | 74.08 | 0 | -184550 lb | 0 0 0.00 | 74.47/74.52 c | 74.52 | 0 | -184549 lb | 0 0 0.00 | 74.87/74.97 c | 74.97 | 0 | -184548 lb | 0 0 0.00 | 75.37/75.41 c | 75.41 | 0 | -184547 lb | 0 0 0.00 | 75.77/75.85 c | 75.86 | 0 | -184546 lb | 0 0 0.00 | 76.26/76.30 c | 76.30 | 0 | -184545 lb | 0 0 0.00 | 76.66/76.75 c | 76.76 | 0 | -184544 lb | 0 0 0.00 | 77.06/77.19 c | 77.20 | 0 | -184543 lb | 0 0 0.00 | 77.56/77.64 c | 77.64 | 0 | -184542 lb | 0 0 0.00 | 78.06/78.11 c | 78.11 | 0 | -184541 lb | 0 0 0.00 | 78.56/78.66 c | 78.66 | 0 | -184540 lb | 0 0 0.00 | 79.16/79.22 c | 79.22 | 0 | -184539 lb | 0 0 0.00 | 79.66/79.78 c | 79.78 | 0 | -184538 lb | 0 0 0.00 | 80.26/80.32 c | 80.32 | 0 | -184537 lb | 0 0 0.00 | 80.76/80.88 c | 80.89 | 0 | -184536 lb | 0 0 0.00 | 81.36/81.44 c | 81.44 | 0 | -184535 lb | 0 0 0.00 | 81.95/82.00 c | 82.00 | 0 | -184534 lb | 0 0 0.00 | 82.47/82.58 c | 82.59 | 0 | -184533 lb | 0 0 0.00 | 83.06/83.15 c | 83.16 | 0 | -184532 lb | 0 0 0.00 | 83.65/83.71 c | 83.72 | 0 | -184531 lb | 0 0 0.00 | 84.15/84.28 c | 84.28 | 0 | -184530 lb | 0 0 0.00 | 84.75/84.82 c | 84.83 | 0 | -184529 lb | 0 0 0.00 | 85.25/85.35 c | 85.36 | 0 | -184528 lb | 0 0 0.00 | 85.76/85.88 c | 85.89 | 0 | -184527 lb | 0 0 0.00 | 86.35/86.40 c | 86.40 | 0 | -184526 lb | 0 0 0.00 | 86.76/86.90 c | 86.90 | 0 | -184525 lb | 0 0 0.00 | 87.25/87.39 c | 87.39 | 0 | -184524 lb | 0 0 0.00 | 87.75/87.86 c | 87.86 | 0 | -184523 lb | 0 0 0.00 | 88.26/88.34 c | 88.34 | 0 | -184522 lb | 0 0 0.00 | 88.76/88.80 c | 88.80 | 0 | -184521 lb | 0 0 0.00 | 89.16/89.29 c | 89.29 | 0 | -184520 lb | 0 0 0.00 | 89.66/89.77 c | 89.77 | 0 | -184519 lb | 0 0 0.00 | 90.15/90.26 c | 90.26 | 0 | -184518 lb | 0 0 0.00 | 90.65/90.77 c | 90.78 | 0 | -184517 lb | 0 0 0.00 | 91.25/91.30 c | 91.31 | 0 | -184516 lb | 0 0 0.00 | 91.75/91.81 c | 91.82 | 0 | -184515 lb | 0 0 0.00 | 92.25/92.34 c | 92.34 | 0 | -184514 lb | 0 0 0.00 | 92.74/92.85 c | 92.85 | 0 | -184513 lb | 0 0 0.00 | 93.25/93.37 c | 93.37 | 0 | -184512 lb | 0 0 0.00 | 93.75/93.87 c | 93.88 | 0 | -184511 lb | 0 0 0.00 | 94.25/94.38 c | 94.38 | 0 | -184510 lb | 0 0 0.00 | 94.74/94.87 c | 94.88 | 0 | -184509 lb | 0 0 0.00 | 95.24/95.38 c | 95.39 | 0 | -184508 lb | 0 0 0.00 | 95.85/95.90 c | 95.90 | 0 | -184507 lb | 0 0 0.00 | 96.25/96.38 c | 96.38 | 0 | -184506 lb | 0 0 0.00 | 96.75/96.84 c | 96.85 | 0 | -184505 lb | 0 0 0.00 | 97.24/97.32 c | 97.32 | 0 | -184504 lb | 0 0 0.00 | 97.65/97.77 c | 97.78 | 0 | -184503 lb | 0 0 0.00 | 98.15/98.24 c | 98.24 | 0 | -184502 lb | 0 0 0.00 | 98.55/98.69 c | 98.69 | 0 | -184501 lb | 0 0 0.00 | 99.05/99.15 c | 99.15 | 0 | -184500 lb | 0 0 0.00 | 99.54/99.60 c | 99.61 | 0 | -184499 lb | 0 0 0.00 | 99.95/100.09 c | 100.09 | 0 | -184498 lb | 0 0 0.00 | 100.44/100.57 c | 100.57 | 0 | -184497 lb | 0 0 0.00 | 100.94/101.05 c | 101.06 | 0 | -184496 lb | 0 0 0.00 | 101.45/101.54 c | 101.54 | 0 | -184495 lb | 0 0 0.00 | 101.94/102.00 c | 102.01 | 0 | -184494 lb | 0 0 0.00 | 102.35/102.47 c | 102.47 | 0 | -184493 lb | 0 0 0.00 | 102.84/102.93 c | 102.93 | 0 | -184492 lb | 0 0 0.00 | 103.25/103.38 c | 103.38 | 0 | -184491 lb | 0 0 0.00 | 103.74/103.84 c | 103.84 | 0 | -184490 lb | 0 0 0.00 | 104.14/104.29 c | 104.29 | 0 | -184489 lb | 0 0 0.00 | 104.65/104.75 c | 104.75 | 0 | -184488 lb | 0 0 0.00 | 105.14/105.20 c | 105.20 | 0 | -184487 lb | 0 0 0.00 | 105.54/105.66 c | 105.67 | 0 | -184486 lb | 0 0 0.00 | 106.04/106.15 c | 106.16 | 0 | -184485 lb | 0 0 0.00 | 106.55/106.62 c | 106.63 | 0 | -184484 lb | 0 0 0.00 | 107.04/107.11 c | 107.12 | 0 | -184483 lb | 0 0 0.00 | 107.54/107.62 c | 107.63 | 0 | -184482 lb | 0 0 0.00 | 108.04/108.12 c | 108.12 | 0 | -184481 lb | 0 0 0.00 | 108.54/108.64 c | 108.64 | 0 | -184480 lb | 0 0 0.00 | 109.04/109.14 c | 109.15 | 0 | -184479 lb | 0 0 0.00 | 109.54/109.65 c | 109.65 | 0 | -184478 lb | 0 0 0.00 | 110.03/110.14 c | 110.14 | 0 | -184477 lb | 0 0 0.00 | 110.53/110.63 c | 110.64 | 0 | -184476 lb | 0 0 0.00 | 111.04/111.12 c | 111.12 | 0 | -184475 lb | 0 0 0.00 | 111.53/111.62 c | 111.62 | 0 | -184474 lb | 0 0 0.00 | 112.04/112.12 c | 112.12 | 0 | -184473 lb | 0 0 0.00 | 112.54/112.61 c | 112.62 | 0 | -184472 lb | 0 0 0.00 | 113.03/113.10 c | 113.10 | 0 | -184471 lb | 0 0 0.00 | 113.43/113.58 c | 113.59 | 0 | -184470 lb | 0 0 0.00 | 113.93/114.03 c | 114.03 | 0 | -184469 lb | 0 0 0.00 | 114.34/114.48 c | 114.49 | 0 | -184468 lb | 0 0 0.00 | 114.83/114.93 c | 114.93 | 0 | -184467 lb | 0 0 0.00 | 115.23/115.38 c | 115.39 | 0 | -184466 lb | 0 0 0.00 | 115.73/115.88 c | 115.88 | 0 | -184465 lb | 0 0 0.00 | 116.24/116.38 c | 116.38 | 0 | -184464 lb | 0 0 0.00 | 116.73/116.85 c | 116.86 | 0 | -184463 lb | 0 0 0.00 | 117.23/117.34 c | 117.34 | 0 | -184462 lb | 0 0 0.00 | 117.64/117.78 c | 117.78 | 0 | -184461 lb | 0 0 0.00 | 118.14/118.24 c | 118.24 | 0 | -184460 lb | 0 0 0.00 | 118.54/118.69 c | 118.69 | 0 | -184459 lb | 0 0 0.00 | 119.03/119.15 c | 119.15 | 0 | -184458 lb | 0 0 0.00 | 119.53/119.61 c | 119.61 | 0 | -184457 lb | 0 0 0.00 | 119.92/120.08 c | 120.08 | 0 | -184456 lb | 0 0 0.00 | 120.42/120.53 c | 120.53 | 0 | -184455 lb | 0 0 0.00 | 120.93/121.01 c | 121.01 | 0 | -184454 lb | 0 0 0.00 | 121.33/121.46 c | 121.46 | 0 | -184453 lb | 0 0 0.00 | 121.83/121.93 c | 121.93 | 0 | -184452 lb | 0 0 0.00 | 122.23/122.38 c | 122.39 | 0 | -184451 lb | 0 0 0.00 | 122.73/122.85 c | 122.85 | 0 | -184450 lb | 0 0 0.00 | 123.22/123.30 c | 123.30 | 0 | -184449 lb | 0 0 0.00 | 123.63/123.77 c | 123.77 | 0 | -184448 lb | 0 0 0.00 | 124.14/124.21 c | 124.22 | 0 | -184447 lb | 0 0 0.00 | 124.53/124.69 c | 124.69 | 0 | -184446 lb | 0 0 0.00 | 125.03/125.14 c | 125.14 | 0 | -184445 lb | 0 0 0.00 | 125.53/125.61 c | 125.62 | 0 | -184444 lb | 0 0 0.00 | 125.93/126.06 c | 126.07 | 0 | -184443 lb | 0 0 0.00 | 126.43/126.53 c | 126.53 | 0 | -184442 lb | 0 0 0.00 | 126.83/126.98 c | 126.98 | 0 | -184441 lb | 0 0 0.00 | 127.33/127.44 c | 127.44 | 0 | -184440 lb | 0 0 0.00 | 127.73/127.88 c | 127.88 | 0 | -184439 lb | 0 0 0.00 | 128.22/128.35 c | 128.36 | 0 | -184438 lb | 0 0 0.00 | 128.72/128.81 c | 128.81 | 0 | -184437 lb | 0 0 0.00 | 129.12/129.28 c | 129.28 | 0 | -184436 lb | 0 0 0.00 | 129.63/129.73 c | 129.74 | 0 | -184435 lb | 0 0 0.00 | 130.12/130.21 c | 130.21 | 0 | -184434 lb | 0 0 0.00 | 130.52/130.66 c | 130.66 | 0 | -184433 lb | 0 0 0.00 | 131.02/131.13 c | 131.13 | 0 | -184432 lb | 0 0 0.00 | 131.42/131.58 c | 131.58 | 0 | -184431 lb | 0 0 0.00 | 131.92/132.05 c | 132.05 | 0 | -184430 lb | 0 0 0.00 | 132.42/132.53 c | 132.54 | 0 | -184429 lb | 0 0 0.00 | 132.92/133.04 c | 133.04 | 0 | -184428 lb | 0 0 0.00 | 133.42/133.52 c | 133.53 | 0 | -184427 lb | 0 0 0.00 | 133.92/134.02 c | 134.03 | 0 | -184426 lb | 0 0 0.00 | 134.42/134.52 c | 134.52 | 0 | -184425 lb | 0 0 0.00 | 134.92/135.02 c | 135.03 | 0 | -184424 lb | 0 0 0.00 | 135.42/135.51 c | 135.52 | 0 | -184423 lb | 0 0 0.00 | 135.82/135.99 c | 135.99 | 0 | -184422 lb | 0 0 0.00 | 136.32/136.47 c | 136.48 | 0 | -184421 lb | 0 0 0.00 | 136.82/136.96 c | 136.96 | 0 | -184420 lb | 0 0 0.00 | 137.32/137.45 c | 137.45 | 0 | -184419 lb | 0 0 0.00 | 137.82/137.95 c | 137.95 | 0 | -184418 lb | 0 0 0.00 | 138.32/138.42 c | 138.42 | 0 | -184417 lb | 0 0 0.00 | 138.81/138.92 c | 138.92 | 0 | -184416 lb | 0 0 0.00 | 139.21/139.39 c | 139.39 | 0 | -184415 lb | 0 0 0.00 | 139.81/139.90 c | 139.91 | 0 | -184414 lb | 0 0 0.00 | 140.31/140.42 c | 140.43 | 0 | -184413 lb | 0 0 0.00 | 140.81/140.93 c | 140.93 | 0 | -184412 lb | 0 0 0.00 | 141.31/141.49 c | 141.49 | 0 | -184411 lb | 0 0 0.00 | 141.91/142.01 c | 142.01 | 0 | -184410 lb | 0 0 0.00 | 142.41/142.50 c | 142.50 | 0 | -184409 lb | 0 0 0.00 | 142.92/143.02 c | 143.02 | 0 | -184408 lb | 0 0 0.00 | 143.41/143.53 c | 143.53 | 0 | -184407 lb | 0 0 0.00 | 143.92/144.07 c | 144.07 | 0 | -184406 lb | 0 0 0.00 | 144.41/144.59 c | 144.60 | 0 | -184405 lb | 0 0 0.00 | 145.02/145.14 c | 145.14 | 0 | -184404 lb | 0 0 0.00 | 145.51/145.66 c | 145.67 | 0 | -184403 lb | 0 0 0.00 | 146.00/146.20 c | 146.20 | 0 | -184402 lb | 0 0 0.00 | 146.60/146.74 c | 146.74 | 0 | -184401 lb | 0 0 0.00 | 147.11/147.29 c | 147.29 | 0 | -184400 lb | 0 0 0.00 | 147.71/147.81 c | 147.81 | 0 | -184399 lb | 0 0 0.00 | 148.21/148.35 c | 148.35 | 0 | -184398 lb | 0 0 0.00 | 148.71/148.88 c | 148.88 | 0 | -184397 lb | 0 0 0.00 | 149.31/149.42 c | 149.43 | 0 | -184396 lb | 0 0 0.00 | 149.80/149.98 c | 149.99 | 0 | -184395 lb | 0 0 0.00 | 150.40/150.53 c | 150.53 | 0 | -184394 lb | 0 0 0.00 | 150.90/151.06 c | 151.07 | 0 | -184393 lb | 0 0 0.00 | 151.51/151.61 c | 151.61 | 0 | -184392 lb | 0 0 0.00 | 152.01/152.13 c | 152.13 | 0 | -184391 lb | 0 0 0.00 | 152.50/152.66 c | 152.66 | 0 | -184390 lb | 0 0 0.00 | 153.00/153.17 c | 153.18 | 0 | -184389 lb | 0 0 0.00 | 153.50/153.69 c | 153.69 | 0 | -184388 lb | 0 0 0.00 | 154.00/154.19 c | 154.20 | 0 | -184387 lb | 0 0 0.00 | 154.60/154.73 c | 154.73 | 0 | -184386 lb | 0 0 0.00 | 155.10/155.24 c | 155.24 | 0 | -184385 lb | 0 0 0.00 | 155.61/155.76 c | 155.76 | 0 | -184384 lb | 0 0 0.00 | 156.11/156.26 c | 156.26 | 0 | -184383 lb | 0 0 0.00 | 156.60/156.76 c | 156.76 | 0 | -184382 lb | 0 0 0.00 | 157.11/157.27 c | 157.27 | 0 | -184381 lb | 0 0 0.00 | 157.61/157.78 c | 157.79 | 0 | -184380 lb | 0 0 0.00 | 158.10/158.29 c | 158.30 | 0 | -184379 lb | 0 0 0.00 | 158.70/158.81 c | 158.81 | 0 | -184378 lb | 0 0 0.00 | 159.20/159.34 c | 159.34 | 0 | -184377 lb | 0 0 0.00 | 159.70/159.86 c | 159.86 | 0 | -184376 lb | 0 0 0.00 | 160.19/160.36 c | 160.36 | 0 | -184375 lb | 0 0 0.00 | 160.69/160.87 c | 160.88 | 0 | -184374 lb | 0 0 0.00 | 161.20/161.37 c | 161.38 | 0 | -184373 lb | 0 0 0.00 | 161.70/161.89 c | 161.89 | 0 | -184372 lb | 0 0 0.00 | 162.29/162.40 c | 162.41 | 0 | -184371 lb | 0 0 0.00 | 162.79/162.95 c | 162.95 | 0 | -184370 lb | 0 0 0.00 | 163.29/163.45 c | 163.45 | 0 | -184369 lb | 0 0 0.00 | 163.81/163.96 c | 163.96 | 0 | -184368 lb | 0 0 0.00 | 164.29/164.47 c | 164.47 | 0 | -184367 lb | 0 0 0.00 | 164.80/164.99 c | 164.99 | 0 | -184366 lb | 0 0 0.00 | 165.29/165.49 c | 165.50 | 0 | -184365 lb | 0 0 0.00 | 165.90/166.02 c | 166.02 | 0 | -184364 lb | 0 0 0.00 | 166.39/166.52 c | 166.52 | 0 | -184363 lb | 0 0 0.00 | 166.90/167.06 c | 167.06 | 0 | -184362 lb | 0 0 0.00 | 167.40/167.59 c | 167.59 | 0 | -184361 lb | 0 0 0.00 | 168.00/168.13 c | 168.13 | 0 | -184360 lb | 0 0 0.00 | 168.50/168.67 c | 168.67 | 0 | -184359 lb | 0 0 0.00 | 169.09/169.23 c | 169.23 | 0 | -184358 lb | 0 0 0.00 | 169.59/169.76 c | 169.76 | 0 | -184357 lb | 0 0 0.00 | 170.19/170.30 c | 170.31 | 0 | -184356 lb | 0 0 0.00 | 170.69/170.84 c | 170.84 | 0 | -184355 lb | 0 0 0.00 | 171.19/171.38 c | 171.38 | 0 | -184354 lb | 0 0 0.00 | 171.79/171.91 c | 171.91 | 0 | -184353 lb | 0 0 0.00 | 172.29/172.44 c | 172.45 | 0 | -184352 lb | 0 0 0.00 | 172.89/173.00 c | 173.00 | 0 | -184351 lb | 0 0 0.00 | 173.39/173.53 c | 173.53 | 0 | -184350 lb | 0 0 0.00 | 173.89/174.08 c | 174.08 | 0 | -184349 lb | 0 0 0.00 | 174.49/174.63 c | 174.64 | 0 | -184348 lb | 0 0 0.00 | 174.99/175.19 c | 175.19 | 0 | -184347 lb | 0 0 0.00 | 175.59/175.73 c | 175.73 | 0 | -184346 lb | 0 0 0.00 | 176.09/176.30 c | 176.30 | 0 | -184345 lb | 0 0 0.00 | 176.79/176.96 c | 176.97 | 0 | -184344 lb | 0 0 0.00 | 177.49/177.70 c | 177.70 | 0 | -184343 lb | 0 0 0.00 | 178.19/178.37 c | 178.38 | 0 | -184342 lb | 0 0 0.00 | 179.49/179.60 c | 179.61 | 0 | -184341 lb | 0 0 0.00 | 180.09/180.22 c | 180.22 | 0 | -184340 lb | 0 0 0.00 | 180.89/181.04 c | 181.05 | 0 | -184339 lb | 0 0 0.00 | 181.48/181.60 c | 181.61 | 0 | -184338 lb | 0 0 0.00 | 182.39/182.52 c | 182.52 | 0 | -184337 lb | 0 0 0.00 | 183.28/183.45 c | 183.46 | 0 | -184336 lb | 0 0 0.00 | 183.98/184.15 c | 184.15 | 0 | -184335 lb | 0 0 0.00 | 189.19/189.37 c | 189.38 | 0 | -184334 lb | 0 0 0.00 | 190.28/190.47 c | 190.47 | 0 | -184333 lb | 0 0 0.00 | 190.87/191.07 c | 191.08 | 0 | -184332 lb | 0 0 0.00 | 191.47/191.64 c | 191.64 | 0 | -184331 lb | 0 0 0.00 | 192.07/192.25 c | 192.26 | 0 | -184330 lb | 0 0 0.00 | 194.18/194.32 c | 194.32 | 0 | -184329 lb | 0 0 0.00 | 194.77/194.95 c | 194.96 | 0 | -184328 lb | 0 0 0.00 | 195.77/195.98 c | 195.99 | 0 | -184327 lb | 0 0 0.00 | 196.47/196.61 c | 196.62 | 0 | -184326 lb | 0 0 0.00 | 196.98/197.14 c | 197.14 | 0 | -184325 lb | 0 0 0.00 | 197.67/197.83 c | 197.84 | 0 | -184324 lb | 0 0 0.00 | 198.28/198.42 c | 198.43 | 0 | -184323 lb | 0 0 0.00 | 200.17/200.38 c | 200.39 | 0 | -184322 lb | 0 0 0.00 | 205.67/205.84 c | 205.84 | 0 | -184321 lb | 0 0 0.00 | 206.27/206.41 c | 206.41 | 0 | -184320 lb | 0 0 0.00 | 206.97/207.13 c | 207.13 | 0 | -184319 lb | 0 0 0.00 | 207.57/207.70 c | 207.71 | 0 | -184318 lb | 0 0 0.00 | 208.37/208.54 c | 208.54 | 0 | -184317 lb | 0 0 0.00 | 209.57/209.74 c | 209.75 | 0 | -184316 lb | 0 0 0.00 | 210.16/210.37 c | 210.37 | 0 | -184315 lb | 0 0 0.00 | 212.26/212.42 c | 212.42 | 0 | -184314 lb | 0 0 0.00 | 212.96/213.15 c | 213.16 | 0 | -184313 lb | 0 0 0.00 | 213.46/213.69 c | 213.70 | 0 | -184312 lb | 0 0 0.00 | 214.27/214.46 c | 214.46 | 0 | -184311 lb | 0 0 0.00 | 214.86/215.07 c | 215.07 | 0 | -184310 lb | 0 0 0.00 | 215.66/215.80 c | 215.81 | 0 | -184309 lb | 0 0 0.00 | 217.06/217.27 c | 217.27 | 0 | -184308 lb | 0 0 0.00 | 222.86/223.00 c | 223.00 | 0 | -184307 lb | 0 0 0.00 | 223.46/223.61 c | 223.61 | 0 | -184306 lb | 0 0 0.00 | 223.96/224.15 c | 224.15 | 0 | -184305 lb | 0 0 0.00 | 224.96/225.12 c | 225.12 | 0 | -184304 lb | 0 0 0.00 | 225.55/225.76 c | 225.76 | 0 | -184303 lb | 0 0 0.00 | 226.16/226.39 c | 226.39 | 0 | -184302 lb | 0 0 0.00 | 228.36/228.53 c | 228.54 | 0 | -184301 lb | 0 0 0.00 | 231.15/231.35 c | 231.36 | 0 | -184300 lb | 0 0 0.00 | 232.55/232.70 c | 232.71 | 0 | -184299 lb | 0 0 0.00 | 236.45/236.67 c | 236.67 | 0 | -184298 lb | 0 0 0.00 | 241.95/242.13 c | 242.13 | 0 | -184297 lb | 0 0 0.00 | 253.85/254.10 c | 254.10 | 0 | -184296 lb | 0 0 0.00 | 255.34/255.54 c | 255.55 | 0 | -184295 lb | 0 0 0.00 | 258.84/259.07 c | 259.07 | 0 | -184294 lb | 0 0 0.00 | 260.64/260.89 c | 260.89 | 0 | -184293 lb | 0 0 0.00 | 261.95/262.18 c | 262.19 | 0 | -184292 lb | 0 0 0.00 | 263.65/263.86 c | 263.86 | 0 | -184291 lb | 0 0 0.00 | 270.35/270.55 c | 270.56 | 0 | -184290 lb | 0 0 0.00 | 281.35/281.51 c | 281.51 | 0 | -184289 lb | 0 0 0.00 | 283.54/283.72 c | 283.73 | 0 | -184288 lb | 0 0 0.00 | 286.23/286.43 c | 286.44 | 0 | -184287 lb | 0 0 0.00 | 288.24/288.47 c | 288.47 | 0 | -184286 lb | 0 0 0.00 | 289.94/290.16 c | 290.16 | 0 | -184285 lb | 0 0 0.00 | 303.44/303.69 c | 303.69 | 0 | -184284 lb | 0 0 0.00 | 310.24/310.41 c | 310.41 | 0 | -184283 lb | 0 0 0.00 | 312.04/312.22 c | 312.23 | 0 | -184282 lb | 0 0 0.00 | 313.84/314.06 c | 314.06 | 0 | -184281 lb | 0 0 0.00 | 315.73/315.90 c | 315.90 | 0 | -184280 lb | 0 0 0.00 | 319.04/319.28 c | 319.29 | 0 | -184279 lb | 0 0 0.00 | 320.54/320.72 c | 320.72 | 0 | -184278 lb | 0 0 0.00 | 325.73/325.95 c | 325.95 | 0 | -184277 lb | 0 0 0.00 | 329.13/329.33 c | 329.33 | 0 | -184276 lb | 0 0 0.00 | 330.63/330.82 c | 330.82 | 0 | -184275 lb | 0 0 0.00 | 332.33/332.50 c | 332.50 | 0 | -184274 lb | 0 0 0.00 | 347.83/348.06 c | 348.06 | 0 | -184273 lb | 0 0 0.00 | 350.13/350.37 c | 350.37 | 0 | -184272 lb | 0 0 0.00 | 355.73/355.90 c | 355.90 | 0 | -184271 lb | 0 0 0.00 | 360.92/361.13 c | 361.13 | 0 | -184270 lb | 0 0 0.00 | 362.32/362.58 c | 362.58 | 0 | -184269 lb | 0 0 0.00 | 421.71/421.95 c | 421.95 | 0 | -184268 lb | 0 0 0.00 | 423.91/424.13 c | 424.13 | 0 | -184267 lb | 0 0 0.00 | 426.21/426.40 c | 426.40 | 0 | -184266 lb | 0 0 0.00 | 428.12/428.32 c | 428.32 | 0 | -184265 lb | 0 0 0.00 | 430.01/430.22 c | 430.22 | 0 | -184264 lb | 0 0 0.00 | 432.71/432.99 c | 432.99 | 0 | -184263 lb | 0 0 0.00 | 434.21/434.41 c | 434.41 | 0 | -184262 lb | 0 0 0.00 | 448.21/448.41 c | 448.42 | 0 | -184261 lb | 0 0 0.00 | 453.30/453.56 c | 453.57 | 0 | -184260 lb | 0 0 0.00 | 456.21/456.49 c | 456.49 | 0 | -184259 lb | 0 0 0.00 | 485.29/485.56 c | 485.57 | 0 | -184258 lb | 0 0 0.00 | 547.26/547.58 c | 547.59 | 0 | -184257 lb | 0 0 0.00 | 549.46/549.74 c | 549.75 | 0 | -184256 lb | 0 0 0.00 | 560.45/560.73 c | 560.73 | 0 | -184255 lb | 0 0 0.00 | 564.25/564.56 c | 564.56 | 0 | -184254 lb | 0 0 0.00 | 569.95/570.29 c | 570.29 | 0 | -184253 lb | 0 0 0.00 | 571.85/572.13 c | 572.13 | 0 | -184252 lb | 0 0 0.00 | 578.64/578.92 c | 578.92 | 0 | -184251 lb | 0 0 0.00 | 584.04/584.38 c | 584.38 | 0 | -184250 lb | 0 0 0.00 | 586.25/586.55 c | 586.55 | 0 | -184249 lb | 0 0 0.00 | 592.75/593.08 c | 593.08 | 0 | -184248 lb | 0 0 0.00 | 596.04/596.38 c | 596.39 | 0 | -184247 lb | 0 0 0.00 | 606.54/606.89 c | 606.89 | 0 | -184246 lb | 0 0 0.00 | 608.64/608.95 c | 608.96 | 0 | -184245 lb | 0 0 0.00 | 612.84/613.16 c | 613.17 | 0 | -184244 lb | 0 0 0.00 | 616.24/616.58 c | 616.58 | 0 | -184243 lb | 0 0 0.00 | 629.93/630.26 c | 630.27 | 0 | -184242 lb | 0 0 0.00 | 632.13/632.42 c | 632.42 | 0 | -184241 lb | 0 0 0.00 | 652.71/653.07 c | 653.07 | 0 | -184240 lb | 0 0 0.00 | 677.59/677.97 c | 677.97 | 0 | -184239 lb | 0 0 0.00 | 705.49/705.89 c | 705.89 | 0 | -184238 lb | 0 0 0.00 | 713.39/713.72 c | 713.73 | 0 | -184237 lb | 0 0 0.00 | 729.09/729.47 c | 729.48 | 0 | -184236 lb | 0 0 0.00 | 745.88/746.23 c | 746.24 | 0 | -184235 lb | 0 0 0.00 | 764.38/764.77 c | 764.77 | 0 | -184234 lb | 0 0 0.00 | 1369.06/1369.51 c | 1369.51 | 0 | -184233 lb | 0 0 0.00 | 1799.48/1800.00 c =============================================================================== 1799.48/1800.00 c Wall Clock Time: 1800.00 s 1799.48/1800.00 s UNKNOWN
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3727879-1338671583/watcher-3727879-1338671583 -o /tmp/evaluation-result-3727879-1338671583/solver-3727879-1338671583 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727879-1338671583.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.96 3/177 14753 /proc/meminfo: memFree=28194004/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=6116 CPUtime=0 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) R 14751 14753 14380 0 -1 4202496 447 0 0 0 0 0 0 0 20 0 1 0 333282894 6262784 399 33554432000 4194304 5964350 140736269370400 140734426953512 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 1529 399 172 433 0 484 0 [startup+0.0312789 s] /proc/loadavg: 2.00 2.00 1.96 3/177 14753 /proc/meminfo: memFree=28194004/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=8616 CPUtime=0.02 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) R 14751 14753 14380 0 -1 4202496 1107 0 0 0 2 0 0 0 20 0 1 0 333282894 8822784 1059 33554432000 4194304 5964350 140736269370400 140734426953512 4344195 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 2154 1059 260 433 0 1109 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8616 [startup+0.100283 s] /proc/loadavg: 2.00 2.00 1.96 3/177 14753 /proc/meminfo: memFree=28194004/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=15760 CPUtime=0.09 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) R 14751 14753 14380 0 -1 4202496 3035 0 0 0 9 0 0 0 20 0 1 0 333282894 16138240 2938 33554432000 4194304 5964350 140736269370400 140734426953512 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 3940 2938 476 433 0 2895 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15760 [startup+0.300196 s] /proc/loadavg: 2.00 2.00 1.96 3/177 14753 /proc/meminfo: memFree=28194004/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=104056 CPUtime=0.29 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 13120 0 0 0 27 2 0 0 20 0 2 0 333282894 106553344 11209 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 26014 11209 193 433 0 25578 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 104056 [startup+0.700179 s] /proc/loadavg: 2.00 2.00 1.96 3/177 14753 /proc/meminfo: memFree=28194004/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=100036 CPUtime=0.69 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 17209 0 0 0 66 3 0 0 20 0 2 0 333282894 102436864 13582 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 25009 13582 194 433 0 24573 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 100036 [startup+1.50035 s] /proc/loadavg: 2.00 2.00 1.96 3/179 14755 /proc/meminfo: memFree=28131136/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=100036 CPUtime=1.48 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 25415 0 0 0 143 5 0 0 20 0 2 0 333282894 102436864 16475 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 25009 16475 194 433 0 24573 0 [pid=14753/tid=14755] ppid=14751 vsize=100036 CPUtime=1.28 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 19895 0 0 0 123 5 0 0 20 0 2 0 333282914 102436864 16475 33554432000 4194304 5964350 140736269370400 139777033005400 5130821 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 100036 [startup+3.10035 s] /proc/loadavg: 2.00 2.00 1.96 3/179 14755 /proc/meminfo: memFree=28123076/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=100036 CPUtime=3.09 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 33457 0 0 0 302 7 0 0 20 0 2 0 333282894 102436864 18617 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 25009 18302 194 433 0 24573 0 [pid=14753/tid=14755] ppid=14751 vsize=100036 CPUtime=2.87 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 27937 0 0 0 281 6 0 0 20 0 2 0 333282914 102436864 18180 33554432000 4194304 5964350 140736269370400 139777033005592 5244263 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 100036 [startup+6.30036 s] /proc/loadavg: 2.00 2.00 1.96 3/179 14755 /proc/meminfo: memFree=28099528/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=165572 CPUtime=6.28 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 52086 0 0 0 617 11 0 0 20 0 2 0 333282894 169545728 24734 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 41393 24734 194 433 0 40957 0 [pid=14753/tid=14755] ppid=14751 vsize=165572 CPUtime=6.06 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 46566 0 0 0 596 10 0 0 20 0 2 0 333282914 169545728 24734 33554432000 4194304 5964350 140736269370400 139777033005592 4375179 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 165572 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 1.96 3/179 14755 /proc/meminfo: memFree=28050736/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=165572 CPUtime=12.68 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 99596 0 0 0 1249 19 0 0 20 0 2 0 333282894 169545728 32517 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 41393 32517 194 433 0 40957 0 [pid=14753/tid=14755] ppid=14751 vsize=165572 CPUtime=12.45 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 94076 0 0 0 1227 18 0 0 20 0 2 0 333282914 169545728 32517 33554432000 4194304 5964350 140736269370400 139777033005592 5130821 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 165572 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 1.96 3/179 14755 /proc/meminfo: memFree=27973044/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=296644 CPUtime=25.48 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 166887 0 0 0 2516 32 0 0 20 0 2 0 333282894 303763456 52617 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 74161 52617 196 433 0 73725 0 [pid=14753/tid=14755] ppid=14751 vsize=296644 CPUtime=25.21 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 161367 0 0 0 2490 31 0 0 20 0 2 0 333282914 303763456 52617 33554432000 4194304 5964350 140736269370400 139777033005400 4375188 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 296644 [startup+51.1003 s] /proc/loadavg: 2.08 2.02 1.97 3/179 14755 /proc/meminfo: memFree=27887048/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=296644 CPUtime=51.08 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 213860 0 0 0 5065 43 0 0 20 0 2 0 333282894 303763456 67917 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 74161 67917 197 433 0 73725 0 [pid=14753/tid=14755] ppid=14751 vsize=296644 CPUtime=50.75 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 208340 0 0 0 5033 42 0 0 20 0 2 0 333282914 303763456 67917 33554432000 4194304 5964350 140736269370400 139777033005400 4403468 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 296644 [startup+102.307 s] /proc/loadavg: 2.03 2.01 1.97 3/179 14756 /proc/meminfo: memFree=27721980/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=427716 CPUtime=102.25 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 288125 0 0 0 10161 64 0 0 20 0 2 0 333282894 437981184 100559 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 106929 100559 198 433 0 106493 0 [pid=14753/tid=14755] ppid=14751 vsize=427716 CPUtime=101.8 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 282605 0 0 0 10116 64 0 0 20 0 2 0 333282914 437981184 100559 33554432000 4194304 5964350 140736269370400 139777033005400 4399835 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 427716 [startup+162.3 s] /proc/loadavg: 2.01 2.01 1.97 3/179 14756 /proc/meminfo: memFree=27534100/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=624440 CPUtime=162.19 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 353071 0 0 0 16132 87 0 0 20 0 2 0 333282894 639426560 135859 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 156110 135859 198 433 0 155674 0 [pid=14753/tid=14755] ppid=14751 vsize=624440 CPUtime=161.6 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 347551 0 0 0 16072 88 0 0 20 0 2 0 333282914 639426560 135859 33554432000 4194304 5964350 140736269370400 139777033005592 4388787 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 624440 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 14756 /proc/meminfo: memFree=27409376/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=782856 CPUtime=222.16 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 395209 0 0 0 22115 101 0 0 20 0 2 0 333282894 801644544 170989 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 195714 170989 198 433 0 195278 0 [pid=14753/tid=14755] ppid=14751 vsize=782856 CPUtime=221.42 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 389689 0 0 0 22039 103 0 0 20 0 2 0 333282914 801644544 170989 33554432000 4194304 5964350 140736269370400 139777033005896 4392627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 782856 [startup+282.3 s] /proc/loadavg: 2.11 2.03 1.98 3/179 14756 /proc/meminfo: memFree=27317176/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=821048 CPUtime=282.14 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 406116 0 0 0 28108 106 0 0 20 0 2 0 333282894 840753152 184106 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 205262 184106 198 433 0 204826 0 [pid=14753/tid=14755] ppid=14751 vsize=821048 CPUtime=281.26 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 400596 0 0 0 28017 109 0 0 20 0 2 0 333282914 840753152 184106 33554432000 4194304 5964350 140736269370400 139777033005592 4392783 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 821048 [startup+342.3 s] /proc/loadavg: 2.10 2.04 1.98 3/179 14756 /proc/meminfo: memFree=27263960/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=886584 CPUtime=342.13 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 417296 0 0 0 34103 110 0 0 20 0 2 0 333282894 907862016 199605 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 221646 199605 198 433 0 221210 0 [pid=14753/tid=14755] ppid=14751 vsize=886584 CPUtime=341.11 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 411776 0 0 0 33997 114 0 0 20 0 2 0 333282914 907862016 199605 33554432000 4194304 5964350 140736269370400 139777033005592 4403484 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 886584 [startup+402.3 s] /proc/loadavg: 2.04 2.03 1.98 3/179 14757 /proc/meminfo: memFree=27226184/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=886584 CPUtime=402.12 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 418763 0 0 0 40101 111 0 0 20 0 2 0 333282894 907862016 202801 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 221646 202801 198 433 0 221210 0 [pid=14753/tid=14755] ppid=14751 vsize=886584 CPUtime=400.96 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 413243 0 0 0 39980 116 0 0 20 0 2 0 333282914 907862016 202801 33554432000 4194304 5964350 140736269370400 139777033005896 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 886584 [startup+462.3 s] /proc/loadavg: 2.01 2.02 1.98 3/180 14760 /proc/meminfo: memFree=27157228/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=952120 CPUtime=462.1 cores=1,3,5,7 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.04 2.02 2.00 3/179 14767 /proc/meminfo: memFree=26783876/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=1214264 CPUtime=1421.85 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 472845 0 0 0 142033 152 0 0 20 0 2 0 333282894 1243406336 278773 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 303566 278773 198 433 0 303130 0 [pid=14753/tid=14755] ppid=14751 vsize=1214264 CPUtime=1418.24 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 467325 0 0 0 141652 172 0 0 20 0 2 0 333282914 1243406336 278773 33554432000 4194304 5964350 140736269370400 139777033005848 4390788 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1214264 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 14767 /proc/meminfo: memFree=26780156/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=1214264 CPUtime=1481.83 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 472850 0 0 0 148031 152 0 0 20 0 2 0 333282894 1243406336 278778 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 303566 278778 198 433 0 303130 0 [pid=14753/tid=14755] ppid=14751 vsize=1214264 CPUtime=1478.08 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 467330 0 0 0 147635 173 0 0 20 0 2 0 333282914 1243406336 278778 33554432000 4194304 5964350 140736269370400 139777033005848 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1214264 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 14767 /proc/meminfo: memFree=26767508/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=1214264 CPUtime=1541.82 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 472949 0 0 0 154030 152 0 0 20 0 2 0 333282894 1243406336 278877 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 303566 278877 198 433 0 303130 0 [pid=14753/tid=14755] ppid=14751 vsize=1214264 CPUtime=1537.93 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 467429 0 0 0 153619 174 0 0 20 0 2 0 333282914 1243406336 278877 33554432000 4194304 5964350 140736269370400 139777033005848 4399930 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1214264 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 14768 /proc/meminfo: memFree=26756596/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=1214264 CPUtime=1601.81 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 472953 0 0 0 160029 152 0 0 20 0 2 0 333282894 1243406336 278881 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 303566 278881 198 433 0 303130 0 [pid=14753/tid=14755] ppid=14751 vsize=1214264 CPUtime=1597.77 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 467433 0 0 0 159602 175 0 0 20 0 2 0 333282914 1243406336 278881 33554432000 4194304 5964350 140736269370400 139777033005848 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1214264 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 14771 /proc/meminfo: memFree=26747040/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=1214264 CPUtime=1661.8 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 472976 0 0 0 166028 152 0 0 20 0 2 0 333282894 1243406336 278904 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 303566 278904 198 433 0 303130 0 [pid=14753/tid=14755] ppid=14751 vsize=1214264 CPUtime=1657.62 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 467456 0 0 0 165586 176 0 0 20 0 2 0 333282914 1243406336 278904 33554432000 4194304 5964350 140736269370400 139777033005848 4403510 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1214264 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14771 /proc/meminfo: memFree=26736892/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=1214264 CPUtime=1721.79 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 473046 0 0 0 172027 152 0 0 20 0 2 0 333282894 1243406336 278974 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 303566 278974 198 433 0 303130 0 [pid=14753/tid=14755] ppid=14751 vsize=1214264 CPUtime=1717.47 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 467526 0 0 0 171570 177 0 0 20 0 2 0 333282914 1243406336 278974 33554432000 4194304 5964350 140736269370400 139777033005848 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1214264 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14771 /proc/meminfo: memFree=26725616/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=1214264 CPUtime=1781.78 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 473271 0 0 0 178026 152 0 0 20 0 2 0 333282894 1243406336 279199 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 303566 279199 198 433 0 303130 0 [pid=14753/tid=14755] ppid=14751 vsize=1214264 CPUtime=1777.31 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 467751 0 0 0 177554 177 0 0 20 0 2 0 333282914 1243406336 279199 33554432000 4194304 5964350 140736269370400 139777033005848 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1214264 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14771 /proc/meminfo: memFree=26723880/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=1214264 CPUtime=1791.39 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 473387 0 0 0 178987 152 0 0 20 0 2 0 333282894 1243406336 279315 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 303566 279315 198 433 0 303130 0 [pid=14753/tid=14755] ppid=14751 vsize=1214264 CPUtime=1786.9 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 467867 0 0 0 178512 178 0 0 20 0 2 0 333282914 1243406336 279315 33554432000 4194304 5964350 140736269370400 139777033005848 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 1214264 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14771 /proc/meminfo: memFree=26723136/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=1214264 CPUtime=1794.59 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 473417 0 0 0 179307 152 0 0 20 0 2 0 333282894 1243406336 279345 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 303566 279345 198 433 0 303130 0 [pid=14753/tid=14755] ppid=14751 vsize=1214264 CPUtime=1790.09 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 467897 0 0 0 178831 178 0 0 20 0 2 0 333282914 1243406336 279345 33554432000 4194304 5964350 140736269370400 139777033005848 4403618 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 1214264 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14771 /proc/meminfo: memFree=26722392/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=1214264 CPUtime=1797.78 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 473474 0 0 0 179626 152 0 0 20 0 2 0 333282894 1243406336 279402 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 303566 279402 198 433 0 303130 0 [pid=14753/tid=14755] ppid=14751 vsize=1214264 CPUtime=1793.27 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 467954 0 0 0 179149 178 0 0 20 0 2 0 333282914 1243406336 279402 33554432000 4194304 5964350 140736269370400 139777033005848 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.78 Current children cumulated vsize (KiB) 1214264 [startup+1799.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14771 /proc/meminfo: memFree=26722144/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=1214264 CPUtime=1798.58 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 473477 0 0 0 179706 152 0 0 20 0 2 0 333282894 1243406336 279405 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 303566 279405 198 433 0 303130 0 [pid=14753/tid=14755] ppid=14751 vsize=1214264 CPUtime=1794.07 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 467957 0 0 0 179229 178 0 0 20 0 2 0 333282914 1243406336 279405 33554432000 4194304 5964350 140736269370400 139777033005848 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.58 Current children cumulated vsize (KiB) 1214264 [startup+1799.5 s] /proc/loadavg: 2.00 2.00 2.00 3/175 14799 /proc/meminfo: memFree=27126800/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=1214264 CPUtime=1798.98 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 473481 0 0 0 179746 152 0 0 20 0 2 0 333282894 1243406336 279409 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 303566 279409 198 433 0 303130 0 [pid=14753/tid=14755] ppid=14751 vsize=1214264 CPUtime=1794.48 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 467961 0 0 0 179270 178 0 0 20 0 2 0 333282914 1243406336 279409 33554432000 4194304 5964350 140736269370400 139777033005848 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.98 Current children cumulated vsize (KiB) 1214264 [startup+1799.9 s] /proc/loadavg: 2.00 2.00 2.00 3/175 14799 /proc/meminfo: memFree=27126800/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=1214264 CPUtime=1799.38 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 473481 0 0 0 179786 152 0 0 20 0 2 0 333282894 1243406336 279409 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 303566 279409 198 433 0 303130 0 [pid=14753/tid=14755] ppid=14751 vsize=1214264 CPUtime=1794.87 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 467961 0 0 0 179309 178 0 0 20 0 2 0 333282914 1243406336 279409 33554432000 4194304 5964350 140736269370400 139777033005848 4399930 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.38 Current children cumulated vsize (KiB) 1214264 [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/175 14799 /proc/meminfo: memFree=27126800/32873844 swapFree=7108/7108 [pid=14753] ppid=14751 vsize=1214264 CPUtime=1799.48 cores=1,3,5,7 /proc/14753/stat : 14753 (wbo1.72) S 14751 14753 14380 0 -1 4202496 473481 0 0 0 179796 152 0 0 20 0 2 0 333282894 1243406336 279409 33554432000 4194304 5964350 140736269370400 140736269369920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14753/statm: 303566 279409 198 433 0 303130 0 [pid=14753/tid=14755] ppid=14751 vsize=1214264 CPUtime=1794.97 cores=1,3,5,7 /proc/14753/task/14755/stat : 14755 (wbo1.72) R 14751 14753 14380 0 -1 4202560 467961 0 0 0 179319 178 0 0 20 0 2 0 333282914 1243406336 279409 33554432000 4194304 5964350 140736269370400 139777033005848 4392643 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.48 Current children cumulated vsize (KiB) 1214264 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14753 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=388363 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=810724 # CPU time returned by wait4() is 1795.2 # while last known CPU time is 1799.48 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.01 CPU time (s): 1799.48 CPU user time (s): 1797.96 CPU system time (s): 1.52 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 1312692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.39 system time used= 1.81072 maximum resident set size= 1193324 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 473483 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= 247 involuntary context switches= 2035 runsolver used 2.72059 second user time and 8.82166 second system time The end
Begin job on node139 at 2012-06-02 23:13:03 IDJOB=3727879 IDBENCH=90546 IDSOLVER=2313 FILE ID=node139/3727879-1338671583 RUNJOBID= node139-1338667982-14514 PBS_JOBID= 14636493 Free space on /tmp= 71088 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727879-1338671583/watcher-3727879-1338671583 -o /tmp/evaluation-result-3727879-1338671583/solver-3727879-1338671583 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727879-1338671583.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 30f336dd624b9f7763c8bbeed1369f76 RANDOM SEED=174083941 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28194392 kB Buffers: 487136 kB Cached: 3256792 kB SwapCached: 828 kB Active: 1725760 kB Inactive: 2080116 kB Active(anon): 55236 kB Inactive(anon): 7964 kB Active(file): 1670524 kB Inactive(file): 2072152 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67104688 kB Dirty: 15848 kB Writeback: 0 kB AnonPages: 188108 kB Mapped: 12364 kB Shmem: 8 kB Slab: 732472 kB SReclaimable: 174364 kB SUnreclaim: 558108 kB KernelStack: 1456 kB PageTables: 4240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 158552 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 137216 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71072 MiB End job on node139 at 2012-06-02 23:43:04