Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.7 | ? | 1799.56 | 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.7 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3705578-1338120657.opb. 0.00/0.00 c Instance file HOME/instance-3705578-1338120657.opb 0.00/0.00 c File size is 2493822 bytes. 0.09/0.19 c Cost Offset: -185532 0.09/0.19 c Highest Coefficient sum: 12653 0.09/0.19 c ============================[ Problem Statistics ]============================= 0.09/0.19 c | | 0.09/0.19 c | Parsing time: 0.20 s | 0.09/0.19 c | Number Variables: 40937 | 0.09/0.19 c | Number Clauses: 40882 | 0.09/0.19 c | Number Cardinality: 553 | 0.09/0.19 c | Number PB Constraints: 1 | 0.09/0.19 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.28/0.32 c | 0.32 | 0 | -185525 lb | 0 0 0.00 | 0.28/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.52 | 0 | -185517 lb | 0 0 0.00 | 0.49/0.56 c | 0.56 | 0 | -185515 lb | 0 0 0.00 | 0.59/0.60 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.78 | 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.88/0.93 c | 0.93 | 0 | -185481 lb | 0 0 0.00 | 0.88/0.98 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.10/1.13 c | 1.13 | 0 | -185474 lb | 0 0 0.00 | 1.10/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.39 c | 1.39 | 0 | -185461 lb | 0 0 0.00 | 1.39/1.44 c | 1.44 | 0 | -185460 lb | 0 0 0.00 | 1.48/1.51 c | 1.49 | 0 | -185458 lb | 0 0 0.00 | 1.48/1.55 c | 1.55 | 0 | -185455 lb | 0 0 0.00 | 1.58/1.60 c | 1.60 | 0 | -185454 lb | 0 0 0.00 | 1.58/1.65 c | 1.66 | 0 | -185452 lb | 0 0 0.00 | 1.68/1.71 c | 1.71 | 0 | -185450 lb | 0 0 0.00 | 1.68/1.77 c | 1.77 | 0 | -185444 lb | 0 0 0.00 | 1.78/1.82 c | 1.82 | 0 | -185443 lb | 0 0 0.00 | 1.78/1.88 c | 1.88 | 0 | -185442 lb | 0 0 0.00 | 1.88/1.93 c | 1.93 | 0 | -185440 lb | 0 0 0.00 | 1.88/1.99 c | 1.99 | 0 | -185439 lb | 0 0 0.00 | 1.98/2.04 c | 2.04 | 0 | -185435 lb | 0 0 0.00 | 1.98/2.10 c | 2.10 | 0 | -185428 lb | 0 0 0.00 | 2.09/2.16 c | 2.16 | 0 | -185427 lb | 0 0 0.00 | 2.19/2.22 c | 2.22 | 0 | -185426 lb | 0 0 0.00 | 2.19/2.28 c | 2.28 | 0 | -185425 lb | 0 0 0.00 | 2.28/2.33 c | 2.33 | 0 | -185423 lb | 0 0 0.00 | 2.28/2.39 c | 2.39 | 0 | -185422 lb | 0 0 0.00 | 2.38/2.45 c | 2.45 | 0 | -185419 lb | 0 0 0.00 | 2.48/2.51 c | 2.51 | 0 | -185417 lb | 0 0 0.00 | 2.48/2.57 c | 2.57 | 0 | -185416 lb | 0 0 0.00 | 2.58/2.63 c | 2.63 | 0 | -185414 lb | 0 0 0.00 | 2.58/2.69 c | 2.69 | 0 | -185412 lb | 0 0 0.00 | 2.68/2.75 c | 2.76 | 0 | -185402 lb | 0 0 0.00 | 2.78/2.82 c | 2.82 | 0 | -185399 lb | 0 0 0.00 | 2.78/2.88 c | 2.88 | 0 | -185397 lb | 0 0 0.00 | 2.89/2.94 c | 2.94 | 0 | -185395 lb | 0 0 0.00 | 2.99/3.00 c | 3.01 | 0 | -185393 lb | 0 0 0.00 | 2.99/3.07 c | 3.07 | 0 | -185392 lb | 0 0 0.00 | 3.09/3.13 c | 3.13 | 0 | -185391 lb | 0 0 0.00 | 3.09/3.20 c | 3.20 | 0 | -185390 lb | 0 0 0.00 | 3.19/3.26 c | 3.26 | 0 | -185387 lb | 0 0 0.00 | 3.29/3.32 c | 3.33 | 0 | -185385 lb | 0 0 0.00 | 3.29/3.39 c | 3.39 | 0 | -185383 lb | 0 0 0.00 | 3.39/3.45 c | 3.46 | 0 | -185381 lb | 0 0 0.00 | 3.48/3.52 c | 3.52 | 0 | -185375 lb | 0 0 0.00 | 3.48/3.58 c | 3.59 | 0 | -185374 lb | 0 0 0.00 | 3.58/3.65 c | 3.65 | 0 | -185370 lb | 0 0 0.00 | 3.68/3.72 c | 3.72 | 0 | -185366 lb | 0 0 0.00 | 3.68/3.79 c | 3.79 | 0 | -185365 lb | 0 0 0.00 | 3.78/3.85 c | 3.85 | 0 | -185361 lb | 0 0 0.00 | 3.88/3.92 c | 3.92 | 0 | -185358 lb | 0 0 0.00 | 3.88/3.99 c | 3.99 | 0 | -185356 lb | 0 0 0.00 | 3.99/4.05 c | 4.05 | 0 | -185355 lb | 0 0 0.00 | 4.09/4.12 c | 4.12 | 0 | -185352 lb | 0 0 0.00 | 4.09/4.19 c | 4.19 | 0 | -185348 lb | 0 0 0.00 | 4.18/4.26 c | 4.26 | 0 | -185342 lb | 0 0 0.00 | 4.29/4.33 c | 4.33 | 0 | -185339 lb | 0 0 0.00 | 4.29/4.39 c | 4.40 | 0 | -185333 lb | 0 0 0.00 | 4.39/4.46 c | 4.46 | 0 | -185331 lb | 0 0 0.00 | 4.48/4.53 c | 4.54 | 0 | -185328 lb | 0 0 0.00 | 4.58/4.60 c | 4.61 | 0 | -185326 lb | 0 0 0.00 | 4.58/4.67 c | 4.67 | 0 | -185324 lb | 0 0 0.00 | 4.68/4.74 c | 4.75 | 0 | -185322 lb | 0 0 0.00 | 4.78/4.81 c | 4.82 | 0 | -185317 lb | 0 0 0.00 | 4.78/4.88 c | 4.88 | 0 | -185316 lb | 0 0 0.00 | 4.88/4.95 c | 4.96 | 0 | -185315 lb | 0 0 0.00 | 4.98/5.02 c | 5.03 | 0 | -185314 lb | 0 0 0.00 | 5.08/5.10 c | 5.10 | 0 | -185313 lb | 0 0 0.00 | 5.08/5.17 c | 5.17 | 0 | -185311 lb | 0 0 0.00 | 5.19/5.24 c | 5.24 | 0 | -185308 lb | 0 0 0.00 | 5.29/5.32 c | 5.32 | 0 | -185307 lb | 0 0 0.00 | 5.29/5.39 c | 5.39 | 0 | -185305 lb | 0 0 0.00 | 5.39/5.46 c | 5.46 | 0 | -185303 lb | 0 0 0.00 | 5.49/5.53 c | 5.53 | 0 | -185295 lb | 0 0 0.00 | 5.59/5.61 c | 5.61 | 0 | -185289 lb | 0 0 0.00 | 5.59/5.68 c | 5.68 | 0 | -185282 lb | 0 0 0.00 | 5.68/5.76 c | 5.76 | 0 | -185281 lb | 0 0 0.00 | 5.78/5.83 c | 5.83 | 0 | -185280 lb | 0 0 0.00 | 5.88/5.90 c | 5.90 | 0 | -185279 lb | 0 0 0.00 | 5.88/5.98 c | 5.98 | 0 | -185276 lb | 0 0 0.00 | 5.98/6.05 c | 6.05 | 0 | -185275 lb | 0 0 0.00 | 6.08/6.13 c | 6.13 | 0 | -185271 lb | 0 0 0.00 | 6.18/6.20 c | 6.21 | 0 | -185268 lb | 0 0 0.00 | 6.18/6.28 c | 6.28 | 0 | -185258 lb | 0 0 0.00 | 6.29/6.35 c | 6.36 | 0 | -185247 lb | 0 0 0.00 | 6.39/6.43 c | 6.43 | 0 | -185234 lb | 0 0 0.00 | 6.49/6.50 c | 6.50 | 0 | -185229 lb | 0 0 0.00 | 6.49/6.58 c | 6.58 | 0 | -185228 lb | 0 0 0.00 | 6.59/6.66 c | 6.66 | 0 | -185227 lb | 0 0 0.00 | 6.68/6.73 c | 6.74 | 0 | -185225 lb | 0 0 0.00 | 6.78/6.81 c | 6.81 | 0 | -185223 lb | 0 0 0.00 | 6.78/6.89 c | 6.89 | 0 | -185220 lb | 0 0 0.00 | 6.88/6.97 c | 6.97 | 0 | -185217 lb | 0 0 0.00 | 6.98/7.05 c | 7.05 | 0 | -185210 lb | 0 0 0.00 | 7.08/7.13 c | 7.13 | 0 | -185208 lb | 0 0 0.00 | 7.18/7.21 c | 7.21 | 0 | -185207 lb | 0 0 0.00 | 7.18/7.28 c | 7.29 | 0 | -185204 lb | 0 0 0.00 | 7.29/7.36 c | 7.36 | 0 | -185201 lb | 0 0 0.00 | 7.39/7.44 c | 7.44 | 0 | -185199 lb | 0 0 0.00 | 7.48/7.52 c | 7.52 | 0 | -185192 lb | 0 0 0.00 | 7.48/7.60 c | 7.60 | 0 | -185191 lb | 0 0 0.00 | 7.59/7.68 c | 7.68 | 0 | -185186 lb | 0 0 0.00 | 7.69/7.76 c | 7.76 | 0 | -185185 lb | 0 0 0.00 | 7.78/7.84 c | 7.84 | 0 | -185182 lb | 0 0 0.00 | 7.88/7.92 c | 7.92 | 0 | -185176 lb | 0 0 0.00 | 7.99/8.00 c | 8.01 | 0 | -185171 lb | 0 0 0.00 | 7.99/8.08 c | 8.09 | 0 | -185170 lb | 0 0 0.00 | 8.09/8.17 c | 8.17 | 0 | -185166 lb | 0 0 0.00 | 8.19/8.25 c | 8.25 | 0 | -185161 lb | 0 0 0.00 | 8.28/8.33 c | 8.33 | 0 | -185158 lb | 0 0 0.00 | 8.38/8.41 c | 8.42 | 0 | -185157 lb | 0 0 0.00 | 8.48/8.50 c | 8.50 | 0 | -185156 lb | 0 0 0.00 | 8.48/8.58 c | 8.58 | 0 | -185154 lb | 0 0 0.00 | 8.58/8.66 c | 8.66 | 0 | -185153 lb | 0 0 0.00 | 8.69/8.74 c | 8.75 | 0 | -185151 lb | 0 0 0.00 | 8.79/8.83 c | 8.83 | 0 | -185150 lb | 0 0 0.00 | 8.88/8.91 c | 8.91 | 0 | -185149 lb | 0 0 0.00 | 8.88/8.99 c | 9.00 | 0 | -185148 lb | 0 0 0.00 | 8.99/9.08 c | 9.08 | 0 | -185139 lb | 0 0 0.00 | 9.08/9.16 c | 9.17 | 0 | -185138 lb | 0 0 0.00 | 9.18/9.25 c | 9.25 | 0 | -185129 lb | 0 0 0.00 | 9.28/9.33 c | 9.34 | 0 | -185124 lb | 0 0 0.00 | 9.39/9.42 c | 9.43 | 0 | -185123 lb | 0 0 0.00 | 9.49/9.51 c | 9.51 | 0 | -185121 lb | 0 0 0.00 | 9.58/9.60 c | 9.60 | 0 | -185119 lb | 0 0 0.00 | 9.58/9.68 c | 9.68 | 0 | -185110 lb | 0 0 0.00 | 9.68/9.77 c | 9.77 | 0 | -185108 lb | 0 0 0.00 | 9.79/9.85 c | 9.85 | 0 | -185105 lb | 0 0 0.00 | 9.89/9.94 c | 9.94 | 0 | -185102 lb | 0 0 0.00 | 9.98/10.02 c | 10.02 | 0 | -185093 lb | 0 0 0.00 | 10.08/10.11 c | 10.11 | 0 | -185087 lb | 0 0 0.00 | 10.08/10.19 c | 10.19 | 0 | -185082 lb | 0 0 0.00 | 10.18/10.28 c | 10.29 | 0 | -185081 lb | 0 0 0.00 | 10.28/10.37 c | 10.37 | 0 | -185072 lb | 0 0 0.00 | 10.38/10.46 c | 10.46 | 0 | -185071 lb | 0 0 0.00 | 10.48/10.54 c | 10.54 | 0 | -185068 lb | 0 0 0.00 | 10.59/10.63 c | 10.63 | 0 | -185057 lb | 0 0 0.00 | 10.69/10.72 c | 10.72 | 0 | -185051 lb | 0 0 0.00 | 10.79/10.81 c | 10.81 | 0 | -185050 lb | 0 0 0.00 | 10.79/10.89 c | 10.89 | 0 | -185047 lb | 0 0 0.00 | 10.90/10.98 c | 10.98 | 0 | -185045 lb | 0 0 0.00 | 11.00/11.07 c | 11.07 | 0 | -185044 lb | 0 0 0.00 | 11.08/11.16 c | 11.16 | 0 | -185042 lb | 0 0 0.00 | 11.18/11.25 c | 11.25 | 0 | -185035 lb | 0 0 0.00 | 11.28/11.34 c | 11.34 | 0 | -185034 lb | 0 0 0.00 | 11.38/11.43 c | 11.43 | 0 | -185033 lb | 0 0 0.00 | 11.49/11.52 c | 11.52 | 0 | -185031 lb | 0 0 0.00 | 11.59/11.61 c | 11.61 | 0 | -185030 lb | 0 0 0.00 | 11.68/11.71 c | 11.71 | 0 | -185023 lb | 0 0 0.00 | 11.68/11.79 c | 11.80 | 0 | -185019 lb | 0 0 0.00 | 11.78/11.89 c | 11.89 | 0 | -185018 lb | 0 0 0.00 | 11.88/11.98 c | 11.98 | 0 | -185014 lb | 0 0 0.00 | 11.99/12.07 c | 12.07 | 0 | -185013 lb | 0 0 0.00 | 12.09/12.16 c | 12.16 | 0 | -185006 lb | 0 0 0.00 | 12.18/12.25 c | 12.25 | 0 | -185005 lb | 0 0 0.00 | 12.28/12.34 c | 12.34 | 0 | -185002 lb | 0 0 0.00 | 12.38/12.43 c | 12.43 | 0 | -185000 lb | 0 0 0.00 | 12.49/12.52 c | 12.52 | 0 | -184999 lb | 0 0 0.00 | 12.59/12.62 c | 12.62 | 0 | -184998 lb | 0 0 0.00 | 12.69/12.71 c | 12.71 | 0 | -184997 lb | 0 0 0.00 | 12.78/12.80 c | 12.80 | 0 | -184996 lb | 0 0 0.00 | 12.78/12.89 c | 12.89 | 0 | -184995 lb | 0 0 0.00 | 12.88/12.98 c | 12.98 | 0 | -184990 lb | 0 0 0.00 | 12.99/13.07 c | 13.08 | 0 | -184987 lb | 0 0 0.00 | 13.09/13.17 c | 13.17 | 0 | -184982 lb | 0 0 0.00 | 13.19/13.26 c | 13.26 | 0 | -184979 lb | 0 0 0.00 | 13.28/13.35 c | 13.36 | 0 | -184972 lb | 0 0 0.00 | 13.38/13.45 c | 13.45 | 0 | -184970 lb | 0 0 0.00 | 13.48/13.54 c | 13.54 | 0 | -184966 lb | 0 0 0.00 | 13.58/13.63 c | 13.63 | 0 | -184965 lb | 0 0 0.00 | 13.69/13.72 c | 13.72 | 0 | -184962 lb | 0 0 0.00 | 13.79/13.82 c | 13.82 | 0 | -184961 lb | 0 0 0.00 | 13.89/13.91 c | 13.91 | 0 | -184959 lb | 0 0 0.00 | 13.99/14.00 c | 14.01 | 0 | -184957 lb | 0 0 0.00 | 14.08/14.10 c | 14.10 | 0 | -184956 lb | 0 0 0.00 | 14.08/14.19 c | 14.20 | 0 | -184953 lb | 0 0 0.00 | 14.19/14.29 c | 14.29 | 0 | -184944 lb | 0 0 0.00 | 14.29/14.39 c | 14.39 | 0 | -184941 lb | 0 0 0.00 | 14.38/14.48 c | 14.48 | 0 | -184940 lb | 0 0 0.00 | 14.48/14.58 c | 14.58 | 0 | -184936 lb | 0 0 0.00 | 14.58/14.67 c | 14.68 | 0 | -184934 lb | 0 0 0.00 | 14.68/14.77 c | 14.77 | 0 | -184929 lb | 0 0 0.00 | 14.78/14.87 c | 14.87 | 0 | -184924 lb | 0 0 0.00 | 14.88/14.96 c | 14.96 | 0 | -184923 lb | 0 0 0.00 | 14.99/15.06 c | 15.06 | 0 | -184920 lb | 0 0 0.00 | 15.09/15.16 c | 15.16 | 0 | -184918 lb | 0 0 0.00 | 15.18/15.26 c | 15.26 | 0 | -184916 lb | 0 0 0.00 | 15.29/15.35 c | 15.35 | 0 | -184912 lb | 0 0 0.00 | 15.39/15.45 c | 15.45 | 0 | -184911 lb | 0 0 0.00 | 15.48/15.55 c | 15.55 | 0 | -184910 lb | 0 0 0.00 | 15.59/15.64 c | 15.64 | 0 | -184907 lb | 0 0 0.00 | 15.69/15.74 c | 15.74 | 0 | -184901 lb | 0 0 0.00 | 15.79/15.84 c | 15.84 | 0 | -184897 lb | 0 0 0.00 | 15.89/15.94 c | 15.94 | 0 | -184895 lb | 0 0 0.00 | 15.99/16.03 c | 16.03 | 0 | -184894 lb | 0 0 0.00 | 16.09/16.13 c | 16.13 | 0 | -184889 lb | 0 0 0.00 | 16.19/16.23 c | 16.23 | 0 | -184888 lb | 0 0 0.00 | 16.29/16.32 c | 16.33 | 0 | -184887 lb | 0 0 0.00 | 16.39/16.43 c | 16.43 | 0 | -184884 lb | 0 0 0.00 | 16.49/16.52 c | 16.52 | 0 | -184880 lb | 0 0 0.00 | 16.58/16.62 c | 16.62 | 0 | -184878 lb | 0 0 0.00 | 16.68/16.72 c | 16.72 | 0 | -184876 lb | 0 0 0.00 | 16.78/16.82 c | 16.82 | 0 | -184873 lb | 0 0 0.00 | 16.88/16.92 c | 16.92 | 0 | -184868 lb | 0 0 0.00 | 16.98/17.02 c | 17.02 | 0 | -184866 lb | 0 0 0.00 | 17.09/17.12 c | 17.12 | 0 | -184864 lb | 0 0 0.00 | 17.19/17.22 c | 17.22 | 0 | -184863 lb | 0 0 0.00 | 17.28/17.32 c | 17.32 | 0 | -184862 lb | 0 0 0.00 | 17.38/17.42 c | 17.42 | 0 | -184859 lb | 0 0 0.00 | 17.49/17.52 c | 17.52 | 0 | -184855 lb | 0 0 0.00 | 17.59/17.62 c | 17.62 | 0 | -184852 lb | 0 0 0.00 | 17.68/17.72 c | 17.72 | 0 | -184843 lb | 0 0 0.00 | 17.79/17.82 c | 17.82 | 0 | -184839 lb | 0 0 0.00 | 17.89/17.92 c | 17.92 | 0 | -184834 lb | 0 0 0.00 | 17.99/18.02 c | 18.02 | 0 | -184830 lb | 0 0 0.00 | 18.08/18.13 c | 18.13 | 0 | -184823 lb | 0 0 0.00 | 18.18/18.23 c | 18.23 | 0 | -184822 lb | 0 0 0.00 | 18.28/18.33 c | 18.33 | 0 | -184820 lb | 0 0 0.00 | 18.38/18.43 c | 18.43 | 0 | -184819 lb | 0 0 0.00 | 18.48/18.53 c | 18.53 | 0 | -184818 lb | 0 0 0.00 | 18.59/18.63 c | 18.63 | 0 | -184816 lb | 0 0 0.00 | 18.69/18.74 c | 18.74 | 0 | -184812 lb | 0 0 0.00 | 18.79/18.84 c | 18.84 | 0 | -184807 lb | 0 0 0.00 | 18.89/18.94 c | 18.95 | 0 | -184798 lb | 0 0 0.00 | 18.99/19.05 c | 19.05 | 0 | -184795 lb | 0 0 0.00 | 19.09/19.15 c | 19.15 | 0 | -184791 lb | 0 0 0.00 | 19.19/19.25 c | 19.25 | 0 | -184787 lb | 0 0 0.00 | 19.28/19.36 c | 19.36 | 0 | -184785 lb | 0 0 0.00 | 19.38/19.46 c | 19.46 | 0 | -184784 lb | 0 0 0.00 | 19.48/19.56 c | 19.57 | 0 | -184780 lb | 0 0 0.00 | 19.58/19.67 c | 19.67 | 0 | -184775 lb | 0 0 0.00 | 19.69/19.77 c | 19.78 | 0 | -184769 lb | 0 0 0.00 | 19.79/19.88 c | 19.88 | 0 | -184766 lb | 0 0 0.00 | 19.89/19.98 c | 19.99 | 0 | -184765 lb | 0 0 0.00 | 19.99/20.09 c | 20.09 | 0 | -184761 lb | 0 0 0.00 | 20.09/20.19 c | 20.20 | 0 | -184760 lb | 0 0 0.00 | 20.28/20.30 c | 20.30 | 0 | -184758 lb | 0 0 0.00 | 20.38/20.41 c | 20.41 | 0 | -184756 lb | 0 0 0.00 | 20.48/20.51 c | 20.51 | 0 | -184754 lb | 0 0 0.00 | 20.58/20.62 c | 20.62 | 0 | -184749 lb | 0 0 0.00 | 20.68/20.72 c | 20.72 | 0 | -184748 lb | 0 0 0.00 | 20.79/20.83 c | 20.83 | 0 | -184745 lb | 0 0 0.00 | 20.89/20.94 c | 20.94 | 0 | -184737 lb | 0 0 0.00 | 20.99/21.04 c | 21.04 | 0 | -184734 lb | 0 0 0.00 | 21.08/21.15 c | 21.15 | 0 | -184733 lb | 0 0 0.00 | 21.18/21.26 c | 21.26 | 0 | -184731 lb | 0 0 0.00 | 21.28/21.38 c | 21.38 | 0 | -184729 lb | 0 0 0.00 | 21.38/21.49 c | 21.49 | 0 | -184728 lb | 0 0 0.00 | 21.58/21.63 c | 21.63 | 0 | -184726 lb | 0 0 0.00 | 21.68/21.77 c | 21.77 | 0 | -184725 lb | 0 0 0.00 | 21.89/21.92 c | 21.92 | 0 | -184724 lb | 0 0 0.00 | 21.98/22.06 c | 22.06 | 0 | -184723 lb | 0 0 0.00 | 22.19/22.21 c | 22.21 | 0 | -184722 lb | 0 0 0.00 | 22.28/22.35 c | 22.35 | 0 | -184721 lb | 0 0 0.00 | 22.48/22.50 c | 22.50 | 0 | -184720 lb | 0 0 0.00 | 22.58/22.64 c | 22.64 | 0 | -184718 lb | 0 0 0.00 | 22.68/22.79 c | 22.80 | 0 | -184717 lb | 0 0 0.00 | 22.88/22.95 c | 22.95 | 0 | -184716 lb | 0 0 0.00 | 23.09/23.12 c | 23.12 | 0 | -184715 lb | 0 0 0.00 | 23.18/23.28 c | 23.28 | 0 | -184714 lb | 0 0 0.00 | 23.38/23.44 c | 23.44 | 0 | -184713 lb | 0 0 0.00 | 23.58/23.60 c | 23.61 | 0 | -184712 lb | 0 0 0.00 | 23.68/23.77 c | 23.77 | 0 | -184711 lb | 0 0 0.00 | 23.88/23.93 c | 23.93 | 0 | -184710 lb | 0 0 0.00 | 24.08/24.10 c | 24.11 | 0 | -184709 lb | 0 0 0.00 | 24.18/24.29 c | 24.29 | 0 | -184708 lb | 0 0 0.00 | 24.38/24.48 c | 24.48 | 0 | -184707 lb | 0 0 0.00 | 24.58/24.66 c | 24.66 | 0 | -184706 lb | 0 0 0.00 | 24.78/24.85 c | 24.85 | 0 | -184705 lb | 0 0 0.00 | 24.98/25.05 c | 25.05 | 0 | -184704 lb | 0 0 0.00 | 25.19/25.26 c | 25.26 | 0 | -184703 lb | 0 0 0.00 | 25.38/25.46 c | 25.46 | 0 | -184702 lb | 0 0 0.00 | 25.58/25.67 c | 25.67 | 0 | -184701 lb | 0 0 0.00 | 25.78/25.87 c | 25.88 | 0 | -184698 lb | 0 0 0.00 | 25.98/26.08 c | 26.09 | 0 | -184696 lb | 0 0 0.00 | 26.19/26.30 c | 26.30 | 0 | -184695 lb | 0 0 0.00 | 26.49/26.52 c | 26.52 | 0 | -184694 lb | 0 0 0.00 | 26.68/26.76 c | 26.76 | 0 | -184693 lb | 0 0 0.00 | 26.88/26.99 c | 26.99 | 0 | -184692 lb | 0 0 0.00 | 27.18/27.22 c | 27.22 | 0 | -184691 lb | 0 0 0.00 | 27.39/27.46 c | 27.46 | 0 | -184690 lb | 0 0 0.00 | 27.68/27.70 c | 27.70 | 0 | -184689 lb | 0 0 0.00 | 27.88/27.95 c | 27.95 | 0 | -184688 lb | 0 0 0.00 | 28.18/28.21 c | 28.21 | 0 | -184687 lb | 0 0 0.00 | 28.38/28.47 c | 28.47 | 0 | -184686 lb | 0 0 0.00 | 28.68/28.72 c | 28.73 | 0 | -184685 lb | 0 0 0.00 | 28.88/28.98 c | 28.98 | 0 | -184684 lb | 0 0 0.00 | 29.18/29.24 c | 29.24 | 0 | -184683 lb | 0 0 0.00 | 29.38/29.49 c | 29.49 | 0 | -184682 lb | 0 0 0.00 | 29.69/29.75 c | 29.75 | 0 | -184680 lb | 0 0 0.00 | 29.99/30.00 c | 30.00 | 0 | -184679 lb | 0 0 0.00 | 30.18/30.26 c | 30.26 | 0 | -184678 lb | 0 0 0.00 | 30.48/30.51 c | 30.52 | 0 | -184677 lb | 0 0 0.00 | 30.69/30.77 c | 30.77 | 0 | -184676 lb | 0 0 0.00 | 30.98/31.02 c | 31.02 | 0 | -184675 lb | 0 0 0.00 | 31.18/31.28 c | 31.28 | 0 | -184674 lb | 0 0 0.00 | 31.48/31.54 c | 31.54 | 0 | -184673 lb | 0 0 0.00 | 31.68/31.79 c | 31.80 | 0 | -184672 lb | 0 0 0.00 | 31.98/32.06 c | 32.06 | 0 | -184671 lb | 0 0 0.00 | 32.28/32.33 c | 32.33 | 0 | -184670 lb | 0 0 0.00 | 32.48/32.59 c | 32.59 | 0 | -184669 lb | 0 0 0.00 | 32.78/32.85 c | 32.85 | 0 | -184668 lb | 0 0 0.00 | 33.08/33.11 c | 33.11 | 0 | -184667 lb | 0 0 0.00 | 33.28/33.39 c | 33.40 | 0 | -184666 lb | 0 0 0.00 | 33.58/33.68 c | 33.68 | 0 | -184665 lb | 0 0 0.00 | 33.88/33.97 c | 33.97 | 0 | -184664 lb | 0 0 0.00 | 34.18/34.26 c | 34.26 | 0 | -184663 lb | 0 0 0.00 | 34.48/34.54 c | 34.54 | 0 | -184662 lb | 0 0 0.00 | 34.78/34.83 c | 34.83 | 0 | -184661 lb | 0 0 0.00 | 35.08/35.11 c | 35.11 | 0 | -184660 lb | 0 0 0.00 | 35.38/35.41 c | 35.41 | 0 | -184659 lb | 0 0 0.00 | 35.58/35.70 c | 35.70 | 0 | -184658 lb | 0 0 0.00 | 35.88/35.99 c | 35.99 | 0 | -184657 lb | 0 0 0.00 | 36.19/36.27 c | 36.28 | 0 | -184656 lb | 0 0 0.00 | 36.48/36.56 c | 36.56 | 0 | -184655 lb | 0 0 0.00 | 36.77/36.85 c | 36.85 | 0 | -184654 lb | 0 0 0.00 | 37.08/37.14 c | 37.14 | 0 | -184653 lb | 0 0 0.00 | 37.39/37.44 c | 37.44 | 0 | -184652 lb | 0 0 0.00 | 37.68/37.73 c | 37.73 | 0 | -184651 lb | 0 0 0.00 | 37.98/38.04 c | 38.04 | 0 | -184650 lb | 0 0 0.00 | 38.28/38.35 c | 38.35 | 0 | -184649 lb | 0 0 0.00 | 38.58/38.65 c | 38.65 | 0 | -184648 lb | 0 0 0.00 | 38.88/38.95 c | 38.95 | 0 | -184647 lb | 0 0 0.00 | 39.18/39.25 c | 39.25 | 0 | -184646 lb | 0 0 0.00 | 39.48/39.55 c | 39.55 | 0 | -184645 lb | 0 0 0.00 | 39.78/39.85 c | 39.85 | 0 | -184644 lb | 0 0 0.00 | 40.08/40.15 c | 40.16 | 0 | -184643 lb | 0 0 0.00 | 40.38/40.46 c | 40.46 | 0 | -184642 lb | 0 0 0.00 | 40.68/40.78 c | 40.78 | 0 | -184641 lb | 0 0 0.00 | 40.97/41.09 c | 41.09 | 0 | -184640 lb | 0 0 0.00 | 41.37/41.40 c | 41.41 | 0 | -184639 lb | 0 0 0.00 | 41.69/41.72 c | 41.72 | 0 | -184637 lb | 0 0 0.00 | 41.98/42.04 c | 42.04 | 0 | -184636 lb | 0 0 0.00 | 42.28/42.37 c | 42.37 | 0 | -184635 lb | 0 0 0.00 | 42.58/42.70 c | 42.70 | 0 | -184634 lb | 0 0 0.00 | 42.97/43.04 c | 43.04 | 0 | -184633 lb | 0 0 0.00 | 43.28/43.38 c | 43.38 | 0 | -184632 lb | 0 0 0.00 | 43.68/43.71 c | 43.71 | 0 | -184631 lb | 0 0 0.00 | 43.99/44.05 c | 44.05 | 0 | -184630 lb | 0 0 0.00 | 44.38/44.40 c | 44.40 | 0 | -184629 lb | 0 0 0.00 | 44.67/44.74 c | 44.74 | 0 | -184628 lb | 0 0 0.00 | 44.98/45.08 c | 45.08 | 0 | -184627 lb | 0 0 0.00 | 45.38/45.42 c | 45.42 | 0 | -184626 lb | 0 0 0.00 | 45.68/45.75 c | 45.75 | 0 | -184625 lb | 0 0 0.00 | 46.08/46.11 c | 46.11 | 0 | -184624 lb | 0 0 0.00 | 46.37/46.47 c | 46.47 | 0 | -184623 lb | 0 0 0.00 | 46.77/46.82 c | 46.83 | 0 | -184622 lb | 0 0 0.00 | 47.07/47.18 c | 47.18 | 0 | -184621 lb | 0 0 0.00 | 47.47/47.53 c | 47.53 | 0 | -184620 lb | 0 0 0.00 | 47.78/47.88 c | 47.88 | 0 | -184619 lb | 0 0 0.00 | 48.18/48.23 c | 48.23 | 0 | -184618 lb | 0 0 0.00 | 48.48/48.58 c | 48.58 | 0 | -184617 lb | 0 0 0.00 | 48.88/48.92 c | 48.93 | 0 | -184616 lb | 0 0 0.00 | 49.18/49.28 c | 49.28 | 0 | -184615 lb | 0 0 0.00 | 49.57/49.63 c | 49.63 | 0 | -184614 lb | 0 0 0.00 | 49.88/49.99 c | 49.99 | 0 | -184613 lb | 0 0 0.00 | 50.28/50.37 c | 50.37 | 0 | -184612 lb | 0 0 0.00 | 50.68/50.75 c | 50.75 | 0 | -184611 lb | 0 0 0.00 | 51.08/51.13 c | 51.13 | 0 | -184610 lb | 0 0 0.00 | 51.47/51.51 c | 51.51 | 0 | -184609 lb | 0 0 0.00 | 51.77/51.89 c | 51.89 | 0 | -184608 lb | 0 0 0.00 | 52.17/52.27 c | 52.27 | 0 | -184607 lb | 0 0 0.00 | 52.58/52.66 c | 52.66 | 0 | -184606 lb | 0 0 0.00 | 52.98/53.05 c | 53.05 | 0 | -184605 lb | 0 0 0.00 | 53.37/53.44 c | 53.44 | 0 | -184604 lb | 0 0 0.00 | 53.78/53.83 c | 53.83 | 0 | -184603 lb | 0 0 0.00 | 54.17/54.25 c | 54.25 | 0 | -184602 lb | 0 0 0.00 | 54.58/54.65 c | 54.66 | 0 | -184601 lb | 0 0 0.00 | 54.99/55.06 c | 55.06 | 0 | -184600 lb | 0 0 0.00 | 55.37/55.47 c | 55.47 | 0 | -184599 lb | 0 0 0.00 | 55.77/55.86 c | 55.86 | 0 | -184598 lb | 0 0 0.00 | 56.17/56.26 c | 56.26 | 0 | -184597 lb | 0 0 0.00 | 56.58/56.65 c | 56.66 | 0 | -184596 lb | 0 0 0.00 | 56.98/57.04 c | 57.04 | 0 | -184595 lb | 0 0 0.00 | 57.38/57.43 c | 57.44 | 0 | -184594 lb | 0 0 0.00 | 57.78/57.82 c | 57.82 | 0 | -184593 lb | 0 0 0.00 | 58.18/58.21 c | 58.22 | 0 | -184592 lb | 0 0 0.00 | 58.58/58.61 c | 58.62 | 0 | -184591 lb | 0 0 0.00 | 58.98/59.01 c | 59.02 | 0 | -184590 lb | 0 0 0.00 | 59.38/59.41 c | 59.41 | 0 | -184589 lb | 0 0 0.00 | 59.77/59.81 c | 59.81 | 0 | -184588 lb | 0 0 0.00 | 60.17/60.21 c | 60.21 | 0 | -184587 lb | 0 0 0.00 | 60.58/60.61 c | 60.61 | 0 | -184586 lb | 0 0 0.00 | 60.98/61.01 c | 61.01 | 0 | -184585 lb | 0 0 0.00 | 61.37/61.40 c | 61.41 | 0 | -184584 lb | 0 0 0.00 | 61.67/61.79 c | 61.80 | 0 | -184583 lb | 0 0 0.00 | 62.07/62.19 c | 62.19 | 0 | -184582 lb | 0 0 0.00 | 62.47/62.59 c | 62.59 | 0 | -184581 lb | 0 0 0.00 | 62.97/63.00 c | 63.00 | 0 | -184580 lb | 0 0 0.00 | 63.38/63.41 c | 63.41 | 0 | -184579 lb | 0 0 0.00 | 63.78/63.82 c | 63.82 | 0 | -184578 lb | 0 0 0.00 | 64.17/64.23 c | 64.23 | 0 | -184577 lb | 0 0 0.00 | 64.57/64.65 c | 64.65 | 0 | -184576 lb | 0 0 0.00 | 64.97/65.06 c | 65.06 | 0 | -184575 lb | 0 0 0.00 | 65.37/65.48 c | 65.48 | 0 | -184574 lb | 0 0 0.00 | 65.77/65.88 c | 65.88 | 0 | -184573 lb | 0 0 0.00 | 66.18/66.29 c | 66.29 | 0 | -184572 lb | 0 0 0.00 | 66.58/66.69 c | 66.69 | 0 | -184571 lb | 0 0 0.00 | 67.08/67.14 c | 67.14 | 0 | -184570 lb | 0 0 0.00 | 67.47/67.58 c | 67.58 | 0 | -184569 lb | 0 0 0.00 | 67.97/68.03 c | 68.03 | 0 | -184568 lb | 0 0 0.00 | 68.37/68.46 c | 68.47 | 0 | -184567 lb | 0 0 0.00 | 68.87/68.90 c | 68.91 | 0 | -184566 lb | 0 0 0.00 | 69.29/69.34 c | 69.34 | 0 | -184565 lb | 0 0 0.00 | 69.78/69.83 c | 69.83 | 0 | -184564 lb | 0 0 0.00 | 70.28/70.30 c | 70.31 | 0 | -184563 lb | 0 0 0.00 | 70.67/70.78 c | 70.78 | 0 | -184562 lb | 0 0 0.00 | 71.17/71.25 c | 71.25 | 0 | -184561 lb | 0 0 0.00 | 71.67/71.71 c | 71.71 | 0 | -184560 lb | 0 0 0.00 | 72.18/72.22 c | 72.22 | 0 | -184559 lb | 0 0 0.00 | 72.68/72.72 c | 72.72 | 0 | -184558 lb | 0 0 0.00 | 73.08/73.19 c | 73.19 | 0 | -184557 lb | 0 0 0.00 | 73.58/73.66 c | 73.66 | 0 | -184556 lb | 0 0 0.00 | 74.07/74.12 c | 74.12 | 0 | -184555 lb | 0 0 0.00 | 74.47/74.58 c | 74.59 | 0 | -184554 lb | 0 0 0.00 | 74.97/75.09 c | 75.10 | 0 | -184553 lb | 0 0 0.00 | 75.47/75.56 c | 75.56 | 0 | -184552 lb | 0 0 0.00 | 75.97/76.03 c | 76.03 | 0 | -184551 lb | 0 0 0.00 | 76.47/76.50 c | 76.50 | 0 | -184550 lb | 0 0 0.00 | 76.88/76.97 c | 76.97 | 0 | -184549 lb | 0 0 0.00 | 77.37/77.44 c | 77.44 | 0 | -184548 lb | 0 0 0.00 | 77.87/77.90 c | 77.90 | 0 | -184547 lb | 0 0 0.00 | 78.28/78.37 c | 78.37 | 0 | -184546 lb | 0 0 0.00 | 78.78/78.83 c | 78.83 | 0 | -184545 lb | 0 0 0.00 | 79.27/79.31 c | 79.31 | 0 | -184544 lb | 0 0 0.00 | 79.67/79.77 c | 79.78 | 0 | -184543 lb | 0 0 0.00 | 80.18/80.24 c | 80.24 | 0 | -184542 lb | 0 0 0.00 | 80.67/80.73 c | 80.73 | 0 | -184541 lb | 0 0 0.00 | 81.27/81.30 c | 81.31 | 0 | -184540 lb | 0 0 0.00 | 81.77/81.89 c | 81.89 | 0 | -184539 lb | 0 0 0.00 | 82.38/82.48 c | 82.48 | 0 | -184538 lb | 0 0 0.00 | 82.98/83.04 c | 83.04 | 0 | -184537 lb | 0 0 0.00 | 83.58/83.63 c | 83.64 | 0 | -184536 lb | 0 0 0.00 | 84.17/84.22 c | 84.22 | 0 | -184535 lb | 0 0 0.00 | 84.77/84.81 c | 84.81 | 0 | -184534 lb | 0 0 0.00 | 85.37/85.42 c | 85.42 | 0 | -184533 lb | 0 0 0.00 | 85.98/86.03 c | 86.03 | 0 | -184532 lb | 0 0 0.00 | 86.57/86.62 c | 86.62 | 0 | -184531 lb | 0 0 0.00 | 87.17/87.21 c | 87.22 | 0 | -184530 lb | 0 0 0.00 | 87.67/87.78 c | 87.78 | 0 | -184529 lb | 0 0 0.00 | 88.27/88.34 c | 88.34 | 0 | -184528 lb | 0 0 0.00 | 88.87/88.90 c | 88.90 | 0 | -184527 lb | 0 0 0.00 | 89.37/89.44 c | 89.44 | 0 | -184526 lb | 0 0 0.00 | 89.87/89.97 c | 89.97 | 0 | -184525 lb | 0 0 0.00 | 90.37/90.48 c | 90.49 | 0 | -184524 lb | 0 0 0.00 | 90.87/90.98 c | 90.98 | 0 | -184523 lb | 0 0 0.00 | 91.37/91.48 c | 91.48 | 0 | -184522 lb | 0 0 0.00 | 91.87/91.97 c | 91.97 | 0 | -184521 lb | 0 0 0.00 | 92.37/92.49 c | 92.49 | 0 | -184520 lb | 0 0 0.00 | 92.87/92.99 c | 92.99 | 0 | -184519 lb | 0 0 0.00 | 93.38/93.50 c | 93.50 | 0 | -184518 lb | 0 0 0.00 | 93.97/94.05 c | 94.05 | 0 | -184517 lb | 0 0 0.00 | 94.57/94.61 c | 94.61 | 0 | -184516 lb | 0 0 0.00 | 95.07/95.15 c | 95.15 | 0 | -184515 lb | 0 0 0.00 | 95.57/95.70 c | 95.70 | 0 | -184514 lb | 0 0 0.00 | 96.17/96.24 c | 96.24 | 0 | -184513 lb | 0 0 0.00 | 96.68/96.78 c | 96.79 | 0 | -184512 lb | 0 0 0.00 | 97.27/97.32 c | 97.32 | 0 | -184511 lb | 0 0 0.00 | 97.77/97.86 c | 97.86 | 0 | -184510 lb | 0 0 0.00 | 98.27/98.38 c | 98.38 | 0 | -184509 lb | 0 0 0.00 | 98.88/98.92 c | 98.92 | 0 | -184508 lb | 0 0 0.00 | 99.37/99.47 c | 99.47 | 0 | -184507 lb | 0 0 0.00 | 99.87/99.97 c | 99.97 | 0 | -184506 lb | 0 0 0.00 | 100.37/100.46 c | 100.46 | 0 | -184505 lb | 0 0 0.00 | 100.87/100.96 c | 100.96 | 0 | -184504 lb | 0 0 0.00 | 101.37/101.44 c | 101.44 | 0 | -184503 lb | 0 0 0.00 | 101.87/101.93 c | 101.93 | 0 | -184502 lb | 0 0 0.00 | 102.37/102.41 c | 102.41 | 0 | -184501 lb | 0 0 0.00 | 102.77/102.89 c | 102.89 | 0 | -184500 lb | 0 0 0.00 | 103.28/103.37 c | 103.37 | 0 | -184499 lb | 0 0 0.00 | 103.77/103.87 c | 103.87 | 0 | -184498 lb | 0 0 0.00 | 104.27/104.38 c | 104.39 | 0 | -184497 lb | 0 0 0.00 | 104.77/104.89 c | 104.89 | 0 | -184496 lb | 0 0 0.00 | 105.37/105.40 c | 105.40 | 0 | -184495 lb | 0 0 0.00 | 105.86/105.90 c | 105.90 | 0 | -184494 lb | 0 0 0.00 | 106.26/106.38 c | 106.38 | 0 | -184493 lb | 0 0 0.00 | 106.77/106.87 c | 106.87 | 0 | -184492 lb | 0 0 0.00 | 107.27/107.34 c | 107.35 | 0 | -184491 lb | 0 0 0.00 | 107.77/107.83 c | 107.83 | 0 | -184490 lb | 0 0 0.00 | 108.27/108.30 c | 108.30 | 0 | -184489 lb | 0 0 0.00 | 108.66/108.79 c | 108.79 | 0 | -184488 lb | 0 0 0.00 | 109.17/109.26 c | 109.26 | 0 | -184487 lb | 0 0 0.00 | 109.66/109.75 c | 109.75 | 0 | -184486 lb | 0 0 0.00 | 110.16/110.27 c | 110.27 | 0 | -184485 lb | 0 0 0.00 | 110.67/110.76 c | 110.76 | 0 | -184484 lb | 0 0 0.00 | 111.17/111.28 c | 111.28 | 0 | -184483 lb | 0 0 0.00 | 111.76/111.81 c | 111.82 | 0 | -184482 lb | 0 0 0.00 | 112.27/112.33 c | 112.34 | 0 | -184481 lb | 0 0 0.00 | 112.77/112.88 c | 112.89 | 0 | -184480 lb | 0 0 0.00 | 113.37/113.41 c | 113.42 | 0 | -184479 lb | 0 0 0.00 | 113.86/113.94 c | 113.95 | 0 | -184478 lb | 0 0 0.00 | 114.38/114.45 c | 114.45 | 0 | -184477 lb | 0 0 0.00 | 114.87/114.98 c | 114.98 | 0 | -184476 lb | 0 0 0.00 | 115.38/115.49 c | 115.50 | 0 | -184475 lb | 0 0 0.00 | 115.97/116.02 c | 116.02 | 0 | -184474 lb | 0 0 0.00 | 116.48/116.54 c | 116.54 | 0 | -184473 lb | 0 0 0.00 | 116.97/117.06 c | 117.06 | 0 | -184472 lb | 0 0 0.00 | 117.46/117.57 c | 117.58 | 0 | -184471 lb | 0 0 0.00 | 117.96/118.08 c | 118.09 | 0 | -184470 lb | 0 0 0.00 | 118.46/118.55 c | 118.55 | 0 | -184469 lb | 0 0 0.00 | 118.96/119.03 c | 119.03 | 0 | -184468 lb | 0 0 0.00 | 119.46/119.50 c | 119.50 | 0 | -184467 lb | 0 0 0.00 | 119.88/119.98 c | 119.98 | 0 | -184466 lb | 0 0 0.00 | 120.47/120.50 c | 120.50 | 0 | -184465 lb | 0 0 0.00 | 120.97/121.02 c | 121.02 | 0 | -184464 lb | 0 0 0.00 | 121.47/121.52 c | 121.52 | 0 | -184463 lb | 0 0 0.00 | 121.97/122.03 c | 122.03 | 0 | -184462 lb | 0 0 0.00 | 122.36/122.48 c | 122.48 | 0 | -184461 lb | 0 0 0.00 | 122.87/122.96 c | 122.96 | 0 | -184460 lb | 0 0 0.00 | 123.36/123.43 c | 123.43 | 0 | -184459 lb | 0 0 0.00 | 123.86/123.90 c | 123.90 | 0 | -184458 lb | 0 0 0.00 | 124.27/124.38 c | 124.38 | 0 | -184457 lb | 0 0 0.00 | 124.77/124.85 c | 124.85 | 0 | -184456 lb | 0 0 0.00 | 125.27/125.32 c | 125.32 | 0 | -184455 lb | 0 0 0.00 | 125.76/125.81 c | 125.81 | 0 | -184454 lb | 0 0 0.00 | 126.16/126.27 c | 126.27 | 0 | -184453 lb | 0 0 0.00 | 126.66/126.76 c | 126.76 | 0 | -184452 lb | 0 0 0.00 | 127.16/127.22 c | 127.22 | 0 | -184451 lb | 0 0 0.00 | 127.66/127.70 c | 127.70 | 0 | -184450 lb | 0 0 0.00 | 128.06/128.16 c | 128.16 | 0 | -184449 lb | 0 0 0.00 | 128.57/128.64 c | 128.65 | 0 | -184448 lb | 0 0 0.00 | 129.07/129.10 c | 129.10 | 0 | -184447 lb | 0 0 0.00 | 129.46/129.58 c | 129.59 | 0 | -184446 lb | 0 0 0.00 | 129.96/130.05 c | 130.05 | 0 | -184445 lb | 0 0 0.00 | 130.46/130.53 c | 130.53 | 0 | -184444 lb | 0 0 0.00 | 130.87/130.99 c | 130.99 | 0 | -184443 lb | 0 0 0.00 | 131.36/131.46 c | 131.46 | 0 | -184442 lb | 0 0 0.00 | 131.87/131.92 c | 131.92 | 0 | -184441 lb | 0 0 0.00 | 132.26/132.39 c | 132.39 | 0 | -184440 lb | 0 0 0.00 | 132.76/132.84 c | 132.84 | 0 | -184439 lb | 0 0 0.00 | 133.26/133.33 c | 133.33 | 0 | -184438 lb | 0 0 0.00 | 133.66/133.79 c | 133.79 | 0 | -184437 lb | 0 0 0.00 | 134.16/134.27 c | 134.27 | 0 | -184436 lb | 0 0 0.00 | 134.66/134.73 c | 134.73 | 0 | -184435 lb | 0 0 0.00 | 135.16/135.21 c | 135.21 | 0 | -184434 lb | 0 0 0.00 | 135.56/135.67 c | 135.67 | 0 | -184433 lb | 0 0 0.00 | 136.06/136.15 c | 136.15 | 0 | -184432 lb | 0 0 0.00 | 136.56/136.61 c | 136.61 | 0 | -184431 lb | 0 0 0.00 | 136.96/137.09 c | 137.09 | 0 | -184430 lb | 0 0 0.00 | 137.47/137.58 c | 137.59 | 0 | -184429 lb | 0 0 0.00 | 137.96/138.10 c | 138.10 | 0 | -184428 lb | 0 0 0.00 | 138.47/138.59 c | 138.59 | 0 | -184427 lb | 0 0 0.00 | 139.06/139.10 c | 139.10 | 0 | -184426 lb | 0 0 0.00 | 139.56/139.61 c | 139.61 | 0 | -184425 lb | 0 0 0.00 | 140.06/140.13 c | 140.13 | 0 | -184424 lb | 0 0 0.00 | 140.56/140.62 c | 140.62 | 0 | -184423 lb | 0 0 0.00 | 141.06/141.11 c | 141.11 | 0 | -184422 lb | 0 0 0.00 | 141.56/141.61 c | 141.61 | 0 | -184421 lb | 0 0 0.00 | 142.06/142.10 c | 142.10 | 0 | -184420 lb | 0 0 0.00 | 142.56/142.60 c | 142.60 | 0 | -184419 lb | 0 0 0.00 | 143.05/143.11 c | 143.12 | 0 | -184418 lb | 0 0 0.00 | 143.55/143.60 c | 143.60 | 0 | -184417 lb | 0 0 0.00 | 144.07/144.11 c | 144.11 | 0 | -184416 lb | 0 0 0.00 | 144.46/144.59 c | 144.59 | 0 | -184415 lb | 0 0 0.00 | 145.07/145.11 c | 145.11 | 0 | -184414 lb | 0 0 0.00 | 145.56/145.64 c | 145.64 | 0 | -184413 lb | 0 0 0.00 | 146.06/146.17 c | 146.17 | 0 | -184412 lb | 0 0 0.00 | 146.66/146.74 c | 146.74 | 0 | -184411 lb | 0 0 0.00 | 147.15/147.27 c | 147.28 | 0 | -184410 lb | 0 0 0.00 | 147.65/147.77 c | 147.77 | 0 | -184409 lb | 0 0 0.00 | 148.25/148.31 c | 148.31 | 0 | -184408 lb | 0 0 0.00 | 148.76/148.83 c | 148.83 | 0 | -184407 lb | 0 0 0.00 | 149.25/149.39 c | 149.39 | 0 | -184406 lb | 0 0 0.00 | 149.85/149.93 c | 149.93 | 0 | -184405 lb | 0 0 0.00 | 150.35/150.48 c | 150.48 | 0 | -184404 lb | 0 0 0.00 | 150.95/151.02 c | 151.02 | 0 | -184403 lb | 0 0 0.00 | 151.45/151.57 c | 151.57 | 0 | -184402 lb | 0 0 0.00 | 152.05/152.12 c | 152.12 | 0 | -184401 lb | 0 0 0.00 | 152.56/152.68 c | 152.68 | 0 | -184400 lb | 0 0 0.00 | 153.15/153.22 c | 153.22 | 0 | -184399 lb | 0 0 0.00 | 153.65/153.77 c | 153.77 | 0 | -184398 lb | 0 0 0.00 | 154.25/154.31 c | 154.31 | 0 | -184397 lb | 0 0 0.00 | 154.75/154.87 c | 154.87 | 0 | -184396 lb | 0 0 0.00 | 155.35/155.43 c | 155.44 | 0 | -184395 lb | 0 0 0.00 | 155.85/155.99 c | 155.99 | 0 | -184394 lb | 0 0 0.00 | 156.45/156.54 c | 156.54 | 0 | -184393 lb | 0 0 0.00 | 157.05/157.10 c | 157.10 | 0 | -184392 lb | 0 0 0.00 | 157.55/157.63 c | 157.63 | 0 | -184391 lb | 0 0 0.00 | 158.06/158.17 c | 158.17 | 0 | -184390 lb | 0 0 0.00 | 158.66/158.70 c | 158.70 | 0 | -184389 lb | 0 0 0.00 | 159.15/159.22 c | 159.22 | 0 | -184388 lb | 0 0 0.00 | 159.65/159.75 c | 159.75 | 0 | -184387 lb | 0 0 0.00 | 160.15/160.29 c | 160.29 | 0 | -184386 lb | 0 0 0.00 | 160.75/160.82 c | 160.82 | 0 | -184385 lb | 0 0 0.00 | 161.25/161.35 c | 161.35 | 0 | -184384 lb | 0 0 0.00 | 161.75/161.86 c | 161.86 | 0 | -184383 lb | 0 0 0.00 | 162.25/162.37 c | 162.37 | 0 | -184382 lb | 0 0 0.00 | 162.76/162.89 c | 162.90 | 0 | -184381 lb | 0 0 0.00 | 163.35/163.42 c | 163.42 | 0 | -184380 lb | 0 0 0.00 | 163.85/163.94 c | 163.94 | 0 | -184379 lb | 0 0 0.00 | 164.35/164.46 c | 164.47 | 0 | -184378 lb | 0 0 0.00 | 164.96/165.00 c | 165.00 | 0 | -184377 lb | 0 0 0.00 | 165.45/165.53 c | 165.53 | 0 | -184376 lb | 0 0 0.00 | 165.95/166.05 c | 166.05 | 0 | -184375 lb | 0 0 0.00 | 166.44/166.58 c | 166.58 | 0 | -184374 lb | 0 0 0.00 | 166.94/167.10 c | 167.10 | 0 | -184373 lb | 0 0 0.00 | 167.55/167.63 c | 167.63 | 0 | -184372 lb | 0 0 0.00 | 168.05/168.16 c | 168.17 | 0 | -184371 lb | 0 0 0.00 | 168.64/168.73 c | 168.73 | 0 | -184370 lb | 0 0 0.00 | 169.15/169.25 c | 169.25 | 0 | -184369 lb | 0 0 0.00 | 169.65/169.78 c | 169.78 | 0 | -184368 lb | 0 0 0.00 | 170.25/170.30 c | 170.31 | 0 | -184367 lb | 0 0 0.00 | 170.75/170.85 c | 170.85 | 0 | -184366 lb | 0 0 0.00 | 171.25/171.37 c | 171.38 | 0 | -184365 lb | 0 0 0.00 | 171.85/171.92 c | 171.92 | 0 | -184364 lb | 0 0 0.00 | 172.35/172.43 c | 172.44 | 0 | -184363 lb | 0 0 0.00 | 172.85/172.99 c | 172.99 | 0 | -184362 lb | 0 0 0.00 | 173.45/173.54 c | 173.54 | 0 | -184361 lb | 0 0 0.00 | 173.94/174.09 c | 174.09 | 0 | -184360 lb | 0 0 0.00 | 174.54/174.64 c | 174.65 | 0 | -184359 lb | 0 0 0.00 | 175.15/175.22 c | 175.23 | 0 | -184358 lb | 0 0 0.00 | 175.65/175.78 c | 175.78 | 0 | -184357 lb | 0 0 0.00 | 176.25/176.33 c | 176.34 | 0 | -184356 lb | 0 0 0.00 | 176.74/176.89 c | 176.89 | 0 | -184355 lb | 0 0 0.00 | 177.34/177.45 c | 177.45 | 0 | -184354 lb | 0 0 0.00 | 177.95/178.00 c | 178.00 | 0 | -184353 lb | 0 0 0.00 | 178.45/178.55 c | 178.55 | 0 | -184352 lb | 0 0 0.00 | 179.04/179.12 c | 179.12 | 0 | -184351 lb | 0 0 0.00 | 179.54/179.67 c | 179.67 | 0 | -184350 lb | 0 0 0.00 | 180.15/180.24 c | 180.24 | 0 | -184349 lb | 0 0 0.00 | 180.74/180.81 c | 180.81 | 0 | -184348 lb | 0 0 0.00 | 181.24/181.38 c | 181.38 | 0 | -184347 lb | 0 0 0.00 | 181.84/181.94 c | 181.94 | 0 | -184346 lb | 0 0 0.00 | 182.45/182.53 c | 182.53 | 0 | -184345 lb | 0 0 0.00 | 183.14/183.22 c | 183.22 | 0 | -184344 lb | 0 0 0.00 | 183.84/183.98 c | 183.98 | 0 | -184343 lb | 0 0 0.00 | 184.55/184.68 c | 184.68 | 0 | -184342 lb | 0 0 0.00 | 185.85/185.96 c | 185.96 | 0 | -184341 lb | 0 0 0.00 | 186.45/186.59 c | 186.59 | 0 | -184340 lb | 0 0 0.00 | 187.34/187.45 c | 187.46 | 0 | -184339 lb | 0 0 0.00 | 187.95/188.04 c | 188.04 | 0 | -184338 lb | 0 0 0.00 | 188.85/188.99 c | 189.00 | 0 | -184337 lb | 0 0 0.00 | 189.84/189.96 c | 189.96 | 0 | -184336 lb | 0 0 0.00 | 190.54/190.69 c | 190.69 | 0 | -184335 lb | 0 0 0.00 | 195.94/196.03 c | 196.03 | 0 | -184334 lb | 0 0 0.00 | 197.04/197.16 c | 197.17 | 0 | -184333 lb | 0 0 0.00 | 197.75/197.80 c | 197.80 | 0 | -184332 lb | 0 0 0.00 | 198.25/198.39 c | 198.40 | 0 | -184331 lb | 0 0 0.00 | 198.95/199.04 c | 199.04 | 0 | -184330 lb | 0 0 0.00 | 201.04/201.19 c | 201.19 | 0 | -184329 lb | 0 0 0.00 | 201.74/201.86 c | 201.87 | 0 | -184328 lb | 0 0 0.00 | 202.84/202.94 c | 202.95 | 0 | -184327 lb | 0 0 0.00 | 203.54/203.60 c | 203.60 | 0 | -184326 lb | 0 0 0.00 | 204.04/204.14 c | 204.15 | 0 | -184325 lb | 0 0 0.00 | 204.74/204.87 c | 204.88 | 0 | -184324 lb | 0 0 0.00 | 205.34/205.49 c | 205.50 | 0 | -184323 lb | 0 0 0.00 | 207.44/207.51 c | 207.51 | 0 | -184322 lb | 0 0 0.00 | 213.04/213.12 c | 213.12 | 0 | -184321 lb | 0 0 0.00 | 213.64/213.71 c | 213.71 | 0 | -184320 lb | 0 0 0.00 | 214.35/214.46 c | 214.46 | 0 | -184319 lb | 0 0 0.00 | 214.93/215.06 c | 215.06 | 0 | -184318 lb | 0 0 0.00 | 215.83/215.94 c | 215.94 | 0 | -184317 lb | 0 0 0.00 | 217.04/217.18 c | 217.18 | 0 | -184316 lb | 0 0 0.00 | 217.75/217.83 c | 217.84 | 0 | -184315 lb | 0 0 0.00 | 219.84/219.95 c | 219.95 | 0 | -184314 lb | 0 0 0.00 | 220.64/220.72 c | 220.72 | 0 | -184313 lb | 0 0 0.00 | 221.14/221.29 c | 221.29 | 0 | -184312 lb | 0 0 0.00 | 221.93/222.10 c | 222.10 | 0 | -184311 lb | 0 0 0.00 | 222.63/222.74 c | 222.74 | 0 | -184310 lb | 0 0 0.00 | 223.43/223.52 c | 223.52 | 0 | -184309 lb | 0 0 0.00 | 224.94/225.03 c | 225.04 | 0 | -184308 lb | 0 0 0.00 | 230.84/230.92 c | 230.92 | 0 | -184307 lb | 0 0 0.00 | 231.43/231.56 c | 231.56 | 0 | -184306 lb | 0 0 0.00 | 232.04/232.12 c | 232.12 | 0 | -184305 lb | 0 0 0.00 | 233.04/233.13 c | 233.13 | 0 | -184304 lb | 0 0 0.00 | 233.73/233.81 c | 233.81 | 0 | -184303 lb | 0 0 0.00 | 234.33/234.46 c | 234.46 | 0 | -184302 lb | 0 0 0.00 | 236.53/236.69 c | 236.70 | 0 | -184301 lb | 0 0 0.00 | 239.44/239.59 c | 239.59 | 0 | -184300 lb | 0 0 0.00 | 240.93/241.00 c | 241.00 | 0 | -184299 lb | 0 0 0.00 | 244.93/245.07 c | 245.07 | 0 | -184298 lb | 0 0 0.00 | 250.53/250.70 c | 250.70 | 0 | -184297 lb | 0 0 0.00 | 262.84/262.95 c | 262.95 | 0 | -184296 lb | 0 0 0.00 | 264.33/264.46 c | 264.46 | 0 | -184295 lb | 0 0 0.00 | 267.93/268.09 c | 268.09 | 0 | -184294 lb | 0 0 0.00 | 269.83/269.98 c | 269.98 | 0 | -184293 lb | 0 0 0.00 | 271.22/271.33 c | 271.33 | 0 | -184292 lb | 0 0 0.00 | 272.92/273.07 c | 273.07 | 0 | -184291 lb | 0 0 0.00 | 279.82/279.92 c | 279.93 | 0 | -184290 lb | 0 0 0.00 | 291.02/291.19 c | 291.19 | 0 | -184289 lb | 0 0 0.00 | 293.32/293.48 c | 293.48 | 0 | -184288 lb | 0 0 0.00 | 296.23/296.30 c | 296.30 | 0 | -184287 lb | 0 0 0.00 | 298.32/298.44 c | 298.44 | 0 | -184286 lb | 0 0 0.00 | 300.13/300.20 c | 300.21 | 0 | -184285 lb | 0 0 0.00 | 313.82/313.95 c | 313.95 | 0 | -184284 lb | 0 0 0.00 | 320.72/320.88 c | 320.88 | 0 | -184283 lb | 0 0 0.00 | 322.62/322.78 c | 322.78 | 0 | -184282 lb | 0 0 0.00 | 324.62/324.70 c | 324.70 | 0 | -184281 lb | 0 0 0.00 | 326.52/326.67 c | 326.67 | 0 | -184280 lb | 0 0 0.00 | 330.12/330.20 c | 330.20 | 0 | -184279 lb | 0 0 0.00 | 331.62/331.70 c | 331.70 | 0 | -184278 lb | 0 0 0.00 | 336.92/337.09 c | 337.09 | 0 | -184277 lb | 0 0 0.00 | 340.42/340.59 c | 340.59 | 0 | -184276 lb | 0 0 0.00 | 342.03/342.19 c | 342.19 | 0 | -184275 lb | 0 0 0.00 | 343.82/343.93 c | 343.94 | 0 | -184274 lb | 0 0 0.00 | 359.91/360.04 c | 360.04 | 0 | -184273 lb | 0 0 0.00 | 362.31/362.42 c | 362.42 | 0 | -184272 lb | 0 0 0.00 | 368.01/368.13 c | 368.13 | 0 | -184271 lb | 0 0 0.00 | 373.31/373.48 c | 373.48 | 0 | -184270 lb | 0 0 0.00 | 374.92/375.02 c | 375.03 | 0 | -184269 lb | 0 0 0.00 | 435.09/435.20 c | 435.20 | 0 | -184268 lb | 0 0 0.00 | 437.29/437.46 c | 437.46 | 0 | -184267 lb | 0 0 0.00 | 439.69/439.80 c | 439.81 | 0 | -184266 lb | 0 0 0.00 | 441.59/441.80 c | 441.80 | 0 | -184265 lb | 0 0 0.00 | 443.59/443.75 c | 443.75 | 0 | -184264 lb | 0 0 0.00 | 446.50/446.60 c | 446.61 | 0 | -184263 lb | 0 0 0.00 | 447.99/448.11 c | 448.11 | 0 | -184262 lb | 0 0 0.00 | 462.19/462.33 c | 462.33 | 0 | -184261 lb | 0 0 0.00 | 467.39/467.58 c | 467.58 | 0 | -184260 lb | 0 0 0.00 | 470.48/470.63 c | 470.63 | 0 | -184259 lb | 0 0 0.00 | 499.88/500.02 c | 500.02 | 0 | -184258 lb | 0 0 0.00 | 562.24/562.45 c | 562.45 | 0 | -184257 lb | 0 0 0.00 | 564.45/564.65 c | 564.65 | 0 | -184256 lb | 0 0 0.00 | 575.64/575.84 c | 575.84 | 0 | -184255 lb | 0 0 0.00 | 579.63/579.80 c | 579.80 | 0 | -184254 lb | 0 0 0.00 | 585.44/585.65 c | 585.65 | 0 | -184253 lb | 0 0 0.00 | 587.34/587.57 c | 587.57 | 0 | -184252 lb | 0 0 0.00 | 594.23/594.49 c | 594.50 | 0 | -184251 lb | 0 0 0.00 | 599.92/600.10 c | 600.11 | 0 | -184250 lb | 0 0 0.00 | 602.13/602.34 c | 602.34 | 0 | -184249 lb | 0 0 0.00 | 608.83/609.00 c | 609.00 | 0 | -184248 lb | 0 0 0.00 | 612.22/612.40 c | 612.40 | 0 | -184247 lb | 0 0 0.00 | 622.81/623.05 c | 623.06 | 0 | -184246 lb | 0 0 0.00 | 624.92/625.19 c | 625.19 | 0 | -184245 lb | 0 0 0.00 | 629.22/629.49 c | 629.49 | 0 | -184244 lb | 0 0 0.00 | 632.72/632.98 c | 632.98 | 0 | -184243 lb | 0 0 0.00 | 646.72/646.93 c | 646.93 | 0 | -184242 lb | 0 0 0.00 | 648.91/649.15 c | 649.16 | 0 | -184241 lb | 0 0 0.00 | 670.00/670.20 c | 670.20 | 0 | -184240 lb | 0 0 0.00 | 695.30/695.59 c | 695.59 | 0 | -184239 lb | 0 0 0.00 | 723.67/723.91 c | 723.91 | 0 | -184238 lb | 0 0 0.00 | 731.57/731.86 c | 731.87 | 0 | -184237 lb | 0 0 0.00 | 747.57/747.83 c | 747.83 | 0 | -184236 lb | 0 0 0.00 | 764.45/764.79 c | 764.79 | 0 | -184235 lb | 0 0 0.00 | 783.16/783.48 c | 783.48 | 0 | -184234 lb | 0 0 0.00 | 1392.46/1392.87 c | 1392.87 | 0 | -184233 lb | 0 0 0.00 | 1799.56/1800.00 c =============================================================================== 1799.56/1800.00 c Wall Clock Time: 1800.00 s 1799.56/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-3705578-1338120657/watcher-3705578-1338120657 -o /tmp/evaluation-result-3705578-1338120657/solver-3705578-1338120657 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705578-1338120657.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: 1.92 1.98 1.99 3/178 20038 /proc/meminfo: memFree=30112668/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=5980 CPUtime=0 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) R 20036 20038 16265 0 -1 4202496 412 0 0 0 0 0 0 0 20 0 1 0 278190132 6123520 364 33554432000 4194304 5963574 140735623395456 140736530397864 4394802 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 1495 365 169 432 0 451 0 [startup+0.0958241 s] /proc/loadavg: 1.92 1.98 1.99 3/178 20038 /proc/meminfo: memFree=30112668/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=14848 CPUtime=0.08 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) R 20036 20038 16265 0 -1 4202496 2902 0 0 0 8 0 0 0 20 0 1 0 278190132 15204352 2805 33554432000 4194304 5963574 140735623395456 140735623393336 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 3778 2807 466 432 0 2734 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14848 [startup+0.100341 s] /proc/loadavg: 1.92 1.98 1.99 3/178 20038 /proc/meminfo: memFree=30112668/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=15756 CPUtime=0.09 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) R 20036 20038 16265 0 -1 4202496 3058 0 0 0 9 0 0 0 20 0 1 0 278190132 16134144 2961 33554432000 4194304 5963574 140735623395456 140735623393336 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 3939 2961 479 432 0 2895 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15756 [startup+0.300166 s] /proc/loadavg: 1.92 1.98 1.99 3/178 20038 /proc/meminfo: memFree=30112668/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=104052 CPUtime=0.28 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 13235 0 0 0 27 1 0 0 20 0 2 0 278190132 106549248 11324 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 26013 11324 195 432 0 25578 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 104052 [startup+0.700226 s] /proc/loadavg: 1.92 1.98 1.99 3/178 20038 /proc/meminfo: memFree=30112668/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=100032 CPUtime=0.69 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 17298 0 0 0 67 2 0 0 20 0 2 0 278190132 102432768 13671 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 25008 13671 196 432 0 24573 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 100032 [startup+1.50036 s] /proc/loadavg: 1.92 1.98 1.99 3/180 20040 /proc/meminfo: memFree=30054016/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=100032 CPUtime=1.48 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 24712 0 0 0 145 3 0 0 20 0 2 0 278190132 102432768 16119 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 25008 16147 196 432 0 24573 0 [pid=20038/tid=20040] ppid=20036 vsize=100032 CPUtime=1.28 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 19234 0 0 0 125 3 0 0 20 0 2 0 278190152 102432768 16160 33554432000 4194304 5963574 140735623395456 139703564384792 5178759 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 100032 [startup+3.10037 s] /proc/loadavg: 1.92 1.98 1.99 3/180 20040 /proc/meminfo: memFree=30040784/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=100032 CPUtime=3.09 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 33111 0 0 0 304 5 0 0 20 0 2 0 278190132 102432768 18617 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 25008 18617 196 432 0 24573 0 [pid=20038/tid=20040] ppid=20036 vsize=100032 CPUtime=2.87 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 27592 0 0 0 283 4 0 0 20 0 2 0 278190152 102432768 18617 33554432000 4194304 5963574 140735623395456 139703564374336 4444334 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 100032 [startup+6.30035 s] /proc/loadavg: 1.93 1.98 1.99 3/179 20040 /proc/meminfo: memFree=30004772/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=165568 CPUtime=6.29 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 51353 0 0 0 621 8 0 0 20 0 2 0 278190132 169541632 24732 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 41392 24732 196 432 0 40957 0 [pid=20038/tid=20040] ppid=20036 vsize=165568 CPUtime=6.06 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 45834 0 0 0 599 7 0 0 20 0 2 0 278190152 169541632 24732 33554432000 4194304 5963574 140735623395456 139703564384792 5138318 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 165568 [startup+12.7004 s] /proc/loadavg: 1.93 1.98 1.99 3/179 20040 /proc/meminfo: memFree=29949380/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=165568 CPUtime=12.69 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 96317 0 0 0 1253 16 0 0 20 0 2 0 278190132 169541632 32885 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 41392 32885 196 432 0 40957 0 [pid=20038/tid=20040] ppid=20036 vsize=165568 CPUtime=12.45 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 90798 0 0 0 1230 15 0 0 20 0 2 0 278190152 169541632 32885 33554432000 4194304 5963574 140735623395456 139703564384792 5129994 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 165568 [startup+25.5004 s] /proc/loadavg: 1.95 1.98 1.99 3/179 20040 /proc/meminfo: memFree=29824480/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=231104 CPUtime=25.48 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 165786 0 0 0 2519 29 0 0 20 0 2 0 278190132 236650496 51485 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 57776 51485 197 432 0 57341 0 [pid=20038/tid=20040] ppid=20036 vsize=231104 CPUtime=25.21 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 160267 0 0 0 2492 29 0 0 20 0 2 0 278190152 236650496 51485 33554432000 4194304 5963574 140735623395456 139703564384600 4394419 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 231104 [startup+51.1004 s] /proc/loadavg: 1.96 1.98 1.99 3/179 20040 /proc/meminfo: memFree=29660500/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=296640 CPUtime=51.08 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 211197 0 0 0 5068 40 0 0 20 0 2 0 278190132 303759360 66318 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 74160 66318 198 432 0 73725 0 [pid=20038/tid=20040] ppid=20036 vsize=296640 CPUtime=50.74 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 205678 0 0 0 5035 39 0 0 20 0 2 0 278190152 303759360 66318 33554432000 4194304 5963574 140735623395456 139703564384600 4392454 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 296640 [startup+102.307 s] /proc/loadavg: 1.98 1.98 1.99 3/179 20040 /proc/meminfo: memFree=29360564/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=427712 CPUtime=102.27 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 284601 0 0 0 10165 62 0 0 20 0 2 0 278190132 437977088 99689 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 106928 99689 199 432 0 106493 0 [pid=20038/tid=20040] ppid=20036 vsize=427712 CPUtime=101.81 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 279082 0 0 0 10118 63 0 0 20 0 2 0 278190152 437977088 99689 33554432000 4194304 5963574 140735623395456 139703564384600 4389665 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 427712 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 20040 /proc/meminfo: memFree=29131964/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=624436 CPUtime=162.25 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 346526 0 0 0 16140 85 0 0 20 0 2 0 278190132 639422464 136719 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 156109 136719 199 432 0 155674 0 [pid=20038/tid=20040] ppid=20036 vsize=624436 CPUtime=161.64 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 341007 0 0 0 16078 86 0 0 20 0 2 0 278190152 639422464 136719 33554432000 4194304 5963574 140735623395456 139703564374336 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 624436 [startup+222.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 20040 /proc/meminfo: memFree=28970924/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=766444 CPUtime=222.23 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 394565 0 0 0 22121 102 0 0 20 0 2 0 278190132 784838656 172373 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 191611 172373 199 432 0 191176 0 [pid=20038/tid=20040] ppid=20036 vsize=766444 CPUtime=221.48 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 389046 0 0 0 22043 105 0 0 20 0 2 0 278190152 784838656 172373 33554432000 4194304 5963574 140735623395456 139703564374336 5133056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 766444 [startup+282.3 s] /proc/loadavg: 2.06 2.00 2.00 3/179 20041 /proc/meminfo: memFree=28888676/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=821044 CPUtime=282.23 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 406661 0 0 0 28114 109 0 0 20 0 2 0 278190132 840749056 187473 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 205261 187473 199 432 0 204826 0 [pid=20038/tid=20040] ppid=20036 vsize=821044 CPUtime=281.32 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 401142 0 0 0 28020 112 0 0 20 0 2 0 278190152 840749056 187473 33554432000 4194304 5963574 140735623395456 139703564384792 4403104 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 821044 [startup+342.3 s] /proc/loadavg: 2.02 2.00 2.00 3/179 20041 /proc/meminfo: memFree=28840612/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=886580 CPUtime=342.22 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 417362 0 0 0 34108 114 0 0 20 0 2 0 278190132 907857920 199498 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 221645 199498 199 432 0 221210 0 [pid=20038/tid=20040] ppid=20036 vsize=886580 CPUtime=341.16 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 411843 0 0 0 33998 118 0 0 20 0 2 0 278190152 907857920 199498 33554432000 4194304 5963574 140735623395456 139703564384600 5138318 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 886580 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20041 /proc/meminfo: memFree=28812600/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=886580 CPUtime=402.2 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 419297 0 0 0 40105 115 0 0 20 0 2 0 278190132 907857920 202603 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 221645 202603 199 432 0 221210 0 [pid=20038/tid=20040] ppid=20036 vsize=886580 CPUtime=401 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 413778 0 0 0 39980 120 0 0 20 0 2 0 278190152 907857920 202603 33554432000 4194304 5963574 140735623395456 139703564385096 4388665 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 886580 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20041 /proc/meminfo: memFree=28725268/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=952116 CPUtime=462.19 cores=1,3,5,7 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20050 /proc/meminfo: memFree=28404628/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=1214260 CPUtime=1421.96 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 474701 0 0 0 142041 155 0 0 20 0 2 0 278190132 1243402240 278036 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 303565 278036 199 432 0 303130 0 [pid=20038/tid=20040] ppid=20036 vsize=1214260 CPUtime=1418.23 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 469182 0 0 0 141648 175 0 0 20 0 2 0 278190152 1243402240 278036 33554432000 4194304 5963574 140735623395456 139703564385048 4388696 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1214260 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20051 /proc/meminfo: memFree=28399104/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=1214260 CPUtime=1481.93 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 474814 0 0 0 148038 155 0 0 20 0 2 0 278190132 1243402240 279533 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 303565 279533 199 432 0 303130 0 [pid=20038/tid=20040] ppid=20036 vsize=1214260 CPUtime=1478.05 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 469295 0 0 0 147629 176 0 0 20 0 2 0 278190152 1243402240 279533 33554432000 4194304 5963574 140735623395456 139703564385048 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1214260 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20052 /proc/meminfo: memFree=28396428/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=1214260 CPUtime=1541.91 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 474864 0 0 0 154036 155 0 0 20 0 2 0 278190132 1243402240 280208 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 303565 280208 199 432 0 303130 0 [pid=20038/tid=20040] ppid=20036 vsize=1214260 CPUtime=1537.87 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 469345 0 0 0 153610 177 0 0 20 0 2 0 278190152 1243402240 280208 33554432000 4194304 5963574 140735623395456 139703564385048 4388706 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1214260 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20052 /proc/meminfo: memFree=28396464/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=1214260 CPUtime=1601.89 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 474878 0 0 0 160034 155 0 0 20 0 2 0 278190132 1243402240 280216 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 303565 280216 199 432 0 303130 0 [pid=20038/tid=20040] ppid=20036 vsize=1214260 CPUtime=1597.7 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 469359 0 0 0 159592 178 0 0 20 0 2 0 278190152 1243402240 280216 33554432000 4194304 5963574 140735623395456 139703564385048 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1214260 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20052 /proc/meminfo: memFree=28396456/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=1214260 CPUtime=1661.88 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 474882 0 0 0 166033 155 0 0 20 0 2 0 278190132 1243402240 280216 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 303565 280216 199 432 0 303130 0 [pid=20038/tid=20040] ppid=20036 vsize=1214260 CPUtime=1657.54 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 469363 0 0 0 165575 179 0 0 20 0 2 0 278190152 1243402240 280216 33554432000 4194304 5963574 140735623395456 139703564385048 4399514 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1214260 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 20052 /proc/meminfo: memFree=28393664/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=1214260 CPUtime=1721.88 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 474883 0 0 0 172033 155 0 0 20 0 2 0 278190132 1243402240 280217 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 303565 280217 199 432 0 303130 0 [pid=20038/tid=20040] ppid=20036 vsize=1214260 CPUtime=1717.38 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 469364 0 0 0 171558 180 0 0 20 0 2 0 278190152 1243402240 280217 33554432000 4194304 5963574 140735623395456 139703564385048 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1214260 [startup+1782.3 s] /proc/loadavg: 1.40 1.83 1.94 2/173 20079 /proc/meminfo: memFree=29414920/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=1214260 CPUtime=1781.87 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 474916 0 0 0 178032 155 0 0 20 0 2 0 278190132 1243402240 280250 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 303565 280250 199 432 0 303130 0 [pid=20038/tid=20040] ppid=20036 vsize=1214260 CPUtime=1777.23 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 469397 0 0 0 177543 180 0 0 20 0 2 0 278190152 1243402240 280250 33554432000 4194304 5963574 140735623395456 139703564385048 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1214260 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.34 1.80 1.93 2/173 20080 /proc/meminfo: memFree=29414928/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=1214260 CPUtime=1791.47 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 474916 0 0 0 178992 155 0 0 20 0 2 0 278190132 1243402240 280250 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 303565 280250 199 432 0 303130 0 [pid=20038/tid=20040] ppid=20036 vsize=1214260 CPUtime=1786.81 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 469397 0 0 0 178500 181 0 0 20 0 2 0 278190152 1243402240 280250 33554432000 4194304 5963574 140735623395456 139703564385048 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (KiB) 1214260 [startup+1795.1 s] /proc/loadavg: 1.34 1.80 1.93 2/173 20080 /proc/meminfo: memFree=29414796/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=1214260 CPUtime=1794.67 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 474916 0 0 0 179312 155 0 0 20 0 2 0 278190132 1243402240 280250 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 303565 280250 199 432 0 303130 0 [pid=20038/tid=20040] ppid=20036 vsize=1214260 CPUtime=1790 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 469397 0 0 0 178819 181 0 0 20 0 2 0 278190152 1243402240 280250 33554432000 4194304 5963574 140735623395456 139703564385048 4399532 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (KiB) 1214260 [startup+1798.3 s] /proc/loadavg: 1.31 1.79 1.92 2/173 20080 /proc/meminfo: memFree=29414796/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=1214260 CPUtime=1797.86 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 474916 0 0 0 179631 155 0 0 20 0 2 0 278190132 1243402240 280250 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 303565 280250 199 432 0 303130 0 [pid=20038/tid=20040] ppid=20036 vsize=1214260 CPUtime=1793.18 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 469397 0 0 0 179137 181 0 0 20 0 2 0 278190152 1243402240 280250 33554432000 4194304 5963574 140735623395456 139703564385048 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 1214260 [startup+1799.1 s] /proc/loadavg: 1.31 1.79 1.92 2/173 20080 /proc/meminfo: memFree=29414796/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=1214260 CPUtime=1798.66 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 474916 0 0 0 179711 155 0 0 20 0 2 0 278190132 1243402240 280250 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 303565 280250 199 432 0 303130 0 [pid=20038/tid=20040] ppid=20036 vsize=1214260 CPUtime=1793.98 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 469397 0 0 0 179217 181 0 0 20 0 2 0 278190152 1243402240 280250 33554432000 4194304 5963574 140735623395456 139703564385048 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (KiB) 1214260 [startup+1799.5 s] /proc/loadavg: 1.31 1.79 1.92 2/173 20080 /proc/meminfo: memFree=29414920/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=1214260 CPUtime=1799.07 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 474916 0 0 0 179752 155 0 0 20 0 2 0 278190132 1243402240 280250 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 303565 280250 199 432 0 303130 0 [pid=20038/tid=20040] ppid=20036 vsize=1214260 CPUtime=1794.39 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 469397 0 0 0 179258 181 0 0 20 0 2 0 278190152 1243402240 280250 33554432000 4194304 5963574 140735623395456 139703564385048 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.07 Current children cumulated vsize (KiB) 1214260 [startup+1799.9 s] /proc/loadavg: 1.31 1.79 1.92 2/173 20080 /proc/meminfo: memFree=29414920/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=1214260 CPUtime=1799.46 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 474916 0 0 0 179791 155 0 0 20 0 2 0 278190132 1243402240 280250 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 303565 280250 199 432 0 303130 0 [pid=20038/tid=20040] ppid=20036 vsize=1214260 CPUtime=1794.78 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 469397 0 0 0 179297 181 0 0 20 0 2 0 278190152 1243402240 280250 33554432000 4194304 5963574 140735623395456 139703564385048 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (KiB) 1214260 [startup+1800 s] /proc/loadavg: 1.31 1.79 1.92 2/173 20080 /proc/meminfo: memFree=29414920/32873844 swapFree=7388/7388 [pid=20038] ppid=20036 vsize=1214260 CPUtime=1799.56 cores=1,3,5,7 /proc/20038/stat : 20038 (wbo1.7) S 20036 20038 16265 0 -1 4202496 474916 0 0 0 179801 155 0 0 20 0 2 0 278190132 1243402240 280250 33554432000 4194304 5963574 140735623395456 140735623394976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/20038/statm: 303565 280250 199 432 0 303130 0 [pid=20038/tid=20040] ppid=20036 vsize=1214260 CPUtime=1794.88 cores=1,3,5,7 /proc/20038/task/20040/stat : 20040 (wbo1.7) R 20036 20038 16265 0 -1 4202560 469397 0 0 0 179307 181 0 0 20 0 2 0 278190152 1243402240 280250 33554432000 4194304 5963574 140735623395456 139703564385048 4399505 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (KiB) 1214260 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 20038 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=277380 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=830721 # CPU time returned by wait4() is 1795.11 # while last known CPU time is 1799.56 # # 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.56 CPU user time (s): 1798.01 CPU system time (s): 1.55 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 1312688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.28 system time used= 1.83072 maximum resident set size= 1180804 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 474916 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= 253 involuntary context switches= 2436 runsolver used 3.55446 second user time and 8.65268 second system time The end
Begin job on node147 at 2012-05-27 14:10:57 IDJOB=3705578 IDBENCH=90546 IDSOLVER=2283 FILE ID=node147/3705578-1338120657 RUNJOBID= node147-1338087982-16282 PBS_JOBID= 14624451 Free space on /tmp= 71664 MiB SOLVER NAME= wbo 1.7 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.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705578-1338120657/watcher-3705578-1338120657 -o /tmp/evaluation-result-3705578-1338120657/solver-3705578-1338120657 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705578-1338120657.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 30f336dd624b9f7763c8bbeed1369f76 RANDOM SEED=1430878779 node147.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.951 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.90 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.951 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.951 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.87 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.951 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.951 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.91 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.951 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.951 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.951 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: 30113312 kB Buffers: 332996 kB Cached: 1183876 kB SwapCached: 5068 kB Active: 988428 kB Inactive: 950364 kB Active(anon): 416424 kB Inactive(anon): 7584 kB Active(file): 572004 kB Inactive(file): 942780 kB Unevictable: 7388 kB Mlocked: 7388 kB SwapTotal: 67108856 kB SwapFree: 67098668 kB Dirty: 7792 kB Writeback: 0 kB AnonPages: 402468 kB Mapped: 10452 kB Shmem: 0 kB Slab: 678580 kB SReclaimable: 119900 kB SUnreclaim: 558680 kB KernelStack: 1496 kB PageTables: 4824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 163880 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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= 71668 MiB End job on node147 at 2012-05-27 14:40:57