| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.72 | ? | 1799.68 | 1800.03 |
| Name | /OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_50null20mast_rapportOE2.0_TMAX60_K192_cod2.opb |
| MD5SUM | 6f3eb6421078a0de6a5b5f585e0aca61 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -5280 |
| Best CPU time to get the best result obtained on this benchmark | 1781.2 |
| 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 | 400896 |
| Total number of constraints | 402763 |
| Number of constraints which are clauses | 400785 |
| Number of constraints which are cardinality constraints (but not clauses) | 194 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1784 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 58023 |
| Number of terms in the objective function | 892 |
| Biggest coefficient in the objective function | 1024 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 367542 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 1024 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 367542 |
| 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-3727896-1338672911.opb. 0.00/0.00 c Instance file HOME/instance-3727896-1338672911.opb 0.00/0.00 c File size is 28226022 bytes. 2.79/2.81 c Cost Offset: -367542 2.79/2.81 c Highest Coefficient sum: 66266 2.79/2.81 c ============================[ Problem Statistics ]============================= 2.79/2.81 c | | 2.79/2.81 c | Parsing time: 2.82 s | 2.79/2.81 c | Number Variables: 400896 | 2.79/2.81 c | Number Clauses: 400785 | 2.79/2.81 c | Number Cardinality: 1977 | 2.79/2.81 c | Number PB Constraints: 1 | 2.79/2.81 c | | 3.08/3.10 c | Problem Type: Optimization | 3.08/3.10 c | Objective Function: PB Constraint | 3.08/3.10 c | | 3.08/3.10 c ============================[ Search Statistics ]============================== 3.08/3.10 c | Time (s) | ID | Bound | Shared Clauses | 3.08/3.10 c | | | value type | expCls impCls Lit/impCl | 3.08/3.10 c =============================================================================== 3.49/3.58 c | 3.58 | 0 | -367541 lb | 0 0 0.00 | 3.98/4.01 c | 4.01 | 0 | -367540 lb | 0 0 0.00 | 4.48/4.51 c | 4.40 | 0 | -367538 lb | 0 0 0.00 | 4.68/4.78 c | 4.79 | 0 | -367534 lb | 0 0 0.00 | 5.08/5.16 c | 5.16 | 0 | -367526 lb | 0 0 0.00 | 5.49/5.55 c | 5.55 | 0 | -367510 lb | 0 0 0.00 | 5.88/5.94 c | 5.94 | 0 | -367478 lb | 0 0 0.00 | 6.29/6.34 c | 6.34 | 0 | -367414 lb | 0 0 0.00 | 6.69/6.74 c | 6.74 | 0 | -367030 lb | 0 0 0.00 | 7.08/7.14 c | 7.14 | 0 | -366518 lb | 0 0 0.00 | 7.69/7.71 c | 7.71 | 0 | -366517 lb | 0 0 0.00 | 8.08/8.18 c | 8.19 | 0 | -366516 lb | 0 0 0.00 | 8.69/8.74 c | 8.74 | 0 | -366515 lb | 0 0 0.00 | 9.28/9.31 c | 9.31 | 0 | -366514 lb | 0 0 0.00 | 9.79/9.86 c | 9.87 | 0 | -366513 lb | 0 0 0.00 | 10.38/10.43 c | 10.43 | 0 | -366512 lb | 0 0 0.00 | 10.89/10.99 c | 11.00 | 0 | -366511 lb | 0 0 0.00 | 11.48/11.55 c | 11.55 | 0 | -366510 lb | 0 0 0.00 | 11.99/12.10 c | 12.10 | 0 | -366509 lb | 0 0 0.00 | 12.58/12.65 c | 12.66 | 0 | -366508 lb | 0 0 0.00 | 13.18/13.21 c | 13.21 | 0 | -366507 lb | 0 0 0.00 | 13.68/13.77 c | 13.77 | 0 | -366506 lb | 0 0 0.00 | 14.28/14.32 c | 14.33 | 0 | -366505 lb | 0 0 0.00 | 14.78/14.88 c | 14.89 | 0 | -366504 lb | 0 0 0.00 | 15.39/15.44 c | 15.44 | 0 | -366503 lb | 0 0 0.00 | 15.98/16.00 c | 16.00 | 0 | -366502 lb | 0 0 0.00 | 16.49/16.55 c | 16.55 | 0 | -366501 lb | 0 0 0.00 | 17.08/17.12 c | 17.12 | 0 | -366500 lb | 0 0 0.00 | 17.59/17.67 c | 17.68 | 0 | -366499 lb | 0 0 0.00 | 18.08/18.14 c | 18.15 | 0 | -366498 lb | 0 0 0.00 | 18.68/18.71 c | 18.71 | 0 | -366497 lb | 0 0 0.00 | 19.18/19.28 c | 19.28 | 0 | -366496 lb | 0 0 0.00 | 19.79/19.85 c | 19.85 | 0 | -366495 lb | 0 0 0.00 | 20.38/20.42 c | 20.42 | 0 | -366494 lb | 0 0 0.00 | 20.89/20.99 c | 20.99 | 0 | -366493 lb | 0 0 0.00 | 21.48/21.58 c | 21.58 | 0 | -366492 lb | 0 0 0.00 | 22.08/22.15 c | 22.16 | 0 | -366491 lb | 0 0 0.00 | 22.68/22.72 c | 22.73 | 0 | -366490 lb | 0 0 0.00 | 23.28/23.30 c | 23.30 | 0 | -366489 lb | 0 0 0.00 | 23.78/23.88 c | 23.88 | 0 | -366488 lb | 0 0 0.00 | 24.38/24.45 c | 24.45 | 0 | -366487 lb | 0 0 0.00 | 24.98/25.03 c | 25.03 | 0 | -366486 lb | 0 0 0.00 | 25.58/25.60 c | 25.61 | 0 | -366485 lb | 0 0 0.00 | 26.08/26.18 c | 26.18 | 0 | -366484 lb | 0 0 0.00 | 26.68/26.76 c | 26.77 | 0 | -366483 lb | 0 0 0.00 | 27.28/27.35 c | 27.35 | 0 | -366481 lb | 0 0 0.00 | 27.88/27.93 c | 27.94 | 0 | -366480 lb | 0 0 0.00 | 28.49/28.51 c | 28.52 | 0 | -366479 lb | 0 0 0.00 | 28.98/29.09 c | 29.10 | 0 | -366476 lb | 0 0 0.00 | 29.59/29.68 c | 29.68 | 0 | -366473 lb | 0 0 0.00 | 30.18/30.27 c | 30.27 | 0 | -366472 lb | 0 0 0.00 | 30.79/30.84 c | 30.85 | 0 | -366471 lb | 0 0 0.00 | 31.38/31.43 c | 31.43 | 0 | -366470 lb | 0 0 0.00 | 31.98/32.02 c | 32.02 | 0 | -366468 lb | 0 0 0.00 | 32.58/32.61 c | 32.61 | 0 | -366467 lb | 0 0 0.00 | 33.18/33.26 c | 33.26 | 0 | -366466 lb | 0 0 0.00 | 33.78/33.86 c | 33.86 | 0 | -366446 lb | 0 0 0.00 | 34.38/34.43 c | 34.44 | 0 | -366444 lb | 0 0 0.00 | 34.98/35.03 c | 35.03 | 0 | -366443 lb | 0 0 0.00 | 35.58/35.61 c | 35.61 | 0 | -366442 lb | 0 0 0.00 | 36.19/36.20 c | 36.21 | 0 | -366441 lb | 0 0 0.00 | 36.78/36.85 c | 36.85 | 0 | -366078 lb | 0 0 0.00 | 37.38/37.47 c | 37.47 | 0 | -366077 lb | 0 0 0.00 | 37.97/38.04 c | 38.05 | 0 | -366076 lb | 0 0 0.00 | 38.68/38.71 c | 38.71 | 0 | -366006 lb | 0 0 0.00 | 39.28/39.38 c | 39.38 | 0 | -366004 lb | 0 0 0.00 | 40.08/40.10 c | 40.11 | 0 | -366003 lb | 0 0 0.00 | 40.68/40.79 c | 40.80 | 0 | -366002 lb | 0 0 0.00 | 41.38/41.47 c | 41.47 | 0 | -366001 lb | 0 0 0.00 | 42.07/42.15 c | 42.15 | 0 | -366000 lb | 0 0 0.00 | 42.78/42.82 c | 42.82 | 0 | -365999 lb | 0 0 0.00 | 43.38/43.49 c | 43.49 | 0 | -365998 lb | 0 0 0.00 | 44.08/44.18 c | 44.18 | 0 | -365997 lb | 0 0 0.00 | 44.78/44.87 c | 44.88 | 0 | -365996 lb | 0 0 0.00 | 45.48/45.56 c | 45.56 | 0 | -365989 lb | 0 0 0.00 | 46.18/46.25 c | 46.26 | 0 | -365988 lb | 0 0 0.00 | 46.88/46.94 c | 46.94 | 0 | -365987 lb | 0 0 0.00 | 47.58/47.64 c | 47.64 | 0 | -365985 lb | 0 0 0.00 | 48.29/48.33 c | 48.34 | 0 | -365981 lb | 0 0 0.00 | 48.98/49.03 c | 49.03 | 0 | -365973 lb | 0 0 0.00 | 49.67/49.72 c | 49.72 | 0 | -365971 lb | 0 0 0.00 | 50.38/50.42 c | 50.42 | 0 | -365970 lb | 0 0 0.00 | 51.08/51.13 c | 51.13 | 0 | -365969 lb | 0 0 0.00 | 51.78/51.82 c | 51.82 | 0 | -365958 lb | 0 0 0.00 | 52.48/52.52 c | 52.52 | 0 | -365956 lb | 0 0 0.00 | 53.18/53.21 c | 53.21 | 0 | -365954 lb | 0 0 0.00 | 53.88/53.91 c | 53.92 | 0 | -365949 lb | 0 0 0.00 | 54.57/54.61 c | 54.61 | 0 | -365941 lb | 0 0 0.00 | 55.27/55.31 c | 55.31 | 0 | -365928 lb | 0 0 0.00 | 55.98/56.01 c | 56.01 | 0 | -365909 lb | 0 0 0.00 | 56.68/56.72 c | 56.72 | 0 | -365895 lb | 0 0 0.00 | 57.38/57.42 c | 57.42 | 0 | -365893 lb | 0 0 0.00 | 58.08/58.12 c | 58.13 | 0 | -365891 lb | 0 0 0.00 | 58.77/58.83 c | 58.83 | 0 | -365878 lb | 0 0 0.00 | 59.67/59.77 c | 59.78 | 0 | -365877 lb | 0 0 0.00 | 60.57/60.60 c | 60.60 | 0 | -365876 lb | 0 0 0.00 | 61.48/61.58 c | 61.58 | 0 | -365875 lb | 0 0 0.00 | 62.48/62.56 c | 62.57 | 0 | -365874 lb | 0 0 0.00 | 63.47/63.56 c | 63.57 | 0 | -365873 lb | 0 0 0.00 | 64.47/64.50 c | 64.50 | 0 | -365872 lb | 0 0 0.00 | 65.47/65.50 c | 65.50 | 0 | -365871 lb | 0 0 0.00 | 66.27/66.30 c | 66.31 | 0 | -365621 lb | 0 0 0.00 | 67.08/67.11 c | 67.12 | 0 | -365604 lb | 0 0 0.00 | 67.87/67.92 c | 67.92 | 0 | -365603 lb | 0 0 0.00 | 68.77/68.88 c | 68.89 | 0 | -365602 lb | 0 0 0.00 | 69.87/69.99 c | 70.00 | 0 | -365601 lb | 0 0 0.00 | 70.98/71.00 c | 71.00 | 0 | -365600 lb | 0 0 0.00 | 71.87/71.93 c | 71.93 | 0 | -365599 lb | 0 0 0.00 | 72.87/72.96 c | 72.97 | 0 | -365598 lb | 0 0 0.00 | 73.68/73.73 c | 73.73 | 0 | -365593 lb | 0 0 0.00 | 74.37/74.49 c | 74.50 | 0 | -365592 lb | 0 0 0.00 | 75.18/75.26 c | 75.27 | 0 | -365585 lb | 0 0 0.00 | 75.78/75.90 c | 75.91 | 0 | -365572 lb | 0 0 0.00 | 76.47/76.54 c | 76.54 | 0 | -365544 lb | 0 0 0.00 | 77.07/77.19 c | 77.19 | 0 | -365542 lb | 0 0 0.00 | 77.77/77.84 c | 77.84 | 0 | -365541 lb | 0 0 0.00 | 78.37/78.49 c | 78.49 | 0 | -365491 lb | 0 0 0.00 | 79.08/79.18 c | 79.19 | 0 | -365486 lb | 0 0 0.00 | 79.77/79.88 c | 79.88 | 0 | -365478 lb | 0 0 0.00 | 80.47/80.56 c | 80.57 | 0 | -365477 lb | 0 0 0.00 | 81.67/81.72 c | 81.72 | 0 | -365476 lb | 0 0 0.00 | 82.38/82.40 c | 82.41 | 0 | -365475 lb | 0 0 0.00 | 82.97/83.09 c | 83.10 | 0 | -365471 lb | 0 0 0.00 | 83.67/83.77 c | 83.78 | 0 | -365470 lb | 0 0 0.00 | 84.37/84.47 c | 84.47 | 0 | -365469 lb | 0 0 0.00 | 85.57/85.62 c | 85.63 | 0 | -365468 lb | 0 0 0.00 | 86.27/86.31 c | 86.32 | 0 | -365450 lb | 0 0 0.00 | 86.97/87.00 c | 87.00 | 0 | -365448 lb | 0 0 0.00 | 87.57/87.68 c | 87.69 | 0 | -365447 lb | 0 0 0.00 | 88.27/88.37 c | 88.38 | 0 | -365400 lb | 0 0 0.00 | 89.27/89.30 c | 89.30 | 0 | -365399 lb | 0 0 0.00 | 89.97/90.07 c | 90.07 | 0 | -365397 lb | 0 0 0.00 | 90.77/90.80 c | 90.81 | 0 | -365384 lb | 0 0 0.00 | 91.47/91.55 c | 91.55 | 0 | -365357 lb | 0 0 0.00 | 92.17/92.28 c | 92.29 | 0 | -365355 lb | 0 0 0.00 | 92.96/93.01 c | 93.02 | 0 | -365354 lb | 0 0 0.00 | 93.66/93.71 c | 93.72 | 0 | -365307 lb | 0 0 0.00 | 94.37/94.47 c | 94.47 | 0 | -365294 lb | 0 0 0.00 | 95.17/95.21 c | 95.21 | 0 | -365267 lb | 0 0 0.00 | 95.87/95.90 c | 95.91 | 0 | -365265 lb | 0 0 0.00 | 96.56/96.64 c | 96.64 | 0 | -365264 lb | 0 0 0.00 | 97.78/97.81 c | 97.81 | 0 | -365263 lb | 0 0 0.00 | 98.88/98.93 c | 98.93 | 0 | -365262 lb | 0 0 0.00 | 99.57/99.68 c | 99.69 | 0 | -365232 lb | 0 0 0.00 | 100.57/100.66 c | 100.67 | 0 | -365231 lb | 0 0 0.00 | 101.67/101.76 c | 101.76 | 0 | -365230 lb | 0 0 0.00 | 102.86/102.92 c | 102.92 | 0 | -365229 lb | 0 0 0.00 | 104.07/104.10 c | 104.11 | 0 | -365228 lb | 0 0 0.00 | 105.17/105.20 c | 105.21 | 0 | -365227 lb | 0 0 0.00 | 106.27/106.33 c | 106.34 | 0 | -365226 lb | 0 0 0.00 | 106.97/107.05 c | 107.05 | 0 | -365225 lb | 0 0 0.00 | 108.06/108.12 c | 108.13 | 0 | -365224 lb | 0 0 0.00 | 108.97/109.00 c | 109.01 | 0 | -365219 lb | 0 0 0.00 | 109.98/110.07 c | 110.07 | 0 | -365218 lb | 0 0 0.00 | 110.76/110.83 c | 110.83 | 0 | -365217 lb | 0 0 0.00 | 111.86/111.96 c | 111.96 | 0 | -365216 lb | 0 0 0.00 | 113.07/113.15 c | 113.16 | 0 | -365215 lb | 0 0 0.00 | 114.37/114.43 c | 114.43 | 0 | -365214 lb | 0 0 0.00 | 115.67/115.71 c | 115.71 | 0 | -365213 lb | 0 0 0.00 | 117.06/117.14 c | 117.15 | 0 | -365212 lb | 0 0 0.00 | 118.26/118.38 c | 118.39 | 0 | -365211 lb | 0 0 0.00 | 119.46/119.55 c | 119.55 | 0 | -365210 lb | 0 0 0.00 | 121.16/121.26 c | 121.26 | 0 | -365209 lb | 0 0 0.00 | 123.18/123.23 c | 123.23 | 0 | -365208 lb | 0 0 0.00 | 124.97/125.03 c | 125.03 | 0 | -365207 lb | 0 0 0.00 | 125.96/126.01 c | 126.01 | 0 | -365206 lb | 0 0 0.00 | 127.86/127.98 c | 127.98 | 0 | -365205 lb | 0 0 0.00 | 129.86/129.92 c | 129.92 | 0 | -365204 lb | 0 0 0.00 | 131.27/131.38 c | 131.38 | 0 | -365203 lb | 0 0 0.00 | 133.17/133.28 c | 133.28 | 0 | -365202 lb | 0 0 0.00 | 134.76/134.80 c | 134.81 | 0 | -365201 lb | 0 0 0.00 | 136.46/136.53 c | 136.54 | 0 | -365200 lb | 0 0 0.00 | 138.06/138.17 c | 138.17 | 0 | -365199 lb | 0 0 0.00 | 139.67/139.70 c | 139.71 | 0 | -365198 lb | 0 0 0.00 | 141.26/141.33 c | 141.33 | 0 | -365197 lb | 0 0 0.00 | 142.87/142.95 c | 142.95 | 0 | -365196 lb | 0 0 0.00 | 144.56/144.67 c | 144.68 | 0 | -365195 lb | 0 0 0.00 | 146.27/146.38 c | 146.38 | 0 | -365194 lb | 0 0 0.00 | 148.16/148.20 c | 148.20 | 0 | -365193 lb | 0 0 0.00 | 150.56/150.62 c | 150.62 | 0 | -365192 lb | 0 0 0.00 | 151.96/152.09 c | 152.10 | 0 | -365191 lb | 0 0 0.00 | 152.96/153.01 c | 153.01 | 0 | -365190 lb | 0 0 0.00 | 153.76/153.85 c | 153.85 | 0 | -365189 lb | 0 0 0.00 | 154.86/154.92 c | 154.93 | 0 | -365188 lb | 0 0 0.00 | 155.96/156.08 c | 156.08 | 0 | -365176 lb | 0 0 0.00 | 156.86/156.99 c | 156.99 | 0 | -365175 lb | 0 0 0.00 | 158.27/158.31 c | 158.31 | 0 | -365174 lb | 0 0 0.00 | 159.85/159.97 c | 159.97 | 0 | -365173 lb | 0 0 0.00 | 161.67/161.73 c | 161.73 | 0 | -365172 lb | 0 0 0.00 | 162.85/162.94 c | 162.94 | 0 | -365171 lb | 0 0 0.00 | 164.15/164.24 c | 164.24 | 0 | -365170 lb | 0 0 0.00 | 165.06/165.12 c | 165.12 | 0 | -365169 lb | 0 0 0.00 | 166.35/166.42 c | 166.43 | 0 | -365168 lb | 0 0 0.00 | 167.66/167.72 c | 167.73 | 0 | -365167 lb | 0 0 0.00 | 169.16/169.28 c | 169.28 | 0 | -365165 lb | 0 0 0.00 | 170.37/170.43 c | 170.43 | 0 | -365164 lb | 0 0 0.00 | 171.66/171.79 c | 171.80 | 0 | -365163 lb | 0 0 0.00 | 173.26/173.38 c | 173.39 | 0 | -365162 lb | 0 0 0.00 | 175.25/175.34 c | 175.34 | 0 | -365161 lb | 0 0 0.00 | 176.76/176.82 c | 176.83 | 0 | -365160 lb | 0 0 0.00 | 178.45/178.54 c | 178.55 | 0 | -365157 lb | 0 0 0.00 | 180.05/180.14 c | 180.15 | 0 | -365156 lb | 0 0 0.00 | 181.56/181.69 c | 181.69 | 0 | -365155 lb | 0 0 0.00 | 183.46/183.59 c | 183.59 | 0 | -365154 lb | 0 0 0.00 | 185.46/185.54 c | 185.54 | 0 | -365153 lb | 0 0 0.00 | 188.25/188.37 c | 188.38 | 0 | -365111 lb | 0 0 0.00 | 191.75/191.84 c | 191.84 | 0 | -365109 lb | 0 0 0.00 | 195.56/195.60 c | 195.60 | 0 | -365108 lb | 0 0 0.00 | 197.56/197.61 c | 197.61 | 0 | -365107 lb | 0 0 0.00 | 201.96/202.04 c | 202.04 | 0 | -365106 lb | 0 0 0.00 | 204.75/204.82 c | 204.82 | 0 | -365105 lb | 0 0 0.00 | 206.76/206.88 c | 206.88 | 0 | -365104 lb | 0 0 0.00 | 209.95/210.01 c | 210.01 | 0 | -365103 lb | 0 0 0.00 | 213.55/213.68 c | 213.68 | 0 | -365102 lb | 0 0 0.00 | 218.15/218.23 c | 218.24 | 0 | -365101 lb | 0 0 0.00 | 220.45/220.53 c | 220.54 | 0 | -365100 lb | 0 0 0.00 | 223.45/223.58 c | 223.58 | 0 | -365099 lb | 0 0 0.00 | 225.85/225.94 c | 225.94 | 0 | -365098 lb | 0 0 0.00 | 228.55/228.68 c | 228.69 | 0 | -365097 lb | 0 0 0.00 | 232.05/232.18 c | 232.19 | 0 | -365096 lb | 0 0 0.00 | 234.16/234.29 c | 234.29 | 0 | -365095 lb | 0 0 0.00 | 242.35/242.46 c | 242.47 | 0 | -365094 lb | 0 0 0.00 | 244.85/244.91 c | 244.92 | 0 | -365093 lb | 0 0 0.00 | 251.44/251.57 c | 251.58 | 0 | -365092 lb | 0 0 0.00 | 253.14/253.28 c | 253.28 | 0 | -365091 lb | 0 0 0.00 | 258.35/258.45 c | 258.45 | 0 | -365090 lb | 0 0 0.00 | 263.34/263.47 c | 263.47 | 0 | -365089 lb | 0 0 0.00 | 273.54/273.69 c | 273.70 | 0 | -365088 lb | 0 0 0.00 | 280.04/280.16 c | 280.16 | 0 | -365087 lb | 0 0 0.00 | 281.64/281.74 c | 281.75 | 0 | -365086 lb | 0 0 0.00 | 284.04/284.14 c | 284.14 | 0 | -365085 lb | 0 0 0.00 | 286.14/286.20 c | 286.20 | 0 | -365084 lb | 0 0 0.00 | 288.44/288.57 c | 288.58 | 0 | -365083 lb | 0 0 0.00 | 290.64/290.74 c | 290.75 | 0 | -365080 lb | 0 0 0.00 | 293.74/293.85 c | 293.86 | 0 | -365079 lb | 0 0 0.00 | 295.94/296.01 c | 296.01 | 0 | -365078 lb | 0 0 0.00 | 298.14/298.26 c | 298.26 | 0 | -365077 lb | 0 0 0.00 | 300.34/300.40 c | 300.41 | 0 | -365076 lb | 0 0 0.00 | 302.45/302.54 c | 302.55 | 0 | -365075 lb | 0 0 0.00 | 305.24/305.31 c | 305.31 | 0 | -365074 lb | 0 0 0.00 | 307.43/307.50 c | 307.51 | 0 | -365073 lb | 0 0 0.00 | 309.83/309.95 c | 309.95 | 0 | -365072 lb | 0 0 0.00 | 311.83/311.92 c | 311.93 | 0 | -365071 lb | 0 0 0.00 | 315.93/316.06 c | 316.06 | 0 | -365070 lb | 0 0 0.00 | 320.84/320.92 c | 320.93 | 0 | -365069 lb | 0 0 0.00 | 323.13/323.28 c | 323.29 | 0 | -365068 lb | 0 0 0.00 | 326.73/326.88 c | 326.89 | 0 | -365067 lb | 0 0 0.00 | 328.93/329.02 c | 329.02 | 0 | -365066 lb | 0 0 0.00 | 330.43/330.53 c | 330.54 | 0 | -365065 lb | 0 0 0.00 | 333.14/333.28 c | 333.29 | 0 | -365064 lb | 0 0 0.00 | 335.44/335.55 c | 335.56 | 0 | -365063 lb | 0 0 0.00 | 337.64/337.75 c | 337.76 | 0 | -365062 lb | 0 0 0.00 | 340.63/340.71 c | 340.71 | 0 | -365061 lb | 0 0 0.00 | 344.93/345.04 c | 345.05 | 0 | -365060 lb | 0 0 0.00 | 347.13/347.27 c | 347.27 | 0 | -365059 lb | 0 0 0.00 | 354.93/355.09 c | 355.10 | 0 | -365058 lb | 0 0 0.00 | 357.22/357.31 c | 357.32 | 0 | -365057 lb | 0 0 0.00 | 361.03/361.10 c | 361.10 | 0 | -365056 lb | 0 0 0.00 | 365.23/365.39 c | 365.39 | 0 | -365055 lb | 0 0 0.00 | 368.13/368.28 c | 368.28 | 0 | -365054 lb | 0 0 0.00 | 371.52/371.61 c | 371.61 | 0 | -365053 lb | 0 0 0.00 | 374.73/374.89 c | 374.90 | 0 | -365052 lb | 0 0 0.00 | 378.73/378.84 c | 378.85 | 0 | -365051 lb | 0 0 0.00 | 382.43/382.56 c | 382.56 | 0 | -365050 lb | 0 0 0.00 | 385.33/385.48 c | 385.48 | 0 | -365049 lb | 0 0 0.00 | 388.32/388.48 c | 388.49 | 0 | -365048 lb | 0 0 0.00 | 391.33/391.45 c | 391.45 | 0 | -365047 lb | 0 0 0.00 | 394.52/394.66 c | 394.67 | 0 | -365046 lb | 0 0 0.00 | 398.92/399.08 c | 399.08 | 0 | -365045 lb | 0 0 0.00 | 404.13/404.23 c | 404.23 | 0 | -365044 lb | 0 0 0.00 | 407.13/407.29 c | 407.29 | 0 | -365043 lb | 0 0 0.00 | 410.13/410.21 c | 410.21 | 0 | -365042 lb | 0 0 0.00 | 413.12/413.29 c | 413.30 | 0 | -365041 lb | 0 0 0.00 | 417.62/417.79 c | 417.80 | 0 | -365040 lb | 0 0 0.00 | 421.62/421.71 c | 421.71 | 0 | -365039 lb | 0 0 0.00 | 424.62/424.79 c | 424.79 | 0 | -365038 lb | 0 0 0.00 | 429.02/429.13 c | 429.14 | 0 | -365037 lb | 0 0 0.00 | 432.82/432.91 c | 432.91 | 0 | -365036 lb | 0 0 0.00 | 437.62/437.78 c | 437.79 | 0 | -365035 lb | 0 0 0.00 | 440.72/440.82 c | 440.82 | 0 | -365034 lb | 0 0 0.00 | 444.33/444.48 c | 444.48 | 0 | -365033 lb | 0 0 0.00 | 448.82/448.93 c | 448.94 | 0 | -365032 lb | 0 0 0.00 | 452.21/452.34 c | 452.34 | 0 | -365031 lb | 0 0 0.00 | 455.51/455.66 c | 455.66 | 0 | -365029 lb | 0 0 0.00 | 458.71/458.80 c | 458.80 | 0 | -365028 lb | 0 0 0.00 | 461.62/461.73 c | 461.74 | 0 | -365027 lb | 0 0 0.00 | 464.02/464.11 c | 464.11 | 0 | -365026 lb | 0 0 0.00 | 467.32/467.43 c | 467.43 | 0 | -365025 lb | 0 0 0.00 | 470.01/470.19 c | 470.19 | 0 | -365024 lb | 0 0 0.00 | 473.51/473.69 c | 473.69 | 0 | -365023 lb | 0 0 0.00 | 477.81/477.90 c | 477.91 | 0 | -365017 lb | 0 0 0.00 | 481.11/481.23 c | 481.24 | 0 | -365016 lb | 0 0 0.00 | 484.91/485.01 c | 485.02 | 0 | -365005 lb | 0 0 0.00 | 487.91/488.00 c | 488.00 | 0 | -365004 lb | 0 0 0.00 | 491.21/491.39 c | 491.40 | 0 | -365003 lb | 0 0 0.00 | 494.60/494.76 c | 494.77 | 0 | -365002 lb | 0 0 0.00 | 497.70/497.83 c | 497.83 | 0 | -365001 lb | 0 0 0.00 | 501.10/501.24 c | 501.25 | 0 | -365000 lb | 0 0 0.00 | 504.72/504.82 c | 504.82 | 0 | -364835 lb | 0 0 0.00 | 510.11/510.21 c | 510.21 | 0 | -364834 lb | 0 0 0.00 | 513.30/513.43 c | 513.43 | 0 | -364833 lb | 0 0 0.00 | 516.50/516.64 c | 516.65 | 0 | -364832 lb | 0 0 0.00 | 519.30/519.48 c | 519.48 | 0 | -364831 lb | 0 0 0.00 | 522.80/522.96 c | 522.96 | 0 | -364830 lb | 0 0 0.00 | 524.52/524.70 c | 524.71 | 0 | -364829 lb | 0 0 0.00 | 528.91/529.06 c | 529.07 | 0 | -364828 lb | 0 0 0.00 | 534.60/534.78 c | 534.78 | 0 | -364827 lb | 0 0 0.00 | 537.30/537.42 c | 537.42 | 0 | -364826 lb | 0 0 0.00 | 541.50/541.60 c | 541.60 | 0 | -364825 lb | 0 0 0.00 | 545.10/545.28 c | 545.29 | 0 | -364824 lb | 0 0 0.00 | 549.20/549.37 c | 549.37 | 0 | -364823 lb | 0 0 0.00 | 550.80/550.93 c | 550.93 | 0 | -364822 lb | 0 0 0.00 | 554.09/554.22 c | 554.22 | 0 | -364821 lb | 0 0 0.00 | 556.00/556.14 c | 556.14 | 0 | -364820 lb | 0 0 0.00 | 558.70/558.87 c | 558.87 | 0 | -364819 lb | 0 0 0.00 | 561.00/561.11 c | 561.12 | 0 | -364818 lb | 0 0 0.00 | 564.10/564.21 c | 564.21 | 0 | -364817 lb | 0 0 0.00 | 566.50/566.67 c | 566.67 | 0 | -364517 lb | 0 0 0.00 | 569.30/569.42 c | 569.42 | 0 | -364516 lb | 0 0 0.00 | 573.20/573.38 c | 573.38 | 0 | -364515 lb | 0 0 0.00 | 576.00/576.18 c | 576.18 | 0 | -364514 lb | 0 0 0.00 | 578.20/578.39 c | 578.40 | 0 | -364513 lb | 0 0 0.00 | 580.99/581.14 c | 581.14 | 0 | -364512 lb | 0 0 0.00 | 583.39/583.59 c | 583.60 | 0 | -364511 lb | 0 0 0.00 | 586.39/586.53 c | 586.53 | 0 | -364510 lb | 0 0 0.00 | 588.69/588.81 c | 588.82 | 0 | -364509 lb | 0 0 0.00 | 590.89/591.01 c | 591.02 | 0 | -364508 lb | 0 0 0.00 | 592.99/593.14 c | 593.15 | 0 | -364507 lb | 0 0 0.00 | 600.59/600.77 c | 600.77 | 0 | -364506 lb | 0 0 0.00 | 603.19/603.38 c | 603.38 | 0 | -364505 lb | 0 0 0.00 | 604.59/604.73 c | 604.74 | 0 | -364504 lb | 0 0 0.00 | 608.69/608.85 c | 608.85 | 0 | -364503 lb | 0 0 0.00 | 610.89/611.04 c | 611.04 | 0 | -364502 lb | 0 0 0.00 | 617.29/617.41 c | 617.41 | 0 | -364501 lb | 0 0 0.00 | 621.39/621.52 c | 621.52 | 0 | -364500 lb | 0 0 0.00 | 623.89/624.05 c | 624.05 | 0 | -364499 lb | 0 0 0.00 | 627.59/627.72 c | 627.73 | 0 | -364498 lb | 0 0 0.00 | 630.28/630.46 c | 630.47 | 0 | -364497 lb | 0 0 0.00 | 634.59/634.72 c | 634.73 | 0 | -364496 lb | 0 0 0.00 | 641.88/642.04 c | 642.05 | 0 | -364495 lb | 0 0 0.00 | 643.68/643.86 c | 643.86 | 0 | -364494 lb | 0 0 0.00 | 645.68/645.81 c | 645.81 | 0 | -364493 lb | 0 0 0.00 | 648.18/648.39 c | 648.39 | 0 | -364492 lb | 0 0 0.00 | 651.78/651.96 c | 651.97 | 0 | -364491 lb | 0 0 0.00 | 654.08/654.22 c | 654.22 | 0 | -364490 lb | 0 0 0.00 | 656.48/656.65 c | 656.65 | 0 | -364489 lb | 0 0 0.00 | 659.07/659.20 c | 659.21 | 0 | -364488 lb | 0 0 0.00 | 662.08/662.20 c | 662.21 | 0 | -364487 lb | 0 0 0.00 | 664.29/664.43 c | 664.43 | 0 | -364486 lb | 0 0 0.00 | 666.08/666.28 c | 666.28 | 0 | -364485 lb | 0 0 0.00 | 670.08/670.29 c | 670.29 | 0 | -364484 lb | 0 0 0.00 | 672.27/672.40 c | 672.40 | 0 | -364483 lb | 0 0 0.00 | 674.37/674.59 c | 674.60 | 0 | -364482 lb | 0 0 0.00 | 676.17/676.40 c | 676.40 | 0 | -364481 lb | 0 0 0.00 | 678.28/678.48 c | 678.49 | 0 | -364480 lb | 0 0 0.00 | 681.68/681.85 c | 681.86 | 0 | -364479 lb | 0 0 0.00 | 684.88/685.05 c | 685.05 | 0 | -364478 lb | 0 0 0.00 | 687.58/687.76 c | 687.76 | 0 | -364477 lb | 0 0 0.00 | 689.87/690.01 c | 690.01 | 0 | -364476 lb | 0 0 0.00 | 693.47/693.60 c | 693.60 | 0 | -364475 lb | 0 0 0.00 | 696.08/696.21 c | 696.21 | 0 | -364474 lb | 0 0 0.00 | 698.67/698.86 c | 698.86 | 0 | -364473 lb | 0 0 0.00 | 701.47/701.62 c | 701.62 | 0 | -364472 lb | 0 0 0.00 | 703.97/704.16 c | 704.16 | 0 | -364471 lb | 0 0 0.00 | 706.57/706.74 c | 706.74 | 0 | -364470 lb | 0 0 0.00 | 712.68/712.84 c | 712.85 | 0 | -364469 lb | 0 0 0.00 | 715.17/715.34 c | 715.34 | 0 | -364468 lb | 0 0 0.00 | 717.37/717.58 c | 717.58 | 0 | -364467 lb | 0 0 0.00 | 720.06/720.24 c | 720.24 | 0 | -364466 lb | 0 0 0.00 | 724.17/724.33 c | 724.33 | 0 | -364465 lb | 0 0 0.00 | 727.27/727.44 c | 727.44 | 0 | -364464 lb | 0 0 0.00 | 729.87/730.06 c | 730.06 | 0 | -364463 lb | 0 0 0.00 | 732.17/732.31 c | 732.31 | 0 | -364462 lb | 0 0 0.00 | 735.36/735.59 c | 735.60 | 0 | -364460 lb | 0 0 0.00 | 737.76/737.98 c | 737.98 | 0 | -364459 lb | 0 0 0.00 | 741.06/741.23 c | 741.23 | 0 | -364458 lb | 0 0 0.00 | 744.16/744.33 c | 744.33 | 0 | -364457 lb | 0 0 0.00 | 746.36/746.53 c | 746.53 | 0 | -364456 lb | 0 0 0.00 | 748.26/748.44 c | 748.44 | 0 | -364455 lb | 0 0 0.00 | 750.96/751.17 c | 751.17 | 0 | -364454 lb | 0 0 0.00 | 754.37/754.51 c | 754.51 | 0 | -364453 lb | 0 0 0.00 | 757.47/757.67 c | 757.68 | 0 | -364452 lb | 0 0 0.00 | 760.97/761.14 c | 761.14 | 0 | -364451 lb | 0 0 0.00 | 763.86/764.03 c | 764.04 | 0 | -364449 lb | 0 0 0.00 | 764.86/765.06 c | 765.07 | 0 | -364448 lb | 0 0 0.00 | 767.86/768.08 c | 768.08 | 0 | -364447 lb | 0 0 0.00 | 769.95/770.18 c | 770.19 | 0 | -364446 lb | 0 0 0.00 | 772.36/772.59 c | 772.59 | 0 | -364445 lb | 0 0 0.00 | 775.16/775.39 c | 775.40 | 0 | -364444 lb | 0 0 0.00 | 777.47/777.61 c | 777.62 | 0 | -364443 lb | 0 0 0.00 | 781.26/781.41 c | 781.41 | 0 | -364442 lb | 0 0 0.00 | 784.36/784.57 c | 784.57 | 0 | -364441 lb | 0 0 0.00 | 787.56/787.78 c | 787.79 | 0 | -364440 lb | 0 0 0.00 | 789.66/789.82 c | 789.82 | 0 | -364439 lb | 0 0 0.00 | 791.76/791.92 c | 791.92 | 0 | -364438 lb | 0 0 0.00 | 794.25/794.48 c | 794.48 | 0 | -364437 lb | 0 0 0.00 | 797.35/797.57 c | 797.57 | 0 | -364436 lb | 0 0 0.00 | 798.35/798.53 c | 798.53 | 0 | -364435 lb | 0 0 0.00 | 802.45/802.67 c | 802.67 | 0 | -364434 lb | 0 0 0.00 | 806.74/806.98 c | 806.98 | 0 | -364433 lb | 0 0 0.00 | 810.85/811.04 c | 811.04 | 0 | -364432 lb | 0 0 0.00 | 815.05/815.24 c | 815.24 | 0 | -364431 lb | 0 0 0.00 | 819.25/819.40 c | 819.41 | 0 | -364430 lb | 0 0 0.00 | 821.74/821.95 c | 821.95 | 0 | -364429 lb | 0 0 0.00 | 824.24/824.48 c | 824.49 | 0 | -364428 lb | 0 0 0.00 | 826.84/827.02 c | 827.02 | 0 | -364427 lb | 0 0 0.00 | 830.14/830.40 c | 830.40 | 0 | -364426 lb | 0 0 0.00 | 831.84/832.06 c | 832.06 | 0 | -364425 lb | 0 0 0.00 | 836.34/836.57 c | 836.57 | 0 | -364424 lb | 0 0 0.00 | 841.04/841.21 c | 841.22 | 0 | -364423 lb | 0 0 0.00 | 843.04/843.27 c | 843.27 | 0 | -364422 lb | 0 0 0.00 | 846.14/846.30 c | 846.30 | 0 | -364421 lb | 0 0 0.00 | 849.14/849.37 c | 849.37 | 0 | -364420 lb | 0 0 0.00 | 852.93/853.18 c | 853.18 | 0 | -364419 lb | 0 0 0.00 | 859.53/859.74 c | 859.74 | 0 | -364418 lb | 0 0 0.00 | 862.33/862.56 c | 862.56 | 0 | -364417 lb | 0 0 0.00 | 866.43/866.60 c | 866.61 | 0 | -364416 lb | 0 0 0.00 | 868.53/868.78 c | 868.78 | 0 | -364415 lb | 0 0 0.00 | 871.44/871.64 c | 871.64 | 0 | -364414 lb | 0 0 0.00 | 873.53/873.76 c | 873.77 | 0 | -364413 lb | 0 0 0.00 | 875.44/875.69 c | 875.70 | 0 | -364412 lb | 0 0 0.00 | 878.33/878.50 c | 878.51 | 0 | -364410 lb | 0 0 0.00 | 883.04/883.28 c | 883.29 | 0 | -364409 lb | 0 0 0.00 | 887.13/887.37 c | 887.37 | 0 | -364408 lb | 0 0 0.00 | 889.43/889.66 c | 889.66 | 0 | -364407 lb | 0 0 0.00 | 894.63/894.80 c | 894.80 | 0 | -364406 lb | 0 0 0.00 | 897.12/897.36 c | 897.37 | 0 | -364405 lb | 0 0 0.00 | 900.52/900.71 c | 900.71 | 0 | -364404 lb | 0 0 0.00 | 903.32/903.54 c | 903.54 | 0 | -364403 lb | 0 0 0.00 | 905.82/906.05 c | 906.05 | 0 | -364402 lb | 0 0 0.00 | 909.72/909.99 c | 909.99 | 0 | -364401 lb | 0 0 0.00 | 911.92/912.17 c | 912.17 | 0 | -364400 lb | 0 0 0.00 | 914.51/914.79 c | 914.79 | 0 | -364399 lb | 0 0 0.00 | 919.92/920.18 c | 920.18 | 0 | -364398 lb | 0 0 0.00 | 923.22/923.48 c | 923.49 | 0 | -364397 lb | 0 0 0.00 | 925.92/926.12 c | 926.12 | 0 | -364396 lb | 0 0 0.00 | 929.32/929.56 c | 929.56 | 0 | -364395 lb | 0 0 0.00 | 932.81/933.04 c | 933.04 | 0 | -364394 lb | 0 0 0.00 | 935.20/935.40 c | 935.40 | 0 | -364393 lb | 0 0 0.00 | 937.70/937.91 c | 937.91 | 0 | -364392 lb | 0 0 0.00 | 942.60/942.88 c | 942.88 | 0 | -364391 lb | 0 0 0.00 | 946.10/946.34 c | 946.34 | 0 | -364389 lb | 0 0 0.00 | 948.40/948.60 c | 948.60 | 0 | -364388 lb | 0 0 0.00 | 951.40/951.67 c | 951.68 | 0 | -364387 lb | 0 0 0.00 | 956.40/956.66 c | 956.66 | 0 | -364386 lb | 0 0 0.00 | 959.81/960.05 c | 960.05 | 0 | -364385 lb | 0 0 0.00 | 963.10/963.30 c | 963.30 | 0 | -364384 lb | 0 0 0.00 | 966.30/966.56 c | 966.56 | 0 | -364383 lb | 0 0 0.00 | 969.00/969.21 c | 969.21 | 0 | -364382 lb | 0 0 0.00 | 972.20/972.45 c | 972.46 | 0 | -364381 lb | 0 0 0.00 | 974.80/975.01 c | 975.02 | 0 | -364380 lb | 0 0 0.00 | 977.10/977.37 c | 977.37 | 0 | -364379 lb | 0 0 0.00 | 979.60/979.83 c | 979.84 | 0 | -364378 lb | 0 0 0.00 | 980.90/981.15 c | 981.15 | 0 | -364377 lb | 0 0 0.00 | 984.70/984.97 c | 984.97 | 0 | -364376 lb | 0 0 0.00 | 988.90/989.15 c | 989.15 | 0 | -364375 lb | 0 0 0.00 | 991.69/991.90 c | 991.90 | 0 | -364374 lb | 0 0 0.00 | 995.39/995.60 c | 995.61 | 0 | -364373 lb | 0 0 0.00 | 997.90/998.14 c | 998.14 | 0 | -364372 lb | 0 0 0.00 | 999.60/999.82 c | 999.82 | 0 | -364371 lb | 0 0 0.00 | 1003.40/1003.64 c | 1003.65 | 0 | -364370 lb | 0 0 0.00 | 1008.19/1008.41 c | 1008.41 | 0 | -364369 lb | 0 0 0.00 | 1010.60/1010.88 c | 1010.88 | 0 | -364368 lb | 0 0 0.00 | 1014.40/1014.60 c | 1014.60 | 0 | -364367 lb | 0 0 0.00 | 1016.49/1016.72 c | 1016.73 | 0 | -364366 lb | 0 0 0.00 | 1019.59/1019.82 c | 1019.82 | 0 | -364365 lb | 0 0 0.00 | 1022.40/1022.62 c | 1022.62 | 0 | -364364 lb | 0 0 0.00 | 1025.00/1025.25 c | 1025.25 | 0 | -364363 lb | 0 0 0.00 | 1027.20/1027.49 c | 1027.50 | 0 | -364362 lb | 0 0 0.00 | 1029.89/1030.18 c | 1030.18 | 0 | -364361 lb | 0 0 0.00 | 1032.70/1032.95 c | 1032.95 | 0 | -364360 lb | 0 0 0.00 | 1040.69/1040.93 c | 1040.93 | 0 | -364359 lb | 0 0 0.00 | 1044.09/1044.31 c | 1044.32 | 0 | -364358 lb | 0 0 0.00 | 1047.29/1047.51 c | 1047.51 | 0 | -364357 lb | 0 0 0.00 | 1050.30/1050.53 c | 1050.53 | 0 | -364356 lb | 0 0 0.00 | 1052.79/1053.00 c | 1053.00 | 0 | -364355 lb | 0 0 0.00 | 1056.49/1056.70 c | 1056.70 | 0 | -364354 lb | 0 0 0.00 | 1060.78/1061.04 c | 1061.04 | 0 | -364353 lb | 0 0 0.00 | 1063.68/1063.90 c | 1063.90 | 0 | -364352 lb | 0 0 0.00 | 1066.88/1067.17 c | 1067.17 | 0 | -364351 lb | 0 0 0.00 | 1069.69/1069.99 c | 1069.99 | 0 | -364350 lb | 0 0 0.00 | 1073.29/1073.57 c | 1073.57 | 0 | -364349 lb | 0 0 0.00 | 1077.39/1077.69 c | 1077.69 | 0 | -364348 lb | 0 0 0.00 | 1079.89/1080.12 c | 1080.13 | 0 | -364347 lb | 0 0 0.00 | 1082.58/1082.89 c | 1082.89 | 0 | -364346 lb | 0 0 0.00 | 1085.99/1086.21 c | 1086.21 | 0 | -364345 lb | 0 0 0.00 | 1088.29/1088.57 c | 1088.57 | 0 | -364344 lb | 0 0 0.00 | 1092.68/1092.90 c | 1092.91 | 0 | -364343 lb | 0 0 0.00 | 1095.48/1095.73 c | 1095.74 | 0 | -364342 lb | 0 0 0.00 | 1097.78/1098.00 c | 1098.00 | 0 | -364341 lb | 0 0 0.00 | 1100.18/1100.49 c | 1100.49 | 0 | -364339 lb | 0 0 0.00 | 1102.88/1103.17 c | 1103.18 | 0 | -364338 lb | 0 0 0.00 | 1106.88/1107.14 c | 1107.14 | 0 | -364337 lb | 0 0 0.00 | 1109.88/1110.12 c | 1110.12 | 0 | -364336 lb | 0 0 0.00 | 1112.89/1113.11 c | 1113.12 | 0 | -364335 lb | 0 0 0.00 | 1117.08/1117.37 c | 1117.38 | 0 | -364331 lb | 0 0 0.00 | 1120.98/1121.25 c | 1121.26 | 0 | -364330 lb | 0 0 0.00 | 1124.68/1124.91 c | 1124.91 | 0 | -364329 lb | 0 0 0.00 | 1128.38/1128.67 c | 1128.68 | 0 | -364328 lb | 0 0 0.00 | 1130.77/1131.07 c | 1131.08 | 0 | -364327 lb | 0 0 0.00 | 1133.18/1133.45 c | 1133.45 | 0 | -364326 lb | 0 0 0.00 | 1136.38/1136.69 c | 1136.69 | 0 | -364325 lb | 0 0 0.00 | 1138.77/1139.02 c | 1139.02 | 0 | -364324 lb | 0 0 0.00 | 1141.77/1142.09 c | 1142.09 | 0 | -364323 lb | 0 0 0.00 | 1144.27/1144.56 c | 1144.57 | 0 | -364322 lb | 0 0 0.00 | 1146.88/1147.13 c | 1147.13 | 0 | -364317 lb | 0 0 0.00 | 1149.78/1150.04 c | 1150.04 | 0 | -364316 lb | 0 0 0.00 | 1155.17/1155.49 c | 1155.50 | 0 | -364315 lb | 0 0 0.00 | 1160.07/1160.34 c | 1160.35 | 0 | -364314 lb | 0 0 0.00 | 1163.67/1163.97 c | 1163.97 | 0 | -364313 lb | 0 0 0.00 | 1191.46/1191.72 c | 1191.72 | 0 | -364312 lb | 0 0 0.00 | 1194.27/1194.58 c | 1194.59 | 0 | -364311 lb | 0 0 0.00 | 1197.07/1197.30 c | 1197.30 | 0 | -364310 lb | 0 0 0.00 | 1200.97/1201.27 c | 1201.28 | 0 | -364309 lb | 0 0 0.00 | 1206.97/1207.22 c | 1207.22 | 0 | -364308 lb | 0 0 0.00 | 1211.26/1211.56 c | 1211.56 | 0 | -364307 lb | 0 0 0.00 | 1217.76/1218.06 c | 1218.06 | 0 | -364306 lb | 0 0 0.00 | 1219.96/1220.26 c | 1220.26 | 0 | -364305 lb | 0 0 0.00 | 1225.16/1225.48 c | 1225.48 | 0 | -364304 lb | 0 0 0.00 | 1228.16/1228.44 c | 1228.44 | 0 | -364291 lb | 0 0 0.00 | 1230.67/1230.92 c | 1230.93 | 0 | -364290 lb | 0 0 0.00 | 1233.66/1233.97 c | 1233.97 | 0 | -364279 lb | 0 0 0.00 | 1235.76/1236.02 c | 1236.03 | 0 | -364278 lb | 0 0 0.00 | 1238.86/1239.18 c | 1239.18 | 0 | -364277 lb | 0 0 0.00 | 1244.56/1244.84 c | 1244.84 | 0 | -364276 lb | 0 0 0.00 | 1247.86/1248.10 c | 1248.11 | 0 | -364275 lb | 0 0 0.00 | 1250.86/1251.10 c | 1251.11 | 0 | -364274 lb | 0 0 0.00 | 1254.66/1254.96 c | 1254.96 | 0 | -364273 lb | 0 0 0.00 | 1258.16/1258.43 c | 1258.43 | 0 | -364272 lb | 0 0 0.00 | 1260.36/1260.61 c | 1260.61 | 0 | -364271 lb | 0 0 0.00 | 1264.85/1265.19 c | 1265.19 | 0 | -364270 lb | 0 0 0.00 | 1267.55/1267.83 c | 1267.84 | 0 | -364269 lb | 0 0 0.00 | 1270.75/1271.09 c | 1271.10 | 0 | -364268 lb | 0 0 0.00 | 1275.96/1276.29 c | 1276.30 | 0 | -364267 lb | 0 0 0.00 | 1282.26/1282.54 c | 1282.55 | 0 | -364266 lb | 0 0 0.00 | 1288.25/1288.56 c | 1288.56 | 0 | -364265 lb | 0 0 0.00 | 1298.05/1298.34 c | 1298.35 | 0 | -364264 lb | 0 0 0.00 | 1302.15/1302.50 c | 1302.50 | 0 | -364263 lb | 0 0 0.00 | 1306.05/1306.39 c | 1306.40 | 0 | -364262 lb | 0 0 0.00 | 1309.25/1309.59 c | 1309.59 | 0 | -364261 lb | 0 0 0.00 | 1316.25/1316.60 c | 1316.60 | 0 | -364260 lb | 0 0 0.00 | 1318.66/1318.92 c | 1318.93 | 0 | -364259 lb | 0 0 0.00 | 1322.96/1323.27 c | 1323.27 | 0 | -364258 lb | 0 0 0.00 | 1324.85/1325.18 c | 1325.18 | 0 | -364257 lb | 0 0 0.00 | 1327.55/1327.81 c | 1327.81 | 0 | -364256 lb | 0 0 0.00 | 1335.05/1335.36 c | 1335.37 | 0 | -364255 lb | 0 0 0.00 | 1339.14/1339.45 c | 1339.46 | 0 | -364254 lb | 0 0 0.00 | 1345.94/1346.27 c | 1346.27 | 0 | -364253 lb | 0 0 0.00 | 1349.64/1349.96 c | 1349.97 | 0 | -364252 lb | 0 0 0.00 | 1353.65/1353.93 c | 1353.93 | 0 | -364251 lb | 0 0 0.00 | 1357.64/1357.93 c | 1357.93 | 0 | -364250 lb | 0 0 0.00 | 1361.34/1361.69 c | 1361.69 | 0 | -364249 lb | 0 0 0.00 | 1364.94/1365.26 c | 1365.26 | 0 | -364248 lb | 0 0 0.00 | 1368.15/1368.44 c | 1368.44 | 0 | -364247 lb | 0 0 0.00 | 1373.65/1373.91 c | 1373.92 | 0 | -364246 lb | 0 0 0.00 | 1376.94/1377.29 c | 1377.30 | 0 | -364245 lb | 0 0 0.00 | 1381.35/1381.67 c | 1381.67 | 0 | -364244 lb | 0 0 0.00 | 1384.34/1384.60 c | 1384.61 | 0 | -364243 lb | 0 0 0.00 | 1387.24/1387.60 c | 1387.60 | 0 | -364242 lb | 0 0 0.00 | 1390.94/1391.24 c | 1391.25 | 0 | -364241 lb | 0 0 0.00 | 1395.23/1395.51 c | 1395.52 | 0 | -364240 lb | 0 0 0.00 | 1400.04/1400.38 c | 1400.38 | 0 | -364239 lb | 0 0 0.00 | 1403.64/1403.96 c | 1403.97 | 0 | -364238 lb | 0 0 0.00 | 1407.33/1407.66 c | 1407.66 | 0 | -364237 lb | 0 0 0.00 | 1412.03/1412.34 c | 1412.35 | 0 | -364236 lb | 0 0 0.00 | 1415.63/1415.99 c | 1416.00 | 0 | -364235 lb | 0 0 0.00 | 1419.93/1420.27 c | 1420.28 | 0 | -364234 lb | 0 0 0.00 | 1423.14/1423.41 c | 1423.41 | 0 | -364233 lb | 0 0 0.00 | 1425.83/1426.15 c | 1426.15 | 0 | -364232 lb | 0 0 0.00 | 1428.63/1428.92 c | 1428.92 | 0 | -364231 lb | 0 0 0.00 | 1431.23/1431.50 c | 1431.50 | 0 | -364230 lb | 0 0 0.00 | 1434.14/1434.46 c | 1434.47 | 0 | -364229 lb | 0 0 0.00 | 1436.53/1436.80 c | 1436.80 | 0 | -364228 lb | 0 0 0.00 | 1439.03/1439.37 c | 1439.38 | 0 | -364227 lb | 0 0 0.00 | 1442.73/1443.00 c | 1443.00 | 0 | -364226 lb | 0 0 0.00 | 1445.53/1445.80 c | 1445.80 | 0 | -364225 lb | 0 0 0.00 | 1448.53/1448.84 c | 1448.84 | 0 | -364218 lb | 0 0 0.00 | 1450.83/1451.17 c | 1451.17 | 0 | -364217 lb | 0 0 0.00 | 1456.13/1456.43 c | 1456.43 | 0 | -364216 lb | 0 0 0.00 | 1458.63/1458.94 c | 1458.94 | 0 | -364215 lb | 0 0 0.00 | 1461.23/1461.54 c | 1461.54 | 0 | -364214 lb | 0 0 0.00 | 1465.03/1465.39 c | 1465.39 | 0 | -364213 lb | 0 0 0.00 | 1468.23/1468.50 c | 1468.51 | 0 | -364212 lb | 0 0 0.00 | 1470.52/1470.82 c | 1470.83 | 0 | -364211 lb | 0 0 0.00 | 1553.61/1553.95 c | 1553.95 | 0 | -364210 lb | 0 0 0.00 | 1558.21/1558.52 c | 1558.52 | 0 | -364209 lb | 0 0 0.00 | 1560.91/1561.25 c | 1561.26 | 0 | -364208 lb | 0 0 0.00 | 1566.31/1566.69 c | 1566.69 | 0 | -364207 lb | 0 0 0.00 | 1572.30/1572.66 c | 1572.66 | 0 | -364206 lb | 0 0 0.00 | 1577.60/1577.94 c | 1577.94 | 0 | -364205 lb | 0 0 0.00 | 1581.51/1581.86 c | 1581.87 | 0 | -364204 lb | 0 0 0.00 | 1585.21/1585.51 c | 1585.52 | 0 | -364203 lb | 0 0 0.00 | 1590.71/1591.09 c | 1591.09 | 0 | -364202 lb | 0 0 0.00 | 1596.31/1596.68 c | 1596.68 | 0 | -364201 lb | 0 0 0.00 | 1600.12/1600.45 c | 1600.45 | 0 | -364200 lb | 0 0 0.00 | 1604.51/1604.85 c | 1604.85 | 0 | -364199 lb | 0 0 0.00 | 1609.41/1609.79 c | 1609.80 | 0 | -364198 lb | 0 0 0.00 | 1613.10/1613.42 c | 1613.43 | 0 | -364197 lb | 0 0 0.00 | 1617.20/1617.56 c | 1617.56 | 0 | -364196 lb | 0 0 0.00 | 1625.70/1626.00 c | 1626.00 | 0 | -364195 lb | 0 0 0.00 | 1628.71/1629.00 c | 1629.01 | 0 | -364194 lb | 0 0 0.00 | 1630.70/1631.03 c | 1631.03 | 0 | -364193 lb | 0 0 0.00 | 1632.20/1632.57 c | 1632.57 | 0 | -364192 lb | 0 0 0.00 | 1634.69/1635.07 c | 1635.07 | 0 | -364191 lb | 0 0 0.00 | 1637.51/1637.87 c | 1637.87 | 0 | -364190 lb | 0 0 0.00 | 1640.70/1641.04 c | 1641.05 | 0 | -364189 lb | 0 0 0.00 | 1643.80/1644.13 c | 1644.14 | 0 | -364188 lb | 0 0 0.00 | 1647.99/1648.34 c | 1648.35 | 0 | -364187 lb | 0 0 0.00 | 1651.60/1651.91 c | 1651.92 | 0 | -364186 lb | 0 0 0.00 | 1657.60/1657.98 c | 1657.99 | 0 | -364185 lb | 0 0 0.00 | 1661.00/1661.34 c | 1661.34 | 0 | -364184 lb | 0 0 0.00 | 1663.80/1664.13 c | 1664.14 | 0 | -364183 lb | 0 0 0.00 | 1666.90/1667.27 c | 1667.28 | 0 | -364182 lb | 0 0 0.00 | 1670.10/1670.44 c | 1670.44 | 0 | -364181 lb | 0 0 0.00 | 1675.39/1675.71 c | 1675.71 | 0 | -364180 lb | 0 0 0.00 | 1677.89/1678.23 c | 1678.24 | 0 | -364179 lb | 0 0 0.00 | 1680.40/1680.75 c | 1680.75 | 0 | -364178 lb | 0 0 0.00 | 1682.99/1683.31 c | 1683.31 | 0 | -364177 lb | 0 0 0.00 | 1685.39/1685.74 c | 1685.74 | 0 | -364174 lb | 0 0 0.00 | 1687.80/1688.17 c | 1688.17 | 0 | -364173 lb | 0 0 0.00 | 1690.80/1691.15 c | 1691.15 | 0 | -364172 lb | 0 0 0.00 | 1693.09/1693.48 c | 1693.48 | 0 | -364171 lb | 0 0 0.00 | 1696.49/1696.83 c | 1696.84 | 0 | -364170 lb | 0 0 0.00 | 1700.79/1701.14 c | 1701.14 | 0 | -364169 lb | 0 0 0.00 | 1703.79/1704.14 c | 1704.14 | 0 | -364168 lb | 0 0 0.00 | 1708.79/1709.14 c | 1709.14 | 0 | -364167 lb | 0 0 0.00 | 1711.79/1712.18 c | 1712.18 | 0 | -364165 lb | 0 0 0.00 | 1717.49/1717.86 c | 1717.87 | 0 | -364164 lb | 0 0 0.00 | 1724.18/1724.54 c | 1724.54 | 0 | -364163 lb | 0 0 0.00 | 1730.38/1730.72 c | 1730.72 | 0 | -364162 lb | 0 0 0.00 | 1732.88/1733.25 c | 1733.26 | 0 | -364161 lb | 0 0 0.00 | 1736.79/1737.14 c | 1737.14 | 0 | -364160 lb | 0 0 0.00 | 1739.09/1739.41 c | 1739.41 | 0 | -364159 lb | 0 0 0.00 | 1742.59/1742.95 c | 1742.95 | 0 | -364158 lb | 0 0 0.00 | 1746.08/1746.43 c | 1746.43 | 0 | -364157 lb | 0 0 0.00 | 1749.08/1749.46 c | 1749.46 | 0 | -364156 lb | 0 0 0.00 | 1753.08/1753.49 c | 1753.49 | 0 | -364155 lb | 0 0 0.00 | 1755.48/1755.85 c | 1755.85 | 0 | -364154 lb | 0 0 0.00 | 1760.38/1760.79 c | 1760.79 | 0 | -364153 lb | 0 0 0.00 | 1767.08/1767.43 c | 1767.43 | 0 | -364152 lb | 0 0 0.00 | 1774.07/1774.40 c | 1774.40 | 0 | -364151 lb | 0 0 0.00 | 1776.28/1776.68 c | 1776.69 | 0 | -364150 lb | 0 0 0.00 | 1785.18/1785.55 c | 1785.55 | 0 | -364149 lb | 0 0 0.00 | 1787.58/1787.98 c | 1787.99 | 0 | -364148 lb | 0 0 0.00 | 1790.88/1791.20 c | 1791.20 | 0 | -364147 lb | 0 0 0.00 | 1793.27/1793.61 c | 1793.62 | 0 | -364146 lb | 0 0 0.00 | 1795.47/1795.87 c | 1795.88 | 0 | -364145 lb | 0 0 0.00 | 1797.88/1798.21 c | 1798.22 | 0 | -364144 lb | 0 0 0.00 | 1799.68/1800.00 c =============================================================================== 1799.68/1800.00 c Wall Clock Time: 1800.00 s 1799.68/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-3727896-1338672911/watcher-3727896-1338672911 -o /tmp/evaluation-result-3727896-1338672911/solver-3727896-1338672911 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727896-1338672911.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.07 2.02 2.00 3/176 7413 /proc/meminfo: memFree=29312556/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=31876 CPUtime=0 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) R 7411 7413 7067 0 -1 4202496 591 0 0 0 0 0 0 0 20 0 1 0 333416790 32641024 544 33554432000 4194304 5964350 140734620371216 140737027654968 4349631 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 7969 544 174 433 0 641 0 [startup+0.022017 s] /proc/loadavg: 2.07 2.02 2.00 3/176 7413 /proc/meminfo: memFree=29312556/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=34548 CPUtime=0.01 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) R 7411 7413 7067 0 -1 4202496 1263 0 0 0 1 0 0 0 20 0 1 0 333416790 35377152 1216 33554432000 4194304 5964350 140734620371216 140737027654968 4395326 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 8637 1216 226 433 0 1309 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 34548 [startup+0.100283 s] /proc/loadavg: 2.07 2.02 2.00 3/176 7413 /proc/meminfo: memFree=29312556/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=42444 CPUtime=0.09 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) R 7411 7413 7067 0 -1 4202496 3356 0 0 0 9 0 0 0 20 0 1 0 333416790 43462656 3195 33554432000 4194304 5964350 140734620371216 140737027654968 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 10611 3196 488 433 0 3283 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42444 [startup+0.300281 s] /proc/loadavg: 2.07 2.02 2.00 3/176 7413 /proc/meminfo: memFree=29312556/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=53684 CPUtime=0.29 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) R 7411 7413 7067 0 -1 4202496 7005 0 0 0 28 1 0 0 20 0 1 0 333416790 54972416 6707 33554432000 4194304 5964350 140734620371216 140737027654968 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 13421 6707 1088 433 0 6093 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 53684 [startup+0.700274 s] /proc/loadavg: 2.07 2.02 2.00 3/176 7413 /proc/meminfo: memFree=29312556/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=86840 CPUtime=0.69 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) R 7411 7413 7067 0 -1 4202496 16414 0 0 0 67 2 0 0 20 0 1 0 333416790 88924160 15458 33554432000 4194304 5964350 140734620371216 140737027654968 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 21710 15458 2283 433 0 14382 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 86840 [startup+1.50028 s] /proc/loadavg: 2.07 2.02 2.00 3/177 7414 /proc/meminfo: memFree=29183672/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=146740 CPUtime=1.49 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) R 7411 7413 7067 0 -1 4202496 30964 0 0 0 145 4 0 0 20 0 1 0 333416790 150261760 30684 33554432000 4194304 5964350 140734620371216 140734620369560 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 36685 30685 4235 433 0 29357 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 146740 [startup+3.10017 s] /proc/loadavg: 2.07 2.02 2.00 3/177 7414 /proc/meminfo: memFree=29076808/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=296280 CPUtime=3.08 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 65386 0 0 0 299 9 0 0 20 0 2 0 333416790 303390720 65110 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 74070 65110 178 433 0 73634 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 296280 [startup+6.30034 s] /proc/loadavg: 2.23 2.05 2.02 3/179 7416 /proc/meminfo: memFree=28404428/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=565664 CPUtime=6.29 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 114146 0 0 0 607 22 0 0 20 0 2 0 333416790 579239936 129178 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 141416 129178 193 433 0 140980 0 [pid=7413/tid=7416] ppid=7411 vsize=565664 CPUtime=3.45 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 67615 0 0 0 330 15 0 0 20 0 2 0 333417071 579239936 129178 33554432000 4194304 5964350 140734620371216 140561287358808 5142429 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) 565664 [startup+12.7003 s] /proc/loadavg: 2.29 2.06 2.02 3/179 7416 /proc/meminfo: memFree=28330332/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=631200 CPUtime=12.68 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 117364 0 0 0 1245 23 0 0 20 0 2 0 333416790 646348800 138045 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 157800 138045 195 433 0 157364 0 [pid=7413/tid=7416] ppid=7411 vsize=631200 CPUtime=9.84 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 70833 0 0 0 967 17 0 0 20 0 2 0 333417071 646348800 138045 33554432000 4194304 5964350 140734620371216 140561287359000 4445441 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 631200 [startup+25.5003 s] /proc/loadavg: 2.22 2.06 2.02 3/179 7416 /proc/meminfo: memFree=28266100/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=631200 CPUtime=25.48 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 124369 0 0 0 2520 28 0 0 20 0 2 0 333416790 646348800 144363 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 157800 144363 196 433 0 157364 0 [pid=7413/tid=7416] ppid=7411 vsize=631200 CPUtime=22.6 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 77838 0 0 0 2239 21 0 0 20 0 2 0 333417071 646348800 144363 33554432000 4194304 5964350 140734620371216 140561287359000 4222314 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 631200 [startup+51.1003 s] /proc/loadavg: 2.20 2.07 2.02 3/179 7416 /proc/meminfo: memFree=28155796/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=713256 CPUtime=51.08 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 146135 0 0 0 5072 36 0 0 20 0 2 0 333416790 730374144 161476 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 178314 161476 196 433 0 177878 0 [pid=7413/tid=7416] ppid=7411 vsize=713256 CPUtime=48.13 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 99604 0 0 0 4784 29 0 0 20 0 2 0 333417071 730374144 161476 33554432000 4194304 5964350 140734620371216 140561287359000 4406354 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 713256 [startup+102.307 s] /proc/loadavg: 2.14 2.07 2.02 3/179 7416 /proc/meminfo: memFree=27969908/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=909864 CPUtime=102.27 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 166449 0 0 0 10181 46 0 0 20 0 2 0 333416790 931700736 204076 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 227466 204076 197 433 0 227030 0 [pid=7413/tid=7416] ppid=7411 vsize=909864 CPUtime=99.21 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 119918 0 0 0 9880 41 0 0 20 0 2 0 333417071 931700736 204076 33554432000 4194304 5964350 140734620371216 140561287359000 4408974 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 909864 [startup+162.3 s] /proc/loadavg: 2.05 2.06 2.02 3/179 7417 /proc/meminfo: memFree=27876032/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=975400 CPUtime=162.25 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 189920 0 0 0 16169 56 0 0 20 0 2 0 333416790 998809600 228086 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 243850 228086 197 433 0 243414 0 [pid=7413/tid=7416] ppid=7411 vsize=975400 CPUtime=159.04 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 143389 0 0 0 15852 52 0 0 20 0 2 0 333417071 998809600 228086 33554432000 4194304 5964350 140734620371216 140561287359000 5134245 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 975400 [startup+222.3 s] /proc/loadavg: 2.15 2.07 2.02 3/179 7417 /proc/meminfo: memFree=27750160/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=1040936 CPUtime=222.25 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 209722 0 0 0 22161 64 0 0 20 0 2 0 333416790 1065918464 241761 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 260234 241761 197 433 0 259798 0 [pid=7413/tid=7416] ppid=7411 vsize=1040936 CPUtime=218.88 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 163191 0 0 0 21828 60 0 0 20 0 2 0 333417071 1065918464 241761 33554432000 4194304 5964350 140734620371216 140561287359304 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 1040936 [startup+282.3 s] /proc/loadavg: 2.11 2.07 2.02 3/179 7417 /proc/meminfo: memFree=27574024/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=1095616 CPUtime=282.24 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 213448 0 0 0 28156 68 0 0 20 0 2 0 333416790 1121910784 254960 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 273904 254960 197 433 0 273468 0 [pid=7413/tid=7416] ppid=7411 vsize=1095616 CPUtime=278.73 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 166917 0 0 0 27808 65 0 0 20 0 2 0 333417071 1121910784 254960 33554432000 4194304 5964350 140734620371216 140561287358792 5142429 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 1095616 [startup+342.3 s] /proc/loadavg: 2.08 2.07 2.02 3/180 7420 /proc/meminfo: memFree=27502036/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=1090068 CPUtime=342.23 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 226615 0 0 0 34148 75 0 0 20 0 2 0 333416790 1116229632 254925 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 272517 254925 197 433 0 272081 0 [pid=7413/tid=7416] ppid=7411 vsize=1090068 CPUtime=338.57 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 180084 0 0 0 33783 74 0 0 20 0 2 0 333417071 1116229632 254925 33554432000 4194304 5964350 140734620371216 140561287359304 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 1090068 [startup+402.3 s] /proc/loadavg: 2.14 2.09 2.02 3/179 7420 /proc/meminfo: memFree=27300912/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=1221140 CPUtime=402.23 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 245348 0 0 0 40141 82 0 0 20 0 2 0 333416790 1250447360 278303 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 305285 278303 197 433 0 304849 0 [pid=7413/tid=7416] ppid=7411 vsize=1221140 CPUtime=398.41 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 198817 0 0 0 39760 81 0 0 20 0 2 0 333417071 1250447360 278303 33554432000 4194304 5964350 140734620371216 140561287358808 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 1221140 [startup+462.3 s] /proc/loadavg: 2.05 2.07 2.02 3/179 7421 /proc/meminfo: memFree=27233924/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=1237544 CPUtime=462.22 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 254891 0 0 0 46136 86 0 0 20 0 2 0 333416790 1267245056 286843 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 309386 286843 197 433 0 308950 0 [pid=7413/tid=7416] ppid=7411 vsize=1237544 CPUtime=458.25 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 208360 0 0 0 45740 85 0 0 20 0 2 0 333417071 1267245056 286843 33554432000 4194304 5964350 140734620371216 140561287359000 5122387 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 ################ # More data... # ################ [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.00 3/179 7438 /proc/meminfo: memFree=25569432/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=2097716 CPUtime=1422.04 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 447481 0 0 0 142037 167 0 0 20 0 2 0 333416790 2148061184 466660 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 524429 466660 197 433 0 523993 0 [pid=7413/tid=7416] ppid=7411 vsize=2097716 CPUtime=1415.69 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 400950 0 0 0 141388 181 0 0 20 0 2 0 333417071 2148061184 466660 33554432000 4194304 5964350 140734620371216 140561287358808 4403560 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 2097716 [startup+1482.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 7438 /proc/meminfo: memFree=25451688/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=2163252 CPUtime=1482.02 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 448782 0 0 0 148032 170 0 0 20 0 2 0 333416790 2215170048 480684 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 540813 480684 197 433 0 540377 0 [pid=7413/tid=7416] ppid=7411 vsize=2163252 CPUtime=1475.52 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 402251 0 0 0 147367 185 0 0 20 0 2 0 333417071 2215170048 480684 33554432000 4194304 5964350 140734620371216 140561287358808 4409175 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 2163252 [startup+1542.3 s] /proc/loadavg: 2.10 2.03 2.01 3/180 7441 /proc/meminfo: memFree=25375328/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=2163252 CPUtime=1542.01 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 448782 0 0 0 154031 170 0 0 20 0 2 0 333416790 2215170048 480684 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 540813 480684 197 433 0 540377 0 [pid=7413/tid=7416] ppid=7411 vsize=2163252 CPUtime=1535.36 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 402251 0 0 0 153350 186 0 0 20 0 2 0 333417071 2215170048 480684 33554432000 4194304 5964350 140734620371216 140561287358808 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1542.01 Current children cumulated vsize (KiB) 2163252 [startup+1602.3 s] /proc/loadavg: 2.04 2.02 2.00 3/180 7464 /proc/meminfo: memFree=25381824/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=2097716 CPUtime=1602.01 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 450884 0 0 0 160028 173 0 0 20 0 2 0 333416790 2148061184 471474 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 524429 471474 197 433 0 523993 0 [pid=7413/tid=7416] ppid=7411 vsize=2097716 CPUtime=1595.21 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 404353 0 0 0 159331 190 0 0 20 0 2 0 333417071 2148061184 471474 33554432000 4194304 5964350 140734620371216 140561287359304 4392637 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 2097716 [startup+1662.3 s] /proc/loadavg: 2.11 2.05 2.01 3/179 7465 /proc/meminfo: memFree=25223124/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=2228788 CPUtime=1662 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 454257 0 0 0 166022 178 0 0 20 0 2 0 333416790 2282278912 496253 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 557197 496253 197 433 0 556761 0 [pid=7413/tid=7416] ppid=7411 vsize=2228788 CPUtime=1655.05 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 407726 0 0 0 165309 196 0 0 20 0 2 0 333417071 2282278912 496253 33554432000 4194304 5964350 140734620371216 140561287359000 4389020 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 2228788 [startup+1722.3 s] /proc/loadavg: 2.11 2.05 2.01 3/179 7465 /proc/meminfo: memFree=25136288/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=2228788 CPUtime=1721.98 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 454831 0 0 0 172018 180 0 0 20 0 2 0 333416790 2282278912 496765 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 557197 496765 197 433 0 556761 0 [pid=7413/tid=7416] ppid=7411 vsize=2228788 CPUtime=1714.89 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 408300 0 0 0 171290 199 0 0 20 0 2 0 333417071 2282278912 496765 33554432000 4194304 5964350 140734620371216 140561287359304 4399774 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.98 Current children cumulated vsize (KiB) 2228788 [startup+1782.3 s] /proc/loadavg: 2.04 2.04 2.00 3/179 7465 /proc/meminfo: memFree=25030440/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=2294324 CPUtime=1781.98 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 457487 0 0 0 178015 183 0 0 20 0 2 0 333416790 2349387776 507526 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 573581 507526 197 433 0 573145 0 [pid=7413/tid=7416] ppid=7411 vsize=2294324 CPUtime=1774.73 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 410956 0 0 0 177271 202 0 0 20 0 2 0 333417071 2349387776 507526 33554432000 4194304 5964350 140734620371216 140561287359304 4389005 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 2294324 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.03 2.04 2.00 3/179 7465 /proc/meminfo: memFree=25010148/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=2359860 CPUtime=1791.58 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 457507 0 0 0 178975 183 0 0 20 0 2 0 333416790 2416496640 512135 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 589965 512135 197 433 0 589529 0 [pid=7413/tid=7416] ppid=7411 vsize=2359860 CPUtime=1784.31 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 410976 0 0 0 178228 203 0 0 20 0 2 0 333417071 2416496640 512135 33554432000 4194304 5964350 140734620371216 140561287358760 5122387 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (KiB) 2359860 [startup+1795.1 s] /proc/loadavg: 2.03 2.04 2.00 3/179 7465 /proc/meminfo: memFree=25060784/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=2294324 CPUtime=1794.78 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 457507 0 0 0 179295 183 0 0 20 0 2 0 333416790 2349387776 507526 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 573581 507526 197 433 0 573145 0 [pid=7413/tid=7416] ppid=7411 vsize=2294324 CPUtime=1787.5 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 410976 0 0 0 178547 203 0 0 20 0 2 0 333417071 2349387776 507526 33554432000 4194304 5964350 140734620371216 140561287359304 4400342 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1794.78 Current children cumulated vsize (KiB) 2294324 [startup+1798.3 s] /proc/loadavg: 2.03 2.04 2.00 3/179 7465 /proc/meminfo: memFree=25042600/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=2359860 CPUtime=1797.98 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 457517 0 0 0 179614 184 0 0 20 0 2 0 333416790 2416496640 512135 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 589965 512135 197 433 0 589529 0 [pid=7413/tid=7416] ppid=7411 vsize=2359860 CPUtime=1790.69 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 410986 0 0 0 178865 204 0 0 20 0 2 0 333417071 2416496640 512135 33554432000 4194304 5964350 140734620371216 140561287358760 5139086 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 2359860 [startup+1799.1 s] /proc/loadavg: 2.03 2.04 2.00 3/179 7465 /proc/meminfo: memFree=24989048/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=2294324 CPUtime=1798.78 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 457517 0 0 0 179694 184 0 0 20 0 2 0 333416790 2349387776 507526 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 573581 507526 197 433 0 573145 0 [pid=7413/tid=7416] ppid=7411 vsize=2294324 CPUtime=1791.49 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 410986 0 0 0 178945 204 0 0 20 0 2 0 333417071 2349387776 507526 33554432000 4194304 5964350 140734620371216 140561287359000 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1798.78 Current children cumulated vsize (KiB) 2294324 [startup+1799.5 s] /proc/loadavg: 2.03 2.04 2.00 2/173 7489 /proc/meminfo: memFree=27367512/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=2294324 CPUtime=1799.19 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 457517 0 0 0 179735 184 0 0 20 0 2 0 333416790 2349387776 507526 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 573581 507526 197 433 0 573145 0 [pid=7413/tid=7416] ppid=7411 vsize=2294324 CPUtime=1791.89 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 410986 0 0 0 178985 204 0 0 20 0 2 0 333417071 2349387776 507526 33554432000 4194304 5964350 140734620371216 140561287359000 4387871 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.19 Current children cumulated vsize (KiB) 2294324 [startup+1799.9 s] /proc/loadavg: 2.03 2.04 2.00 2/173 7489 /proc/meminfo: memFree=27367512/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=2294324 CPUtime=1799.58 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 457517 0 0 0 179774 184 0 0 20 0 2 0 333416790 2349387776 507526 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 573581 507526 197 433 0 573145 0 [pid=7413/tid=7416] ppid=7411 vsize=2294324 CPUtime=1792.29 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 410986 0 0 0 179025 204 0 0 20 0 2 0 333417071 2349387776 507526 33554432000 4194304 5964350 140734620371216 140561287359304 4392802 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (KiB) 2294324 [startup+1800 s] /proc/loadavg: 2.03 2.04 2.00 2/173 7489 /proc/meminfo: memFree=27367512/32873844 swapFree=7632/7632 [pid=7413] ppid=7411 vsize=2294324 CPUtime=1799.68 cores=0,2,4,6 /proc/7413/stat : 7413 (wbo1.72) S 7411 7413 7067 0 -1 4202496 457517 0 0 0 179784 184 0 0 20 0 2 0 333416790 2349387776 507526 33554432000 4194304 5964350 140734620371216 140734620370736 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/7413/statm: 573581 507526 197 433 0 573145 0 [pid=7413/tid=7416] ppid=7411 vsize=2294324 CPUtime=1792.38 cores=0,2,4,6 /proc/7413/task/7416/stat : 7416 (wbo1.72) R 7411 7413 7067 0 -1 4202560 410986 0 0 0 179034 204 0 0 20 0 2 0 333417071 2349387776 507526 33554432000 4194304 5964350 140734620371216 140561287359304 4403615 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (KiB) 2294324 Child status: 255 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 7413 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=107406 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=141674 # CPU time returned by wait4() is 1795.25 # while last known CPU time is 1799.68 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.03 CPU time (s): 1799.68 CPU user time (s): 1797.84 CPU system time (s): 1.84 CPU usage (%): 99.9807 Max. virtual memory (cumulated for all children) (KiB): 2359860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.11 system time used= 2.14167 maximum resident set size= 2066944 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 457519 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= 77 involuntary context switches= 1851 runsolver used 3.46047 second user time and 8.23675 second system time The end
Begin job on node130 at 2012-06-02 23:35:12 IDJOB=3727896 IDBENCH=90934 IDSOLVER=2313 FILE ID=node130/3727896-1338672911 RUNJOBID= node130-1338667509-7083 PBS_JOBID= 14636509 Free space on /tmp= 70924 MiB SOLVER NAME= wbo 1.72 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null20mast_rapportOE2.0_TMAX60_K192_cod2.opb COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727896-1338672911/watcher-3727896-1338672911 -o /tmp/evaluation-result-3727896-1338672911/solver-3727896-1338672911 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727896-1338672911.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6f3eb6421078a0de6a5b5f585e0aca61 RANDOM SEED=716011548 node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 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.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.875 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 : 5228.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29315736 kB Buffers: 393204 kB Cached: 2238220 kB SwapCached: 4252 kB Active: 1173712 kB Inactive: 1523668 kB Active(anon): 58268 kB Inactive(anon): 8136 kB Active(file): 1115444 kB Inactive(file): 1515532 kB Unevictable: 7632 kB Mlocked: 7632 kB SwapTotal: 67108856 kB SwapFree: 67099280 kB Dirty: 66136 kB Writeback: 0 kB AnonPages: 149020 kB Mapped: 18888 kB Shmem: 4 kB Slab: 721272 kB SReclaimable: 162548 kB SUnreclaim: 558724 kB KernelStack: 1432 kB PageTables: 4404 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 191564 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70952 MiB End job on node130 at 2012-06-03 00:05:12