| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.7 | ? | 1800.01 | 1800.12 |
| Name | /OPT-SMALLINT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null50mast_rapportOE1.0_TMAX15_K192_cod2.opb |
| MD5SUM | bddfe521cf91a77d0e4de5a51a3aa343 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -1051 |
| Best CPU time to get the best result obtained on this benchmark | 1800.29 |
| 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 | 1427 |
| 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 | 914879 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 1024 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 914879 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-3705593-1338165438.opb. 0.00/0.00 c Instance file HOME/instance-3705593-1338165438.opb 0.00/0.00 c File size is 28233149 bytes. 2.99/3.06 c Cost Offset: -914879 2.99/3.06 c Highest Coefficient sum: 64649 2.99/3.07 c ============================[ Problem Statistics ]============================= 2.99/3.07 c | | 2.99/3.07 c | Parsing time: 3.07 s | 2.99/3.07 c | Number Variables: 400896 | 2.99/3.07 c | Number Clauses: 400785 | 2.99/3.07 c | Number Cardinality: 1977 | 2.99/3.07 c | Number PB Constraints: 1 | 2.99/3.07 c | | 3.29/3.36 c | Problem Type: Optimization | 3.29/3.36 c | Objective Function: PB Constraint | 3.29/3.36 c | | 3.29/3.36 c ============================[ Search Statistics ]============================== 3.29/3.36 c | Time (s) | ID | Bound | Shared Clauses | 3.29/3.36 c | | | value type | expCls impCls Lit/impCl | 3.29/3.36 c =============================================================================== 3.89/3.90 c | 3.90 | 0 | -914878 lb | 0 0 0.00 | 4.29/4.39 c | 4.40 | 0 | -914877 lb | 0 0 0.00 | 4.78/4.85 c | 4.86 | 0 | -914875 lb | 0 0 0.00 | 5.28/5.30 c | 5.30 | 0 | -914871 lb | 0 0 0.00 | 5.69/5.75 c | 5.76 | 0 | -914863 lb | 0 0 0.00 | 6.18/6.21 c | 6.22 | 0 | -914847 lb | 0 0 0.00 | 6.59/6.68 c | 6.68 | 0 | -914815 lb | 0 0 0.00 | 7.09/7.15 c | 7.15 | 0 | -914751 lb | 0 0 0.00 | 7.59/7.61 c | 7.62 | 0 | -914623 lb | 0 0 0.00 | 8.09/8.10 c | 8.10 | 0 | -913855 lb | 0 0 0.00 | 8.79/8.89 c | 8.89 | 0 | -913854 lb | 0 0 0.00 | 9.69/9.70 c | 9.71 | 0 | -913853 lb | 0 0 0.00 | 10.49/10.50 c | 10.51 | 0 | -913852 lb | 0 0 0.00 | 11.29/11.35 c | 11.35 | 0 | -913851 lb | 0 0 0.00 | 12.09/12.17 c | 12.17 | 0 | -913850 lb | 0 0 0.00 | 12.98/13.00 c | 13.00 | 0 | -913849 lb | 0 0 0.00 | 13.78/13.83 c | 13.83 | 0 | -913848 lb | 0 0 0.00 | 14.58/14.69 c | 14.70 | 0 | -913847 lb | 0 0 0.00 | 15.48/15.52 c | 15.52 | 0 | -913846 lb | 0 0 0.00 | 16.28/16.39 c | 16.39 | 0 | -913845 lb | 0 0 0.00 | 17.19/17.22 c | 17.23 | 0 | -913842 lb | 0 0 0.00 | 17.99/18.08 c | 18.09 | 0 | -913841 lb | 0 0 0.00 | 18.89/18.94 c | 18.94 | 0 | -913840 lb | 0 0 0.00 | 19.80/19.80 c | 19.81 | 0 | -913839 lb | 0 0 0.00 | 20.59/20.64 c | 20.64 | 0 | -913838 lb | 0 0 0.00 | 21.48/21.50 c | 21.50 | 0 | -913835 lb | 0 0 0.00 | 22.28/22.34 c | 22.34 | 0 | -913834 lb | 0 0 0.00 | 23.18/23.21 c | 23.21 | 0 | -913830 lb | 0 0 0.00 | 23.98/24.06 c | 24.06 | 0 | -913829 lb | 0 0 0.00 | 24.88/24.95 c | 24.95 | 0 | -913828 lb | 0 0 0.00 | 25.79/25.81 c | 25.81 | 0 | -913827 lb | 0 0 0.00 | 26.69/26.70 c | 26.71 | 0 | -913826 lb | 0 0 0.00 | 27.49/27.58 c | 27.58 | 0 | -913825 lb | 0 0 0.00 | 28.39/28.48 c | 28.48 | 0 | -913824 lb | 0 0 0.00 | 29.28/29.35 c | 29.35 | 0 | -913823 lb | 0 0 0.00 | 30.18/30.25 c | 30.25 | 0 | -913822 lb | 0 0 0.00 | 31.08/31.12 c | 31.12 | 0 | -913821 lb | 0 0 0.00 | 31.98/32.01 c | 32.01 | 0 | -913819 lb | 0 0 0.00 | 32.89/32.90 c | 32.91 | 0 | -913818 lb | 0 0 0.00 | 33.68/33.79 c | 33.80 | 0 | -913817 lb | 0 0 0.00 | 34.59/34.69 c | 34.69 | 0 | -913816 lb | 0 0 0.00 | 35.59/35.63 c | 35.63 | 0 | -913815 lb | 0 0 0.00 | 36.48/36.53 c | 36.53 | 0 | -913813 lb | 0 0 0.00 | 37.39/37.43 c | 37.44 | 0 | -913812 lb | 0 0 0.00 | 38.28/38.33 c | 38.33 | 0 | -913810 lb | 0 0 0.00 | 39.18/39.24 c | 39.24 | 0 | -913807 lb | 0 0 0.00 | 40.09/40.13 c | 40.14 | 0 | -913806 lb | 0 0 0.00 | 40.99/41.05 c | 41.05 | 0 | -913805 lb | 0 0 0.00 | 41.88/41.95 c | 41.96 | 0 | -913804 lb | 0 0 0.00 | 42.79/42.88 c | 42.88 | 0 | -913801 lb | 0 0 0.00 | 43.68/43.79 c | 43.79 | 0 | -913800 lb | 0 0 0.00 | 44.68/44.70 c | 44.70 | 0 | -913798 lb | 0 0 0.00 | 45.58/45.61 c | 45.61 | 0 | -913795 lb | 0 0 0.00 | 46.48/46.54 c | 46.55 | 0 | -913792 lb | 0 0 0.00 | 47.38/47.46 c | 47.47 | 0 | -913790 lb | 0 0 0.00 | 48.39/48.45 c | 48.45 | 0 | -913789 lb | 0 0 0.00 | 49.38/49.47 c | 49.48 | 0 | -913767 lb | 0 0 0.00 | 50.38/50.49 c | 50.49 | 0 | -913766 lb | 0 0 0.00 | 51.38/51.46 c | 51.46 | 0 | -913765 lb | 0 0 0.00 | 52.28/52.36 c | 52.37 | 0 | -913764 lb | 0 0 0.00 | 53.28/53.31 c | 53.31 | 0 | -913763 lb | 0 0 0.00 | 54.18/54.24 c | 54.24 | 0 | -913762 lb | 0 0 0.00 | 55.08/55.18 c | 55.19 | 0 | -913760 lb | 0 0 0.00 | 56.08/56.12 c | 56.12 | 0 | -913759 lb | 0 0 0.00 | 57.08/57.12 c | 57.13 | 0 | -913757 lb | 0 0 0.00 | 58.08/58.18 c | 58.18 | 0 | -913751 lb | 0 0 0.00 | 59.18/59.22 c | 59.22 | 0 | -913641 lb | 0 0 0.00 | 60.17/60.20 c | 60.20 | 0 | -913640 lb | 0 0 0.00 | 61.07/61.13 c | 61.14 | 0 | -913639 lb | 0 0 0.00 | 62.08/62.11 c | 62.11 | 0 | -913638 lb | 0 0 0.00 | 62.98/63.06 c | 63.06 | 0 | -913637 lb | 0 0 0.00 | 63.98/64.03 c | 64.03 | 0 | -913636 lb | 0 0 0.00 | 64.98/65.00 c | 65.00 | 0 | -913635 lb | 0 0 0.00 | 65.89/65.98 c | 65.98 | 0 | -913634 lb | 0 0 0.00 | 66.98/67.01 c | 67.02 | 0 | -913087 lb | 0 0 0.00 | 68.08/68.17 c | 68.17 | 0 | -913086 lb | 0 0 0.00 | 69.19/69.23 c | 69.23 | 0 | -913085 lb | 0 0 0.00 | 70.17/70.30 c | 70.30 | 0 | -913084 lb | 0 0 0.00 | 71.27/71.35 c | 71.35 | 0 | -913083 lb | 0 0 0.00 | 72.37/72.42 c | 72.42 | 0 | -913082 lb | 0 0 0.00 | 73.38/73.47 c | 73.47 | 0 | -913080 lb | 0 0 0.00 | 74.48/74.53 c | 74.53 | 0 | -913079 lb | 0 0 0.00 | 75.48/75.58 c | 75.59 | 0 | -913078 lb | 0 0 0.00 | 76.58/76.65 c | 76.66 | 0 | -913071 lb | 0 0 0.00 | 77.67/77.71 c | 77.71 | 0 | -913063 lb | 0 0 0.00 | 78.67/78.79 c | 78.79 | 0 | -913058 lb | 0 0 0.00 | 79.87/79.94 c | 79.94 | 0 | -913057 lb | 0 0 0.00 | 80.97/81.08 c | 81.09 | 0 | -913055 lb | 0 0 0.00 | 82.28/82.30 c | 82.31 | 0 | -913054 lb | 0 0 0.00 | 83.49/83.54 c | 83.55 | 0 | -913053 lb | 0 0 0.00 | 84.68/84.70 c | 84.71 | 0 | -913050 lb | 0 0 0.00 | 85.58/85.64 c | 85.64 | 0 | -913049 lb | 0 0 0.00 | 86.78/86.83 c | 86.84 | 0 | -913048 lb | 0 0 0.00 | 87.88/88.00 c | 88.00 | 0 | -913045 lb | 0 0 0.00 | 88.87/88.93 c | 88.94 | 0 | -913044 lb | 0 0 0.00 | 89.97/90.10 c | 90.10 | 0 | -913023 lb | 0 0 0.00 | 91.18/91.28 c | 91.28 | 0 | -913022 lb | 0 0 0.00 | 92.38/92.45 c | 92.46 | 0 | -913021 lb | 0 0 0.00 | 93.57/93.64 c | 93.64 | 0 | -913012 lb | 0 0 0.00 | 94.77/94.81 c | 94.82 | 0 | -913004 lb | 0 0 0.00 | 95.87/95.99 c | 96.00 | 0 | -912987 lb | 0 0 0.00 | 97.08/97.17 c | 97.17 | 0 | -912983 lb | 0 0 0.00 | 98.28/98.34 c | 98.34 | 0 | -912978 lb | 0 0 0.00 | 99.37/99.47 c | 99.47 | 0 | -912960 lb | 0 0 0.00 | 100.57/100.64 c | 100.65 | 0 | -912958 lb | 0 0 0.00 | 101.77/101.84 c | 101.84 | 0 | -912957 lb | 0 0 0.00 | 102.97/103.04 c | 103.04 | 0 | -912938 lb | 0 0 0.00 | 104.17/104.26 c | 104.27 | 0 | -912925 lb | 0 0 0.00 | 105.37/105.45 c | 105.45 | 0 | -912911 lb | 0 0 0.00 | 106.58/106.64 c | 106.64 | 0 | -912886 lb | 0 0 0.00 | 107.77/107.84 c | 107.84 | 0 | -912861 lb | 0 0 0.00 | 108.97/109.05 c | 109.05 | 0 | -912852 lb | 0 0 0.00 | 110.17/110.25 c | 110.25 | 0 | -912851 lb | 0 0 0.00 | 111.37/111.45 c | 111.45 | 0 | -912848 lb | 0 0 0.00 | 112.57/112.65 c | 112.66 | 0 | -912840 lb | 0 0 0.00 | 113.76/113.86 c | 113.87 | 0 | -912839 lb | 0 0 0.00 | 114.96/115.08 c | 115.09 | 0 | -912836 lb | 0 0 0.00 | 116.27/116.30 c | 116.30 | 0 | -912835 lb | 0 0 0.00 | 117.47/117.51 c | 117.51 | 0 | -912834 lb | 0 0 0.00 | 118.67/118.75 c | 118.75 | 0 | -912833 lb | 0 0 0.00 | 120.17/120.26 c | 120.27 | 0 | -912831 lb | 0 0 0.00 | 121.37/121.49 c | 121.50 | 0 | -912830 lb | 0 0 0.00 | 122.67/122.71 c | 122.72 | 0 | -912829 lb | 0 0 0.00 | 124.37/124.40 c | 124.41 | 0 | -912828 lb | 0 0 0.00 | 125.97/126.03 c | 126.04 | 0 | -912825 lb | 0 0 0.00 | 127.58/127.67 c | 127.68 | 0 | -912824 lb | 0 0 0.00 | 129.27/129.30 c | 129.31 | 0 | -912820 lb | 0 0 0.00 | 130.87/130.95 c | 130.95 | 0 | -912801 lb | 0 0 0.00 | 132.56/132.60 c | 132.60 | 0 | -912800 lb | 0 0 0.00 | 134.27/134.38 c | 134.38 | 0 | -912799 lb | 0 0 0.00 | 135.57/135.66 c | 135.67 | 0 | -912798 lb | 0 0 0.00 | 137.07/137.19 c | 137.19 | 0 | -912797 lb | 0 0 0.00 | 138.97/139.05 c | 139.06 | 0 | -912796 lb | 0 0 0.00 | 141.06/141.17 c | 141.17 | 0 | -912286 lb | 0 0 0.00 | 142.47/142.51 c | 142.52 | 0 | -912285 lb | 0 0 0.00 | 143.97/144.02 c | 144.02 | 0 | -912284 lb | 0 0 0.00 | 145.56/145.63 c | 145.63 | 0 | -912283 lb | 0 0 0.00 | 147.16/147.26 c | 147.26 | 0 | -912282 lb | 0 0 0.00 | 148.76/148.81 c | 148.82 | 0 | -912281 lb | 0 0 0.00 | 150.27/150.37 c | 150.38 | 0 | -912280 lb | 0 0 0.00 | 151.97/152.01 c | 152.01 | 0 | -912279 lb | 0 0 0.00 | 153.57/153.62 c | 153.62 | 0 | -912278 lb | 0 0 0.00 | 154.97/155.08 c | 155.08 | 0 | -912277 lb | 0 0 0.00 | 156.56/156.65 c | 156.65 | 0 | -912276 lb | 0 0 0.00 | 158.27/158.32 c | 158.33 | 0 | -912275 lb | 0 0 0.00 | 159.86/159.97 c | 159.97 | 0 | -912274 lb | 0 0 0.00 | 161.46/161.56 c | 161.56 | 0 | -912273 lb | 0 0 0.00 | 162.96/163.08 c | 163.09 | 0 | -912272 lb | 0 0 0.00 | 164.86/164.97 c | 164.97 | 0 | -912271 lb | 0 0 0.00 | 166.16/166.26 c | 166.27 | 0 | -912270 lb | 0 0 0.00 | 167.66/167.75 c | 167.75 | 0 | -912269 lb | 0 0 0.00 | 169.06/169.13 c | 169.14 | 0 | -912268 lb | 0 0 0.00 | 170.76/170.88 c | 170.88 | 0 | -912267 lb | 0 0 0.00 | 172.36/172.46 c | 172.47 | 0 | -912266 lb | 0 0 0.00 | 173.86/173.90 c | 173.90 | 0 | -912265 lb | 0 0 0.00 | 174.86/174.96 c | 174.97 | 0 | -912264 lb | 0 0 0.00 | 176.46/176.53 c | 176.53 | 0 | -912263 lb | 0 0 0.00 | 177.75/177.89 c | 177.89 | 0 | -912262 lb | 0 0 0.00 | 179.35/179.42 c | 179.42 | 0 | -912261 lb | 0 0 0.00 | 180.46/180.56 c | 180.56 | 0 | -912260 lb | 0 0 0.00 | 181.76/181.83 c | 181.83 | 0 | -912259 lb | 0 0 0.00 | 182.86/182.90 c | 182.91 | 0 | -912258 lb | 0 0 0.00 | 183.96/184.05 c | 184.06 | 0 | -912257 lb | 0 0 0.00 | 185.15/185.20 c | 185.20 | 0 | -912256 lb | 0 0 0.00 | 186.35/186.49 c | 186.49 | 0 | -912255 lb | 0 0 0.00 | 187.85/187.98 c | 187.98 | 0 | -912252 lb | 0 0 0.00 | 189.16/189.23 c | 189.24 | 0 | -912251 lb | 0 0 0.00 | 191.26/191.35 c | 191.36 | 0 | -912250 lb | 0 0 0.00 | 192.66/192.77 c | 192.77 | 0 | -912249 lb | 0 0 0.00 | 194.45/194.51 c | 194.51 | 0 | -912248 lb | 0 0 0.00 | 195.76/195.82 c | 195.82 | 0 | -912246 lb | 0 0 0.00 | 197.05/197.13 c | 197.14 | 0 | -912242 lb | 0 0 0.00 | 198.34/198.46 c | 198.46 | 0 | -912241 lb | 0 0 0.00 | 199.74/199.87 c | 199.87 | 0 | -912240 lb | 0 0 0.00 | 201.16/201.24 c | 201.25 | 0 | -912238 lb | 0 0 0.00 | 202.55/202.66 c | 202.67 | 0 | -912234 lb | 0 0 0.00 | 203.85/203.96 c | 203.97 | 0 | -912230 lb | 0 0 0.00 | 205.34/205.48 c | 205.49 | 0 | -912229 lb | 0 0 0.00 | 206.44/206.59 c | 206.59 | 0 | -912228 lb | 0 0 0.00 | 207.65/207.80 c | 207.80 | 0 | -912225 lb | 0 0 0.00 | 208.96/209.04 c | 209.04 | 0 | -912221 lb | 0 0 0.00 | 210.15/210.27 c | 210.27 | 0 | -912217 lb | 0 0 0.00 | 211.45/211.56 c | 211.56 | 0 | -912213 lb | 0 0 0.00 | 212.94/213.04 c | 213.04 | 0 | -912209 lb | 0 0 0.00 | 214.14/214.29 c | 214.29 | 0 | -912205 lb | 0 0 0.00 | 215.45/215.53 c | 215.53 | 0 | -912201 lb | 0 0 0.00 | 217.35/217.40 c | 217.40 | 0 | -912200 lb | 0 0 0.00 | 218.44/218.58 c | 218.58 | 0 | -912196 lb | 0 0 0.00 | 220.34/220.46 c | 220.46 | 0 | -912195 lb | 0 0 0.00 | 221.44/221.53 c | 221.53 | 0 | -912191 lb | 0 0 0.00 | 222.54/222.61 c | 222.61 | 0 | -912187 lb | 0 0 0.00 | 224.44/224.53 c | 224.53 | 0 | -912186 lb | 0 0 0.00 | 225.45/225.59 c | 225.59 | 0 | -912182 lb | 0 0 0.00 | 226.55/226.66 c | 226.67 | 0 | -912178 lb | 0 0 0.00 | 227.64/227.73 c | 227.74 | 0 | -912174 lb | 0 0 0.00 | 229.14/229.23 c | 229.23 | 0 | -912167 lb | 0 0 0.00 | 230.85/230.98 c | 230.99 | 0 | -912166 lb | 0 0 0.00 | 232.24/232.37 c | 232.38 | 0 | -912165 lb | 0 0 0.00 | 233.34/233.42 c | 233.42 | 0 | -912163 lb | 0 0 0.00 | 234.44/234.51 c | 234.51 | 0 | -912162 lb | 0 0 0.00 | 236.14/236.22 c | 236.22 | 0 | -912161 lb | 0 0 0.00 | 239.74/239.87 c | 239.87 | 0 | -912160 lb | 0 0 0.00 | 241.74/241.80 c | 241.81 | 0 | -912159 lb | 0 0 0.00 | 244.83/244.92 c | 244.92 | 0 | -912158 lb | 0 0 0.00 | 245.83/245.94 c | 245.95 | 0 | -912157 lb | 0 0 0.00 | 247.24/247.32 c | 247.32 | 0 | -912156 lb | 0 0 0.00 | 248.34/248.43 c | 248.43 | 0 | -912155 lb | 0 0 0.00 | 250.14/250.26 c | 250.26 | 0 | -912154 lb | 0 0 0.00 | 251.23/251.34 c | 251.34 | 0 | -912153 lb | 0 0 0.00 | 253.33/253.41 c | 253.42 | 0 | -912152 lb | 0 0 0.00 | 254.43/254.51 c | 254.51 | 0 | -912151 lb | 0 0 0.00 | 256.73/256.83 c | 256.83 | 0 | -912150 lb | 0 0 0.00 | 258.13/258.20 c | 258.21 | 0 | -912149 lb | 0 0 0.00 | 259.93/260.02 c | 260.02 | 0 | -912148 lb | 0 0 0.00 | 264.32/264.44 c | 264.44 | 0 | -912147 lb | 0 0 0.00 | 265.43/265.52 c | 265.53 | 0 | -912145 lb | 0 0 0.00 | 267.73/267.82 c | 267.82 | 0 | -912144 lb | 0 0 0.00 | 268.73/268.82 c | 268.82 | 0 | -912143 lb | 0 0 0.00 | 269.93/270.04 c | 270.04 | 0 | -912142 lb | 0 0 0.00 | 271.03/271.13 c | 271.13 | 0 | -912141 lb | 0 0 0.00 | 272.03/272.18 c | 272.19 | 0 | -912140 lb | 0 0 0.00 | 273.13/273.22 c | 273.23 | 0 | -912138 lb | 0 0 0.00 | 274.13/274.29 c | 274.29 | 0 | -912137 lb | 0 0 0.00 | 275.22/275.35 c | 275.35 | 0 | -912136 lb | 0 0 0.00 | 276.72/276.86 c | 276.87 | 0 | -912135 lb | 0 0 0.00 | 278.23/278.32 c | 278.32 | 0 | -912134 lb | 0 0 0.00 | 279.33/279.43 c | 279.43 | 0 | -912133 lb | 0 0 0.00 | 280.62/280.72 c | 280.72 | 0 | -912132 lb | 0 0 0.00 | 282.33/282.41 c | 282.42 | 0 | -912131 lb | 0 0 0.00 | 283.42/283.57 c | 283.57 | 0 | -912130 lb | 0 0 0.00 | 285.03/285.16 c | 285.17 | 0 | -912129 lb | 0 0 0.00 | 286.72/286.83 c | 286.84 | 0 | -912128 lb | 0 0 0.00 | 288.13/288.29 c | 288.30 | 0 | -912127 lb | 0 0 0.00 | 289.92/290.00 c | 290.01 | 0 | -912126 lb | 0 0 0.00 | 291.82/291.92 c | 291.93 | 0 | -912125 lb | 0 0 0.00 | 293.92/294.06 c | 294.06 | 0 | -912124 lb | 0 0 0.00 | 296.52/296.65 c | 296.65 | 0 | -912123 lb | 0 0 0.00 | 298.62/298.70 c | 298.70 | 0 | -912122 lb | 0 0 0.00 | 301.42/301.54 c | 301.54 | 0 | -912121 lb | 0 0 0.00 | 302.72/302.87 c | 302.87 | 0 | -912120 lb | 0 0 0.00 | 304.51/304.67 c | 304.68 | 0 | -912119 lb | 0 0 0.00 | 306.01/306.16 c | 306.17 | 0 | -912118 lb | 0 0 0.00 | 308.81/308.91 c | 308.91 | 0 | -912117 lb | 0 0 0.00 | 311.01/311.19 c | 311.20 | 0 | -912116 lb | 0 0 0.00 | 313.61/313.73 c | 313.73 | 0 | -912115 lb | 0 0 0.00 | 317.41/317.59 c | 317.59 | 0 | -912114 lb | 0 0 0.00 | 319.30/319.42 c | 319.43 | 0 | -912099 lb | 0 0 0.00 | 321.90/322.05 c | 322.05 | 0 | -912098 lb | 0 0 0.00 | 323.70/323.86 c | 323.87 | 0 | -912097 lb | 0 0 0.00 | 326.00/326.17 c | 326.18 | 0 | -912096 lb | 0 0 0.00 | 328.41/328.52 c | 328.52 | 0 | -912095 lb | 0 0 0.00 | 331.10/331.23 c | 331.24 | 0 | -912094 lb | 0 0 0.00 | 333.60/333.75 c | 333.75 | 0 | -912093 lb | 0 0 0.00 | 335.60/335.73 c | 335.74 | 0 | -912092 lb | 0 0 0.00 | 340.90/341.07 c | 341.07 | 0 | -912091 lb | 0 0 0.00 | 349.19/349.35 c | 349.35 | 0 | -912090 lb | 0 0 0.00 | 352.20/352.32 c | 352.33 | 0 | -912089 lb | 0 0 0.00 | 354.30/354.47 c | 354.47 | 0 | -912088 lb | 0 0 0.00 | 356.89/357.07 c | 357.08 | 0 | -912087 lb | 0 0 0.00 | 359.50/359.64 c | 359.65 | 0 | -912086 lb | 0 0 0.00 | 361.70/361.84 c | 361.84 | 0 | -912085 lb | 0 0 0.00 | 373.09/373.25 c | 373.25 | 0 | -912084 lb | 0 0 0.00 | 374.49/374.63 c | 374.63 | 0 | -912083 lb | 0 0 0.00 | 377.19/377.37 c | 377.37 | 0 | -912082 lb | 0 0 0.00 | 379.68/379.86 c | 379.87 | 0 | -912081 lb | 0 0 0.00 | 383.09/383.21 c | 383.21 | 0 | -912080 lb | 0 0 0.00 | 386.18/386.36 c | 386.36 | 0 | -912079 lb | 0 0 0.00 | 388.38/388.52 c | 388.52 | 0 | -912078 lb | 0 0 0.00 | 390.88/391.05 c | 391.05 | 0 | -912077 lb | 0 0 0.00 | 393.38/393.57 c | 393.57 | 0 | -912076 lb | 0 0 0.00 | 396.27/396.46 c | 396.46 | 0 | -912075 lb | 0 0 0.00 | 397.98/398.16 c | 398.16 | 0 | -912074 lb | 0 0 0.00 | 401.38/401.53 c | 401.53 | 0 | -912073 lb | 0 0 0.00 | 404.27/404.46 c | 404.46 | 0 | -912072 lb | 0 0 0.00 | 407.06/407.22 c | 407.22 | 0 | -912071 lb | 0 0 0.00 | 410.17/410.33 c | 410.33 | 0 | -912070 lb | 0 0 0.00 | 411.67/411.88 c | 411.88 | 0 | -912069 lb | 0 0 0.00 | 414.47/414.66 c | 414.67 | 0 | -912068 lb | 0 0 0.00 | 417.17/417.39 c | 417.40 | 0 | -912067 lb | 0 0 0.00 | 419.67/419.83 c | 419.83 | 0 | -912066 lb | 0 0 0.00 | 422.96/423.15 c | 423.15 | 0 | -912065 lb | 0 0 0.00 | 426.57/426.72 c | 426.72 | 0 | -912064 lb | 0 0 0.00 | 428.46/428.64 c | 428.64 | 0 | -912063 lb | 0 0 0.00 | 431.26/431.49 c | 431.49 | 0 | -912062 lb | 0 0 0.00 | 433.56/433.75 c | 433.76 | 0 | -912061 lb | 0 0 0.00 | 436.46/436.65 c | 436.66 | 0 | -912060 lb | 0 0 0.00 | 442.06/442.30 c | 442.30 | 0 | -912059 lb | 0 0 0.00 | 444.66/444.84 c | 444.84 | 0 | -912058 lb | 0 0 0.00 | 447.47/447.63 c | 447.63 | 0 | -912057 lb | 0 0 0.00 | 450.25/450.43 c | 450.43 | 0 | -912056 lb | 0 0 0.00 | 453.26/453.44 c | 453.44 | 0 | -912055 lb | 0 0 0.00 | 455.65/455.83 c | 455.83 | 0 | -912054 lb | 0 0 0.00 | 458.65/458.84 c | 458.84 | 0 | -912053 lb | 0 0 0.00 | 461.25/461.46 c | 461.47 | 0 | -912052 lb | 0 0 0.00 | 463.55/463.79 c | 463.79 | 0 | -912051 lb | 0 0 0.00 | 466.55/466.76 c | 466.76 | 0 | -912050 lb | 0 0 0.00 | 469.25/469.42 c | 469.42 | 0 | -912049 lb | 0 0 0.00 | 472.36/472.53 c | 472.53 | 0 | -912048 lb | 0 0 0.00 | 475.16/475.30 c | 475.31 | 0 | -912047 lb | 0 0 0.00 | 477.95/478.17 c | 478.18 | 0 | -912046 lb | 0 0 0.00 | 481.05/481.21 c | 481.21 | 0 | -912045 lb | 0 0 0.00 | 483.65/483.86 c | 483.86 | 0 | -912044 lb | 0 0 0.00 | 486.45/486.63 c | 486.63 | 0 | -912043 lb | 0 0 0.00 | 488.85/489.08 c | 489.08 | 0 | -912042 lb | 0 0 0.00 | 492.35/492.55 c | 492.55 | 0 | -912041 lb | 0 0 0.00 | 494.25/494.46 c | 494.47 | 0 | -912040 lb | 0 0 0.00 | 497.06/497.21 c | 497.22 | 0 | -912039 lb | 0 0 0.00 | 499.55/499.70 c | 499.70 | 0 | -912038 lb | 0 0 0.00 | 502.15/502.39 c | 502.39 | 0 | -912037 lb | 0 0 0.00 | 504.65/504.83 c | 504.84 | 0 | -912036 lb | 0 0 0.00 | 507.24/507.44 c | 507.45 | 0 | -912035 lb | 0 0 0.00 | 510.25/510.43 c | 510.44 | 0 | -912034 lb | 0 0 0.00 | 512.75/512.92 c | 512.92 | 0 | -912033 lb | 0 0 0.00 | 516.45/516.61 c | 516.61 | 0 | -912032 lb | 0 0 0.00 | 519.94/520.10 c | 520.11 | 0 | -912031 lb | 0 0 0.00 | 522.64/522.80 c | 522.80 | 0 | -912030 lb | 0 0 0.00 | 525.04/525.21 c | 525.22 | 0 | -912029 lb | 0 0 0.00 | 528.34/528.59 c | 528.59 | 0 | -912028 lb | 0 0 0.00 | 531.35/531.50 c | 531.50 | 0 | -912027 lb | 0 0 0.00 | 533.54/533.70 c | 533.71 | 0 | -912026 lb | 0 0 0.00 | 537.34/537.52 c | 537.53 | 0 | -912025 lb | 0 0 0.00 | 539.34/539.56 c | 539.56 | 0 | -912024 lb | 0 0 0.00 | 542.15/542.36 c | 542.36 | 0 | -912023 lb | 0 0 0.00 | 545.55/545.73 c | 545.73 | 0 | -912022 lb | 0 0 0.00 | 547.65/547.81 c | 547.82 | 0 | -912021 lb | 0 0 0.00 | 549.54/549.71 c | 549.71 | 0 | -912020 lb | 0 0 0.00 | 552.15/552.39 c | 552.39 | 0 | -912019 lb | 0 0 0.00 | 554.15/554.38 c | 554.39 | 0 | -912018 lb | 0 0 0.00 | 557.74/557.94 c | 557.94 | 0 | -912017 lb | 0 0 0.00 | 560.54/560.74 c | 560.74 | 0 | -912016 lb | 0 0 0.00 | 563.34/563.56 c | 563.56 | 0 | -912015 lb | 0 0 0.00 | 565.44/565.69 c | 565.69 | 0 | -912014 lb | 0 0 0.00 | 567.84/568.09 c | 568.10 | 0 | -912013 lb | 0 0 0.00 | 569.65/569.81 c | 569.82 | 0 | -912010 lb | 0 0 0.00 | 573.74/573.98 c | 573.99 | 0 | -912009 lb | 0 0 0.00 | 576.74/576.96 c | 576.96 | 0 | -912008 lb | 0 0 0.00 | 581.14/581.34 c | 581.34 | 0 | -912007 lb | 0 0 0.00 | 584.04/584.25 c | 584.26 | 0 | -912006 lb | 0 0 0.00 | 587.43/587.65 c | 587.66 | 0 | -912005 lb | 0 0 0.00 | 589.53/589.77 c | 589.77 | 0 | -912004 lb | 0 0 0.00 | 591.93/592.15 c | 592.16 | 0 | -912003 lb | 0 0 0.00 | 594.34/594.52 c | 594.53 | 0 | -912002 lb | 0 0 0.00 | 597.94/598.10 c | 598.10 | 0 | -912001 lb | 0 0 0.00 | 601.33/601.55 c | 601.55 | 0 | -912000 lb | 0 0 0.00 | 604.23/604.46 c | 604.46 | 0 | -911999 lb | 0 0 0.00 | 606.83/607.04 c | 607.05 | 0 | -911998 lb | 0 0 0.00 | 609.73/609.97 c | 609.98 | 0 | -911997 lb | 0 0 0.00 | 612.54/612.73 c | 612.74 | 0 | -911996 lb | 0 0 0.00 | 614.93/615.13 c | 615.13 | 0 | -911995 lb | 0 0 0.00 | 618.33/618.52 c | 618.53 | 0 | -911994 lb | 0 0 0.00 | 621.93/622.14 c | 622.14 | 0 | -911993 lb | 0 0 0.00 | 625.03/625.27 c | 625.28 | 0 | -911992 lb | 0 0 0.00 | 628.33/628.50 c | 628.51 | 0 | -911991 lb | 0 0 0.00 | 630.33/630.53 c | 630.53 | 0 | -911990 lb | 0 0 0.00 | 642.92/643.18 c | 643.18 | 0 | -911989 lb | 0 0 0.00 | 646.43/646.64 c | 646.64 | 0 | -911988 lb | 0 0 0.00 | 648.92/649.11 c | 649.11 | 0 | -911987 lb | 0 0 0.00 | 650.72/650.98 c | 650.98 | 0 | -911986 lb | 0 0 0.00 | 653.02/653.20 c | 653.20 | 0 | -911985 lb | 0 0 0.00 | 656.13/656.39 c | 656.39 | 0 | -911984 lb | 0 0 0.00 | 659.83/660.03 c | 660.03 | 0 | -911983 lb | 0 0 0.00 | 662.32/662.55 c | 662.55 | 0 | -911982 lb | 0 0 0.00 | 665.02/665.21 c | 665.21 | 0 | -911981 lb | 0 0 0.00 | 668.02/668.29 c | 668.29 | 0 | -911980 lb | 0 0 0.00 | 670.73/670.98 c | 670.99 | 0 | -911979 lb | 0 0 0.00 | 673.12/673.36 c | 673.36 | 0 | -911978 lb | 0 0 0.00 | 677.32/677.55 c | 677.55 | 0 | -911977 lb | 0 0 0.00 | 680.42/680.63 c | 680.63 | 0 | -911976 lb | 0 0 0.00 | 682.22/682.46 c | 682.47 | 0 | -911975 lb | 0 0 0.00 | 685.72/685.94 c | 685.94 | 0 | -911974 lb | 0 0 0.00 | 688.32/688.55 c | 688.55 | 0 | -911973 lb | 0 0 0.00 | 690.42/690.62 c | 690.62 | 0 | -911972 lb | 0 0 0.00 | 693.22/693.49 c | 693.50 | 0 | -911967 lb | 0 0 0.00 | 696.32/696.54 c | 696.54 | 0 | -911966 lb | 0 0 0.00 | 698.12/698.36 c | 698.37 | 0 | -911965 lb | 0 0 0.00 | 700.22/700.49 c | 700.50 | 0 | -911964 lb | 0 0 0.00 | 703.22/703.45 c | 703.46 | 0 | -911963 lb | 0 0 0.00 | 705.72/705.91 c | 705.92 | 0 | -911962 lb | 0 0 0.00 | 708.82/709.02 c | 709.02 | 0 | -911961 lb | 0 0 0.00 | 711.72/711.90 c | 711.90 | 0 | -911960 lb | 0 0 0.00 | 714.52/714.71 c | 714.72 | 0 | -911959 lb | 0 0 0.00 | 718.13/718.33 c | 718.34 | 0 | -911958 lb | 0 0 0.00 | 721.02/721.25 c | 721.25 | 0 | -911957 lb | 0 0 0.00 | 724.21/724.49 c | 724.49 | 0 | -911956 lb | 0 0 0.00 | 727.01/727.26 c | 727.26 | 0 | -911955 lb | 0 0 0.00 | 729.12/729.39 c | 729.39 | 0 | -911954 lb | 0 0 0.00 | 731.32/731.56 c | 731.56 | 0 | -911953 lb | 0 0 0.00 | 734.01/734.29 c | 734.30 | 0 | -911952 lb | 0 0 0.00 | 736.82/737.02 c | 737.02 | 0 | -911951 lb | 0 0 0.00 | 740.31/740.56 c | 740.56 | 0 | -911950 lb | 0 0 0.00 | 743.81/744.00 c | 744.01 | 0 | -911949 lb | 0 0 0.00 | 746.51/746.79 c | 746.79 | 0 | -911941 lb | 0 0 0.00 | 748.51/748.72 c | 748.72 | 0 | -911940 lb | 0 0 0.00 | 751.31/751.50 c | 751.50 | 0 | -911939 lb | 0 0 0.00 | 753.41/753.62 c | 753.62 | 0 | -911938 lb | 0 0 0.00 | 756.41/756.66 c | 756.66 | 0 | -911937 lb | 0 0 0.00 | 758.82/759.07 c | 759.07 | 0 | -911936 lb | 0 0 0.00 | 762.02/762.26 c | 762.27 | 0 | -911935 lb | 0 0 0.00 | 765.10/765.31 c | 765.32 | 0 | -911934 lb | 0 0 0.00 | 769.00/769.25 c | 769.25 | 0 | -911933 lb | 0 0 0.00 | 772.01/772.23 c | 772.23 | 0 | -911932 lb | 0 0 0.00 | 775.31/775.53 c | 775.53 | 0 | -911931 lb | 0 0 0.00 | 777.90/778.18 c | 778.18 | 0 | -911930 lb | 0 0 0.00 | 780.30/780.55 c | 780.55 | 0 | -911929 lb | 0 0 0.00 | 782.51/782.74 c | 782.74 | 0 | -911928 lb | 0 0 0.00 | 785.22/785.41 c | 785.42 | 0 | -911927 lb | 0 0 0.00 | 787.11/787.33 c | 787.33 | 0 | -911925 lb | 0 0 0.00 | 788.90/789.16 c | 789.16 | 0 | -911924 lb | 0 0 0.00 | 791.10/791.36 c | 791.36 | 0 | -911923 lb | 0 0 0.00 | 794.50/794.74 c | 794.74 | 0 | -911922 lb | 0 0 0.00 | 797.80/798.04 c | 798.05 | 0 | -911921 lb | 0 0 0.00 | 799.51/799.78 c | 799.78 | 0 | -911920 lb | 0 0 0.00 | 802.50/802.78 c | 802.79 | 0 | -911919 lb | 0 0 0.00 | 805.70/805.95 c | 805.95 | 0 | -911918 lb | 0 0 0.00 | 808.21/808.45 c | 808.45 | 0 | -911917 lb | 0 0 0.00 | 812.80/813.07 c | 813.07 | 0 | -911916 lb | 0 0 0.00 | 816.10/816.35 c | 816.35 | 0 | -911915 lb | 0 0 0.00 | 818.00/818.30 c | 818.30 | 0 | -911914 lb | 0 0 0.00 | 821.10/821.39 c | 821.40 | 0 | -911913 lb | 0 0 0.00 | 824.80/825.03 c | 825.04 | 0 | -911912 lb | 0 0 0.00 | 827.40/827.63 c | 827.63 | 0 | -911911 lb | 0 0 0.00 | 829.90/830.16 c | 830.16 | 0 | -911910 lb | 0 0 0.00 | 833.30/833.57 c | 833.58 | 0 | -911909 lb | 0 0 0.00 | 836.40/836.68 c | 836.68 | 0 | -911908 lb | 0 0 0.00 | 870.69/870.97 c | 870.98 | 0 | -911907 lb | 0 0 0.00 | 874.49/874.71 c | 874.71 | 0 | -911906 lb | 0 0 0.00 | 876.69/876.92 c | 876.92 | 0 | -911905 lb | 0 0 0.00 | 879.39/879.60 c | 879.60 | 0 | -911904 lb | 0 0 0.00 | 882.50/882.76 c | 882.76 | 0 | -911903 lb | 0 0 0.00 | 885.09/885.32 c | 885.33 | 0 | -911902 lb | 0 0 0.00 | 888.29/888.52 c | 888.52 | 0 | -911901 lb | 0 0 0.00 | 890.59/890.80 c | 890.80 | 0 | -911900 lb | 0 0 0.00 | 893.78/894.02 c | 894.02 | 0 | -911899 lb | 0 0 0.00 | 896.29/896.50 c | 896.51 | 0 | -911898 lb | 0 0 0.00 | 898.59/898.84 c | 898.84 | 0 | -911897 lb | 0 0 0.00 | 900.69/900.96 c | 900.97 | 0 | -911896 lb | 0 0 0.00 | 902.98/903.25 c | 903.25 | 0 | -911895 lb | 0 0 0.00 | 905.39/905.67 c | 905.67 | 0 | -911894 lb | 0 0 0.00 | 907.99/908.29 c | 908.29 | 0 | -911893 lb | 0 0 0.00 | 911.28/911.50 c | 911.50 | 0 | -911892 lb | 0 0 0.00 | 913.79/914.07 c | 914.07 | 0 | -911891 lb | 0 0 0.00 | 915.89/916.14 c | 916.14 | 0 | -911883 lb | 0 0 0.00 | 919.19/919.48 c | 919.48 | 0 | -911882 lb | 0 0 0.00 | 922.18/922.44 c | 922.44 | 0 | -911881 lb | 0 0 0.00 | 925.89/926.16 c | 926.16 | 0 | -911880 lb | 0 0 0.00 | 928.89/929.14 c | 929.14 | 0 | -911876 lb | 0 0 0.00 | 931.68/931.94 c | 931.94 | 0 | -911875 lb | 0 0 0.00 | 934.48/934.79 c | 934.79 | 0 | -911874 lb | 0 0 0.00 | 937.79/938.01 c | 938.02 | 0 | -911873 lb | 0 0 0.00 | 940.68/940.96 c | 940.96 | 0 | -911872 lb | 0 0 0.00 | 942.78/943.00 c | 943.00 | 0 | -911871 lb | 0 0 0.00 | 947.08/947.36 c | 947.36 | 0 | -911870 lb | 0 0 0.00 | 951.28/951.52 c | 951.52 | 0 | -911869 lb | 0 0 0.00 | 954.18/954.49 c | 954.50 | 0 | -911868 lb | 0 0 0.00 | 957.08/957.37 c | 957.37 | 0 | -911867 lb | 0 0 0.00 | 961.38/961.62 c | 961.62 | 0 | -911866 lb | 0 0 0.00 | 965.48/965.79 c | 965.79 | 0 | -911865 lb | 0 0 0.00 | 968.37/968.61 c | 968.61 | 0 | -911864 lb | 0 0 0.00 | 973.48/973.75 c | 973.76 | 0 | -911863 lb | 0 0 0.00 | 976.18/976.43 c | 976.44 | 0 | -911862 lb | 0 0 0.00 | 981.68/981.95 c | 981.96 | 0 | -911861 lb | 0 0 0.00 | 986.08/986.35 c | 986.35 | 0 | -911860 lb | 0 0 0.00 | 989.97/990.26 c | 990.27 | 0 | -911859 lb | 0 0 0.00 | 992.87/993.16 c | 993.17 | 0 | -911858 lb | 0 0 0.00 | 997.07/997.32 c | 997.33 | 0 | -911857 lb | 0 0 0.00 | 1001.57/1001.85 c | 1001.86 | 0 | -911856 lb | 0 0 0.00 | 1005.67/1005.95 c | 1005.96 | 0 | -911855 lb | 0 0 0.00 | 1007.38/1007.68 c | 1007.69 | 0 | -911854 lb | 0 0 0.00 | 1010.68/1010.96 c | 1010.97 | 0 | -911853 lb | 0 0 0.00 | 1013.98/1014.28 c | 1014.29 | 0 | -911852 lb | 0 0 0.00 | 1017.07/1017.39 c | 1017.39 | 0 | -911851 lb | 0 0 0.00 | 1019.27/1019.51 c | 1019.52 | 0 | -911850 lb | 0 0 0.00 | 1021.97/1022.20 c | 1022.20 | 0 | -911849 lb | 0 0 0.00 | 1024.77/1025.04 c | 1025.04 | 0 | -911848 lb | 0 0 0.00 | 1028.07/1028.37 c | 1028.37 | 0 | -911847 lb | 0 0 0.00 | 1030.77/1031.04 c | 1031.05 | 0 | -911846 lb | 0 0 0.00 | 1033.56/1033.80 c | 1033.80 | 0 | -911845 lb | 0 0 0.00 | 1036.77/1037.07 c | 1037.07 | 0 | -911844 lb | 0 0 0.00 | 1040.97/1041.23 c | 1041.23 | 0 | -911843 lb | 0 0 0.00 | 1044.26/1044.50 c | 1044.51 | 0 | -911842 lb | 0 0 0.00 | 1047.86/1048.16 c | 1048.16 | 0 | -911841 lb | 0 0 0.00 | 1050.17/1050.46 c | 1050.46 | 0 | -911839 lb | 0 0 0.00 | 1053.86/1054.16 c | 1054.16 | 0 | -911838 lb | 0 0 0.00 | 1057.36/1057.67 c | 1057.67 | 0 | -911837 lb | 0 0 0.00 | 1060.07/1060.39 c | 1060.39 | 0 | -911836 lb | 0 0 0.00 | 1062.67/1062.94 c | 1062.94 | 0 | -911835 lb | 0 0 0.00 | 1065.97/1066.24 c | 1066.25 | 0 | -911834 lb | 0 0 0.00 | 1068.07/1068.31 c | 1068.31 | 0 | -911833 lb | 0 0 0.00 | 1070.56/1070.86 c | 1070.86 | 0 | -911832 lb | 0 0 0.00 | 1073.56/1073.86 c | 1073.87 | 0 | -911831 lb | 0 0 0.00 | 1076.86/1077.10 c | 1077.10 | 0 | -911830 lb | 0 0 0.00 | 1079.76/1080.07 c | 1080.07 | 0 | -911829 lb | 0 0 0.00 | 1082.96/1083.21 c | 1083.22 | 0 | -911827 lb | 0 0 0.00 | 1086.36/1086.70 c | 1086.70 | 0 | -911826 lb | 0 0 0.00 | 1089.05/1089.34 c | 1089.34 | 0 | -911825 lb | 0 0 0.00 | 1091.76/1092.02 c | 1092.02 | 0 | -911824 lb | 0 0 0.00 | 1094.36/1094.62 c | 1094.62 | 0 | -911823 lb | 0 0 0.00 | 1098.06/1098.39 c | 1098.40 | 0 | -911822 lb | 0 0 0.00 | 1101.15/1101.43 c | 1101.44 | 0 | -911821 lb | 0 0 0.00 | 1104.06/1104.30 c | 1104.31 | 0 | -911820 lb | 0 0 0.00 | 1107.85/1108.10 c | 1108.10 | 0 | -911819 lb | 0 0 0.00 | 1109.96/1110.26 c | 1110.26 | 0 | -911818 lb | 0 0 0.00 | 1112.75/1113.01 c | 1113.02 | 0 | -911817 lb | 0 0 0.00 | 1115.56/1115.88 c | 1115.88 | 0 | -911816 lb | 0 0 0.00 | 1119.85/1120.10 c | 1120.10 | 0 | -911815 lb | 0 0 0.00 | 1123.75/1124.10 c | 1124.10 | 0 | -911814 lb | 0 0 0.00 | 1126.85/1127.15 c | 1127.16 | 0 | -911813 lb | 0 0 0.00 | 1129.95/1130.27 c | 1130.27 | 0 | -911812 lb | 0 0 0.00 | 1132.25/1132.57 c | 1132.58 | 0 | -911811 lb | 0 0 0.00 | 1135.55/1135.80 c | 1135.81 | 0 | -911810 lb | 0 0 0.00 | 1141.34/1141.68 c | 1141.68 | 0 | -911809 lb | 0 0 0.00 | 1144.76/1145.03 c | 1145.03 | 0 | -911808 lb | 0 0 0.00 | 1147.94/1148.22 c | 1148.23 | 0 | -911807 lb | 0 0 0.00 | 1151.74/1152.02 c | 1152.03 | 0 | -911806 lb | 0 0 0.00 | 1155.35/1155.68 c | 1155.68 | 0 | -911805 lb | 0 0 0.00 | 1158.65/1158.97 c | 1158.98 | 0 | -911803 lb | 0 0 0.00 | 1162.14/1162.45 c | 1162.45 | 0 | -911798 lb | 0 0 0.00 | 1165.94/1166.22 c | 1166.22 | 0 | -911797 lb | 0 0 0.00 | 1169.25/1169.51 c | 1169.52 | 0 | -911796 lb | 0 0 0.00 | 1172.85/1173.10 c | 1173.11 | 0 | -911795 lb | 0 0 0.00 | 1176.85/1177.15 c | 1177.15 | 0 | -911794 lb | 0 0 0.00 | 1180.24/1180.55 c | 1180.56 | 0 | -911793 lb | 0 0 0.00 | 1185.75/1186.07 c | 1186.08 | 0 | -911792 lb | 0 0 0.00 | 1188.34/1188.60 c | 1188.61 | 0 | -911791 lb | 0 0 0.00 | 1192.24/1192.57 c | 1192.57 | 0 | -911790 lb | 0 0 0.00 | 1195.93/1196.23 c | 1196.23 | 0 | -911789 lb | 0 0 0.00 | 1199.44/1199.76 c | 1199.77 | 0 | -911788 lb | 0 0 0.00 | 1203.14/1203.41 c | 1203.41 | 0 | -911787 lb | 0 0 0.00 | 1208.34/1208.60 c | 1208.60 | 0 | -911786 lb | 0 0 0.00 | 1212.54/1212.89 c | 1212.89 | 0 | -911785 lb | 0 0 0.00 | 1214.73/1215.09 c | 1215.10 | 0 | -911784 lb | 0 0 0.00 | 1218.23/1218.55 c | 1218.56 | 0 | -911783 lb | 0 0 0.00 | 1221.93/1222.22 c | 1222.22 | 0 | -911782 lb | 0 0 0.00 | 1225.83/1226.14 c | 1226.15 | 0 | -911781 lb | 0 0 0.00 | 1232.33/1232.70 c | 1232.70 | 0 | -911780 lb | 0 0 0.00 | 1235.03/1235.36 c | 1235.36 | 0 | -911779 lb | 0 0 0.00 | 1239.13/1239.47 c | 1239.48 | 0 | -911778 lb | 0 0 0.00 | 1242.43/1242.70 c | 1242.71 | 0 | -911777 lb | 0 0 0.00 | 1245.83/1246.11 c | 1246.12 | 0 | -911775 lb | 0 0 0.00 | 1250.02/1250.34 c | 1250.35 | 0 | -911774 lb | 0 0 0.00 | 1254.33/1254.65 c | 1254.66 | 0 | -911773 lb | 0 0 0.00 | 1257.23/1257.59 c | 1257.60 | 0 | -911772 lb | 0 0 0.00 | 1259.93/1260.25 c | 1260.25 | 0 | -911771 lb | 0 0 0.00 | 1263.13/1263.46 c | 1263.47 | 0 | -911770 lb | 0 0 0.00 | 1268.92/1269.26 c | 1269.26 | 0 | -911769 lb | 0 0 0.00 | 1271.82/1272.15 c | 1272.15 | 0 | -911768 lb | 0 0 0.00 | 1274.73/1275.00 c | 1275.00 | 0 | -911767 lb | 0 0 0.00 | 1278.43/1278.77 c | 1278.77 | 0 | -911766 lb | 0 0 0.00 | 1282.33/1282.69 c | 1282.70 | 0 | -911765 lb | 0 0 0.00 | 1285.22/1285.59 c | 1285.59 | 0 | -911764 lb | 0 0 0.00 | 1288.42/1288.71 c | 1288.71 | 0 | -911763 lb | 0 0 0.00 | 1291.32/1291.60 c | 1291.60 | 0 | -911762 lb | 0 0 0.00 | 1295.61/1295.97 c | 1295.97 | 0 | -911761 lb | 0 0 0.00 | 1298.41/1298.79 c | 1298.80 | 0 | -911760 lb | 0 0 0.00 | 1301.31/1301.65 c | 1301.66 | 0 | -911759 lb | 0 0 0.00 | 1303.72/1304.02 c | 1304.03 | 0 | -911758 lb | 0 0 0.00 | 1306.52/1306.85 c | 1306.86 | 0 | -911757 lb | 0 0 0.00 | 1309.61/1309.99 c | 1310.00 | 0 | -911756 lb | 0 0 0.00 | 1313.12/1313.47 c | 1313.48 | 0 | -911755 lb | 0 0 0.00 | 1315.62/1315.93 c | 1315.93 | 0 | -911754 lb | 0 0 0.00 | 1319.61/1319.98 c | 1319.99 | 0 | -911753 lb | 0 0 0.00 | 1323.01/1323.39 c | 1323.39 | 0 | -911752 lb | 0 0 0.00 | 1326.71/1327.00 c | 1327.01 | 0 | -911751 lb | 0 0 0.00 | 1329.52/1329.88 c | 1329.89 | 0 | -911750 lb | 0 0 0.00 | 1332.81/1333.16 c | 1333.17 | 0 | -911749 lb | 0 0 0.00 | 1336.22/1336.59 c | 1336.59 | 0 | -911748 lb | 0 0 0.00 | 1341.01/1341.32 c | 1341.32 | 0 | -911747 lb | 0 0 0.00 | 1344.71/1345.05 c | 1345.05 | 0 | -911746 lb | 0 0 0.00 | 1348.60/1348.90 c | 1348.90 | 0 | -911745 lb | 0 0 0.00 | 1352.20/1352.50 c | 1352.51 | 0 | -911744 lb | 0 0 0.00 | 1354.40/1354.76 c | 1354.76 | 0 | -911743 lb | 0 0 0.00 | 1357.11/1357.46 c | 1357.46 | 0 | -911742 lb | 0 0 0.00 | 1360.20/1360.52 c | 1360.52 | 0 | -911741 lb | 0 0 0.00 | 1363.71/1364.06 c | 1364.06 | 0 | -911740 lb | 0 0 0.00 | 1365.81/1366.17 c | 1366.18 | 0 | -911739 lb | 0 0 0.00 | 1371.80/1372.17 c | 1372.17 | 0 | -911738 lb | 0 0 0.00 | 1374.00/1374.32 c | 1374.32 | 0 | -911737 lb | 0 0 0.00 | 1378.01/1378.34 c | 1378.35 | 0 | -911736 lb | 0 0 0.00 | 1380.40/1380.70 c | 1380.70 | 0 | -911735 lb | 0 0 0.00 | 1384.70/1385.08 c | 1385.08 | 0 | -911734 lb | 0 0 0.00 | 1388.79/1389.17 c | 1389.17 | 0 | -911733 lb | 0 0 0.00 | 1405.49/1405.89 c | 1405.89 | 0 | -911732 lb | 0 0 0.00 | 1409.50/1409.88 c | 1409.88 | 0 | -911731 lb | 0 0 0.00 | 1413.29/1413.61 c | 1413.61 | 0 | -911730 lb | 0 0 0.00 | 1418.19/1418.57 c | 1418.57 | 0 | -911729 lb | 0 0 0.00 | 1421.39/1421.75 c | 1421.75 | 0 | -911728 lb | 0 0 0.00 | 1425.98/1426.33 c | 1426.34 | 0 | -911727 lb | 0 0 0.00 | 1429.88/1430.21 c | 1430.22 | 0 | -911726 lb | 0 0 0.00 | 1432.98/1433.37 c | 1433.37 | 0 | -911725 lb | 0 0 0.00 | 1437.28/1437.66 c | 1437.66 | 0 | -911724 lb | 0 0 0.00 | 1440.59/1440.92 c | 1440.92 | 0 | -911723 lb | 0 0 0.00 | 1443.08/1443.46 c | 1443.46 | 0 | -911722 lb | 0 0 0.00 | 1446.28/1446.67 c | 1446.67 | 0 | -911721 lb | 0 0 0.00 | 1449.28/1449.69 c | 1449.70 | 0 | -911720 lb | 0 0 0.00 | 1452.69/1453.03 c | 1453.03 | 0 | -911718 lb | 0 0 0.00 | 1455.38/1455.79 c | 1455.80 | 0 | -911717 lb | 0 0 0.00 | 1459.08/1459.46 c | 1459.46 | 0 | -911716 lb | 0 0 0.00 | 1462.98/1463.36 c | 1463.36 | 0 | -911715 lb | 0 0 0.00 | 1466.78/1467.18 c | 1467.18 | 0 | -911714 lb | 0 0 0.00 | 1471.27/1471.69 c | 1471.69 | 0 | -911713 lb | 0 0 0.00 | 1475.38/1475.75 c | 1475.76 | 0 | -911712 lb | 0 0 0.00 | 1479.67/1480.00 c | 1480.01 | 0 | -911711 lb | 0 0 0.00 | 1484.07/1484.47 c | 1484.48 | 0 | -911710 lb | 0 0 0.00 | 1488.47/1488.83 c | 1488.83 | 0 | -911709 lb | 0 0 0.00 | 1491.77/1492.10 c | 1492.10 | 0 | -911708 lb | 0 0 0.00 | 1495.58/1495.90 c | 1495.91 | 0 | -911707 lb | 0 0 0.00 | 1499.97/1500.40 c | 1500.40 | 0 | -911706 lb | 0 0 0.00 | 1502.96/1503.30 c | 1503.30 | 0 | -911705 lb | 0 0 0.00 | 1506.07/1506.47 c | 1506.47 | 0 | -911704 lb | 0 0 0.00 | 1508.47/1508.89 c | 1508.90 | 0 | -911703 lb | 0 0 0.00 | 1511.26/1511.65 c | 1511.65 | 0 | -911702 lb | 0 0 0.00 | 1527.66/1528.08 c | 1528.08 | 0 | -911701 lb | 0 0 0.00 | 1530.77/1531.19 c | 1531.20 | 0 | -911700 lb | 0 0 0.00 | 1534.27/1534.66 c | 1534.66 | 0 | -911699 lb | 0 0 0.00 | 1537.56/1537.90 c | 1537.90 | 0 | -911698 lb | 0 0 0.00 | 1541.96/1542.38 c | 1542.38 | 0 | -911697 lb | 0 0 0.00 | 1545.86/1546.22 c | 1546.23 | 0 | -911696 lb | 0 0 0.00 | 1549.66/1550.09 c | 1550.10 | 0 | -911695 lb | 0 0 0.00 | 1553.26/1553.62 c | 1553.62 | 0 | -911694 lb | 0 0 0.00 | 1557.76/1558.14 c | 1558.14 | 0 | -911693 lb | 0 0 0.00 | 1563.65/1564.00 c | 1564.00 | 0 | -911692 lb | 0 0 0.00 | 1569.05/1569.42 c | 1569.42 | 0 | -911691 lb | 0 0 0.00 | 1574.35/1574.71 c | 1574.71 | 0 | -911690 lb | 0 0 0.00 | 1577.85/1578.23 c | 1578.24 | 0 | -911689 lb | 0 0 0.00 | 1581.55/1581.95 c | 1581.95 | 0 | -911688 lb | 0 0 0.00 | 1585.15/1585.53 c | 1585.54 | 0 | -911687 lb | 0 0 0.00 | 1590.05/1590.48 c | 1590.49 | 0 | -911686 lb | 0 0 0.00 | 1593.45/1593.81 c | 1593.81 | 0 | -911685 lb | 0 0 0.00 | 1598.26/1598.66 c | 1598.67 | 0 | -911684 lb | 0 0 0.00 | 1602.55/1602.93 c | 1602.94 | 0 | -911681 lb | 0 0 0.00 | 1607.95/1608.38 c | 1608.38 | 0 | -911680 lb | 0 0 0.00 | 1613.85/1614.26 c | 1614.27 | 0 | -911679 lb | 0 0 0.00 | 1619.15/1619.56 c | 1619.57 | 0 | -911678 lb | 0 0 0.00 | 1624.04/1624.40 c | 1624.40 | 0 | -911677 lb | 0 0 0.00 | 1628.25/1628.69 c | 1628.69 | 0 | -911676 lb | 0 0 0.00 | 1632.15/1632.50 c | 1632.51 | 0 | -911675 lb | 0 0 0.00 | 1651.44/1651.81 c | 1651.81 | 0 | -911674 lb | 0 0 0.00 | 1656.34/1656.74 c | 1656.75 | 0 | -911673 lb | 0 0 0.00 | 1660.04/1660.46 c | 1660.47 | 0 | -911672 lb | 0 0 0.00 | 1662.64/1663.00 c | 1663.01 | 0 | -911671 lb | 0 0 0.00 | 1666.54/1666.99 c | 1667.00 | 0 | -911670 lb | 0 0 0.00 | 1668.84/1669.22 c | 1669.22 | 0 | -911669 lb | 0 0 0.00 | 1672.64/1673.09 c | 1673.09 | 0 | -911668 lb | 0 0 0.00 | 1676.94/1677.39 c | 1677.39 | 0 | -911667 lb | 0 0 0.00 | 1681.64/1682.07 c | 1682.08 | 0 | -911664 lb | 0 0 0.00 | 1686.63/1687.00 c | 1687.00 | 0 | -911663 lb | 0 0 0.00 | 1691.73/1692.13 c | 1692.14 | 0 | -911662 lb | 0 0 0.00 | 1695.84/1696.23 c | 1696.23 | 0 | -911661 lb | 0 0 0.00 | 1700.23/1700.66 c | 1700.67 | 0 | -911660 lb | 0 0 0.00 | 1703.13/1703.52 c | 1703.52 | 0 | -911659 lb | 0 0 0.00 | 1707.64/1708.09 c | 1708.09 | 0 | -911658 lb | 0 0 0.00 | 1723.53/1724.00 c | 1724.00 | 0 | -911657 lb | 0 0 0.00 | 1726.43/1726.83 c | 1726.83 | 0 | -911656 lb | 0 0 0.00 | 1731.33/1731.76 c | 1731.76 | 0 | -911655 lb | 0 0 0.00 | 1733.72/1734.13 c | 1734.14 | 0 | -911654 lb | 0 0 0.00 | 1736.83/1737.22 c | 1737.22 | 0 | -911653 lb | 0 0 0.00 | 1741.73/1742.16 c | 1742.16 | 0 | -911652 lb | 0 0 0.00 | 1746.83/1747.26 c | 1747.26 | 0 | -911651 lb | 0 0 0.00 | 1751.12/1751.51 c | 1751.52 | 0 | -911650 lb | 0 0 0.00 | 1753.73/1754.16 c | 1754.17 | 0 | -911649 lb | 0 0 0.00 | 1757.82/1758.27 c | 1758.27 | 0 | -911648 lb | 0 0 0.00 | 1763.52/1763.90 c | 1763.91 | 0 | -911647 lb | 0 0 0.00 | 1767.83/1768.20 c | 1768.20 | 0 | -911646 lb | 0 0 0.00 | 1772.13/1772.56 c | 1772.56 | 0 | -911645 lb | 0 0 0.00 | 1777.13/1777.50 c | 1777.51 | 0 | -911644 lb | 0 0 0.00 | 1781.13/1781.59 c | 1781.59 | 0 | -911643 lb | 0 0 0.00 | 1785.72/1786.17 c | 1786.17 | 0 | -911642 lb | 0 0 0.00 | 1790.22/1790.65 c | 1790.66 | 0 | -911641 lb | 0 0 0.00 | 1799.72/1800.10 c =============================================================================== 1799.72/1800.10 c Wall Clock Time: 1800.10 s 1799.72/1800.10 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-3705593-1338165438/watcher-3705593-1338165438 -o /tmp/evaluation-result-3705593-1338165438/solver-3705593-1338165438 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705593-1338165438.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/176 14815 /proc/meminfo: memFree=29323460/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=31820 CPUtime=0 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) R 14813 14815 14387 0 -1 4202496 576 0 0 0 0 0 0 0 20 0 1 0 282672400 32583680 529 33554432000 4194304 5963574 140737094505616 140737094503560 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 7955 529 174 432 0 627 0 [startup+0.0471829 s] /proc/loadavg: 2.00 2.00 2.00 3/176 14815 /proc/meminfo: memFree=29323460/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=37720 CPUtime=0.04 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) R 14813 14815 14387 0 -1 4202496 2001 0 0 0 4 0 0 0 20 0 1 0 282672400 38625280 1954 33554432000 4194304 5963574 140737094505616 140737094503560 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 9430 1954 317 432 0 2102 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 37720 [startup+0.100313 s] /proc/loadavg: 2.00 2.00 2.00 3/176 14815 /proc/meminfo: memFree=29323460/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=42360 CPUtime=0.09 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) R 14813 14815 14387 0 -1 4202496 3378 0 0 0 9 0 0 0 20 0 1 0 282672400 43376640 3217 33554432000 4194304 5963574 140737094505616 140737094503560 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 10590 3217 491 432 0 3262 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42360 [startup+0.300309 s] /proc/loadavg: 2.00 2.00 2.00 3/176 14815 /proc/meminfo: memFree=29323460/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=53540 CPUtime=0.29 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) R 14813 14815 14387 0 -1 4202496 6989 0 0 0 28 1 0 0 20 0 1 0 282672400 54824960 6691 33554432000 4194304 5963574 140737094505616 140737094503560 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 13385 6691 1082 432 0 6057 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 53540 [startup+0.700276 s] /proc/loadavg: 2.00 2.00 2.00 3/176 14815 /proc/meminfo: memFree=29323460/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=86144 CPUtime=0.69 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) R 14813 14815 14387 0 -1 4202496 16083 0 0 0 66 3 0 0 20 0 1 0 282672400 88211456 15127 33554432000 4194304 5963574 140737094505616 140737094503960 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 21536 15127 2237 432 0 14208 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 86144 [startup+1.50026 s] /proc/loadavg: 2.00 2.00 2.00 2/171 14840 /proc/meminfo: memFree=29881192/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=134920 CPUtime=1.48 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) R 14813 14815 14387 0 -1 4202496 29338 0 0 0 144 4 0 0 20 0 1 0 282672400 138158080 28860 33554432000 4194304 5963574 140737094505616 140737094503960 5135572 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 33730 28860 4002 432 0 26402 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 134920 [startup+3.10017 s] /proc/loadavg: 2.00 2.00 2.00 3/176 14854 /proc/meminfo: memFree=29763380/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=293132 CPUtime=3.08 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 52133 0 0 0 298 10 0 0 20 0 2 0 282672400 300167168 48279 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 73283 48279 177 432 0 72848 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 293132 [startup+6.30036 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14856 /proc/meminfo: memFree=29073232/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=565652 CPUtime=6.29 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 115088 0 0 0 604 25 0 0 20 0 2 0 282672400 579227648 128818 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 141413 128818 194 432 0 140978 0 [pid=14815/tid=14855] ppid=14813 vsize=565652 CPUtime=3.21 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 67815 0 0 0 306 15 0 0 20 0 2 0 282672707 579227648 128818 33554432000 4194304 5963574 140737094505616 139827629373736 4222474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 565652 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14856 /proc/meminfo: memFree=28915232/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=565652 CPUtime=12.68 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 118888 0 0 0 1241 27 0 0 20 0 2 0 282672400 579227648 128507 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 141413 128507 195 432 0 140978 0 [pid=14815/tid=14855] ppid=14813 vsize=565652 CPUtime=9.61 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 71615 0 0 0 943 18 0 0 20 0 2 0 282672707 579227648 128507 33554432000 4194304 5963574 140737094505616 139827629373976 5133477 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 565652 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14856 /proc/meminfo: memFree=28821956/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=565652 CPUtime=25.49 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 140609 0 0 0 2513 36 0 0 20 0 2 0 282672400 579227648 129197 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 141413 129197 195 432 0 140978 0 [pid=14815/tid=14855] ppid=14813 vsize=565652 CPUtime=22.42 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 93336 0 0 0 2215 27 0 0 20 0 2 0 282672707 579227648 129197 33554432000 4194304 5963574 140737094505616 139827629373784 5243495 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 565652 [startup+51.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14856 /proc/meminfo: memFree=28772600/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=696724 CPUtime=51.08 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 151389 0 0 0 5065 43 0 0 20 0 2 0 282672400 713445376 157985 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 174181 157985 195 432 0 173746 0 [pid=14815/tid=14855] ppid=14813 vsize=696724 CPUtime=48.01 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 104116 0 0 0 4767 34 0 0 20 0 2 0 282672707 713445376 157985 33554432000 4194304 5963574 140737094505616 139827629373848 5130053 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 696724 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14856 /proc/meminfo: memFree=28532472/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=909852 CPUtime=102.28 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 180959 0 0 0 10171 57 0 0 20 0 2 0 282672400 931688448 200009 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 227463 200009 196 432 0 227028 0 [pid=14815/tid=14855] ppid=14813 vsize=909852 CPUtime=99.22 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 133686 0 0 0 9873 49 0 0 20 0 2 0 282672707 931688448 200009 33554432000 4194304 5963574 140737094505616 139827629373736 5141661 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 909852 [startup+162.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 14856 /proc/meminfo: memFree=28278956/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=1106460 CPUtime=162.26 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 195807 0 0 0 16156 70 0 0 20 0 2 0 282672400 1133015040 243384 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 276615 243384 196 432 0 276180 0 [pid=14815/tid=14855] ppid=14813 vsize=1106460 CPUtime=159.21 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 148534 0 0 0 15858 63 0 0 20 0 2 0 282672707 1133015040 243384 33554432000 4194304 5963574 140737094505616 139827629373976 5129994 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 1106460 [startup+222.3 s] /proc/loadavg: 2.02 2.01 2.00 3/178 14860 /proc/meminfo: memFree=28173664/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=1171996 CPUtime=222.24 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 204950 0 0 0 22143 81 0 0 20 0 2 0 282672400 1200123904 259099 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 292999 259099 196 432 0 292564 0 [pid=14815/tid=14855] ppid=14813 vsize=1171996 CPUtime=219.2 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 157677 0 0 0 21844 76 0 0 20 0 2 0 282672707 1200123904 259099 33554432000 4194304 5963574 140737094505616 139827629373976 5133477 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 1171996 [startup+282.3 s] /proc/loadavg: 2.08 2.02 2.01 3/177 14860 /proc/meminfo: memFree=28097320/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=1286664 CPUtime=282.23 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 213481 0 0 0 28132 91 0 0 20 0 2 0 282672400 1317543936 275605 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 321666 275605 197 432 0 321231 0 [pid=14815/tid=14855] ppid=14813 vsize=1286664 CPUtime=279.19 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 166208 0 0 0 27833 86 0 0 20 0 2 0 282672707 1317543936 275605 33554432000 4194304 5963574 140737094505616 139827629374280 4405909 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 1286664 [startup+342.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 14860 /proc/meminfo: memFree=28000836/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=1376808 CPUtime=342.2 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 229959 0 0 0 34116 104 0 0 20 0 2 0 282672400 1409851392 299688 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 344202 299688 197 432 0 343767 0 [pid=14815/tid=14855] ppid=14813 vsize=1376808 CPUtime=339.17 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 182686 0 0 0 33816 101 0 0 20 0 2 0 282672707 1409851392 299688 33554432000 4194304 5963574 140737094505616 139827629373976 4403192 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1376808 [startup+402.3 s] /proc/loadavg: 2.05 2.02 2.00 3/177 14860 /proc/meminfo: memFree=27934484/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=1507880 CPUtime=402.17 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 235255 0 0 0 40106 111 0 0 20 0 2 0 282672400 1544069120 316106 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 376970 316106 197 432 0 376535 0 [pid=14815/tid=14855] ppid=14813 vsize=1507880 CPUtime=399.16 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 187982 0 0 0 39808 108 0 0 20 0 2 0 282672707 1544069120 316106 33554432000 4194304 5963574 140737094505616 139827629373976 5121510 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1507880 [startup+462.3 s] /proc/loadavg: 2.05 2.03 2.00 3/177 14860 /proc/meminfo: memFree=27822692/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=1573416 CPUtime=462.15 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 242702 0 0 0 46098 117 0 0 20 0 2 0 282672400 1611177984 332435 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 393354 332435 197 432 0 392919 0 [pid=14815/tid=14855] ppid=14813 vsize=1573416 CPUtime=459.15 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 195429 0 0 0 45801 114 0 0 20 0 2 0 282672707 1611177984 332435 33554432000 4194304 5963574 140737094505616 139827629373976 5121530 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 ################ # More data... # ################ /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 289043 0 0 0 123700 213 0 0 20 0 2 0 282672707 2486472704 516486 33554432000 4194304 5963574 140737094505616 139827629373704 4392418 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1242.03 Current children cumulated vsize (KiB) 2428196 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14866 /proc/meminfo: memFree=26961424/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=2572860 CPUtime=1302.03 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 344817 0 0 0 129990 213 0 0 20 0 2 0 282672400 2634608640 542454 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 643215 542454 197 432 0 642780 0 [pid=14815/tid=14855] ppid=14813 vsize=2572860 CPUtime=1299.14 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 297544 0 0 0 129691 223 0 0 20 0 2 0 282672707 2634608640 542454 33554432000 4194304 5963574 140737094505616 139827629373976 5141661 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1302.03 Current children cumulated vsize (KiB) 2572860 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14866 /proc/meminfo: memFree=26882292/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=2638396 CPUtime=1362.01 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 348096 0 0 0 135983 218 0 0 20 0 2 0 282672400 2701717504 549327 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 659599 549327 197 432 0 659164 0 [pid=14815/tid=14855] ppid=14813 vsize=2638396 CPUtime=1359.13 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 300823 0 0 0 135684 229 0 0 20 0 2 0 282672707 2701717504 549327 33554432000 4194304 5963574 140737094505616 139827629373848 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 2638396 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14869 /proc/meminfo: memFree=26816796/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=2703932 CPUtime=1422 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 351665 0 0 0 141978 222 0 0 20 0 2 0 282672400 2768826368 565678 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 675983 565678 197 432 0 675548 0 [pid=14815/tid=14855] ppid=14813 vsize=2703932 CPUtime=1419.13 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 304392 0 0 0 141679 234 0 0 20 0 2 0 282672707 2768826368 565678 33554432000 4194304 5963574 140737094505616 139827629373976 5130053 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1422 Current children cumulated vsize (KiB) 2703932 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14893 /proc/meminfo: memFree=26739752/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=2835004 CPUtime=1481.97 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 356038 0 0 0 147969 228 0 0 20 0 2 0 282672400 2903044096 584821 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 708751 584821 197 432 0 708316 0 [pid=14815/tid=14855] ppid=14813 vsize=2835004 CPUtime=1479.11 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 308765 0 0 0 147669 242 0 0 20 0 2 0 282672707 2903044096 584821 33554432000 4194304 5963574 140737094505616 139827629373736 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 2835004 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14893 /proc/meminfo: memFree=26763144/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=2769468 CPUtime=1541.96 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 356645 0 0 0 153965 231 0 0 20 0 2 0 282672400 2835935232 578878 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 692367 578878 197 432 0 691932 0 [pid=14815/tid=14855] ppid=14813 vsize=2769468 CPUtime=1539.11 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 309372 0 0 0 153665 246 0 0 20 0 2 0 282672707 2835935232 578878 33554432000 4194304 5963574 140737094505616 139827629374280 4402879 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1541.96 Current children cumulated vsize (KiB) 2769468 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14893 /proc/meminfo: memFree=26715296/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=2802276 CPUtime=1601.95 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 358120 0 0 0 159961 234 0 0 20 0 2 0 282672400 2869530624 590989 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 700569 590989 197 432 0 700134 0 [pid=14815/tid=14855] ppid=14813 vsize=2802276 CPUtime=1599.11 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 310847 0 0 0 159662 249 0 0 20 0 2 0 282672707 2869530624 590989 33554432000 4194304 5963574 140737094505616 139827629373704 4392399 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1601.95 Current children cumulated vsize (KiB) 2802276 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14893 /proc/meminfo: memFree=26679100/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=2859528 CPUtime=1661.94 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 364816 0 0 0 165955 239 0 0 20 0 2 0 282672400 2928156672 599975 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 714882 599975 197 432 0 714447 0 [pid=14815/tid=14855] ppid=14813 vsize=2859528 CPUtime=1659.1 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 317543 0 0 0 165655 255 0 0 20 0 2 0 282672707 2928156672 599975 33554432000 4194304 5963574 140737094505616 139827629373784 4403183 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1661.94 Current children cumulated vsize (KiB) 2859528 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14893 /proc/meminfo: memFree=26625168/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=2933352 CPUtime=1721.93 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 367420 0 0 0 171942 251 0 0 20 0 2 0 282672400 3003752448 613319 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 733338 613319 197 432 0 732903 0 [pid=14815/tid=14855] ppid=14813 vsize=2933352 CPUtime=1719.1 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 320147 0 0 0 171642 268 0 0 20 0 2 0 282672707 3003752448 613319 33554432000 4194304 5963574 140737094505616 139827629374392 4392454 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1721.93 Current children cumulated vsize (KiB) 2933352 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14894 /proc/meminfo: memFree=26612808/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=3035800 CPUtime=1781.92 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 372044 0 0 0 177920 272 0 0 20 0 2 0 282672400 3108659200 629247 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 758950 629247 197 432 0 758515 0 [pid=14815/tid=14855] ppid=14813 vsize=3035800 CPUtime=1779.1 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 324771 0 0 0 177620 290 0 0 20 0 2 0 282672707 3108659200 629247 33554432000 4194304 5963574 140737094505616 139827629373784 5138318 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1781.92 Current children cumulated vsize (KiB) 3035800 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.08 2.02 2.01 3/178 14894 /proc/meminfo: memFree=26649916/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=2933352 CPUtime=1791.53 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 374237 0 0 0 178877 276 0 0 20 0 2 0 282672400 3003752448 613319 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 733338 613319 197 432 0 732903 0 [pid=14815/tid=14855] ppid=14813 vsize=2933352 CPUtime=1788.71 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 326964 0 0 0 178577 294 0 0 20 0 2 0 282672707 3003752448 613319 33554432000 4194304 5963574 140737094505616 139827629373848 5121530 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1791.53 Current children cumulated vsize (KiB) 2933352 [startup+1795.1 s] /proc/loadavg: 2.08 2.02 2.01 3/178 14894 /proc/meminfo: memFree=26676788/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=2933352 CPUtime=1794.73 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 374237 0 0 0 179197 276 0 0 20 0 2 0 282672400 3003752448 613319 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 733338 613319 197 432 0 732903 0 [pid=14815/tid=14855] ppid=14813 vsize=2933352 CPUtime=1791.91 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 326964 0 0 0 178897 294 0 0 20 0 2 0 282672707 3003752448 613319 33554432000 4194304 5963574 140737094505616 139827629374392 4399482 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1794.73 Current children cumulated vsize (KiB) 2933352 [startup+1798.3 s] /proc/loadavg: 2.07 2.02 2.00 3/178 14894 /proc/meminfo: memFree=26676912/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=2933352 CPUtime=1797.92 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 374237 0 0 0 179516 276 0 0 20 0 2 0 282672400 3003752448 613319 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 733338 613319 197 432 0 732903 0 [pid=14815/tid=14855] ppid=14813 vsize=2933352 CPUtime=1795.1 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 326964 0 0 0 179216 294 0 0 20 0 2 0 282672707 3003752448 613319 33554432000 4194304 5963574 140737094505616 139827629374392 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 2933352 [startup+1799.1 s] /proc/loadavg: 2.07 2.02 2.00 3/178 14894 /proc/meminfo: memFree=26676912/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=2933352 CPUtime=1798.72 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 374237 0 0 0 179596 276 0 0 20 0 2 0 282672400 3003752448 613319 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 733338 613319 197 432 0 732903 0 [pid=14815/tid=14855] ppid=14813 vsize=2933352 CPUtime=1795.9 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 326964 0 0 0 179296 294 0 0 20 0 2 0 282672707 3003752448 613319 33554432000 4194304 5963574 140737094505616 139827629374392 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1798.72 Current children cumulated vsize (KiB) 2933352 [startup+1799.9 s] /proc/loadavg: 2.07 2.02 2.00 3/178 14894 /proc/meminfo: memFree=26676912/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=2933352 CPUtime=1799.52 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 374237 0 0 0 179676 276 0 0 20 0 2 0 282672400 3003752448 613319 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 733338 613319 197 432 0 732903 0 [pid=14815/tid=14855] ppid=14813 vsize=2933352 CPUtime=1796.7 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 326964 0 0 0 179376 294 0 0 20 0 2 0 282672707 3003752448 613319 33554432000 4194304 5963574 140737094505616 139827629374392 4387487 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.52 Current children cumulated vsize (KiB) 2933352 [startup+1800.1 s] /proc/loadavg: 2.07 2.02 2.00 3/178 14894 /proc/meminfo: memFree=26676912/32873844 swapFree=7112/7112 [pid=14815] ppid=14813 vsize=2933352 CPUtime=1799.72 cores=1,3,5,7 /proc/14815/stat : 14815 (wbo1.7) S 14813 14815 14387 0 -1 4202496 374237 0 0 0 179696 276 0 0 20 0 2 0 282672400 3003752448 613319 33554432000 4194304 5963574 140737094505616 140737094505136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/14815/statm: 733338 613319 197 432 0 732903 0 [pid=14815/tid=14855] ppid=14813 vsize=2933352 CPUtime=1796.9 cores=1,3,5,7 /proc/14815/task/14855/stat : 14855 (wbo1.7) R 14813 14815 14387 0 -1 4202560 326964 0 0 0 179396 294 0 0 20 0 2 0 282672707 3003752448 613319 33554432000 4194304 5963574 140737094505616 139827629374392 4222330 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.72 Current children cumulated vsize (KiB) 2933352 Child status: 255 Real time (s): 1800.12 CPU time (s): 1800.01 CPU user time (s): 1796.95 CPU system time (s): 3.06453 CPU usage (%): 99.994 Max. virtual memory (cumulated for all children) (KiB): 3101336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.95 system time used= 3.06453 maximum resident set size= 2578384 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 374237 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= 110 involuntary context switches= 1836 runsolver used 2.71859 second user time and 7.15391 second system time The end
Begin job on node104 at 2012-05-28 02:37:18 IDJOB=3705593 IDBENCH=91127 IDSOLVER=2283 FILE ID=node104/3705593-1338165438 RUNJOBID= node104-1338158234-14404 PBS_JOBID= 14624539 Free space on /tmp= 70972 MiB SOLVER NAME= wbo 1.7 BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null50mast_rapportOE1.0_TMAX15_K192_cod2.opb COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705593-1338165438/watcher-3705593-1338165438 -o /tmp/evaluation-result-3705593-1338165438/solver-3705593-1338165438 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705593-1338165438.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bddfe521cf91a77d0e4de5a51a3aa343 RANDOM SEED=483147645 node104.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.266 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.53 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.266 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.266 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.266 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.92 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.266 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.266 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.266 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.266 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.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29323460 kB Buffers: 359588 kB Cached: 1745660 kB SwapCached: 1120 kB Active: 1798148 kB Inactive: 905188 kB Active(anon): 590380 kB Inactive(anon): 9936 kB Active(file): 1207768 kB Inactive(file): 895252 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67106684 kB Dirty: 32988 kB Writeback: 32 kB AnonPages: 612176 kB Mapped: 15000 kB Shmem: 196 kB Slab: 697164 kB SReclaimable: 139516 kB SUnreclaim: 557648 kB KernelStack: 1456 kB PageTables: 5084 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 286560 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 571392 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= 70968 MiB End job on node104 at 2012-05-28 03:07:19