Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Black Hole SAT 2011-03-08 | ? (TO) | 1300.06 | 1300.02 |
Name | manol-pipe-f7nidw.cnf |
MD5SUM | b950ebec64dc35544d8f8bf6957e7bc2 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 27.7028 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 310434 |
Number of clauses | 923497 |
Sum of the clauses size | 2154825 |
Maximum clause length | 3 |
Minimum clause length | 1 |
Number of clauses of size 1 | 1 |
Number of clauses of size 2 | 615664 |
Number of clauses of size 3 | 307832 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
1.38/1.47 c RESTART 1.68/1.72 c RESTART 1.98/2.08 c RESTART 2.58/2.61 c RESTART 3.48/3.55 c RESTART 4.30/4.32 c RESTART 4.59/4.70 c RESTART 5.19/5.26 c RESTART 6.09/6.10 c RESTART 7.49/7.50 c RESTART 8.49/8.56 c RESTART 8.80/8.81 c RESTART 8.99/9.04 c RESTART 9.29/9.39 c RESTART 9.59/9.67 c RESTART 9.80/9.88 c RESTART 10.19/10.22 c RESTART 10.49/10.53 c RESTART 10.90/10.91 c RESTART 11.09/11.15 c RESTART 11.39/11.43 c RESTART 11.69/11.70 c RESTART 11.89/11.92 c RESTART 12.19/12.27 c RESTART 12.49/12.57 c RESTART 12.79/12.85 c RESTART 13.20/13.20 c RESTART 13.69/13.70 c RESTART 13.89/13.97 c RESTART 14.29/14.37 c RESTART 14.59/14.68 c RESTART 15.09/15.15 c RESTART 15.30/15.36 c RESTART 15.69/15.71 c RESTART 16.09/16.18 c RESTART 16.40/16.45 c RESTART 16.59/16.67 c RESTART 16.79/16.87 c RESTART 16.99/17.06 c RESTART 17.19/17.23 c RESTART 17.39/17.42 c RESTART 17.69/17.70 c RESTART 17.89/17.99 c RESTART 18.59/18.60 c RESTART 19.09/19.10 c RESTART 19.49/19.50 c RESTART 19.69/19.74 c RESTART 20.19/20.27 c RESTART 20.69/20.70 c RESTART 21.19/21.27 c RESTART 21.79/21.81 c RESTART 22.29/22.36 c RESTART 22.59/22.61 c RESTART 23.09/23.14 c RESTART 23.59/23.61 c RESTART 24.19/24.21 c RESTART 24.69/24.76 c RESTART 24.99/25.04 c RESTART 25.29/25.37 c RESTART 25.59/25.68 c RESTART 26.19/26.29 c RESTART 26.49/26.57 c RESTART 26.69/26.77 c RESTART 27.29/27.35 c RESTART 27.39/27.47 c RESTART 27.69/27.78 c RESTART 27.99/28.05 c RESTART 28.29/28.38 c RESTART 28.69/28.75 c RESTART 28.89/28.98 c RESTART 29.29/29.32 c RESTART 29.59/29.67 c RESTART 30.29/30.35 c RESTART 30.59/30.66 c RESTART 30.79/30.88 c RESTART 30.99/31.01 c RESTART 31.09/31.15 c RESTART 31.39/31.47 c RESTART 31.69/31.76 c RESTART 32.19/32.22 c RESTART 32.39/32.44 c RESTART 32.79/32.85 c RESTART 33.29/33.36 c RESTART 33.49/33.57 c RESTART 34.39/34.42 c RESTART 34.69/34.72 c RESTART 35.09/35.18 c RESTART 35.29/35.37 c RESTART 35.89/35.94 c RESTART 36.29/36.32 c RESTART 36.69/36.70 c RESTART 36.89/36.95 c RESTART 37.19/37.26 c RESTART 37.69/37.74 c RESTART 37.89/37.90 c RESTART 37.99/38.08 c RESTART 38.29/38.33 c RESTART 38.49/38.52 c RESTART 38.79/38.81 c RESTART 38.99/39.03 c RESTART 39.19/39.27 c RESTART 39.59/39.66 c RESTART 39.99/40.06 c RESTART 40.69/40.76 c RESTART 40.89/40.99 c RESTART 41.19/41.26 c RESTART 41.49/41.53 c RESTART 42.59/42.65 c RESTART 43.09/43.16 c RESTART 43.49/43.51 c RESTART 43.69/43.71 c RESTART 43.99/44.10 c RESTART 44.19/44.24 c RESTART 44.69/44.73 c RESTART 44.99/45.05 c RESTART 45.19/45.23 c RESTART 45.39/45.42 c RESTART 45.59/45.64 c RESTART 45.89/45.97 c RESTART 46.29/46.33 c RESTART 46.69/46.70 c RESTART 46.89/46.98 c RESTART 47.29/47.31 c RESTART 47.59/47.61 c RESTART 47.99/48.03 c RESTART 48.39/48.44 c RESTART 49.09/49.12 c RESTART 49.29/49.35 c RESTART 49.49/49.53 c RESTART 49.69/49.72 c RESTART 49.89/49.95 c RESTART 50.19/50.20 c RESTART 50.39/50.45 c RESTART 50.59/50.62 c RESTART 50.79/50.80 c RESTART 50.89/50.97 c RESTART 51.49/51.57 c RESTART 51.69/51.75 c RESTART 51.79/51.83 c RESTART 52.29/52.32 c RESTART 52.59/52.61 c RESTART 52.69/52.78 c RESTART 52.99/53.06 c RESTART 53.59/53.68 c RESTART 53.79/53.83 c RESTART 53.99/54.00 c RESTART 54.19/54.25 c RESTART 54.59/54.66 c RESTART 56.19/56.26 c RESTART 56.49/56.56 c RESTART 56.79/56.84 c RESTART 56.99/57.03 c RESTART 57.29/57.36 c RESTART 57.59/57.63 c RESTART 57.79/57.84 c RESTART 57.99/58.09 c RESTART 58.29/58.32 c RESTART 58.59/58.60 c RESTART 58.69/58.79 c RESTART 59.40/59.43 c RESTART 60.00/60.01 c RESTART 60.50/60.58 c RESTART 60.70/60.74 c RESTART 60.90/60.90 c RESTART 61.00/61.04 c RESTART 61.40/61.42 c RESTART 61.60/61.65 c RESTART 61.70/61.73 c RESTART 62.00/62.06 c RESTART 62.40/62.46 c RESTART 62.70/62.76 c RESTART 63.00/63.01 c RESTART 63.10/63.19 c RESTART 64.30/64.32 c RESTART 64.60/64.61 c RESTART 65.00/65.07 c RESTART 65.50/65.50 c RESTART 65.70/65.78 c RESTART 66.00/66.08 c RESTART 66.50/66.59 c RESTART 66.90/66.94 c RESTART 67.00/67.09 c RESTART 67.40/67.49 c RESTART 67.70/67.72 c RESTART 68.40/68.48 c RESTART 68.90/68.98 c RESTART 69.20/69.25 c RESTART 69.40/69.47 c RESTART 69.60/69.67 c RESTART 70.70/70.77 c RESTART 71.00/71.04 c RESTART 71.50/71.58 c RESTART 71.80/71.80 c RESTART 72.20/72.26 c RESTART 72.50/72.54 c RESTART 73.30/73.37 c RESTART 73.80/73.86 c RESTART 74.20/74.21 c RESTART 74.40/74.46 c RESTART 75.00/75.01 c RESTART 75.50/75.57 c RESTART 76.00/76.00 c RESTART 76.40/76.45 c RESTART 76.80/76.86 c RESTART 77.30/77.37 c RESTART 77.80/77.81 c RESTART 78.60/78.60 c RESTART 79.29/79.39 c RESTART 79.50/79.59 c RESTART 79.80/79.84 c RESTART 80.00/80.04 c RESTART 80.40/80.41 c RESTART 80.70/80.70 c RESTART 80.90/80.95 c RESTART 81.10/81.19 c RESTART 81.40/81.49 c RESTART 81.60/81.68 c RESTART 81.80/81.86 c RESTART 82.40/82.44 c RESTART 82.70/82.74 c RESTART 83.20/83.22 c RESTART 83.50/83.58 c RESTART 83.90/83.95 c RESTART 84.30/84.38 c RESTART 84.70/84.75 c RESTART 85.10/85.10 c RESTART 85.40/85.44 c RESTART 85.59/85.67 c RESTART 85.80/85.89 c RESTART 86.09/86.11 c RESTART 87.09/87.18 c RESTART 87.59/87.69 c RESTART 88.00/88.05 c RESTART 88.49/88.58 c RESTART 88.79/88.87 c RESTART 89.39/89.41 c RESTART 89.69/89.71 c RESTART 90.10/90.20 c RESTART 90.40/90.44 c RESTART 90.70/90.74 c RESTART 91.00/91.02 c RESTART 91.40/91.48 c RESTART 91.60/91.67 c RESTART 92.10/92.13 c RESTART 94.69/94.75 c RESTART 95.09/95.13 c RESTART 95.39/95.40 c RESTART 95.60/95.63 c RESTART 95.80/95.84 c RESTART 96.20/96.27 c RESTART 96.40/96.49 c RESTART 96.60/96.67 c RESTART 96.80/96.88 c RESTART 97.20/97.27 c RESTART 97.70/97.71 c RESTART 97.90/97.96 c RESTART 98.20/98.21 c RESTART 98.50/98.57 c RESTART 98.79/98.85 c RESTART 99.00/99.08 c RESTART 99.39/99.40 c RESTART 99.69/99.78 c RESTART 100.10/100.14 c RESTART 100.39/100.43 c RESTART 100.69/100.74 c RESTART 100.89/100.99 c RESTART 101.10/101.17 c RESTART 101.50/101.55 c RESTART 101.80/101.86 c RESTART 102.10/102.16 c RESTART 102.40/102.43 c RESTART 102.80/102.85 c RESTART 103.20/103.22 c RESTART 103.60/103.60 c RESTART 103.80/103.83 c RESTART 104.10/104.18 c RESTART 104.40/104.45 c RESTART 104.70/104.79 c RESTART 105.00/105.09 c RESTART 105.10/105.19 c RESTART 105.30/105.39 c RESTART 105.89/105.96 c RESTART 106.19/106.20 c RESTART 106.60/106.64 c RESTART 107.20/107.29 c RESTART 107.60/107.70 c RESTART 108.00/108.07 c RESTART 108.80/108.88 c RESTART 109.30/109.35 c RESTART 109.70/109.74 c RESTART 110.30/110.30 c RESTART 110.50/110.54 c RESTART 110.90/110.93 c RESTART 111.40/111.41 c RESTART 111.70/111.73 c RESTART 112.10/112.12 c RESTART 112.30/112.35 c RESTART 112.50/112.54 c RESTART 112.70/112.79 c RESTART 113.00/113.03 c RESTART 113.20/113.23 c RESTART 113.60/113.63 c RESTART 113.90/113.95 c RESTART 114.10/114.15 c RESTART 114.30/114.34 c RESTART 114.90/114.97 c RESTART 115.50/115.56 c RESTART 115.80/115.82 c RESTART 116.10/116.12 c RESTART 116.50/116.53 c RESTART 116.80/116.81 c RESTART 117.00/117.08 c RESTART 117.30/117.33 c RESTART 118.20/118.20 c RESTART 118.70/118.72 c RESTART 119.20/119.20 c RESTART 119.40/119.43 c RESTART 120.10/120.13 c RESTART 120.60/120.62 c RESTART 120.90/120.96 c RESTART 121.20/121.25 c RESTART 121.40/121.49 c RESTART 121.70/121.71 c RESTART 122.00/122.00 c RESTART 122.20/122.25 c RESTART 122.50/122.53 c RESTART 122.80/122.81 c RESTART 123.10/123.14 c RESTART 123.30/123.35 c RESTART 123.50/123.55 c RESTART 123.60/123.69 c RESTART 124.10/124.17 c RESTART 124.50/124.56 c RESTART 125.20/125.20 c RESTART 125.40/125.44 c RESTART 125.90/125.98 c RESTART 126.10/126.15 c RESTART 126.40/126.45 c RESTART 126.60/126.67 c RESTART 126.90/126.94 c RESTART 127.30/127.30 c RESTART 127.50/127.54 c RESTART 127.70/127.73 c RESTART 128.20/128.26 c RESTART 128.60/128.64 c RESTART 128.90/128.94 c RESTART 129.20/129.26 c RESTART 129.40/129.41 c RESTART 129.80/129.83 c RESTART 130.20/130.29 c RESTART 130.80/130.87 c RESTART 131.00/131.03 c RESTART 131.30/131.30 c RESTART 131.40/131.49 c RESTART 131.90/131.98 c RESTART 132.30/132.30 c RESTART 132.50/132.53 c RESTART 132.80/132.83 c RESTART 133.00/133.08 c RESTART 133.40/133.41 c RESTART 133.60/133.63 c RESTART 133.80/133.84 c RESTART 134.50/134.55 c RESTART 135.10/135.11 c RESTART 135.30/135.31 c RESTART 135.50/135.51 c RESTART 135.90/135.92 c RESTART 136.10/136.17 c RESTART 136.40/136.45 c RESTART 136.70/136.77 c RESTART 137.00/137.02 c RESTART 137.30/137.32 c RESTART 137.50/137.58 c RESTART 137.90/137.90 c RESTART 138.10/138.12 c RESTART 138.39/138.40 c RESTART 138.60/138.66 c RESTART 138.90/138.99 c RESTART 139.40/139.46 c RESTART 139.70/139.71 c RESTART 140.00/140.06 c RESTART 140.30/140.36 c RESTART 140.50/140.57 c RESTART 141.10/141.18 c RESTART 141.40/141.43 c RESTART 141.70/141.73 c RESTART 141.90/141.98 c RESTART 142.19/142.22 c RESTART 142.49/142.53 c RESTART 142.69/142.78 c RESTART 143.59/143.61 c RESTART 143.89/143.93 c RESTART 144.19/144.25 c RESTART 144.59/144.61 c RESTART 144.89/144.94 c RESTART 145.20/145.28 c RESTART 145.49/145.50 c RESTART 145.79/145.86 c RESTART 146.49/146.55 c RESTART 146.99/147.00 c RESTART 147.19/147.23 c RESTART 147.49/147.50 c RESTART 147.79/147.84 c RESTART 148.29/148.30 c RESTART 148.50/148.55 c RESTART 148.79/148.84 c RESTART 149.29/149.33 c RESTART 149.60/149.63 c RESTART 149.79/149.83 c RESTART 149.99/150.06 c RESTART 150.29/150.32 c RESTART 150.49/150.57 c RESTART 150.89/150.99 c RESTART 151.89/151.99 c RESTART 152.29/152.32 c RESTART 152.49/152.54 c RESTART 152.99/153.05 c RESTART 153.19/153.27 c RESTART 153.39/153.43 c RESTART 153.59/153.68 c RESTART 153.90/154.00 c RESTART 154.19/154.20 c RESTART 154.49/154.52 c RESTART 154.79/154.81 c RESTART 155.19/155.29 c RESTART 155.69/155.72 c RESTART 156.39/156.41 c RESTART 158.59/158.66 c RESTART 158.99/159.00 c RESTART 159.09/159.13 c RESTART 159.40/159.46 c RESTART 159.79/159.89 c RESTART 160.09/160.14 c RESTART 160.29/160.33 c RESTART 160.50/160.50 c RESTART 160.69/160.77 c RESTART 160.89/160.90 c RESTART 161.09/161.15 c RESTART 161.29/161.39 c RESTART 161.79/161.87 c RESTART 162.19/162.24 c RESTART 162.49/162.51 c RESTART 162.80/162.84 c RESTART 162.99/163.03 c RESTART 163.39/163.40 c RESTART 163.69/163.79 c RESTART 163.90/163.95 c RESTART 164.29/164.36 c RESTART 164.90/164.93 c RESTART 165.29/165.38 c RESTART 165.69/165.76 c RESTART 165.89/165.96 c RESTART 166.10/166.17 c RESTART 166.29/166.32 c RESTART 166.49/166.50 c RESTART 166.59/166.67 c RESTART 166.89/166.97 c RESTART 167.20/167.28 c RESTART 167.49/167.50 c RESTART 167.69/167.72 c RESTART 167.79/167.84 c RESTART 168.20/168.22 c RESTART 168.59/168.64 c RESTART 169.30/169.40 c RESTART 169.79/169.82 c RESTART 169.99/170.05 c RESTART 170.50/170.56 c RESTART 170.89/170.91 c RESTART 170.99/171.07 c RESTART 171.39/171.44 c RESTART 171.89/171.98 c RESTART 172.29/172.30 c RESTART 173.09/173.13 c RESTART 173.39/173.45 c RESTART 173.70/173.75 c RESTART 174.19/174.22 c RESTART 174.59/174.68 c RESTART 174.90/174.96 c RESTART 175.09/175.18 c RESTART 175.39/175.43 c RESTART 175.69/175.73 c RESTART 175.90/175.96 c RESTART 176.29/176.32 c RESTART 176.49/176.52 c RESTART 176.69/176.70 c RESTART 177.00/177.02 c RESTART 177.29/177.34 c RESTART 177.79/177.80 c RESTART 177.99/178.06 c RESTART 178.39/178.46 c RESTART 178.69/178.73 c RESTART 179.09/179.16 c RESTART 179.49/179.52 c RESTART 179.69/179.76 c RESTART 179.99/180.00 c RESTART 180.49/180.58 c RESTART 180.79/180.83 c RESTART 181.19/181.20 c RESTART 181.29/181.34 c RESTART 181.40/181.48 c RESTART 181.89/181.98 c RESTART 182.39/182.45 c RESTART 182.69/182.76 c RESTART 182.99/183.01 c RESTART 183.39/183.49 c RESTART 183.79/183.81 c RESTART 184.09/184.12 c RESTART 184.49/184.50 c RESTART 184.59/184.64 c RESTART 184.89/184.99 c RESTART 185.19/185.22 c RESTART 185.39/185.45 c RESTART 185.59/185.66 c RESTART 185.99/186.00 c RESTART 186.59/186.62 c RESTART 186.90/186.97 c RESTART 187.49/187.50 c RESTART 187.69/187.76 c RESTART 187.89/187.92 c RESTART 188.00/188.10 c RESTART 188.39/188.41 c RESTART 188.79/188.85 c RESTART 188.99/189.08 c RESTART 189.69/189.78 c RESTART 190.20/190.20 c RESTART 190.30/190.36 c RESTART 190.99/191.01 c RESTART 191.30/191.40 c RESTART 191.59/191.63 c RESTART 191.89/191.91 c RESTART 192.40/192.50 c RESTART 192.69/192.71 c RESTART 192.89/192.98 c RESTART 193.50/193.53 c RESTART 193.69/193.78 c RESTART 194.09/194.18 c RESTART 194.60/194.61 c RESTART 194.89/194.93 c RESTART 195.39/195.45 c RESTART 195.70/195.77 c RESTART 196.09/196.17 c RESTART 196.59/196.63 c RESTART 196.80/196.85 c RESTART 198.00/198.03 c RESTART 198.29/198.34 c RESTART 198.39/198.49 c RESTART 198.69/198.77 c RESTART 199.00/199.04 c RESTART 199.29/199.31 c RESTART 199.59/199.63 c RESTART 199.79/199.88 c RESTART 200.20/200.26 c RESTART 200.49/200.53 c RESTART 200.79/200.83 c RESTART 201.09/201.17 c RESTART 202.19/202.21 c RESTART 202.59/202.63 c RESTART 203.09/203.11 c RESTART 203.69/203.72 c RESTART 203.99/204.04 c RESTART 204.39/204.42 c RESTART 204.69/204.77 c RESTART 205.60/205.66 c RESTART 205.79/205.88 c RESTART 206.09/206.17 c RESTART 206.80/206.86 c RESTART 206.89/206.99 c RESTART 207.29/207.32 c RESTART 207.69/207.75 c RESTART 208.09/208.11 c RESTART 208.19/208.27 c RESTART 208.40/208.48 c RESTART 208.80/208.83 c RESTART 209.10/209.14 c RESTART 209.40/209.44 c RESTART 209.60/209.66 c RESTART 209.80/209.88 c RESTART 210.01/210.03 c RESTART 210.20/210.28 c RESTART 210.40/210.41 c RESTART 210.70/210.71 c RESTART 210.90/210.99 c RESTART 211.30/211.32 c RESTART 211.70/211.75 c RESTART 212.00/212.04 c RESTART 212.21/212.24 c RESTART 212.40/212.42 c RESTART 212.50/212.55 c RESTART 212.70/212.75 c RESTART 213.00/213.06 c RESTART 213.41/213.44 c RESTART 213.60/213.66 c RESTART 214.00/214.07 c RESTART 214.41/214.42 c RESTART 214.80/214.85 c RESTART 215.51/215.59 c RESTART 216.50/216.57 c RESTART 216.90/216.99 c RESTART 217.40/217.44 c RESTART 217.81/217.83 c RESTART 218.00/218.05 c RESTART 218.20/218.23 c RESTART 218.40/218.43 c RESTART 218.70/218.74 c RESTART 218.91/218.94 c RESTART 219.20/219.23 c RESTART 219.40/219.44 c RESTART 219.70/219.78 c RESTART 220.01/220.07 c RESTART 220.20/220.29 c RESTART 220.40/220.43 c RESTART 220.90/220.92 c RESTART 221.40/221.49 c RESTART 221.70/221.79 c RESTART 222.21/222.25 c RESTART 222.50/222.55 c RESTART 223.00/223.03 c RESTART 223.60/223.67 c RESTART 223.90/223.92 c RESTART 224.20/224.29 c RESTART 224.60/224.60 c RESTART 224.80/224.83 c RESTART 225.00/225.08 c RESTART 225.41/225.40 c RESTART 225.70/225.78 c RESTART 226.10/226.15 c RESTART 226.40/226.44 c RESTART 226.90/226.91 c RESTART 227.10/227.18 c RESTART 228.00/228.01 c RESTART 228.81/228.82 c RESTART 229.40/229.45 c RESTART 229.81/229.82 c RESTART 230.30/230.30 c RESTART 230.50/230.59 c RESTART 230.80/230.86 c RESTART 236.30/236.37 c RESTART 236.60/236.66 c RESTART 237.00/237.05 c RESTART 237.40/237.44 c RESTART 237.70/237.77 c RESTART 238.10/238.16 c RESTART 238.30/238.38 c RESTART 238.80/238.82 c RESTART 239.71/239.77 c RESTART 240.40/240.45 c RESTART 240.70/240.72 c RESTART 241.00/241.04 c RESTART 241.40/241.42 c RESTART 241.50/241.57 c RESTART 241.91/241.91 c RESTART 242.50/242.58 c RESTART 243.01/243.00 c RESTART 243.30/243.36 c RESTART 243.60/243.65 c RESTART 243.90/243.91 c RESTART 244.00/244.08 c RESTART 244.20/244.29 c RESTART 244.50/244.51 c RESTART 244.60/244.66 c RESTART 244.90/244.92 c RESTART 245.10/245.11 c RESTART 245.50/245.52 c RESTART 245.80/245.87 c RESTART 246.10/246.19 c RESTART 246.50/246.52 c RESTART 246.90/246.94 c RESTART 247.20/247.21 c RESTART 247.40/247.46 c RESTART 247.70/247.79 c RESTART 248.00/248.06 c RESTART 248.30/248.32 c RESTART 248.90/248.91 c RESTART 249.50/249.58 c RESTART 250.10/250.14 c RESTART 250.30/250.30 c RESTART 250.40/250.47 c RESTART 250.70/250.73 c RESTART 251.00/251.02 c RESTART 251.40/251.41 c RESTART 252.20/252.22 c RESTART 252.50/252.55 c RESTART 252.80/252.80 c RESTART 253.01/253.08 c RESTART 253.20/253.28 c RESTART 253.40/253.49 c RESTART 253.80/253.85 c RESTART 254.30/254.32 c RESTART 254.40/254.46 c RESTART 254.60/254.60 c RESTART 254.80/254.90 c RESTART 255.10/255.18 c RESTART 255.40/255.48 c RESTART 255.80/255.80 c RESTART 256.20/256.29 c RESTART 256.50/256.56 c RESTART 256.90/256.90 c RESTART 257.80/257.83 c RESTART 258.20/258.24 c RESTART 258.60/258.62 c RESTART 258.80/258.89 c RESTART 259.10/259.10 c RESTART 259.40/259.41 c RESTART 259.61/259.66 c RESTART 259.80/259.82 c RESTART 260.40/260.43 c RESTART 260.80/260.81 c RESTART 261.00/261.06 c RESTART 261.20/261.29 c RESTART 261.60/261.62 c RESTART 261.90/261.93 c RESTART 262.10/262.18 c RESTART 262.50/262.53 c RESTART 263.10/263.16 c RESTART 263.40/263.44 c RESTART 263.60/263.61 c RESTART 263.80/263.89 c RESTART 264.10/264.10 c RESTART 266.11/266.19 c RESTART 267.31/267.38 c RESTART 267.70/267.73 c RESTART 267.90/267.99 c RESTART 268.31/268.35 c RESTART 268.60/268.61 c RESTART 269.00/269.02 c RESTART 269.20/269.29 c RESTART 288.90/288.97 c RESTART 289.10/289.18 c RESTART 292.30/292.38 c RESTART 293.71/293.77 c RESTART 294.71/294.76 c RESTART 295.40/295.48 c RESTART 296.20/296.25 c RESTART 296.50/296.52 c RESTART 296.70/296.76 c RESTART 297.10/297.18 c RESTART 297.40/297.40 c RESTART 297.70/297.74 c RESTART 298.11/298.11 c RESTART 298.40/298.44 c RESTART 299.00/299.09 c RESTART 299.40/299.45 c RESTART 299.50/299.58 c RESTART 299.70/299.71 c RESTART 300.50/300.57 c RESTART 300.90/300.93 c RESTART 301.20/301.27 c RESTART 301.80/301.80 c RESTART 302.30/302.32 c RESTART 302.51/302.50 c RESTART 302.80/302.83 c RESTART 303.00/303.06 c RESTART 303.20/303.29 c RESTART 303.51/303.51 c RESTART 303.70/303.76 c RESTART 304.50/304.52 c RESTART 305.20/305.29 c RESTART 305.50/305.51 c RESTART 305.81/305.86 c RESTART 306.10/306.11 c RESTART 306.30/306.36 c RESTART 306.50/306.58 c RESTART 307.10/307.16 c RESTART 307.40/307.44 c RESTART 307.80/307.81 c RESTART 308.20/308.27 c RESTART 308.50/308.56 c RESTART 309.01/309.05 c RESTART 309.50/309.56 c RESTART 309.90/309.90 c RESTART 311.60/311.63 c RESTART 311.80/311.83 c RESTART 312.00/312.07 c RESTART 312.31/312.33 c RESTART 312.60/312.61 c RESTART 312.80/312.86 c RESTART 313.00/313.02 c RESTART 313.30/313.31 c RESTART 313.70/313.70 c RESTART 314.40/314.41 c RESTART 314.61/314.63 c RESTART 314.90/314.93 c RESTART 315.10/315.12 c RESTART 315.50/315.56 c RESTART 315.80/315.88 c RESTART 316.10/316.11 c RESTART 316.30/316.34 c RESTART 316.60/316.67 c RESTART 316.90/316.96 c RESTART 317.30/317.35 c RESTART 317.50/317.54 c RESTART 317.81/317.82 c RESTART 317.91/317.96 c RESTART 318.70/318.80 c RESTART 319.01/319.03 c RESTART 319.20/319.26 c RESTART 319.50/319.53 c RESTART 319.70/319.79 c RESTART 320.01/320.03 c RESTART 320.11/320.18 c RESTART 320.50/320.51 c RESTART 320.70/320.78 c RESTART 321.00/321.03 c RESTART 321.21/321.23 c RESTART 321.40/321.44 c RESTART 321.60/321.66 c RESTART 321.90/321.94 c RESTART 322.31/322.36 c RESTART 322.60/322.65 c RESTART 322.90/322.99 c RESTART 323.31/323.34 c RESTART 323.50/323.54 c RESTART 323.80/323.81 c RESTART 324.00/324.02 c RESTART 324.20/324.28 c RESTART 324.51/324.57 c RESTART 324.80/324.81 c RESTART 325.10/325.12 c RESTART 325.40/325.46 c RESTART 325.70/325.78 c RESTART 326.10/326.11 c RESTART 326.40/326.45 c RESTART 326.80/326.82 c RESTART 327.10/327.12 c RESTART 327.50/327.51 c RESTART 327.71/327.71 c RESTART 327.90/327.91 c RESTART 328.20/328.28 c RESTART 328.50/328.57 c RESTART 328.70/328.70 c RESTART 329.00/329.03 c RESTART 329.30/329.35 c RESTART 329.50/329.52 c RESTART 329.91/329.97 c RESTART 330.30/330.33 c RESTART 330.50/330.52 c RESTART 332.90/332.99 c RESTART 333.31/333.31 c RESTART 333.70/333.79 c RESTART 333.90/333.94 c RESTART 334.10/334.18 c RESTART 334.41/334.44 c RESTART 334.70/334.73 c RESTART 335.10/335.15 c RESTART 335.41/335.40 c RESTART 335.51/335.58 c RESTART 335.90/335.91 c RESTART 336.30/336.37 c RESTART 336.61/336.61 c RESTART 336.90/336.95 c RESTART 337.40/337.40 c RESTART 337.90/337.93 c RESTART 338.30/338.37 c RESTART 338.60/338.61 c RESTART 338.90/338.91 c RESTART 340.30/340.39 c RESTART 340.70/340.77 c RESTART 341.10/341.11 c RESTART 341.30/341.30 c RESTART 341.50/341.56 c RESTART 341.80/341.81 c RESTART 342.01/342.02 c RESTART 342.40/342.46 c RESTART 342.60/342.64 c RESTART 342.80/342.81 c RESTART 343.00/343.05 c RESTART 343.21/343.29 c RESTART 343.40/343.46 c RESTART 343.60/343.69 c RESTART 343.90/343.92 c RESTART 344.31/344.34 c RESTART 344.60/344.60 c RESTART 344.60/344.69 c RESTART 344.80/344.83 c RESTART 345.10/345.16 c RESTART 345.31/345.34 c RESTART 345.70/345.78 c RESTART 346.10/346.11 c RESTART 346.41/346.43 c RESTART 346.60/346.63 c RESTART 347.70/347.70 c RESTART 347.90/347.94 c RESTART 348.50/348.57 c RESTART 349.00/349.03 c RESTART 349.81/349.84 c RESTART 350.30/350.30 c RESTART 350.40/350.49 c RESTART 350.70/350.79 c RESTART 351.00/351.10 c RESTART 351.30/351.32 c RESTART 351.50/351.50 c RESTART 351.70/351.72 c RESTART 352.10/352.17 c RESTART 353.60/353.66 c RESTART 354.00/354.00 c RESTART 354.21/354.27 c RESTART 354.50/354.55 c RESTART 355.00/355.05 c RESTART 355.31/355.39 c RESTART 355.60/355.62 c RESTART 356.00/356.05 c RESTART 356.41/356.45 c RESTART 356.60/356.66 c RESTART 356.90/356.92 c RESTART 357.10/357.19 c RESTART 360.71/360.74 c RESTART 361.00/361.03 c RESTART 361.20/361.29 c RESTART 361.60/361.61 c RESTART 362.00/362.08 c RESTART 362.30/362.31 c RESTART 362.50/362.51 c RESTART 362.80/362.86 c RESTART 363.01/363.05 c RESTART 363.30/363.34 c RESTART 363.60/363.67 c RESTART 364.20/364.28 c RESTART 364.60/364.61 c RESTART 365.21/365.29 c RESTART 365.40/365.48 c RESTART 365.70/365.73 c RESTART 365.90/365.95 c RESTART 368.41/368.44 c RESTART 368.70/368.71 c RESTART 369.20/369.24 c RESTART 369.40/369.43 c RESTART 369.61/369.66 c RESTART 370.00/370.04 c RESTART 370.80/370.87 c RESTART 371.50/371.58 c RESTART 371.81/371.80 c RESTART 372.00/372.06 c RESTART 372.91/372.90 c RESTART 373.20/373.21 c RESTART 373.50/373.58 c RESTART 374.01/374.06 c RESTART 374.40/374.45 c RESTART 374.60/374.66 c RESTART 374.90/374.95 c RESTART 375.30/375.38 c RESTART 375.60/375.63 c RESTART 375.70/375.79 c RESTART 376.00/376.06 c RESTART 376.21/376.29 c RESTART 376.50/376.58 c RESTART 376.90/376.90 c RESTART 377.00/377.06 c RESTART 377.21/377.30 c RESTART 377.70/377.73 c RESTART 377.90/377.93 c RESTART 378.20/378.25 c RESTART 378.50/378.50 c RESTART 378.80/378.82 c RESTART 378.90/378.99 c RESTART 379.10/379.10 c RESTART 379.80/379.85 c RESTART 380.10/380.17 c RESTART 380.70/380.77 c RESTART 381.00/381.04 c RESTART 381.30/381.32 c RESTART 381.61/381.66 c RESTART 381.90/381.99 c RESTART 382.10/382.19 c RESTART 382.50/382.52 c RESTART 382.71/382.79 c RESTART 383.10/383.11 c RESTART 383.20/383.27 c RESTART 383.50/383.52 c RESTART 383.91/383.96 c RESTART 384.40/384.43 c RESTART 384.60/384.67 c RESTART 384.80/384.89 c RESTART 385.20/385.27 c RESTART 385.60/385.67 c RESTART 385.90/385.91 c RESTART 405.20/405.24 c RESTART 405.50/405.54 c RESTART 405.70/405.72 c RESTART 405.91/405.97 c RESTART 423.00/423.05 c RESTART 440.60/440.66 c RESTART 441.11/441.19 c RESTART 441.50/441.51 c RESTART 441.90/441.91 c RESTART 442.11/442.15 c RESTART 442.70/442.71 c RESTART 443.31/443.36 c RESTART 443.70/443.72 c RESTART 443.90/443.94 c RESTART 444.20/444.29 c RESTART 444.70/444.70 c RESTART 444.90/444.99 c RESTART 445.20/445.24 c RESTART 445.41/445.49 c RESTART 445.90/445.94 c RESTART 446.00/446.10 c RESTART 446.51/446.55 c RESTART 446.70/446.78 c RESTART 447.00/447.07 c RESTART 447.30/447.32 c RESTART 447.61/447.67 c RESTART 448.30/448.39 c RESTART 449.60/449.66 c RESTART 449.81/449.85 c RESTART 450.20/450.23 c RESTART 450.50/450.54 c RESTART 450.70/450.75 c RESTART 451.01/451.07 c RESTART 451.40/451.47 c RESTART 451.90/451.91 c RESTART 452.20/452.26 c RESTART 452.50/452.52 c RESTART 452.80/452.84 c RESTART 453.00/453.09 c RESTART 453.50/453.50 c RESTART 453.90/453.92 c RESTART 454.10/454.18 c RESTART 454.40/454.40 c RESTART 454.60/454.66 c RESTART 454.80/454.86 c RESTART 455.00/455.05 c RESTART 455.20/455.26 c RESTART 455.41/455.46 c RESTART 455.80/455.80 c RESTART 456.20/456.21 c RESTART 456.41/456.48 c RESTART 456.70/456.75 c RESTART 456.90/456.97 c RESTART 457.30/457.30 c RESTART 457.51/457.56 c RESTART 457.70/457.75 c RESTART 457.80/457.89 c RESTART 458.10/458.16 c RESTART 458.40/458.44 c RESTART 458.50/458.58 c RESTART 458.71/458.77 c RESTART 458.90/458.91 c RESTART 459.10/459.13 c RESTART 459.60/459.63 c RESTART 459.90/459.98 c RESTART 460.20/460.28 c RESTART 460.50/460.50 c RESTART 460.60/460.66 c RESTART 460.81/460.88 c RESTART 461.30/461.33 c RESTART 461.50/461.58 c RESTART 461.80/461.81 c RESTART 462.01/462.01 c RESTART 462.20/462.27 c RESTART 462.50/462.52 c RESTART 462.90/462.94 c RESTART 463.11/463.16 c RESTART 463.30/463.38 c RESTART 463.90/463.93 c RESTART 464.11/464.12 c RESTART 464.30/464.38 c RESTART 464.50/464.59 c RESTART 464.80/464.89 c RESTART 465.21/465.22 c RESTART 465.90/465.95 c RESTART 466.10/466.17 c RESTART 466.41/466.45 c RESTART 466.90/466.95 c RESTART 467.20/467.23 c RESTART 467.41/467.50 c RESTART 467.60/467.63 c RESTART 467.70/467.78 c RESTART 467.90/467.99 c RESTART 468.30/468.31 c RESTART 468.51/468.53 c RESTART 468.70/468.78 c RESTART 469.20/469.23 c RESTART 469.50/469.54 c RESTART 469.71/469.71 c RESTART 470.10/470.11 c RESTART 470.30/470.37 c RESTART 470.50/470.52 c RESTART 470.81/470.83 c RESTART 471.10/471.19 c RESTART 471.60/471.62 c RESTART 471.91/471.93 c RESTART 472.10/472.16 c RESTART 472.70/472.71 c RESTART 504.81/504.90 c RESTART 505.20/505.23 c RESTART 505.50/505.52 c RESTART 505.80/505.84 c RESTART 506.01/506.06 c RESTART 506.40/506.45 c RESTART 506.70/506.73 c RESTART 506.90/506.94 c RESTART 507.11/507.19 c RESTART 507.50/507.57 c RESTART 507.80/507.80 c RESTART 507.90/507.99 c RESTART 508.30/508.30 c RESTART 508.60/508.61 c RESTART 508.80/508.87 c RESTART 509.00/509.01 c RESTART 509.50/509.58 c RESTART 509.90/509.90 c RESTART 510.10/510.10 c RESTART 510.31/510.40 c RESTART 510.70/510.71 c RESTART 510.90/510.97 c RESTART 511.20/511.23 c RESTART 511.41/511.45 c RESTART 511.90/511.97 c RESTART 512.61/512.61 c RESTART 512.80/512.84 c RESTART 513.00/513.05 c RESTART 513.40/513.49 c RESTART 513.61/513.64 c RESTART 514.00/514.04 c RESTART 514.50/514.56 c RESTART 514.81/514.82 c RESTART 515.20/515.28 c RESTART 515.50/515.57 c RESTART 515.91/515.93 c RESTART 516.30/516.30 c RESTART 516.50/516.59 c RESTART 516.80/516.80 c RESTART 517.10/517.16 c RESTART 517.70/517.73 c RESTART 518.01/518.09 c RESTART 518.40/518.49 c RESTART 518.70/518.74 c RESTART 519.00/519.05 c RESTART 519.70/519.72 c RESTART 519.90/519.93 c RESTART 520.10/520.11 c RESTART 520.40/520.46 c RESTART 520.80/520.89 c RESTART 521.20/521.21 c RESTART 521.41/521.50 c RESTART 521.60/521.68 c RESTART 521.80/521.86 c RESTART 522.00/522.05 c RESTART 522.30/522.33 c RESTART 522.51/522.56 c RESTART 522.70/522.74 c RESTART 522.90/522.97 c RESTART 523.20/523.20 c RESTART 523.40/523.50 c RESTART 523.80/523.84 c RESTART 524.00/524.07 c RESTART 524.30/524.34 c RESTART 524.80/524.84 c RESTART 525.20/525.25 c RESTART 525.50/525.55 c RESTART 525.81/525.86 c RESTART 526.00/526.06 c RESTART 526.20/526.23 c RESTART 526.40/526.40 c RESTART 526.50/526.52 c RESTART 526.70/526.72 c RESTART 527.20/527.26 c RESTART 527.40/527.46 c RESTART 527.60/527.64 c RESTART 527.80/527.81 c RESTART 528.01/528.01 c RESTART 528.30/528.37 c RESTART 528.60/528.68 c RESTART 529.01/529.09 c RESTART 529.40/529.44 c RESTART 529.70/529.78 c RESTART 530.00/530.01 c RESTART 530.31/530.39 c RESTART 530.81/530.89 c RESTART 532.21/532.23 c RESTART 532.51/532.53 c RESTART 532.91/532.98 c RESTART 533.21/533.24 c RESTART 533.52/533.51 c RESTART 533.81/533.80 c RESTART 534.11/534.11 c RESTART 534.31/534.36 c RESTART 534.62/534.61 c RESTART 534.71/534.79 c RESTART 535.21/535.23 c RESTART 535.51/535.56 c RESTART 536.01/536.00 c RESTART 536.31/536.32 c RESTART 536.61/536.64 c RESTART 537.01/537.05 c RESTART 537.61/537.69 c RESTART 537.82/537.89 c RESTART 538.11/538.17 c RESTART 538.31/538.35 c RESTART 538.71/538.79 c RESTART 539.02/539.03 c RESTART 539.21/539.26 c RESTART 539.81/539.84 c RESTART 540.12/540.19 c RESTART 540.41/540.46 c RESTART 540.71/540.72 c RESTART 540.91/540.95 c RESTART 541.22/541.24 c RESTART 541.41/541.46 c RESTART 541.81/541.82 c RESTART 542.01/542.06 c RESTART 542.51/542.55 c RESTART 543.21/543.27 c RESTART 543.51/543.52 c RESTART 543.71/543.78 c RESTART 544.52/544.55 c RESTART 544.71/544.78 c RESTART 545.11/545.16 c RESTART 545.41/545.47 c RESTART 545.81/545.80 c RESTART 545.91/545.97 c RESTART 546.11/546.19 c RESTART 546.41/546.45 c RESTART 546.81/546.81 c RESTART 547.11/547.16 c RESTART 547.31/547.32 c RESTART 547.41/547.48 c RESTART 547.61/547.62 c RESTART 547.72/547.78 c RESTART 548.01/548.05 c RESTART 548.21/548.29 c RESTART 548.61/548.60 c RESTART 548.71/548.79 c RESTART 549.01/549.04 c RESTART 549.21/549.22 c RESTART 549.41/549.48 c RESTART 549.81/549.81 c RESTART 550.02/550.05 c RESTART 550.31/550.33 c RESTART 550.61/550.62 c RESTART 550.81/550.87 c RESTART 551.02/551.09 c RESTART 551.41/551.40 c RESTART 551.61/551.65 c RESTART 551.81/551.85 c RESTART 552.41/552.43 c RESTART 552.61/552.67 c RESTART 553.01/553.02 c RESTART 553.22/553.26 c RESTART 553.71/553.75 c RESTART 553.91/553.99 c RESTART 554.11/554.12 c RESTART 554.42/554.42 c RESTART 555.01/555.09 c RESTART 555.42/555.46 c RESTART 555.71/555.75 c RESTART 556.11/556.17 c RESTART 556.31/556.35 c RESTART 556.52/556.58 c RESTART 557.31/557.32 c RESTART 557.51/557.58 c RESTART 557.72/557.76 c RESTART 558.01/558.08 c RESTART 558.31/558.39 c RESTART 558.51/558.52 c RESTART 558.82/558.82 c RESTART 559.01/559.00 c RESTART 559.11/559.19 c RESTART 559.41/559.42 c RESTART 560.31/560.30 c RESTART 560.51/560.56 c RESTART 560.92/560.95 c RESTART 561.21/561.20 c RESTART 561.51/561.57 c RESTART 561.71/561.79 c RESTART 561.91/561.96 c RESTART 562.21/562.28 c RESTART 562.51/562.57 c RESTART 562.81/562.85 c RESTART 563.22/563.29 c RESTART 563.61/563.62 c RESTART 564.11/564.11 c RESTART 564.32/564.39 c RESTART 564.91/564.94 c RESTART 565.11/565.13 c RESTART 565.42/565.46 c RESTART 565.81/565.82 c RESTART 566.01/566.00 c RESTART 566.11/566.13 c RESTART 566.42/566.43 c RESTART 566.61/566.67 c RESTART 566.91/566.98 c RESTART 567.21/567.27 c RESTART 567.62/567.63 c RESTART 567.81/567.89 c RESTART 568.21/568.20 c RESTART 568.62/568.62 c RESTART 568.81/568.85 c RESTART 569.11/569.11 c RESTART 569.31/569.30 c RESTART 569.72/569.73 c RESTART 570.41/570.45 c RESTART 570.61/570.62 c RESTART 570.82/570.85 c RESTART 572.91/572.91 c RESTART 573.61/573.61 c RESTART 574.12/574.16 c RESTART 575.01/575.00 c RESTART 575.22/575.23 c RESTART 575.41/575.48 c RESTART 578.71/578.71 c RESTART 578.91/578.95 c RESTART 579.31/579.37 c RESTART 579.51/579.59 c RESTART 579.91/579.91 c RESTART 580.21/580.21 c RESTART 580.41/580.44 c RESTART 580.51/580.55 c RESTART 580.72/580.79 c RESTART 581.01/581.01 c RESTART 581.21/581.20 c RESTART 581.61/581.67 c RESTART 581.82/581.88 c RESTART 582.01/582.07 c RESTART 582.21/582.29 c RESTART 582.41/582.47 c RESTART 582.71/582.75 c RESTART 582.92/582.99 c RESTART 583.31/583.32 c RESTART 583.51/583.50 c RESTART 583.61/583.70 c RESTART 583.71/583.79 c RESTART 584.12/584.11 c RESTART 584.31/584.30 c RESTART 584.51/584.56 c RESTART 584.81/584.87 c RESTART 585.01/585.09 c RESTART 587.91/587.96 c RESTART 588.21/588.21 c RESTART 588.52/588.54 c RESTART 588.81/588.80 c RESTART 589.01/589.01 c RESTART 589.21/589.23 c RESTART 589.41/589.49 c RESTART 589.71/589.74 c RESTART 590.01/590.02 c RESTART 590.41/590.48 c RESTART 590.81/590.88 c RESTART 591.31/591.36 c RESTART 591.82/591.85 c RESTART 592.11/592.10 c RESTART 592.31/592.39 c RESTART 592.71/592.72 c RESTART 592.92/592.92 c RESTART 593.21/593.25 c RESTART 593.51/593.58 c RESTART 593.92/593.97 c RESTART 594.11/594.18 c RESTART 594.51/594.52 c RESTART 594.91/594.93 c RESTART 595.31/595.39 c RESTART 595.61/595.60 c RESTART 595.71/595.76 c RESTART 595.91/595.98 c RESTART 596.22/596.22 c RESTART 596.61/596.69 c RESTART 596.91/596.91 c RESTART 597.11/597.16 c RESTART 597.32/597.39 c RESTART 597.81/597.80 c RESTART 598.01/598.00 c RESTART 598.21/598.29 c RESTART 598.51/598.57 c RESTART 599.01/599.08 c RESTART 599.31/599.31 c RESTART 599.52/599.55 c RESTART 599.71/599.77 c RESTART 600.21/600.23 c RESTART 600.62/600.65 c RESTART 601.01/601.01 c RESTART 601.21/601.23 c RESTART 601.51/601.53 c RESTART 601.91/601.90 c RESTART 602.31/602.33 c RESTART 603.31/603.34 c RESTART 605.41/605.41 c RESTART 606.02/606.07 c RESTART 606.51/606.51 c RESTART 606.71/606.73 c RESTART 606.91/606.94 c RESTART 607.22/607.28 c RESTART 607.61/607.67 c RESTART 607.91/607.92 c RESTART 608.11/608.14 c RESTART 608.32/608.36 c RESTART 609.01/609.07 c RESTART 609.51/609.50 c RESTART 609.71/609.79 c RESTART 610.11/610.16 c RESTART 610.61/610.68 c RESTART 611.11/611.15 c RESTART 611.31/611.30 c RESTART 611.62/611.63 c RESTART 613.51/613.54 c RESTART 613.72/613.72 c RESTART 613.91/613.98 c RESTART 614.21/614.28 c RESTART 614.61/614.64 c RESTART 614.92/614.96 c RESTART 615.21/615.26 c RESTART 615.51/615.57 c RESTART 615.81/615.81 c RESTART 616.02/616.01 c RESTART 616.51/616.51 c RESTART 616.71/616.78 c RESTART 617.02/617.07 c RESTART 617.21/617.27 c RESTART 617.41/617.48 c RESTART 617.61/617.68 c RESTART 618.01/618.08 c RESTART 618.31/618.36 c RESTART 619.01/619.09 c RESTART 619.41/619.42 c RESTART 619.81/619.87 c RESTART 620.21/620.28 c RESTART 620.61/620.66 c RESTART 621.01/621.01 c RESTART 621.31/621.40 c RESTART 621.61/621.65 c RESTART 622.01/622.01 c RESTART 622.21/622.28 c RESTART 622.41/622.47 c RESTART 623.01/623.09 c RESTART 623.21/623.28 c RESTART 623.41/623.48 c RESTART 623.91/623.92 c RESTART 624.31/624.30 c RESTART 624.72/624.70 c RESTART 625.01/625.04 c RESTART 625.31/625.35 c RESTART 625.71/625.80 c RESTART 625.92/625.96 c RESTART 627.02/627.02 c RESTART 627.21/627.30 c RESTART 627.51/627.54 c RESTART 627.81/627.84 c RESTART 627.91/627.99 c RESTART 628.31/628.36 c RESTART 628.51/628.55 c RESTART 628.71/628.74 c RESTART 628.81/628.88 c RESTART 629.01/629.00 c RESTART 629.22/629.23 c RESTART 629.41/629.43 c RESTART 629.81/629.81 c RESTART 629.91/629.98 c RESTART 630.11/630.12 c RESTART 630.51/630.51 c RESTART 630.71/630.71 c RESTART 630.91/630.96 c RESTART 631.61/631.68 c RESTART 631.91/631.90 c RESTART 632.31/632.37 c RESTART 632.81/632.86 c RESTART 633.41/633.49 c RESTART 633.91/633.92 c RESTART 634.41/634.42 c RESTART 634.72/634.77 c RESTART 635.31/635.33 c RESTART 635.61/635.68 c RESTART 636.21/636.22 c RESTART 636.51/636.56 c RESTART 636.71/636.78 c RESTART 637.11/637.12 c RESTART 637.71/637.70 c RESTART 637.81/637.88 c RESTART 638.02/638.07 c RESTART 638.41/638.40 c RESTART 638.51/638.59 c RESTART 638.91/638.92 c RESTART 639.21/639.26 c RESTART 640.01/640.07 c RESTART 640.31/640.33 c RESTART 641.01/641.02 c RESTART 641.51/641.59 c RESTART 641.91/641.99 c RESTART 642.11/642.17 c RESTART 642.32/642.37 c RESTART 642.51/642.53 c RESTART 642.71/642.78 c RESTART 643.01/643.04 c RESTART 643.42/643.48 c RESTART 643.91/643.91 c RESTART 644.41/644.43 c RESTART 644.81/644.86 c RESTART 645.21/645.27 c RESTART 645.72/645.72 c RESTART 645.91/645.90 c RESTART 646.11/646.16 c RESTART 646.41/646.47 c RESTART 646.82/646.81 c RESTART 647.11/647.17 c RESTART 647.51/647.59 c RESTART 648.31/648.32 c RESTART 648.51/648.51 c RESTART 648.71/648.75 c RESTART 649.31/649.31 c RESTART 649.61/649.62 c RESTART 650.02/650.03 c RESTART 651.51/651.56 c RESTART 651.91/651.97 c RESTART 652.11/652.14 c RESTART 652.41/652.45 c RESTART 652.61/652.68 c RESTART 652.91/652.97 c RESTART 653.11/653.19 c RESTART 653.51/653.54 c RESTART 653.81/653.83 c RESTART 654.42/654.40 c RESTART 654.52/654.58 c RESTART 654.71/654.76 c RESTART 655.11/655.11 c RESTART 655.52/655.50 c RESTART 655.71/655.75 c RESTART 656.01/656.00 c RESTART 656.11/656.19 c RESTART 656.41/656.43 c RESTART 656.62/656.68 c RESTART 656.91/656.98 c RESTART 657.11/657.14 c RESTART 657.41/657.44 c RESTART 657.72/657.79 c RESTART 658.01/658.03 c RESTART 658.31/658.32 c RESTART 658.61/658.60 c RESTART 659.01/659.02 c RESTART 659.31/659.39 c RESTART 659.51/659.53 c RESTART 659.81/659.84 c RESTART 660.41/660.49 c RESTART 660.71/660.70 c RESTART 661.02/661.10 c RESTART 661.41/661.47 c RESTART 661.91/661.91 c RESTART 662.12/662.17 c RESTART 662.51/662.52 c RESTART 663.01/663.00 c RESTART 663.61/663.64 c RESTART 663.91/663.95 c RESTART 664.71/664.73 c RESTART 665.01/665.02 c RESTART 665.52/665.58 c RESTART 665.81/665.83 c RESTART 666.11/666.15 c RESTART 666.52/666.56 c RESTART 666.71/666.79 c RESTART 667.11/667.10 c RESTART 667.91/667.91 c RESTART 668.21/668.23 c RESTART 668.51/668.52 c RESTART 668.72/668.80 c RESTART 669.11/669.19 c RESTART 669.51/669.53 c RESTART 669.82/669.90 c RESTART 670.11/670.14 c RESTART 670.31/670.36 c RESTART 670.61/670.67 c RESTART 670.92/670.92 c RESTART 671.11/671.10 c RESTART 671.41/671.44 c RESTART 671.71/671.77 c RESTART 672.21/672.29 c RESTART 672.71/672.74 c RESTART 673.01/673.04 c RESTART 673.51/673.51 c RESTART 673.71/673.78 c RESTART 674.01/674.09 c RESTART 674.41/674.47 c RESTART 674.71/674.79 c RESTART 674.91/674.98 c RESTART 675.21/675.20 c RESTART 675.42/675.48 c RESTART 675.91/675.95 c RESTART 676.11/676.16 c RESTART 676.31/676.32 c RESTART 676.71/676.78 c RESTART 677.01/677.05 c RESTART 677.41/677.43 c RESTART 677.71/677.70 c RESTART 677.91/677.93 c RESTART 678.21/678.27 c RESTART 678.62/678.63 c RESTART 678.81/678.84 c RESTART 679.01/679.08 c RESTART 679.31/679.30 c RESTART 679.41/679.46 c RESTART 679.72/679.74 c RESTART 680.11/680.10 c RESTART 680.31/680.35 c RESTART 680.51/680.58 c RESTART 680.82/680.81 c RESTART 681.92/681.96 c RESTART 682.71/682.74 c RESTART 683.02/683.03 c RESTART 683.31/683.36 c RESTART 683.71/683.70 c RESTART 684.01/684.04 c RESTART 684.31/684.31 c RESTART 685.91/685.92 c RESTART 686.11/686.17 c RESTART 686.32/686.35 c RESTART 686.61/686.60 c RESTART 686.91/686.94 c RESTART 687.21/687.20 c RESTART 687.31/687.35 c RESTART 687.61/687.65 c RESTART 687.91/687.91 c RESTART 688.01/688.07 c RESTART 688.31/688.38 c RESTART 688.62/688.60 c RESTART 688.81/688.88 c RESTART 689.11/689.18 c RESTART 689.41/689.45 c RESTART 689.72/689.77 c RESTART 690.01/690.08 c RESTART 690.21/690.22 c RESTART 690.51/690.51 c RESTART 690.61/690.67 c RESTART 690.91/690.95 c RESTART 691.41/691.42 c RESTART 691.71/691.70 c RESTART 691.82/691.90 c RESTART 692.21/692.20 c RESTART 692.81/692.83 c RESTART 693.11/693.10 c RESTART 693.31/693.38 c RESTART 693.61/693.67 c RESTART 693.71/693.79 c RESTART 693.91/693.99 c RESTART 694.61/694.65 c RESTART 695.01/695.01 c RESTART 695.22/695.23 c RESTART 695.31/695.38 c RESTART 695.51/695.55 c RESTART 695.71/695.75 c RESTART 696.22/696.26 c RESTART 696.41/696.45 c RESTART 696.81/696.81 c RESTART 696.91/696.97 c RESTART 697.21/697.20 c RESTART 697.41/697.43 c RESTART 697.81/697.87 c RESTART 698.11/698.16 c RESTART 698.61/698.62 c RESTART 699.01/699.05 c RESTART 699.41/699.49 c RESTART 699.71/699.79 c RESTART 700.41/700.45 c RESTART 700.61/700.64 c RESTART 701.11/701.19 c RESTART 701.31/701.38 c RESTART 701.71/701.74 c RESTART 701.91/701.92 c RESTART 702.11/702.14 c RESTART 702.21/702.27 c RESTART 702.51/702.59 c RESTART 703.11/703.10 c RESTART 703.21/703.29 c RESTART 703.61/703.62 c RESTART 704.02/704.03 c RESTART 704.21/704.24 c RESTART 704.61/704.61 c RESTART 704.91/704.99 c RESTART 705.31/705.32 c RESTART 705.61/705.61 c RESTART 706.12/706.16 c RESTART 706.81/706.89 c RESTART 707.71/707.79 c RESTART 708.21/708.27 c RESTART 708.71/708.71 c RESTART 708.81/708.85 c RESTART 709.01/709.01 c RESTART 709.21/709.21 c RESTART 710.11/710.13 c RESTART 710.52/710.50 c RESTART 710.71/710.75 c RESTART 710.91/710.95 c RESTART 711.21/711.28 c RESTART 711.51/711.54 c RESTART 711.72/711.79 c RESTART 712.31/712.38 c RESTART 712.51/712.58 c RESTART 712.72/712.80 c RESTART 724.01/724.09 c RESTART 724.31/724.32 c RESTART 724.61/724.66 c RESTART 725.01/725.00 c RESTART 725.21/725.20 c RESTART 725.51/725.58 c RESTART 725.81/725.87 c RESTART 726.21/726.23 c RESTART 726.51/726.53 c RESTART 727.02/727.07 c RESTART 727.31/727.34 c RESTART 727.81/727.81 c RESTART 728.22/728.28 c RESTART 728.51/728.58 c RESTART 728.91/728.90 c RESTART 731.52/731.58 c RESTART 731.91/731.98 c RESTART 732.11/732.19 c RESTART 732.52/732.58 c RESTART 732.91/732.97 c RESTART 733.21/733.20 c RESTART 733.41/733.46 c RESTART 733.72/733.77 c RESTART 734.01/734.09 c RESTART 734.31/734.33 c RESTART 736.51/736.58 c RESTART 737.11/737.15 c RESTART 737.51/737.53 c RESTART 737.71/737.72 c RESTART 738.02/738.05 c RESTART 738.21/738.22 c RESTART 738.41/738.41 c RESTART 738.61/738.69 c RESTART 738.91/738.97 c RESTART 739.22/739.22 c RESTART 739.41/739.44 c RESTART 739.91/739.96 c RESTART 740.22/740.25 c RESTART 740.51/740.53 c RESTART 740.91/740.99 c RESTART 741.42/741.46 c RESTART 742.31/742.38 c RESTART 742.71/742.72 c RESTART 742.91/742.96 c RESTART 743.31/743.37 c RESTART 743.71/743.72 c RESTART 743.91/743.95 c RESTART 744.31/744.31 c RESTART 744.62/744.67 c RESTART 744.91/744.98 c RESTART 745.21/745.26 c RESTART 745.72/745.75 c RESTART 746.01/746.02 c RESTART 746.21/746.26 c RESTART 746.51/746.50 c RESTART 746.71/746.76 c RESTART 747.01/747.04 c RESTART 747.31/747.30 c RESTART 747.71/747.70 c RESTART 747.92/747.94 c RESTART 748.41/748.44 c RESTART 748.71/748.74 c RESTART 749.02/749.08 c RESTART 749.51/749.51 c RESTART 749.71/749.77 c RESTART 750.12/750.10 c RESTART 750.31/750.32 c RESTART 750.82/750.82 c RESTART 751.22/751.22 c RESTART 751.52/751.50 c RESTART 751.82/751.83 c RESTART 752.02/752.03 c RESTART 752.22/752.22 c RESTART 752.52/752.53 c RESTART 752.72/752.76 c RESTART 752.92/752.98 c RESTART 753.72/753.79 c RESTART 754.02/754.07 c RESTART 754.42/754.42 c RESTART 754.72/754.74 c RESTART 755.22/755.21 c RESTART 755.32/755.38 c RESTART 756.12/756.17 c RESTART 756.52/756.59 c RESTART 756.82/756.82 c RESTART 757.22/757.25 c RESTART 757.52/757.53 c RESTART 757.72/757.79 c RESTART 758.12/758.16 c RESTART 758.72/758.70 c RESTART 759.12/759.14 c RESTART 760.22/760.25 c RESTART 760.62/760.65 c RESTART 762.22/762.20 c RESTART 762.82/762.86 c RESTART 763.12/763.19 c RESTART 763.72/763.79 c RESTART 764.12/764.16 c RESTART 764.42/764.47 c RESTART 764.62/764.69 c RESTART 764.92/764.95 c RESTART 765.22/765.22 c RESTART 765.62/765.62 c RESTART 766.02/766.06 c RESTART 766.22/766.23 c RESTART 766.42/766.46 c RESTART 766.72/766.78 c RESTART 767.02/767.09 c RESTART 767.32/767.35 c RESTART 767.52/767.57 c RESTART 767.82/767.85 c RESTART 768.22/768.22 c RESTART 768.72/768.75 c RESTART 769.02/769.04 c RESTART 769.42/769.47 c RESTART 769.82/769.83 c RESTART 770.12/770.18 c RESTART 770.42/770.47 c RESTART 770.72/770.76 c RESTART 771.12/771.18 c RESTART 771.42/771.46 c RESTART 771.72/771.77 c RESTART 772.12/772.19 c RESTART 772.72/772.73 c RESTART 773.22/773.26 c RESTART 773.52/773.51 c RESTART 773.72/773.79 c RESTART 774.02/774.03 c RESTART 774.42/774.48 c RESTART 775.12/775.18 c RESTART 776.02/776.06 c RESTART 776.32/776.35 c RESTART 776.62/776.62 c RESTART 776.92/776.91 c RESTART 777.12/777.18 c RESTART 777.32/777.34 c RESTART 777.62/777.61 c RESTART 777.82/777.83 c RESTART 778.12/778.13 c RESTART 778.22/778.25 c RESTART 778.52/778.51 c RESTART 778.72/778.75 c RESTART 779.12/779.12 c RESTART 779.42/779.41 c RESTART 779.72/779.70 c RESTART 779.92/779.96 c RESTART 780.12/780.18 c RESTART 780.52/780.57 c RESTART 780.92/780.91 c RESTART 781.12/781.16 c RESTART 781.42/781.46 c RESTART 781.72/781.79 c RESTART 782.12/782.13 c RESTART 782.32/782.32 c RESTART 783.32/783.36 c RESTART 787.92/787.93 c RESTART 788.32/788.32 c RESTART 788.52/788.58 c RESTART 788.72/788.78 c RESTART 789.52/789.52 c RESTART 789.82/789.81 c RESTART 790.12/790.16 c RESTART 790.42/790.40 c RESTART 790.72/790.73 c RESTART 791.42/791.45 c RESTART 792.22/792.24 c RESTART 792.42/792.47 c RESTART 792.72/792.73 c RESTART 793.12/793.16 c RESTART 793.42/793.46 c RESTART 793.82/793.82 c RESTART 794.12/794.18 c RESTART 794.52/794.52 c RESTART 794.82/794.82 c RESTART 795.02/795.01 c RESTART 795.22/795.24 c RESTART 795.42/795.41 c RESTART 796.02/796.01 c RESTART 796.22/796.20 c RESTART 796.42/796.40 c RESTART 796.52/796.57 c RESTART 796.72/796.76 c RESTART 797.02/797.09 c RESTART 797.22/797.27 c RESTART 797.62/797.68 c RESTART 797.91/797.97 c RESTART 798.31/798.37 c RESTART 798.71/798.74 c RESTART 799.11/799.11 c RESTART 799.41/799.40 c RESTART 799.81/799.82 c RESTART 800.21/800.24 c RESTART 800.51/800.52 c RESTART 800.72/800.70 c RESTART 800.82/800.85 c RESTART 800.92/800.99 c RESTART 801.12/801.16 c RESTART 801.31/801.32 c RESTART 801.61/801.64 c RESTART 802.01/802.05 c RESTART 802.31/802.37 c RESTART 802.92/802.99 c RESTART 803.41/803.41 c RESTART 803.61/803.66 c RESTART 805.12/805.17 c RESTART 806.61/806.68 c RESTART 807.21/807.21 c RESTART 807.42/807.48 c RESTART 807.81/807.84 c RESTART 808.11/808.17 c RESTART 808.31/808.36 c RESTART 808.61/808.62 c RESTART 808.91/808.96 c RESTART 809.81/809.87 c RESTART 810.21/810.23 c RESTART 810.62/810.63 c RESTART 811.01/811.00 c RESTART 811.11/811.19 c RESTART 811.31/811.36 c RESTART 811.72/811.73 c RESTART 811.91/811.92 c RESTART 812.11/812.13 c RESTART 812.31/812.38 c RESTART 812.71/812.78 c RESTART 813.01/813.07 c RESTART 813.21/813.29 c RESTART 813.41/813.47 c RESTART 813.61/813.68 c RESTART 813.92/813.96 c RESTART 814.11/814.16 c RESTART 814.41/814.47 c RESTART 814.61/814.67 c RESTART 814.91/814.94 c RESTART 815.12/815.15 c RESTART 815.31/815.38 c RESTART 815.71/815.70 c RESTART 816.01/816.07 c RESTART 816.51/816.53 c RESTART 816.71/816.78 c RESTART 817.11/817.13 c RESTART 817.41/817.47 c RESTART 817.71/817.70 c RESTART 817.81/817.83 c RESTART 818.42/818.42 c RESTART 818.81/818.80 c RESTART 819.21/819.28 c RESTART 819.52/819.51 c RESTART 819.81/819.86 c RESTART 820.01/820.08 c RESTART 820.31/820.35 c RESTART 820.52/820.54 c RESTART 820.71/820.77 c RESTART 820.91/820.98 c RESTART 821.11/821.16 c RESTART 821.41/821.43 c RESTART 822.72/822.80 c RESTART 823.41/823.47 c RESTART 823.92/823.97 c RESTART 824.21/824.26 c RESTART 824.51/824.58 c RESTART 825.11/825.15 c RESTART 825.51/825.50 c RESTART 825.81/825.80 c RESTART 826.02/826.06 c RESTART 826.61/826.65 c RESTART 826.91/826.90 c RESTART 827.12/827.12 c RESTART 827.92/827.95 c RESTART 828.22/828.30 c RESTART 828.52/828.57 c RESTART 829.01/829.02 c RESTART 829.51/829.50 c RESTART 829.91/829.96 c RESTART 830.21/830.22 c RESTART 830.52/830.50 c RESTART 830.71/830.78 c RESTART 831.11/831.15 c RESTART 831.41/831.47 c RESTART 831.71/831.72 c RESTART 832.41/832.42 c RESTART 832.62/832.65 c RESTART 833.01/833.02 c RESTART 833.42/833.45 c RESTART 833.62/833.64 c RESTART 834.02/834.10 c RESTART 835.02/835.08 c RESTART 835.32/835.39 c RESTART 835.61/835.64 c RESTART 836.11/836.19 c RESTART 836.51/836.50 c RESTART 836.71/836.78 c RESTART 837.02/837.03 c RESTART 837.31/837.34 c RESTART 837.61/837.60 c RESTART 838.01/838.04 c RESTART 838.22/838.28 c RESTART 838.52/838.55 c RESTART 838.92/838.92 c RESTART 840.02/840.09 c RESTART 840.52/840.53 c RESTART 842.41/842.46 c RESTART 842.62/842.68 c RESTART 842.91/842.95 c RESTART 843.31/843.37 c RESTART 843.72/843.73 c RESTART 844.22/844.23 c RESTART 844.62/844.66 c RESTART 845.02/845.03 c RESTART 845.42/845.46 c RESTART 845.62/845.66 c RESTART 845.82/845.82 c RESTART 846.12/846.14 c RESTART 846.32/846.32 c RESTART 846.52/846.57 c RESTART 846.72/846.75 c RESTART 846.92/846.91 c RESTART 847.12/847.17 c RESTART 847.42/847.41 c RESTART 847.62/847.65 c RESTART 848.02/848.06 c RESTART 848.22/848.25 c RESTART 848.71/848.72 c RESTART 849.22/849.20 c RESTART 849.82/849.84 c RESTART 850.12/850.18 c RESTART 850.52/850.56 c RESTART 850.72/850.78 c RESTART 851.02/851.05 c RESTART 851.22/851.26 c RESTART 851.42/851.41 c RESTART 851.62/851.65 c RESTART 852.02/852.04 c RESTART 852.32/852.35 c RESTART 852.62/852.69 c RESTART 852.92/852.95 c RESTART 853.32/853.34 c RESTART 853.62/853.62 c RESTART 853.82/853.84 c RESTART 856.52/856.50 c RESTART 857.02/857.05 c RESTART 857.32/857.34 c RESTART 857.72/857.78 c RESTART 858.12/858.13 c RESTART 858.42/858.42 c RESTART 858.72/858.76 c RESTART 859.02/859.06 c RESTART 859.42/859.47 c RESTART 859.71/859.78 c RESTART 860.02/860.08 c RESTART 861.32/861.33 c RESTART 861.62/861.61 c RESTART 861.91/861.92 c RESTART 862.21/862.25 c RESTART 862.42/862.46 c RESTART 862.71/862.74 c RESTART 863.11/863.18 c RESTART 863.61/863.62 c RESTART 865.92/865.99 c RESTART 866.22/866.27 c RESTART 866.52/866.59 c RESTART 866.82/866.89 c RESTART 867.22/867.22 c RESTART 867.52/867.53 c RESTART 867.82/867.81 c RESTART 868.22/868.29 c RESTART 868.61/868.64 c RESTART 869.11/869.10 c RESTART 869.41/869.49 c RESTART 869.71/869.75 c RESTART 878.72/878.77 c RESTART 879.52/879.57 c RESTART 880.22/880.26 c RESTART 880.52/880.54 c RESTART 880.92/880.95 c RESTART 882.32/882.36 c RESTART 882.72/882.71 c RESTART 882.82/882.89 c RESTART 883.82/883.84 c RESTART 884.12/884.11 c RESTART 884.32/884.35 c RESTART 884.72/884.73 c RESTART 885.02/885.01 c RESTART 885.22/885.25 c RESTART 885.62/885.65 c RESTART 886.22/886.27 c RESTART 886.52/886.59 c RESTART 887.22/887.24 c RESTART 888.32/888.33 c RESTART 888.92/888.92 c RESTART 889.12/889.11 c RESTART 889.22/889.25 c RESTART 889.72/889.75 c RESTART 889.92/889.96 c RESTART 890.12/890.16 c RESTART 890.52/890.52 c RESTART 893.02/893.00 c RESTART 893.42/893.42 c RESTART 893.82/893.82 c RESTART 894.92/894.96 c RESTART 895.32/895.34 c RESTART 895.52/895.58 c RESTART 895.82/895.81 c RESTART 896.12/896.10 c RESTART 896.31/896.35 c RESTART 896.52/896.59 c RESTART 896.71/896.76 c RESTART 896.91/896.97 c RESTART 897.21/897.23 c RESTART 897.52/897.50 c RESTART 898.02/898.00 c RESTART 898.42/898.43 c RESTART 898.72/898.78 c RESTART 898.92/898.99 c RESTART 900.02/900.04 c RESTART 900.32/900.34 c RESTART 901.31/901.31 c RESTART 901.71/901.77 c RESTART 901.92/901.96 c RESTART 902.41/902.40 c RESTART 903.02/903.00 c RESTART 903.22/903.28 c RESTART 903.72/903.77 c RESTART 904.02/904.09 c RESTART 904.62/904.62 c RESTART 904.92/904.97 c RESTART 905.32/905.33 c RESTART 905.82/905.82 c RESTART 907.02/907.07 c RESTART 907.62/907.61 c RESTART 907.91/907.99 c RESTART 908.42/908.40 c RESTART 908.72/908.77 c RESTART 909.32/909.32 c RESTART 909.52/909.53 c RESTART 909.72/909.76 c RESTART 909.92/909.92 c RESTART 910.12/910.16 c RESTART 910.62/910.65 c RESTART 911.02/911.08 c RESTART 911.42/911.45 c RESTART 911.82/911.89 c RESTART 912.12/912.18 c RESTART 912.42/912.47 c RESTART 912.82/912.82 c RESTART 913.22/913.24 c RESTART 913.52/913.58 c RESTART 914.02/914.00 c RESTART 914.32/914.32 c RESTART 914.62/914.69 c RESTART 915.12/915.19 c RESTART 915.52/915.58 c RESTART 915.72/915.76 c RESTART 916.02/916.07 c RESTART 916.22/916.30 c RESTART 916.52/916.56 c RESTART 916.92/916.99 c RESTART 917.32/917.36 c RESTART 917.62/917.64 c RESTART 917.92/917.90 c RESTART 918.02/918.09 c RESTART 918.32/918.34 c RESTART 918.82/918.88 c RESTART 919.22/919.20 c RESTART 919.32/919.40 c RESTART 919.82/919.85 c RESTART 920.02/920.06 c RESTART 920.32/920.36 c RESTART 920.52/920.59 c RESTART 922.22/922.27 c RESTART 922.72/922.75 c RESTART 923.02/923.00 c RESTART 923.22/923.23 c RESTART 923.42/923.42 c RESTART 923.72/923.72 c RESTART 923.92/923.96 c RESTART 924.22/924.29 c RESTART 924.52/924.58 c RESTART 924.92/924.95 c RESTART 925.12/925.15 c RESTART 925.32/925.39 c RESTART 925.82/925.81 c RESTART 927.32/927.30 c RESTART 929.62/929.62 c RESTART 929.73/929.76 c RESTART 930.13/930.18 c RESTART 930.43/930.45 c RESTART 930.63/930.62 c RESTART 930.93/930.94 c RESTART 931.13/931.15 c RESTART 931.53/931.50 c RESTART 931.63/931.69 c RESTART 931.83/931.85 c RESTART 932.02/932.03 c RESTART 932.32/932.36 c RESTART 933.02/933.02 c RESTART 934.12/934.18 c RESTART 934.93/934.93 c RESTART 935.22/935.28 c RESTART 935.62/935.64 c RESTART 936.13/936.11 c RESTART 936.62/936.60 c RESTART 936.82/936.89 c RESTART 937.02/937.09 c RESTART 937.32/937.36 c RESTART 937.82/937.85 c RESTART 938.33/938.34 c RESTART 938.62/938.66 c RESTART 938.92/938.94 c RESTART 941.92/941.97 c RESTART 942.22/942.25 c RESTART 942.52/942.53 c RESTART 942.82/942.81 c RESTART 943.02/943.08 c RESTART 943.32/943.38 c RESTART 944.22/944.24 c RESTART 944.72/944.77 c RESTART 945.02/945.04 c RESTART 945.32/945.30 c RESTART 945.72/945.75 c RESTART 945.93/945.99 c RESTART 946.72/946.72 c RESTART 947.22/947.24 c RESTART 947.42/947.45 c RESTART 948.13/948.13 c RESTART 948.82/948.83 c RESTART 949.12/949.12 c RESTART 949.62/949.60 c RESTART 950.02/950.03 c RESTART 952.42/952.49 c RESTART 952.72/952.77 c RESTART 953.12/953.11 c RESTART 953.42/953.45 c RESTART 953.92/953.92 c RESTART 954.22/954.20 c RESTART 954.52/954.57 c RESTART 954.83/954.89 c RESTART 955.12/955.17 c RESTART 955.42/955.45 c RESTART 955.83/955.87 c RESTART 956.02/956.05 c RESTART 956.22/956.26 c RESTART 956.42/956.42 c RESTART 958.22/958.29 c RESTART 959.23/959.22 c RESTART 959.62/959.63 c RESTART 960.12/960.14 c RESTART 960.52/960.53 c RESTART 961.02/961.00 c RESTART 961.12/961.18 c RESTART 961.43/961.44 c RESTART 961.62/961.66 c RESTART 962.82/962.85 c RESTART 963.12/963.14 c RESTART 963.53/963.57 c RESTART 963.82/963.82 c RESTART 964.02/964.02 c RESTART 964.12/964.18 c RESTART 964.42/964.48 c RESTART 964.73/964.74 c RESTART 965.02/965.06 c RESTART 965.42/965.46 c RESTART 965.73/965.73 c RESTART 966.22/966.20 c RESTART 966.52/966.51 c RESTART 966.62/966.67 c RESTART 966.93/966.96 c RESTART 967.22/967.29 c RESTART 967.72/967.73 c RESTART 968.03/968.08 c RESTART 968.32/968.38 c RESTART 968.82/968.84 c RESTART 969.13/969.12 c RESTART 969.22/969.29 c RESTART 969.72/969.70 c RESTART 970.02/970.01 c RESTART 970.23/970.23 c RESTART 970.62/970.62 c RESTART 970.92/970.95 c RESTART 971.23/971.22 c RESTART 972.82/972.81 c RESTART 973.12/973.11 c RESTART 973.43/973.41 c RESTART 973.62/973.66 c RESTART 973.82/973.84 c RESTART 974.02/974.02 c RESTART 974.82/974.87 c RESTART 975.52/975.54 c RESTART 975.82/975.87 c RESTART 976.73/976.71 c RESTART 976.92/976.93 c RESTART 977.22/977.28 c RESTART 977.42/977.47 c RESTART 977.62/977.68 c RESTART 977.93/977.90 c RESTART 978.32/978.32 c RESTART 978.52/978.56 c RESTART 978.72/978.70 c RESTART 978.82/978.88 c RESTART 979.12/979.15 c RESTART 979.42/979.40 c RESTART 979.62/979.68 c RESTART 980.03/980.10 c RESTART 982.33/982.34 c RESTART 982.62/982.64 c RESTART 982.82/982.89 c RESTART 983.12/983.10 c RESTART 983.62/983.65 c RESTART 983.92/983.93 c RESTART 984.22/984.21 c RESTART 984.53/984.53 c RESTART 984.82/984.88 c RESTART 985.22/985.22 c RESTART 985.42/985.43 c RESTART 985.72/985.71 c RESTART 986.02/986.07 c RESTART 986.32/986.37 c RESTART 986.82/986.88 c RESTART 987.22/987.23 c RESTART 987.92/987.97 c RESTART 988.92/988.93 c RESTART 989.42/989.41 c RESTART 989.62/989.65 c RESTART 990.42/990.48 c RESTART 991.52/991.59 c RESTART 991.82/991.83 c RESTART 992.32/992.37 c RESTART 992.62/992.61 c RESTART 992.92/992.94 c RESTART 993.22/993.26 c RESTART 993.62/993.63 c RESTART 994.12/994.15 c RESTART 994.62/994.63 c RESTART 994.82/994.81 c RESTART 995.12/995.14 c RESTART 995.43/995.44 c RESTART 995.62/995.62 c RESTART 995.92/995.97 c RESTART 996.32/996.38 c RESTART 996.72/996.70 c RESTART 996.92/996.91 c RESTART 997.22/997.23 c RESTART 997.52/997.56 c RESTART 997.73/997.79 c RESTART 998.02/998.04 c RESTART 998.32/998.35 c RESTART 999.12/999.16 c RESTART 999.62/999.60 c RESTART 999.93/999.99 c RESTART 1005.52/1005.57 c RESTART 1005.72/1005.76 c RESTART 1006.12/1006.18 c RESTART 1006.43/1006.46 c RESTART 1006.62/1006.65 c RESTART 1006.82/1006.88 c RESTART 1007.02/1007.10 c RESTART 1007.22/1007.28 c RESTART 1007.72/1007.71 c RESTART 1008.12/1008.11 c RESTART 1008.82/1008.82 c RESTART 1009.22/1009.26 c RESTART 1010.12/1010.14 c RESTART 1010.32/1010.30 c RESTART 1010.52/1010.56 c RESTART 1010.72/1010.78 c RESTART 1011.12/1011.11 c RESTART 1011.22/1011.29 c RESTART 1011.42/1011.47 c RESTART 1011.82/1011.83 c RESTART 1012.32/1012.30 c RESTART 1012.62/1012.63 c RESTART 1012.92/1012.91 c RESTART 1013.33/1013.30 c RESTART 1013.73/1013.72 c RESTART 1014.13/1014.11 c RESTART 1014.43/1014.40 c RESTART 1014.63/1014.67 c RESTART 1014.83/1014.87 c RESTART 1015.43/1015.47 c RESTART 1015.93/1015.93 c RESTART 1016.53/1016.57 c RESTART 1017.13/1017.12 c RESTART 1017.43/1017.43 c RESTART 1017.83/1017.82 c RESTART 1018.03/1018.06 c RESTART 1018.53/1018.58 c RESTART 1018.93/1018.97 c RESTART 1019.23/1019.22 c RESTART 1019.53/1019.55 c RESTART 1019.93/1019.92 c RESTART 1020.13/1020.19 c RESTART 1020.53/1020.55 c RESTART 1020.73/1020.78 c RESTART 1020.93/1020.96 c RESTART 1021.13/1021.14 c RESTART 1021.53/1021.52 c RESTART 1021.93/1021.99 c RESTART 1022.33/1022.32 c RESTART 1022.73/1022.71 c RESTART 1023.03/1023.09 c RESTART 1023.43/1023.41 c RESTART 1024.43/1024.49 c RESTART 1025.93/1025.96 c RESTART 1026.23/1026.23 c RESTART 1026.53/1026.51 c RESTART 1026.73/1026.73 c RESTART 1026.93/1026.96 c RESTART 1027.13/1027.17 c RESTART 1027.33/1027.33 c RESTART 1027.62/1027.67 c RESTART 1028.32/1028.30 c RESTART 1028.62/1028.63 c RESTART 1029.02/1029.06 c RESTART 1029.42/1029.47 c RESTART 1029.72/1029.75 c RESTART 1030.22/1030.22 c RESTART 1030.63/1030.61 c RESTART 1030.92/1030.97 c RESTART 1031.22/1031.28 c RESTART 1031.52/1031.56 c RESTART 1032.12/1032.15 c RESTART 1032.53/1032.54 c RESTART 1032.63/1032.66 c RESTART 1032.83/1032.84 c RESTART 1032.93/1032.99 c RESTART 1033.22/1033.27 c RESTART 1033.62/1033.68 c RESTART 1033.82/1033.82 c RESTART 1034.12/1034.12 c RESTART 1034.42/1034.40 c RESTART 1034.72/1034.77 c RESTART 1035.03/1035.04 c RESTART 1035.72/1035.70 c RESTART 1036.23/1036.28 c RESTART 1036.92/1036.97 c RESTART 1037.23/1037.21 c RESTART 1037.43/1037.45 c RESTART 1037.73/1037.71 c RESTART 1037.83/1037.88 c RESTART 1038.13/1038.13 c RESTART 1038.33/1038.38 c RESTART 1038.73/1038.75 c RESTART 1039.03/1039.08 c RESTART 1039.33/1039.34 c RESTART 1039.72/1039.76 c RESTART 1040.02/1040.03 c RESTART 1040.42/1040.43 c RESTART 1040.63/1040.60 c RESTART 1041.02/1041.02 c RESTART 1041.32/1041.34 c RESTART 1041.63/1041.63 c RESTART 1041.82/1041.83 c RESTART 1042.12/1042.11 c RESTART 1042.32/1042.34 c RESTART 1042.62/1042.67 c RESTART 1042.93/1043.00 c RESTART 1043.23/1043.25 c RESTART 1043.63/1043.63 c RESTART 1043.93/1043.93 c RESTART 1044.23/1044.27 c RESTART 1044.53/1044.51 c RESTART 1044.93/1044.94 c RESTART 1045.83/1045.89 c RESTART 1046.22/1046.23 c RESTART 1046.62/1046.63 c RESTART 1047.02/1047.00 c RESTART 1047.42/1047.49 c RESTART 1047.72/1047.71 c RESTART 1047.82/1047.89 c RESTART 1048.12/1048.18 c RESTART 1048.33/1048.39 c RESTART 1048.53/1048.55 c RESTART 1049.13/1049.16 c RESTART 1049.43/1049.48 c RESTART 1049.63/1049.69 c RESTART 1050.03/1050.00 c RESTART 1050.33/1050.38 c RESTART 1050.83/1050.82 c RESTART 1051.33/1051.38 c RESTART 1051.73/1051.79 c RESTART 1052.23/1052.22 c RESTART 1056.53/1056.58 c RESTART 1057.03/1057.02 c RESTART 1057.43/1057.45 c RESTART 1057.83/1057.88 c RESTART 1058.23/1058.21 c RESTART 1058.53/1058.54 c RESTART 1058.83/1058.80 c RESTART 1059.13/1059.19 c RESTART 1059.43/1059.42 c RESTART 1059.83/1059.85 c RESTART 1060.13/1060.16 c RESTART 1060.33/1060.33 c RESTART 1070.93/1070.94 c RESTART 1071.13/1071.18 c RESTART 1071.33/1071.36 c RESTART 1071.53/1071.54 c RESTART 1072.03/1072.02 c RESTART 1072.23/1072.29 c RESTART 1072.53/1072.55 c RESTART 1072.93/1072.93 c RESTART 1073.13/1073.19 c RESTART 1073.43/1073.40 c RESTART 1073.63/1073.62 c RESTART 1074.73/1074.73 c RESTART 1074.92/1074.96 c RESTART 1075.23/1075.29 c RESTART 1075.73/1075.72 c RESTART 1075.93/1075.92 c RESTART 1076.23/1076.27 c RESTART 1076.63/1076.63 c RESTART 1077.03/1077.01 c RESTART 1077.43/1077.42 c RESTART 1077.73/1077.78 c RESTART 1078.03/1078.08 c RESTART 1078.43/1078.44 c RESTART 1079.03/1079.01 c RESTART 1079.42/1079.49 c RESTART 1079.82/1079.83 c RESTART 1080.23/1080.25 c RESTART 1080.52/1080.56 c RESTART 1080.93/1080.93 c RESTART 1081.13/1081.15 c RESTART 1081.63/1081.64 c RESTART 1082.03/1082.03 c RESTART 1082.63/1082.61 c RESTART 1083.03/1083.09 c RESTART 1084.03/1084.03 c RESTART 1084.63/1084.61 c RESTART 1085.03/1085.03 c RESTART 1085.33/1085.32 c RESTART 1085.73/1085.77 c RESTART 1085.93/1085.99 c RESTART 1086.13/1086.18 c RESTART 1086.53/1086.57 c RESTART 1086.83/1086.88 c RESTART 1087.23/1087.28 c RESTART 1087.63/1087.67 c RESTART 1087.83/1087.89 c RESTART 1088.33/1088.36 c RESTART 1088.63/1088.64 c RESTART 1088.93/1088.93 c RESTART 1090.23/1090.29 c RESTART 1090.53/1090.53 c RESTART 1090.83/1090.83 c RESTART 1091.03/1091.02 c RESTART 1091.33/1091.40 c RESTART 1091.63/1091.62 c RESTART 1091.83/1091.89 c RESTART 1092.23/1092.25 c RESTART 1092.73/1092.72 c RESTART 1092.93/1092.94 c RESTART 1093.23/1093.23 c RESTART 1093.63/1093.65 c RESTART 1094.03/1094.09 c RESTART 1094.23/1094.28 c RESTART 1094.53/1094.53 c RESTART 1094.73/1094.75 c RESTART 1094.93/1094.94 c RESTART 1095.03/1095.09 c RESTART 1095.53/1095.59 c RESTART 1095.93/1095.90 c RESTART 1096.13/1096.18 c RESTART 1096.53/1096.50 c RESTART 1096.73/1096.78 c RESTART 1097.33/1097.31 c RESTART 1097.63/1097.64 c RESTART 1097.93/1097.92 c RESTART 1098.03/1098.08 c RESTART 1098.23/1098.28 c RESTART 1098.53/1098.54 c RESTART 1098.93/1098.97 c RESTART 1099.23/1099.20 c RESTART 1099.53/1099.50 c RESTART 1099.83/1099.88 c RESTART 1100.23/1100.22 c RESTART 1100.53/1100.52 c RESTART 1100.83/1100.87 c RESTART 1101.03/1101.07 c RESTART 1101.33/1101.34 c RESTART 1101.63/1101.67 c RESTART 1102.13/1102.15 c RESTART 1102.33/1102.34 c RESTART 1102.63/1102.64 c RESTART 1103.03/1103.01 c RESTART 1103.53/1103.51 c RESTART 1103.83/1103.87 c RESTART 1104.03/1104.05 c RESTART 1104.43/1104.46 c RESTART 1104.83/1104.84 c RESTART 1105.23/1105.23 c RESTART 1105.63/1105.63 c RESTART 1105.93/1105.99 c RESTART 1106.33/1106.32 c RESTART 1106.63/1106.68 c RESTART 1107.03/1107.09 c RESTART 1107.23/1107.24 c RESTART 1107.73/1107.71 c RESTART 1107.82/1107.89 c RESTART 1108.22/1108.29 c RESTART 1108.52/1108.56 c RESTART 1108.83/1108.88 c RESTART 1109.32/1109.34 c RESTART 1109.72/1109.75 c RESTART 1110.22/1110.23 c RESTART 1110.52/1110.55 c RESTART 1110.72/1110.79 c RESTART 1111.03/1111.06 c RESTART 1111.42/1111.43 c RESTART 1111.62/1111.66 c RESTART 1112.03/1112.05 c RESTART 1112.22/1112.21 c RESTART 1112.62/1112.61 c RESTART 1113.32/1113.33 c RESTART 1113.52/1113.57 c RESTART 1113.72/1113.76 c RESTART 1114.02/1114.03 c RESTART 1114.42/1114.45 c RESTART 1114.72/1114.72 c RESTART 1115.22/1115.28 c RESTART 1115.82/1115.80 c RESTART 1116.12/1116.13 c RESTART 1116.53/1116.55 c RESTART 1116.72/1116.79 c RESTART 1117.12/1117.15 c RESTART 1117.32/1117.36 c RESTART 1117.63/1117.61 c RESTART 1118.02/1118.01 c RESTART 1118.22/1118.25 c RESTART 1118.52/1118.54 c RESTART 1118.73/1118.75 c RESTART 1119.22/1119.25 c RESTART 1119.42/1119.45 c RESTART 1119.73/1119.73 c RESTART 1120.12/1120.14 c RESTART 1120.52/1120.51 c RESTART 1120.72/1120.79 c RESTART 1121.02/1121.04 c RESTART 1121.12/1121.16 c RESTART 1122.42/1122.42 c RESTART 1122.72/1122.77 c RESTART 1123.92/1123.97 c RESTART 1124.13/1124.20 c RESTART 1124.32/1124.38 c RESTART 1124.72/1124.73 c RESTART 1124.82/1124.88 c RESTART 1125.02/1125.03 c RESTART 1125.12/1125.19 c RESTART 1125.33/1125.37 c RESTART 1125.52/1125.53 c RESTART 1125.62/1125.70 c RESTART 1125.92/1125.90 c RESTART 1126.33/1126.30 c RESTART 1126.62/1126.68 c RESTART 1127.02/1127.07 c RESTART 1127.43/1127.43 c RESTART 1127.93/1127.90 c RESTART 1128.23/1128.26 c RESTART 1128.43/1128.47 c RESTART 1128.93/1128.91 c RESTART 1129.13/1129.18 c RESTART 1129.43/1129.45 c RESTART 1129.64/1129.70 c RESTART 1130.03/1130.02 c RESTART 1130.33/1130.35 c RESTART 1130.74/1130.72 c RESTART 1130.84/1130.88 c RESTART 1131.13/1131.11 c RESTART 1131.63/1131.65 c RESTART 1132.13/1132.12 c RESTART 1132.43/1132.48 c RESTART 1132.73/1132.76 c RESTART 1133.04/1133.08 c RESTART 1133.33/1133.31 c RESTART 1133.63/1133.61 c RESTART 1133.93/1133.97 c RESTART 1134.23/1134.25 c RESTART 1134.43/1134.49 c RESTART 1134.73/1134.71 c RESTART 1134.93/1134.94 c RESTART 1135.14/1135.19 c RESTART 1135.43/1135.42 c RESTART 1135.83/1135.89 c RESTART 1136.13/1136.14 c RESTART 1136.63/1136.61 c RESTART 1137.03/1137.09 c RESTART 1137.34/1137.38 c RESTART 1137.63/1137.66 c RESTART 1138.03/1138.00 c RESTART 1138.23/1138.28 c RESTART 1138.63/1138.61 c RESTART 1139.03/1139.07 c RESTART 1139.43/1139.40 c RESTART 1139.54/1139.60 c RESTART 1139.93/1139.94 c RESTART 1140.23/1140.23 c RESTART 1140.53/1140.57 c RESTART 1140.74/1140.77 c RESTART 1141.33/1141.33 c RESTART 1141.74/1141.78 c RESTART 1141.93/1141.99 c RESTART 1142.33/1142.33 c RESTART 1142.84/1142.83 c RESTART 1143.33/1143.35 c RESTART 1143.63/1143.69 c RESTART 1147.24/1147.22 c RESTART 1147.53/1147.59 c RESTART 1147.83/1147.89 c RESTART 1148.23/1148.23 c RESTART 1148.44/1148.46 c RESTART 1148.73/1148.79 c RESTART 1149.03/1149.03 c RESTART 1149.13/1149.20 c RESTART 1149.44/1149.47 c RESTART 1149.73/1149.80 c RESTART 1149.93/1149.98 c RESTART 1150.23/1150.23 c RESTART 1150.43/1150.48 c RESTART 1150.83/1150.87 c RESTART 1151.03/1151.04 c RESTART 1151.23/1151.23 c RESTART 1151.43/1151.42 c RESTART 1151.64/1151.68 c RESTART 1151.83/1151.80 c RESTART 1152.03/1152.07 c RESTART 1152.23/1152.28 c RESTART 1152.43/1152.48 c RESTART 1152.74/1152.70 c RESTART 1153.13/1153.12 c RESTART 1153.53/1153.56 c RESTART 1153.73/1153.78 c RESTART 1153.94/1153.94 c RESTART 1154.23/1154.25 c RESTART 1154.53/1154.52 c RESTART 1154.83/1154.89 c RESTART 1155.33/1155.30 c RESTART 1155.53/1155.50 c RESTART 1155.63/1155.64 c RESTART 1155.93/1155.93 c RESTART 1156.14/1156.19 c RESTART 1156.43/1156.49 c RESTART 1156.83/1156.89 c RESTART 1157.14/1157.19 c RESTART 1157.43/1157.46 c RESTART 1157.83/1157.81 c RESTART 1158.24/1158.25 c RESTART 1158.53/1158.55 c RESTART 1158.93/1158.97 c RESTART 1159.44/1159.44 c RESTART 1159.73/1159.74 c RESTART 1160.93/1160.99 c RESTART 1161.43/1161.44 c RESTART 1161.64/1161.65 c RESTART 1162.03/1162.07 c RESTART 1162.33/1162.34 c RESTART 1162.43/1162.45 c RESTART 1162.74/1162.71 c RESTART 1163.33/1163.32 c RESTART 1163.53/1163.57 c RESTART 1163.84/1163.88 c RESTART 1164.13/1164.13 c RESTART 1164.43/1164.45 c RESTART 1164.73/1164.75 c RESTART 1164.94/1164.98 c RESTART 1165.23/1165.21 c RESTART 1165.73/1165.70 c RESTART 1165.94/1165.99 c RESTART 1166.33/1166.33 c RESTART 1166.53/1166.59 c RESTART 1166.73/1166.79 c RESTART 1167.63/1167.65 c RESTART 1168.03/1168.02 c RESTART 1168.33/1168.31 c RESTART 1168.63/1168.68 c RESTART 1168.93/1168.97 c RESTART 1169.13/1169.14 c RESTART 1169.53/1169.54 c RESTART 1169.73/1169.79 c RESTART 1170.13/1170.15 c RESTART 1170.44/1170.43 c RESTART 1170.73/1170.73 c RESTART 1171.44/1171.45 c RESTART 1172.93/1172.96 c RESTART 1173.23/1173.21 c RESTART 1173.64/1173.66 c RESTART 1174.03/1174.06 c RESTART 1174.23/1174.27 c RESTART 1174.53/1174.56 c RESTART 1174.74/1174.73 c RESTART 1175.13/1175.12 c RESTART 1175.53/1175.59 c RESTART 1175.84/1175.86 c RESTART 1176.23/1176.27 c RESTART 1176.94/1176.94 c RESTART 1177.23/1177.20 c RESTART 1177.53/1177.51 c RESTART 1177.83/1177.83 c RESTART 1178.14/1178.11 c RESTART 1178.33/1178.34 c RESTART 1178.73/1178.74 c RESTART 1178.93/1179.00 c RESTART 1179.14/1179.20 c RESTART 1179.53/1179.51 c RESTART 1179.73/1179.77 c RESTART 1180.03/1180.01 c RESTART 1180.13/1180.18 c RESTART 1180.43/1180.49 c RESTART 1180.93/1180.93 c RESTART 1181.13/1181.18 c RESTART 1181.44/1181.44 c RESTART 1181.63/1181.66 c RESTART 1181.83/1181.84 c RESTART 1182.03/1182.09 c RESTART 1182.54/1182.53 c RESTART 1182.73/1182.74 c RESTART 1183.03/1183.02 c RESTART 1183.13/1183.17 c RESTART 1183.43/1183.42 c RESTART 1183.64/1183.61 c RESTART 1183.93/1183.94 c RESTART 1184.13/1184.19 c RESTART 1184.53/1184.53 c RESTART 1184.93/1184.91 c RESTART 1185.43/1185.40 c RESTART 1185.53/1185.60 c RESTART 1185.93/1185.91 c RESTART 1186.23/1186.22 c RESTART 1186.43/1186.48 c RESTART 1186.63/1186.67 c RESTART 1187.03/1187.03 c RESTART 1187.33/1187.35 c RESTART 1187.53/1187.58 c RESTART 1187.83/1187.86 c RESTART 1188.93/1188.92 c RESTART 1189.33/1189.39 c RESTART 1189.93/1189.94 c RESTART 1190.24/1190.20 c RESTART 1190.53/1190.54 c RESTART 1191.24/1191.27 c RESTART 1191.63/1191.62 c RESTART 1191.83/1191.87 c RESTART 1192.13/1192.10 c RESTART 1192.53/1192.56 c RESTART 1192.83/1192.84 c RESTART 1193.03/1193.02 c RESTART 1193.33/1193.35 c RESTART 1193.44/1193.50 c RESTART 1194.13/1194.13 c RESTART 1194.73/1194.78 c RESTART 1195.74/1195.77 c RESTART 1196.13/1196.19 c RESTART 1196.53/1196.51 c RESTART 1196.84/1196.84 c RESTART 1197.33/1197.30 c RESTART 1197.53/1197.54 c RESTART 1197.73/1197.70 c RESTART 1197.94/1197.96 c RESTART 1198.33/1198.39 c RESTART 1198.73/1198.72 c RESTART 1199.04/1199.01 c RESTART 1199.23/1199.21 c RESTART 1199.43/1199.45 c RESTART 1200.04/1200.07 c RESTART 1200.33/1200.37 c RESTART 1200.63/1200.66 c RESTART 1200.93/1200.91 c RESTART 1201.14/1201.19 c RESTART 1201.43/1201.48 c RESTART 1201.73/1201.73 c RESTART 1202.03/1202.01 c RESTART 1202.13/1202.16 c RESTART 1202.43/1202.48 c RESTART 1202.93/1202.96 c RESTART 1203.13/1203.12 c RESTART 1203.44/1203.49 c RESTART 1203.83/1203.84 c RESTART 1204.33/1204.31 c RESTART 1204.54/1204.52 c RESTART 1204.93/1204.96 c RESTART 1205.23/1205.26 c RESTART 1205.83/1205.82 c RESTART 1206.33/1206.32 c RESTART 1206.53/1206.58 c RESTART 1207.03/1207.06 c RESTART 1207.43/1207.45 c RESTART 1207.63/1207.62 c RESTART 1207.93/1207.91 c RESTART 1208.13/1208.19 c RESTART 1208.94/1208.97 c RESTART 1209.23/1209.23 c RESTART 1209.43/1209.43 c RESTART 1209.63/1209.68 c RESTART 1209.94/1209.94 c RESTART 1210.23/1210.23 c RESTART 1210.43/1210.43 c RESTART 1211.23/1211.24 c RESTART 1211.63/1211.61 c RESTART 1211.83/1211.89 c RESTART 1212.33/1212.33 c RESTART 1212.63/1212.60 c RESTART 1213.03/1213.00 c RESTART 1213.24/1213.24 c RESTART 1213.53/1213.50 c RESTART 1213.83/1213.82 c RESTART 1214.13/1214.12 c RESTART 1214.53/1214.51 c RESTART 1214.63/1214.69 c RESTART 1215.03/1215.02 c RESTART 1215.33/1215.33 c RESTART 1215.73/1215.71 c RESTART 1216.73/1216.79 c RESTART 1217.83/1217.80 c RESTART 1218.03/1218.07 c RESTART 1218.33/1218.38 c RESTART 1218.63/1218.63 c RESTART 1218.84/1218.88 c RESTART 1219.13/1219.12 c RESTART 1219.43/1219.41 c RESTART 1219.94/1219.96 c RESTART 1220.23/1220.29 c RESTART 1221.53/1221.58 c RESTART 1221.83/1221.81 c RESTART 1222.33/1222.35 c RESTART 1222.83/1222.80 c RESTART 1223.24/1223.24 c RESTART 1223.53/1223.56 c RESTART 1223.93/1223.98 c RESTART 1224.63/1224.68 c RESTART 1224.93/1224.98 c RESTART 1225.23/1225.26 c RESTART 1225.53/1225.58 c RESTART 1225.83/1225.83 c RESTART 1227.54/1227.51 c RESTART 1227.93/1227.94 c RESTART 1228.23/1228.21 c RESTART 1228.43/1228.41 c RESTART 1228.64/1228.63 c RESTART 1229.03/1229.08 c RESTART 1229.43/1229.42 c RESTART 1229.74/1229.71 c RESTART 1230.23/1230.20 c RESTART 1230.63/1230.65 c RESTART 1231.03/1231.06 c RESTART 1231.33/1231.37 c RESTART 1231.63/1231.60 c RESTART 1231.83/1231.82 c RESTART 1232.13/1232.10 c RESTART 1232.43/1232.42 c RESTART 1232.73/1232.70 c RESTART 1232.93/1232.96 c RESTART 1233.33/1233.31 c RESTART 1233.53/1233.57 c RESTART 1234.03/1234.03 c RESTART 1234.14/1234.18 c RESTART 1234.63/1234.68 c RESTART 1234.83/1234.86 c RESTART 1235.03/1235.07 c RESTART 1235.24/1235.26 c RESTART 1235.63/1235.61 c RESTART 1235.73/1235.77 c RESTART 1236.03/1236.07 c RESTART 1236.83/1236.81 c RESTART 1237.13/1237.12 c RESTART 1237.44/1237.40 c RESTART 1237.93/1237.91 c RESTART 1238.13/1238.19 c RESTART 1238.64/1238.62 c RESTART 1238.83/1238.82 c RESTART 1239.03/1239.02 c RESTART 1239.53/1239.50 c RESTART 1239.74/1239.75 c RESTART 1239.93/1239.99 c RESTART 1240.23/1240.23 c RESTART 1240.43/1240.49 c RESTART 1240.63/1240.67 c RESTART 1240.84/1240.86 c RESTART 1241.03/1241.03 c RESTART 1241.13/1241.18 c RESTART 1242.23/1242.20 c RESTART 1246.03/1246.09 c RESTART 1246.53/1246.51 c RESTART 1246.63/1246.68 c RESTART 1247.03/1247.03 c RESTART 1247.23/1247.26 c RESTART 1247.53/1247.50 c RESTART 1247.73/1247.73 c RESTART 1247.93/1247.99 c RESTART 1248.44/1248.43 c RESTART 1248.63/1248.62 c RESTART 1248.93/1248.90 c RESTART 1249.23/1249.25 c RESTART 1249.54/1249.57 c RESTART 1249.83/1249.86 c RESTART 1250.23/1250.21 c RESTART 1250.43/1250.47 c RESTART 1251.23/1251.22 c RESTART 1251.84/1251.83 c RESTART 1252.03/1252.06 c RESTART 1252.53/1252.55 c RESTART 1252.94/1252.96 c RESTART 1253.53/1253.59 c RESTART 1253.83/1253.82 c RESTART 1254.83/1254.86 c RESTART 1255.33/1255.34 c RESTART 1255.73/1255.76 c RESTART 1256.14/1256.11 c RESTART 1256.33/1256.32 c RESTART 1256.53/1256.57 c RESTART 1256.73/1256.78 c RESTART 1257.34/1257.35 c RESTART 1257.73/1257.71 c RESTART 1265.43/1265.45 c RESTART 1266.04/1266.03 c RESTART 1266.63/1266.60 c RESTART 1267.14/1267.14 c RESTART 1267.43/1267.46 c RESTART 1267.83/1267.81 c RESTART 1268.03/1268.05 c RESTART 1268.34/1268.38 c RESTART 1268.73/1268.74 c RESTART 1268.93/1268.94 c RESTART 1269.13/1269.14 c RESTART 1269.63/1269.66 c RESTART 1270.13/1270.10 c RESTART 1270.44/1270.43 c RESTART 1271.33/1271.31 c RESTART 1271.43/1271.45 c RESTART 1271.64/1271.65 c RESTART 1271.93/1271.96 c RESTART 1272.53/1272.57 c RESTART 1272.83/1272.87 c RESTART 1273.13/1273.17 c RESTART 1273.43/1273.47 c RESTART 1273.93/1273.90 c RESTART 1274.13/1274.20 c RESTART 1274.43/1274.49 c RESTART 1274.73/1274.79 c RESTART 1275.03/1275.07 c RESTART 1275.23/1275.26 c RESTART 1275.43/1275.45 c RESTART 1275.73/1275.73 c RESTART 1276.04/1276.06 c RESTART 1276.23/1276.25 c RESTART 1276.63/1276.62 c RESTART 1276.83/1276.82 c RESTART 1277.04/1277.04 c RESTART 1277.43/1277.43 c RESTART 1277.63/1277.63 c RESTART 1278.03/1278.01 c RESTART 1278.24/1278.21 c RESTART 1278.63/1278.62 c RESTART 1279.03/1279.07 c RESTART 1279.53/1279.56 c RESTART 1279.73/1279.80 c RESTART 1280.03/1280.04 c RESTART 1280.23/1280.23 c RESTART 1280.73/1280.74 c RESTART 1281.13/1281.12 c RESTART 1281.44/1281.47 c RESTART 1281.73/1281.76 c RESTART 1282.03/1282.09 c RESTART 1282.43/1282.41 c RESTART 1282.64/1282.65 c RESTART 1282.73/1282.79 c RESTART 1283.03/1283.05 c RESTART 1283.13/1283.19 c RESTART 1283.33/1283.36 c RESTART 1283.74/1283.77 c RESTART 1284.23/1284.28 c RESTART 1284.43/1284.49 c RESTART 1284.74/1284.76 c RESTART 1285.03/1285.07 c RESTART 1285.33/1285.36 c RESTART 1285.53/1285.55 c RESTART 1285.73/1285.79 c RESTART 1286.03/1286.06 c RESTART 1286.33/1286.32 c RESTART 1286.63/1286.69 c RESTART 1287.04/1287.00 c RESTART 1287.43/1287.49 c RESTART 1287.93/1287.97 c RESTART 1288.33/1288.35 c RESTART 1288.73/1288.75 c RESTART 1289.14/1289.14 c RESTART 1289.33/1289.38 c RESTART 1289.63/1289.63 c RESTART 1289.73/1289.79 c RESTART 1290.03/1290.04 c RESTART 1290.34/1290.31 c RESTART 1290.53/1290.54 c RESTART 1290.73/1290.73 c RESTART 1291.03/1291.05 c RESTART 1291.34/1291.31 c RESTART 1291.83/1291.80 c RESTART 1292.03/1292.07 c RESTART 1292.23/1292.22 c RESTART 1292.63/1292.67 c RESTART 1293.03/1293.01 c RESTART 1293.33/1293.36 c RESTART 1293.54/1293.59 c RESTART 1293.93/1293.91 c RESTART 1294.13/1294.12 c RESTART 1294.43/1294.45 c RESTART 1294.74/1294.77 c RESTART 1294.93/1294.91 c RESTART 1295.13/1295.15 c RESTART 1295.43/1295.41 c RESTART 1295.74/1295.72 c RESTART 1296.03/1296.06 c RESTART 1296.33/1296.36 c RESTART 1296.53/1296.58 c RESTART 1296.73/1296.76 c RESTART 1297.13/1297.18 c RESTART 1297.53/1297.52 c RESTART 1297.94/1297.91 c RESTART 1298.43/1298.40 c RESTART 1298.53/1298.55 c RESTART 1298.83/1298.82 c RESTART 1299.04/1299.06 c RESTART 1299.23/1299.24 c RESTART 1299.43/1299.44 c RESTART 1299.73/1299.76 c RESTART
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) 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-3281787-1303755280/watcher-3281787-1303755280 -o /tmp/evaluation-result-3281787-1303755280/solver-3281787-1303755280 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3281787-1303755280.cnf running on 2 cores: 1,3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.63 3.89 3.63 5/189 20077 /proc/meminfo: memFree=16495272/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=61712 CPUtime=0 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 3261 0 0 0 0 0 0 0 21 0 1 0 487128540 63193088 3203 33554432000 4194304 4210924 140735373540736 18446744073709551615 4206808 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 15428 3210 94 5 0 9731 0 [startup+0.026899 s] /proc/loadavg: 3.63 3.89 3.63 5/189 20077 /proc/meminfo: memFree=16495272/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=121512 CPUtime=0.01 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 10139 0 0 0 1 0 0 0 21 0 1 0 487128540 124428288 10081 33554432000 4194304 4210924 140735373540736 18446744073709551615 4197908 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 30378 10084 119 5 0 24681 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 121512 [startup+0.100884 s] /proc/loadavg: 3.63 3.89 3.63 5/189 20077 /proc/meminfo: memFree=16495272/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=134844 CPUtime=0.09 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 15480 0 0 0 8 1 0 0 21 0 1 0 487128540 138080256 15422 33554432000 4194304 4210924 140735373540736 18446744073709551615 4197908 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 33711 15426 703 5 0 28014 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 134844 [startup+0.30086 s] /proc/loadavg: 3.63 3.89 3.63 5/189 20077 /proc/meminfo: memFree=16495272/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=169560 CPUtime=0.29 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 29445 0 0 0 27 2 0 0 22 0 1 0 487128540 173629440 29387 33554432000 4194304 4210924 140735373540736 18446744073709551615 244446606021 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 42390 29390 2366 5 0 36693 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 169560 [startup+0.700778 s] /proc/loadavg: 3.63 3.89 3.63 5/189 20077 /proc/meminfo: memFree=16495272/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=190772 CPUtime=0.68 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 46074 0 0 0 64 4 0 0 23 0 1 0 487128540 195350528 41253 33554432000 4194304 4210924 140735373540736 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 47693 41253 95 5 0 46164 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 190772 [startup+1.50063 s] /proc/loadavg: 3.63 3.89 3.63 5/190 20078 /proc/meminfo: memFree=16096116/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=190904 CPUtime=1.48 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 46125 0 0 0 144 4 0 0 25 0 1 0 487128540 195485696 41304 33554432000 4194304 4210924 140735373540736 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 47726 41304 101 5 0 46197 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 190904 [startup+3.10032 s] /proc/loadavg: 3.63 3.89 3.63 5/190 20078 /proc/meminfo: memFree=16092024/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=191960 CPUtime=3.08 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 46415 0 0 0 304 4 0 0 25 0 1 0 487128540 196567040 41593 33554432000 4194304 4210924 140735373540736 18446744073709551615 4198790 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 47990 41593 101 5 0 46461 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 191960 [startup+6.30073 s] /proc/loadavg: 3.66 3.90 3.63 5/190 20078 /proc/meminfo: memFree=16087156/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=193016 CPUtime=6.29 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 46727 0 0 0 624 5 0 0 25 0 1 0 487128540 197648384 41898 33554432000 4194304 4210924 140735373540736 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 48254 41898 101 5 0 46725 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 193016 [startup+12.7005 s] /proc/loadavg: 3.68 3.90 3.63 5/190 20078 /proc/meminfo: memFree=16079360/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=198052 CPUtime=12.69 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 48073 0 0 0 1264 5 0 0 25 0 1 0 487128540 202805248 43241 33554432000 4194304 4210924 140735373540736 18446744073709551615 4201865 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 49513 43241 101 5 0 47984 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 198052 [startup+25.5012 s] /proc/loadavg: 3.83 3.92 3.64 5/190 20078 /proc/meminfo: memFree=16063904/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=206580 CPUtime=25.49 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 50298 0 0 0 2544 5 0 0 25 0 1 0 487128540 211537920 45466 33554432000 4194304 4210924 140735373540736 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 51645 45466 102 5 0 50116 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 206580 [startup+51.1004 s] /proc/loadavg: 3.88 3.92 3.65 5/190 20079 /proc/meminfo: memFree=16050784/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=208844 CPUtime=51.09 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 50876 0 0 0 5104 5 0 0 25 0 1 0 487128540 213856256 46044 33554432000 4194304 4210924 140735373540736 18446744073709551615 4205010 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 52211 46044 102 5 0 50682 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 208844 [startup+102.307 s] /proc/loadavg: 3.95 3.93 3.66 5/190 20081 /proc/meminfo: memFree=16027420/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=215604 CPUtime=102.3 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 52580 0 0 0 10224 6 0 0 25 0 1 0 487128540 220778496 47748 33554432000 4194304 4210924 140735373540736 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 53901 47748 102 5 0 52372 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 215604 [startup+162.301 s] /proc/loadavg: 3.98 3.94 3.68 5/190 20082 /proc/meminfo: memFree=16005700/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=222732 CPUtime=162.29 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 54350 0 0 0 16223 6 0 0 25 0 1 0 487128540 228077568 49518 33554432000 4194304 4210924 140735373540736 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 55683 49518 102 5 0 54154 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 222732 [startup+222.301 s] /proc/loadavg: 3.99 3.95 3.70 5/190 20084 /proc/meminfo: memFree=15987952/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=228688 CPUtime=222.3 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 55869 0 0 0 22223 7 0 0 25 0 1 0 487128540 234176512 51037 33554432000 4194304 4210924 140735373540736 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 57172 51037 102 5 0 55643 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 228688 [startup+282.3 s] /proc/loadavg: 3.99 3.95 3.72 5/190 20085 /proc/meminfo: memFree=15985580/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=230140 CPUtime=282.3 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 56233 0 0 0 28223 7 0 0 25 0 1 0 487128540 235663360 51401 33554432000 4194304 4210924 140735373540736 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 57535 51401 102 5 0 56006 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 230140 [startup+342.3 s] /proc/loadavg: 3.99 3.96 3.73 5/190 20087 /proc/meminfo: memFree=15969324/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=237024 CPUtime=342.3 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 57934 0 0 0 34223 7 0 0 25 0 1 0 487128540 242712576 53102 33554432000 4194304 4210924 140735373540736 18446744073709551615 4206994 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 59256 53102 102 5 0 57727 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 237024 [startup+402.3 s] /proc/loadavg: 3.99 3.97 3.74 5/190 20088 /proc/meminfo: memFree=15965460/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=239416 CPUtime=402.3 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 58539 0 0 0 40223 7 0 0 25 0 1 0 487128540 245161984 53707 33554432000 4194304 4210924 140735373540736 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 59854 53707 102 5 0 58325 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 239416 [startup+462.301 s] /proc/loadavg: 4.03 3.98 3.76 5/190 20090 /proc/meminfo: memFree=15962340/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=242592 CPUtime=462.3 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 59361 0 0 0 46223 7 0 0 25 0 1 0 487128540 248414208 54529 33554432000 4194304 4210924 140735373540736 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 60648 54529 102 5 0 59119 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 242592 [startup+522.301 s] /proc/loadavg: 4.01 3.98 3.77 5/190 20092 /proc/meminfo: memFree=15960332/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=244044 CPUtime=522.3 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 59713 0 0 0 52223 7 0 0 25 0 1 0 487128540 249901056 54881 33554432000 4194304 4210924 140735373540736 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 61011 54881 102 5 0 59482 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 244044 [startup+582.301 s] /proc/loadavg: 4.03 4.00 3.79 5/190 20093 /proc/meminfo: memFree=15955964/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=248268 CPUtime=582.31 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 60787 0 0 0 58223 8 0 0 25 0 1 0 487128540 254226432 55955 33554432000 4194304 4210924 140735373540736 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 62067 55955 103 5 0 60538 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 248268 [startup+642.301 s] /proc/loadavg: 4.01 4.00 3.80 5/190 20095 /proc/meminfo: memFree=15953440/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=250908 CPUtime=642.32 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 61427 0 0 0 64224 8 0 0 25 0 1 0 487128540 256929792 56595 33554432000 4194304 4210924 140735373540736 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 62727 56595 103 5 0 61198 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 250908 [startup+702.3 s] /proc/loadavg: 4.00 4.00 3.81 5/190 20096 /proc/meminfo: memFree=15948336/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=255928 CPUtime=702.31 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 62695 0 0 0 70223 8 0 0 25 0 1 0 487128540 262070272 57863 33554432000 4194304 4210924 140735373540736 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 63982 57863 103 5 0 62453 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 255928 [startup+762.306 s] /proc/loadavg: 4.00 4.00 3.82 5/190 20098 /proc/meminfo: memFree=15945348/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=257908 CPUtime=762.32 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 63208 0 0 0 76223 9 0 0 25 0 1 0 487128540 264097792 58376 33554432000 4194304 4210924 140735373540736 18446744073709551615 4198621 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 64477 58376 103 5 0 62948 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 257908 [startup+822.301 s] /proc/loadavg: 4.00 4.00 3.83 5/190 20100 /proc/meminfo: memFree=15938624/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=262532 CPUtime=822.32 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 64363 0 0 0 82223 9 0 0 25 0 1 0 487128540 268832768 59531 33554432000 4194304 4210924 140735373540736 18446744073709551615 4207018 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 65633 59531 103 5 0 64104 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 262532 [startup+882.301 s] /proc/loadavg: 4.00 4.00 3.83 5/190 20101 /proc/meminfo: memFree=15935980/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=264652 CPUtime=882.32 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 64904 0 0 0 88223 9 0 0 25 0 1 0 487128540 271003648 60072 33554432000 4194304 4210924 140735373540736 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 66163 60072 103 5 0 64634 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 264652 [startup+942.301 s] /proc/loadavg: 4.00 4.00 3.84 5/190 20103 /proc/meminfo: memFree=15933456/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=267160 CPUtime=942.32 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 65527 0 0 0 94222 10 0 0 25 0 1 0 487128540 273571840 60695 33554432000 4194304 4210924 140735373540736 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 66790 60695 103 5 0 65261 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 267160 [startup+1002.3 s] /proc/loadavg: 4.05 4.01 3.85 6/190 20105 /proc/meminfo: memFree=15930084/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=269932 CPUtime=1002.32 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 66235 0 0 0 100222 10 0 0 25 0 1 0 487128540 276410368 61403 33554432000 4194304 4210924 140735373540736 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 67483 61403 103 5 0 65954 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 269932 [startup+1062.3 s] /proc/loadavg: 4.02 4.01 3.86 5/190 20106 /proc/meminfo: memFree=15926828/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=273100 CPUtime=1062.33 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 67017 0 0 0 106222 11 0 0 25 0 1 0 487128540 279654400 62185 33554432000 4194304 4210924 140735373540736 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 68275 62185 103 5 0 66746 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 273100 [startup+1122.3 s] /proc/loadavg: 4.05 4.02 3.87 5/190 20108 /proc/meminfo: memFree=15922356/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=277596 CPUtime=1122.32 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 68145 0 0 0 112221 11 0 0 25 0 1 0 487128540 284258304 63313 33554432000 4194304 4210924 140735373540736 18446744073709551615 4204590 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 69399 63313 103 5 0 67870 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 277596 [startup+1182.3 s] /proc/loadavg: 4.02 4.01 3.87 5/190 20109 /proc/meminfo: memFree=15917496/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=282376 CPUtime=1182.33 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 69354 0 0 0 118221 12 0 0 25 0 1 0 487128540 289153024 64522 33554432000 4194304 4210924 140735373540736 18446744073709551615 4205041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 70594 64522 103 5 0 69065 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 282376 [startup+1242.3 s] /proc/loadavg: 4.00 4.01 3.88 5/190 20111 /proc/meminfo: memFree=15914992/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=284356 CPUtime=1242.33 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 69829 0 0 0 124221 12 0 0 25 0 1 0 487128540 291180544 64997 33554432000 4194304 4210924 140735373540736 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 71089 64997 103 5 0 69560 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 284356 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 4.00 3.89 3/188 20115 /proc/meminfo: memFree=16319476/32951124 swapFree=67111528/67111528 [pid=20077] ppid=20075 vsize=288448 CPUtime=1300.04 cores=1,3 /proc/20077/stat : 20077 (saturn) R 20075 20077 18696 0 -1 4202496 70868 0 0 0 129992 12 0 0 25 0 1 0 487128540 295370752 66036 33554432000 4194304 4210924 140735373540736 18446744073709551615 4204561 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/20077/statm: 72112 66036 103 5 0 70583 0 Current children cumulated CPU time (s) 1300.04 Current children cumulated vsize (KiB) 288448 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1300.02 CPU time (s): 1300.06 CPU user time (s): 1299.92 CPU system time (s): 0.138978 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 288448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1299.92 system time used= 0.138978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70868 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= 3 involuntary context switches= 1684 runsolver used 2.24266 second user time and 4.89126 second system time The end
Begin job on node105 at 2011-04-25 20:14:41 IDJOB=3281787 IDBENCH=69619 IDSOLVER=1583 FILE ID=node105/3281787-1303755280 RUNJOBID= node105-1303755280-20037 PBS_JOBID= 13154057 Free space on /tmp= 71852 MiB SOLVER NAME= Black Hole SAT 2011-03-08 BENCH NAME= SAT_RACE08/cnf/manol-pipe-f7nidw.cnf COMMAND LINE= saturn BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281787-1303755280/watcher-3281787-1303755280 -o /tmp/evaluation-result-3281787-1303755280/solver-3281787-1303755280 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3281787-1303755280.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= b950ebec64dc35544d8f8bf6957e7bc2 RANDOM SEED=1440839584 node105.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5410.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 16497536 kB Buffers: 2282100 kB Cached: 13429536 kB SwapCached: 0 kB Active: 8522592 kB Inactive: 7361436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 16497536 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 54848 kB Writeback: 0 kB AnonPages: 170272 kB Mapped: 21112 kB Slab: 504916 kB PageTables: 5764 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 413944 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 71872 MiB End job on node105 at 2011-04-25 20:36:23