| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.72 | ? | 1799.57 | 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.72 beta - May, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3727855-1338672057.opb. 0.00/0.00 c Instance file HOME/instance-3727855-1338672057.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.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.18/0.22 c | Problem Type: Optimization | 0.18/0.22 c | Objective Function: Cardinality Constraint | 0.18/0.22 c | | 0.18/0.22 c ============================[ Search Statistics ]============================== 0.18/0.22 c | Time (s) | ID | Bound | Shared Clauses | 0.18/0.22 c | | | value type | expCls impCls Lit/impCl | 0.18/0.22 c =============================================================================== 0.18/0.27 c | 0.27 | 0 | -300661 lb | 0 0 0.00 | 0.29/0.31 c | 0.31 | 0 | -300660 lb | 0 0 0.00 | 0.29/0.34 c | 0.34 | 0 | -300659 lb | 0 0 0.00 | 0.29/0.37 c | 0.38 | 0 | -300657 lb | 0 0 0.00 | 0.39/0.41 c | 0.41 | 0 | -300654 lb | 0 0 0.00 | 0.39/0.45 c | 0.45 | 0 | -300649 lb | 0 0 0.00 | 0.39/0.48 c | 0.48 | 0 | -300641 lb | 0 0 0.00 | 0.49/0.52 c | 0.52 | 0 | -300628 lb | 0 0 0.00 | 0.49/0.55 c | 0.56 | 0 | -300607 lb | 0 0 0.00 | 0.49/0.59 c | 0.60 | 0 | -300573 lb | 0 0 0.00 | 0.59/0.63 c | 0.63 | 0 | -300518 lb | 0 0 0.00 | 0.59/0.67 c | 0.67 | 0 | -300429 lb | 0 0 0.00 | 0.69/0.71 c | 0.71 | 0 | -300285 lb | 0 0 0.00 | 0.69/0.74 c | 0.75 | 0 | -300052 lb | 0 0 0.00 | 0.69/0.78 c | 0.79 | 0 | -299675 lb | 0 0 0.00 | 0.78/0.83 c | 0.84 | 0 | -299674 lb | 0 0 0.00 | 0.78/0.89 c | 0.89 | 0 | -299673 lb | 0 0 0.00 | 0.89/0.94 c | 0.94 | 0 | -299672 lb | 0 0 0.00 | 1.00/1.02 c | 1.02 | 0 | -299671 lb | 0 0 0.00 | 1.00/1.10 c | 1.10 | 0 | -299670 lb | 0 0 0.00 | 1.18/1.20 c | 1.21 | 0 | -299669 lb | 0 0 0.00 | 1.28/1.31 c | 1.31 | 0 | -299667 lb | 0 0 0.00 | 1.38/1.41 c | 1.41 | 0 | -299666 lb | 0 0 0.00 | 1.48/1.52 c | 1.53 | 0 | -299665 lb | 0 0 0.00 | 1.58/1.63 c | 1.63 | 0 | -299664 lb | 0 0 0.00 | 1.69/1.74 c | 1.75 | 0 | -299663 lb | 0 0 0.00 | 1.79/1.86 c | 1.86 | 0 | -299662 lb | 0 0 0.00 | 1.89/1.97 c | 1.97 | 0 | -299661 lb | 0 0 0.00 | 1.99/2.09 c | 2.09 | 0 | -299660 lb | 0 0 0.00 | 2.10/2.19 c | 2.19 | 0 | -299659 lb | 0 0 0.00 | 2.20/2.29 c | 2.30 | 0 | -299658 lb | 0 0 0.00 | 2.49/2.50 c | 2.50 | 0 | -299657 lb | 0 0 0.00 | 2.59/2.63 c | 2.63 | 0 | -299656 lb | 0 0 0.00 | 2.69/2.74 c | 2.75 | 0 | -299655 lb | 0 0 0.00 | 2.79/2.86 c | 2.87 | 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.18 | 0 | -299652 lb | 0 0 0.00 | 3.20/3.29 c | 3.29 | 0 | -299651 lb | 0 0 0.00 | 3.39/3.41 c | 3.42 | 0 | -299650 lb | 0 0 0.00 | 3.49/3.53 c | 3.54 | 0 | -299649 lb | 0 0 0.00 | 3.59/3.65 c | 3.65 | 0 | -299648 lb | 0 0 0.00 | 3.69/3.77 c | 3.78 | 0 | -299647 lb | 0 0 0.00 | 3.79/3.89 c | 3.90 | 0 | -299646 lb | 0 0 0.00 | 3.99/4.00 c | 4.00 | 0 | -299645 lb | 0 0 0.00 | 4.09/4.12 c | 4.13 | 0 | -299644 lb | 0 0 0.00 | 4.19/4.25 c | 4.25 | 0 | -299641 lb | 0 0 0.00 | 4.29/4.35 c | 4.35 | 0 | -299640 lb | 0 0 0.00 | 4.48/4.55 c | 4.56 | 0 | -299639 lb | 0 0 0.00 | 4.68/4.78 c | 4.78 | 0 | -299637 lb | 0 0 0.00 | 4.98/5.03 c | 5.03 | 0 | -299636 lb | 0 0 0.00 | 5.08/5.15 c | 5.15 | 0 | -299619 lb | 0 0 0.00 | 5.18/5.28 c | 5.29 | 0 | -299618 lb | 0 0 0.00 | 5.40/5.41 c | 5.42 | 0 | -299617 lb | 0 0 0.00 | 5.50/5.54 c | 5.54 | 0 | -299616 lb | 0 0 0.00 | 5.59/5.67 c | 5.67 | 0 | -299615 lb | 0 0 0.00 | 5.79/5.80 c | 5.80 | 0 | -299613 lb | 0 0 0.00 | 5.89/5.94 c | 5.94 | 0 | -299612 lb | 0 0 0.00 | 5.99/6.06 c | 6.06 | 0 | -299611 lb | 0 0 0.00 | 6.09/6.13 c | 6.13 | 0 | -299610 lb | 0 0 0.00 | 6.19/6.26 c | 6.27 | 0 | -299609 lb | 0 0 0.00 | 6.29/6.39 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.99 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.60 c | 7.60 | 0 | -299599 lb | 0 0 0.00 | 7.69/7.72 c | 7.73 | 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.14 | 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.28/9.38 c | 9.39 | 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.80/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.09/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.68/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.90/10.95 c | 10.95 | 0 | -299509 lb | 0 0 0.00 | 11.00/11.08 c | 11.08 | 0 | -299508 lb | 0 0 0.00 | 11.19/11.23 c | 11.24 | 0 | -299507 lb | 0 0 0.00 | 11.29/11.36 c | 11.37 | 0 | -299506 lb | 0 0 0.00 | 11.38/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.89/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.21 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.33 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.59/14.65 c | 14.65 | 0 | -299450 lb | 0 0 0.00 | 14.79/14.83 c | 14.83 | 0 | -299436 lb | 0 0 0.00 | 14.89/14.99 c | 15.00 | 0 | -299415 lb | 0 0 0.00 | 15.09/15.14 c | 15.14 | 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.69/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 | 15.98/16.10 c | 16.10 | 0 | -299397 lb | 0 0 0.00 | 16.18/16.23 c | 16.23 | 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.38/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.68/17.77 c | 17.77 | 0 | -299380 lb | 0 0 0.00 | 17.89/17.92 c | 17.93 | 0 | -299379 lb | 0 0 0.00 | 17.99/18.09 c | 18.09 | 0 | -299377 lb | 0 0 0.00 | 18.19/18.25 c | 18.25 | 0 | -299376 lb | 0 0 0.00 | 18.39/18.40 c | 18.40 | 0 | -299303 lb | 0 0 0.00 | 18.48/18.56 c | 18.56 | 0 | -299302 lb | 0 0 0.00 | 18.69/18.72 c | 18.73 | 0 | -299301 lb | 0 0 0.00 | 18.78/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.49/19.53 c | 19.54 | 0 | -299294 lb | 0 0 0.00 | 19.59/19.69 c | 19.69 | 0 | -299293 lb | 0 0 0.00 | 19.79/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.48/20.52 c | 20.52 | 0 | -299257 lb | 0 0 0.00 | 20.59/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.99/21.09 c | 21.10 | 0 | -299200 lb | 0 0 0.00 | 21.29/21.31 c | 21.31 | 0 | -299199 lb | 0 0 0.00 | 21.49/21.54 c | 21.54 | 0 | -299198 lb | 0 0 0.00 | 21.69/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.16 c | 23.17 | 0 | -299190 lb | 0 0 0.00 | 23.28/23.38 c | 23.38 | 0 | -299189 lb | 0 0 0.00 | 23.48/23.57 c | 23.57 | 0 | -299188 lb | 0 0 0.00 | 23.69/23.76 c | 23.77 | 0 | -299187 lb | 0 0 0.00 | 23.89/23.93 c | 23.93 | 0 | -299181 lb | 0 0 0.00 | 24.09/24.11 c | 24.11 | 0 | -299180 lb | 0 0 0.00 | 24.19/24.27 c | 24.27 | 0 | -299177 lb | 0 0 0.00 | 24.39/24.46 c | 24.47 | 0 | -299176 lb | 0 0 0.00 | 24.59/24.64 c | 24.64 | 0 | -299175 lb | 0 0 0.00 | 24.78/24.81 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.21 | 0 | -299172 lb | 0 0 0.00 | 25.38/25.42 c | 25.42 | 0 | -299171 lb | 0 0 0.00 | 25.59/25.62 c | 25.62 | 0 | -299170 lb | 0 0 0.00 | 25.79/25.82 c | 25.83 | 0 | -299169 lb | 0 0 0.00 | 25.98/26.01 c | 26.02 | 0 | -299168 lb | 0 0 0.00 | 26.08/26.18 c | 26.18 | 0 | -299167 lb | 0 0 0.00 | 26.29/26.37 c | 26.38 | 0 | -299166 lb | 0 0 0.00 | 26.58/26.62 c | 26.62 | 0 | -299165 lb | 0 0 0.00 | 26.78/26.81 c | 26.81 | 0 | -299164 lb | 0 0 0.00 | 26.98/27.00 c | 27.01 | 0 | -299163 lb | 0 0 0.00 | 27.08/27.18 c | 27.18 | 0 | -299162 lb | 0 0 0.00 | 27.28/27.36 c | 27.36 | 0 | -299161 lb | 0 0 0.00 | 27.49/27.56 c | 27.56 | 0 | -299160 lb | 0 0 0.00 | 27.69/27.74 c | 27.74 | 0 | -299159 lb | 0 0 0.00 | 27.88/27.93 c | 27.94 | 0 | -299158 lb | 0 0 0.00 | 28.08/28.14 c | 28.14 | 0 | -299157 lb | 0 0 0.00 | 28.28/28.33 c | 28.33 | 0 | -299156 lb | 0 0 0.00 | 28.49/28.54 c | 28.54 | 0 | -299155 lb | 0 0 0.00 | 28.68/28.75 c | 28.75 | 0 | -299154 lb | 0 0 0.00 | 28.88/28.98 c | 28.99 | 0 | -299153 lb | 0 0 0.00 | 29.19/29.23 c | 29.23 | 0 | -299152 lb | 0 0 0.00 | 29.39/29.43 c | 29.44 | 0 | -299151 lb | 0 0 0.00 | 29.59/29.64 c | 29.64 | 0 | -299150 lb | 0 0 0.00 | 29.79/29.84 c | 29.84 | 0 | -299149 lb | 0 0 0.00 | 29.98/30.06 c | 30.06 | 0 | -299148 lb | 0 0 0.00 | 30.18/30.28 c | 30.28 | 0 | -299147 lb | 0 0 0.00 | 30.38/30.49 c | 30.49 | 0 | -299146 lb | 0 0 0.00 | 30.58/30.63 c | 30.64 | 0 | -299145 lb | 0 0 0.00 | 30.79/30.85 c | 30.86 | 0 | -299144 lb | 0 0 0.00 | 30.98/31.08 c | 31.09 | 0 | -299143 lb | 0 0 0.00 | 31.18/31.29 c | 31.30 | 0 | -299142 lb | 0 0 0.00 | 31.48/31.55 c | 31.56 | 0 | -299141 lb | 0 0 0.00 | 31.68/31.76 c | 31.77 | 0 | -299140 lb | 0 0 0.00 | 31.89/31.98 c | 31.99 | 0 | -299139 lb | 0 0 0.00 | 32.08/32.18 c | 32.19 | 0 | -299138 lb | 0 0 0.00 | 32.38/32.44 c | 32.45 | 0 | -299137 lb | 0 0 0.00 | 32.58/32.69 c | 32.70 | 0 | -299136 lb | 0 0 0.00 | 32.89/32.92 c | 32.92 | 0 | -299135 lb | 0 0 0.00 | 33.08/33.19 c | 33.19 | 0 | -299134 lb | 0 0 0.00 | 33.38/33.40 c | 33.41 | 0 | -299133 lb | 0 0 0.00 | 33.58/33.63 c | 33.64 | 0 | -299132 lb | 0 0 0.00 | 33.78/33.87 c | 33.88 | 0 | -299131 lb | 0 0 0.00 | 34.08/34.11 c | 34.11 | 0 | -299130 lb | 0 0 0.00 | 34.27/34.37 c | 34.37 | 0 | -299129 lb | 0 0 0.00 | 34.57/34.65 c | 34.66 | 0 | -299128 lb | 0 0 0.00 | 34.87/34.91 c | 34.92 | 0 | -299127 lb | 0 0 0.00 | 35.09/35.17 c | 35.17 | 0 | -299126 lb | 0 0 0.00 | 35.38/35.42 c | 35.42 | 0 | -299125 lb | 0 0 0.00 | 35.68/35.70 c | 35.70 | 0 | -299124 lb | 0 0 0.00 | 35.88/35.95 c | 35.95 | 0 | -299123 lb | 0 0 0.00 | 36.08/36.19 c | 36.19 | 0 | -299122 lb | 0 0 0.00 | 36.38/36.43 c | 36.44 | 0 | -299121 lb | 0 0 0.00 | 36.67/36.71 c | 36.71 | 0 | -299120 lb | 0 0 0.00 | 36.88/36.94 c | 36.94 | 0 | -299119 lb | 0 0 0.00 | 37.18/37.23 c | 37.23 | 0 | -299118 lb | 0 0 0.00 | 37.38/37.49 c | 37.50 | 0 | -299117 lb | 0 0 0.00 | 37.68/37.75 c | 37.76 | 0 | -299116 lb | 0 0 0.00 | 37.88/37.98 c | 37.98 | 0 | -299115 lb | 0 0 0.00 | 38.18/38.20 c | 38.20 | 0 | -299114 lb | 0 0 0.00 | 38.38/38.49 c | 38.50 | 0 | -299113 lb | 0 0 0.00 | 38.67/38.76 c | 38.76 | 0 | -299112 lb | 0 0 0.00 | 38.97/39.01 c | 39.02 | 0 | -299111 lb | 0 0 0.00 | 39.17/39.26 c | 39.26 | 0 | -299110 lb | 0 0 0.00 | 39.48/39.50 c | 39.51 | 0 | -299109 lb | 0 0 0.00 | 39.67/39.74 c | 39.74 | 0 | -299108 lb | 0 0 0.00 | 39.88/39.97 c | 39.97 | 0 | -299107 lb | 0 0 0.00 | 40.08/40.17 c | 40.18 | 0 | -299106 lb | 0 0 0.00 | 40.38/40.46 c | 40.46 | 0 | -299105 lb | 0 0 0.00 | 40.88/40.91 c | 40.92 | 0 | -299104 lb | 0 0 0.00 | 41.18/41.25 c | 41.26 | 0 | -299103 lb | 0 0 0.00 | 41.38/41.44 c | 41.45 | 0 | -299102 lb | 0 0 0.00 | 41.68/41.71 c | 41.72 | 0 | -299101 lb | 0 0 0.00 | 41.87/41.95 c | 41.96 | 0 | -299100 lb | 0 0 0.00 | 42.07/42.16 c | 42.16 | 0 | -299099 lb | 0 0 0.00 | 42.27/42.38 c | 42.39 | 0 | -299098 lb | 0 0 0.00 | 42.47/42.57 c | 42.57 | 0 | -299097 lb | 0 0 0.00 | 42.67/42.75 c | 42.75 | 0 | -299092 lb | 0 0 0.00 | 42.88/42.98 c | 42.98 | 0 | -299091 lb | 0 0 0.00 | 43.17/43.22 c | 43.23 | 0 | -299090 lb | 0 0 0.00 | 43.37/43.46 c | 43.47 | 0 | -299085 lb | 0 0 0.00 | 43.67/43.72 c | 43.72 | 0 | -299084 lb | 0 0 0.00 | 43.88/43.97 c | 43.97 | 0 | -299083 lb | 0 0 0.00 | 44.17/44.23 c | 44.23 | 0 | -299082 lb | 0 0 0.00 | 44.37/44.47 c | 44.47 | 0 | -299081 lb | 0 0 0.00 | 44.68/44.72 c | 44.72 | 0 | -299080 lb | 0 0 0.00 | 44.88/44.96 c | 44.96 | 0 | -299079 lb | 0 0 0.00 | 45.27/45.32 c | 45.33 | 0 | -299078 lb | 0 0 0.00 | 45.47/45.57 c | 45.58 | 0 | -299077 lb | 0 0 0.00 | 45.77/45.83 c | 45.83 | 0 | -299076 lb | 0 0 0.00 | 45.97/46.07 c | 46.07 | 0 | -299075 lb | 0 0 0.00 | 46.27/46.31 c | 46.32 | 0 | -299074 lb | 0 0 0.00 | 46.47/46.56 c | 46.57 | 0 | -299073 lb | 0 0 0.00 | 46.77/46.81 c | 46.81 | 0 | -299072 lb | 0 0 0.00 | 47.17/47.25 c | 47.26 | 0 | -299071 lb | 0 0 0.00 | 47.57/47.62 c | 47.62 | 0 | -299070 lb | 0 0 0.00 | 48.28/48.37 c | 48.38 | 0 | -299069 lb | 0 0 0.00 | 48.67/48.74 c | 48.74 | 0 | -299068 lb | 0 0 0.00 | 48.87/48.96 c | 48.96 | 0 | -299067 lb | 0 0 0.00 | 49.26/49.30 c | 49.30 | 0 | -299066 lb | 0 0 0.00 | 49.47/49.55 c | 49.55 | 0 | -299065 lb | 0 0 0.00 | 50.07/50.13 c | 50.13 | 0 | -299064 lb | 0 0 0.00 | 50.57/50.60 c | 50.61 | 0 | -299063 lb | 0 0 0.00 | 51.16/51.20 c | 51.20 | 0 | -299062 lb | 0 0 0.00 | 51.76/51.87 c | 51.87 | 0 | -299061 lb | 0 0 0.00 | 52.17/52.27 c | 52.27 | 0 | -299060 lb | 0 0 0.00 | 52.57/52.68 c | 52.68 | 0 | -299059 lb | 0 0 0.00 | 52.96/53.07 c | 53.08 | 0 | -299058 lb | 0 0 0.00 | 53.37/53.43 c | 53.43 | 0 | -299057 lb | 0 0 0.00 | 53.97/54.02 c | 54.03 | 0 | -299056 lb | 0 0 0.00 | 54.26/54.33 c | 54.34 | 0 | -299055 lb | 0 0 0.00 | 54.67/54.71 c | 54.72 | 0 | -299054 lb | 0 0 0.00 | 55.07/55.15 c | 55.16 | 0 | -299053 lb | 0 0 0.00 | 55.36/55.48 c | 55.49 | 0 | -299052 lb | 0 0 0.00 | 55.76/55.80 c | 55.81 | 0 | -299051 lb | 0 0 0.00 | 56.07/56.16 c | 56.16 | 0 | -299050 lb | 0 0 0.00 | 56.46/56.50 c | 56.51 | 0 | -299049 lb | 0 0 0.00 | 56.86/56.90 c | 56.91 | 0 | -299048 lb | 0 0 0.00 | 57.07/57.20 c | 57.20 | 0 | -299047 lb | 0 0 0.00 | 57.56/57.68 c | 57.68 | 0 | -299046 lb | 0 0 0.00 | 57.96/58.00 c | 58.01 | 0 | -299045 lb | 0 0 0.00 | 58.46/58.50 c | 58.50 | 0 | -299044 lb | 0 0 0.00 | 58.76/58.85 c | 58.86 | 0 | -299043 lb | 0 0 0.00 | 59.28/59.38 c | 59.38 | 0 | -299042 lb | 0 0 0.00 | 59.87/59.92 c | 59.92 | 0 | -299041 lb | 0 0 0.00 | 60.27/60.33 c | 60.34 | 0 | -299040 lb | 0 0 0.00 | 60.57/60.65 c | 60.65 | 0 | -299039 lb | 0 0 0.00 | 60.87/60.97 c | 60.98 | 0 | -299038 lb | 0 0 0.00 | 61.26/61.36 c | 61.36 | 0 | -299037 lb | 0 0 0.00 | 61.66/61.75 c | 61.75 | 0 | -299036 lb | 0 0 0.00 | 62.06/62.13 c | 62.13 | 0 | -299035 lb | 0 0 0.00 | 62.36/62.49 c | 62.49 | 0 | -299034 lb | 0 0 0.00 | 62.76/62.85 c | 62.85 | 0 | -299033 lb | 0 0 0.00 | 63.17/63.23 c | 63.23 | 0 | -299032 lb | 0 0 0.00 | 63.57/63.64 c | 63.64 | 0 | -299031 lb | 0 0 0.00 | 63.86/63.98 c | 63.98 | 0 | -299030 lb | 0 0 0.00 | 64.26/64.39 c | 64.39 | 0 | -299029 lb | 0 0 0.00 | 64.66/64.75 c | 64.75 | 0 | -299028 lb | 0 0 0.00 | 65.06/65.10 c | 65.10 | 0 | -299027 lb | 0 0 0.00 | 65.37/65.47 c | 65.48 | 0 | -299026 lb | 0 0 0.00 | 65.67/65.78 c | 65.78 | 0 | -299025 lb | 0 0 0.00 | 66.07/66.10 c | 66.10 | 0 | -299024 lb | 0 0 0.00 | 66.27/66.38 c | 66.39 | 0 | -299023 lb | 0 0 0.00 | 66.67/66.78 c | 66.79 | 0 | -299022 lb | 0 0 0.00 | 67.07/67.10 c | 67.11 | 0 | -299021 lb | 0 0 0.00 | 67.46/67.52 c | 67.53 | 0 | -299020 lb | 0 0 0.00 | 67.76/67.82 c | 67.83 | 0 | -299019 lb | 0 0 0.00 | 68.06/68.14 c | 68.15 | 0 | -299018 lb | 0 0 0.00 | 68.37/68.48 c | 68.48 | 0 | -299017 lb | 0 0 0.00 | 68.76/68.81 c | 68.81 | 0 | -299016 lb | 0 0 0.00 | 69.06/69.15 c | 69.15 | 0 | -299015 lb | 0 0 0.00 | 69.36/69.45 c | 69.46 | 0 | -299014 lb | 0 0 0.00 | 69.76/69.80 c | 69.80 | 0 | -299013 lb | 0 0 0.00 | 70.06/70.11 c | 70.12 | 0 | -299012 lb | 0 0 0.00 | 70.46/70.59 c | 70.60 | 0 | -299011 lb | 0 0 0.00 | 70.86/70.90 c | 70.91 | 0 | -299010 lb | 0 0 0.00 | 71.17/71.20 c | 71.20 | 0 | -299009 lb | 0 0 0.00 | 71.57/71.61 c | 71.61 | 0 | -299008 lb | 0 0 0.00 | 71.96/72.09 c | 72.09 | 0 | -299007 lb | 0 0 0.00 | 72.36/72.43 c | 72.44 | 0 | -299006 lb | 0 0 0.00 | 72.66/72.77 c | 72.78 | 0 | -299005 lb | 0 0 0.00 | 73.36/73.40 c | 73.41 | 0 | -299004 lb | 0 0 0.00 | 73.66/73.72 c | 73.72 | 0 | -299003 lb | 0 0 0.00 | 73.96/74.03 c | 74.03 | 0 | -299002 lb | 0 0 0.00 | 74.27/74.35 c | 74.35 | 0 | -299001 lb | 0 0 0.00 | 74.56/74.65 c | 74.66 | 0 | -299000 lb | 0 0 0.00 | 74.86/74.98 c | 74.99 | 0 | -298999 lb | 0 0 0.00 | 75.26/75.35 c | 75.36 | 0 | -298998 lb | 0 0 0.00 | 75.67/75.70 c | 75.70 | 0 | -298997 lb | 0 0 0.00 | 75.97/76.01 c | 76.01 | 0 | -298996 lb | 0 0 0.00 | 76.26/76.31 c | 76.31 | 0 | -298995 lb | 0 0 0.00 | 76.56/76.60 c | 76.61 | 0 | -298994 lb | 0 0 0.00 | 76.87/76.95 c | 76.95 | 0 | -298993 lb | 0 0 0.00 | 77.16/77.24 c | 77.24 | 0 | -298992 lb | 0 0 0.00 | 77.47/77.59 c | 77.59 | 0 | -298991 lb | 0 0 0.00 | 77.86/77.95 c | 77.96 | 0 | -298990 lb | 0 0 0.00 | 78.16/78.29 c | 78.30 | 0 | -298989 lb | 0 0 0.00 | 78.56/78.60 c | 78.61 | 0 | -298988 lb | 0 0 0.00 | 78.86/78.94 c | 78.95 | 0 | -298987 lb | 0 0 0.00 | 79.16/79.29 c | 79.30 | 0 | -298986 lb | 0 0 0.00 | 79.56/79.68 c | 79.69 | 0 | -298985 lb | 0 0 0.00 | 79.97/80.02 c | 80.02 | 0 | -298984 lb | 0 0 0.00 | 80.27/80.34 c | 80.35 | 0 | -298983 lb | 0 0 0.00 | 80.56/80.65 c | 80.66 | 0 | -298982 lb | 0 0 0.00 | 80.86/80.99 c | 80.99 | 0 | -298981 lb | 0 0 0.00 | 81.16/81.22 c | 81.23 | 0 | -298980 lb | 0 0 0.00 | 81.46/81.54 c | 81.55 | 0 | -298979 lb | 0 0 0.00 | 81.76/81.87 c | 81.87 | 0 | -298978 lb | 0 0 0.00 | 82.16/82.24 c | 82.25 | 0 | -298977 lb | 0 0 0.00 | 82.46/82.56 c | 82.56 | 0 | -298976 lb | 0 0 0.00 | 82.76/82.90 c | 82.90 | 0 | -298975 lb | 0 0 0.00 | 83.15/83.21 c | 83.21 | 0 | -298974 lb | 0 0 0.00 | 83.46/83.52 c | 83.52 | 0 | -298973 lb | 0 0 0.00 | 83.75/83.83 c | 83.83 | 0 | -298972 lb | 0 0 0.00 | 84.05/84.13 c | 84.13 | 0 | -298971 lb | 0 0 0.00 | 84.45/84.50 c | 84.50 | 0 | -298970 lb | 0 0 0.00 | 84.75/84.83 c | 84.84 | 0 | -298969 lb | 0 0 0.00 | 85.05/85.15 c | 85.15 | 0 | -298968 lb | 0 0 0.00 | 85.35/85.46 c | 85.46 | 0 | -298967 lb | 0 0 0.00 | 85.66/85.76 c | 85.76 | 0 | -298966 lb | 0 0 0.00 | 86.06/86.10 c | 86.10 | 0 | -298965 lb | 0 0 0.00 | 86.35/86.44 c | 86.44 | 0 | -298964 lb | 0 0 0.00 | 86.65/86.79 c | 86.79 | 0 | -298963 lb | 0 0 0.00 | 87.05/87.10 c | 87.10 | 0 | -298962 lb | 0 0 0.00 | 87.35/87.42 c | 87.42 | 0 | -298961 lb | 0 0 0.00 | 87.66/87.74 c | 87.74 | 0 | -298960 lb | 0 0 0.00 | 87.96/88.09 c | 88.10 | 0 | -298957 lb | 0 0 0.00 | 88.36/88.43 c | 88.44 | 0 | -298956 lb | 0 0 0.00 | 88.65/88.75 c | 88.76 | 0 | -298955 lb | 0 0 0.00 | 88.96/89.09 c | 89.10 | 0 | -298954 lb | 0 0 0.00 | 89.35/89.44 c | 89.44 | 0 | -298953 lb | 0 0 0.00 | 89.65/89.76 c | 89.77 | 0 | -298952 lb | 0 0 0.00 | 89.95/90.08 c | 90.09 | 0 | -298949 lb | 0 0 0.00 | 90.35/90.40 c | 90.40 | 0 | -298948 lb | 0 0 0.00 | 90.65/90.80 c | 90.80 | 0 | -298947 lb | 0 0 0.00 | 91.05/91.13 c | 91.13 | 0 | -298944 lb | 0 0 0.00 | 91.45/91.52 c | 91.53 | 0 | -298943 lb | 0 0 0.00 | 91.75/91.85 c | 91.85 | 0 | -298942 lb | 0 0 0.00 | 92.15/92.20 c | 92.20 | 0 | -298941 lb | 0 0 0.00 | 92.45/92.50 c | 92.50 | 0 | -298940 lb | 0 0 0.00 | 92.75/92.86 c | 92.87 | 0 | -298939 lb | 0 0 0.00 | 93.05/93.19 c | 93.20 | 0 | -298938 lb | 0 0 0.00 | 93.45/93.52 c | 93.53 | 0 | -298937 lb | 0 0 0.00 | 93.75/93.88 c | 93.89 | 0 | -298936 lb | 0 0 0.00 | 94.15/94.20 c | 94.21 | 0 | -298935 lb | 0 0 0.00 | 94.46/94.52 c | 94.52 | 0 | -298934 lb | 0 0 0.00 | 94.75/94.85 c | 94.86 | 0 | -298933 lb | 0 0 0.00 | 95.05/95.17 c | 95.18 | 0 | -298932 lb | 0 0 0.00 | 95.35/95.48 c | 95.48 | 0 | -298931 lb | 0 0 0.00 | 95.75/95.85 c | 95.85 | 0 | -298930 lb | 0 0 0.00 | 96.05/96.17 c | 96.17 | 0 | -298929 lb | 0 0 0.00 | 96.45/96.52 c | 96.52 | 0 | -298928 lb | 0 0 0.00 | 96.76/96.84 c | 96.84 | 0 | -298927 lb | 0 0 0.00 | 97.05/97.19 c | 97.19 | 0 | -298926 lb | 0 0 0.00 | 97.45/97.54 c | 97.54 | 0 | -298925 lb | 0 0 0.00 | 97.76/97.90 c | 97.90 | 0 | -298924 lb | 0 0 0.00 | 98.15/98.23 c | 98.23 | 0 | -298923 lb | 0 0 0.00 | 98.55/98.60 c | 98.60 | 0 | -298922 lb | 0 0 0.00 | 98.85/98.96 c | 98.96 | 0 | -298921 lb | 0 0 0.00 | 99.25/99.34 c | 99.34 | 0 | -298920 lb | 0 0 0.00 | 99.65/99.79 c | 99.79 | 0 | -298919 lb | 0 0 0.00 | 100.25/100.32 c | 100.33 | 0 | -298918 lb | 0 0 0.00 | 100.55/100.67 c | 100.68 | 0 | -298917 lb | 0 0 0.00 | 100.95/101.04 c | 101.04 | 0 | -298916 lb | 0 0 0.00 | 101.44/101.54 c | 101.55 | 0 | -298915 lb | 0 0 0.00 | 101.84/101.96 c | 101.97 | 0 | -298914 lb | 0 0 0.00 | 102.34/102.43 c | 102.43 | 0 | -298913 lb | 0 0 0.00 | 102.75/102.86 c | 102.86 | 0 | -298912 lb | 0 0 0.00 | 103.15/103.24 c | 103.25 | 0 | -298911 lb | 0 0 0.00 | 103.55/103.65 c | 103.65 | 0 | -298910 lb | 0 0 0.00 | 103.95/104.02 c | 104.03 | 0 | -298909 lb | 0 0 0.00 | 104.36/104.42 c | 104.42 | 0 | -298908 lb | 0 0 0.00 | 104.75/104.86 c | 104.86 | 0 | -298907 lb | 0 0 0.00 | 105.25/105.35 c | 105.36 | 0 | -298906 lb | 0 0 0.00 | 105.75/105.87 c | 105.88 | 0 | -298905 lb | 0 0 0.00 | 106.15/106.29 c | 106.29 | 0 | -298904 lb | 0 0 0.00 | 106.65/106.73 c | 106.73 | 0 | -298903 lb | 0 0 0.00 | 106.94/107.07 c | 107.07 | 0 | -298902 lb | 0 0 0.00 | 107.34/107.47 c | 107.48 | 0 | -298901 lb | 0 0 0.00 | 107.84/107.96 c | 107.96 | 0 | -298900 lb | 0 0 0.00 | 108.25/108.38 c | 108.38 | 0 | -298899 lb | 0 0 0.00 | 108.65/108.75 c | 108.75 | 0 | -298898 lb | 0 0 0.00 | 108.95/109.08 c | 109.09 | 0 | -298897 lb | 0 0 0.00 | 109.35/109.44 c | 109.44 | 0 | -298896 lb | 0 0 0.00 | 109.75/109.85 c | 109.86 | 0 | -298895 lb | 0 0 0.00 | 110.25/110.30 c | 110.30 | 0 | -298894 lb | 0 0 0.00 | 110.54/110.70 c | 110.70 | 0 | -298893 lb | 0 0 0.00 | 110.95/111.05 c | 111.05 | 0 | -298892 lb | 0 0 0.00 | 111.44/111.50 c | 111.50 | 0 | -298891 lb | 0 0 0.00 | 111.84/111.93 c | 111.93 | 0 | -298890 lb | 0 0 0.00 | 112.34/112.40 c | 112.41 | 0 | -298889 lb | 0 0 0.00 | 112.65/112.78 c | 112.79 | 0 | -298888 lb | 0 0 0.00 | 113.05/113.16 c | 113.16 | 0 | -298887 lb | 0 0 0.00 | 113.45/113.56 c | 113.56 | 0 | -298886 lb | 0 0 0.00 | 113.85/113.95 c | 113.95 | 0 | -298885 lb | 0 0 0.00 | 114.14/114.29 c | 114.30 | 0 | -298884 lb | 0 0 0.00 | 114.64/114.74 c | 114.74 | 0 | -298883 lb | 0 0 0.00 | 115.04/115.12 c | 115.12 | 0 | -298882 lb | 0 0 0.00 | 115.35/115.49 c | 115.49 | 0 | -298881 lb | 0 0 0.00 | 115.74/115.85 c | 115.86 | 0 | -298880 lb | 0 0 0.00 | 116.34/116.44 c | 116.44 | 0 | -298879 lb | 0 0 0.00 | 116.74/116.82 c | 116.83 | 0 | -298878 lb | 0 0 0.00 | 117.15/117.24 c | 117.25 | 0 | -298877 lb | 0 0 0.00 | 117.55/117.61 c | 117.62 | 0 | -298876 lb | 0 0 0.00 | 117.94/118.05 c | 118.06 | 0 | -298875 lb | 0 0 0.00 | 118.34/118.44 c | 118.45 | 0 | -298874 lb | 0 0 0.00 | 118.85/118.92 c | 118.92 | 0 | -298873 lb | 0 0 0.00 | 119.15/119.29 c | 119.29 | 0 | -298872 lb | 0 0 0.00 | 119.54/119.66 c | 119.67 | 0 | -298871 lb | 0 0 0.00 | 119.94/120.02 c | 120.02 | 0 | -298870 lb | 0 0 0.00 | 120.34/120.42 c | 120.42 | 0 | -298869 lb | 0 0 0.00 | 120.74/120.84 c | 120.85 | 0 | -298868 lb | 0 0 0.00 | 121.23/121.31 c | 121.32 | 0 | -298867 lb | 0 0 0.00 | 121.63/121.79 c | 121.79 | 0 | -298866 lb | 0 0 0.00 | 122.04/122.19 c | 122.19 | 0 | -298865 lb | 0 0 0.00 | 122.44/122.56 c | 122.57 | 0 | -298864 lb | 0 0 0.00 | 123.15/123.23 c | 123.23 | 0 | -298863 lb | 0 0 0.00 | 123.54/123.60 c | 123.60 | 0 | -298862 lb | 0 0 0.00 | 123.84/123.97 c | 123.97 | 0 | -298861 lb | 0 0 0.00 | 124.24/124.39 c | 124.39 | 0 | -298860 lb | 0 0 0.00 | 124.73/124.80 c | 124.80 | 0 | -298859 lb | 0 0 0.00 | 125.04/125.16 c | 125.16 | 0 | -298858 lb | 0 0 0.00 | 125.54/125.62 c | 125.63 | 0 | -298857 lb | 0 0 0.00 | 126.04/126.11 c | 126.12 | 0 | -298856 lb | 0 0 0.00 | 126.54/126.63 c | 126.63 | 0 | -298855 lb | 0 0 0.00 | 126.94/127.05 c | 127.05 | 0 | -298854 lb | 0 0 0.00 | 127.33/127.47 c | 127.47 | 0 | -298853 lb | 0 0 0.00 | 127.83/127.93 c | 127.93 | 0 | -298852 lb | 0 0 0.00 | 128.34/128.45 c | 128.45 | 0 | -298851 lb | 0 0 0.00 | 128.74/128.83 c | 128.83 | 0 | -298850 lb | 0 0 0.00 | 129.54/129.68 c | 129.68 | 0 | -298849 lb | 0 0 0.00 | 130.13/130.24 c | 130.24 | 0 | -298848 lb | 0 0 0.00 | 130.84/130.98 c | 130.98 | 0 | -298847 lb | 0 0 0.00 | 131.44/131.57 c | 131.57 | 0 | -298846 lb | 0 0 0.00 | 132.04/132.14 c | 132.14 | 0 | -298845 lb | 0 0 0.00 | 132.43/132.58 c | 132.58 | 0 | -298844 lb | 0 0 0.00 | 132.95/133.06 c | 133.06 | 0 | -298843 lb | 0 0 0.00 | 133.44/133.59 c | 133.59 | 0 | -298842 lb | 0 0 0.00 | 134.14/134.24 c | 134.24 | 0 | -298841 lb | 0 0 0.00 | 134.83/134.92 c | 134.92 | 0 | -298840 lb | 0 0 0.00 | 135.43/135.59 c | 135.59 | 0 | -298839 lb | 0 0 0.00 | 136.34/136.44 c | 136.45 | 0 | -298838 lb | 0 0 0.00 | 137.04/137.16 c | 137.17 | 0 | -298837 lb | 0 0 0.00 | 137.64/137.73 c | 137.73 | 0 | -298836 lb | 0 0 0.00 | 138.03/138.14 c | 138.14 | 0 | -298835 lb | 0 0 0.00 | 138.54/138.63 c | 138.63 | 0 | -298834 lb | 0 0 0.00 | 139.03/139.17 c | 139.17 | 0 | -298833 lb | 0 0 0.00 | 139.64/139.72 c | 139.73 | 0 | -298832 lb | 0 0 0.00 | 140.03/140.16 c | 140.16 | 0 | -298831 lb | 0 0 0.00 | 140.53/140.61 c | 140.61 | 0 | -298830 lb | 0 0 0.00 | 141.23/141.32 c | 141.32 | 0 | -298829 lb | 0 0 0.00 | 141.93/142.02 c | 142.03 | 0 | -298828 lb | 0 0 0.00 | 142.53/142.66 c | 142.66 | 0 | -298827 lb | 0 0 0.00 | 143.03/143.19 c | 143.19 | 0 | -298826 lb | 0 0 0.00 | 143.53/143.68 c | 143.68 | 0 | -298825 lb | 0 0 0.00 | 144.23/144.31 c | 144.31 | 0 | -298824 lb | 0 0 0.00 | 144.73/144.87 c | 144.87 | 0 | -298823 lb | 0 0 0.00 | 145.62/145.76 c | 145.77 | 0 | -298822 lb | 0 0 0.00 | 146.23/146.34 c | 146.34 | 0 | -298821 lb | 0 0 0.00 | 146.93/147.09 c | 147.09 | 0 | -298820 lb | 0 0 0.00 | 147.53/147.69 c | 147.69 | 0 | -298819 lb | 0 0 0.00 | 148.03/148.20 c | 148.20 | 0 | -298818 lb | 0 0 0.00 | 148.53/148.67 c | 148.68 | 0 | -298817 lb | 0 0 0.00 | 149.13/149.23 c | 149.23 | 0 | -298816 lb | 0 0 0.00 | 149.54/149.67 c | 149.68 | 0 | -298815 lb | 0 0 0.00 | 150.03/150.18 c | 150.19 | 0 | -298814 lb | 0 0 0.00 | 150.63/150.75 c | 150.75 | 0 | -298813 lb | 0 0 0.00 | 151.22/151.32 c | 151.32 | 0 | -298812 lb | 0 0 0.00 | 152.32/152.43 c | 152.43 | 0 | -298811 lb | 0 0 0.00 | 153.12/153.21 c | 153.21 | 0 | -298810 lb | 0 0 0.00 | 153.62/153.73 c | 153.74 | 0 | -298809 lb | 0 0 0.00 | 154.23/154.37 c | 154.37 | 0 | -298808 lb | 0 0 0.00 | 155.32/155.41 c | 155.42 | 0 | -298807 lb | 0 0 0.00 | 155.92/156.09 c | 156.09 | 0 | -298806 lb | 0 0 0.00 | 156.92/157.04 c | 157.04 | 0 | -298805 lb | 0 0 0.00 | 157.62/157.76 c | 157.76 | 0 | -298804 lb | 0 0 0.00 | 158.52/158.69 c | 158.70 | 0 | -298803 lb | 0 0 0.00 | 159.23/159.39 c | 159.39 | 0 | -298802 lb | 0 0 0.00 | 159.82/159.95 c | 159.95 | 0 | -298801 lb | 0 0 0.00 | 160.42/160.58 c | 160.58 | 0 | -298800 lb | 0 0 0.00 | 160.92/161.08 c | 161.09 | 0 | -298799 lb | 0 0 0.00 | 161.62/161.74 c | 161.75 | 0 | -298798 lb | 0 0 0.00 | 162.52/162.62 c | 162.63 | 0 | -298797 lb | 0 0 0.00 | 163.22/163.31 c | 163.31 | 0 | -298796 lb | 0 0 0.00 | 163.83/163.91 c | 163.91 | 0 | -298795 lb | 0 0 0.00 | 164.32/164.40 c | 164.41 | 0 | -298794 lb | 0 0 0.00 | 164.72/164.88 c | 164.89 | 0 | -298793 lb | 0 0 0.00 | 165.41/165.57 c | 165.57 | 0 | -298792 lb | 0 0 0.00 | 166.02/166.12 c | 166.12 | 0 | -298791 lb | 0 0 0.00 | 166.81/166.92 c | 166.93 | 0 | -298790 lb | 0 0 0.00 | 167.82/167.90 c | 167.91 | 0 | -298789 lb | 0 0 0.00 | 168.32/168.43 c | 168.44 | 0 | -298788 lb | 0 0 0.00 | 169.62/169.71 c | 169.72 | 0 | -298787 lb | 0 0 0.00 | 170.71/170.81 c | 170.82 | 0 | -298786 lb | 0 0 0.00 | 171.42/171.55 c | 171.55 | 0 | -298785 lb | 0 0 0.00 | 172.52/172.61 c | 172.62 | 0 | -298784 lb | 0 0 0.00 | 173.32/173.45 c | 173.45 | 0 | -298783 lb | 0 0 0.00 | 173.82/173.98 c | 173.98 | 0 | -298782 lb | 0 0 0.00 | 174.72/174.87 c | 174.88 | 0 | -298781 lb | 0 0 0.00 | 175.41/175.58 c | 175.58 | 0 | -298780 lb | 0 0 0.00 | 176.72/176.85 c | 176.85 | 0 | -298779 lb | 0 0 0.00 | 177.71/177.88 c | 177.88 | 0 | -298778 lb | 0 0 0.00 | 178.71/178.80 c | 178.80 | 0 | -298777 lb | 0 0 0.00 | 179.12/179.22 c | 179.23 | 0 | -298776 lb | 0 0 0.00 | 179.81/179.92 c | 179.92 | 0 | -298775 lb | 0 0 0.00 | 180.80/180.90 c | 180.91 | 0 | -298774 lb | 0 0 0.00 | 181.20/181.31 c | 181.32 | 0 | -298773 lb | 0 0 0.00 | 181.80/181.91 c | 181.92 | 0 | -298772 lb | 0 0 0.00 | 182.41/182.55 c | 182.56 | 0 | -298771 lb | 0 0 0.00 | 183.01/183.15 c | 183.15 | 0 | -298770 lb | 0 0 0.00 | 183.71/183.81 c | 183.81 | 0 | -298769 lb | 0 0 0.00 | 184.91/185.09 c | 185.09 | 0 | -298768 lb | 0 0 0.00 | 186.91/187.06 c | 187.07 | 0 | -298767 lb | 0 0 0.00 | 187.60/187.72 c | 187.73 | 0 | -298766 lb | 0 0 0.00 | 188.41/188.50 c | 188.50 | 0 | -298765 lb | 0 0 0.00 | 188.81/188.91 c | 188.92 | 0 | -298764 lb | 0 0 0.00 | 189.21/189.37 c | 189.38 | 0 | -298763 lb | 0 0 0.00 | 189.90/190.02 c | 190.03 | 0 | -298762 lb | 0 0 0.00 | 190.30/190.49 c | 190.49 | 0 | -298761 lb | 0 0 0.00 | 191.10/191.21 c | 191.21 | 0 | -298760 lb | 0 0 0.00 | 192.00/192.16 c | 192.17 | 0 | -298759 lb | 0 0 0.00 | 193.01/193.15 c | 193.15 | 0 | -298758 lb | 0 0 0.00 | 193.71/193.82 c | 193.83 | 0 | -298757 lb | 0 0 0.00 | 194.20/194.30 c | 194.30 | 0 | -298756 lb | 0 0 0.00 | 194.61/194.78 c | 194.79 | 0 | -298755 lb | 0 0 0.00 | 195.00/195.19 c | 195.20 | 0 | -298754 lb | 0 0 0.00 | 196.60/196.80 c | 196.80 | 0 | -298753 lb | 0 0 0.00 | 197.20/197.38 c | 197.38 | 0 | -298752 lb | 0 0 0.00 | 197.91/198.02 c | 198.02 | 0 | -298751 lb | 0 0 0.00 | 199.20/199.33 c | 199.34 | 0 | -298750 lb | 0 0 0.00 | 200.00/200.17 c | 200.17 | 0 | -298749 lb | 0 0 0.00 | 201.00/201.13 c | 201.14 | 0 | -298748 lb | 0 0 0.00 | 201.89/202.02 c | 202.03 | 0 | -298747 lb | 0 0 0.00 | 202.60/202.73 c | 202.74 | 0 | -298746 lb | 0 0 0.00 | 205.09/205.28 c | 205.28 | 0 | -298745 lb | 0 0 0.00 | 209.90/210.03 c | 210.03 | 0 | -298744 lb | 0 0 0.00 | 211.10/211.27 c | 211.27 | 0 | -298743 lb | 0 0 0.00 | 211.89/212.05 c | 212.06 | 0 | -298742 lb | 0 0 0.00 | 212.59/212.77 c | 212.78 | 0 | -298741 lb | 0 0 0.00 | 213.49/213.63 c | 213.64 | 0 | -298740 lb | 0 0 0.00 | 214.39/214.53 c | 214.53 | 0 | -298739 lb | 0 0 0.00 | 215.09/215.29 c | 215.29 | 0 | -298738 lb | 0 0 0.00 | 216.29/216.45 c | 216.46 | 0 | -298737 lb | 0 0 0.00 | 218.28/218.48 c | 218.48 | 0 | -298736 lb | 0 0 0.00 | 219.38/219.53 c | 219.53 | 0 | -298735 lb | 0 0 0.00 | 221.08/221.20 c | 221.20 | 0 | -298734 lb | 0 0 0.00 | 222.19/222.38 c | 222.39 | 0 | -298733 lb | 0 0 0.00 | 223.09/223.21 c | 223.22 | 0 | -298732 lb | 0 0 0.00 | 225.78/225.93 c | 225.93 | 0 | -298731 lb | 0 0 0.00 | 229.48/229.64 c | 229.65 | 0 | -298730 lb | 0 0 0.00 | 230.58/230.70 c | 230.71 | 0 | -298729 lb | 0 0 0.00 | 231.38/231.52 c | 231.53 | 0 | -298728 lb | 0 0 0.00 | 232.18/232.39 c | 232.39 | 0 | -298727 lb | 0 0 0.00 | 233.17/233.31 c | 233.31 | 0 | -298726 lb | 0 0 0.00 | 233.97/234.17 c | 234.17 | 0 | -298725 lb | 0 0 0.00 | 234.88/235.03 c | 235.03 | 0 | -298724 lb | 0 0 0.00 | 235.88/236.01 c | 236.01 | 0 | -298723 lb | 0 0 0.00 | 236.58/236.78 c | 236.78 | 0 | -298722 lb | 0 0 0.00 | 239.77/239.99 c | 239.99 | 0 | -298721 lb | 0 0 0.00 | 240.68/240.81 c | 240.81 | 0 | -298720 lb | 0 0 0.00 | 241.97/242.10 c | 242.10 | 0 | -298719 lb | 0 0 0.00 | 242.97/243.18 c | 243.18 | 0 | -298718 lb | 0 0 0.00 | 243.88/244.09 c | 244.10 | 0 | -298717 lb | 0 0 0.00 | 245.27/245.40 c | 245.41 | 0 | -298716 lb | 0 0 0.00 | 246.18/246.34 c | 246.34 | 0 | -298715 lb | 0 0 0.00 | 247.67/247.86 c | 247.87 | 0 | -298714 lb | 0 0 0.00 | 248.87/249.01 c | 249.01 | 0 | -298713 lb | 0 0 0.00 | 250.76/250.95 c | 250.96 | 0 | -298712 lb | 0 0 0.00 | 251.97/252.14 c | 252.15 | 0 | -298711 lb | 0 0 0.00 | 253.97/254.19 c | 254.20 | 0 | -298710 lb | 0 0 0.00 | 258.27/258.43 c | 258.43 | 0 | -298709 lb | 0 0 0.00 | 261.15/261.30 c | 261.31 | 0 | -298708 lb | 0 0 0.00 | 262.55/262.75 c | 262.75 | 0 | -298707 lb | 0 0 0.00 | 264.36/264.56 c | 264.56 | 0 | -298706 lb | 0 0 0.00 | 276.76/276.95 c | 276.96 | 0 | -298705 lb | 0 0 0.00 | 277.86/278.05 c | 278.05 | 0 | -298704 lb | 0 0 0.00 | 281.05/281.29 c | 281.30 | 0 | -298703 lb | 0 0 0.00 | 283.15/283.31 c | 283.31 | 0 | -298702 lb | 0 0 0.00 | 290.35/290.58 c | 290.59 | 0 | -298701 lb | 0 0 0.00 | 294.15/294.39 c | 294.39 | 0 | -298700 lb | 0 0 0.00 | 295.25/295.46 c | 295.46 | 0 | -298699 lb | 0 0 0.00 | 297.25/297.41 c | 297.41 | 0 | -298698 lb | 0 0 0.00 | 298.55/298.73 c | 298.73 | 0 | -298697 lb | 0 0 0.00 | 299.65/299.81 c | 299.82 | 0 | -298696 lb | 0 0 0.00 | 301.35/301.59 c | 301.59 | 0 | -298695 lb | 0 0 0.00 | 303.05/303.22 c | 303.23 | 0 | -298694 lb | 0 0 0.00 | 305.25/305.43 c | 305.43 | 0 | -298693 lb | 0 0 0.00 | 307.55/307.70 c | 307.70 | 0 | -298692 lb | 0 0 0.00 | 316.55/316.73 c | 316.73 | 0 | -298691 lb | 0 0 0.00 | 320.04/320.28 c | 320.28 | 0 | -298690 lb | 0 0 0.00 | 323.35/323.52 c | 323.53 | 0 | -298689 lb | 0 0 0.00 | 324.85/325.01 c | 325.01 | 0 | -298688 lb | 0 0 0.00 | 327.35/327.51 c | 327.52 | 0 | -298687 lb | 0 0 0.00 | 331.95/332.19 c | 332.19 | 0 | -298686 lb | 0 0 0.00 | 334.74/334.98 c | 334.98 | 0 | -298685 lb | 0 0 0.00 | 341.44/341.67 c | 341.67 | 0 | -298684 lb | 0 0 0.00 | 350.54/350.73 c | 350.73 | 0 | -298683 lb | 0 0 0.00 | 351.94/352.11 c | 352.11 | 0 | -298682 lb | 0 0 0.00 | 363.54/363.74 c | 363.74 | 0 | -298681 lb | 0 0 0.00 | 371.23/371.47 c | 371.48 | 0 | -298680 lb | 0 0 0.00 | 375.73/375.96 c | 375.96 | 0 | -298679 lb | 0 0 0.00 | 378.03/378.25 c | 378.25 | 0 | -298678 lb | 0 0 0.00 | 380.63/380.85 c | 380.85 | 0 | -298677 lb | 0 0 0.00 | 509.51/509.75 c | 509.76 | 0 | -298676 lb | 0 0 0.00 | 512.31/512.57 c | 512.57 | 0 | -298675 lb | 0 0 0.00 | 517.81/518.06 c | 518.06 | 0 | -298674 lb | 0 0 0.00 | 521.89/522.17 c | 522.18 | 0 | -298673 lb | 0 0 0.00 | 525.29/525.56 c | 525.56 | 0 | -298672 lb | 0 0 0.00 | 527.80/528.01 c | 528.01 | 0 | -298671 lb | 0 0 0.00 | 580.48/580.80 c | 580.80 | 0 | -298670 lb | 0 0 0.00 | 582.38/582.63 c | 582.64 | 0 | -298669 lb | 0 0 0.00 | 588.87/589.18 c | 589.18 | 0 | -298668 lb | 0 0 0.00 | 602.07/602.35 c | 602.36 | 0 | -298667 lb | 0 0 0.00 | 610.37/610.64 c | 610.64 | 0 | -298666 lb | 0 0 0.00 | 613.97/614.28 c | 614.29 | 0 | -298665 lb | 0 0 0.00 | 618.17/618.48 c | 618.48 | 0 | -298664 lb | 0 0 0.00 | 658.76/659.03 c | 659.03 | 0 | -298663 lb | 0 0 0.00 | 664.17/664.46 c | 664.47 | 0 | -298662 lb | 0 0 0.00 | 695.36/695.67 c | 695.67 | 0 | -298661 lb | 0 0 0.00 | 765.14/765.46 c | 765.46 | 0 | -298660 lb | 0 0 0.00 | 804.64/804.93 c | 804.93 | 0 | -298659 lb | 0 0 0.00 | 807.54/807.85 c | 807.86 | 0 | -298658 lb | 0 0 0.00 | 817.83/818.16 c | 818.17 | 0 | -298657 lb | 0 0 0.00 | 828.93/829.27 c | 829.28 | 0 | -298656 lb | 0 0 0.00 | 846.93/847.24 c | 847.25 | 0 | -298655 lb | 0 0 0.00 | 912.83/913.19 c | 913.19 | 0 | -298654 lb | 0 0 0.00 | 946.52/946.85 c | 946.85 | 0 | -298653 lb | 0 0 0.00 | 963.02/963.36 c | 963.37 | 0 | -298652 lb | 0 0 0.00 | 969.32/969.60 c | 969.61 | 0 | -298651 lb | 0 0 0.00 | 976.91/977.28 c | 977.28 | 0 | -298650 lb | 0 0 0.00 | 1053.18/1053.51 c | 1053.51 | 0 | -298649 lb | 0 0 0.00 | 1241.46/1241.81 c | 1241.81 | 0 | -298648 lb | 0 0 0.00 | 1308.65/1309.02 c | 1309.02 | 0 | -298647 lb | 0 0 0.00 | 1313.24/1313.61 c | 1313.62 | 0 | -298646 lb | 0 0 0.00 | 1332.54/1332.95 c | 1332.95 | 0 | -298645 lb | 0 0 0.00 | 1345.44/1345.85 c | 1345.86 | 0 | -298644 lb | 0 0 0.00 | 1372.64/1373.01 c | 1373.01 | 0 | -298643 lb | 0 0 0.00 | 1394.13/1394.58 c | 1394.59 | 0 | -298642 lb | 0 0 0.00 | 1799.57/1800.00 c =============================================================================== 1799.57/1800.00 c Wall Clock Time: 1800.01 s 1799.57/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-3727855-1338672057/watcher-3727855-1338672057 -o /tmp/evaluation-result-3727855-1338672057/solver-3727855-1338672057 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727855-1338672057.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11231 /proc/meminfo: memFree=28123176/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=6300 CPUtime=0 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) R 11229 11231 10604 0 -1 4202496 506 0 0 0 0 0 0 0 20 0 1 0 333332549 6451200 458 33554432000 4194304 5964350 140735611256384 140735995787224 4339092 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 1575 459 176 433 0 530 0 [startup+0.0941419 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11231 /proc/meminfo: memFree=28123176/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=14852 CPUtime=0.08 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) R 11229 11231 10604 0 -1 4202496 2875 0 0 0 8 0 0 0 20 0 1 0 333332549 15208448 2778 33554432000 4194304 5964350 140735611256384 140735995787224 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 3713 2782 462 433 0 2668 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14852 [startup+0.100354 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11231 /proc/meminfo: memFree=28123176/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=15760 CPUtime=0.09 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) R 11229 11231 10604 0 -1 4202496 3078 0 0 0 9 0 0 0 20 0 1 0 333332549 16138240 2981 33554432000 4194304 5964350 140735611256384 140735995787224 4344800 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 3940 2982 481 433 0 2895 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15760 [startup+0.300157 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11231 /proc/meminfo: memFree=28123176/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=104056 CPUtime=0.29 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 14093 0 0 0 27 2 0 0 20 0 2 0 333332549 106553344 12182 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 26014 12182 193 433 0 25578 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 104056 [startup+0.700171 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11231 /proc/meminfo: memFree=28123176/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=100036 CPUtime=0.69 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 17838 0 0 0 67 2 0 0 20 0 2 0 333332549 102436864 14431 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 25009 14431 194 433 0 24573 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 100036 [startup+1.50032 s] /proc/loadavg: 2.00 2.00 2.00 3/180 11234 /proc/meminfo: memFree=28024844/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=100036 CPUtime=1.48 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 23521 0 0 0 145 3 0 0 20 0 2 0 333332549 102436864 15647 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 25009 15647 198 433 0 24573 0 [pid=11231/tid=11234] ppid=11229 vsize=100036 CPUtime=1.28 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 18001 0 0 0 126 2 0 0 20 0 2 0 333332569 102436864 15647 33554432000 4194304 5964350 140735611256384 140666532436920 4388992 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 100036 [startup+3.10032 s] /proc/loadavg: 2.00 2.00 2.00 3/180 11234 /proc/meminfo: memFree=28015776/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=100036 CPUtime=3.09 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 26718 0 0 0 305 4 0 0 20 0 2 0 333332549 102436864 16969 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 25009 16969 198 433 0 24573 0 [pid=11231/tid=11234] ppid=11229 vsize=100036 CPUtime=2.88 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 21198 0 0 0 285 3 0 0 20 0 2 0 333332569 102436864 16969 33554432000 4194304 5964350 140735611256384 140666532436312 4392779 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 100036 [startup+6.3003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11234 /proc/meminfo: memFree=28001844/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=100036 CPUtime=6.29 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 34617 0 0 0 624 5 0 0 20 0 2 0 333332549 102436864 20481 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 25009 20481 198 433 0 24573 0 [pid=11231/tid=11234] ppid=11229 vsize=100036 CPUtime=6.07 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 29097 0 0 0 603 4 0 0 20 0 2 0 333332569 102436864 20481 33554432000 4194304 5964350 140735611256384 140666532436376 5139086 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 100036 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11234 /proc/meminfo: memFree=27955180/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=165572 CPUtime=12.69 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 53266 0 0 0 1260 9 0 0 20 0 2 0 333332549 169545728 26931 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 41393 26931 198 433 0 40957 0 [pid=11231/tid=11234] ppid=11229 vsize=165572 CPUtime=12.45 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 47746 0 0 0 1237 8 0 0 20 0 2 0 333332569 169545728 26931 33554432000 4194304 5964350 140735611256384 140666532436504 4389084 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 165572 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11234 /proc/meminfo: memFree=27910832/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=165572 CPUtime=25.49 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 84635 0 0 0 2534 15 0 0 20 0 2 0 333332549 169545728 33997 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 41393 33997 198 433 0 40957 0 [pid=11231/tid=11234] ppid=11229 vsize=165572 CPUtime=25.22 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 79115 0 0 0 2508 14 0 0 20 0 2 0 333332569 169545728 33997 33554432000 4194304 5964350 140735611256384 140666532436808 5122344 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 165572 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11234 /proc/meminfo: memFree=27823408/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=231224 CPUtime=51.06 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 143380 0 0 0 5081 25 0 0 20 0 2 0 333332549 236773376 51111 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 57806 51111 198 433 0 57370 0 [pid=11231/tid=11234] ppid=11229 vsize=231224 CPUtime=50.74 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 137860 0 0 0 5050 24 0 0 20 0 2 0 333332569 236773376 51111 33554432000 4194304 5964350 140735611256384 140666532436808 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 231224 [startup+102.307 s] /proc/loadavg: 2.07 2.02 2.00 3/179 11234 /proc/meminfo: memFree=27680488/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=362296 CPUtime=102.25 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 231742 0 0 0 10182 43 0 0 20 0 2 0 333332549 370991104 83235 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 90574 83235 198 433 0 90138 0 [pid=11231/tid=11234] ppid=11229 vsize=362296 CPUtime=101.81 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 226222 0 0 0 10138 43 0 0 20 0 2 0 333332569 370991104 83235 33554432000 4194304 5964350 140735611256384 140666532436504 4392783 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 362296 [startup+162.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 11234 /proc/meminfo: memFree=27542472/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=500660 CPUtime=162.22 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 307239 0 0 0 16161 61 0 0 20 0 2 0 333332549 512675840 112663 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 125165 112663 198 433 0 124729 0 [pid=11231/tid=11234] ppid=11229 vsize=500660 CPUtime=161.62 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 301719 0 0 0 16100 62 0 0 20 0 2 0 333332569 512675840 112663 33554432000 4194304 5964350 140735611256384 140666532436312 4403200 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 500660 [startup+222.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 11234 /proc/meminfo: memFree=27426556/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=631732 CPUtime=222.19 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 348143 0 0 0 22147 72 0 0 20 0 2 0 333332549 646893568 139760 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 157933 139760 198 433 0 157497 0 [pid=11231/tid=11234] ppid=11229 vsize=631732 CPUtime=221.44 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 342623 0 0 0 22070 74 0 0 20 0 2 0 333332569 646893568 139760 33554432000 4194304 5964350 140735611256384 140666532436312 4403252 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 631732 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11235 /proc/meminfo: memFree=27380332/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=631732 CPUtime=282.15 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 363830 0 0 0 28139 76 0 0 20 0 2 0 333332549 646893568 146362 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 157933 146362 198 433 0 157497 0 [pid=11231/tid=11234] ppid=11229 vsize=631732 CPUtime=281.26 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 358310 0 0 0 28047 79 0 0 20 0 2 0 333332569 646893568 146362 33554432000 4194304 5964350 140735611256384 140666532436808 4403326 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 631732 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11235 /proc/meminfo: memFree=27354072/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=646316 CPUtime=342.14 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 369479 0 0 0 34136 78 0 0 20 0 2 0 333332549 661827584 152241 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 161579 152241 198 433 0 161143 0 [pid=11231/tid=11234] ppid=11229 vsize=646316 CPUtime=341.11 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 363959 0 0 0 34029 82 0 0 20 0 2 0 333332569 661827584 152241 33554432000 4194304 5964350 140735611256384 140666532436232 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 646316 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11235 /proc/meminfo: memFree=27349296/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=646316 CPUtime=402.13 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 369493 0 0 0 40135 78 0 0 20 0 2 0 333332549 661827584 152241 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 161579 152241 198 433 0 161143 0 [pid=11231/tid=11234] ppid=11229 vsize=646316 CPUtime=400.96 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 363973 0 0 0 40013 83 0 0 20 0 2 0 333332569 661827584 152241 33554432000 4194304 5964350 140735611256384 140666532436232 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 646316 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11235 /proc/meminfo: memFree=27313544/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=646316 CPUtime=462.11 cores=0,2,4,6 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.01 2.00 2.00 3/179 11244 /proc/meminfo: memFree=27014732/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=755512 CPUtime=1421.93 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390340 0 0 0 142106 87 0 0 20 0 2 0 333332549 773644288 180064 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 188878 180064 198 433 0 188442 0 [pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1418.31 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384820 0 0 0 141724 107 0 0 20 0 2 0 333332569 773644288 180064 33554432000 4194304 5964350 140735611256384 140666532436808 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 755512 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11244 /proc/meminfo: memFree=27002900/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=755512 CPUtime=1481.91 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390340 0 0 0 148104 87 0 0 20 0 2 0 333332549 773644288 180064 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 188878 180064 198 433 0 188442 0 [pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1478.15 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384820 0 0 0 147707 108 0 0 20 0 2 0 333332569 773644288 180064 33554432000 4194304 5964350 140735611256384 140666532436808 4399774 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 755512 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 11245 /proc/meminfo: memFree=26992636/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=755512 CPUtime=1541.91 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390340 0 0 0 154104 87 0 0 20 0 2 0 333332549 773644288 180064 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 188878 180064 198 433 0 188442 0 [pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1538 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384820 0 0 0 153691 109 0 0 20 0 2 0 333332569 773644288 180064 33554432000 4194304 5964350 140735611256384 140666532436808 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 755512 [startup+1602.3 s] /proc/loadavg: 2.08 2.02 2.01 3/179 11245 /proc/meminfo: memFree=26988916/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=755512 CPUtime=1601.9 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390340 0 0 0 160103 87 0 0 20 0 2 0 333332549 773644288 180064 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 188878 180064 198 433 0 188442 0 [pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1597.84 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384820 0 0 0 159674 110 0 0 20 0 2 0 333332569 773644288 180064 33554432000 4194304 5964350 140735611256384 140666532436808 4399998 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 755512 [startup+1662.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 11245 /proc/meminfo: memFree=26988300/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=755512 CPUtime=1661.89 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390340 0 0 0 166102 87 0 0 20 0 2 0 333332549 773644288 180064 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 188878 180064 198 433 0 188442 0 [pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1657.69 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384820 0 0 0 165658 111 0 0 20 0 2 0 333332569 773644288 180064 33554432000 4194304 5964350 140735611256384 140666532436808 4399872 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 755512 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 11245 /proc/meminfo: memFree=26986988/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=755512 CPUtime=1721.87 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 172100 87 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 188878 180099 198 433 0 188442 0 [pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1717.53 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 171641 112 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4222314 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 755512 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 2.00 3/180 11248 /proc/meminfo: memFree=26982952/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=755512 CPUtime=1781.87 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 178099 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 188878 180099 198 433 0 188442 0 [pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1777.38 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 177624 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4389090 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 755512 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.06 2.02 2.00 3/180 11248 /proc/meminfo: memFree=26981464/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=755512 CPUtime=1791.48 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 179060 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 188878 180099 198 433 0 188442 0 [pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1786.96 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 178582 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4379168 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (KiB) 755512 [startup+1795.1 s] /proc/loadavg: 2.06 2.02 2.00 3/180 11248 /proc/meminfo: memFree=26980968/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=755512 CPUtime=1794.68 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 179380 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 188878 180099 198 433 0 188442 0 [pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1790.15 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 178901 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4378925 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (KiB) 755512 [startup+1798.3 s] /proc/loadavg: 2.06 2.01 2.00 3/180 11248 /proc/meminfo: memFree=26980348/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=755512 CPUtime=1797.87 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 179699 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 188878 180099 198 433 0 188442 0 [pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1793.34 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 179220 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4400029 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 755512 [startup+1799.1 s] /proc/loadavg: 2.06 2.01 2.00 3/179 11248 /proc/meminfo: memFree=26980232/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=755512 CPUtime=1798.67 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 179779 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 188878 180099 198 433 0 188442 0 [pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1794.14 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 179300 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1798.67 Current children cumulated vsize (KiB) 755512 [startup+1799.5 s] /proc/loadavg: 2.06 2.01 2.00 3/179 11248 /proc/meminfo: memFree=26979984/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=755512 CPUtime=1799.08 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 179820 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 188878 180099 198 433 0 188442 0 [pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1794.54 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 179340 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4399774 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.08 Current children cumulated vsize (KiB) 755512 [startup+1799.9 s] /proc/loadavg: 2.06 2.01 2.00 3/179 11248 /proc/meminfo: memFree=26979984/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=755512 CPUtime=1799.47 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 179859 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 188878 180099 198 433 0 188442 0 [pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1794.94 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 179380 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4392699 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (KiB) 755512 [startup+1800 s] /proc/loadavg: 2.06 2.01 2.00 3/179 11248 /proc/meminfo: memFree=26979984/32873648 swapFree=6864/6864 [pid=11231] ppid=11229 vsize=755512 CPUtime=1799.57 cores=0,2,4,6 /proc/11231/stat : 11231 (wbo1.72) S 11229 11231 10604 0 -1 4202496 390343 0 0 0 179869 88 0 0 20 0 2 0 333332549 773644288 180099 33554432000 4194304 5964350 140735611256384 140735611255904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11231/statm: 188878 180099 198 433 0 188442 0 [pid=11231/tid=11234] ppid=11229 vsize=755512 CPUtime=1795.04 cores=0,2,4,6 /proc/11231/task/11234/stat : 11234 (wbo1.72) R 11229 11231 10604 0 -1 4202560 384823 0 0 0 179390 114 0 0 20 0 2 0 333332569 773644288 180099 33554432000 4194304 5964350 140735611256384 140666532436808 4403540 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.57 Current children cumulated vsize (KiB) 755512 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 11231 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=93256 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=162823 # CPU time returned by wait4() is 1795.26 # while last known CPU time is 1799.57 # # 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.57 CPU user time (s): 1798.69 CPU system time (s): 0.88 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 821048 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.09 system time used= 1.16282 maximum resident set size= 740760 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 390345 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= 202 involuntary context switches= 2492 runsolver used 6.596 second user time and 18.7551 second system time The end
Begin job on node113 at 2012-06-02 23:20:57 IDJOB=3727855 IDBENCH=90677 IDSOLVER=2313 FILE ID=node113/3727855-1338672057 RUNJOBID= node113-1338668456-10993 PBS_JOBID= 14636517 Free space on /tmp= 70968 MiB SOLVER NAME= wbo 1.72 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.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727855-1338672057/watcher-3727855-1338672057 -o /tmp/evaluation-result-3727855-1338672057/solver-3727855-1338672057 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727855-1338672057.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 13ec733a84b57b5245a7cfe0f2de4f86 RANDOM SEED=72810581 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: 28125192 kB Buffers: 498236 kB Cached: 3346412 kB SwapCached: 2020 kB Active: 1688656 kB Inactive: 2174064 kB Active(anon): 17324 kB Inactive(anon): 1800 kB Active(file): 1671332 kB Inactive(file): 2172264 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67099596 kB Dirty: 15540 kB Writeback: 0 kB AnonPages: 126332 kB Mapped: 13348 kB Shmem: 0 kB Slab: 749692 kB SReclaimable: 193372 kB SUnreclaim: 556320 kB KernelStack: 1496 kB PageTables: 4536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 139768 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 104448 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= 70972 MiB End job on node113 at 2012-06-02 23:50:57