Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.7 | ? | 1800.04 | 1800.04 |
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.7 beta - March, 2012 | 0.00/0.00 c | | 0.00/0.00 c Parsing opb file format. File HOME/instance-3705595-1338161096.opb. 0.00/0.00 c Instance file HOME/instance-3705595-1338161096.opb 0.00/0.00 c File size is 28226022 bytes. 2.89/2.93 c Cost Offset: -367542 2.89/2.93 c Highest Coefficient sum: 66266 2.89/2.93 c ============================[ Problem Statistics ]============================= 2.89/2.93 c | | 2.89/2.93 c | Parsing time: 2.94 s | 2.89/2.93 c | Number Variables: 400896 | 2.89/2.93 c | Number Clauses: 400785 | 2.89/2.93 c | Number Cardinality: 1977 | 2.89/2.93 c | Number PB Constraints: 1 | 2.89/2.93 c | | 3.19/3.21 c | Problem Type: Optimization | 3.19/3.21 c | Objective Function: PB Constraint | 3.19/3.21 c | | 3.19/3.21 c ============================[ Search Statistics ]============================== 3.19/3.21 c | Time (s) | ID | Bound | Shared Clauses | 3.19/3.21 c | | | value type | expCls impCls Lit/impCl | 3.19/3.21 c =============================================================================== 3.59/3.67 c | 3.67 | 0 | -367541 lb | 0 0 0.00 | 3.99/4.08 c | 4.09 | 0 | -367540 lb | 0 0 0.00 | 4.39/4.47 c | 4.47 | 0 | -367538 lb | 0 0 0.00 | 4.79/4.84 c | 4.85 | 0 | -367534 lb | 0 0 0.00 | 5.19/5.21 c | 5.21 | 0 | -367526 lb | 0 0 0.00 | 5.50/5.59 c | 5.59 | 0 | -367510 lb | 0 0 0.00 | 5.89/5.96 c | 5.97 | 0 | -367478 lb | 0 0 0.00 | 6.29/6.35 c | 6.36 | 0 | -367414 lb | 0 0 0.00 | 6.69/6.74 c | 6.74 | 0 | -367030 lb | 0 0 0.00 | 7.09/7.13 c | 7.13 | 0 | -366518 lb | 0 0 0.00 | 7.60/7.69 c | 7.69 | 0 | -366517 lb | 0 0 0.00 | 8.09/8.15 c | 8.15 | 0 | -366516 lb | 0 0 0.00 | 8.58/8.69 c | 8.70 | 0 | -366515 lb | 0 0 0.00 | 9.19/9.25 c | 9.26 | 0 | -366514 lb | 0 0 0.00 | 9.69/9.80 c | 9.80 | 0 | -366513 lb | 0 0 0.00 | 10.29/10.35 c | 10.35 | 0 | -366512 lb | 0 0 0.00 | 10.89/10.91 c | 10.91 | 0 | -366511 lb | 0 0 0.00 | 11.38/11.46 c | 11.46 | 0 | -366510 lb | 0 0 0.00 | 11.99/12.00 c | 12.01 | 0 | -366509 lb | 0 0 0.00 | 12.49/12.55 c | 12.56 | 0 | -366508 lb | 0 0 0.00 | 13.09/13.10 c | 13.11 | 0 | -366507 lb | 0 0 0.00 | 13.59/13.66 c | 13.67 | 0 | -366506 lb | 0 0 0.00 | 14.19/14.22 c | 14.22 | 0 | -366505 lb | 0 0 0.00 | 14.68/14.78 c | 14.78 | 0 | -366504 lb | 0 0 0.00 | 15.30/15.33 c | 15.33 | 0 | -366503 lb | 0 0 0.00 | 15.79/15.89 c | 15.90 | 0 | -366502 lb | 0 0 0.00 | 16.39/16.44 c | 16.45 | 0 | -366501 lb | 0 0 0.00 | 16.98/17.00 c | 17.01 | 0 | -366500 lb | 0 0 0.00 | 17.49/17.56 c | 17.56 | 0 | -366499 lb | 0 0 0.00 | 17.99/18.02 c | 18.02 | 0 | -366498 lb | 0 0 0.00 | 18.49/18.58 c | 18.59 | 0 | -366497 lb | 0 0 0.00 | 19.08/19.15 c | 19.15 | 0 | -366496 lb | 0 0 0.00 | 19.69/19.71 c | 19.72 | 0 | -366495 lb | 0 0 0.00 | 20.18/20.28 c | 20.28 | 0 | -366494 lb | 0 0 0.00 | 20.79/20.85 c | 20.85 | 0 | -366493 lb | 0 0 0.00 | 21.38/21.43 c | 21.43 | 0 | -366492 lb | 0 0 0.00 | 22.00/22.00 c | 22.01 | 0 | -366491 lb | 0 0 0.00 | 22.49/22.57 c | 22.57 | 0 | -366490 lb | 0 0 0.00 | 23.10/23.14 c | 23.15 | 0 | -366489 lb | 0 0 0.00 | 23.69/23.72 c | 23.72 | 0 | -366488 lb | 0 0 0.00 | 24.19/24.29 c | 24.29 | 0 | -366487 lb | 0 0 0.00 | 24.79/24.86 c | 24.86 | 0 | -366486 lb | 0 0 0.00 | 25.38/25.43 c | 25.44 | 0 | -366485 lb | 0 0 0.00 | 25.98/26.01 c | 26.01 | 0 | -366484 lb | 0 0 0.00 | 26.49/26.58 c | 26.59 | 0 | -366483 lb | 0 0 0.00 | 27.09/27.16 c | 27.16 | 0 | -366481 lb | 0 0 0.00 | 27.69/27.74 c | 27.74 | 0 | -366480 lb | 0 0 0.00 | 28.28/28.32 c | 28.32 | 0 | -366479 lb | 0 0 0.00 | 28.88/28.90 c | 28.90 | 0 | -366476 lb | 0 0 0.00 | 29.38/29.48 c | 29.48 | 0 | -366473 lb | 0 0 0.00 | 29.99/30.06 c | 30.06 | 0 | -366472 lb | 0 0 0.00 | 30.59/30.63 c | 30.64 | 0 | -366471 lb | 0 0 0.00 | 31.19/31.21 c | 31.22 | 0 | -366470 lb | 0 0 0.00 | 31.68/31.79 c | 31.80 | 0 | -366468 lb | 0 0 0.00 | 32.28/32.38 c | 32.38 | 0 | -366467 lb | 0 0 0.00 | 32.99/33.02 c | 33.02 | 0 | -366466 lb | 0 0 0.00 | 33.59/33.62 c | 33.62 | 0 | -366446 lb | 0 0 0.00 | 34.09/34.19 c | 34.20 | 0 | -366444 lb | 0 0 0.00 | 34.68/34.78 c | 34.79 | 0 | -366443 lb | 0 0 0.00 | 35.28/35.36 c | 35.36 | 0 | -366442 lb | 0 0 0.00 | 35.88/35.95 c | 35.95 | 0 | -366441 lb | 0 0 0.00 | 36.48/36.59 c | 36.59 | 0 | -366078 lb | 0 0 0.00 | 37.19/37.20 c | 37.20 | 0 | -366077 lb | 0 0 0.00 | 37.68/37.77 c | 37.77 | 0 | -366076 lb | 0 0 0.00 | 38.39/38.44 c | 38.44 | 0 | -366006 lb | 0 0 0.00 | 39.08/39.11 c | 39.11 | 0 | -366004 lb | 0 0 0.00 | 39.79/39.83 c | 39.83 | 0 | -366003 lb | 0 0 0.00 | 40.48/40.51 c | 40.51 | 0 | -366002 lb | 0 0 0.00 | 41.08/41.18 c | 41.18 | 0 | -366001 lb | 0 0 0.00 | 41.79/41.85 c | 41.86 | 0 | -366000 lb | 0 0 0.00 | 42.48/42.52 c | 42.53 | 0 | -365999 lb | 0 0 0.00 | 43.09/43.19 c | 43.20 | 0 | -365998 lb | 0 0 0.00 | 43.79/43.87 c | 43.87 | 0 | -365997 lb | 0 0 0.00 | 44.48/44.55 c | 44.55 | 0 | -365996 lb | 0 0 0.00 | 45.18/45.22 c | 45.23 | 0 | -365989 lb | 0 0 0.00 | 45.88/45.90 c | 45.91 | 0 | -365988 lb | 0 0 0.00 | 46.48/46.58 c | 46.58 | 0 | -365987 lb | 0 0 0.00 | 47.19/47.26 c | 47.27 | 0 | -365985 lb | 0 0 0.00 | 47.89/47.94 c | 47.94 | 0 | -365981 lb | 0 0 0.00 | 48.58/48.62 c | 48.62 | 0 | -365973 lb | 0 0 0.00 | 49.28/49.30 c | 49.30 | 0 | -365971 lb | 0 0 0.00 | 49.88/49.98 c | 49.99 | 0 | -365970 lb | 0 0 0.00 | 50.59/50.68 c | 50.68 | 0 | -365969 lb | 0 0 0.00 | 51.28/51.37 c | 51.37 | 0 | -365958 lb | 0 0 0.00 | 51.98/52.06 c | 52.06 | 0 | -365956 lb | 0 0 0.00 | 52.69/52.75 c | 52.75 | 0 | -365954 lb | 0 0 0.00 | 53.38/53.45 c | 53.45 | 0 | -365949 lb | 0 0 0.00 | 54.08/54.14 c | 54.14 | 0 | -365941 lb | 0 0 0.00 | 54.78/54.83 c | 54.84 | 0 | -365928 lb | 0 0 0.00 | 55.48/55.53 c | 55.53 | 0 | -365909 lb | 0 0 0.00 | 56.18/56.23 c | 56.23 | 0 | -365895 lb | 0 0 0.00 | 56.88/56.92 c | 56.93 | 0 | -365893 lb | 0 0 0.00 | 57.58/57.62 c | 57.62 | 0 | -365891 lb | 0 0 0.00 | 58.29/58.31 c | 58.32 | 0 | -365878 lb | 0 0 0.00 | 59.18/59.25 c | 59.25 | 0 | -365877 lb | 0 0 0.00 | 59.97/60.06 c | 60.07 | 0 | -365876 lb | 0 0 0.00 | 60.97/61.03 c | 61.04 | 0 | -365875 lb | 0 0 0.00 | 61.98/62.01 c | 62.02 | 0 | -365874 lb | 0 0 0.00 | 62.98/63.00 c | 63.01 | 0 | -365873 lb | 0 0 0.00 | 63.88/63.94 c | 63.94 | 0 | -365872 lb | 0 0 0.00 | 64.88/64.93 c | 64.93 | 0 | -365871 lb | 0 0 0.00 | 65.68/65.72 c | 65.72 | 0 | -365621 lb | 0 0 0.00 | 66.48/66.53 c | 66.53 | 0 | -365604 lb | 0 0 0.00 | 67.28/67.33 c | 67.33 | 0 | -365603 lb | 0 0 0.00 | 68.18/68.28 c | 68.29 | 0 | -365602 lb | 0 0 0.00 | 69.28/69.39 c | 69.39 | 0 | -365601 lb | 0 0 0.00 | 70.28/70.38 c | 70.38 | 0 | -365600 lb | 0 0 0.00 | 71.28/71.30 c | 71.30 | 0 | -365599 lb | 0 0 0.00 | 72.28/72.33 c | 72.33 | 0 | -365598 lb | 0 0 0.00 | 72.98/73.08 c | 73.08 | 0 | -365593 lb | 0 0 0.00 | 73.78/73.83 c | 73.83 | 0 | -365592 lb | 0 0 0.00 | 74.48/74.59 c | 74.59 | 0 | -365585 lb | 0 0 0.00 | 75.18/75.23 c | 75.23 | 0 | -365572 lb | 0 0 0.00 | 75.78/75.86 c | 75.86 | 0 | -365544 lb | 0 0 0.00 | 76.47/76.50 c | 76.51 | 0 | -365542 lb | 0 0 0.00 | 77.08/77.15 c | 77.15 | 0 | -365541 lb | 0 0 0.00 | 77.68/77.78 c | 77.79 | 0 | -365491 lb | 0 0 0.00 | 78.38/78.46 c | 78.46 | 0 | -365486 lb | 0 0 0.00 | 79.08/79.13 c | 79.13 | 0 | -365478 lb | 0 0 0.00 | 79.77/79.80 c | 79.81 | 0 | -365477 lb | 0 0 0.00 | 80.88/80.93 c | 80.93 | 0 | -365476 lb | 0 0 0.00 | 81.58/81.60 c | 81.61 | 0 | -365475 lb | 0 0 0.00 | 82.18/82.28 c | 82.28 | 0 | -365471 lb | 0 0 0.00 | 82.88/82.95 c | 82.96 | 0 | -365470 lb | 0 0 0.00 | 83.59/83.64 c | 83.64 | 0 | -365469 lb | 0 0 0.00 | 84.69/84.78 c | 84.79 | 0 | -365468 lb | 0 0 0.00 | 85.38/85.46 c | 85.47 | 0 | -365450 lb | 0 0 0.00 | 86.08/86.14 c | 86.14 | 0 | -365448 lb | 0 0 0.00 | 86.78/86.81 c | 86.81 | 0 | -365447 lb | 0 0 0.00 | 87.37/87.49 c | 87.49 | 0 | -365400 lb | 0 0 0.00 | 88.37/88.41 c | 88.41 | 0 | -365399 lb | 0 0 0.00 | 89.08/89.17 c | 89.17 | 0 | -365397 lb | 0 0 0.00 | 89.77/89.89 c | 89.89 | 0 | -365384 lb | 0 0 0.00 | 90.58/90.62 c | 90.63 | 0 | -365357 lb | 0 0 0.00 | 91.28/91.35 c | 91.35 | 0 | -365355 lb | 0 0 0.00 | 91.97/92.08 c | 92.08 | 0 | -365354 lb | 0 0 0.00 | 92.67/92.77 c | 92.78 | 0 | -365307 lb | 0 0 0.00 | 93.48/93.52 c | 93.52 | 0 | -365294 lb | 0 0 0.00 | 94.17/94.24 c | 94.24 | 0 | -365267 lb | 0 0 0.00 | 94.87/94.92 c | 94.93 | 0 | -365265 lb | 0 0 0.00 | 95.58/95.65 c | 95.65 | 0 | -365264 lb | 0 0 0.00 | 96.78/96.81 c | 96.81 | 0 | -365263 lb | 0 0 0.00 | 97.88/97.92 c | 97.92 | 0 | -365262 lb | 0 0 0.00 | 98.57/98.67 c | 98.67 | 0 | -365232 lb | 0 0 0.00 | 99.57/99.63 c | 99.64 | 0 | -365231 lb | 0 0 0.00 | 100.67/100.72 c | 100.72 | 0 | -365230 lb | 0 0 0.00 | 101.78/101.87 c | 101.87 | 0 | -365229 lb | 0 0 0.00 | 102.98/103.03 c | 103.04 | 0 | -365228 lb | 0 0 0.00 | 104.08/104.13 c | 104.13 | 0 | -365227 lb | 0 0 0.00 | 105.17/105.24 c | 105.25 | 0 | -365226 lb | 0 0 0.00 | 105.87/105.95 c | 105.95 | 0 | -365225 lb | 0 0 0.00 | 106.97/107.01 c | 107.01 | 0 | -365224 lb | 0 0 0.00 | 107.78/107.88 c | 107.88 | 0 | -365219 lb | 0 0 0.00 | 108.88/108.93 c | 108.94 | 0 | -365218 lb | 0 0 0.00 | 109.57/109.68 c | 109.69 | 0 | -365217 lb | 0 0 0.00 | 110.67/110.79 c | 110.80 | 0 | -365216 lb | 0 0 0.00 | 111.87/111.98 c | 111.98 | 0 | -365215 lb | 0 0 0.00 | 113.17/113.24 c | 113.24 | 0 | -365214 lb | 0 0 0.00 | 114.47/114.51 c | 114.51 | 0 | -365213 lb | 0 0 0.00 | 115.87/115.93 c | 115.94 | 0 | -365212 lb | 0 0 0.00 | 117.07/117.16 c | 117.17 | 0 | -365211 lb | 0 0 0.00 | 118.27/118.32 c | 118.32 | 0 | -365210 lb | 0 0 0.00 | 119.97/120.00 c | 120.01 | 0 | -365209 lb | 0 0 0.00 | 121.87/121.96 c | 121.96 | 0 | -365208 lb | 0 0 0.00 | 123.67/123.74 c | 123.74 | 0 | -365207 lb | 0 0 0.00 | 124.67/124.71 c | 124.72 | 0 | -365206 lb | 0 0 0.00 | 126.57/126.66 c | 126.66 | 0 | -365205 lb | 0 0 0.00 | 128.47/128.58 c | 128.58 | 0 | -365204 lb | 0 0 0.00 | 129.97/130.02 c | 130.02 | 0 | -365203 lb | 0 0 0.00 | 131.77/131.90 c | 131.90 | 0 | -365202 lb | 0 0 0.00 | 133.37/133.40 c | 133.40 | 0 | -365201 lb | 0 0 0.00 | 135.07/135.11 c | 135.11 | 0 | -365200 lb | 0 0 0.00 | 136.66/136.73 c | 136.74 | 0 | -365199 lb | 0 0 0.00 | 138.17/138.26 c | 138.26 | 0 | -365198 lb | 0 0 0.00 | 139.77/139.87 c | 139.88 | 0 | -365197 lb | 0 0 0.00 | 141.37/141.47 c | 141.47 | 0 | -365196 lb | 0 0 0.00 | 143.07/143.17 c | 143.18 | 0 | -365195 lb | 0 0 0.00 | 144.77/144.87 c | 144.87 | 0 | -365194 lb | 0 0 0.00 | 146.56/146.68 c | 146.68 | 0 | -365193 lb | 0 0 0.00 | 148.97/149.06 c | 149.06 | 0 | -365192 lb | 0 0 0.00 | 150.47/150.52 c | 150.53 | 0 | -365191 lb | 0 0 0.00 | 151.36/151.42 c | 151.42 | 0 | -365190 lb | 0 0 0.00 | 152.16/152.24 c | 152.25 | 0 | -365189 lb | 0 0 0.00 | 153.27/153.31 c | 153.31 | 0 | -365188 lb | 0 0 0.00 | 154.36/154.45 c | 154.45 | 0 | -365176 lb | 0 0 0.00 | 155.27/155.34 c | 155.34 | 0 | -365175 lb | 0 0 0.00 | 156.57/156.63 c | 156.63 | 0 | -365174 lb | 0 0 0.00 | 158.17/158.24 c | 158.24 | 0 | -365173 lb | 0 0 0.00 | 159.87/159.95 c | 159.96 | 0 | -365172 lb | 0 0 0.00 | 161.06/161.14 c | 161.15 | 0 | -365171 lb | 0 0 0.00 | 162.36/162.41 c | 162.41 | 0 | -365170 lb | 0 0 0.00 | 163.16/163.27 c | 163.27 | 0 | -365169 lb | 0 0 0.00 | 164.46/164.55 c | 164.56 | 0 | -365168 lb | 0 0 0.00 | 165.76/165.83 c | 165.83 | 0 | -365167 lb | 0 0 0.00 | 167.27/167.35 c | 167.35 | 0 | -365165 lb | 0 0 0.00 | 168.37/168.48 c | 168.49 | 0 | -365164 lb | 0 0 0.00 | 169.76/169.83 c | 169.84 | 0 | -365163 lb | 0 0 0.00 | 171.26/171.39 c | 171.40 | 0 | -365162 lb | 0 0 0.00 | 173.26/173.30 c | 173.31 | 0 | -365161 lb | 0 0 0.00 | 174.67/174.74 c | 174.74 | 0 | -365160 lb | 0 0 0.00 | 176.36/176.40 c | 176.41 | 0 | -365157 lb | 0 0 0.00 | 177.86/177.96 c | 177.96 | 0 | -365156 lb | 0 0 0.00 | 179.36/179.46 c | 179.46 | 0 | -365155 lb | 0 0 0.00 | 181.26/181.33 c | 181.33 | 0 | -365154 lb | 0 0 0.00 | 183.16/183.25 c | 183.25 | 0 | -365153 lb | 0 0 0.00 | 185.96/186.05 c | 186.06 | 0 | -365111 lb | 0 0 0.00 | 189.36/189.47 c | 189.48 | 0 | -365109 lb | 0 0 0.00 | 193.16/193.21 c | 193.21 | 0 | -365108 lb | 0 0 0.00 | 195.06/195.18 c | 195.18 | 0 | -365107 lb | 0 0 0.00 | 199.46/199.57 c | 199.57 | 0 | -365106 lb | 0 0 0.00 | 202.27/202.31 c | 202.31 | 0 | -365105 lb | 0 0 0.00 | 204.26/204.35 c | 204.35 | 0 | -365104 lb | 0 0 0.00 | 207.35/207.45 c | 207.46 | 0 | -365103 lb | 0 0 0.00 | 210.96/211.06 c | 211.07 | 0 | -365102 lb | 0 0 0.00 | 215.46/215.58 c | 215.59 | 0 | -365101 lb | 0 0 0.00 | 217.76/217.83 c | 217.83 | 0 | -365100 lb | 0 0 0.00 | 220.76/220.80 c | 220.81 | 0 | -365099 lb | 0 0 0.00 | 223.06/223.10 c | 223.11 | 0 | -365098 lb | 0 0 0.00 | 225.75/225.80 c | 225.80 | 0 | -365097 lb | 0 0 0.00 | 229.15/229.27 c | 229.28 | 0 | -365096 lb | 0 0 0.00 | 231.25/231.35 c | 231.35 | 0 | -365095 lb | 0 0 0.00 | 239.35/239.45 c | 239.45 | 0 | -365094 lb | 0 0 0.00 | 241.75/241.86 c | 241.87 | 0 | -365093 lb | 0 0 0.00 | 248.35/248.48 c | 248.48 | 0 | -365092 lb | 0 0 0.00 | 250.05/250.15 c | 250.16 | 0 | -365091 lb | 0 0 0.00 | 255.15/255.28 c | 255.29 | 0 | -365090 lb | 0 0 0.00 | 260.15/260.26 c | 260.26 | 0 | -365089 lb | 0 0 0.00 | 270.25/270.36 c | 270.36 | 0 | -365088 lb | 0 0 0.00 | 276.64/276.75 c | 276.75 | 0 | -365087 lb | 0 0 0.00 | 278.26/278.30 c | 278.31 | 0 | -365086 lb | 0 0 0.00 | 280.54/280.67 c | 280.67 | 0 | -365085 lb | 0 0 0.00 | 282.66/282.71 c | 282.71 | 0 | -365084 lb | 0 0 0.00 | 284.95/285.06 c | 285.06 | 0 | -365083 lb | 0 0 0.00 | 287.05/287.17 c | 287.17 | 0 | -365080 lb | 0 0 0.00 | 290.14/290.24 c | 290.24 | 0 | -365079 lb | 0 0 0.00 | 292.24/292.36 c | 292.37 | 0 | -365078 lb | 0 0 0.00 | 294.44/294.58 c | 294.58 | 0 | -365077 lb | 0 0 0.00 | 296.54/296.69 c | 296.69 | 0 | -365076 lb | 0 0 0.00 | 298.74/298.80 c | 298.80 | 0 | -365075 lb | 0 0 0.00 | 301.44/301.51 c | 301.52 | 0 | -365074 lb | 0 0 0.00 | 303.55/303.68 c | 303.68 | 0 | -365073 lb | 0 0 0.00 | 306.04/306.10 c | 306.10 | 0 | -365072 lb | 0 0 0.00 | 307.95/308.03 c | 308.03 | 0 | -365071 lb | 0 0 0.00 | 312.04/312.11 c | 312.11 | 0 | -365070 lb | 0 0 0.00 | 316.83/316.92 c | 316.92 | 0 | -365069 lb | 0 0 0.00 | 319.14/319.25 c | 319.25 | 0 | -365068 lb | 0 0 0.00 | 322.74/322.81 c | 322.82 | 0 | -365067 lb | 0 0 0.00 | 324.84/324.92 c | 324.92 | 0 | -365066 lb | 0 0 0.00 | 326.34/326.40 c | 326.41 | 0 | -365065 lb | 0 0 0.00 | 329.04/329.12 c | 329.12 | 0 | -365064 lb | 0 0 0.00 | 331.24/331.36 c | 331.37 | 0 | -365063 lb | 0 0 0.00 | 333.44/333.52 c | 333.53 | 0 | -365062 lb | 0 0 0.00 | 336.34/336.44 c | 336.44 | 0 | -365061 lb | 0 0 0.00 | 340.54/340.67 c | 340.67 | 0 | -365060 lb | 0 0 0.00 | 342.74/342.85 c | 342.85 | 0 | -365059 lb | 0 0 0.00 | 350.44/350.58 c | 350.58 | 0 | -365058 lb | 0 0 0.00 | 352.63/352.75 c | 352.75 | 0 | -365057 lb | 0 0 0.00 | 356.34/356.49 c | 356.49 | 0 | -365056 lb | 0 0 0.00 | 360.64/360.72 c | 360.72 | 0 | -365055 lb | 0 0 0.00 | 363.43/363.57 c | 363.57 | 0 | -365054 lb | 0 0 0.00 | 366.73/366.86 c | 366.86 | 0 | -365053 lb | 0 0 0.00 | 370.03/370.11 c | 370.11 | 0 | -365052 lb | 0 0 0.00 | 373.94/374.01 c | 374.01 | 0 | -365051 lb | 0 0 0.00 | 377.53/377.67 c | 377.68 | 0 | -365050 lb | 0 0 0.00 | 380.44/380.55 c | 380.56 | 0 | -365049 lb | 0 0 0.00 | 383.43/383.53 c | 383.53 | 0 | -365048 lb | 0 0 0.00 | 386.33/386.46 c | 386.46 | 0 | -365047 lb | 0 0 0.00 | 389.53/389.64 c | 389.64 | 0 | -365046 lb | 0 0 0.00 | 393.92/394.01 c | 394.01 | 0 | -365045 lb | 0 0 0.00 | 398.93/399.05 c | 399.06 | 0 | -365044 lb | 0 0 0.00 | 401.93/402.06 c | 402.07 | 0 | -365043 lb | 0 0 0.00 | 404.83/404.96 c | 404.96 | 0 | -365042 lb | 0 0 0.00 | 407.82/407.99 c | 407.99 | 0 | -365041 lb | 0 0 0.00 | 412.23/412.39 c | 412.39 | 0 | -365040 lb | 0 0 0.00 | 416.13/416.21 c | 416.21 | 0 | -365039 lb | 0 0 0.00 | 419.12/419.23 c | 419.23 | 0 | -365038 lb | 0 0 0.00 | 423.33/423.44 c | 423.44 | 0 | -365037 lb | 0 0 0.00 | 427.02/427.17 c | 427.18 | 0 | -365036 lb | 0 0 0.00 | 431.82/431.97 c | 431.98 | 0 | -365035 lb | 0 0 0.00 | 434.83/434.98 c | 434.98 | 0 | -365034 lb | 0 0 0.00 | 438.42/438.57 c | 438.58 | 0 | -365033 lb | 0 0 0.00 | 442.82/442.96 c | 442.96 | 0 | -365032 lb | 0 0 0.00 | 446.22/446.32 c | 446.32 | 0 | -365031 lb | 0 0 0.00 | 449.42/449.56 c | 449.56 | 0 | -365029 lb | 0 0 0.00 | 452.52/452.68 c | 452.69 | 0 | -365028 lb | 0 0 0.00 | 455.42/455.57 c | 455.58 | 0 | -365027 lb | 0 0 0.00 | 457.72/457.89 c | 457.89 | 0 | -365026 lb | 0 0 0.00 | 461.02/461.14 c | 461.14 | 0 | -365025 lb | 0 0 0.00 | 463.72/463.82 c | 463.83 | 0 | -365024 lb | 0 0 0.00 | 467.12/467.25 c | 467.25 | 0 | -365023 lb | 0 0 0.00 | 471.21/471.36 c | 471.37 | 0 | -365017 lb | 0 0 0.00 | 474.51/474.63 c | 474.63 | 0 | -365016 lb | 0 0 0.00 | 478.22/478.37 c | 478.37 | 0 | -365005 lb | 0 0 0.00 | 481.22/481.31 c | 481.31 | 0 | -365004 lb | 0 0 0.00 | 484.51/484.65 c | 484.65 | 0 | -365003 lb | 0 0 0.00 | 487.82/487.96 c | 487.97 | 0 | -365002 lb | 0 0 0.00 | 490.82/490.99 c | 490.99 | 0 | -365001 lb | 0 0 0.00 | 494.21/494.34 c | 494.35 | 0 | -365000 lb | 0 0 0.00 | 497.72/497.83 c | 497.84 | 0 | -364835 lb | 0 0 0.00 | 502.92/503.09 c | 503.09 | 0 | -364834 lb | 0 0 0.00 | 506.11/506.25 c | 506.25 | 0 | -364833 lb | 0 0 0.00 | 509.31/509.43 c | 509.44 | 0 | -364832 lb | 0 0 0.00 | 512.11/512.24 c | 512.24 | 0 | -364831 lb | 0 0 0.00 | 515.50/515.68 c | 515.68 | 0 | -364830 lb | 0 0 0.00 | 517.20/517.37 c | 517.38 | 0 | -364829 lb | 0 0 0.00 | 521.50/521.65 c | 521.66 | 0 | -364828 lb | 0 0 0.00 | 527.10/527.28 c | 527.28 | 0 | -364827 lb | 0 0 0.00 | 529.70/529.86 c | 529.86 | 0 | -364826 lb | 0 0 0.00 | 533.80/533.97 c | 533.97 | 0 | -364825 lb | 0 0 0.00 | 537.49/537.61 c | 537.62 | 0 | -364824 lb | 0 0 0.00 | 541.50/541.65 c | 541.66 | 0 | -364823 lb | 0 0 0.00 | 543.00/543.18 c | 543.19 | 0 | -364822 lb | 0 0 0.00 | 546.19/546.39 c | 546.40 | 0 | -364821 lb | 0 0 0.00 | 548.09/548.26 c | 548.26 | 0 | -364820 lb | 0 0 0.00 | 550.79/550.90 c | 550.90 | 0 | -364819 lb | 0 0 0.00 | 552.90/553.08 c | 553.09 | 0 | -364818 lb | 0 0 0.00 | 555.99/556.13 c | 556.13 | 0 | -364817 lb | 0 0 0.00 | 558.39/558.54 c | 558.54 | 0 | -364517 lb | 0 0 0.00 | 561.09/561.25 c | 561.25 | 0 | -364516 lb | 0 0 0.00 | 564.99/565.15 c | 565.16 | 0 | -364515 lb | 0 0 0.00 | 567.79/567.90 c | 567.91 | 0 | -364514 lb | 0 0 0.00 | 569.89/570.05 c | 570.06 | 0 | -364513 lb | 0 0 0.00 | 572.59/572.73 c | 572.73 | 0 | -364512 lb | 0 0 0.00 | 574.99/575.10 c | 575.11 | 0 | -364511 lb | 0 0 0.00 | 577.79/577.94 c | 577.94 | 0 | -364510 lb | 0 0 0.00 | 579.99/580.16 c | 580.17 | 0 | -364509 lb | 0 0 0.00 | 582.19/582.31 c | 582.31 | 0 | -364508 lb | 0 0 0.00 | 584.19/584.36 c | 584.36 | 0 | -364507 lb | 0 0 0.00 | 591.59/591.79 c | 591.79 | 0 | -364506 lb | 0 0 0.00 | 594.18/594.31 c | 594.31 | 0 | -364505 lb | 0 0 0.00 | 595.48/595.60 c | 595.61 | 0 | -364504 lb | 0 0 0.00 | 599.48/599.64 c | 599.65 | 0 | -364503 lb | 0 0 0.00 | 601.59/601.76 c | 601.76 | 0 | -364502 lb | 0 0 0.00 | 607.78/607.92 c | 607.92 | 0 | -364501 lb | 0 0 0.00 | 611.77/611.91 c | 611.91 | 0 | -364500 lb | 0 0 0.00 | 614.17/614.37 c | 614.37 | 0 | -364499 lb | 0 0 0.00 | 617.78/617.93 c | 617.93 | 0 | -364498 lb | 0 0 0.00 | 620.38/620.57 c | 620.57 | 0 | -364497 lb | 0 0 0.00 | 624.58/624.71 c | 624.71 | 0 | -364496 lb | 0 0 0.00 | 631.78/631.93 c | 631.93 | 0 | -364495 lb | 0 0 0.00 | 633.57/633.72 c | 633.72 | 0 | -364494 lb | 0 0 0.00 | 635.47/635.62 c | 635.63 | 0 | -364493 lb | 0 0 0.00 | 637.97/638.17 c | 638.17 | 0 | -364492 lb | 0 0 0.00 | 641.47/641.69 c | 641.69 | 0 | -364491 lb | 0 0 0.00 | 643.77/643.90 c | 643.91 | 0 | -364490 lb | 0 0 0.00 | 646.07/646.29 c | 646.29 | 0 | -364489 lb | 0 0 0.00 | 648.57/648.79 c | 648.80 | 0 | -364488 lb | 0 0 0.00 | 651.57/651.72 c | 651.73 | 0 | -364487 lb | 0 0 0.00 | 653.66/653.87 c | 653.88 | 0 | -364486 lb | 0 0 0.00 | 655.47/655.67 c | 655.68 | 0 | -364485 lb | 0 0 0.00 | 659.47/659.61 c | 659.61 | 0 | -364484 lb | 0 0 0.00 | 661.47/661.68 c | 661.68 | 0 | -364483 lb | 0 0 0.00 | 663.67/663.82 c | 663.83 | 0 | -364482 lb | 0 0 0.00 | 665.37/665.59 c | 665.59 | 0 | -364481 lb | 0 0 0.00 | 667.47/667.63 c | 667.63 | 0 | -364480 lb | 0 0 0.00 | 670.77/670.95 c | 670.95 | 0 | -364479 lb | 0 0 0.00 | 673.86/674.09 c | 674.09 | 0 | -364478 lb | 0 0 0.00 | 676.57/676.75 c | 676.75 | 0 | -364477 lb | 0 0 0.00 | 678.76/678.95 c | 678.96 | 0 | -364476 lb | 0 0 0.00 | 682.27/682.49 c | 682.50 | 0 | -364475 lb | 0 0 0.00 | 684.86/685.05 c | 685.05 | 0 | -364474 lb | 0 0 0.00 | 687.46/687.64 c | 687.64 | 0 | -364473 lb | 0 0 0.00 | 690.17/690.35 c | 690.36 | 0 | -364472 lb | 0 0 0.00 | 692.66/692.80 c | 692.81 | 0 | -364471 lb | 0 0 0.00 | 695.16/695.30 c | 695.31 | 0 | -364470 lb | 0 0 0.00 | 701.16/701.33 c | 701.34 | 0 | -364469 lb | 0 0 0.00 | 703.56/703.77 c | 703.77 | 0 | -364468 lb | 0 0 0.00 | 705.76/705.96 c | 705.96 | 0 | -364467 lb | 0 0 0.00 | 708.36/708.56 c | 708.56 | 0 | -364466 lb | 0 0 0.00 | 712.46/712.60 c | 712.60 | 0 | -364465 lb | 0 0 0.00 | 715.46/715.65 c | 715.65 | 0 | -364464 lb | 0 0 0.00 | 718.06/718.22 c | 718.22 | 0 | -364463 lb | 0 0 0.00 | 720.27/720.42 c | 720.42 | 0 | -364462 lb | 0 0 0.00 | 723.46/723.64 c | 723.64 | 0 | -364460 lb | 0 0 0.00 | 725.76/725.99 c | 725.99 | 0 | -364459 lb | 0 0 0.00 | 728.95/729.17 c | 729.18 | 0 | -364458 lb | 0 0 0.00 | 732.06/732.23 c | 732.24 | 0 | -364457 lb | 0 0 0.00 | 734.16/734.39 c | 734.39 | 0 | -364456 lb | 0 0 0.00 | 736.05/736.25 c | 736.25 | 0 | -364455 lb | 0 0 0.00 | 738.75/738.94 c | 738.94 | 0 | -364454 lb | 0 0 0.00 | 742.05/742.22 c | 742.23 | 0 | -364453 lb | 0 0 0.00 | 745.15/745.33 c | 745.34 | 0 | -364452 lb | 0 0 0.00 | 748.55/748.72 c | 748.73 | 0 | -364451 lb | 0 0 0.00 | 751.35/751.54 c | 751.54 | 0 | -364449 lb | 0 0 0.00 | 752.35/752.53 c | 752.53 | 0 | -364448 lb | 0 0 0.00 | 755.25/755.49 c | 755.49 | 0 | -364447 lb | 0 0 0.00 | 757.35/757.55 c | 757.55 | 0 | -364446 lb | 0 0 0.00 | 759.75/759.91 c | 759.91 | 0 | -364445 lb | 0 0 0.00 | 762.45/762.66 c | 762.66 | 0 | -364444 lb | 0 0 0.00 | 764.65/764.82 c | 764.83 | 0 | -364443 lb | 0 0 0.00 | 768.34/768.57 c | 768.57 | 0 | -364442 lb | 0 0 0.00 | 771.44/771.64 c | 771.65 | 0 | -364441 lb | 0 0 0.00 | 774.54/774.79 c | 774.80 | 0 | -364440 lb | 0 0 0.00 | 776.65/776.81 c | 776.81 | 0 | -364439 lb | 0 0 0.00 | 778.65/778.88 c | 778.89 | 0 | -364438 lb | 0 0 0.00 | 781.24/781.41 c | 781.41 | 0 | -364437 lb | 0 0 0.00 | 784.25/784.46 c | 784.47 | 0 | -364436 lb | 0 0 0.00 | 785.25/785.40 c | 785.40 | 0 | -364435 lb | 0 0 0.00 | 789.25/789.48 c | 789.49 | 0 | -364434 lb | 0 0 0.00 | 793.54/793.70 c | 793.70 | 0 | -364433 lb | 0 0 0.00 | 797.54/797.72 c | 797.73 | 0 | -364432 lb | 0 0 0.00 | 801.65/801.83 c | 801.84 | 0 | -364431 lb | 0 0 0.00 | 805.74/805.97 c | 805.97 | 0 | -364430 lb | 0 0 0.00 | 808.24/808.47 c | 808.47 | 0 | -364429 lb | 0 0 0.00 | 810.73/810.97 c | 810.97 | 0 | -364428 lb | 0 0 0.00 | 813.24/813.48 c | 813.48 | 0 | -364427 lb | 0 0 0.00 | 816.64/816.83 c | 816.83 | 0 | -364426 lb | 0 0 0.00 | 818.24/818.46 c | 818.47 | 0 | -364425 lb | 0 0 0.00 | 822.73/822.94 c | 822.94 | 0 | -364424 lb | 0 0 0.00 | 827.33/827.54 c | 827.54 | 0 | -364423 lb | 0 0 0.00 | 829.33/829.54 c | 829.54 | 0 | -364422 lb | 0 0 0.00 | 832.22/832.48 c | 832.49 | 0 | -364421 lb | 0 0 0.00 | 835.23/835.48 c | 835.48 | 0 | -364420 lb | 0 0 0.00 | 839.04/839.23 c | 839.24 | 0 | -364419 lb | 0 0 0.00 | 845.53/845.73 c | 845.74 | 0 | -364418 lb | 0 0 0.00 | 848.33/848.50 c | 848.50 | 0 | -364417 lb | 0 0 0.00 | 852.23/852.46 c | 852.46 | 0 | -364416 lb | 0 0 0.00 | 854.32/854.60 c | 854.60 | 0 | -364415 lb | 0 0 0.00 | 857.22/857.40 c | 857.40 | 0 | -364414 lb | 0 0 0.00 | 859.22/859.46 c | 859.46 | 0 | -364413 lb | 0 0 0.00 | 861.13/861.32 c | 861.32 | 0 | -364412 lb | 0 0 0.00 | 863.82/864.04 c | 864.04 | 0 | -364410 lb | 0 0 0.00 | 868.51/868.73 c | 868.73 | 0 | -364409 lb | 0 0 0.00 | 872.52/872.71 c | 872.71 | 0 | -364408 lb | 0 0 0.00 | 874.72/874.96 c | 874.96 | 0 | -364407 lb | 0 0 0.00 | 879.72/879.96 c | 879.96 | 0 | -364406 lb | 0 0 0.00 | 882.21/882.46 c | 882.46 | 0 | -364405 lb | 0 0 0.00 | 885.51/885.76 c | 885.76 | 0 | -364404 lb | 0 0 0.00 | 888.31/888.54 c | 888.54 | 0 | -364403 lb | 0 0 0.00 | 890.71/891.00 c | 891.00 | 0 | -364402 lb | 0 0 0.00 | 894.60/894.89 c | 894.89 | 0 | -364401 lb | 0 0 0.00 | 896.80/897.02 c | 897.03 | 0 | -364400 lb | 0 0 0.00 | 899.31/899.56 c | 899.57 | 0 | -364399 lb | 0 0 0.00 | 904.70/904.90 c | 904.90 | 0 | -364398 lb | 0 0 0.00 | 907.90/908.12 c | 908.13 | 0 | -364397 lb | 0 0 0.00 | 910.40/910.70 c | 910.70 | 0 | -364396 lb | 0 0 0.00 | 913.80/914.08 c | 914.09 | 0 | -364395 lb | 0 0 0.00 | 917.20/917.48 c | 917.49 | 0 | -364394 lb | 0 0 0.00 | 919.49/919.77 c | 919.78 | 0 | -364393 lb | 0 0 0.00 | 922.00/922.20 c | 922.20 | 0 | -364392 lb | 0 0 0.00 | 926.79/927.06 c | 927.07 | 0 | -364391 lb | 0 0 0.00 | 930.19/930.44 c | 930.44 | 0 | -364389 lb | 0 0 0.00 | 932.39/932.65 c | 932.66 | 0 | -364388 lb | 0 0 0.00 | 935.39/935.68 c | 935.68 | 0 | -364387 lb | 0 0 0.00 | 940.30/940.57 c | 940.58 | 0 | -364386 lb | 0 0 0.00 | 943.69/943.90 c | 943.90 | 0 | -364385 lb | 0 0 0.00 | 946.80/947.05 c | 947.06 | 0 | -364384 lb | 0 0 0.00 | 949.99/950.21 c | 950.21 | 0 | -364383 lb | 0 0 0.00 | 952.49/952.76 c | 952.77 | 0 | -364382 lb | 0 0 0.00 | 955.69/955.93 c | 955.93 | 0 | -364381 lb | 0 0 0.00 | 958.18/958.44 c | 958.45 | 0 | -364380 lb | 0 0 0.00 | 960.48/960.76 c | 960.76 | 0 | -364379 lb | 0 0 0.00 | 962.98/963.21 c | 963.21 | 0 | -364378 lb | 0 0 0.00 | 964.18/964.47 c | 964.48 | 0 | -364377 lb | 0 0 0.00 | 967.89/968.18 c | 968.19 | 0 | -364376 lb | 0 0 0.00 | 971.98/972.30 c | 972.30 | 0 | -364375 lb | 0 0 0.00 | 974.68/974.99 c | 974.99 | 0 | -364374 lb | 0 0 0.00 | 978.38/978.60 c | 978.60 | 0 | -364373 lb | 0 0 0.00 | 980.79/981.06 c | 981.06 | 0 | -364372 lb | 0 0 0.00 | 982.38/982.68 c | 982.68 | 0 | -364371 lb | 0 0 0.00 | 986.18/986.45 c | 986.46 | 0 | -364370 lb | 0 0 0.00 | 990.89/991.14 c | 991.14 | 0 | -364369 lb | 0 0 0.00 | 993.28/993.57 c | 993.58 | 0 | -364368 lb | 0 0 0.00 | 996.98/997.25 c | 997.25 | 0 | -364367 lb | 0 0 0.00 | 999.07/999.32 c | 999.32 | 0 | -364366 lb | 0 0 0.00 | 1002.07/1002.36 c | 1002.37 | 0 | -364365 lb | 0 0 0.00 | 1004.88/1005.10 c | 1005.11 | 0 | -364364 lb | 0 0 0.00 | 1007.38/1007.69 c | 1007.69 | 0 | -364363 lb | 0 0 0.00 | 1009.58/1009.87 c | 1009.88 | 0 | -364362 lb | 0 0 0.00 | 1012.27/1012.50 c | 1012.50 | 0 | -364361 lb | 0 0 0.00 | 1014.88/1015.20 c | 1015.20 | 0 | -364360 lb | 0 0 0.00 | 1022.78/1023.06 c | 1023.07 | 0 | -364359 lb | 0 0 0.00 | 1026.08/1026.34 c | 1026.35 | 0 | -364358 lb | 0 0 0.00 | 1029.18/1029.47 c | 1029.47 | 0 | -364357 lb | 0 0 0.00 | 1032.17/1032.44 c | 1032.44 | 0 | -364356 lb | 0 0 0.00 | 1034.57/1034.85 c | 1034.85 | 0 | -364355 lb | 0 0 0.00 | 1038.17/1038.49 c | 1038.50 | 0 | -364354 lb | 0 0 0.00 | 1042.48/1042.78 c | 1042.78 | 0 | -364353 lb | 0 0 0.00 | 1045.27/1045.58 c | 1045.58 | 0 | -364352 lb | 0 0 0.00 | 1048.47/1048.79 c | 1048.79 | 0 | -364351 lb | 0 0 0.00 | 1051.28/1051.56 c | 1051.57 | 0 | -364350 lb | 0 0 0.00 | 1054.77/1055.08 c | 1055.08 | 0 | -364349 lb | 0 0 0.00 | 1058.86/1059.10 c | 1059.10 | 0 | -364348 lb | 0 0 0.00 | 1061.17/1061.46 c | 1061.47 | 0 | -364347 lb | 0 0 0.00 | 1063.87/1064.14 c | 1064.14 | 0 | -364346 lb | 0 0 0.00 | 1067.07/1067.37 c | 1067.38 | 0 | -364345 lb | 0 0 0.00 | 1069.37/1069.65 c | 1069.66 | 0 | -364344 lb | 0 0 0.00 | 1073.57/1073.86 c | 1073.87 | 0 | -364343 lb | 0 0 0.00 | 1076.37/1076.60 c | 1076.60 | 0 | -364342 lb | 0 0 0.00 | 1078.57/1078.84 c | 1078.84 | 0 | -364341 lb | 0 0 0.00 | 1080.97/1081.30 c | 1081.30 | 0 | -364339 lb | 0 0 0.00 | 1083.66/1083.94 c | 1083.94 | 0 | -364338 lb | 0 0 0.00 | 1087.57/1087.86 c | 1087.87 | 0 | -364337 lb | 0 0 0.00 | 1090.57/1090.80 c | 1090.80 | 0 | -364336 lb | 0 0 0.00 | 1093.47/1093.77 c | 1093.77 | 0 | -364335 lb | 0 0 0.00 | 1097.67/1097.98 c | 1097.98 | 0 | -364331 lb | 0 0 0.00 | 1101.56/1101.80 c | 1101.81 | 0 | -364330 lb | 0 0 0.00 | 1105.06/1105.37 c | 1105.37 | 0 | -364329 lb | 0 0 0.00 | 1108.76/1109.07 c | 1109.08 | 0 | -364328 lb | 0 0 0.00 | 1111.16/1111.44 c | 1111.44 | 0 | -364327 lb | 0 0 0.00 | 1113.46/1113.79 c | 1113.79 | 0 | -364326 lb | 0 0 0.00 | 1116.66/1116.98 c | 1116.98 | 0 | -364325 lb | 0 0 0.00 | 1118.96/1119.26 c | 1119.26 | 0 | -364324 lb | 0 0 0.00 | 1121.96/1122.28 c | 1122.28 | 0 | -364323 lb | 0 0 0.00 | 1124.36/1124.66 c | 1124.66 | 0 | -364322 lb | 0 0 0.00 | 1126.85/1127.12 c | 1127.12 | 0 | -364317 lb | 0 0 0.00 | 1129.66/1129.93 c | 1129.94 | 0 | -364316 lb | 0 0 0.00 | 1134.97/1135.24 c | 1135.24 | 0 | -364315 lb | 0 0 0.00 | 1139.76/1140.02 c | 1140.02 | 0 | -364314 lb | 0 0 0.00 | 1143.25/1143.54 c | 1143.54 | 0 | -364313 lb | 0 0 0.00 | 1170.25/1170.57 c | 1170.57 | 0 | -364312 lb | 0 0 0.00 | 1173.05/1173.33 c | 1173.33 | 0 | -364311 lb | 0 0 0.00 | 1175.66/1175.94 c | 1175.94 | 0 | -364310 lb | 0 0 0.00 | 1179.55/1179.85 c | 1179.85 | 0 | -364309 lb | 0 0 0.00 | 1185.35/1185.66 c | 1185.66 | 0 | -364308 lb | 0 0 0.00 | 1189.65/1189.91 c | 1189.92 | 0 | -364307 lb | 0 0 0.00 | 1195.94/1196.26 c | 1196.27 | 0 | -364306 lb | 0 0 0.00 | 1198.14/1198.43 c | 1198.43 | 0 | -364305 lb | 0 0 0.00 | 1203.25/1203.58 c | 1203.58 | 0 | -364304 lb | 0 0 0.00 | 1206.25/1206.52 c | 1206.52 | 0 | -364291 lb | 0 0 0.00 | 1208.65/1208.97 c | 1208.97 | 0 | -364290 lb | 0 0 0.00 | 1211.65/1211.98 c | 1211.98 | 0 | -364279 lb | 0 0 0.00 | 1213.75/1214.01 c | 1214.01 | 0 | -364278 lb | 0 0 0.00 | 1216.85/1217.10 c | 1217.11 | 0 | -364277 lb | 0 0 0.00 | 1222.34/1222.69 c | 1222.69 | 0 | -364276 lb | 0 0 0.00 | 1225.54/1225.89 c | 1225.90 | 0 | -364275 lb | 0 0 0.00 | 1228.55/1228.82 c | 1228.82 | 0 | -364274 lb | 0 0 0.00 | 1232.24/1232.57 c | 1232.57 | 0 | -364273 lb | 0 0 0.00 | 1235.64/1235.95 c | 1235.95 | 0 | -364272 lb | 0 0 0.00 | 1237.74/1238.06 c | 1238.06 | 0 | -364271 lb | 0 0 0.00 | 1242.24/1242.52 c | 1242.52 | 0 | -364270 lb | 0 0 0.00 | 1244.74/1245.09 c | 1245.09 | 0 | -364269 lb | 0 0 0.00 | 1247.94/1248.26 c | 1248.26 | 0 | -364268 lb | 0 0 0.00 | 1253.04/1253.34 c | 1253.34 | 0 | -364267 lb | 0 0 0.00 | 1259.15/1259.48 c | 1259.48 | 0 | -364266 lb | 0 0 0.00 | 1265.14/1265.40 c | 1265.41 | 0 | -364265 lb | 0 0 0.00 | 1274.64/1274.95 c | 1274.95 | 0 | -364264 lb | 0 0 0.00 | 1278.64/1278.97 c | 1278.97 | 0 | -364263 lb | 0 0 0.00 | 1282.44/1282.77 c | 1282.77 | 0 | -364262 lb | 0 0 0.00 | 1285.54/1285.89 c | 1285.89 | 0 | -364261 lb | 0 0 0.00 | 1292.44/1292.79 c | 1292.80 | 0 | -364260 lb | 0 0 0.00 | 1294.74/1295.07 c | 1295.08 | 0 | -364259 lb | 0 0 0.00 | 1299.04/1299.33 c | 1299.34 | 0 | -364258 lb | 0 0 0.00 | 1300.94/1301.20 c | 1301.20 | 0 | -364257 lb | 0 0 0.00 | 1303.44/1303.79 c | 1303.79 | 0 | -364256 lb | 0 0 0.00 | 1310.94/1311.24 c | 1311.24 | 0 | -364255 lb | 0 0 0.00 | 1314.93/1315.27 c | 1315.27 | 0 | -364254 lb | 0 0 0.00 | 1321.63/1321.98 c | 1321.99 | 0 | -364253 lb | 0 0 0.00 | 1325.23/1325.56 c | 1325.57 | 0 | -364252 lb | 0 0 0.00 | 1329.12/1329.45 c | 1329.46 | 0 | -364251 lb | 0 0 0.00 | 1333.03/1333.38 c | 1333.38 | 0 | -364250 lb | 0 0 0.00 | 1336.73/1337.06 c | 1337.07 | 0 | -364249 lb | 0 0 0.00 | 1340.23/1340.59 c | 1340.59 | 0 | -364248 lb | 0 0 0.00 | 1343.32/1343.69 c | 1343.70 | 0 | -364247 lb | 0 0 0.00 | 1348.72/1349.09 c | 1349.09 | 0 | -364246 lb | 0 0 0.00 | 1352.13/1352.40 c | 1352.40 | 0 | -364245 lb | 0 0 0.00 | 1356.32/1356.68 c | 1356.68 | 0 | -364244 lb | 0 0 0.00 | 1359.22/1359.51 c | 1359.52 | 0 | -364243 lb | 0 0 0.00 | 1362.13/1362.44 c | 1362.44 | 0 | -364242 lb | 0 0 0.00 | 1365.62/1365.99 c | 1366.00 | 0 | -364241 lb | 0 0 0.00 | 1369.82/1370.13 c | 1370.13 | 0 | -364240 lb | 0 0 0.00 | 1374.52/1374.86 c | 1374.86 | 0 | -364239 lb | 0 0 0.00 | 1378.03/1378.36 c | 1378.37 | 0 | -364238 lb | 0 0 0.00 | 1381.62/1381.98 c | 1381.98 | 0 | -364237 lb | 0 0 0.00 | 1386.21/1386.58 c | 1386.58 | 0 | -364236 lb | 0 0 0.00 | 1389.82/1390.13 c | 1390.14 | 0 | -364235 lb | 0 0 0.00 | 1394.02/1394.33 c | 1394.33 | 0 | -364234 lb | 0 0 0.00 | 1397.02/1397.39 c | 1397.40 | 0 | -364233 lb | 0 0 0.00 | 1399.72/1400.07 c | 1400.07 | 0 | -364232 lb | 0 0 0.00 | 1402.42/1402.76 c | 1402.76 | 0 | -364231 lb | 0 0 0.00 | 1404.91/1405.25 c | 1405.26 | 0 | -364230 lb | 0 0 0.00 | 1407.81/1408.16 c | 1408.16 | 0 | -364229 lb | 0 0 0.00 | 1410.11/1410.46 c | 1410.46 | 0 | -364228 lb | 0 0 0.00 | 1412.62/1412.98 c | 1412.98 | 0 | -364227 lb | 0 0 0.00 | 1416.12/1416.47 c | 1416.47 | 0 | -364226 lb | 0 0 0.00 | 1418.82/1419.18 c | 1419.18 | 0 | -364225 lb | 0 0 0.00 | 1421.82/1422.16 c | 1422.17 | 0 | -364218 lb | 0 0 0.00 | 1424.12/1424.47 c | 1424.47 | 0 | -364217 lb | 0 0 0.00 | 1429.31/1429.67 c | 1429.67 | 0 | -364216 lb | 0 0 0.00 | 1431.82/1432.12 c | 1432.12 | 0 | -364215 lb | 0 0 0.00 | 1434.31/1434.66 c | 1434.66 | 0 | -364214 lb | 0 0 0.00 | 1438.11/1438.43 c | 1438.43 | 0 | -364213 lb | 0 0 0.00 | 1441.11/1441.47 c | 1441.47 | 0 | -364212 lb | 0 0 0.00 | 1443.41/1443.76 c | 1443.77 | 0 | -364211 lb | 0 0 0.00 | 1525.60/1525.98 c | 1525.98 | 0 | -364210 lb | 0 0 0.00 | 1530.10/1530.44 c | 1530.45 | 0 | -364209 lb | 0 0 0.00 | 1532.70/1533.09 c | 1533.09 | 0 | -364208 lb | 0 0 0.00 | 1538.00/1538.39 c | 1538.39 | 0 | -364207 lb | 0 0 0.00 | 1543.90/1544.25 c | 1544.26 | 0 | -364206 lb | 0 0 0.00 | 1549.00/1549.38 c | 1549.38 | 0 | -364205 lb | 0 0 0.00 | 1552.90/1553.24 c | 1553.25 | 0 | -364204 lb | 0 0 0.00 | 1556.49/1556.83 c | 1556.83 | 0 | -364203 lb | 0 0 0.00 | 1562.00/1562.33 c | 1562.33 | 0 | -364202 lb | 0 0 0.00 | 1567.40/1567.78 c | 1567.79 | 0 | -364201 lb | 0 0 0.00 | 1571.19/1571.50 c | 1571.50 | 0 | -364200 lb | 0 0 0.00 | 1575.49/1575.82 c | 1575.83 | 0 | -364199 lb | 0 0 0.00 | 1580.30/1580.69 c | 1580.69 | 0 | -364198 lb | 0 0 0.00 | 1583.89/1584.25 c | 1584.25 | 0 | -364197 lb | 0 0 0.00 | 1587.99/1588.30 c | 1588.31 | 0 | -364196 lb | 0 0 0.00 | 1596.28/1596.63 c | 1596.64 | 0 | -364195 lb | 0 0 0.00 | 1599.19/1599.57 c | 1599.57 | 0 | -364194 lb | 0 0 0.00 | 1601.20/1601.53 c | 1601.53 | 0 | -364193 lb | 0 0 0.00 | 1602.69/1603.01 c | 1603.01 | 0 | -364192 lb | 0 0 0.00 | 1605.09/1605.43 c | 1605.43 | 0 | -364191 lb | 0 0 0.00 | 1607.79/1608.16 c | 1608.16 | 0 | -364190 lb | 0 0 0.00 | 1610.88/1611.25 c | 1611.25 | 0 | -364189 lb | 0 0 0.00 | 1613.88/1614.23 c | 1614.23 | 0 | -364188 lb | 0 0 0.00 | 1617.99/1618.35 c | 1618.35 | 0 | -364187 lb | 0 0 0.00 | 1621.48/1621.88 c | 1621.88 | 0 | -364186 lb | 0 0 0.00 | 1627.48/1627.85 c | 1627.85 | 0 | -364185 lb | 0 0 0.00 | 1630.78/1631.12 c | 1631.12 | 0 | -364184 lb | 0 0 0.00 | 1633.48/1633.81 c | 1633.81 | 0 | -364183 lb | 0 0 0.00 | 1636.48/1636.83 c | 1636.84 | 0 | -364182 lb | 0 0 0.00 | 1639.48/1639.87 c | 1639.88 | 0 | -364181 lb | 0 0 0.00 | 1644.68/1645.04 c | 1645.04 | 0 | -364180 lb | 0 0 0.00 | 1647.07/1647.49 c | 1647.49 | 0 | -364179 lb | 0 0 0.00 | 1649.58/1649.94 c | 1649.94 | 0 | -364178 lb | 0 0 0.00 | 1652.07/1652.42 c | 1652.42 | 0 | -364177 lb | 0 0 0.00 | 1654.37/1654.77 c | 1654.77 | 0 | -364174 lb | 0 0 0.00 | 1656.78/1657.11 c | 1657.11 | 0 | -364173 lb | 0 0 0.00 | 1659.67/1660.02 c | 1660.03 | 0 | -364172 lb | 0 0 0.00 | 1661.87/1662.26 c | 1662.26 | 0 | -364171 lb | 0 0 0.00 | 1665.17/1665.51 c | 1665.51 | 0 | -364170 lb | 0 0 0.00 | 1669.37/1669.73 c | 1669.73 | 0 | -364169 lb | 0 0 0.00 | 1672.27/1672.64 c | 1672.65 | 0 | -364168 lb | 0 0 0.00 | 1677.18/1677.54 c | 1677.54 | 0 | -364167 lb | 0 0 0.00 | 1680.07/1680.47 c | 1680.48 | 0 | -364165 lb | 0 0 0.00 | 1685.67/1686.02 c | 1686.02 | 0 | -364164 lb | 0 0 0.00 | 1692.17/1692.54 c | 1692.54 | 0 | -364163 lb | 0 0 0.00 | 1698.26/1698.60 c | 1698.61 | 0 | -364162 lb | 0 0 0.00 | 1700.66/1701.06 c | 1701.07 | 0 | -364161 lb | 0 0 0.00 | 1704.47/1704.87 c | 1704.87 | 0 | -364160 lb | 0 0 0.00 | 1706.66/1707.10 c | 1707.10 | 0 | -364159 lb | 0 0 0.00 | 1710.17/1710.53 c | 1710.54 | 0 | -364158 lb | 0 0 0.00 | 1713.46/1713.89 c | 1713.89 | 0 | -364157 lb | 0 0 0.00 | 1716.36/1716.79 c | 1716.80 | 0 | -364156 lb | 0 0 0.00 | 1720.35/1720.72 c | 1720.72 | 0 | -364155 lb | 0 0 0.00 | 1722.65/1723.01 c | 1723.01 | 0 | -364154 lb | 0 0 0.00 | 1727.46/1727.88 c | 1727.88 | 0 | -364153 lb | 0 0 0.00 | 1734.05/1734.46 c | 1734.46 | 0 | -364152 lb | 0 0 0.00 | 1740.86/1741.25 c | 1741.26 | 0 | -364151 lb | 0 0 0.00 | 1743.06/1743.46 c | 1743.47 | 0 | -364150 lb | 0 0 0.00 | 1751.75/1752.15 c | 1752.15 | 0 | -364149 lb | 0 0 0.00 | 1754.16/1754.52 c | 1754.53 | 0 | -364148 lb | 0 0 0.00 | 1757.25/1757.66 c | 1757.67 | 0 | -364147 lb | 0 0 0.00 | 1759.65/1760.01 c | 1760.01 | 0 | -364146 lb | 0 0 0.00 | 1761.75/1762.19 c | 1762.20 | 0 | -364145 lb | 0 0 0.00 | 1764.06/1764.46 c | 1764.47 | 0 | -364144 lb | 0 0 0.00 | 1767.85/1768.29 c | 1768.30 | 0 | -364143 lb | 0 0 0.00 | 1770.75/1771.11 c | 1771.11 | 0 | -364142 lb | 0 0 0.00 | 1774.14/1774.59 c | 1774.60 | 0 | -364141 lb | 0 0 0.00 | 1778.35/1778.74 c | 1778.74 | 0 | -364140 lb | 0 0 0.00 | 1781.44/1781.80 c | 1781.80 | 0 | -364139 lb | 0 0 0.00 | 1783.64/1784.03 c | 1784.04 | 0 | -364138 lb | 0 0 0.00 | 1785.94/1786.33 c | 1786.33 | 0 | -364137 lb | 0 0 0.00 | 1788.04/1788.41 c | 1788.42 | 0 | -364136 lb | 0 0 0.00 | 1790.64/1791.00 c | 1791.00 | 0 | -364133 lb | 0 0 0.00 | 1793.24/1793.67 c | 1793.68 | 0 | -364132 lb | 0 0 0.00 | 1796.64/1797.09 c | 1797.10 | 0 | -364131 lb | 0 0 0.00 | 1799.63/1800.01 c =============================================================================== 1799.63/1800.01 c Wall Clock Time: 1800.02 s 1799.63/1800.01 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-3705595-1338161096/watcher-3705595-1338161096 -o /tmp/evaluation-result-3705595-1338161096/solver-3705595-1338161096 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705595-1338161096.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 2/176 15486 /proc/meminfo: memFree=30904484/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=31488 CPUtime=0 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) R 15484 15486 15230 0 -1 4202496 505 0 0 0 0 0 0 0 20 0 1 0 282238288 32243712 457 33554432000 4194304 5963574 140734563585760 140735270022040 5301799 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 7872 457 172 432 0 545 0 [startup+0.091671 s] /proc/loadavg: 2.00 2.00 2.00 2/176 15486 /proc/meminfo: memFree=30904484/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=41524 CPUtime=0.08 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) R 15484 15486 15230 0 -1 4202496 3000 0 0 0 8 0 0 0 20 0 1 0 282238288 42520576 2903 33554432000 4194304 5963574 140734563585760 140735270022040 5159036 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 10381 2905 443 432 0 3054 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 41524 [startup+0.100294 s] /proc/loadavg: 2.00 2.00 2.00 2/176 15486 /proc/meminfo: memFree=30904484/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=42044 CPUtime=0.09 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) R 15484 15486 15230 0 -1 4202496 3220 0 0 0 9 0 0 0 20 0 1 0 282238288 43053056 3058 33554432000 4194304 5963574 140734563585760 140735270022040 4352784 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 10511 3059 467 432 0 3184 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42044 [startup+0.300215 s] /proc/loadavg: 2.00 2.00 2.00 2/176 15486 /proc/meminfo: memFree=30904484/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=53152 CPUtime=0.29 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) R 15484 15486 15230 0 -1 4202496 6847 0 0 0 28 1 0 0 20 0 1 0 282238288 54427648 6548 33554432000 4194304 5963574 140734563585760 140734563584184 5155378 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 13288 6548 1054 432 0 5961 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 53152 [startup+0.700219 s] /proc/loadavg: 2.00 2.00 2.00 2/176 15486 /proc/meminfo: memFree=30904484/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=85780 CPUtime=0.69 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) R 15484 15486 15230 0 -1 4202496 15851 0 0 0 66 3 0 0 20 0 1 0 282238288 87838720 14894 33554432000 4194304 5963574 140734563585760 140734563584184 5138264 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 21445 14894 2209 432 0 14118 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 85780 [startup+1.50022 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15488 /proc/meminfo: memFree=30765424/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=145352 CPUtime=1.49 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) R 15484 15486 15230 0 -1 4202496 30495 0 0 0 144 5 0 0 20 0 1 0 282238288 148840448 30016 33554432000 4194304 5963574 140734563585760 140734563584104 4344567 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 36338 30016 4120 432 0 29011 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 145352 [startup+3.10031 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15488 /proc/meminfo: memFree=30457740/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=293140 CPUtime=3.08 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 64868 0 0 0 297 11 0 0 20 0 2 0 282238288 300175360 64080 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 73285 64080 177 432 0 72850 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 293140 [startup+6.30032 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15489 /proc/meminfo: memFree=30059524/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=565660 CPUtime=6.29 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 114132 0 0 0 607 22 0 0 20 0 2 0 282238288 579235840 129175 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 141415 129175 194 432 0 140980 0 [pid=15486/tid=15489] ppid=15484 vsize=565660 CPUtime=3.35 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 67611 0 0 0 321 14 0 0 20 0 2 0 282238582 579235840 129175 33554432000 4194304 5963574 140734563585760 140026761079128 5141661 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 565660 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15489 /proc/meminfo: memFree=30031788/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=631196 CPUtime=12.69 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 117349 0 0 0 1244 25 0 0 20 0 2 0 282238288 646344704 138041 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 157799 138041 195 432 0 157364 0 [pid=15486/tid=15489] ppid=15484 vsize=631196 CPUtime=9.75 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 70828 0 0 0 958 17 0 0 20 0 2 0 282238582 646344704 138041 33554432000 4194304 5963574 140734563585760 140026761079320 4418639 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 631196 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15489 /proc/meminfo: memFree=29976532/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=631196 CPUtime=25.48 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 124354 0 0 0 2519 29 0 0 20 0 2 0 282238288 646344704 144359 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 157799 144359 196 432 0 157364 0 [pid=15486/tid=15489] ppid=15484 vsize=631196 CPUtime=22.55 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 77833 0 0 0 2233 22 0 0 20 0 2 0 282238582 646344704 144359 33554432000 4194304 5963574 140734563585760 140026761079624 5138318 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 631196 [startup+51.1003 s] /proc/loadavg: 2.06 2.01 2.00 3/179 15489 /proc/meminfo: memFree=29878436/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=778788 CPUtime=51.08 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 147637 0 0 0 5069 39 0 0 20 0 2 0 282238288 797478912 171676 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 194697 171676 196 432 0 194262 0 [pid=15486/tid=15489] ppid=15484 vsize=778788 CPUtime=48.15 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 101116 0 0 0 4784 31 0 0 20 0 2 0 282238582 797478912 171676 33554432000 4194304 5963574 140734563585760 140026761079128 5129994 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 778788 [startup+102.307 s] /proc/loadavg: 2.02 2.01 2.00 3/179 15490 /proc/meminfo: memFree=29687644/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=909860 CPUtime=102.28 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 167168 0 0 0 10179 49 0 0 20 0 2 0 282238288 931696640 208383 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 227465 208383 197 432 0 227030 0 [pid=15486/tid=15489] ppid=15484 vsize=909860 CPUtime=99.36 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 120647 0 0 0 9894 42 0 0 20 0 2 0 282238582 931696640 208383 33554432000 4194304 5963574 140734563585760 140026761079320 5141661 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 909860 [startup+162.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 15490 /proc/meminfo: memFree=29579624/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=975396 CPUtime=162.26 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 190130 0 0 0 16167 59 0 0 20 0 2 0 282238288 998805504 220284 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 243849 220284 197 432 0 243414 0 [pid=15486/tid=15489] ppid=15484 vsize=975396 CPUtime=159.35 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 143609 0 0 0 15881 54 0 0 20 0 2 0 282238582 998805504 220284 33554432000 4194304 5963574 140734563585760 140026761079624 4402903 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 975396 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15490 /proc/meminfo: memFree=29509756/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=1040932 CPUtime=222.26 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 209934 0 0 0 22159 67 0 0 20 0 2 0 282238288 1065914368 241976 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 260233 241976 197 432 0 259798 0 [pid=15486/tid=15489] ppid=15484 vsize=1040932 CPUtime=219.36 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 163413 0 0 0 21874 62 0 0 20 0 2 0 282238582 1065914368 241976 33554432000 4194304 5963574 140734563585760 140026761079624 4400164 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 1040932 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15490 /proc/meminfo: memFree=29392516/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=1128424 CPUtime=282.25 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 217077 0 0 0 28152 73 0 0 20 0 2 0 282238288 1155506176 263730 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 282106 263730 197 432 0 281671 0 [pid=15486/tid=15489] ppid=15484 vsize=1128424 CPUtime=279.36 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 170556 0 0 0 27867 69 0 0 20 0 2 0 282238582 1155506176 263730 33554432000 4194304 5963574 140734563585760 140026761079112 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 1128424 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 15493 /proc/meminfo: memFree=29386796/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=1155600 CPUtime=342.24 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 231710 0 0 0 34143 81 0 0 20 0 2 0 282238288 1183334400 265495 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 288900 265495 197 432 0 288465 0 [pid=15486/tid=15489] ppid=15484 vsize=1155600 CPUtime=339.36 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 185189 0 0 0 33858 78 0 0 20 0 2 0 282238582 1183334400 265495 33554432000 4194304 5963574 140734563585760 140026761079128 4392243 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 1155600 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15494 /proc/meminfo: memFree=29351408/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=1172004 CPUtime=402.23 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 249840 0 0 0 40136 87 0 0 20 0 2 0 282238288 1200132096 273742 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 293001 273742 197 432 0 292566 0 [pid=15486/tid=15489] ppid=15484 vsize=1172004 CPUtime=399.37 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 203319 0 0 0 39852 85 0 0 20 0 2 0 282238582 1200132096 273742 33554432000 4194304 5963574 140734563585760 140026761079624 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 1172004 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15494 /proc/meminfo: memFree=29282252/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=1237540 CPUtime=462.22 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 259677 0 0 0 46131 91 0 0 20 0 2 0 282238288 1267240960 287138 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 309385 287138 197 432 0 308950 0 [pid=15486/tid=15489] ppid=15484 vsize=1237540 CPUtime=459.37 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 213156 0 0 0 45848 89 0 0 20 0 2 0 282238582 1267240960 287138 33554432000 4194304 5963574 140734563585760 140026761079320 4388665 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 ################ # More data... # ################ /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 400183 0 0 0 129754 181 0 0 20 0 2 0 282238582 1988640768 442827 33554432000 4194304 5963574 140734563585760 140026761079320 4390404 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 1942032 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15500 /proc/meminfo: memFree=28487676/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=2032176 CPUtime=1362.03 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 449428 0 0 0 136030 173 0 0 20 0 2 0 282238288 2080948224 458106 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 508044 458106 197 432 0 507609 0 [pid=15486/tid=15489] ppid=15484 vsize=2032176 CPUtime=1359.35 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 402907 0 0 0 135750 185 0 0 20 0 2 0 282238582 2080948224 458106 33554432000 4194304 5963574 140734563585760 140026761079624 4402879 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.03 Current children cumulated vsize (KiB) 2032176 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15500 /proc/meminfo: memFree=28434740/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=2097712 CPUtime=1422.02 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 453624 0 0 0 142025 177 0 0 20 0 2 0 282238288 2148057088 471402 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 524428 471402 197 432 0 523993 0 [pid=15486/tid=15489] ppid=15484 vsize=2097712 CPUtime=1419.36 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 407103 0 0 0 141746 190 0 0 20 0 2 0 282238582 2148057088 471402 33554432000 4194304 5963574 140734563585760 140026761079624 4444334 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1422.02 Current children cumulated vsize (KiB) 2097712 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15500 /proc/meminfo: memFree=28397940/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=2163248 CPUtime=1482.01 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 454157 0 0 0 148023 178 0 0 20 0 2 0 282238288 2215165952 480612 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 540812 480612 197 432 0 540377 0 [pid=15486/tid=15489] ppid=15484 vsize=2163248 CPUtime=1479.36 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 407636 0 0 0 147744 192 0 0 20 0 2 0 282238582 2215165952 480612 33554432000 4194304 5963574 140734563585760 140026761079128 4402879 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1482.01 Current children cumulated vsize (KiB) 2163248 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/180 15503 /proc/meminfo: memFree=28396752/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=2163248 CPUtime=1542 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 454690 0 0 0 154021 179 0 0 20 0 2 0 282238288 2215165952 480839 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 540812 480839 197 432 0 540377 0 [pid=15486/tid=15489] ppid=15484 vsize=2163248 CPUtime=1539.36 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 408169 0 0 0 153742 194 0 0 20 0 2 0 282238582 2215165952 480839 33554432000 4194304 5963574 140734563585760 140026761079128 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 2163248 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15503 /proc/meminfo: memFree=28386328/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=2228784 CPUtime=1601.99 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 458576 0 0 0 160016 183 0 0 20 0 2 0 282238288 2282274816 488004 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 557196 488004 197 432 0 556761 0 [pid=15486/tid=15489] ppid=15484 vsize=2228784 CPUtime=1599.36 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 412055 0 0 0 159737 199 0 0 20 0 2 0 282238582 2282274816 488004 33554432000 4194304 5963574 140734563585760 140026761079080 4399451 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 2228784 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15504 /proc/meminfo: memFree=28312528/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=2294320 CPUtime=1661.97 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 459668 0 0 0 166012 185 0 0 20 0 2 0 282238288 2349383680 501856 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 573580 501856 197 432 0 573145 0 [pid=15486/tid=15489] ppid=15484 vsize=2294320 CPUtime=1659.36 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 413147 0 0 0 165734 202 0 0 20 0 2 0 282238582 2349383680 501856 33554432000 4194304 5963574 140734563585760 140026761079080 4394809 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.97 Current children cumulated vsize (KiB) 2294320 [startup+1722.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 15504 /proc/meminfo: memFree=28311876/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=2294320 CPUtime=1721.95 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 461852 0 0 0 172008 187 0 0 20 0 2 0 282238288 2349383680 501888 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 573580 501888 197 432 0 573145 0 [pid=15486/tid=15489] ppid=15484 vsize=2294320 CPUtime=1719.36 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 415331 0 0 0 171730 206 0 0 20 0 2 0 282238582 2349383680 501888 33554432000 4194304 5963574 140734563585760 140026761079624 4388360 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.95 Current children cumulated vsize (KiB) 2294320 [startup+1782.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 15504 /proc/meminfo: memFree=28246320/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=2359856 CPUtime=1781.94 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 463468 0 0 0 178003 191 0 0 20 0 2 0 282238288 2416492544 518256 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 589964 518256 197 432 0 589529 0 [pid=15486/tid=15489] ppid=15484 vsize=2359856 CPUtime=1779.36 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 416947 0 0 0 177726 210 0 0 20 0 2 0 282238582 2416492544 518256 33554432000 4194304 5963574 140734563585760 140026761079320 5130146 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 2359856 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.06 2.02 2.00 3/179 15504 /proc/meminfo: memFree=28256244/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=2359856 CPUtime=1791.55 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 464143 0 0 0 178963 192 0 0 20 0 2 0 282238288 2416492544 515735 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 589964 515735 197 432 0 589529 0 [pid=15486/tid=15489] ppid=15484 vsize=2359856 CPUtime=1788.96 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 417622 0 0 0 178685 211 0 0 20 0 2 0 282238582 2416492544 515735 33554432000 4194304 5963574 140734563585760 140026761079624 5134809 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (KiB) 2359856 [startup+1795.1 s] /proc/loadavg: 2.13 2.04 2.01 3/179 15504 /proc/meminfo: memFree=28221244/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=2425392 CPUtime=1794.74 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 464820 0 0 0 179282 192 0 0 20 0 2 0 282238288 2483601408 524588 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 606348 524588 197 432 0 605913 0 [pid=15486/tid=15489] ppid=15484 vsize=2425392 CPUtime=1792.16 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 418299 0 0 0 179004 212 0 0 20 0 2 0 282238582 2483601408 524588 33554432000 4194304 5963574 140734563585760 140026761079080 4388706 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1794.74 Current children cumulated vsize (KiB) 2425392 [startup+1798.3 s] /proc/loadavg: 2.12 2.04 2.01 3/179 15504 /proc/meminfo: memFree=28221244/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=2359856 CPUtime=1797.93 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 464820 0 0 0 179601 192 0 0 20 0 2 0 282238288 2416492544 519979 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 589964 519979 197 432 0 589529 0 [pid=15486/tid=15489] ppid=15484 vsize=2359856 CPUtime=1795.36 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 418299 0 0 0 179324 212 0 0 20 0 2 0 282238582 2416492544 519979 33554432000 4194304 5963574 140734563585760 140026761079624 4403231 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 2359856 [startup+1799.1 s] /proc/loadavg: 2.12 2.04 2.01 3/175 15532 /proc/meminfo: memFree=28972488/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=2359856 CPUtime=1798.73 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 464823 0 0 0 179681 192 0 0 20 0 2 0 282238288 2416492544 519979 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 589964 519979 197 432 0 589529 0 [pid=15486/tid=15489] ppid=15484 vsize=2359856 CPUtime=1796.15 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 418302 0 0 0 179403 212 0 0 20 0 2 0 282238582 2416492544 519979 33554432000 4194304 5963574 140734563585760 140026761079624 4388621 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1798.73 Current children cumulated vsize (KiB) 2359856 [startup+1799.5 s] /proc/loadavg: 2.12 2.04 2.01 3/178 15542 /proc/meminfo: memFree=28910456/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=2359856 CPUtime=1799.14 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 464823 0 0 0 179722 192 0 0 20 0 2 0 282238288 2416492544 519979 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 589964 519979 197 432 0 589529 0 [pid=15486/tid=15489] ppid=15484 vsize=2359856 CPUtime=1796.56 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 418302 0 0 0 179444 212 0 0 20 0 2 0 282238582 2416492544 519979 33554432000 4194304 5963574 140734563585760 140026761079624 4388621 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.14 Current children cumulated vsize (KiB) 2359856 [startup+1799.9 s] /proc/loadavg: 2.12 2.04 2.01 3/178 15542 /proc/meminfo: memFree=28910456/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=2359856 CPUtime=1799.53 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 464823 0 0 0 179761 192 0 0 20 0 2 0 282238288 2416492544 519979 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 589964 519979 197 432 0 589529 0 [pid=15486/tid=15489] ppid=15484 vsize=2359856 CPUtime=1796.95 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 418302 0 0 0 179483 212 0 0 20 0 2 0 282238582 2416492544 519979 33554432000 4194304 5963574 140734563585760 140026761079624 4403253 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (KiB) 2359856 [startup+1800 s] /proc/loadavg: 2.12 2.04 2.01 3/178 15542 /proc/meminfo: memFree=28910456/32873844 swapFree=7108/7108 [pid=15486] ppid=15484 vsize=2359856 CPUtime=1799.63 cores=0,2,4,6 /proc/15486/stat : 15486 (wbo1.7) S 15484 15486 15230 0 -1 4202496 464823 0 0 0 179771 192 0 0 20 0 2 0 282238288 2416492544 519979 33554432000 4194304 5963574 140734563585760 140734563585280 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/15486/statm: 589964 519979 197 432 0 589529 0 [pid=15486/tid=15489] ppid=15484 vsize=2359856 CPUtime=1797.05 cores=0,2,4,6 /proc/15486/task/15489/stat : 15489 (wbo1.7) R 15484 15486 15230 0 -1 4202560 418302 0 0 0 179493 212 0 0 20 0 2 0 282238582 2416492544 519979 33554432000 4194304 5963574 140734563585760 140026761079624 4403253 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1799.63 Current children cumulated vsize (KiB) 2359856 Child status: 255 Real time (s): 1800.04 CPU time (s): 1800.04 CPU user time (s): 1797.81 CPU system time (s): 2.23566 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 2425392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.81 system time used= 2.23566 maximum resident set size= 2098352 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 464823 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= 93 involuntary context switches= 1841 runsolver used 5.65414 second user time and 19.863 second system time The end
Begin job on node103 at 2012-05-28 01:24:57 IDJOB=3705595 IDBENCH=90934 IDSOLVER=2283 FILE ID=node103/3705595-1338161096 RUNJOBID= node103-1338157493-15246 PBS_JOBID= 14624530 Free space on /tmp= 71516 MiB SOLVER NAME= wbo 1.7 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_50null20mast_rapportOE2.0_TMAX60_K192_cod2.opb COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705595-1338161096/watcher-3705595-1338161096 -o /tmp/evaluation-result-3705595-1338161096/solver-3705595-1338161096 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705595-1338161096.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6f3eb6421078a0de6a5b5f585e0aca61 RANDOM SEED=300307666 node103.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.189 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 : 5332.37 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.189 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.189 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.92 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.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.189 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.189 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 : 5411.36 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.189 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.189 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30904484 kB Buffers: 347228 kB Cached: 642884 kB SwapCached: 4508 kB Active: 793716 kB Inactive: 338276 kB Active(anon): 137848 kB Inactive(anon): 6220 kB Active(file): 655868 kB Inactive(file): 332056 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67099564 kB Dirty: 66168 kB Writeback: 0 kB AnonPages: 139276 kB Mapped: 31592 kB Shmem: 8 kB Slab: 695860 kB SReclaimable: 137164 kB SUnreclaim: 558696 kB KernelStack: 1448 kB PageTables: 4284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 271908 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 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= 71508 MiB End job on node103 at 2012-05-28 01:54:57