| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.7 | ? | 1799.61 | 1800.01 |
| Name | /OPT-SMALLINT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb |
| MD5SUM | 13ec733a84b57b5245a7cfe0f2de4f86 |
| 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 | -144793 |
| Best CPU time to get the best result obtained on this benchmark | 1797.02 |
| 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 | 6765 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 300662 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 6765 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 300662 |
| Number of bits of the biggest sum of numbers | 19 |
| 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-3705554-1338157942.opb. 0.00/0.00 c Instance file HOME/instance-3705554-1338157942.opb 0.00/0.00 c File size is 2493606 bytes. 0.09/0.19 c Cost Offset: -300662 0.09/0.19 c Highest Coefficient sum: 12697 0.28/0.35 c ============================[ Problem Statistics ]============================= 0.28/0.35 c | | 0.28/0.35 c | Parsing time: 0.19 s | 0.28/0.35 c | Number Variables: 40937 | 0.28/0.35 c | Number Clauses: 40882 | 0.28/0.35 c | Number Cardinality: 553 | 0.28/0.35 c | Number PB Constraints: 1 | 0.28/0.35 c | | 0.28/0.35 c | Problem Type: Optimization | 0.28/0.35 c | Objective Function: Cardinality Constraint | 0.28/0.35 c | | 0.28/0.35 c ============================[ Search Statistics ]============================== 0.28/0.35 c | Time (s) | ID | Bound | Shared Clauses | 0.28/0.35 c | | | value type | expCls impCls Lit/impCl | 0.28/0.35 c =============================================================================== 0.28/0.35 c | 0.27 | 0 | -300661 lb | 0 0 0.00 | 0.28/0.35 c | 0.31 | 0 | -300660 lb | 0 0 0.00 | 0.28/0.35 c | 0.34 | 0 | -300659 lb | 0 0 0.00 | 0.28/0.37 c | 0.38 | 0 | -300657 lb | 0 0 0.00 | 0.28/0.41 c | 0.41 | 0 | -300654 lb | 0 0 0.00 | 0.28/0.44 c | 0.45 | 0 | -300649 lb | 0 0 0.00 | 0.44/0.48 c | 0.48 | 0 | -300641 lb | 0 0 0.00 | 0.49/0.51 c | 0.52 | 0 | -300628 lb | 0 0 0.00 | 0.49/0.55 c | 0.55 | 0 | -300607 lb | 0 0 0.00 | 0.49/0.59 c | 0.59 | 0 | -300573 lb | 0 0 0.00 | 0.59/0.62 c | 0.63 | 0 | -300518 lb | 0 0 0.00 | 0.59/0.66 c | 0.67 | 0 | -300429 lb | 0 0 0.00 | 0.69/0.70 c | 0.70 | 0 | -300285 lb | 0 0 0.00 | 0.69/0.74 c | 0.74 | 0 | -300052 lb | 0 0 0.00 | 0.69/0.78 c | 0.78 | 0 | -299675 lb | 0 0 0.00 | 0.79/0.83 c | 0.83 | 0 | -299674 lb | 0 0 0.00 | 0.79/0.88 c | 0.89 | 0 | -299673 lb | 0 0 0.00 | 0.89/0.93 c | 0.94 | 0 | -299672 lb | 0 0 0.00 | 0.99/1.01 c | 1.01 | 0 | -299671 lb | 0 0 0.00 | 0.99/1.09 c | 1.10 | 0 | -299670 lb | 0 0 0.00 | 1.19/1.20 c | 1.20 | 0 | -299669 lb | 0 0 0.00 | 1.29/1.30 c | 1.30 | 0 | -299667 lb | 0 0 0.00 | 1.39/1.40 c | 1.41 | 0 | -299666 lb | 0 0 0.00 | 1.49/1.52 c | 1.52 | 0 | -299665 lb | 0 0 0.00 | 1.59/1.62 c | 1.63 | 0 | -299664 lb | 0 0 0.00 | 1.69/1.74 c | 1.74 | 0 | -299663 lb | 0 0 0.00 | 1.79/1.85 c | 1.85 | 0 | -299662 lb | 0 0 0.00 | 1.89/1.96 c | 1.96 | 0 | -299661 lb | 0 0 0.00 | 1.99/2.08 c | 2.09 | 0 | -299660 lb | 0 0 0.00 | 2.09/2.18 c | 2.18 | 0 | -299659 lb | 0 0 0.00 | 2.19/2.29 c | 2.29 | 0 | -299658 lb | 0 0 0.00 | 2.48/2.50 c | 2.50 | 0 | -299657 lb | 0 0 0.00 | 2.58/2.62 c | 2.63 | 0 | -299656 lb | 0 0 0.00 | 2.68/2.74 c | 2.74 | 0 | -299655 lb | 0 0 0.00 | 2.79/2.86 c | 2.86 | 0 | -299654 lb | 0 0 0.00 | 2.89/2.98 c | 2.98 | 0 | -299653 lb | 0 0 0.00 | 3.09/3.17 c | 3.17 | 0 | -299652 lb | 0 0 0.00 | 3.20/3.28 c | 3.29 | 0 | -299651 lb | 0 0 0.00 | 3.39/3.41 c | 3.41 | 0 | -299650 lb | 0 0 0.00 | 3.49/3.53 c | 3.53 | 0 | -299649 lb | 0 0 0.00 | 3.59/3.64 c | 3.65 | 0 | -299648 lb | 0 0 0.00 | 3.69/3.77 c | 3.77 | 0 | -299647 lb | 0 0 0.00 | 3.78/3.89 c | 3.89 | 0 | -299646 lb | 0 0 0.00 | 3.98/4.00 c | 4.00 | 0 | -299645 lb | 0 0 0.00 | 4.08/4.12 c | 4.12 | 0 | -299644 lb | 0 0 0.00 | 4.18/4.24 c | 4.25 | 0 | -299641 lb | 0 0 0.00 | 4.29/4.34 c | 4.35 | 0 | -299640 lb | 0 0 0.00 | 4.48/4.55 c | 4.55 | 0 | -299639 lb | 0 0 0.00 | 4.69/4.77 c | 4.78 | 0 | -299637 lb | 0 0 0.00 | 4.99/5.02 c | 5.03 | 0 | -299636 lb | 0 0 0.00 | 5.09/5.14 c | 5.15 | 0 | -299619 lb | 0 0 0.00 | 5.19/5.28 c | 5.28 | 0 | -299618 lb | 0 0 0.00 | 5.40/5.41 c | 5.41 | 0 | -299617 lb | 0 0 0.00 | 5.50/5.53 c | 5.54 | 0 | -299616 lb | 0 0 0.00 | 5.59/5.66 c | 5.67 | 0 | -299615 lb | 0 0 0.00 | 5.69/5.79 c | 5.80 | 0 | -299613 lb | 0 0 0.00 | 5.89/5.93 c | 5.94 | 0 | -299612 lb | 0 0 0.00 | 5.99/6.05 c | 6.06 | 0 | -299611 lb | 0 0 0.00 | 6.09/6.12 c | 6.13 | 0 | -299610 lb | 0 0 0.00 | 6.19/6.26 c | 6.26 | 0 | -299609 lb | 0 0 0.00 | 6.29/6.38 c | 6.39 | 0 | -299608 lb | 0 0 0.00 | 6.49/6.54 c | 6.54 | 0 | -299607 lb | 0 0 0.00 | 6.59/6.69 c | 6.69 | 0 | -299606 lb | 0 0 0.00 | 6.78/6.86 c | 6.86 | 0 | -299605 lb | 0 0 0.00 | 6.88/6.98 c | 6.99 | 0 | -299604 lb | 0 0 0.00 | 7.08/7.13 c | 7.13 | 0 | -299603 lb | 0 0 0.00 | 7.18/7.26 c | 7.26 | 0 | -299602 lb | 0 0 0.00 | 7.28/7.39 c | 7.39 | 0 | -299601 lb | 0 0 0.00 | 7.48/7.52 c | 7.52 | 0 | -299600 lb | 0 0 0.00 | 7.48/7.59 c | 7.60 | 0 | -299599 lb | 0 0 0.00 | 7.69/7.72 c | 7.72 | 0 | -299598 lb | 0 0 0.00 | 7.78/7.85 c | 7.85 | 0 | -299597 lb | 0 0 0.00 | 7.98/8.00 c | 8.00 | 0 | -299596 lb | 0 0 0.00 | 8.08/8.13 c | 8.13 | 0 | -299578 lb | 0 0 0.00 | 8.19/8.28 c | 8.28 | 0 | -299577 lb | 0 0 0.00 | 8.39/8.47 c | 8.48 | 0 | -299576 lb | 0 0 0.00 | 8.59/8.62 c | 8.62 | 0 | -299575 lb | 0 0 0.00 | 8.69/8.78 c | 8.79 | 0 | -299574 lb | 0 0 0.00 | 8.89/8.92 c | 8.93 | 0 | -299573 lb | 0 0 0.00 | 8.99/9.07 c | 9.07 | 0 | -299572 lb | 0 0 0.00 | 9.19/9.21 c | 9.21 | 0 | -299571 lb | 0 0 0.00 | 9.29/9.38 c | 9.38 | 0 | -299570 lb | 0 0 0.00 | 9.48/9.52 c | 9.52 | 0 | -299568 lb | 0 0 0.00 | 9.58/9.64 c | 9.65 | 0 | -299567 lb | 0 0 0.00 | 9.68/9.76 c | 9.76 | 0 | -299565 lb | 0 0 0.00 | 9.79/9.90 c | 9.90 | 0 | -299561 lb | 0 0 0.00 | 9.99/10.04 c | 10.04 | 0 | -299560 lb | 0 0 0.00 | 10.08/10.17 c | 10.18 | 0 | -299559 lb | 0 0 0.00 | 10.18/10.29 c | 10.29 | 0 | -299556 lb | 0 0 0.00 | 10.38/10.42 c | 10.43 | 0 | -299555 lb | 0 0 0.00 | 10.48/10.56 c | 10.56 | 0 | -299554 lb | 0 0 0.00 | 10.69/10.70 c | 10.70 | 0 | -299552 lb | 0 0 0.00 | 10.79/10.85 c | 10.85 | 0 | -299510 lb | 0 0 0.00 | 10.89/10.95 c | 10.95 | 0 | -299509 lb | 0 0 0.00 | 10.99/11.08 c | 11.08 | 0 | -299508 lb | 0 0 0.00 | 11.18/11.24 c | 11.24 | 0 | -299507 lb | 0 0 0.00 | 11.28/11.37 c | 11.37 | 0 | -299506 lb | 0 0 0.00 | 11.48/11.50 c | 11.50 | 0 | -299505 lb | 0 0 0.00 | 11.58/11.63 c | 11.64 | 0 | -299504 lb | 0 0 0.00 | 11.68/11.78 c | 11.79 | 0 | -299503 lb | 0 0 0.00 | 11.88/11.93 c | 11.94 | 0 | -299502 lb | 0 0 0.00 | 12.10/12.15 c | 12.15 | 0 | -299501 lb | 0 0 0.00 | 12.19/12.29 c | 12.29 | 0 | -299500 lb | 0 0 0.00 | 12.39/12.45 c | 12.45 | 0 | -299498 lb | 0 0 0.00 | 12.49/12.59 c | 12.60 | 0 | -299495 lb | 0 0 0.00 | 12.69/12.75 c | 12.75 | 0 | -299494 lb | 0 0 0.00 | 12.79/12.89 c | 12.90 | 0 | -299493 lb | 0 0 0.00 | 12.99/13.04 c | 13.05 | 0 | -299492 lb | 0 0 0.00 | 13.19/13.22 c | 13.22 | 0 | -299491 lb | 0 0 0.00 | 13.28/13.37 c | 13.37 | 0 | -299490 lb | 0 0 0.00 | 13.48/13.50 c | 13.51 | 0 | -299480 lb | 0 0 0.00 | 13.58/13.66 c | 13.66 | 0 | -299472 lb | 0 0 0.00 | 13.78/13.81 c | 13.81 | 0 | -299471 lb | 0 0 0.00 | 13.98/14.02 c | 14.02 | 0 | -299470 lb | 0 0 0.00 | 14.08/14.17 c | 14.17 | 0 | -299466 lb | 0 0 0.00 | 14.29/14.34 c | 14.34 | 0 | -299453 lb | 0 0 0.00 | 14.38/14.48 c | 14.48 | 0 | -299451 lb | 0 0 0.00 | 14.58/14.65 c | 14.65 | 0 | -299450 lb | 0 0 0.00 | 14.79/14.83 c | 14.84 | 0 | -299436 lb | 0 0 0.00 | 14.99/15.00 c | 15.00 | 0 | -299415 lb | 0 0 0.00 | 15.09/15.14 c | 15.15 | 0 | -299414 lb | 0 0 0.00 | 15.29/15.30 c | 15.31 | 0 | -299413 lb | 0 0 0.00 | 15.39/15.44 c | 15.45 | 0 | -299412 lb | 0 0 0.00 | 15.59/15.62 c | 15.63 | 0 | -299411 lb | 0 0 0.00 | 15.78/15.80 c | 15.80 | 0 | -299409 lb | 0 0 0.00 | 15.88/15.95 c | 15.96 | 0 | -299399 lb | 0 0 0.00 | 16.08/16.10 c | 16.10 | 0 | -299397 lb | 0 0 0.00 | 16.18/16.23 c | 16.24 | 0 | -299396 lb | 0 0 0.00 | 16.39/16.42 c | 16.42 | 0 | -299391 lb | 0 0 0.00 | 16.58/16.65 c | 16.66 | 0 | -299389 lb | 0 0 0.00 | 16.78/16.82 c | 16.82 | 0 | -299388 lb | 0 0 0.00 | 16.88/16.95 c | 16.95 | 0 | -299387 lb | 0 0 0.00 | 17.08/17.10 c | 17.10 | 0 | -299386 lb | 0 0 0.00 | 17.18/17.27 c | 17.28 | 0 | -299385 lb | 0 0 0.00 | 17.39/17.43 c | 17.43 | 0 | -299382 lb | 0 0 0.00 | 17.59/17.61 c | 17.61 | 0 | -299381 lb | 0 0 0.00 | 17.69/17.77 c | 17.77 | 0 | -299380 lb | 0 0 0.00 | 17.88/17.92 c | 17.93 | 0 | -299379 lb | 0 0 0.00 | 17.98/18.09 c | 18.09 | 0 | -299377 lb | 0 0 0.00 | 18.18/18.25 c | 18.26 | 0 | -299376 lb | 0 0 0.00 | 18.38/18.40 c | 18.40 | 0 | -299303 lb | 0 0 0.00 | 18.49/18.56 c | 18.57 | 0 | -299302 lb | 0 0 0.00 | 18.69/18.72 c | 18.73 | 0 | -299301 lb | 0 0 0.00 | 18.79/18.89 c | 18.89 | 0 | -299300 lb | 0 0 0.00 | 18.98/19.07 c | 19.07 | 0 | -299298 lb | 0 0 0.00 | 19.18/19.22 c | 19.22 | 0 | -299297 lb | 0 0 0.00 | 19.28/19.37 c | 19.38 | 0 | -299295 lb | 0 0 0.00 | 19.48/19.53 c | 19.54 | 0 | -299294 lb | 0 0 0.00 | 19.58/19.69 c | 19.69 | 0 | -299293 lb | 0 0 0.00 | 19.78/19.89 c | 19.90 | 0 | -299292 lb | 0 0 0.00 | 19.98/20.06 c | 20.06 | 0 | -299291 lb | 0 0 0.00 | 20.18/20.21 c | 20.21 | 0 | -299259 lb | 0 0 0.00 | 20.28/20.35 c | 20.36 | 0 | -299258 lb | 0 0 0.00 | 20.49/20.52 c | 20.52 | 0 | -299257 lb | 0 0 0.00 | 20.58/20.68 c | 20.69 | 0 | -299202 lb | 0 0 0.00 | 20.89/20.91 c | 20.91 | 0 | -299201 lb | 0 0 0.00 | 20.98/21.09 c | 21.10 | 0 | -299200 lb | 0 0 0.00 | 21.28/21.31 c | 21.31 | 0 | -299199 lb | 0 0 0.00 | 21.48/21.54 c | 21.55 | 0 | -299198 lb | 0 0 0.00 | 21.68/21.78 c | 21.79 | 0 | -299197 lb | 0 0 0.00 | 21.89/21.98 c | 21.98 | 0 | -299196 lb | 0 0 0.00 | 22.08/22.17 c | 22.17 | 0 | -299195 lb | 0 0 0.00 | 22.28/22.36 c | 22.36 | 0 | -299194 lb | 0 0 0.00 | 22.48/22.55 c | 22.55 | 0 | -299193 lb | 0 0 0.00 | 22.68/22.78 c | 22.78 | 0 | -299192 lb | 0 0 0.00 | 22.88/22.97 c | 22.97 | 0 | -299191 lb | 0 0 0.00 | 23.09/23.17 c | 23.17 | 0 | -299190 lb | 0 0 0.00 | 23.28/23.38 c | 23.39 | 0 | -299189 lb | 0 0 0.00 | 23.48/23.58 c | 23.58 | 0 | -299188 lb | 0 0 0.00 | 23.68/23.77 c | 23.77 | 0 | -299187 lb | 0 0 0.00 | 23.88/23.93 c | 23.94 | 0 | -299181 lb | 0 0 0.00 | 24.08/24.11 c | 24.11 | 0 | -299180 lb | 0 0 0.00 | 24.19/24.27 c | 24.28 | 0 | -299177 lb | 0 0 0.00 | 24.38/24.47 c | 24.47 | 0 | -299176 lb | 0 0 0.00 | 24.58/24.64 c | 24.65 | 0 | -299175 lb | 0 0 0.00 | 24.78/24.82 c | 24.82 | 0 | -299174 lb | 0 0 0.00 | 24.98/25.00 c | 25.00 | 0 | -299173 lb | 0 0 0.00 | 25.19/25.21 c | 25.22 | 0 | -299172 lb | 0 0 0.00 | 25.38/25.42 c | 25.43 | 0 | -299171 lb | 0 0 0.00 | 25.58/25.62 c | 25.63 | 0 | -299170 lb | 0 0 0.00 | 25.78/25.83 c | 25.83 | 0 | -299169 lb | 0 0 0.00 | 25.99/26.02 c | 26.02 | 0 | -299168 lb | 0 0 0.00 | 26.09/26.19 c | 26.19 | 0 | -299167 lb | 0 0 0.00 | 26.29/26.38 c | 26.39 | 0 | -299166 lb | 0 0 0.00 | 26.58/26.63 c | 26.63 | 0 | -299165 lb | 0 0 0.00 | 26.78/26.82 c | 26.82 | 0 | -299164 lb | 0 0 0.00 | 26.98/27.01 c | 27.01 | 0 | -299163 lb | 0 0 0.00 | 27.08/27.19 c | 27.19 | 0 | -299162 lb | 0 0 0.00 | 27.28/27.36 c | 27.37 | 0 | -299161 lb | 0 0 0.00 | 27.48/27.56 c | 27.57 | 0 | -299160 lb | 0 0 0.00 | 27.68/27.75 c | 27.75 | 0 | -299159 lb | 0 0 0.00 | 27.88/27.94 c | 27.95 | 0 | -299158 lb | 0 0 0.00 | 28.08/28.15 c | 28.15 | 0 | -299157 lb | 0 0 0.00 | 28.28/28.34 c | 28.34 | 0 | -299156 lb | 0 0 0.00 | 28.49/28.55 c | 28.55 | 0 | -299155 lb | 0 0 0.00 | 28.68/28.76 c | 28.77 | 0 | -299154 lb | 0 0 0.00 | 28.88/29.00 c | 29.00 | 0 | -299153 lb | 0 0 0.00 | 29.18/29.23 c | 29.24 | 0 | -299152 lb | 0 0 0.00 | 29.38/29.44 c | 29.45 | 0 | -299151 lb | 0 0 0.00 | 29.59/29.65 c | 29.65 | 0 | -299150 lb | 0 0 0.00 | 29.78/29.85 c | 29.85 | 0 | -299149 lb | 0 0 0.00 | 29.98/30.07 c | 30.08 | 0 | -299148 lb | 0 0 0.00 | 30.28/30.30 c | 30.30 | 0 | -299147 lb | 0 0 0.00 | 30.47/30.50 c | 30.50 | 0 | -299146 lb | 0 0 0.00 | 30.57/30.63 c | 30.64 | 0 | -299145 lb | 0 0 0.00 | 30.79/30.84 c | 30.85 | 0 | -299144 lb | 0 0 0.00 | 30.98/31.06 c | 31.07 | 0 | -299143 lb | 0 0 0.00 | 31.18/31.26 c | 31.27 | 0 | -299142 lb | 0 0 0.00 | 31.48/31.51 c | 31.51 | 0 | -299141 lb | 0 0 0.00 | 31.68/31.71 c | 31.71 | 0 | -299140 lb | 0 0 0.00 | 31.88/31.92 c | 31.92 | 0 | -299139 lb | 0 0 0.00 | 32.08/32.11 c | 32.11 | 0 | -299138 lb | 0 0 0.00 | 32.28/32.35 c | 32.36 | 0 | -299137 lb | 0 0 0.00 | 32.48/32.59 c | 32.59 | 0 | -299136 lb | 0 0 0.00 | 32.78/32.81 c | 32.81 | 0 | -299135 lb | 0 0 0.00 | 32.98/33.06 c | 33.06 | 0 | -299134 lb | 0 0 0.00 | 33.17/33.26 c | 33.27 | 0 | -299133 lb | 0 0 0.00 | 33.37/33.48 c | 33.49 | 0 | -299132 lb | 0 0 0.00 | 33.68/33.71 c | 33.72 | 0 | -299131 lb | 0 0 0.00 | 33.88/33.93 c | 33.94 | 0 | -299130 lb | 0 0 0.00 | 34.08/34.18 c | 34.18 | 0 | -299129 lb | 0 0 0.00 | 34.38/34.45 c | 34.45 | 0 | -299128 lb | 0 0 0.00 | 34.68/34.70 c | 34.70 | 0 | -299127 lb | 0 0 0.00 | 34.88/34.94 c | 34.94 | 0 | -299126 lb | 0 0 0.00 | 35.08/35.18 c | 35.18 | 0 | -299125 lb | 0 0 0.00 | 35.38/35.44 c | 35.45 | 0 | -299124 lb | 0 0 0.00 | 35.57/35.68 c | 35.69 | 0 | -299123 lb | 0 0 0.00 | 35.88/35.91 c | 35.91 | 0 | -299122 lb | 0 0 0.00 | 36.08/36.14 c | 36.15 | 0 | -299121 lb | 0 0 0.00 | 36.38/36.40 c | 36.40 | 0 | -299120 lb | 0 0 0.00 | 36.58/36.62 c | 36.62 | 0 | -299119 lb | 0 0 0.00 | 36.78/36.90 c | 36.90 | 0 | -299118 lb | 0 0 0.00 | 37.07/37.15 c | 37.15 | 0 | -299117 lb | 0 0 0.00 | 37.28/37.39 c | 37.40 | 0 | -299116 lb | 0 0 0.00 | 37.57/37.60 c | 37.60 | 0 | -299115 lb | 0 0 0.00 | 37.78/37.81 c | 37.81 | 0 | -299114 lb | 0 0 0.00 | 37.98/38.09 c | 38.09 | 0 | -299113 lb | 0 0 0.00 | 38.28/38.34 c | 38.34 | 0 | -299112 lb | 0 0 0.00 | 38.49/38.58 c | 38.59 | 0 | -299111 lb | 0 0 0.00 | 38.78/38.82 c | 38.82 | 0 | -299110 lb | 0 0 0.00 | 38.98/39.05 c | 39.05 | 0 | -299109 lb | 0 0 0.00 | 39.18/39.27 c | 39.27 | 0 | -299108 lb | 0 0 0.00 | 39.38/39.49 c | 39.49 | 0 | -299107 lb | 0 0 0.00 | 39.58/39.68 c | 39.69 | 0 | -299106 lb | 0 0 0.00 | 39.87/39.95 c | 39.96 | 0 | -299105 lb | 0 0 0.00 | 40.27/40.39 c | 40.39 | 0 | -299104 lb | 0 0 0.00 | 40.68/40.72 c | 40.72 | 0 | -299103 lb | 0 0 0.00 | 40.87/40.90 c | 40.90 | 0 | -299102 lb | 0 0 0.00 | 41.07/41.15 c | 41.16 | 0 | -299101 lb | 0 0 0.00 | 41.27/41.38 c | 41.39 | 0 | -299100 lb | 0 0 0.00 | 41.47/41.58 c | 41.59 | 0 | -299099 lb | 0 0 0.00 | 41.69/41.80 c | 41.80 | 0 | -299098 lb | 0 0 0.00 | 41.88/41.97 c | 41.97 | 0 | -299097 lb | 0 0 0.00 | 42.08/42.14 c | 42.15 | 0 | -299092 lb | 0 0 0.00 | 42.28/42.36 c | 42.37 | 0 | -299091 lb | 0 0 0.00 | 42.58/42.60 c | 42.60 | 0 | -299090 lb | 0 0 0.00 | 42.78/42.83 c | 42.83 | 0 | -299085 lb | 0 0 0.00 | 42.98/43.07 c | 43.07 | 0 | -299084 lb | 0 0 0.00 | 43.28/43.31 c | 43.31 | 0 | -299083 lb | 0 0 0.00 | 43.47/43.56 c | 43.56 | 0 | -299082 lb | 0 0 0.00 | 43.67/43.79 c | 43.79 | 0 | -299081 lb | 0 0 0.00 | 43.98/44.02 c | 44.03 | 0 | -299080 lb | 0 0 0.00 | 44.17/44.26 c | 44.26 | 0 | -299079 lb | 0 0 0.00 | 44.58/44.60 c | 44.60 | 0 | -299078 lb | 0 0 0.00 | 44.78/44.83 c | 44.84 | 0 | -299077 lb | 0 0 0.00 | 44.98/45.08 c | 45.09 | 0 | -299076 lb | 0 0 0.00 | 45.28/45.31 c | 45.31 | 0 | -299075 lb | 0 0 0.00 | 45.48/45.55 c | 45.55 | 0 | -299074 lb | 0 0 0.00 | 45.68/45.79 c | 45.79 | 0 | -299073 lb | 0 0 0.00 | 45.98/46.02 c | 46.02 | 0 | -299072 lb | 0 0 0.00 | 46.37/46.44 c | 46.45 | 0 | -299071 lb | 0 0 0.00 | 46.67/46.78 c | 46.79 | 0 | -299070 lb | 0 0 0.00 | 47.47/47.50 c | 47.50 | 0 | -299069 lb | 0 0 0.00 | 47.77/47.85 c | 47.86 | 0 | -299068 lb | 0 0 0.00 | 47.97/48.08 c | 48.08 | 0 | -299067 lb | 0 0 0.00 | 48.38/48.42 c | 48.42 | 0 | -299066 lb | 0 0 0.00 | 48.58/48.68 c | 48.68 | 0 | -299065 lb | 0 0 0.00 | 49.17/49.26 c | 49.26 | 0 | -299064 lb | 0 0 0.00 | 49.67/49.74 c | 49.74 | 0 | -299063 lb | 0 0 0.00 | 50.27/50.35 c | 50.35 | 0 | -299062 lb | 0 0 0.00 | 50.97/51.02 c | 51.03 | 0 | -299061 lb | 0 0 0.00 | 51.37/51.43 c | 51.43 | 0 | -299060 lb | 0 0 0.00 | 51.77/51.84 c | 51.84 | 0 | -299059 lb | 0 0 0.00 | 52.17/52.24 c | 52.24 | 0 | -299058 lb | 0 0 0.00 | 52.57/52.60 c | 52.60 | 0 | -299057 lb | 0 0 0.00 | 53.17/53.20 c | 53.20 | 0 | -299056 lb | 0 0 0.00 | 53.47/53.51 c | 53.52 | 0 | -299055 lb | 0 0 0.00 | 53.78/53.89 c | 53.90 | 0 | -299054 lb | 0 0 0.00 | 54.27/54.34 c | 54.34 | 0 | -299053 lb | 0 0 0.00 | 54.57/54.67 c | 54.68 | 0 | -299052 lb | 0 0 0.00 | 54.88/55.00 c | 55.00 | 0 | -299051 lb | 0 0 0.00 | 55.27/55.35 c | 55.36 | 0 | -299050 lb | 0 0 0.00 | 55.67/55.70 c | 55.71 | 0 | -299049 lb | 0 0 0.00 | 56.08/56.10 c | 56.11 | 0 | -299048 lb | 0 0 0.00 | 56.37/56.40 c | 56.41 | 0 | -299047 lb | 0 0 0.00 | 56.77/56.89 c | 56.89 | 0 | -299046 lb | 0 0 0.00 | 57.17/57.22 c | 57.22 | 0 | -299045 lb | 0 0 0.00 | 57.67/57.72 c | 57.72 | 0 | -299044 lb | 0 0 0.00 | 57.97/58.08 c | 58.08 | 0 | -299043 lb | 0 0 0.00 | 58.57/58.61 c | 58.61 | 0 | -299042 lb | 0 0 0.00 | 59.07/59.15 c | 59.16 | 0 | -299041 lb | 0 0 0.00 | 59.47/59.57 c | 59.57 | 0 | -299040 lb | 0 0 0.00 | 59.77/59.89 c | 59.89 | 0 | -299039 lb | 0 0 0.00 | 60.16/60.22 c | 60.23 | 0 | -299038 lb | 0 0 0.00 | 60.56/60.61 c | 60.61 | 0 | -299037 lb | 0 0 0.00 | 60.97/61.01 c | 61.01 | 0 | -299036 lb | 0 0 0.00 | 61.27/61.39 c | 61.40 | 0 | -299035 lb | 0 0 0.00 | 61.66/61.76 c | 61.76 | 0 | -299034 lb | 0 0 0.00 | 62.06/62.13 c | 62.13 | 0 | -299033 lb | 0 0 0.00 | 62.47/62.51 c | 62.52 | 0 | -299032 lb | 0 0 0.00 | 62.86/62.92 c | 62.93 | 0 | -299031 lb | 0 0 0.00 | 63.16/63.27 c | 63.27 | 0 | -299030 lb | 0 0 0.00 | 63.56/63.68 c | 63.69 | 0 | -299029 lb | 0 0 0.00 | 63.97/64.04 c | 64.05 | 0 | -299028 lb | 0 0 0.00 | 64.37/64.40 c | 64.41 | 0 | -299027 lb | 0 0 0.00 | 64.67/64.78 c | 64.78 | 0 | -299026 lb | 0 0 0.00 | 64.97/65.09 c | 65.09 | 0 | -299025 lb | 0 0 0.00 | 65.37/65.41 c | 65.42 | 0 | -299024 lb | 0 0 0.00 | 65.67/65.70 c | 65.71 | 0 | -299023 lb | 0 0 0.00 | 66.06/66.11 c | 66.11 | 0 | -299022 lb | 0 0 0.00 | 66.36/66.43 c | 66.44 | 0 | -299021 lb | 0 0 0.00 | 66.76/66.85 c | 66.86 | 0 | -299020 lb | 0 0 0.00 | 67.07/67.16 c | 67.16 | 0 | -299019 lb | 0 0 0.00 | 67.37/67.49 c | 67.49 | 0 | -299018 lb | 0 0 0.00 | 67.77/67.82 c | 67.83 | 0 | -299017 lb | 0 0 0.00 | 68.07/68.16 c | 68.16 | 0 | -299016 lb | 0 0 0.00 | 68.47/68.50 c | 68.51 | 0 | -299015 lb | 0 0 0.00 | 68.76/68.81 c | 68.81 | 0 | -299014 lb | 0 0 0.00 | 69.06/69.16 c | 69.17 | 0 | -299013 lb | 0 0 0.00 | 69.36/69.48 c | 69.48 | 0 | -299012 lb | 0 0 0.00 | 69.86/69.96 c | 69.96 | 0 | -299011 lb | 0 0 0.00 | 70.16/70.27 c | 70.28 | 0 | -299010 lb | 0 0 0.00 | 70.46/70.58 c | 70.58 | 0 | -299009 lb | 0 0 0.00 | 70.86/70.99 c | 71.00 | 0 | -299008 lb | 0 0 0.00 | 71.37/71.48 c | 71.48 | 0 | -299007 lb | 0 0 0.00 | 71.76/71.83 c | 71.83 | 0 | -299006 lb | 0 0 0.00 | 72.06/72.18 c | 72.18 | 0 | -299005 lb | 0 0 0.00 | 72.76/72.81 c | 72.81 | 0 | -299004 lb | 0 0 0.00 | 73.06/73.13 c | 73.13 | 0 | -299003 lb | 0 0 0.00 | 73.36/73.44 c | 73.45 | 0 | -299002 lb | 0 0 0.00 | 73.67/73.77 c | 73.78 | 0 | -299001 lb | 0 0 0.00 | 73.96/74.08 c | 74.09 | 0 | -299000 lb | 0 0 0.00 | 74.36/74.42 c | 74.42 | 0 | -298999 lb | 0 0 0.00 | 74.67/74.80 c | 74.80 | 0 | -298998 lb | 0 0 0.00 | 75.06/75.15 c | 75.15 | 0 | -298997 lb | 0 0 0.00 | 75.36/75.46 c | 75.47 | 0 | -298996 lb | 0 0 0.00 | 75.66/75.77 c | 75.77 | 0 | -298995 lb | 0 0 0.00 | 75.96/76.07 c | 76.07 | 0 | -298994 lb | 0 0 0.00 | 76.36/76.42 c | 76.43 | 0 | -298993 lb | 0 0 0.00 | 76.66/76.72 c | 76.72 | 0 | -298992 lb | 0 0 0.00 | 76.96/77.07 c | 77.08 | 0 | -298991 lb | 0 0 0.00 | 77.36/77.44 c | 77.45 | 0 | -298990 lb | 0 0 0.00 | 77.66/77.79 c | 77.80 | 0 | -298989 lb | 0 0 0.00 | 78.07/78.10 c | 78.11 | 0 | -298988 lb | 0 0 0.00 | 78.36/78.45 c | 78.46 | 0 | -298987 lb | 0 0 0.00 | 78.76/78.81 c | 78.81 | 0 | -298986 lb | 0 0 0.00 | 79.17/79.21 c | 79.21 | 0 | -298985 lb | 0 0 0.00 | 79.46/79.54 c | 79.55 | 0 | -298984 lb | 0 0 0.00 | 79.76/79.87 c | 79.88 | 0 | -298983 lb | 0 0 0.00 | 80.05/80.19 c | 80.20 | 0 | -298982 lb | 0 0 0.00 | 80.45/80.54 c | 80.54 | 0 | -298981 lb | 0 0 0.00 | 80.65/80.78 c | 80.78 | 0 | -298980 lb | 0 0 0.00 | 81.05/81.11 c | 81.11 | 0 | -298979 lb | 0 0 0.00 | 81.36/81.44 c | 81.44 | 0 | -298978 lb | 0 0 0.00 | 81.75/81.82 c | 81.83 | 0 | -298977 lb | 0 0 0.00 | 82.05/82.15 c | 82.15 | 0 | -298976 lb | 0 0 0.00 | 82.37/82.49 c | 82.50 | 0 | -298975 lb | 0 0 0.00 | 82.76/82.82 c | 82.82 | 0 | -298974 lb | 0 0 0.00 | 83.06/83.13 c | 83.14 | 0 | -298973 lb | 0 0 0.00 | 83.36/83.45 c | 83.45 | 0 | -298972 lb | 0 0 0.00 | 83.66/83.76 c | 83.76 | 0 | -298971 lb | 0 0 0.00 | 84.06/84.13 c | 84.14 | 0 | -298970 lb | 0 0 0.00 | 84.36/84.48 c | 84.48 | 0 | -298969 lb | 0 0 0.00 | 84.76/84.80 c | 84.80 | 0 | -298968 lb | 0 0 0.00 | 85.05/85.12 c | 85.12 | 0 | -298967 lb | 0 0 0.00 | 85.36/85.43 c | 85.44 | 0 | -298966 lb | 0 0 0.00 | 85.67/85.78 c | 85.78 | 0 | -298965 lb | 0 0 0.00 | 86.06/86.12 c | 86.13 | 0 | -298964 lb | 0 0 0.00 | 86.35/86.48 c | 86.49 | 0 | -298963 lb | 0 0 0.00 | 86.65/86.80 c | 86.81 | 0 | -298962 lb | 0 0 0.00 | 87.06/87.13 c | 87.14 | 0 | -298961 lb | 0 0 0.00 | 87.36/87.46 c | 87.46 | 0 | -298960 lb | 0 0 0.00 | 87.76/87.82 c | 87.83 | 0 | -298957 lb | 0 0 0.00 | 88.06/88.17 c | 88.17 | 0 | -298956 lb | 0 0 0.00 | 88.46/88.50 c | 88.51 | 0 | -298955 lb | 0 0 0.00 | 88.76/88.85 c | 88.85 | 0 | -298954 lb | 0 0 0.00 | 89.15/89.20 c | 89.20 | 0 | -298953 lb | 0 0 0.00 | 89.45/89.53 c | 89.53 | 0 | -298952 lb | 0 0 0.00 | 89.75/89.86 c | 89.86 | 0 | -298949 lb | 0 0 0.00 | 90.06/90.19 c | 90.19 | 0 | -298948 lb | 0 0 0.00 | 90.55/90.60 c | 90.60 | 0 | -298947 lb | 0 0 0.00 | 90.86/90.94 c | 90.94 | 0 | -298944 lb | 0 0 0.00 | 91.27/91.35 c | 91.35 | 0 | -298943 lb | 0 0 0.00 | 91.56/91.68 c | 91.68 | 0 | -298942 lb | 0 0 0.00 | 91.96/92.04 c | 92.05 | 0 | -298941 lb | 0 0 0.00 | 92.26/92.35 c | 92.35 | 0 | -298940 lb | 0 0 0.00 | 92.66/92.72 c | 92.73 | 0 | -298939 lb | 0 0 0.00 | 92.95/93.06 c | 93.07 | 0 | -298938 lb | 0 0 0.00 | 93.25/93.40 c | 93.41 | 0 | -298937 lb | 0 0 0.00 | 93.65/93.77 c | 93.77 | 0 | -298936 lb | 0 0 0.00 | 94.05/94.10 c | 94.10 | 0 | -298935 lb | 0 0 0.00 | 94.35/94.42 c | 94.43 | 0 | -298934 lb | 0 0 0.00 | 94.66/94.77 c | 94.77 | 0 | -298933 lb | 0 0 0.00 | 94.96/95.09 c | 95.10 | 0 | -298932 lb | 0 0 0.00 | 95.36/95.41 c | 95.41 | 0 | -298931 lb | 0 0 0.00 | 95.66/95.79 c | 95.79 | 0 | -298930 lb | 0 0 0.00 | 96.05/96.12 c | 96.12 | 0 | -298929 lb | 0 0 0.00 | 96.35/96.48 c | 96.48 | 0 | -298928 lb | 0 0 0.00 | 96.76/96.81 c | 96.81 | 0 | -298927 lb | 0 0 0.00 | 97.05/97.17 c | 97.17 | 0 | -298926 lb | 0 0 0.00 | 97.46/97.52 c | 97.53 | 0 | -298925 lb | 0 0 0.00 | 97.76/97.90 c | 97.90 | 0 | -298924 lb | 0 0 0.00 | 98.16/98.24 c | 98.24 | 0 | -298923 lb | 0 0 0.00 | 98.55/98.62 c | 98.62 | 0 | -298922 lb | 0 0 0.00 | 98.86/98.98 c | 98.99 | 0 | -298921 lb | 0 0 0.00 | 99.25/99.37 c | 99.38 | 0 | -298920 lb | 0 0 0.00 | 99.76/99.83 c | 99.83 | 0 | -298919 lb | 0 0 0.00 | 100.25/100.38 c | 100.38 | 0 | -298918 lb | 0 0 0.00 | 100.65/100.74 c | 100.74 | 0 | -298917 lb | 0 0 0.00 | 101.05/101.11 c | 101.11 | 0 | -298916 lb | 0 0 0.00 | 101.55/101.63 c | 101.63 | 0 | -298915 lb | 0 0 0.00 | 101.95/102.05 c | 102.05 | 0 | -298914 lb | 0 0 0.00 | 102.45/102.52 c | 102.53 | 0 | -298913 lb | 0 0 0.00 | 102.85/102.96 c | 102.97 | 0 | -298912 lb | 0 0 0.00 | 103.26/103.36 c | 103.36 | 0 | -298911 lb | 0 0 0.00 | 103.65/103.77 c | 103.77 | 0 | -298910 lb | 0 0 0.00 | 104.05/104.16 c | 104.16 | 0 | -298909 lb | 0 0 0.00 | 104.46/104.56 c | 104.56 | 0 | -298908 lb | 0 0 0.00 | 104.95/105.01 c | 105.02 | 0 | -298907 lb | 0 0 0.00 | 105.46/105.52 c | 105.52 | 0 | -298906 lb | 0 0 0.00 | 105.95/106.04 c | 106.05 | 0 | -298905 lb | 0 0 0.00 | 106.35/106.47 c | 106.47 | 0 | -298904 lb | 0 0 0.00 | 106.85/106.91 c | 106.92 | 0 | -298903 lb | 0 0 0.00 | 107.15/107.26 c | 107.27 | 0 | -298902 lb | 0 0 0.00 | 107.55/107.68 c | 107.68 | 0 | -298901 lb | 0 0 0.00 | 108.05/108.17 c | 108.17 | 0 | -298900 lb | 0 0 0.00 | 108.54/108.60 c | 108.60 | 0 | -298899 lb | 0 0 0.00 | 108.85/108.98 c | 108.98 | 0 | -298898 lb | 0 0 0.00 | 109.24/109.32 c | 109.33 | 0 | -298897 lb | 0 0 0.00 | 109.55/109.69 c | 109.69 | 0 | -298896 lb | 0 0 0.00 | 110.05/110.11 c | 110.11 | 0 | -298895 lb | 0 0 0.00 | 110.45/110.56 c | 110.57 | 0 | -298894 lb | 0 0 0.00 | 110.85/110.97 c | 110.97 | 0 | -298893 lb | 0 0 0.00 | 111.25/111.33 c | 111.33 | 0 | -298892 lb | 0 0 0.00 | 111.65/111.79 c | 111.79 | 0 | -298891 lb | 0 0 0.00 | 112.15/112.22 c | 112.23 | 0 | -298890 lb | 0 0 0.00 | 112.65/112.71 c | 112.71 | 0 | -298889 lb | 0 0 0.00 | 112.95/113.09 c | 113.10 | 0 | -298888 lb | 0 0 0.00 | 113.35/113.48 c | 113.48 | 0 | -298887 lb | 0 0 0.00 | 113.74/113.88 c | 113.89 | 0 | -298886 lb | 0 0 0.00 | 114.14/114.29 c | 114.29 | 0 | -298885 lb | 0 0 0.00 | 114.54/114.64 c | 114.64 | 0 | -298884 lb | 0 0 0.00 | 114.95/115.10 c | 115.10 | 0 | -298883 lb | 0 0 0.00 | 115.36/115.49 c | 115.49 | 0 | -298882 lb | 0 0 0.00 | 115.75/115.86 c | 115.87 | 0 | -298881 lb | 0 0 0.00 | 116.15/116.24 c | 116.24 | 0 | -298880 lb | 0 0 0.00 | 116.75/116.84 c | 116.84 | 0 | -298879 lb | 0 0 0.00 | 117.15/117.23 c | 117.23 | 0 | -298878 lb | 0 0 0.00 | 117.55/117.66 c | 117.66 | 0 | -298877 lb | 0 0 0.00 | 117.94/118.04 c | 118.04 | 0 | -298876 lb | 0 0 0.00 | 118.34/118.49 c | 118.49 | 0 | -298875 lb | 0 0 0.00 | 118.75/118.89 c | 118.89 | 0 | -298874 lb | 0 0 0.00 | 119.25/119.37 c | 119.38 | 0 | -298873 lb | 0 0 0.00 | 119.65/119.75 c | 119.75 | 0 | -298872 lb | 0 0 0.00 | 120.05/120.14 c | 120.14 | 0 | -298871 lb | 0 0 0.00 | 120.45/120.50 c | 120.51 | 0 | -298870 lb | 0 0 0.00 | 120.85/120.91 c | 120.91 | 0 | -298869 lb | 0 0 0.00 | 121.25/121.34 c | 121.35 | 0 | -298868 lb | 0 0 0.00 | 121.75/121.82 c | 121.83 | 0 | -298867 lb | 0 0 0.00 | 122.25/122.31 c | 122.31 | 0 | -298866 lb | 0 0 0.00 | 122.65/122.71 c | 122.72 | 0 | -298865 lb | 0 0 0.00 | 122.95/123.09 c | 123.10 | 0 | -298864 lb | 0 0 0.00 | 123.65/123.77 c | 123.77 | 0 | -298863 lb | 0 0 0.00 | 124.04/124.15 c | 124.15 | 0 | -298862 lb | 0 0 0.00 | 124.44/124.53 c | 124.53 | 0 | -298861 lb | 0 0 0.00 | 124.84/124.96 c | 124.96 | 0 | -298860 lb | 0 0 0.00 | 125.25/125.38 c | 125.38 | 0 | -298859 lb | 0 0 0.00 | 125.65/125.75 c | 125.75 | 0 | -298858 lb | 0 0 0.00 | 126.15/126.22 c | 126.23 | 0 | -298857 lb | 0 0 0.00 | 126.65/126.72 c | 126.73 | 0 | -298856 lb | 0 0 0.00 | 127.15/127.25 c | 127.25 | 0 | -298855 lb | 0 0 0.00 | 127.55/127.68 c | 127.68 | 0 | -298854 lb | 0 0 0.00 | 128.04/128.10 c | 128.11 | 0 | -298853 lb | 0 0 0.00 | 128.45/128.58 c | 128.58 | 0 | -298852 lb | 0 0 0.00 | 129.05/129.10 c | 129.11 | 0 | -298851 lb | 0 0 0.00 | 129.35/129.49 c | 129.50 | 0 | -298850 lb | 0 0 0.00 | 130.24/130.36 c | 130.36 | 0 | -298849 lb | 0 0 0.00 | 130.85/130.93 c | 130.94 | 0 | -298848 lb | 0 0 0.00 | 131.55/131.68 c | 131.68 | 0 | -298847 lb | 0 0 0.00 | 132.14/132.27 c | 132.28 | 0 | -298846 lb | 0 0 0.00 | 132.74/132.85 c | 132.85 | 0 | -298845 lb | 0 0 0.00 | 133.24/133.30 c | 133.30 | 0 | -298844 lb | 0 0 0.00 | 133.64/133.79 c | 133.79 | 0 | -298843 lb | 0 0 0.00 | 134.25/134.33 c | 134.34 | 0 | -298842 lb | 0 0 0.00 | 134.85/134.99 c | 134.99 | 0 | -298841 lb | 0 0 0.00 | 135.55/135.68 c | 135.68 | 0 | -298840 lb | 0 0 0.00 | 136.25/136.36 c | 136.36 | 0 | -298839 lb | 0 0 0.00 | 137.14/137.22 c | 137.22 | 0 | -298838 lb | 0 0 0.00 | 137.84/137.95 c | 137.95 | 0 | -298837 lb | 0 0 0.00 | 138.45/138.52 c | 138.53 | 0 | -298836 lb | 0 0 0.00 | 138.84/138.95 c | 138.95 | 0 | -298835 lb | 0 0 0.00 | 139.34/139.44 c | 139.45 | 0 | -298834 lb | 0 0 0.00 | 139.94/140.00 c | 140.00 | 0 | -298833 lb | 0 0 0.00 | 140.44/140.56 c | 140.57 | 0 | -298832 lb | 0 0 0.00 | 140.95/141.01 c | 141.01 | 0 | -298831 lb | 0 0 0.00 | 141.35/141.46 c | 141.46 | 0 | -298830 lb | 0 0 0.00 | 142.05/142.18 c | 142.19 | 0 | -298829 lb | 0 0 0.00 | 142.74/142.89 c | 142.89 | 0 | -298828 lb | 0 0 0.00 | 143.44/143.53 c | 143.53 | 0 | -298827 lb | 0 0 0.00 | 143.95/144.07 c | 144.07 | 0 | -298826 lb | 0 0 0.00 | 144.44/144.57 c | 144.57 | 0 | -298825 lb | 0 0 0.00 | 145.05/145.20 c | 145.20 | 0 | -298824 lb | 0 0 0.00 | 145.64/145.77 c | 145.77 | 0 | -298823 lb | 0 0 0.00 | 146.55/146.67 c | 146.67 | 0 | -298822 lb | 0 0 0.00 | 147.15/147.26 c | 147.26 | 0 | -298821 lb | 0 0 0.00 | 147.95/148.01 c | 148.02 | 0 | -298820 lb | 0 0 0.00 | 148.55/148.62 c | 148.62 | 0 | -298819 lb | 0 0 0.00 | 149.04/149.14 c | 149.14 | 0 | -298818 lb | 0 0 0.00 | 149.55/149.62 c | 149.63 | 0 | -298817 lb | 0 0 0.00 | 150.04/150.19 c | 150.19 | 0 | -298816 lb | 0 0 0.00 | 150.55/150.64 c | 150.64 | 0 | -298815 lb | 0 0 0.00 | 151.04/151.16 c | 151.16 | 0 | -298814 lb | 0 0 0.00 | 151.64/151.73 c | 151.73 | 0 | -298813 lb | 0 0 0.00 | 152.24/152.31 c | 152.31 | 0 | -298812 lb | 0 0 0.00 | 153.34/153.42 c | 153.43 | 0 | -298811 lb | 0 0 0.00 | 154.15/154.21 c | 154.21 | 0 | -298810 lb | 0 0 0.00 | 154.65/154.74 c | 154.75 | 0 | -298809 lb | 0 0 0.00 | 155.25/155.38 c | 155.39 | 0 | -298808 lb | 0 0 0.00 | 156.35/156.44 c | 156.44 | 0 | -298807 lb | 0 0 0.00 | 157.04/157.13 c | 157.13 | 0 | -298806 lb | 0 0 0.00 | 157.94/158.08 c | 158.08 | 0 | -298805 lb | 0 0 0.00 | 158.74/158.80 c | 158.81 | 0 | -298804 lb | 0 0 0.00 | 159.64/159.74 c | 159.75 | 0 | -298803 lb | 0 0 0.00 | 160.34/160.45 c | 160.45 | 0 | -298802 lb | 0 0 0.00 | 160.94/161.01 c | 161.01 | 0 | -298801 lb | 0 0 0.00 | 161.55/161.65 c | 161.65 | 0 | -298800 lb | 0 0 0.00 | 162.04/162.16 c | 162.17 | 0 | -298799 lb | 0 0 0.00 | 162.75/162.83 c | 162.83 | 0 | -298798 lb | 0 0 0.00 | 163.64/163.72 c | 163.72 | 0 | -298797 lb | 0 0 0.00 | 164.34/164.41 c | 164.41 | 0 | -298796 lb | 0 0 0.00 | 164.94/165.02 c | 165.03 | 0 | -298795 lb | 0 0 0.00 | 165.44/165.53 c | 165.53 | 0 | -298794 lb | 0 0 0.00 | 165.95/166.01 c | 166.02 | 0 | -298793 lb | 0 0 0.00 | 166.64/166.70 c | 166.71 | 0 | -298792 lb | 0 0 0.00 | 167.15/167.26 c | 167.26 | 0 | -298791 lb | 0 0 0.00 | 167.94/168.07 c | 168.07 | 0 | -298790 lb | 0 0 0.00 | 168.94/169.06 c | 169.06 | 0 | -298789 lb | 0 0 0.00 | 169.44/169.60 c | 169.60 | 0 | -298788 lb | 0 0 0.00 | 170.74/170.89 c | 170.89 | 0 | -298787 lb | 0 0 0.00 | 171.84/171.99 c | 172.00 | 0 | -298786 lb | 0 0 0.00 | 172.65/172.74 c | 172.74 | 0 | -298785 lb | 0 0 0.00 | 173.74/173.82 c | 173.82 | 0 | -298784 lb | 0 0 0.00 | 174.53/174.66 c | 174.67 | 0 | -298783 lb | 0 0 0.00 | 175.14/175.20 c | 175.20 | 0 | -298782 lb | 0 0 0.00 | 176.04/176.11 c | 176.11 | 0 | -298781 lb | 0 0 0.00 | 176.73/176.82 c | 176.83 | 0 | -298780 lb | 0 0 0.00 | 178.04/178.10 c | 178.11 | 0 | -298779 lb | 0 0 0.00 | 179.04/179.14 c | 179.15 | 0 | -298778 lb | 0 0 0.00 | 179.94/180.07 c | 180.08 | 0 | -298777 lb | 0 0 0.00 | 180.44/180.50 c | 180.51 | 0 | -298776 lb | 0 0 0.00 | 181.14/181.20 c | 181.21 | 0 | -298775 lb | 0 0 0.00 | 182.04/182.19 c | 182.20 | 0 | -298774 lb | 0 0 0.00 | 182.54/182.61 c | 182.61 | 0 | -298773 lb | 0 0 0.00 | 183.14/183.22 c | 183.23 | 0 | -298772 lb | 0 0 0.00 | 183.73/183.87 c | 183.87 | 0 | -298771 lb | 0 0 0.00 | 184.33/184.47 c | 184.48 | 0 | -298770 lb | 0 0 0.00 | 185.04/185.14 c | 185.14 | 0 | -298769 lb | 0 0 0.00 | 186.34/186.44 c | 186.44 | 0 | -298768 lb | 0 0 0.00 | 188.34/188.42 c | 188.43 | 0 | -298767 lb | 0 0 0.00 | 188.94/189.09 c | 189.10 | 0 | -298766 lb | 0 0 0.00 | 189.74/189.88 c | 189.88 | 0 | -298765 lb | 0 0 0.00 | 190.14/190.30 c | 190.30 | 0 | -298764 lb | 0 0 0.00 | 190.64/190.76 c | 190.77 | 0 | -298763 lb | 0 0 0.00 | 191.34/191.42 c | 191.43 | 0 | -298762 lb | 0 0 0.00 | 191.83/191.90 c | 191.90 | 0 | -298761 lb | 0 0 0.00 | 192.53/192.63 c | 192.63 | 0 | -298760 lb | 0 0 0.00 | 193.44/193.59 c | 193.59 | 0 | -298759 lb | 0 0 0.00 | 194.44/194.57 c | 194.58 | 0 | -298758 lb | 0 0 0.00 | 195.14/195.26 c | 195.26 | 0 | -298757 lb | 0 0 0.00 | 195.64/195.74 c | 195.74 | 0 | -298756 lb | 0 0 0.00 | 196.14/196.23 c | 196.23 | 0 | -298755 lb | 0 0 0.00 | 196.54/196.64 c | 196.65 | 0 | -298754 lb | 0 0 0.00 | 198.13/198.26 c | 198.26 | 0 | -298753 lb | 0 0 0.00 | 198.73/198.85 c | 198.85 | 0 | -298752 lb | 0 0 0.00 | 199.33/199.49 c | 199.50 | 0 | -298751 lb | 0 0 0.00 | 200.74/200.82 c | 200.83 | 0 | -298750 lb | 0 0 0.00 | 201.54/201.67 c | 201.67 | 0 | -298749 lb | 0 0 0.00 | 202.53/202.64 c | 202.65 | 0 | -298748 lb | 0 0 0.00 | 203.45/203.54 c | 203.54 | 0 | -298747 lb | 0 0 0.00 | 204.13/204.26 c | 204.26 | 0 | -298746 lb | 0 0 0.00 | 206.73/206.82 c | 206.82 | 0 | -298745 lb | 0 0 0.00 | 211.43/211.59 c | 211.60 | 0 | -298744 lb | 0 0 0.00 | 212.73/212.83 c | 212.84 | 0 | -298743 lb | 0 0 0.00 | 213.53/213.65 c | 213.66 | 0 | -298742 lb | 0 0 0.00 | 214.23/214.38 c | 214.38 | 0 | -298741 lb | 0 0 0.00 | 215.13/215.25 c | 215.26 | 0 | -298740 lb | 0 0 0.00 | 216.03/216.16 c | 216.16 | 0 | -298739 lb | 0 0 0.00 | 216.83/216.92 c | 216.93 | 0 | -298738 lb | 0 0 0.00 | 218.03/218.11 c | 218.11 | 0 | -298737 lb | 0 0 0.00 | 220.03/220.15 c | 220.16 | 0 | -298736 lb | 0 0 0.00 | 221.13/221.22 c | 221.22 | 0 | -298735 lb | 0 0 0.00 | 222.83/222.91 c | 222.91 | 0 | -298734 lb | 0 0 0.00 | 224.03/224.10 c | 224.10 | 0 | -298733 lb | 0 0 0.00 | 224.83/224.94 c | 224.94 | 0 | -298732 lb | 0 0 0.00 | 227.53/227.69 c | 227.69 | 0 | -298731 lb | 0 0 0.00 | 231.32/231.43 c | 231.44 | 0 | -298730 lb | 0 0 0.00 | 232.43/232.50 c | 232.51 | 0 | -298729 lb | 0 0 0.00 | 233.23/233.34 c | 233.34 | 0 | -298728 lb | 0 0 0.00 | 234.14/234.20 c | 234.21 | 0 | -298727 lb | 0 0 0.00 | 235.03/235.14 c | 235.15 | 0 | -298726 lb | 0 0 0.00 | 235.93/236.00 c | 236.01 | 0 | -298725 lb | 0 0 0.00 | 236.73/236.87 c | 236.88 | 0 | -298724 lb | 0 0 0.00 | 237.73/237.86 c | 237.86 | 0 | -298723 lb | 0 0 0.00 | 238.53/238.63 c | 238.64 | 0 | -298722 lb | 0 0 0.00 | 241.73/241.87 c | 241.87 | 0 | -298721 lb | 0 0 0.00 | 242.53/242.68 c | 242.69 | 0 | -298720 lb | 0 0 0.00 | 243.83/243.99 c | 243.99 | 0 | -298719 lb | 0 0 0.00 | 244.92/245.07 c | 245.07 | 0 | -298718 lb | 0 0 0.00 | 245.82/245.99 c | 245.99 | 0 | -298717 lb | 0 0 0.00 | 247.22/247.31 c | 247.32 | 0 | -298716 lb | 0 0 0.00 | 248.12/248.24 c | 248.25 | 0 | -298715 lb | 0 0 0.00 | 249.63/249.77 c | 249.78 | 0 | -298714 lb | 0 0 0.00 | 250.82/250.93 c | 250.93 | 0 | -298713 lb | 0 0 0.00 | 252.72/252.88 c | 252.88 | 0 | -298712 lb | 0 0 0.00 | 253.92/254.07 c | 254.07 | 0 | -298711 lb | 0 0 0.00 | 256.01/256.13 c | 256.13 | 0 | -298710 lb | 0 0 0.00 | 260.21/260.34 c | 260.34 | 0 | -298709 lb | 0 0 0.00 | 263.12/263.22 c | 263.22 | 0 | -298708 lb | 0 0 0.00 | 264.51/264.68 c | 264.69 | 0 | -298707 lb | 0 0 0.00 | 266.41/266.52 c | 266.52 | 0 | -298706 lb | 0 0 0.00 | 278.81/278.98 c | 278.98 | 0 | -298705 lb | 0 0 0.00 | 279.91/280.09 c | 280.09 | 0 | -298704 lb | 0 0 0.00 | 283.20/283.37 c | 283.38 | 0 | -298703 lb | 0 0 0.00 | 285.30/285.41 c | 285.41 | 0 | -298702 lb | 0 0 0.00 | 292.60/292.72 c | 292.72 | 0 | -298701 lb | 0 0 0.00 | 296.40/296.52 c | 296.52 | 0 | -298700 lb | 0 0 0.00 | 297.50/297.60 c | 297.61 | 0 | -298699 lb | 0 0 0.00 | 299.40/299.55 c | 299.56 | 0 | -298698 lb | 0 0 0.00 | 300.70/300.89 c | 300.89 | 0 | -298697 lb | 0 0 0.00 | 301.80/301.98 c | 301.99 | 0 | -298696 lb | 0 0 0.00 | 303.60/303.76 c | 303.77 | 0 | -298695 lb | 0 0 0.00 | 305.30/305.42 c | 305.43 | 0 | -298694 lb | 0 0 0.00 | 307.49/307.65 c | 307.65 | 0 | -298693 lb | 0 0 0.00 | 309.79/309.96 c | 309.96 | 0 | -298692 lb | 0 0 0.00 | 318.89/319.04 c | 319.04 | 0 | -298691 lb | 0 0 0.00 | 322.48/322.62 c | 322.63 | 0 | -298690 lb | 0 0 0.00 | 325.69/325.89 c | 325.90 | 0 | -298689 lb | 0 0 0.00 | 327.19/327.39 c | 327.40 | 0 | -298688 lb | 0 0 0.00 | 329.69/329.90 c | 329.90 | 0 | -298687 lb | 0 0 0.00 | 334.38/334.59 c | 334.60 | 0 | -298686 lb | 0 0 0.00 | 337.18/337.39 c | 337.40 | 0 | -298685 lb | 0 0 0.00 | 343.87/344.06 c | 344.07 | 0 | -298684 lb | 0 0 0.00 | 352.88/353.06 c | 353.06 | 0 | -298683 lb | 0 0 0.00 | 354.27/354.44 c | 354.45 | 0 | -298682 lb | 0 0 0.00 | 365.86/366.04 c | 366.04 | 0 | -298681 lb | 0 0 0.00 | 373.56/373.73 c | 373.74 | 0 | -298680 lb | 0 0 0.00 | 378.06/378.20 c | 378.20 | 0 | -298679 lb | 0 0 0.00 | 380.25/380.50 c | 380.50 | 0 | -298678 lb | 0 0 0.00 | 382.85/383.09 c | 383.10 | 0 | -298677 lb | 0 0 0.00 | 511.53/511.73 c | 511.74 | 0 | -298676 lb | 0 0 0.00 | 514.33/514.55 c | 514.56 | 0 | -298675 lb | 0 0 0.00 | 519.83/520.02 c | 520.03 | 0 | -298674 lb | 0 0 0.00 | 523.93/524.16 c | 524.16 | 0 | -298673 lb | 0 0 0.00 | 527.33/527.54 c | 527.55 | 0 | -298672 lb | 0 0 0.00 | 529.83/530.00 c | 530.00 | 0 | -298671 lb | 0 0 0.00 | 582.52/582.70 c | 582.71 | 0 | -298670 lb | 0 0 0.00 | 584.32/584.55 c | 584.55 | 0 | -298669 lb | 0 0 0.00 | 590.92/591.10 c | 591.11 | 0 | -298668 lb | 0 0 0.00 | 604.12/604.30 c | 604.31 | 0 | -298667 lb | 0 0 0.00 | 612.42/612.62 c | 612.62 | 0 | -298666 lb | 0 0 0.00 | 616.02/616.29 c | 616.29 | 0 | -298665 lb | 0 0 0.00 | 620.22/620.49 c | 620.49 | 0 | -298664 lb | 0 0 0.00 | 661.19/661.42 c | 661.42 | 0 | -298663 lb | 0 0 0.00 | 666.59/666.89 c | 666.89 | 0 | -298662 lb | 0 0 0.00 | 697.88/698.10 c | 698.10 | 0 | -298661 lb | 0 0 0.00 | 767.97/768.29 c | 768.29 | 0 | -298660 lb | 0 0 0.00 | 807.86/808.14 c | 808.14 | 0 | -298659 lb | 0 0 0.00 | 810.76/811.09 c | 811.09 | 0 | -298658 lb | 0 0 0.00 | 821.16/821.42 c | 821.42 | 0 | -298657 lb | 0 0 0.00 | 832.26/832.56 c | 832.57 | 0 | -298656 lb | 0 0 0.00 | 850.35/850.62 c | 850.62 | 0 | -298655 lb | 0 0 0.00 | 916.94/917.27 c | 917.27 | 0 | -298654 lb | 0 0 0.00 | 950.65/950.90 c | 950.90 | 0 | -298653 lb | 0 0 0.00 | 967.14/967.47 c | 967.47 | 0 | -298652 lb | 0 0 0.00 | 973.44/973.76 c | 973.77 | 0 | -298651 lb | 0 0 0.00 | 981.24/981.52 c | 981.52 | 0 | -298650 lb | 0 0 0.00 | 1057.43/1057.74 c | 1057.74 | 0 | -298649 lb | 0 0 0.00 | 1245.50/1245.83 c | 1245.83 | 0 | -298648 lb | 0 0 0.00 | 1310.09/1310.48 c | 1310.49 | 0 | -298647 lb | 0 0 0.00 | 1314.79/1315.11 c | 1315.11 | 0 | -298646 lb | 0 0 0.00 | 1334.08/1334.48 c | 1334.48 | 0 | -298645 lb | 0 0 0.00 | 1346.98/1347.40 c | 1347.40 | 0 | -298644 lb | 0 0 0.00 | 1374.17/1374.54 c | 1374.55 | 0 | -298643 lb | 0 0 0.00 | 1395.77/1396.10 c | 1396.11 | 0 | -298642 lb | 0 0 0.00 | 1799.61/1800.00 c =============================================================================== 1799.61/1800.00 c Wall Clock Time: 1800.01 s 1799.61/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-3705554-1338157942/watcher-3705554-1338157942 -o /tmp/evaluation-result-3705554-1338157942/solver-3705554-1338157942 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705554-1338157942.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: 0.98 1.50 1.80 3/172 17691 /proc/meminfo: memFree=27510388/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=6296 CPUtime=0 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) R 17688 17691 17655 0 -1 4202496 501 0 0 0 0 0 0 0 20 0 1 0 281921036 6447104 453 33554432000 4194304 5963574 140736755495344 140736755493800 4395185 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 1574 455 176 432 0 530 0 [startup+0.064571 s] /proc/loadavg: 0.98 1.50 1.80 3/172 17691 /proc/meminfo: memFree=27510388/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=12012 CPUtime=0.06 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) R 17688 17691 17655 0 -1 4202496 2030 0 0 0 6 0 0 0 20 0 1 0 281921036 12300288 1982 33554432000 4194304 5963574 140736755495344 140736755493800 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 3003 1983 378 432 0 1959 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12012 [startup+0.100254 s] /proc/loadavg: 0.98 1.50 1.80 3/172 17691 /proc/meminfo: memFree=27510388/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=15888 CPUtime=0.09 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) R 17688 17691 17655 0 -1 4202496 3148 0 0 0 9 0 0 0 20 0 1 0 281921036 16269312 3051 33554432000 4194304 5963574 140736755495344 140736755493800 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 3972 3051 490 432 0 2928 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15888 [startup+0.300171 s] /proc/loadavg: 0.98 1.50 1.80 3/172 17691 /proc/meminfo: memFree=27510388/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=104052 CPUtime=0.28 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 14097 0 0 0 27 1 0 0 20 0 2 0 281921036 106549248 12186 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 26013 12186 196 432 0 25578 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 104052 [startup+0.700189 s] /proc/loadavg: 0.98 1.50 1.80 3/172 17691 /proc/meminfo: memFree=27510388/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=100032 CPUtime=0.69 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 17841 0 0 0 67 2 0 0 20 0 2 0 281921036 102432768 14434 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 25008 14434 196 432 0 24573 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 100032 [startup+1.50028 s] /proc/loadavg: 0.98 1.50 1.80 3/179 17702 /proc/meminfo: memFree=27398832/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=100032 CPUtime=1.49 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 23523 0 0 0 146 3 0 0 20 0 2 0 281921036 102432768 15649 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 25008 15649 199 432 0 24573 0 [pid=17691/tid=17701] ppid=17688 vsize=100032 CPUtime=1.29 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 18002 0 0 0 126 3 0 0 20 0 2 0 281921055 102432768 15649 33554432000 4194304 5963574 140736755495344 140092325908800 4392365 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 100032 [startup+3.10029 s] /proc/loadavg: 0.98 1.50 1.80 3/179 17702 /proc/meminfo: memFree=27390648/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=100032 CPUtime=3.09 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 26720 0 0 0 305 4 0 0 20 0 2 0 281921036 102432768 16971 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 25008 16971 199 432 0 24573 0 [pid=17691/tid=17701] ppid=17688 vsize=100032 CPUtime=2.88 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 21199 0 0 0 285 3 0 0 20 0 2 0 281921055 102432768 16971 33554432000 4194304 5963574 140736755495344 140092325908800 4392285 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.30033 s] /proc/loadavg: 1.14 1.53 1.80 3/179 17702 /proc/meminfo: memFree=27375120/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=100032 CPUtime=6.29 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 34619 0 0 0 624 5 0 0 20 0 2 0 281921036 102432768 20483 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 25008 20483 199 432 0 24573 0 [pid=17691/tid=17701] ppid=17688 vsize=100032 CPUtime=6.07 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 29098 0 0 0 602 5 0 0 20 0 2 0 281921055 102432768 20483 33554432000 4194304 5963574 140736755495344 140092325919256 5142814 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) 100032 [startup+12.7003 s] /proc/loadavg: 1.21 1.54 1.81 3/179 17702 /proc/meminfo: memFree=27341612/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=165568 CPUtime=12.69 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 53464 0 0 0 1260 9 0 0 20 0 2 0 281921036 169541632 26933 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 41392 26933 199 432 0 40957 0 [pid=17691/tid=17701] ppid=17688 vsize=165568 CPUtime=12.45 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 47943 0 0 0 1237 8 0 0 20 0 2 0 281921055 169541632 26933 33554432000 4194304 5963574 140736755495344 140092325919256 4403126 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 165568 [startup+25.5003 s] /proc/loadavg: 1.38 1.56 1.81 3/179 17703 /proc/meminfo: memFree=27300176/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=165568 CPUtime=25.48 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 84834 0 0 0 2534 14 0 0 20 0 2 0 281921036 169541632 34316 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 41392 34316 199 432 0 40957 0 [pid=17691/tid=17701] ppid=17688 vsize=165568 CPUtime=25.22 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 79313 0 0 0 2508 14 0 0 20 0 2 0 281921055 169541632 34316 33554432000 4194304 5963574 140736755495344 140092325919560 5121530 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) 165568 [startup+51.1003 s] /proc/loadavg: 1.59 1.59 1.81 3/179 17703 /proc/meminfo: memFree=27228680/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=231220 CPUtime=51.07 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 145858 0 0 0 5081 26 0 0 20 0 2 0 281921036 236769280 52206 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 57805 52206 199 432 0 57370 0 [pid=17691/tid=17701] ppid=17688 vsize=231220 CPUtime=50.74 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 140337 0 0 0 5048 26 0 0 20 0 2 0 281921055 236769280 52206 33554432000 4194304 5963574 140736755495344 140092325919256 4408000 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 231220 [startup+102.307 s] /proc/loadavg: 1.86 1.67 1.82 3/179 17703 /proc/meminfo: memFree=27091220/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=362292 CPUtime=102.26 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 231372 0 0 0 10181 45 0 0 20 0 2 0 281921036 370987008 83192 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 90573 83192 199 432 0 90138 0 [pid=17691/tid=17701] ppid=17688 vsize=362292 CPUtime=101.79 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 225851 0 0 0 10134 45 0 0 20 0 2 0 281921055 370987008 83192 33554432000 4194304 5963574 140736755495344 140092325919256 4399546 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 362292 [startup+162.3 s] /proc/loadavg: 2.02 1.74 1.84 3/180 17704 /proc/meminfo: memFree=26977332/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=500656 CPUtime=162.24 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 306132 0 0 0 16164 60 0 0 20 0 2 0 281921036 512671744 111193 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 125164 111193 199 432 0 124729 0 [pid=17691/tid=17701] ppid=17688 vsize=500656 CPUtime=161.63 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 300611 0 0 0 16102 61 0 0 20 0 2 0 281921055 512671744 111193 33554432000 4194304 5963574 140736755495344 140092325919256 5129994 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 500656 [startup+222.3 s] /proc/loadavg: 2.00 1.79 1.84 3/179 17704 /proc/meminfo: memFree=26869188/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=631728 CPUtime=222.23 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 346836 0 0 0 22153 70 0 0 20 0 2 0 281921036 646889472 137741 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 157932 137741 199 432 0 157497 0 [pid=17691/tid=17701] ppid=17688 vsize=631728 CPUtime=221.48 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 341315 0 0 0 22075 73 0 0 20 0 2 0 281921055 646889472 137741 33554432000 4194304 5963574 140736755495344 140092325919256 4222416 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) 631728 [startup+282.3 s] /proc/loadavg: 2.14 1.87 1.86 3/179 17704 /proc/meminfo: memFree=26810072/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=631728 CPUtime=282.2 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 362989 0 0 0 28146 74 0 0 20 0 2 0 281921036 646889472 148415 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 157932 148415 199 432 0 157497 0 [pid=17691/tid=17701] ppid=17688 vsize=631728 CPUtime=281.3 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 357468 0 0 0 28052 78 0 0 20 0 2 0 281921055 646889472 148415 33554432000 4194304 5963574 140736755495344 140092325919256 4388706 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 631728 [startup+342.3 s] /proc/loadavg: 2.09 1.90 1.87 3/179 17705 /proc/meminfo: memFree=26792692/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=646312 CPUtime=342.18 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 368563 0 0 0 34142 76 0 0 20 0 2 0 281921036 661823488 151802 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 161578 151802 199 432 0 161143 0 [pid=17691/tid=17701] ppid=17688 vsize=646312 CPUtime=341.12 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 363042 0 0 0 34031 81 0 0 20 0 2 0 281921055 661823488 151802 33554432000 4194304 5963574 140736755495344 140092325919048 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 646312 [startup+402.3 s] /proc/loadavg: 2.07 1.93 1.89 3/179 17705 /proc/meminfo: memFree=26775888/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=646312 CPUtime=402.16 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 368610 0 0 0 40139 77 0 0 20 0 2 0 281921036 661823488 151802 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 161578 151802 199 432 0 161143 0 [pid=17691/tid=17701] ppid=17688 vsize=646312 CPUtime=400.94 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 363089 0 0 0 40012 82 0 0 20 0 2 0 281921055 661823488 151802 33554432000 4194304 5963574 140736755495344 140092325918984 4388696 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 646312 [startup+462.3 s] /proc/loadavg: 2.02 1.94 1.89 3/180 17708 /proc/meminfo: memFree=26766924/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=646312 CPUtime=462.14 cores=1,3,5,7 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.93 3/179 17714 /proc/meminfo: memFree=26507672/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=755508 CPUtime=1421.97 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 389600 0 0 0 142114 83 0 0 20 0 2 0 281921036 773640192 180045 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 188877 180045 199 432 0 188442 0 [pid=17691/tid=17701] ppid=17688 vsize=755508 CPUtime=1418.31 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 384079 0 0 0 141727 104 0 0 20 0 2 0 281921055 773640192 180045 33554432000 4194304 5963574 140736755495344 140092325919560 4400222 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 755508 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 17714 /proc/meminfo: memFree=26507796/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=755508 CPUtime=1481.95 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 389600 0 0 0 148112 83 0 0 20 0 2 0 281921036 773640192 180045 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 188877 180045 199 432 0 188442 0 [pid=17691/tid=17701] ppid=17688 vsize=755508 CPUtime=1478.15 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 384079 0 0 0 147710 105 0 0 20 0 2 0 281921055 773640192 180045 33554432000 4194304 5963574 140736755495344 140092325919560 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 755508 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 17714 /proc/meminfo: memFree=26507804/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=755508 CPUtime=1541.95 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 389600 0 0 0 154112 83 0 0 20 0 2 0 281921036 773640192 180045 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 188877 180045 199 432 0 188442 0 [pid=17691/tid=17701] ppid=17688 vsize=755508 CPUtime=1538 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 384079 0 0 0 153694 106 0 0 20 0 2 0 281921055 773640192 180045 33554432000 4194304 5963574 140736755495344 140092325919560 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 755508 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.93 3/179 17715 /proc/meminfo: memFree=26507920/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=755508 CPUtime=1601.94 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 389600 0 0 0 160111 83 0 0 20 0 2 0 281921036 773640192 180045 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 188877 180045 199 432 0 188442 0 [pid=17691/tid=17701] ppid=17688 vsize=755508 CPUtime=1597.85 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 384079 0 0 0 159678 107 0 0 20 0 2 0 281921055 773640192 180045 33554432000 4194304 5963574 140736755495344 140092325919560 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 755508 [startup+1662.3 s] /proc/loadavg: 2.08 2.02 1.94 3/180 17718 /proc/meminfo: memFree=26507400/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=755508 CPUtime=1661.93 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 389600 0 0 0 166110 83 0 0 20 0 2 0 281921036 773640192 180045 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 188877 180045 199 432 0 188442 0 [pid=17691/tid=17701] ppid=17688 vsize=755508 CPUtime=1657.69 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 384079 0 0 0 165661 108 0 0 20 0 2 0 281921055 773640192 180045 33554432000 4194304 5963574 140736755495344 140092325919560 4388668 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 755508 [startup+1722.3 s] /proc/loadavg: 2.03 2.01 1.94 3/180 17719 /proc/meminfo: memFree=26507916/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=755508 CPUtime=1721.92 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 389600 0 0 0 172109 83 0 0 20 0 2 0 281921036 773640192 180045 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 188877 180045 199 432 0 188442 0 [pid=17691/tid=17701] ppid=17688 vsize=755508 CPUtime=1717.54 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 384079 0 0 0 171645 109 0 0 20 0 2 0 281921055 773640192 180045 33554432000 4194304 5963574 140736755495344 140092325919560 4399488 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 755508 [startup+1782.3 s] /proc/loadavg: 2.04 2.02 1.94 3/180 17741 /proc/meminfo: memFree=26507644/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=755508 CPUtime=1781.91 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 389600 0 0 0 178108 83 0 0 20 0 2 0 281921036 773640192 180045 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 188877 180045 199 432 0 188442 0 [pid=17691/tid=17701] ppid=17688 vsize=755508 CPUtime=1777.39 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 384079 0 0 0 177629 110 0 0 20 0 2 0 281921055 773640192 180045 33554432000 4194304 5963574 140736755495344 140092325919560 4392387 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 755508 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.03 2.02 1.94 3/179 17741 /proc/meminfo: memFree=26507776/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=755508 CPUtime=1791.51 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 389600 0 0 0 179068 83 0 0 20 0 2 0 281921036 773640192 180045 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 188877 180045 199 432 0 188442 0 [pid=17691/tid=17701] ppid=17688 vsize=755508 CPUtime=1786.97 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 384079 0 0 0 178587 110 0 0 20 0 2 0 281921055 773640192 180045 33554432000 4194304 5963574 140736755495344 140092325919560 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (KiB) 755508 [startup+1795.1 s] /proc/loadavg: 2.03 2.02 1.94 3/179 17741 /proc/meminfo: memFree=26507776/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=755508 CPUtime=1794.71 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 389600 0 0 0 179388 83 0 0 20 0 2 0 281921036 773640192 180045 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 188877 180045 199 432 0 188442 0 [pid=17691/tid=17701] ppid=17688 vsize=755508 CPUtime=1790.16 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 384079 0 0 0 178906 110 0 0 20 0 2 0 281921055 773640192 180045 33554432000 4194304 5963574 140736755495344 140092325919560 4378528 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1794.71 Current children cumulated vsize (KiB) 755508 [startup+1798.3 s] /proc/loadavg: 2.03 2.02 1.94 3/179 17741 /proc/meminfo: memFree=26507776/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=755508 CPUtime=1797.91 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 389600 0 0 0 179708 83 0 0 20 0 2 0 281921036 773640192 180045 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 188877 180045 199 432 0 188442 0 [pid=17691/tid=17701] ppid=17688 vsize=755508 CPUtime=1793.35 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 384079 0 0 0 179225 110 0 0 20 0 2 0 281921055 773640192 180045 33554432000 4194304 5963574 140736755495344 140092325919560 4378528 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 755508 [startup+1799.1 s] /proc/loadavg: 2.03 2.02 1.94 3/179 17741 /proc/meminfo: memFree=26507776/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=755508 CPUtime=1798.71 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 389600 0 0 0 179788 83 0 0 20 0 2 0 281921036 773640192 180045 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 188877 180045 199 432 0 188442 0 [pid=17691/tid=17701] ppid=17688 vsize=755508 CPUtime=1794.14 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 384079 0 0 0 179304 110 0 0 20 0 2 0 281921055 773640192 180045 33554432000 4194304 5963574 140736755495344 140092325919560 4378544 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.71 Current children cumulated vsize (KiB) 755508 [startup+1799.5 s] /proc/loadavg: 2.03 2.02 1.94 3/179 17741 /proc/meminfo: memFree=26507776/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=755508 CPUtime=1799.11 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 389600 0 0 0 179828 83 0 0 20 0 2 0 281921036 773640192 180045 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 188877 180045 199 432 0 188442 0 [pid=17691/tid=17701] ppid=17688 vsize=755508 CPUtime=1794.55 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 384079 0 0 0 179345 110 0 0 20 0 2 0 281921055 773640192 180045 33554432000 4194304 5963574 140736755495344 140092325919560 5141661 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.11 Current children cumulated vsize (KiB) 755508 [startup+1799.9 s] /proc/loadavg: 2.03 2.02 1.94 3/179 17741 /proc/meminfo: memFree=26507776/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=755508 CPUtime=1799.51 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 389600 0 0 0 179868 83 0 0 20 0 2 0 281921036 773640192 180045 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 188877 180045 199 432 0 188442 0 [pid=17691/tid=17701] ppid=17688 vsize=755508 CPUtime=1794.94 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 384079 0 0 0 179384 110 0 0 20 0 2 0 281921055 773640192 180045 33554432000 4194304 5963574 140736755495344 140092325919560 4388608 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.51 Current children cumulated vsize (KiB) 755508 [startup+1800 s] /proc/loadavg: 2.03 2.02 1.94 3/179 17741 /proc/meminfo: memFree=26507776/32873648 swapFree=6848/6848 [pid=17691] ppid=17688 vsize=755508 CPUtime=1799.61 cores=1,3,5,7 /proc/17691/stat : 17691 (wbo1.7) S 17688 17691 17655 0 -1 4202496 389600 0 0 0 179878 83 0 0 20 0 2 0 281921036 773640192 180045 33554432000 4194304 5963574 140736755495344 140736755494864 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17691/statm: 188877 180045 199 432 0 188442 0 [pid=17691/tid=17701] ppid=17688 vsize=755508 CPUtime=1795.04 cores=1,3,5,7 /proc/17691/task/17701/stat : 17701 (wbo1.7) R 17688 17691 17655 0 -1 4202560 384079 0 0 0 179394 110 0 0 20 0 2 0 281921055 773640192 180045 33554432000 4194304 5963574 140736755495344 140092325919560 4388683 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (KiB) 755508 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 17691 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=144248 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=117830 # CPU time returned by wait4() is 1795.26 # while last known CPU time is 1799.61 # # 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.61 CPU user time (s): 1798.78 CPU system time (s): 0.83 CPU usage (%): 99.9776 Max. virtual memory (cumulated for all children) (KiB): 821044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.14 system time used= 1.11783 maximum resident set size= 740684 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 389600 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= 200 involuntary context switches= 2094 runsolver used 3.20751 second user time and 7.81981 second system time The end
Begin job on node113 at 2012-05-28 00:32:22 IDJOB=3705554 IDBENCH=90677 IDSOLVER=2283 FILE ID=node113/3705554-1338157942 RUNJOBID= node113-1338157942-17672 PBS_JOBID= 14624534 Free space on /tmp= 71392 MiB SOLVER NAME= wbo 1.7 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_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-3705554-1338157942/watcher-3705554-1338157942 -o /tmp/evaluation-result-3705554-1338157942/solver-3705554-1338157942 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705554-1338157942.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 13ec733a84b57b5245a7cfe0f2de4f86 RANDOM SEED=546642051 node113.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 : 2667.026 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 : 5334.05 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 : 2667.026 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.90 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 : 2667.026 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 : 5438.54 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 : 2667.026 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 : 2667.026 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 : 2667.026 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 : 2667.026 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.92 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 : 2667.026 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: 32873648 kB MemFree: 27510760 kB Buffers: 354228 kB Cached: 4160860 kB SwapCached: 0 kB Active: 1082780 kB Inactive: 3443932 kB Active(anon): 13536 kB Inactive(anon): 0 kB Active(file): 1069244 kB Inactive(file): 3443932 kB Unevictable: 6848 kB Mlocked: 6848 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 15560 kB Writeback: 0 kB AnonPages: 17876 kB Mapped: 13608 kB Shmem: 200 kB Slab: 695808 kB SReclaimable: 139460 kB SUnreclaim: 556348 kB KernelStack: 1376 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 103620 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71380 MiB End job on node113 at 2012-05-28 01:02:22