Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.09 | 1800.61 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb |
MD5SUM | e5d29c8d327340997e74cb5790fdc500 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.028994 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2355 |
Total number of constraints | 6744 |
Number of constraints which are clauses | 6568 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 176 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 9 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 17 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 62 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.02 c PB-wave - v2 0.00/0.02 c command line = ./PB-wave 0.00/0.02 c seed = 96998956 0.00/0.02 c cutoff = 1000000 0.00/0.02 c tries = 1000000 0.00/0.02 c heuristic = c best, noise 50 / 100 0.00/0.02 #var 2355 #con 6744 0.00/0.02 mode is SAT 0.00/0.02 c tail starts after flip = 7065 0.00/0.02 c numatom = 2355, numclause = 6744, numliterals = 16840 0.00/0.02 c wff read in 0.00/0.02 c 0.00/0.02 c lowest final avg noise noise total avg mean mean 0.00/0.02 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.02 c this this this this this this success success until std 0.00/0.02 c try try try try try try rate tries assign dev 0.00/0.02 c 1.29/1.33 c 51 134 116.93 21.02 5.56 1000000 0 2.59/2.64 c 53 112 118.22 20.43 5.79 1000000 0 3.89/3.94 c 52 114 116.09 20.82 5.58 1000000 0 5.19/5.25 c 50 117 113.34 20.36 5.57 1000000 0 6.49/6.57 c 50 104 113.98 22.53 5.06 1000000 0 7.79/7.87 c 52 124 115.45 19.91 5.80 1000000 0 9.09/9.19 c 55 101 116.98 22.27 5.25 1000000 0 10.39/10.50 c 44 102 115.88 21.14 5.48 1000000 0 11.79/11.81 c 51 107 114.07 21.88 5.21 1000000 0 13.09/13.11 c 51 118 117.33 22.50 5.21 1000000 0 14.39/14.43 c 45 145 116.42 24.59 4.73 1000000 0 15.68/15.73 c 45 139 115.26 20.33 5.67 1000000 0 16.98/17.04 c 49 121 116.84 21.54 5.42 1000000 0 18.28/18.35 c 52 133 118.12 20.91 5.65 1000000 0 19.58/19.66 c 55 115 117.05 19.83 5.90 1000000 0 20.89/20.98 c 51 103 113.41 20.49 5.53 1000000 0 22.18/22.28 c 55 88 116.65 22.34 5.22 1000000 0 23.48/23.59 c 49 130 116.13 22.51 5.16 1000000 0 24.88/24.91 c 52 84 117.71 22.39 5.26 1000000 0 26.18/26.22 c 51 167 115.26 21.05 5.48 1000000 0 27.49/27.54 c 56 118 117.19 20.39 5.75 1000000 0 28.78/28.85 c 47 107 116.34 21.03 5.53 1000000 0 30.08/30.16 c 52 105 117.27 21.14 5.55 1000000 0 31.38/31.47 c 50 141 115.33 21.98 5.25 1000000 0 32.68/32.79 c 50 131 116.58 21.01 5.55 1000000 0 34.08/34.10 c 51 120 116.95 21.85 5.35 1000000 0 35.38/35.41 c 55 125 120.79 23.37 5.17 1000000 0 36.68/36.72 c 41 119 113.16 21.23 5.33 1000000 0 37.98/38.03 c 57 104 117.12 22.16 5.29 1000000 0 39.28/39.34 c 44 101 112.78 20.00 5.64 1000000 0 40.58/40.65 c 46 136 113.49 21.31 5.33 1000000 0 41.88/41.96 c 49 98 115.77 22.37 5.18 1000000 0 43.18/43.28 c 50 107 114.44 21.42 5.34 1000000 0 44.58/44.60 c 57 179 116.57 19.43 6.00 1000000 0 45.87/45.91 c 56 116 114.50 19.39 5.90 1000000 0 47.17/47.22 c 53 102 114.91 20.56 5.59 1000000 0 48.48/48.53 c 52 114 115.33 21.30 5.41 1000000 0 49.77/49.85 c 53 110 116.37 22.21 5.24 1000000 0 51.07/51.15 c 45 105 113.71 20.26 5.61 1000000 0 52.37/52.46 c 57 115 115.74 21.92 5.28 1000000 0 53.67/53.77 c 53 112 116.39 22.46 5.18 1000000 0 54.98/55.08 c 57 141 118.86 21.88 5.43 1000000 0 56.27/56.38 c 52 88 119.28 20.78 5.74 1000000 0 57.57/57.69 c 48 118 119.45 22.01 5.43 1000000 0 58.97/59.00 c 54 124 118.89 22.80 5.22 1000000 0 60.27/60.32 c 49 104 111.95 21.44 5.22 1000000 0 61.58/61.63 c 51 111 116.92 21.69 5.39 1000000 0 62.87/62.94 c 51 115 114.31 20.55 5.56 1000000 0 64.17/64.25 c 56 96 116.68 22.35 5.22 1000000 0 65.47/65.56 c 49 138 114.43 20.63 5.55 1000000 0 66.77/66.87 c 54 104 116.44 22.12 5.26 1000000 0 68.07/68.18 c 53 125 114.57 21.96 5.22 1000000 0 69.37/69.49 c 48 141 118.70 20.29 5.85 1000000 0 70.77/70.81 c 49 139 118.44 22.48 5.27 1000000 0 72.07/72.12 c 55 123 116.97 20.48 5.71 1000000 0 73.37/73.43 c 56 133 115.12 20.71 5.56 1000000 0 74.67/74.74 c 57 122 117.16 20.68 5.67 1000000 0 75.97/76.06 c 52 99 115.35 23.06 5.00 1000000 0 77.27/77.37 c 47 103 117.15 20.58 5.69 1000000 0 78.57/78.68 c 48 94 114.72 21.15 5.42 1000000 0 79.96/80.00 c 48 121 115.73 21.64 5.35 1000000 0 81.26/81.31 c 48 132 116.71 22.93 5.09 1000000 0 82.57/82.63 c 50 117 117.69 22.48 5.24 1000000 0 83.86/83.93 c 53 122 117.46 22.57 5.21 1000000 0 85.16/85.24 c 44 104 117.27 21.19 5.53 1000000 0 86.46/86.56 c 49 89 114.07 21.03 5.42 1000000 0 87.76/87.86 c 50 84 115.64 20.99 5.51 1000000 0 89.07/89.18 c 53 100 116.21 23.11 5.03 1000000 0 90.36/90.49 c 47 115 115.00 22.34 5.15 1000000 0 91.76/91.80 c 55 107 120.00 22.26 5.39 1000000 0 93.06/93.11 c 53 108 118.34 22.42 5.28 1000000 0 94.36/94.42 c 59 111 117.78 21.11 5.58 1000000 0 95.67/95.73 c 57 131 118.81 21.61 5.50 1000000 0 96.96/97.03 c 57 117 118.66 19.95 5.95 1000000 0 98.26/98.35 c 52 127 116.92 21.97 5.32 1000000 0 99.56/99.65 c 50 90 118.67 22.28 5.33 1000000 0 100.86/100.96 c 54 124 115.95 21.58 5.37 1000000 0 102.16/102.27 c 55 90 114.85 20.41 5.63 1000000 0 103.47/103.58 c 52 107 114.22 20.60 5.54 1000000 0 104.76/104.89 c 50 114 117.50 24.18 4.86 1000000 0 106.15/106.21 c 47 89 114.70 20.52 5.59 1000000 0 107.45/107.52 c 54 110 113.05 20.49 5.52 1000000 0 108.75/108.83 c 50 156 115.78 20.95 5.53 1000000 0 110.06/110.15 c 55 129 115.53 21.75 5.31 1000000 0 111.35/111.45 c 46 108 112.37 20.34 5.53 1000000 0 112.65/112.76 c 56 85 114.88 20.56 5.59 1000000 0 113.95/114.08 c 46 124 113.40 21.23 5.34 1000000 0 115.25/115.39 c 55 104 119.00 22.07 5.39 1000000 0 116.66/116.71 c 44 143 116.69 21.73 5.37 1000000 0 117.95/118.03 c 50 119 117.23 22.03 5.32 1000000 0 119.25/119.33 c 53 135 117.62 20.64 5.70 1000000 0 120.55/120.64 c 52 124 117.46 20.77 5.66 1000000 0 121.85/121.95 c 54 99 116.82 20.42 5.72 1000000 0 123.16/123.27 c 52 99 115.03 18.91 6.08 1000000 0 124.45/124.57 c 47 112 114.08 19.32 5.90 1000000 0 125.75/125.88 c 52 136 115.91 22.28 5.20 1000000 0 127.15/127.20 c 54 184 119.20 20.84 5.72 1000000 0 128.45/128.51 c 42 104 117.52 21.03 5.59 1000000 0 129.76/129.82 c 57 127 116.31 20.66 5.63 1000000 0 131.05/131.13 c 50 71 114.66 21.30 5.38 1000000 0 132.35/132.44 c 51 124 115.19 21.48 5.36 1000000 0 133.65/133.75 c 39 79 114.34 23.09 4.95 1000000 0 134.95/135.06 c 46 99 117.86 21.08 5.59 1000000 0 136.25/136.38 c 55 101 114.52 20.16 5.68 1000000 0 137.56/137.69 c 38 94 115.67 20.92 5.53 1000000 0 138.95/139.01 c 54 103 113.97 21.11 5.40 1000000 0 140.25/140.32 c 49 129 116.01 21.25 5.46 1000000 0 141.55/141.62 c 52 128 120.09 21.08 5.70 1000000 0 142.85/142.94 c 46 104 115.49 23.14 4.99 1000000 0 144.15/144.25 c 57 127 119.76 21.35 5.61 1000000 0 145.45/145.56 c 48 119 116.51 20.28 5.74 1000000 0 146.74/146.87 c 51 90 116.44 22.65 5.14 1000000 0 148.04/148.18 c 58 123 119.37 20.88 5.72 1000000 0 149.34/149.49 c 50 123 115.18 20.23 5.69 1000000 0 150.65/150.80 c 37 107 113.73 19.52 5.83 1000000 0 152.04/152.11 c 46 130 114.50 20.39 5.62 1000000 0 153.34/153.41 c 56 90 116.39 21.85 5.33 1000000 0 154.64/154.72 c 53 75 115.65 19.92 5.81 1000000 0 155.94/156.04 c 49 142 118.56 23.69 5.00 1000000 0 157.25/157.34 c 53 121 118.13 20.72 5.70 1000000 0 158.54/158.66 c 55 155 115.28 21.40 5.39 1000000 0 159.84/159.96 c 53 131 116.25 20.82 5.58 1000000 0 161.14/161.27 c 50 99 117.23 21.40 5.48 1000000 0 162.44/162.58 c 53 117 115.47 21.75 5.31 1000000 0 163.74/163.88 c 54 149 116.50 20.58 5.66 1000000 0 165.05/165.19 c 50 103 117.95 22.97 5.13 1000000 0 166.44/166.50 c 57 129 116.82 21.40 5.46 1000000 0 167.74/167.81 c 52 124 114.63 19.74 5.81 1000000 0 169.04/169.11 c 60 145 120.26 21.02 5.72 1000000 0 170.34/170.42 c 52 156 116.63 23.14 5.04 1000000 0 171.64/171.73 c 52 139 117.51 21.39 5.49 1000000 0 172.94/173.05 c 52 95 118.98 22.29 5.34 1000000 0 174.24/174.35 c 45 64 115.48 21.82 5.29 1000000 0 175.54/175.67 c 53 132 118.35 24.66 4.80 1000000 0 176.84/176.98 c 48 104 115.87 21.75 5.33 1000000 0 178.14/178.29 c 57 107 116.84 19.50 5.99 1000000 0 179.53/179.60 c 45 100 115.65 21.52 5.37 1000000 0 180.83/180.92 c 44 89 117.62 22.67 5.19 1000000 0 182.13/182.23 c 52 130 115.04 21.70 5.30 1000000 0 183.43/183.54 c 42 124 112.64 20.79 5.42 1000000 0 184.74/184.86 c 53 135 114.74 21.28 5.39 1000000 0 186.03/186.17 c 52 126 113.37 19.92 5.69 1000000 0 187.33/187.48 c 55 128 116.66 20.54 5.68 1000000 0 188.63/188.79 c 55 123 116.84 21.33 5.48 1000000 0 190.03/190.10 c 54 135 117.33 20.71 5.67 1000000 0 191.34/191.41 c 47 106 115.00 20.91 5.50 1000000 0 192.63/192.72 c 46 98 112.65 20.51 5.49 1000000 0 193.93/194.04 c 52 101 115.24 22.09 5.22 1000000 0 195.23/195.35 c 54 95 114.02 19.31 5.91 1000000 0 196.53/196.67 c 54 82 116.68 23.18 5.03 1000000 0 197.83/197.98 c 44 112 118.59 22.06 5.38 1000000 0 199.14/199.29 c 51 116 116.08 21.02 5.52 1000000 0 200.53/200.60 c 54 126 117.95 21.11 5.59 1000000 0 201.83/201.91 c 52 104 117.22 21.64 5.42 1000000 0 203.13/203.21 c 51 142 117.36 22.04 5.32 1000000 0 204.43/204.52 c 47 121 115.95 20.87 5.55 1000000 0 205.73/205.84 c 41 135 115.77 21.73 5.33 1000000 0 207.03/207.15 c 52 116 117.56 21.73 5.41 1000000 0 208.33/208.45 c 42 101 116.21 22.29 5.21 1000000 0 209.63/209.76 c 54 83 117.64 22.21 5.30 1000000 0 210.93/211.07 c 56 109 118.14 22.55 5.24 1000000 0 212.23/212.39 c 50 114 117.00 22.03 5.31 1000000 0 213.63/213.70 c 55 130 117.41 22.40 5.24 1000000 0 214.93/215.01 c 55 109 115.40 20.74 5.56 1000000 0 216.22/216.32 c 51 146 115.98 22.74 5.10 1000000 0 217.52/217.63 c 52 151 117.40 20.75 5.66 1000000 0 218.83/218.95 c 51 126 114.87 22.34 5.14 1000000 0 220.12/220.26 c 50 107 116.68 23.64 4.94 1000000 0 221.42/221.58 c 46 94 114.84 21.25 5.40 1000000 0 222.72/222.89 c 42 116 114.74 20.07 5.72 1000000 0 224.12/224.20 c 48 118 117.59 20.84 5.64 1000000 0 225.43/225.53 c 46 106 117.08 19.98 5.86 1000000 0 226.72/226.84 c 48 117 117.88 22.33 5.28 1000000 0 228.02/228.16 c 48 100 115.12 21.83 5.27 1000000 0 229.32/229.46 c 55 114 119.03 22.36 5.32 1000000 0 230.62/230.77 c 51 87 117.52 22.11 5.32 1000000 0 231.92/232.09 c 51 99 115.31 20.82 5.54 1000000 0 233.32/233.40 c 56 149 119.00 21.12 5.63 1000000 0 234.62/234.72 c 52 108 115.73 20.34 5.69 1000000 0 235.92/236.03 c 52 101 114.52 23.76 4.82 1000000 0 237.22/237.34 c 52 103 115.33 19.85 5.81 1000000 0 238.52/238.65 c 44 92 117.94 22.42 5.26 1000000 0 239.82/239.96 c 45 91 118.33 21.82 5.42 1000000 0 241.12/241.26 c 53 119 117.26 20.71 5.66 1000000 0 242.42/242.58 c 49 143 116.89 20.44 5.72 1000000 0 243.71/243.89 c 52 100 117.17 20.27 5.78 1000000 0 245.11/245.20 c 52 124 118.35 21.26 5.57 1000000 0 246.42/246.51 c 58 154 117.83 22.00 5.36 1000000 0 247.71/247.82 c 57 90 117.42 21.50 5.46 1000000 0 249.01/249.13 c 52 109 114.69 21.00 5.46 1000000 0 250.31/250.44 c 50 107 120.20 21.66 5.55 1000000 0 251.61/251.75 c 42 117 115.42 22.26 5.18 1000000 0 252.92/253.07 c 51 154 116.46 23.24 5.01 1000000 0 254.21/254.38 c 49 96 115.40 20.39 5.66 1000000 0 255.51/255.69 c 54 101 116.16 22.91 5.07 1000000 0 256.91/257.00 c 44 118 119.07 21.60 5.51 1000000 0 258.21/258.32 c 53 106 117.11 20.93 5.59 1000000 0 259.52/259.63 c 45 98 117.70 23.51 5.01 1000000 0 260.81/260.93 c 50 133 119.24 21.75 5.48 1000000 0 262.11/262.24 c 50 142 117.21 21.86 5.36 1000000 0 263.41/263.55 c 44 112 112.88 21.59 5.23 1000000 0 264.71/264.86 c 50 133 117.00 20.52 5.70 1000000 0 266.01/266.18 c 54 124 115.16 22.68 5.08 1000000 0 267.32/267.48 c 55 153 116.81 21.59 5.41 1000000 0 268.71/268.80 c 42 115 116.71 21.89 5.33 1000000 0 270.01/270.12 c 44 121 114.37 20.08 5.70 1000000 0 271.31/271.43 c 47 109 117.04 20.07 5.83 1000000 0 272.61/272.74 c 43 128 117.59 21.42 5.49 1000000 0 273.91/274.04 c 49 119 117.80 21.96 5.37 1000000 0 275.21/275.35 c 40 120 113.48 20.16 5.63 1000000 0 276.51/276.67 c 51 126 115.31 21.00 5.49 1000000 0 277.81/277.98 c 49 106 119.27 20.62 5.79 1000000 0 279.11/279.28 c 50 101 114.68 20.97 5.47 1000000 0 280.41/280.59 c 52 120 116.30 21.43 5.43 1000000 0 281.81/281.90 c 52 90 115.08 21.50 5.35 1000000 0 283.10/283.22 c 49 121 116.61 20.70 5.63 1000000 0 284.40/284.52 c 49 97 115.99 20.80 5.58 1000000 0 285.70/285.83 c 50 122 118.90 21.25 5.60 1000000 0 287.01/287.15 c 48 126 114.20 21.33 5.35 1000000 0 288.30/288.45 c 60 125 118.18 22.13 5.34 1000000 0 289.60/289.76 c 48 127 118.55 22.07 5.37 1000000 0 290.90/291.07 c 47 134 114.08 21.40 5.33 1000000 0 292.20/292.38 c 52 96 114.47 21.78 5.26 1000000 0 293.50/293.68 c 54 123 116.50 21.47 5.43 1000000 0 294.81/294.99 c 50 132 120.59 22.10 5.46 1000000 0 296.20/296.30 c 54 130 119.58 21.80 5.49 1000000 0 297.50/297.61 c 52 99 117.95 22.14 5.33 1000000 0 298.80/298.91 c 53 101 118.27 19.84 5.96 1000000 0 300.10/300.23 c 47 132 116.12 22.06 5.26 1000000 0 301.41/301.54 c 52 108 118.43 23.20 5.11 1000000 0 302.70/302.86 c 56 98 117.81 21.57 5.46 1000000 0 304.00/304.17 c 54 111 114.37 19.91 5.74 1000000 0 305.30/305.48 c 56 131 118.72 22.62 5.25 1000000 0 306.70/306.80 c 55 108 116.37 21.21 5.49 1000000 0 308.00/308.11 c 46 115 114.17 20.86 5.47 1000000 0 309.30/309.43 c 46 99 120.46 22.99 5.24 1000000 0 310.59/310.73 c 53 122 115.68 21.28 5.44 1000000 0 311.89/312.04 c 56 115 117.95 22.22 5.31 1000000 0 313.19/313.35 c 49 122 116.66 21.92 5.32 1000000 0 314.50/314.67 c 55 112 118.22 21.94 5.39 1000000 0 315.79/315.98 c 45 83 117.34 22.87 5.13 1000000 0 317.09/317.29 c 51 108 120.17 21.21 5.66 1000000 0 318.39/318.60 c 55 137 117.35 19.99 5.87 1000000 0 319.79/319.92 c 47 130 113.44 23.96 4.73 1000000 0 321.10/321.23 c 46 111 116.90 21.85 5.35 1000000 0 322.39/322.54 c 44 117 114.86 20.12 5.71 1000000 0 323.69/323.85 c 56 89 117.16 20.76 5.64 1000000 0 324.99/325.16 c 40 92 119.25 22.70 5.25 1000000 0 326.29/326.47 c 56 122 119.61 22.43 5.33 1000000 0 327.59/327.79 c 55 107 115.77 20.94 5.53 1000000 0 328.99/329.10 c 49 101 116.67 22.35 5.22 1000000 0 330.29/330.41 c 46 90 113.80 22.33 5.10 1000000 0 331.59/331.73 c 55 105 114.17 20.71 5.51 1000000 0 332.89/333.03 c 48 111 114.04 21.10 5.40 1000000 0 334.19/334.34 c 48 133 115.66 21.51 5.38 1000000 0 335.50/335.64 c 47 135 117.86 21.32 5.53 1000000 0 336.79/336.96 c 54 115 117.00 23.18 5.05 1000000 0 338.09/338.27 c 52 107 118.12 21.19 5.57 1000000 0 339.39/339.58 c 50 124 116.32 19.53 5.96 1000000 0 340.79/340.90 c 54 123 117.63 21.53 5.46 1000000 0 342.09/342.21 c 53 119 117.62 20.46 5.75 1000000 0 343.39/343.52 c 48 139 114.96 21.46 5.36 1000000 0 344.69/344.83 c 49 125 116.47 20.78 5.60 1000000 0 345.98/346.15 c 48 89 114.87 21.91 5.24 1000000 0 347.28/347.46 c 47 115 114.79 22.86 5.02 1000000 0 348.59/348.76 c 52 130 114.17 21.99 5.19 1000000 0 349.88/350.08 c 49 123 117.14 20.98 5.58 1000000 0 351.18/351.39 c 52 119 115.83 21.21 5.46 1000000 0 352.58/352.71 c 47 121 115.12 21.46 5.36 1000000 0 353.88/354.02 c 56 123 118.17 21.36 5.53 1000000 0 355.19/355.33 c 46 143 117.24 21.40 5.48 1000000 0 356.48/356.64 c 47 131 118.43 20.96 5.65 1000000 0 357.78/357.95 c 48 94 112.24 20.78 5.40 1000000 0 359.08/359.26 c 48 103 116.36 21.37 5.44 1000000 0 360.38/360.57 c 55 142 118.18 21.51 5.50 1000000 0 361.68/361.89 c 40 160 114.25 21.76 5.25 1000000 0 363.08/363.20 c 50 120 115.88 20.45 5.67 1000000 0 364.38/364.51 c 51 100 114.84 21.95 5.23 1000000 0 365.68/365.82 c 53 103 116.15 21.10 5.50 1000000 0 366.98/367.15 c 48 102 114.10 20.40 5.59 1000000 0 368.28/368.46 c 51 102 117.53 21.25 5.53 1000000 0 369.59/369.76 c 51 92 116.95 21.64 5.40 1000000 0 370.88/371.08 c 51 134 115.49 20.96 5.51 1000000 0 372.18/372.39 c 49 92 118.46 22.68 5.22 1000000 0 373.48/373.70 c 50 122 117.24 21.12 5.55 1000000 0 374.88/375.01 c 47 95 115.48 21.63 5.34 1000000 0 376.18/376.31 c 52 115 117.94 21.27 5.55 1000000 0 377.48/377.62 c 48 129 114.90 19.87 5.78 1000000 0 378.78/378.93 c 49 182 118.09 21.09 5.60 1000000 0 380.08/380.25 c 46 169 115.42 20.58 5.61 1000000 0 381.38/381.56 c 52 138 115.18 21.24 5.42 1000000 0 382.68/382.88 c 53 138 116.78 21.27 5.49 1000000 0 383.97/384.19 c 57 90 115.82 22.18 5.22 1000000 0 385.37/385.50 c 48 75 116.66 21.97 5.31 1000000 0 386.67/386.82 c 57 115 118.97 21.15 5.62 1000000 0 387.97/388.14 c 45 102 116.20 22.64 5.13 1000000 0 389.28/389.45 c 53 137 115.85 20.60 5.62 1000000 0 390.57/390.75 c 51 123 115.98 21.31 5.44 1000000 0 391.87/392.06 c 55 117 116.23 22.39 5.19 1000000 0 393.17/393.37 c 56 133 117.98 22.00 5.36 1000000 0 394.47/394.68 c 52 185 118.10 20.50 5.76 1000000 0 395.77/395.99 c 52 115 117.88 21.82 5.40 1000000 0 397.17/397.30 c 53 118 114.84 21.21 5.41 1000000 0 398.47/398.61 c 52 128 116.56 22.45 5.19 1000000 0 399.77/399.93 c 50 136 114.83 20.56 5.58 1000000 0 401.07/401.25 c 44 88 113.78 21.56 5.28 1000000 0 402.37/402.56 c 52 79 117.93 22.28 5.29 1000000 0 403.68/403.87 c 51 112 115.19 20.39 5.65 1000000 0 404.97/405.18 c 47 82 117.34 20.96 5.60 1000000 0 406.37/406.50 c 58 79 118.40 21.94 5.40 1000000 0 407.67/407.80 c 54 100 119.93 20.37 5.89 1000000 0 408.97/409.12 c 51 128 115.25 20.60 5.59 1000000 0 410.27/410.43 c 48 154 116.98 20.17 5.80 1000000 0 411.57/411.73 c 49 111 118.58 21.30 5.57 1000000 0 412.87/413.05 c 53 145 116.53 21.67 5.38 1000000 0 414.17/414.36 c 50 103 113.01 23.87 4.74 1000000 0 415.47/415.67 c 50 157 115.82 22.06 5.25 1000000 0 416.77/416.98 c 44 103 114.95 21.21 5.42 1000000 0 418.07/418.30 c 51 136 115.69 21.35 5.42 1000000 0 419.47/419.62 c 52 92 114.49 20.64 5.55 1000000 0 420.77/420.93 c 51 122 115.00 21.71 5.30 1000000 0 422.06/422.24 c 54 115 115.44 22.60 5.11 1000000 0 423.37/423.56 c 47 142 116.13 20.31 5.72 1000000 0 424.66/424.87 c 52 119 118.03 19.78 5.97 1000000 0 425.96/426.19 c 53 83 116.59 22.09 5.28 1000000 0 427.36/427.50 c 56 141 115.59 21.89 5.28 1000000 0 428.66/428.82 c 41 131 116.55 21.96 5.31 1000000 0 429.97/430.13 c 45 120 116.18 19.84 5.86 1000000 0 431.26/431.45 c 50 109 117.35 20.80 5.64 1000000 0 432.56/432.76 c 47 133 115.96 23.43 4.95 1000000 0 433.86/434.06 c 46 110 117.20 21.85 5.36 1000000 0 435.16/435.38 c 52 163 115.10 22.48 5.12 1000000 0 436.46/436.69 c 53 138 116.30 23.26 5.00 1000000 0 437.86/438.02 c 53 125 114.84 21.30 5.39 1000000 0 439.16/439.34 c 42 134 117.40 21.32 5.51 1000000 0 440.46/440.64 c 47 156 117.51 22.02 5.34 1000000 0 441.76/441.95 c 53 108 118.06 21.36 5.53 1000000 0 443.06/443.26 c 46 101 115.64 20.45 5.65 1000000 0 444.37/444.57 c 50 112 118.14 20.75 5.69 1000000 0 445.66/445.88 c 43 164 114.40 20.88 5.48 1000000 0 446.96/447.19 c 38 127 116.88 22.02 5.31 1000000 0 448.36/448.50 c 58 89 118.01 21.22 5.56 1000000 0 449.66/449.81 c 55 95 117.26 21.25 5.52 1000000 0 450.96/451.12 c 47 118 115.94 20.54 5.65 1000000 0 452.26/452.43 c 44 84 116.11 21.65 5.36 1000000 0 453.56/453.75 c 48 119 114.79 23.14 4.96 1000000 0 454.85/455.06 c 54 105 116.77 21.56 5.42 1000000 0 456.15/456.37 c 48 137 119.56 24.26 4.93 1000000 0 457.46/457.69 c 54 111 118.44 21.58 5.49 1000000 0 458.85/459.00 c 50 103 116.20 20.42 5.69 1000000 0 460.15/460.31 c 53 114 116.70 20.84 5.60 1000000 0 461.45/461.62 c 42 128 115.86 22.84 5.07 1000000 0 462.75/462.92 c 54 101 117.32 23.61 4.97 1000000 0 464.06/464.23 c 54 135 117.44 21.96 5.35 1000000 0 465.35/465.55 c 52 106 116.30 19.73 5.90 1000000 0 466.65/466.86 c 49 154 117.78 22.05 5.34 1000000 0 467.95/468.17 c 53 194 116.79 21.52 5.43 1000000 0 469.25/469.47 c 50 161 114.79 20.65 5.56 1000000 0 470.55/470.79 c 47 119 116.75 20.43 5.71 1000000 0 471.95/472.10 c 56 100 117.99 20.54 5.74 1000000 0 473.25/473.41 c 52 129 117.63 21.56 5.46 1000000 0 474.55/474.73 c 54 105 118.10 19.92 5.93 1000000 0 475.85/476.04 c 52 109 115.29 21.76 5.30 1000000 0 477.15/477.35 c 53 124 118.03 19.53 6.04 1000000 0 478.46/478.68 c 51 132 116.63 21.26 5.49 1000000 0 479.75/479.99 c 52 150 115.29 20.09 5.74 1000000 0 481.05/481.30 c 48 122 117.84 22.15 5.32 1000000 0 482.45/482.61 c 55 113 117.18 20.49 5.72 1000000 0 483.75/483.93 c 48 103 116.04 20.34 5.70 1000000 0 485.05/485.24 c 54 113 117.94 20.56 5.74 1000000 0 486.35/486.54 c 55 136 116.31 21.31 5.46 1000000 0 487.65/487.85 c 54 113 117.24 22.44 5.22 1000000 0 488.95/489.17 c 53 125 118.28 20.25 5.84 1000000 0 490.24/490.48 c 48 132 117.29 22.11 5.31 1000000 0 491.65/491.81 c 44 146 114.65 20.10 5.71 1000000 0 492.94/493.12 c 51 110 118.05 21.32 5.54 1000000 0 494.24/494.42 c 55 119 116.46 21.13 5.51 1000000 0 495.54/495.73 c 41 116 115.18 20.66 5.57 1000000 0 496.84/497.05 c 54 111 115.28 20.98 5.49 1000000 0 498.15/498.37 c 56 141 115.01 19.76 5.82 1000000 0 499.44/499.68 c 53 132 116.32 19.78 5.88 1000000 0 500.74/500.99 c 46 97 113.79 20.11 5.66 1000000 0 502.14/502.31 c 48 93 114.45 20.62 5.55 1000000 0 503.44/503.61 c 48 124 115.94 19.96 5.81 1000000 0 504.75/504.91 c 49 107 117.03 20.76 5.64 1000000 0 506.04/506.22 c 51 89 117.64 22.81 5.16 1000000 0 507.34/507.54 c 45 97 114.48 19.40 5.90 1000000 0 508.64/508.85 c 45 132 115.88 21.77 5.32 1000000 0 509.94/510.16 c 50 134 117.92 21.01 5.61 1000000 0 511.24/511.47 c 51 119 116.11 20.74 5.60 1000000 0 512.55/512.78 c 53 94 117.40 21.13 5.56 1000000 0 513.84/514.09 c 57 106 116.26 21.33 5.45 1000000 0 515.24/515.40 c 48 148 114.18 21.28 5.37 1000000 0 516.54/516.71 c 51 76 117.74 19.20 6.13 1000000 0 517.84/518.02 c 51 153 117.18 20.96 5.59 1000000 0 519.14/519.34 c 45 96 115.32 20.98 5.50 1000000 0 520.44/520.65 c 53 125 118.00 22.96 5.14 1000000 0 521.74/521.96 c 51 144 117.87 21.39 5.51 1000000 0 523.04/523.27 c 42 123 116.28 21.78 5.34 1000000 0 524.33/524.58 c 51 124 115.81 22.37 5.18 1000000 0 525.64/525.88 c 46 147 117.34 20.59 5.70 1000000 0 526.93/527.18 c 45 132 116.04 22.37 5.19 1000000 0 528.23/528.49 c 53 115 117.19 20.77 5.64 1000000 0 529.63/529.80 c 53 96 114.95 21.15 5.43 1000000 0 530.93/531.11 c 51 146 115.54 20.23 5.71 1000000 0 532.24/532.43 c 51 118 113.81 20.16 5.65 1000000 0 533.53/533.74 c 54 112 115.21 20.90 5.51 1000000 0 534.83/535.06 c 50 117 120.00 22.00 5.45 1000000 0 536.13/536.37 c 51 123 117.11 22.20 5.28 1000000 0 537.43/537.68 c 52 108 117.03 21.81 5.37 1000000 0 538.73/538.99 c 52 98 116.07 21.31 5.45 1000000 0 540.13/540.31 c 47 109 113.99 22.50 5.07 1000000 0 541.43/541.62 c 53 98 116.17 19.93 5.83 1000000 0 542.73/542.93 c 50 117 116.31 20.94 5.56 1000000 0 544.03/544.24 c 51 136 114.15 22.27 5.13 1000000 0 545.33/545.56 c 54 104 113.78 21.23 5.36 1000000 0 546.64/546.87 c 55 91 116.42 23.83 4.89 1000000 0 547.93/548.17 c 50 115 115.25 21.05 5.47 1000000 0 549.23/549.48 c 50 130 118.27 20.98 5.64 1000000 0 550.53/550.79 c 51 77 112.61 20.47 5.50 1000000 0 551.83/552.10 c 53 93 115.38 21.01 5.49 1000000 0 553.23/553.41 c 51 79 117.50 22.20 5.29 1000000 0 554.53/554.72 c 53 132 118.16 21.86 5.40 1000000 0 555.83/556.04 c 48 111 113.11 19.79 5.71 1000000 0 557.13/557.35 c 49 100 119.07 22.53 5.29 1000000 0 558.43/558.66 c 50 130 116.06 21.46 5.41 1000000 0 559.73/559.98 c 53 101 114.87 23.31 4.93 1000000 0 561.02/561.29 c 46 101 117.22 20.23 5.79 1000000 0 562.32/562.60 c 46 128 115.42 21.02 5.49 1000000 0 563.72/563.91 c 54 120 114.90 19.97 5.75 1000000 0 565.02/565.22 c 52 89 115.00 21.19 5.43 1000000 0 566.33/566.53 c 53 104 116.16 21.03 5.52 1000000 0 567.62/567.84 c 46 112 115.98 21.13 5.49 1000000 0 568.92/569.16 c 50 135 115.77 20.16 5.74 1000000 0 570.22/570.46 c 47 161 118.27 21.06 5.62 1000000 0 571.52/571.77 c 51 150 114.31 21.91 5.22 1000000 0 572.82/573.09 c 50 125 118.44 22.34 5.30 1000000 0 574.22/574.40 c 56 102 116.11 20.37 5.70 1000000 0 575.52/575.72 c 51 89 116.95 22.16 5.28 1000000 0 576.82/577.03 c 51 113 117.19 21.14 5.54 1000000 0 578.12/578.34 c 51 86 116.33 21.34 5.45 1000000 0 579.42/579.64 c 53 132 114.74 21.44 5.35 1000000 0 580.73/580.96 c 50 106 115.97 22.56 5.14 1000000 0 582.02/582.28 c 51 131 116.94 21.33 5.48 1000000 0 583.32/583.59 c 51 148 114.46 20.49 5.59 1000000 0 584.62/584.89 c 49 104 114.18 21.64 5.28 1000000 0 586.02/586.21 c 52 98 116.59 18.89 6.17 1000000 0 587.32/587.52 c 54 96 115.56 21.57 5.36 1000000 0 588.62/588.83 c 46 121 117.47 21.89 5.37 1000000 0 589.92/590.14 c 48 120 120.06 22.81 5.26 1000000 0 591.22/591.45 c 59 124 117.37 19.43 6.04 1000000 0 592.51/592.76 c 52 98 117.11 21.84 5.36 1000000 0 593.82/594.07 c 47 112 114.53 20.51 5.58 1000000 0 595.12/595.38 c 55 91 119.87 22.27 5.38 1000000 0 596.42/596.69 c 52 124 114.41 22.43 5.10 1000000 0 597.72/597.99 c 53 120 116.47 20.60 5.65 1000000 0 599.01/599.30 c 48 108 118.44 23.18 5.11 1000000 0 600.42/600.61 c 51 112 118.30 21.67 5.46 1000000 0 601.71/601.91 c 51 123 116.32 19.99 5.82 1000000 0 603.01/603.22 c 57 72 116.05 20.02 5.80 1000000 0 604.31/604.53 c 53 81 114.63 20.92 5.48 1000000 0 605.61/605.84 c 52 119 114.86 19.83 5.79 1000000 0 606.91/607.15 c 50 116 115.09 21.50 5.35 1000000 0 608.22/608.47 c 51 130 114.75 23.23 4.94 1000000 0 609.51/609.79 c 51 111 116.74 22.99 5.08 1000000 0 610.81/611.09 c 51 99 117.29 21.56 5.44 1000000 0 612.11/612.39 c 46 125 118.35 23.36 5.07 1000000 0 613.51/613.70 c 41 115 117.64 21.71 5.42 1000000 0 614.82/615.02 c 52 104 116.07 21.66 5.36 1000000 0 616.11/616.33 c 53 126 118.75 23.35 5.09 1000000 0 617.41/617.63 c 49 129 116.20 21.51 5.40 1000000 0 618.71/618.94 c 41 135 116.37 21.35 5.45 1000000 0 620.01/620.26 c 43 121 116.62 23.82 4.90 1000000 0 621.32/621.56 c 48 114 117.58 21.76 5.40 1000000 0 622.61/622.87 c 52 92 114.88 21.82 5.26 1000000 0 623.91/624.19 c 55 126 117.06 20.11 5.82 1000000 0 625.31/625.51 c 50 86 116.87 21.56 5.42 1000000 0 626.61/626.82 c 47 133 116.39 19.67 5.92 1000000 0 627.91/628.14 c 51 139 118.59 21.07 5.63 1000000 0 629.21/629.45 c 51 140 116.44 19.72 5.90 1000000 0 630.51/630.77 c 52 135 118.56 21.03 5.64 1000000 0 631.80/632.08 c 43 95 116.56 22.10 5.27 1000000 0 633.10/633.38 c 48 107 117.13 21.62 5.42 1000000 0 634.40/634.70 c 43 137 115.60 21.99 5.26 1000000 0 635.80/636.00 c 48 127 114.53 21.09 5.43 1000000 0 637.10/637.32 c 46 115 119.20 21.47 5.55 1000000 0 638.40/638.62 c 53 107 118.29 21.81 5.42 1000000 0 639.70/639.93 c 57 101 120.74 21.50 5.62 1000000 0 641.00/641.25 c 54 118 117.51 20.56 5.71 1000000 0 642.31/642.56 c 46 117 117.24 21.54 5.44 1000000 0 643.60/643.88 c 52 89 116.63 21.48 5.43 1000000 0 644.90/645.19 c 48 82 117.06 21.50 5.45 1000000 0 646.30/646.50 c 46 143 113.48 20.94 5.42 1000000 0 647.60/647.81 c 52 116 118.48 19.44 6.09 1000000 0 648.91/649.13 c 46 105 116.21 22.03 5.28 1000000 0 650.20/650.44 c 48 153 115.33 21.98 5.25 1000000 0 651.50/651.75 c 52 118 114.60 21.52 5.32 1000000 0 652.80/653.06 c 50 100 114.61 20.05 5.72 1000000 0 654.10/654.38 c 48 88 116.89 22.35 5.23 1000000 0 655.41/655.69 c 54 88 116.34 20.85 5.58 1000000 0 656.80/657.00 c 52 92 115.53 22.41 5.16 1000000 0 658.10/658.31 c 53 89 118.22 21.81 5.42 1000000 0 659.40/659.62 c 44 121 115.01 22.61 5.09 1000000 0 660.70/660.93 c 51 113 118.51 21.29 5.57 1000000 0 662.00/662.23 c 53 117 114.74 21.70 5.29 1000000 0 663.30/663.55 c 46 96 112.92 20.16 5.60 1000000 0 664.60/664.86 c 43 142 119.33 21.67 5.51 1000000 0 665.90/666.18 c 55 109 118.60 23.10 5.13 1000000 0 667.20/667.49 c 50 113 114.63 21.12 5.43 1000000 0 668.50/668.79 c 42 112 118.62 22.23 5.34 1000000 0 669.89/670.10 c 52 116 114.69 22.09 5.19 1000000 0 671.19/671.41 c 53 136 118.42 22.45 5.28 1000000 0 672.49/672.72 c 54 116 118.07 21.07 5.60 1000000 0 673.79/674.04 c 54 116 114.51 20.88 5.48 1000000 0 675.09/675.34 c 52 120 115.76 20.11 5.76 1000000 0 676.40/676.65 c 49 126 115.02 21.16 5.44 1000000 0 677.69/677.96 c 56 127 117.63 23.88 4.93 1000000 0 678.99/679.26 c 56 87 116.33 20.77 5.60 1000000 0 680.29/680.58 c 40 118 116.96 21.87 5.35 1000000 0 681.59/681.89 c 55 89 117.61 20.39 5.77 1000000 0 682.90/683.20 c 55 98 118.02 23.43 5.04 1000000 0 684.29/684.52 c 53 119 115.25 20.87 5.52 1000000 0 685.59/685.83 c 56 144 116.95 20.83 5.61 1000000 0 686.89/687.13 c 46 107 117.35 21.91 5.36 1000000 0 688.19/688.44 c 40 111 113.08 21.59 5.24 1000000 0 689.50/689.75 c 40 112 115.28 21.88 5.27 1000000 0 690.79/691.06 c 42 113 119.68 21.92 5.46 1000000 0 692.09/692.37 c 57 145 118.86 19.84 5.99 1000000 0 693.39/693.67 c 54 116 118.22 20.16 5.87 1000000 0 694.69/694.98 c 52 84 117.48 20.37 5.77 1000000 0 695.99/696.29 c 53 133 114.96 22.63 5.08 1000000 0 697.29/697.60 c 56 125 114.48 20.78 5.51 1000000 0 698.69/698.90 c 49 114 114.87 22.13 5.19 1000000 0 699.99/700.22 c 57 130 116.52 20.51 5.68 1000000 0 701.29/701.53 c 47 100 118.34 21.10 5.61 1000000 0 702.59/702.84 c 53 125 115.36 19.05 6.06 1000000 0 703.89/704.15 c 47 117 114.40 20.53 5.57 1000000 0 705.18/705.46 c 49 131 114.11 20.12 5.67 1000000 0 706.48/706.78 c 57 109 117.74 23.10 5.10 1000000 0 707.78/708.09 c 59 106 117.37 21.29 5.51 1000000 0 709.18/709.40 c 55 119 115.19 20.64 5.58 1000000 0 710.49/710.71 c 53 109 117.67 22.12 5.32 1000000 0 711.78/712.02 c 47 107 113.91 19.76 5.76 1000000 0 713.08/713.33 c 52 119 116.56 21.53 5.41 1000000 0 714.38/714.65 c 46 121 112.50 20.37 5.52 1000000 0 715.68/715.96 c 53 99 118.33 21.09 5.61 1000000 0 716.99/717.27 c 53 90 116.15 22.47 5.17 1000000 0 718.28/718.59 c 42 100 116.22 20.71 5.61 1000000 0 719.68/719.90 c 51 197 117.16 22.44 5.22 1000000 0 720.98/721.21 c 48 147 119.04 22.11 5.38 1000000 0 722.28/722.52 c 55 126 115.15 22.76 5.06 1000000 0 723.59/723.83 c 47 120 116.86 23.36 5.00 1000000 0 724.88/725.14 c 44 92 116.75 23.06 5.06 1000000 0 726.18/726.47 c 43 114 115.07 21.81 5.28 1000000 0 727.48/727.78 c 45 121 117.34 21.82 5.38 1000000 0 728.78/729.09 c 52 132 120.92 20.94 5.77 1000000 0 730.18/730.41 c 53 140 116.78 21.16 5.52 1000000 0 731.48/731.72 c 54 131 116.09 20.58 5.64 1000000 0 732.78/733.03 c 39 119 118.03 23.33 5.06 1000000 0 734.08/734.34 c 55 132 120.06 22.13 5.43 1000000 0 735.38/735.66 c 51 96 117.74 21.80 5.40 1000000 0 736.68/736.97 c 51 150 116.10 22.69 5.12 1000000 0 737.98/738.28 c 56 127 119.66 22.45 5.33 1000000 0 739.28/739.59 c 53 96 114.38 20.86 5.48 1000000 0 740.68/740.90 c 52 141 117.50 21.83 5.38 1000000 0 741.98/742.22 c 53 100 115.96 20.60 5.63 1000000 0 743.28/743.52 c 53 86 117.15 20.62 5.68 1000000 0 744.58/744.84 c 51 103 113.12 20.51 5.51 1000000 0 745.87/746.15 c 49 110 116.49 21.61 5.39 1000000 0 747.17/747.47 c 48 107 118.02 22.24 5.31 1000000 0 748.47/748.78 c 49 123 118.11 20.49 5.76 1000000 0 749.77/750.09 c 53 109 120.22 21.87 5.50 1000000 0 751.08/751.40 c 50 120 115.59 20.99 5.51 1000000 0 752.47/752.71 c 40 126 113.52 21.65 5.24 1000000 0 753.77/754.02 c 54 111 115.89 22.59 5.13 1000000 0 755.07/755.33 c 54 103 119.68 21.48 5.57 1000000 0 756.37/756.64 c 59 101 116.61 22.39 5.21 1000000 0 757.68/757.94 c 48 99 116.09 24.06 4.82 1000000 0 758.97/759.25 c 54 90 115.82 21.06 5.50 1000000 0 760.27/760.56 c 55 117 115.38 19.11 6.04 1000000 0 761.57/761.86 c 46 109 117.35 22.14 5.30 1000000 0 762.87/763.17 c 55 120 117.69 21.85 5.39 1000000 0 764.17/764.47 c 55 102 116.34 20.71 5.62 1000000 0 765.48/765.78 c 52 110 118.48 22.37 5.30 1000000 0 766.77/767.09 c 52 120 116.44 21.44 5.43 1000000 0 768.17/768.40 c 53 109 115.71 21.75 5.32 1000000 0 769.47/769.71 c 57 77 117.05 22.58 5.18 1000000 0 770.77/771.03 c 46 133 116.13 21.54 5.39 1000000 0 772.07/772.34 c 47 108 117.85 19.29 6.11 1000000 0 773.37/773.65 c 47 122 115.53 20.40 5.66 1000000 0 774.67/774.97 c 52 120 118.17 22.98 5.14 1000000 0 775.97/776.28 c 47 95 116.50 21.57 5.40 1000000 0 777.36/777.60 c 56 123 115.35 20.72 5.57 1000000 0 778.57/778.90 c 56 110 116.82 22.40 5.21 1000000 0 779.96/780.21 c 49 115 114.66 18.66 6.14 1000000 0 781.26/781.52 c 44 110 112.83 20.97 5.38 1000000 0 782.56/782.83 c 49 99 116.10 20.48 5.67 1000000 0 783.86/784.14 c 51 110 114.93 21.35 5.38 1000000 0 785.17/785.45 c 54 96 117.28 20.47 5.73 1000000 0 786.46/786.76 c 47 125 118.01 21.01 5.62 1000000 0 787.76/788.08 c 50 96 116.23 21.25 5.47 1000000 0 789.16/789.40 c 50 114 117.32 19.43 6.04 1000000 0 790.46/790.71 c 57 142 117.49 21.77 5.40 1000000 0 791.77/792.02 c 52 109 113.19 20.51 5.52 1000000 0 793.06/793.35 c 52 86 114.91 19.62 5.86 1000000 0 794.36/794.66 c 51 110 116.94 21.25 5.50 1000000 0 795.66/795.97 c 53 105 114.84 20.88 5.50 1000000 0 796.96/797.28 c 44 98 115.35 21.04 5.48 1000000 0 798.37/798.60 c 53 96 114.33 19.61 5.83 1000000 0 799.66/799.91 c 57 123 117.45 21.14 5.56 1000000 0 800.96/801.23 c 51 106 114.57 23.05 4.97 1000000 0 802.26/802.55 c 46 120 114.05 21.31 5.35 1000000 0 803.56/803.87 c 40 102 112.45 21.85 5.15 1000000 0 804.86/805.18 c 46 129 115.30 21.43 5.38 1000000 0 806.16/806.48 c 52 101 119.33 22.39 5.33 1000000 0 807.46/807.79 c 55 86 118.94 19.84 6.00 1000000 0 808.86/809.10 c 44 114 118.51 20.33 5.83 1000000 0 810.16/810.40 c 44 104 118.12 23.51 5.03 1000000 0 811.46/811.71 c 50 83 118.99 20.92 5.69 1000000 0 812.76/813.02 c 53 105 119.78 22.78 5.26 1000000 0 814.06/814.34 c 50 106 115.11 21.50 5.35 1000000 0 815.35/815.66 c 35 114 115.32 22.63 5.10 1000000 0 816.65/816.96 c 59 120 117.12 20.20 5.80 1000000 0 817.95/818.27 c 56 134 119.81 21.65 5.53 1000000 0 819.26/819.58 c 52 81 118.70 20.21 5.87 1000000 0 820.65/820.91 c 55 109 117.84 19.82 5.95 1000000 0 821.95/822.22 c 56 79 118.37 22.14 5.35 1000000 0 823.25/823.52 c 54 116 120.04 23.81 5.04 1000000 0 824.55/824.83 c 49 79 112.43 21.48 5.24 1000000 0 825.86/826.15 c 50 125 116.43 21.08 5.52 1000000 0 827.15/827.47 c 53 123 115.67 21.27 5.44 1000000 0 828.45/828.78 c 55 82 115.03 21.19 5.43 1000000 0 829.75/830.09 c 58 128 120.09 22.78 5.27 1000000 0 831.15/831.40 c 50 122 116.45 20.17 5.77 1000000 0 832.45/832.72 c 58 119 117.55 20.80 5.65 1000000 0 833.75/834.03 c 50 144 115.74 20.60 5.62 1000000 0 835.05/835.34 c 55 116 118.62 19.98 5.94 1000000 0 836.35/836.65 c 53 157 116.43 21.04 5.53 1000000 0 837.65/837.97 c 51 115 115.07 20.97 5.49 1000000 0 838.95/839.28 c 43 116 117.95 21.98 5.37 1000000 0 840.25/840.59 c 47 117 119.50 22.18 5.39 1000000 0 841.65/841.90 c 51 99 116.48 21.36 5.45 1000000 0 842.94/843.20 c 49 127 115.95 21.63 5.36 1000000 0 844.24/844.52 c 48 127 114.81 20.97 5.47 1000000 0 845.54/845.82 c 50 101 115.37 22.60 5.11 1000000 0 846.85/847.15 c 54 131 114.82 21.63 5.31 1000000 0 848.14/848.46 c 47 114 117.53 23.35 5.03 1000000 0 849.44/849.77 c 51 146 115.25 21.15 5.45 1000000 0 850.74/851.07 c 46 108 117.87 21.68 5.44 1000000 0 852.04/852.38 c 54 123 114.25 21.01 5.44 1000000 0 853.35/853.69 c 40 98 115.58 20.37 5.67 1000000 0 854.64/854.99 c 55 88 117.70 21.45 5.49 1000000 0 856.04/856.30 c 55 147 119.60 21.04 5.69 1000000 0 857.34/857.60 c 54 140 121.09 21.60 5.61 1000000 0 858.64/858.92 c 49 87 113.64 21.96 5.17 1000000 0 859.95/860.24 c 53 109 116.28 21.17 5.49 1000000 0 861.24/861.55 c 42 84 117.06 22.08 5.30 1000000 0 862.54/862.86 c 53 111 119.58 22.03 5.43 1000000 0 863.84/864.17 c 51 115 117.08 21.74 5.39 1000000 0 865.14/865.47 c 44 93 118.15 22.88 5.17 1000000 0 866.44/866.79 c 45 91 115.11 20.16 5.71 1000000 0 867.75/868.09 c 47 113 114.21 20.84 5.48 1000000 0 869.14/869.41 c 51 125 113.61 21.08 5.39 1000000 0 870.44/870.72 c 57 89 117.20 20.81 5.63 1000000 0 871.74/872.03 c 53 142 116.43 21.62 5.39 1000000 0 873.04/873.34 c 55 93 118.21 22.20 5.32 1000000 0 874.34/874.66 c 52 109 116.82 22.47 5.20 1000000 0 875.64/875.98 c 51 89 115.32 21.36 5.40 1000000 0 876.94/877.29 c 46 78 117.87 21.50 5.48 1000000 0 878.24/878.60 c 51 133 115.71 21.02 5.50 1000000 0 879.64/879.91 c 51 115 113.46 20.07 5.65 1000000 0 880.94/881.21 c 54 95 118.15 21.17 5.58 1000000 0 882.23/882.53 c 51 113 115.85 21.46 5.40 1000000 0 883.53/883.83 c 54 125 116.70 20.87 5.59 1000000 0 884.83/885.14 c 55 120 118.35 22.12 5.35 1000000 0 886.13/886.45 c 53 127 115.36 20.33 5.67 1000000 0 887.44/887.77 c 45 125 116.24 21.66 5.37 1000000 0 888.73/889.08 c 52 95 118.54 22.05 5.38 1000000 0 890.03/890.39 c 52 160 116.95 21.13 5.53 1000000 0 891.33/891.69 c 48 89 115.51 20.13 5.74 1000000 0 892.73/893.00 c 47 89 116.51 20.28 5.75 1000000 0 894.04/894.31 c 51 133 117.04 19.84 5.90 1000000 0 895.33/895.62 c 46 113 117.39 22.35 5.25 1000000 0 896.63/896.93 c 52 91 118.86 22.78 5.22 1000000 0 897.93/898.25 c 50 91 115.14 19.91 5.78 1000000 0 899.23/899.56 c 46 117 117.30 23.34 5.03 1000000 0 900.53/900.87 c 53 119 116.91 21.24 5.50 1000000 0 901.84/902.18 c 50 98 115.56 21.75 5.31 1000000 0 903.13/903.49 c 53 113 114.22 19.70 5.80 1000000 0 904.53/904.80 c 50 93 112.90 21.99 5.13 1000000 0 905.83/906.12 c 40 121 112.60 21.37 5.27 1000000 0 907.13/907.44 c 52 106 116.02 19.98 5.81 1000000 0 908.43/908.74 c 53 98 116.49 21.54 5.41 1000000 0 909.73/910.05 c 54 75 116.50 21.81 5.34 1000000 0 911.03/911.37 c 57 117 118.16 21.47 5.50 1000000 0 912.33/912.68 c 47 87 116.14 19.61 5.92 1000000 0 913.63/913.99 c 52 143 114.56 20.65 5.55 1000000 0 914.93/915.30 c 44 137 115.26 23.28 4.95 1000000 0 916.32/916.61 c 49 95 115.31 20.95 5.50 1000000 0 917.62/917.92 c 53 160 117.58 21.98 5.35 1000000 0 918.92/919.23 c 45 118 115.22 21.19 5.44 1000000 0 920.22/920.55 c 52 115 116.56 20.40 5.71 1000000 0 921.53/921.86 c 52 99 117.01 21.19 5.52 1000000 0 922.82/923.17 c 48 128 114.76 19.65 5.84 1000000 0 924.12/924.48 c 53 81 115.72 19.20 6.03 1000000 0 925.42/925.79 c 52 129 115.85 20.90 5.54 1000000 0 926.82/927.10 c 49 107 117.92 20.55 5.74 1000000 0 928.13/928.41 c 51 126 114.32 20.35 5.62 1000000 0 929.42/929.72 c 51 119 115.98 20.97 5.53 1000000 0 930.72/931.05 c 49 121 118.49 21.97 5.39 1000000 0 932.02/932.35 c 48 65 114.88 21.51 5.34 1000000 0 933.32/933.67 c 48 101 114.16 22.01 5.19 1000000 0 934.62/934.98 c 48 91 118.36 21.84 5.42 1000000 0 935.93/936.29 c 46 92 114.13 22.72 5.02 1000000 0 937.32/937.61 c 48 97 116.01 19.91 5.83 1000000 0 938.62/938.91 c 50 89 118.61 21.61 5.49 1000000 0 939.92/940.22 c 48 109 117.50 21.67 5.42 1000000 0 941.22/941.53 c 49 91 117.46 21.12 5.56 1000000 0 942.53/942.85 c 49 111 116.33 20.96 5.55 1000000 0 943.82/944.16 c 51 123 117.77 21.65 5.44 1000000 0 945.12/945.47 c 51 115 114.74 21.07 5.45 1000000 0 946.42/946.79 c 54 128 115.84 21.72 5.33 1000000 0 947.82/948.11 c 46 108 114.86 23.38 4.91 1000000 0 949.12/949.42 c 43 132 117.52 21.85 5.38 1000000 0 950.42/950.73 c 54 114 117.13 20.57 5.69 1000000 0 951.71/952.04 c 47 110 115.69 22.80 5.07 1000000 0 953.01/953.35 c 49 114 117.35 21.33 5.50 1000000 0 954.31/954.66 c 51 128 116.49 21.14 5.51 1000000 0 955.62/955.97 c 49 108 117.33 21.18 5.54 1000000 0 956.91/957.28 c 55 108 116.24 20.36 5.71 1000000 0 958.21/958.59 c 52 125 115.90 20.29 5.71 1000000 0 959.61/959.90 c 52 78 118.86 20.58 5.78 1000000 0 960.91/961.20 c 53 98 117.93 21.82 5.40 1000000 0 962.22/962.51 c 57 121 117.05 20.28 5.77 1000000 0 963.51/963.83 c 54 119 119.52 20.57 5.81 1000000 0 964.81/965.13 c 45 99 116.14 21.09 5.51 1000000 0 966.11/966.45 c 54 131 116.74 21.69 5.38 1000000 0 967.41/967.75 c 55 137 116.97 22.21 5.27 1000000 0 968.71/969.06 c 54 96 115.76 20.45 5.66 1000000 0 970.02/970.37 c 56 97 118.48 21.17 5.60 1000000 0 971.31/971.68 c 52 94 116.23 21.76 5.34 1000000 0 972.61/972.99 c 47 130 116.56 20.80 5.60 1000000 0 974.01/974.31 c 48 147 115.45 20.64 5.59 1000000 0 975.31/975.61 c 53 126 118.29 21.21 5.58 1000000 0 976.62/976.92 c 48 144 112.23 20.59 5.45 1000000 0 977.91/978.23 c 56 85 115.59 20.44 5.66 1000000 0 979.21/979.54 c 48 95 115.22 20.67 5.57 1000000 0 980.51/980.85 c 51 110 116.40 21.84 5.33 1000000 0 981.81/982.16 c 46 107 115.47 22.87 5.05 1000000 0 983.11/983.48 c 48 123 116.48 22.09 5.27 1000000 0 984.41/984.80 c 48 113 118.18 22.47 5.26 1000000 0 985.81/986.11 c 55 145 120.69 20.48 5.89 1000000 0 987.10/987.43 c 50 113 114.88 19.29 5.96 1000000 0 988.40/988.74 c 49 106 118.56 20.96 5.66 1000000 0 989.71/990.06 c 52 99 114.81 21.11 5.44 1000000 0 991.00/991.37 c 56 102 117.23 20.52 5.71 1000000 0 992.30/992.69 c 51 113 115.06 20.89 5.51 1000000 0 993.70/994.00 c 48 101 117.07 21.49 5.45 1000000 0 995.00/995.31 c 54 125 117.04 22.04 5.31 1000000 0 996.31/996.63 c 47 125 116.99 21.11 5.54 1000000 0 997.60/997.94 c 45 120 115.49 22.90 5.04 1000000 0 998.90/999.24 c 55 124 117.09 21.24 5.51 1000000 0 1000.20/1000.55 c 49 72 115.12 20.96 5.49 1000000 0 1001.50/1001.85 c 50 128 115.94 19.64 5.90 1000000 0 1002.80/1003.17 c 53 124 116.99 22.15 5.28 1000000 0 1004.11/1004.48 c 52 133 118.05 21.16 5.58 1000000 0 1005.50/1005.80 c 49 143 114.08 20.16 5.66 1000000 0 1006.80/1007.12 c 51 128 116.62 19.88 5.87 1000000 0 1008.10/1008.43 c 53 123 117.92 19.80 5.95 1000000 0 1009.40/1009.74 c 49 109 118.22 22.62 5.23 1000000 0 1010.71/1011.05 c 51 140 114.78 21.07 5.45 1000000 0 1012.00/1012.36 c 50 108 115.47 20.82 5.55 1000000 0 1013.30/1013.67 c 51 138 115.83 20.62 5.62 1000000 0 1014.60/1014.98 c 47 112 117.23 20.11 5.83 1000000 0 1015.90/1016.28 c 54 143 117.37 20.46 5.74 1000000 0 1017.20/1017.59 c 53 129 119.32 21.74 5.49 1000000 0 1018.50/1018.90 c 46 120 119.31 22.38 5.33 1000000 0 1019.90/1020.20 c 42 172 114.13 21.06 5.42 1000000 0 1021.20/1021.51 c 52 101 118.61 20.94 5.67 1000000 0 1022.50/1022.82 c 52 108 115.10 21.88 5.26 1000000 0 1023.80/1024.13 c 45 100 117.92 20.42 5.78 1000000 0 1025.10/1025.44 c 56 141 117.72 20.88 5.64 1000000 0 1026.39/1026.75 c 55 111 117.69 21.21 5.55 1000000 0 1027.69/1028.06 c 47 105 115.94 21.45 5.40 1000000 0 1028.99/1029.37 c 54 121 116.84 21.86 5.34 1000000 0 1030.29/1030.68 c 49 135 118.29 20.44 5.79 1000000 0 1031.60/1031.99 c 59 123 117.05 20.36 5.75 1000000 0 1032.99/1033.30 c 51 99 114.62 22.24 5.15 1000000 0 1034.29/1034.61 c 48 114 115.59 22.51 5.14 1000000 0 1035.59/1035.92 c 48 86 114.19 22.53 5.07 1000000 0 1036.89/1037.24 c 47 86 114.69 21.76 5.27 1000000 0 1038.20/1038.54 c 53 108 116.16 21.36 5.44 1000000 0 1039.49/1039.86 c 54 124 117.84 21.65 5.44 1000000 0 1040.79/1041.17 c 55 82 117.77 22.34 5.27 1000000 0 1042.09/1042.49 c 48 117 115.35 22.00 5.24 1000000 0 1043.49/1043.81 c 44 130 115.24 19.64 5.87 1000000 0 1044.80/1045.11 c 49 117 117.54 21.70 5.42 1000000 0 1046.09/1046.42 c 57 93 120.08 21.05 5.70 1000000 0 1047.39/1047.73 c 49 123 116.73 22.94 5.09 1000000 0 1048.69/1049.04 c 50 105 114.49 20.38 5.62 1000000 0 1049.99/1050.35 c 41 72 117.66 22.69 5.19 1000000 0 1051.30/1051.66 c 53 97 116.90 22.56 5.18 1000000 0 1052.59/1052.98 c 44 99 116.84 21.47 5.44 1000000 0 1053.89/1054.29 c 51 150 115.86 21.59 5.37 1000000 0 1055.29/1055.61 c 51 144 114.67 19.67 5.83 1000000 0 1056.59/1056.92 c 53 124 118.90 20.60 5.77 1000000 0 1057.89/1058.23 c 48 93 118.66 24.28 4.89 1000000 0 1059.19/1059.54 c 56 110 116.81 20.04 5.83 1000000 0 1060.49/1060.85 c 45 119 117.32 21.38 5.49 1000000 0 1061.79/1062.16 c 56 103 117.14 22.19 5.28 1000000 0 1063.08/1063.47 c 58 106 119.68 21.90 5.47 1000000 0 1064.38/1064.79 c 53 121 118.51 23.52 5.04 1000000 0 1065.78/1066.10 c 50 164 115.79 20.27 5.71 1000000 0 1067.08/1067.42 c 46 121 116.94 22.60 5.18 1000000 0 1068.38/1068.73 c 45 95 116.71 21.17 5.51 1000000 0 1069.68/1070.04 c 50 125 117.41 20.46 5.74 1000000 0 1070.98/1071.34 c 39 105 115.32 21.34 5.40 1000000 0 1072.29/1072.65 c 46 121 118.73 21.50 5.52 1000000 0 1073.58/1073.96 c 47 97 116.08 21.37 5.43 1000000 0 1074.88/1075.27 c 49 136 116.68 21.55 5.42 1000000 0 1076.18/1076.59 c 45 143 111.07 21.03 5.28 1000000 0 1077.58/1077.90 c 49 157 117.39 22.57 5.20 1000000 0 1078.89/1079.22 c 49 119 115.46 20.54 5.62 1000000 0 1080.18/1080.53 c 52 105 117.72 21.59 5.45 1000000 0 1081.48/1081.84 c 51 152 118.01 21.64 5.45 1000000 0 1082.78/1083.15 c 51 119 116.31 21.59 5.39 1000000 0 1084.08/1084.47 c 46 99 115.31 21.79 5.29 1000000 0 1085.38/1085.78 c 47 104 114.89 21.54 5.33 1000000 0 1086.68/1087.09 c 45 137 118.66 22.50 5.27 1000000 0 1088.08/1088.40 c 45 105 116.42 20.85 5.58 1000000 0 1089.38/1089.71 c 51 114 118.22 21.15 5.59 1000000 0 1090.68/1091.02 c 50 137 115.82 20.45 5.66 1000000 0 1091.98/1092.34 c 47 116 116.07 21.04 5.52 1000000 0 1093.28/1093.65 c 56 82 119.25 23.49 5.08 1000000 0 1094.58/1094.96 c 52 114 114.63 21.11 5.43 1000000 0 1095.88/1096.27 c 48 116 117.29 23.16 5.06 1000000 0 1097.17/1097.58 c 48 100 120.64 22.04 5.47 1000000 0 1098.47/1098.90 c 47 105 118.31 21.72 5.45 1000000 0 1099.87/1100.20 c 52 126 117.64 21.49 5.47 1000000 0 1101.17/1101.51 c 46 146 119.51 22.75 5.25 1000000 0 1102.47/1102.82 c 54 118 115.16 19.96 5.77 1000000 0 1103.77/1104.12 c 54 87 116.19 20.39 5.70 1000000 0 1105.07/1105.44 c 55 122 115.71 20.67 5.60 1000000 0 1106.38/1106.75 c 42 112 113.30 21.65 5.23 1000000 0 1107.67/1108.06 c 45 90 117.05 20.93 5.59 1000000 0 1108.97/1109.37 c 52 144 117.05 20.68 5.66 1000000 0 1110.27/1110.69 c 54 137 116.45 20.84 5.59 1000000 0 1111.57/1112.00 c 50 129 116.14 21.46 5.41 1000000 0 1112.98/1113.31 c 56 100 116.75 21.52 5.42 1000000 0 1114.27/1114.62 c 51 93 115.46 20.89 5.53 1000000 0 1115.57/1115.92 c 51 120 117.97 21.20 5.56 1000000 0 1116.87/1117.23 c 53 127 119.50 21.65 5.52 1000000 0 1118.17/1118.54 c 51 127 115.74 22.23 5.21 1000000 0 1119.48/1119.86 c 58 112 116.22 21.74 5.35 1000000 0 1120.77/1121.17 c 55 126 115.54 21.39 5.40 1000000 0 1122.07/1122.49 c 55 123 117.25 20.17 5.81 1000000 0 1123.37/1123.79 c 52 105 116.32 20.05 5.80 1000000 0 1124.77/1125.11 c 54 115 116.41 22.96 5.07 1000000 0 1126.07/1126.42 c 45 81 115.75 24.71 4.68 1000000 0 1127.37/1127.73 c 56 100 118.95 21.06 5.65 1000000 0 1128.67/1129.04 c 49 132 116.19 21.77 5.34 1000000 0 1129.97/1130.35 c 53 72 117.34 23.54 4.99 1000000 0 1131.27/1131.66 c 50 103 114.77 20.45 5.61 1000000 0 1132.56/1132.97 c 54 106 115.50 21.75 5.31 1000000 0 1133.87/1134.28 c 56 110 114.66 21.42 5.35 1000000 0 1135.26/1135.60 c 55 84 116.21 23.57 4.93 1000000 0 1136.56/1136.90 c 54 127 117.59 22.63 5.20 1000000 0 1137.86/1138.22 c 47 131 115.51 21.59 5.35 1000000 0 1139.16/1139.53 c 52 84 117.12 20.31 5.77 1000000 0 1140.47/1140.84 c 54 153 117.14 21.30 5.50 1000000 0 1141.76/1142.15 c 56 114 119.74 22.04 5.43 1000000 0 1143.06/1143.46 c 52 97 117.44 22.57 5.20 1000000 0 1144.36/1144.78 c 52 98 115.31 20.55 5.61 1000000 0 1145.66/1146.09 c 55 85 118.62 23.79 4.99 1000000 0 1146.97/1147.40 c 45 109 113.98 20.22 5.64 1000000 0 1148.36/1148.71 c 52 99 116.85 21.08 5.54 1000000 0 1149.66/1150.02 c 45 102 114.14 21.19 5.39 1000000 0 1150.96/1151.33 c 50 104 119.96 23.62 5.08 1000000 0 1152.26/1152.64 c 52 116 116.37 21.55 5.40 1000000 0 1153.57/1153.96 c 49 106 115.70 21.22 5.45 1000000 0 1154.86/1155.27 c 48 96 116.86 21.89 5.34 1000000 0 1156.16/1156.59 c 53 144 114.85 20.68 5.55 1000000 0 1157.56/1157.90 c 53 131 114.39 20.35 5.62 1000000 0 1158.86/1159.21 c 45 117 119.35 19.49 6.12 1000000 0 1160.16/1160.52 c 45 110 116.31 21.77 5.34 1000000 0 1161.46/1161.83 c 52 118 116.66 21.05 5.54 1000000 0 1162.76/1163.14 c 55 111 117.59 21.17 5.56 1000000 0 1164.06/1164.46 c 57 142 117.88 21.88 5.39 1000000 0 1165.36/1165.77 c 46 114 114.66 21.83 5.25 1000000 0 1166.65/1167.08 c 49 114 119.73 21.41 5.59 1000000 0 1167.96/1168.39 c 50 109 116.61 21.43 5.44 1000000 0 1169.25/1169.70 c 48 95 118.10 22.68 5.21 1000000 0 1170.65/1171.00 c 57 136 117.53 20.76 5.66 1000000 0 1171.95/1172.31 c 45 111 115.01 20.56 5.59 1000000 0 1173.25/1173.62 c 47 89 116.42 22.02 5.29 1000000 0 1174.56/1174.94 c 50 144 114.71 20.54 5.58 1000000 0 1175.85/1176.25 c 56 96 117.18 20.66 5.67 1000000 0 1177.15/1177.56 c 51 114 116.32 20.36 5.71 1000000 0 1178.45/1178.86 c 47 109 117.92 20.47 5.76 1000000 0 1179.75/1180.17 c 50 129 116.62 21.65 5.39 1000000 0 1181.06/1181.49 c 57 114 118.32 20.82 5.68 1000000 0 1182.45/1182.80 c 50 140 117.62 20.38 5.77 1000000 0 1183.75/1184.11 c 50 115 115.61 21.02 5.50 1000000 0 1185.05/1185.42 c 52 107 117.00 21.26 5.50 1000000 0 1186.35/1186.73 c 53 111 114.24 20.14 5.67 1000000 0 1187.66/1188.04 c 41 161 118.13 21.28 5.55 1000000 0 1188.95/1189.35 c 55 115 120.29 21.70 5.54 1000000 0 1190.25/1190.66 c 45 125 116.58 20.85 5.59 1000000 0 1191.55/1191.98 c 49 98 112.71 20.14 5.59 1000000 0 1192.85/1193.29 c 52 95 115.47 20.17 5.72 1000000 0 1194.25/1194.61 c 54 138 117.98 22.29 5.29 1000000 0 1195.55/1195.91 c 57 120 117.90 20.47 5.76 1000000 0 1196.85/1197.22 c 54 130 118.58 20.95 5.66 1000000 0 1198.15/1198.53 c 45 125 116.81 20.21 5.78 1000000 0 1199.45/1199.84 c 51 152 115.44 19.52 5.91 1000000 0 1200.74/1201.14 c 49 103 116.35 22.53 5.16 1000000 0 1202.05/1202.45 c 53 104 117.86 21.63 5.45 1000000 0 1203.34/1203.76 c 50 101 114.03 22.38 5.10 1000000 0 1204.64/1205.07 c 42 107 114.69 19.86 5.78 1000000 0 1205.94/1206.38 c 47 108 115.31 21.22 5.43 1000000 0 1207.24/1207.69 c 50 107 118.57 21.69 5.47 1000000 0 1208.65/1209.01 c 55 96 114.76 20.47 5.61 1000000 0 1209.94/1210.31 c 50 138 117.92 22.62 5.21 1000000 0 1211.24/1211.62 c 51 141 116.57 21.35 5.46 1000000 0 1212.54/1212.94 c 52 111 116.64 20.93 5.57 1000000 0 1213.84/1214.25 c 43 90 115.76 20.55 5.63 1000000 0 1215.15/1215.56 c 51 111 118.40 19.92 5.94 1000000 0 1216.44/1216.87 c 46 138 116.72 20.57 5.67 1000000 0 1217.74/1218.18 c 55 122 117.32 21.82 5.38 1000000 0 1219.04/1219.48 c 54 129 115.93 22.11 5.24 1000000 0 1220.34/1220.78 c 49 153 117.40 20.53 5.72 1000000 0 1221.75/1222.10 c 52 110 115.04 21.42 5.37 1000000 0 1223.04/1223.43 c 52 113 113.69 21.67 5.25 1000000 0 1224.34/1224.74 c 49 161 115.31 22.23 5.19 1000000 0 1225.64/1226.05 c 46 120 114.92 21.04 5.46 1000000 0 1226.94/1227.36 c 51 114 116.84 21.58 5.41 1000000 0 1228.24/1228.67 c 50 110 117.79 20.88 5.64 1000000 0 1229.54/1229.97 c 58 126 118.24 21.68 5.45 1000000 0 1230.83/1231.28 c 46 94 117.73 22.52 5.23 1000000 0 1232.13/1232.59 c 53 109 117.47 20.37 5.77 1000000 0 1233.53/1233.90 c 49 116 116.31 22.56 5.16 1000000 0 1234.83/1235.21 c 50 101 117.26 20.88 5.61 1000000 0 1236.14/1236.53 c 51 124 116.19 21.29 5.46 1000000 0 1237.43/1237.85 c 51 113 115.15 22.01 5.23 1000000 0 1238.73/1239.16 c 45 106 115.27 21.07 5.47 1000000 0 1240.03/1240.47 c 44 132 113.85 21.08 5.40 1000000 0 1241.33/1241.78 c 54 118 116.14 23.30 4.98 1000000 0 1242.64/1243.09 c 51 124 116.03 20.46 5.67 1000000 0 1244.03/1244.40 c 49 151 113.88 21.37 5.33 1000000 0 1245.33/1245.71 c 54 84 116.10 20.83 5.57 1000000 0 1246.63/1247.03 c 53 91 116.39 20.86 5.58 1000000 0 1247.93/1248.33 c 49 112 116.56 20.51 5.68 1000000 0 1249.24/1249.65 c 52 97 114.99 22.26 5.17 1000000 0 1250.53/1250.97 c 46 109 115.31 21.40 5.39 1000000 0 1251.83/1252.28 c 40 138 115.65 20.29 5.70 1000000 0 1253.13/1253.59 c 53 108 117.26 20.45 5.73 1000000 0 1254.53/1254.91 c 52 118 115.05 20.93 5.50 1000000 0 1255.84/1256.22 c 48 85 119.40 20.93 5.70 1000000 0 1257.13/1257.53 c 56 118 115.51 21.72 5.32 1000000 0 1258.43/1258.85 c 50 116 117.08 20.45 5.73 1000000 0 1259.73/1260.16 c 49 142 114.53 22.44 5.10 1000000 0 1261.03/1261.46 c 54 134 118.19 20.87 5.66 1000000 0 1262.33/1262.77 c 57 129 114.73 20.83 5.51 1000000 0 1263.63/1264.09 c 46 130 113.61 22.30 5.09 1000000 0 1264.93/1265.39 c 57 127 118.00 20.91 5.64 1000000 0 1266.33/1266.71 c 50 106 115.49 20.73 5.57 1000000 0 1267.63/1268.01 c 52 116 115.92 21.76 5.33 1000000 0 1268.92/1269.33 c 57 105 117.15 20.34 5.76 1000000 0 1270.23/1270.64 c 52 109 116.61 20.35 5.73 1000000 0 1271.52/1271.96 c 46 151 115.31 22.89 5.04 1000000 0 1272.82/1273.27 c 39 105 114.31 21.45 5.33 1000000 0 1274.12/1274.57 c 52 128 119.14 22.54 5.29 1000000 0 1275.42/1275.88 c 55 121 118.88 21.82 5.45 1000000 0 1276.73/1277.20 c 49 101 115.68 22.87 5.06 1000000 0 1278.12/1278.52 c 52 102 114.65 21.16 5.42 1000000 0 1279.42/1279.84 c 49 97 115.83 21.71 5.34 1000000 0 1280.72/1281.16 c 43 90 116.78 20.28 5.76 1000000 0 1282.02/1282.47 c 48 120 116.46 21.79 5.35 1000000 0 1283.33/1283.79 c 51 88 114.83 21.82 5.26 1000000 0 1284.62/1285.10 c 55 107 115.17 21.70 5.31 1000000 0 1286.02/1286.41 c 52 144 113.07 20.11 5.62 1000000 0 1287.32/1287.72 c 50 120 116.81 22.63 5.16 1000000 0 1288.62/1289.03 c 59 114 118.96 20.63 5.77 1000000 0 1289.92/1290.33 c 55 99 117.19 22.33 5.25 1000000 0 1291.22/1291.65 c 55 90 119.85 21.66 5.53 1000000 0 1292.52/1292.97 c 57 110 116.77 19.41 6.01 1000000 0 1293.82/1294.28 c 50 124 113.13 19.64 5.76 1000000 0 1295.12/1295.59 c 51 108 117.77 20.33 5.79 1000000 0 1296.52/1296.90 c 50 101 116.89 22.78 5.13 1000000 0 1297.82/1298.21 c 60 106 117.51 20.88 5.63 1000000 0 1299.12/1299.53 c 47 115 118.76 20.73 5.73 1000000 0 1300.42/1300.83 c 56 105 118.23 22.81 5.18 1000000 0 1301.72/1302.15 c 59 121 118.55 21.86 5.42 1000000 0 1303.01/1303.47 c 48 119 117.75 20.52 5.74 1000000 0 1304.32/1304.79 c 56 109 117.49 20.46 5.74 1000000 0 1305.71/1306.10 c 54 119 119.00 19.79 6.01 1000000 0 1307.01/1307.40 c 52 123 118.25 20.22 5.85 1000000 0 1308.31/1308.71 c 48 91 115.22 22.39 5.14 1000000 0 1309.61/1310.02 c 44 98 114.43 20.70 5.53 1000000 0 1310.92/1311.33 c 52 144 118.81 21.36 5.56 1000000 0 1312.21/1312.64 c 55 97 118.71 21.26 5.58 1000000 0 1313.51/1313.95 c 50 112 116.39 21.61 5.39 1000000 0 1314.81/1315.26 c 53 132 117.34 23.27 5.04 1000000 0 1316.11/1316.57 c 50 89 114.90 22.31 5.15 1000000 0 1317.42/1317.88 c 53 97 118.39 21.48 5.51 1000000 0 1318.71/1319.19 c 49 120 117.68 22.66 5.19 1000000 0 1320.01/1320.50 c 49 114 115.96 22.39 5.18 1000000 0 1321.41/1321.80 c 53 97 116.07 21.04 5.52 1000000 0 1322.71/1323.11 c 52 98 118.37 21.79 5.43 1000000 0 1324.02/1324.42 c 57 98 118.40 22.29 5.31 1000000 0 1325.31/1325.74 c 51 97 114.51 20.52 5.58 1000000 0 1326.61/1327.05 c 41 87 116.43 20.53 5.67 1000000 0 1327.91/1328.36 c 51 98 116.43 21.34 5.46 1000000 0 1329.21/1329.67 c 50 112 116.52 21.82 5.34 1000000 0 1330.51/1330.99 c 42 99 114.77 22.21 5.17 1000000 0 1331.81/1332.29 c 56 107 116.61 22.27 5.24 1000000 0 1333.21/1333.61 c 50 88 115.05 21.24 5.42 1000000 0 1334.51/1334.93 c 48 91 117.52 22.98 5.11 1000000 0 1335.81/1336.23 c 57 111 117.71 19.84 5.93 1000000 0 1337.10/1337.55 c 53 113 115.62 21.89 5.28 1000000 0 1338.41/1338.86 c 50 166 116.94 21.32 5.48 1000000 0 1339.70/1340.18 c 51 93 114.04 21.76 5.24 1000000 0 1341.00/1341.49 c 53 101 116.79 20.46 5.71 1000000 0 1342.40/1342.81 c 49 135 116.71 21.80 5.35 1000000 0 1343.70/1344.12 c 52 132 114.20 20.60 5.54 1000000 0 1345.01/1345.44 c 46 90 116.28 22.17 5.24 1000000 0 1346.30/1346.75 c 55 139 117.29 21.63 5.42 1000000 0 1347.60/1348.06 c 53 86 113.93 20.25 5.63 1000000 0 1348.90/1349.38 c 48 99 116.20 21.43 5.42 1000000 0 1350.20/1350.69 c 47 133 118.79 21.46 5.53 1000000 0 1351.51/1351.99 c 49 131 117.92 20.19 5.84 1000000 0 1352.80/1353.29 c 55 106 116.47 20.45 5.70 1000000 0 1354.20/1354.61 c 54 106 118.51 21.85 5.42 1000000 0 1355.50/1355.92 c 49 96 117.37 20.33 5.77 1000000 0 1356.80/1357.22 c 56 99 119.44 22.02 5.42 1000000 0 1358.11/1358.54 c 50 106 115.50 21.02 5.49 1000000 0 1359.40/1359.85 c 49 109 116.61 22.12 5.27 1000000 0 1360.70/1361.16 c 49 116 118.46 21.47 5.52 1000000 0 1362.00/1362.47 c 47 98 115.69 20.55 5.63 1000000 0 1363.30/1363.79 c 56 102 117.55 22.61 5.20 1000000 0 1364.70/1365.10 c 55 118 117.45 22.16 5.30 1000000 0 1366.00/1366.41 c 55 93 116.08 23.57 4.93 1000000 0 1367.30/1367.72 c 58 107 118.97 20.87 5.70 1000000 0 1368.60/1369.03 c 54 110 119.14 21.33 5.59 1000000 0 1369.90/1370.35 c 52 107 114.86 21.03 5.46 1000000 0 1371.20/1371.65 c 57 88 117.51 20.47 5.74 1000000 0 1372.50/1372.96 c 54 157 115.44 21.92 5.27 1000000 0 1373.80/1374.27 c 51 111 119.73 21.45 5.58 1000000 0 1375.09/1375.58 c 58 154 116.82 20.62 5.67 1000000 0 1376.39/1376.89 c 53 114 117.16 19.57 5.99 1000000 0 1377.79/1378.20 c 54 151 116.28 20.31 5.73 1000000 0 1379.10/1379.51 c 44 146 116.92 20.89 5.60 1000000 0 1380.39/1380.83 c 51 121 117.12 23.50 4.98 1000000 0 1381.69/1382.14 c 54 108 118.40 21.94 5.40 1000000 0 1382.99/1383.45 c 44 112 117.38 22.35 5.25 1000000 0 1384.29/1384.76 c 50 64 117.47 21.33 5.51 1000000 0 1385.60/1386.07 c 51 116 119.36 20.96 5.70 1000000 0 1386.89/1387.38 c 50 119 118.08 22.96 5.14 1000000 0 1388.19/1388.69 c 48 130 115.93 21.71 5.34 1000000 0 1389.49/1389.99 c 51 137 117.81 21.31 5.53 1000000 0 1390.89/1391.31 c 49 101 120.17 20.71 5.80 1000000 0 1392.20/1392.62 c 50 137 116.96 20.93 5.59 1000000 0 1393.49/1393.92 c 49 124 115.98 21.02 5.52 1000000 0 1394.79/1395.24 c 47 130 117.72 24.62 4.78 1000000 0 1396.09/1396.55 c 43 113 115.75 21.71 5.33 1000000 0 1397.39/1397.86 c 52 140 118.47 22.54 5.25 1000000 0 1398.69/1399.18 c 41 111 113.09 21.91 5.16 1000000 0 1399.99/1400.49 c 44 111 114.88 21.44 5.36 1000000 0 1401.39/1401.80 c 48 104 115.46 22.73 5.08 1000000 0 1402.69/1403.11 c 52 145 115.97 21.33 5.44 1000000 0 1403.99/1404.42 c 55 120 117.66 21.20 5.55 1000000 0 1405.29/1405.74 c 47 104 115.66 21.57 5.36 1000000 0 1406.59/1407.05 c 48 83 117.49 22.18 5.30 1000000 0 1407.88/1408.36 c 47 72 114.88 20.96 5.48 1000000 0 1409.18/1409.67 c 57 140 117.20 20.04 5.85 1000000 0 1410.48/1410.97 c 52 111 116.33 20.96 5.55 1000000 0 1411.78/1412.29 c 45 112 115.81 20.27 5.71 1000000 0 1413.09/1413.60 c 49 145 117.11 21.34 5.49 1000000 0 1414.48/1414.92 c 51 97 116.06 20.65 5.62 1000000 0 1415.78/1416.22 c 55 102 116.41 22.35 5.21 1000000 0 1417.08/1417.53 c 54 124 115.38 20.73 5.57 1000000 0 1418.38/1418.84 c 52 144 115.49 22.31 5.18 1000000 0 1419.69/1420.16 c 51 107 115.81 20.79 5.57 1000000 0 1420.98/1421.47 c 45 93 112.99 22.07 5.12 1000000 0 1422.28/1422.77 c 56 107 116.91 21.18 5.52 1000000 0 1423.58/1424.08 c 48 145 115.95 20.80 5.57 1000000 0 1424.88/1425.39 c 48 95 115.09 21.24 5.42 1000000 0 1426.28/1426.70 c 52 169 115.94 20.98 5.53 1000000 0 1427.58/1428.01 c 48 105 118.55 22.62 5.24 1000000 0 1428.88/1429.33 c 46 113 115.43 21.39 5.40 1000000 0 1430.18/1430.64 c 55 119 117.92 21.38 5.52 1000000 0 1431.48/1431.95 c 55 113 117.03 19.63 5.96 1000000 0 1432.78/1433.26 c 49 111 116.94 21.58 5.42 1000000 0 1434.08/1434.58 c 50 114 117.24 20.95 5.60 1000000 0 1435.37/1435.89 c 46 100 114.40 23.16 4.94 1000000 0 1436.77/1437.21 c 52 131 115.54 21.49 5.38 1000000 0 1438.07/1438.51 c 55 97 120.23 22.93 5.24 1000000 0 1439.37/1439.82 c 49 115 115.62 20.40 5.67 1000000 0 1440.68/1441.13 c 56 140 119.31 21.72 5.49 1000000 0 1441.97/1442.43 c 55 133 115.46 22.04 5.24 1000000 0 1443.27/1443.74 c 53 120 115.26 20.91 5.51 1000000 0 1444.57/1445.06 c 52 98 113.82 21.06 5.41 1000000 0 1445.87/1446.37 c 57 102 118.63 19.76 6.00 1000000 0 1447.18/1447.68 c 50 102 115.60 19.48 5.94 1000000 0 1448.57/1449.00 c 49 117 116.76 20.11 5.81 1000000 0 1449.87/1450.31 c 56 119 116.62 20.40 5.72 1000000 0 1451.17/1451.62 c 44 148 114.48 22.62 5.06 1000000 0 1452.47/1452.94 c 36 110 118.18 23.11 5.11 1000000 0 1453.78/1454.26 c 58 125 119.06 19.77 6.02 1000000 0 1455.07/1455.57 c 50 88 116.83 23.30 5.01 1000000 0 1456.37/1456.88 c 50 82 117.98 21.31 5.54 1000000 0 1457.77/1458.20 c 56 144 119.71 22.07 5.43 1000000 0 1459.07/1459.50 c 53 118 119.02 21.40 5.56 1000000 0 1460.37/1460.81 c 57 135 115.50 21.61 5.35 1000000 0 1461.67/1462.12 c 58 124 115.50 21.13 5.47 1000000 0 1462.97/1463.43 c 47 145 119.20 22.96 5.19 1000000 0 1464.27/1464.74 c 50 100 115.98 20.29 5.72 1000000 0 1465.56/1466.05 c 56 98 115.43 20.81 5.55 1000000 0 1466.86/1467.36 c 44 126 115.40 21.25 5.43 1000000 0 1468.17/1468.66 c 49 111 115.67 21.42 5.40 1000000 0 1469.46/1469.97 c 52 130 117.01 22.07 5.30 1000000 0 1470.76/1471.29 c 46 106 116.57 20.40 5.72 1000000 0 1472.16/1472.61 c 55 117 117.83 21.34 5.52 1000000 0 1473.46/1473.92 c 48 137 115.71 22.94 5.04 1000000 0 1474.77/1475.24 c 45 124 117.90 21.79 5.41 1000000 0 1476.06/1476.55 c 49 130 117.70 22.18 5.31 1000000 0 1477.36/1477.86 c 55 117 115.05 22.10 5.21 1000000 0 1478.66/1479.17 c 54 99 115.69 21.93 5.28 1000000 0 1479.96/1480.49 c 49 111 113.63 19.06 5.96 1000000 0 1481.27/1481.80 c 49 104 114.72 21.21 5.41 1000000 0 1482.66/1483.10 c 58 72 121.26 22.24 5.45 1000000 0 1483.96/1484.41 c 49 141 115.88 19.89 5.83 1000000 0 1485.26/1485.71 c 50 103 116.39 21.26 5.47 1000000 0 1486.56/1487.02 c 50 89 116.66 22.44 5.20 1000000 0 1487.86/1488.34 c 58 131 115.15 22.20 5.19 1000000 0 1489.16/1489.65 c 44 113 113.48 22.64 5.01 1000000 0 1490.46/1490.95 c 42 124 116.63 20.54 5.68 1000000 0 1491.76/1492.27 c 47 114 114.65 22.43 5.11 1000000 0 1493.06/1493.57 c 47 124 114.73 23.56 4.87 1000000 0 1494.36/1494.88 c 51 111 115.95 21.68 5.35 1000000 0 1495.66/1496.19 c 51 137 114.36 22.07 5.18 1000000 0 1496.96/1497.50 c 53 123 117.08 20.65 5.67 1000000 0 1498.36/1498.82 c 50 144 117.09 21.53 5.44 1000000 0 1499.66/1500.13 c 54 143 113.51 20.76 5.47 1000000 0 1500.95/1501.45 c 45 93 115.86 20.62 5.62 1000000 0 1502.26/1502.76 c 50 128 118.43 21.55 5.50 1000000 0 1503.56/1504.06 c 49 123 114.88 20.38 5.64 1000000 0 1504.86/1505.37 c 46 121 115.40 21.45 5.38 1000000 0 1506.16/1506.69 c 47 124 114.11 22.15 5.15 1000000 0 1507.56/1508.01 c 47 99 118.34 21.41 5.53 1000000 0 1508.87/1509.31 c 56 115 116.32 20.25 5.74 1000000 0 1510.16/1510.63 c 48 131 113.52 21.85 5.19 1000000 0 1511.46/1511.94 c 48 113 114.92 21.13 5.44 1000000 0 1512.76/1513.25 c 50 127 113.26 21.12 5.36 1000000 0 1514.06/1514.57 c 53 124 115.95 20.55 5.64 1000000 0 1515.37/1515.87 c 56 94 116.65 20.84 5.60 1000000 0 1516.66/1517.18 c 58 136 119.01 20.57 5.79 1000000 0 1518.06/1518.50 c 54 109 116.54 21.66 5.38 1000000 0 1519.36/1519.81 c 49 134 113.35 20.35 5.57 1000000 0 1520.66/1521.12 c 49 104 114.27 23.75 4.81 1000000 0 1521.96/1522.43 c 55 122 118.52 22.47 5.27 1000000 0 1523.26/1523.73 c 49 105 116.42 22.87 5.09 1000000 0 1524.56/1525.04 c 45 114 116.36 20.00 5.82 1000000 0 1525.86/1526.34 c 47 104 118.94 22.12 5.38 1000000 0 1527.15/1527.65 c 51 115 118.46 22.30 5.31 1000000 0 1528.45/1528.97 c 56 94 117.05 22.21 5.27 1000000 0 1529.76/1530.27 c 50 107 116.60 20.97 5.56 1000000 0 1531.05/1531.59 c 47 83 112.62 21.90 5.14 1000000 0 1532.45/1532.90 c 50 128 115.38 22.88 5.04 1000000 0 1533.75/1534.22 c 49 138 114.83 22.25 5.16 1000000 0 1535.05/1535.53 c 48 99 117.21 23.74 4.94 1000000 0 1536.36/1536.85 c 44 84 112.87 21.63 5.22 1000000 0 1537.65/1538.15 c 49 119 114.24 20.86 5.48 1000000 0 1538.95/1539.47 c 49 90 118.08 22.46 5.26 1000000 0 1540.25/1540.78 c 50 108 116.29 21.97 5.29 1000000 0 1541.55/1542.09 c 53 127 116.36 21.49 5.42 1000000 0 1542.86/1543.40 c 50 104 115.78 22.19 5.22 1000000 0 1544.25/1544.72 c 46 85 113.72 22.36 5.09 1000000 0 1545.55/1546.04 c 53 88 118.34 21.52 5.50 1000000 0 1546.85/1547.35 c 49 112 115.26 21.01 5.49 1000000 0 1548.15/1548.66 c 45 121 117.60 20.34 5.78 1000000 0 1549.45/1549.98 c 55 106 116.61 22.24 5.24 1000000 0 1550.75/1551.29 c 56 106 120.87 21.24 5.69 1000000 0 1552.15/1552.60 c 46 92 115.92 20.74 5.59 1000000 0 1553.45/1553.91 c 44 134 116.09 20.34 5.71 1000000 0 1554.75/1555.23 c 53 85 115.11 20.75 5.55 1000000 0 1556.05/1556.54 c 50 100 116.01 19.82 5.85 1000000 0 1557.35/1557.85 c 46 84 117.08 21.97 5.33 1000000 0 1558.65/1559.15 c 49 77 114.03 20.85 5.47 1000000 0 1559.94/1560.47 c 43 103 114.45 21.27 5.38 1000000 0 1561.24/1561.77 c 54 96 117.49 21.53 5.46 1000000 0 1562.54/1563.08 c 49 120 117.17 21.10 5.55 1000000 0 1563.85/1564.39 c 46 106 114.89 23.18 4.96 1000000 0 1565.24/1565.70 c 51 120 118.18 20.66 5.72 1000000 0 1566.54/1567.01 c 56 86 119.73 21.95 5.45 1000000 0 1567.84/1568.33 c 49 116 115.04 21.35 5.39 1000000 0 1569.14/1569.63 c 45 126 114.79 20.71 5.54 1000000 0 1570.45/1570.95 c 51 114 118.35 22.77 5.20 1000000 0 1571.74/1572.26 c 50 105 117.55 20.78 5.66 1000000 0 1573.04/1573.56 c 57 81 118.65 22.71 5.22 1000000 0 1574.34/1574.88 c 53 115 115.61 22.95 5.04 1000000 0 1575.64/1576.18 c 54 102 116.63 22.47 5.19 1000000 0 1576.95/1577.49 c 49 104 117.07 21.30 5.49 1000000 0 1578.34/1578.80 c 38 108 117.83 22.57 5.22 1000000 0 1579.64/1580.13 c 52 138 115.19 20.48 5.62 1000000 0 1580.94/1581.45 c 52 134 115.51 21.27 5.43 1000000 0 1582.24/1582.76 c 41 121 111.63 21.55 5.18 1000000 0 1583.55/1584.07 c 50 115 119.86 21.05 5.69 1000000 0 1584.84/1585.37 c 47 127 118.85 22.03 5.40 1000000 0 1586.14/1586.68 c 52 115 114.38 21.74 5.26 1000000 0 1587.44/1587.99 c 53 115 117.26 20.90 5.61 1000000 0 1588.84/1589.30 c 51 111 113.50 20.98 5.41 1000000 0 1590.14/1590.62 c 53 139 116.81 22.90 5.10 1000000 0 1591.44/1591.93 c 51 99 113.76 21.72 5.24 1000000 0 1592.74/1593.25 c 46 132 114.02 21.74 5.25 1000000 0 1594.03/1594.56 c 52 120 117.04 22.24 5.26 1000000 0 1595.33/1595.87 c 44 133 118.11 20.60 5.73 1000000 0 1596.63/1597.19 c 57 116 117.09 20.76 5.64 1000000 0 1598.03/1598.51 c 46 81 113.99 20.61 5.53 1000000 0 1599.33/1599.82 c 51 90 115.20 22.24 5.18 1000000 0 1600.63/1601.13 c 50 92 118.54 23.88 4.96 1000000 0 1601.93/1602.45 c 48 138 115.90 20.52 5.65 1000000 0 1603.23/1603.75 c 46 166 114.66 22.07 5.19 1000000 0 1604.54/1605.07 c 41 124 115.96 20.36 5.69 1000000 0 1605.83/1606.38 c 55 122 117.52 22.07 5.32 1000000 0 1607.23/1607.70 c 49 149 117.63 21.87 5.38 1000000 0 1608.53/1609.01 c 48 98 114.16 20.67 5.52 1000000 0 1609.83/1610.31 c 53 145 118.13 23.01 5.13 1000000 0 1611.14/1611.62 c 50 143 115.11 20.64 5.58 1000000 0 1612.43/1612.94 c 54 113 118.47 20.70 5.72 1000000 0 1613.73/1614.25 c 46 136 115.06 20.47 5.62 1000000 0 1615.03/1615.55 c 47 122 117.16 20.83 5.62 1000000 0 1616.33/1616.86 c 53 149 115.45 22.28 5.18 1000000 0 1617.64/1618.17 c 53 95 116.69 21.66 5.39 1000000 0 1618.93/1619.49 c 52 107 114.82 22.49 5.11 1000000 0 1620.33/1620.80 c 50 114 120.63 23.18 5.20 1000000 0 1621.63/1622.11 c 50 122 115.49 22.36 5.17 1000000 0 1622.93/1623.42 c 48 139 117.25 22.54 5.20 1000000 0 1624.23/1624.73 c 53 99 114.55 21.01 5.45 1000000 0 1625.53/1626.05 c 54 127 114.87 20.95 5.48 1000000 0 1626.83/1627.37 c 51 102 119.75 22.24 5.38 1000000 0 1628.12/1628.68 c 48 94 118.45 21.66 5.47 1000000 0 1629.42/1629.99 c 45 89 117.42 22.50 5.22 1000000 0 1630.83/1631.30 c 51 109 117.05 22.38 5.23 1000000 0 1632.12/1632.61 c 53 105 116.04 21.05 5.51 1000000 0 1633.42/1633.93 c 46 84 116.86 21.96 5.32 1000000 0 1634.72/1635.23 c 56 124 117.82 21.83 5.40 1000000 0 1636.02/1636.54 c 55 132 117.14 21.86 5.36 1000000 0 1637.32/1637.85 c 49 133 115.42 20.65 5.59 1000000 0 1638.63/1639.16 c 51 118 119.28 20.24 5.89 1000000 0 1639.92/1640.47 c 48 113 117.11 22.15 5.29 1000000 0 1641.22/1641.77 c 46 88 115.18 21.80 5.28 1000000 0 1642.52/1643.09 c 56 130 116.64 21.13 5.52 1000000 0 1643.82/1644.39 c 48 84 120.90 21.69 5.57 1000000 0 1645.13/1645.70 c 54 143 116.53 22.48 5.18 1000000 0 1646.52/1647.00 c 54 108 115.22 21.87 5.27 1000000 0 1647.82/1648.31 c 50 148 114.33 20.84 5.49 1000000 0 1649.12/1649.62 c 48 84 113.16 21.97 5.15 1000000 0 1650.42/1650.94 c 46 134 115.39 22.45 5.14 1000000 0 1651.73/1652.25 c 56 111 117.39 22.08 5.32 1000000 0 1653.02/1653.57 c 57 116 118.23 21.35 5.54 1000000 0 1654.32/1654.88 c 49 118 116.59 20.62 5.66 1000000 0 1655.62/1656.19 c 52 124 115.27 21.11 5.46 1000000 0 1657.02/1657.50 c 49 114 117.47 23.37 5.03 1000000 0 1658.22/1658.79 c 51 120 117.11 22.23 5.27 1000000 0 1659.62/1660.10 c 51 76 116.74 21.78 5.36 1000000 0 1660.92/1661.42 c 53 126 115.63 22.34 5.18 1000000 0 1662.22/1662.72 c 50 117 114.27 21.24 5.38 1000000 0 1663.52/1664.04 c 54 103 115.57 20.87 5.54 1000000 0 1664.81/1665.35 c 45 76 118.29 23.38 5.06 1000000 0 1666.12/1666.66 c 50 142 115.80 20.44 5.66 1000000 0 1667.41/1667.96 c 55 120 118.84 22.20 5.35 1000000 0 1668.71/1669.27 c 56 106 118.41 20.79 5.69 1000000 0 1670.01/1670.57 c 54 113 120.01 22.18 5.41 1000000 0 1671.31/1671.89 c 53 128 114.01 19.72 5.78 1000000 0 1672.62/1673.20 c 53 147 118.04 20.47 5.77 1000000 0 1674.01/1674.51 c 47 73 115.19 20.67 5.57 1000000 0 1675.31/1675.82 c 52 103 115.75 21.82 5.30 1000000 0 1676.61/1677.13 c 52 97 117.40 21.65 5.42 1000000 0 1677.91/1678.45 c 51 106 116.15 23.44 4.96 1000000 0 1679.22/1679.76 c 48 111 115.96 21.42 5.41 1000000 0 1680.51/1681.07 c 49 102 115.69 23.09 5.01 1000000 0 1681.81/1682.37 c 43 100 115.64 22.43 5.16 1000000 0 1683.11/1683.68 c 51 106 116.39 21.97 5.30 1000000 0 1684.41/1684.99 c 49 135 112.00 21.89 5.12 1000000 0 1685.82/1686.31 c 51 126 114.22 21.95 5.20 1000000 0 1687.11/1687.61 c 56 121 115.75 21.51 5.38 1000000 0 1688.41/1688.92 c 52 139 117.34 20.64 5.68 1000000 0 1689.71/1690.23 c 45 157 114.38 20.87 5.48 1000000 0 1691.01/1691.54 c 49 114 117.98 22.94 5.14 1000000 0 1692.31/1692.85 c 49 109 115.14 21.05 5.47 1000000 0 1693.61/1694.16 c 48 101 117.06 20.98 5.58 1000000 0 1694.91/1695.47 c 47 149 118.38 21.16 5.59 1000000 0 1696.21/1696.77 c 53 116 115.75 21.81 5.31 1000000 0 1697.50/1698.09 c 47 99 115.60 20.64 5.60 1000000 0 1698.90/1699.40 c 47 134 115.22 21.31 5.41 1000000 0 1700.21/1700.71 c 52 113 117.41 22.32 5.26 1000000 0 1701.51/1702.03 c 48 111 114.22 22.29 5.12 1000000 0 1702.81/1703.33 c 51 142 116.40 19.76 5.89 1000000 0 1704.10/1704.65 c 49 118 118.98 21.38 5.57 1000000 0 1705.40/1705.96 c 51 87 116.80 21.72 5.38 1000000 0 1706.71/1707.27 c 46 114 118.01 21.33 5.53 1000000 0 1708.00/1708.59 c 49 111 117.09 22.37 5.23 1000000 0 1709.30/1709.89 c 52 104 116.91 20.68 5.65 1000000 0 1710.70/1711.21 c 47 143 117.68 22.05 5.34 1000000 0 1712.00/1712.51 c 48 132 116.90 20.91 5.59 1000000 0 1713.31/1713.81 c 52 110 116.62 20.08 5.81 1000000 0 1714.60/1715.13 c 50 96 117.36 20.36 5.76 1000000 0 1715.90/1716.45 c 52 120 113.17 21.26 5.32 1000000 0 1717.20/1717.77 c 55 144 114.73 20.94 5.48 1000000 0 1718.50/1719.08 c 51 93 119.64 21.59 5.54 1000000 0 1719.80/1720.38 c 51 128 116.63 20.59 5.66 1000000 0 1721.20/1721.70 c 55 88 117.32 21.59 5.43 1000000 0 1722.50/1723.01 c 53 128 120.69 22.80 5.29 1000000 0 1723.80/1724.32 c 54 115 118.89 22.20 5.36 1000000 0 1725.10/1725.63 c 49 98 113.92 20.90 5.45 1000000 0 1726.40/1726.94 c 51 125 114.38 21.38 5.35 1000000 0 1727.70/1728.26 c 49 148 116.13 20.57 5.64 1000000 0 1729.00/1729.57 c 55 105 116.88 20.89 5.60 1000000 0 1730.29/1730.89 c 55 142 116.45 20.73 5.62 1000000 0 1731.59/1732.19 c 45 99 117.99 22.95 5.14 1000000 0 1732.99/1733.51 c 51 147 117.09 23.00 5.09 1000000 0 1734.30/1734.82 c 54 125 118.16 21.59 5.47 1000000 0 1735.59/1736.13 c 53 132 115.19 21.80 5.28 1000000 0 1736.89/1737.44 c 54 95 115.23 21.08 5.47 1000000 0 1738.19/1738.74 c 54 122 115.50 21.99 5.25 1000000 0 1739.49/1740.05 c 51 104 114.81 20.41 5.63 1000000 0 1740.80/1741.37 c 55 84 115.58 21.27 5.43 1000000 0 1742.09/1742.68 c 52 141 117.70 22.38 5.26 1000000 0 1743.39/1743.99 c 56 135 117.13 21.72 5.39 1000000 0 1744.79/1745.30 c 39 131 114.87 21.07 5.45 1000000 0 1746.09/1746.61 c 50 87 118.75 23.01 5.16 1000000 0 1747.40/1747.92 c 50 94 118.42 21.89 5.41 1000000 0 1748.69/1749.23 c 54 113 116.96 25.05 4.67 1000000 0 1749.99/1750.53 c 49 117 116.89 22.50 5.20 1000000 0 1751.29/1751.84 c 49 149 117.98 21.60 5.46 1000000 0 1752.59/1753.14 c 48 125 119.17 20.57 5.79 1000000 0 1753.89/1754.45 c 53 99 114.16 22.51 5.07 1000000 0 1755.20/1755.76 c 46 121 115.95 20.91 5.54 1000000 0 1756.49/1757.08 c 50 90 114.06 22.18 5.14 1000000 0 1757.89/1758.40 c 48 126 113.14 21.80 5.19 1000000 0 1759.19/1759.71 c 55 103 117.93 21.72 5.43 1000000 0 1760.49/1761.02 c 54 144 117.86 20.65 5.71 1000000 0 1761.79/1762.34 c 48 93 114.23 20.32 5.62 1000000 0 1763.09/1763.65 c 42 124 115.85 21.22 5.46 1000000 0 1764.38/1764.96 c 50 138 120.03 22.30 5.38 1000000 0 1765.68/1766.28 c 44 112 114.65 20.67 5.55 1000000 0 1766.98/1767.59 c 53 123 115.78 21.50 5.38 1000000 0 1768.29/1768.90 c 52 126 117.78 22.57 5.22 1000000 0 1769.68/1770.21 c 49 93 114.73 19.97 5.75 1000000 0 1770.98/1771.52 c 58 124 121.09 23.63 5.13 1000000 0 1772.28/1772.83 c 49 125 114.85 22.12 5.19 1000000 0 1773.58/1774.14 c 56 91 114.74 20.87 5.50 1000000 0 1774.89/1775.45 c 52 117 116.52 23.23 5.02 1000000 0 1776.18/1776.77 c 53 102 113.59 19.84 5.73 1000000 0 1777.48/1778.08 c 43 121 117.49 22.97 5.11 1000000 0 1778.78/1779.39 c 49 99 115.58 21.59 5.35 1000000 0 1780.08/1780.69 c 48 119 118.17 22.74 5.20 1000000 0 1781.49/1782.00 c 55 117 116.97 22.26 5.26 1000000 0 1782.78/1783.31 c 52 119 116.86 20.86 5.60 1000000 0 1784.08/1784.63 c 54 96 116.91 21.11 5.54 1000000 0 1785.38/1785.94 c 48 99 117.38 21.61 5.43 1000000 0 1786.68/1787.25 c 52 102 115.53 19.66 5.88 1000000 0 1787.98/1788.56 c 52 104 114.67 20.93 5.48 1000000 0 1789.28/1789.87 c 55 117 118.10 21.43 5.51 1000000 0 1790.58/1791.19 c 53 103 117.36 20.60 5.70 1000000 0 1791.98/1792.50 c 47 70 119.93 23.10 5.19 1000000 0 1793.28/1793.81 c 56 119 117.47 20.56 5.71 1000000 0 1794.58/1795.12 c 53 118 117.85 19.59 6.01 1000000 0 1795.88/1796.43 c 55 127 115.90 22.77 5.09 1000000 0 1797.18/1797.73 c 56 108 116.04 21.83 5.31 1000000 0 1798.48/1799.05 c 49 108 114.21 20.38 5.60 1000000 0 1799.77/1800.37 c 48 82 116.15 21.36 5.44 1000000 0 1800.08/1800.60 HOME/run: line 2: 9798 Terminated ./PB-wave < $1
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669869-1276610784/watcher-2669869-1276610784 -o /tmp/evaluation-result-2669869-1276610784/solver-2669869-1276610784 -C 1800 -W 2000 -M 1800 run HOME/instance-2669869-1276610784.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9797 /proc/meminfo: memFree=1523220/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [startup+0.106975 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9797 /proc/meminfo: memFree=1523220/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.200985 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9797 /proc/meminfo: memFree=1523220/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300994 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9797 /proc/meminfo: memFree=1523220/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701035 s] /proc/loadavg: 1.00 1.00 1.00 3/106 9797 /proc/meminfo: memFree=1523220/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50112 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9799 /proc/meminfo: memFree=1519856/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=1.49 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 149 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10028 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9799 /proc/meminfo: memFree=1519608/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=3.09 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 309 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134525769 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.3016 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9799 /proc/meminfo: memFree=1519484/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=6.29 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 629 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134525821 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9799 /proc/meminfo: memFree=1519360/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=12.69 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 1269 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526314 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9799 /proc/meminfo: memFree=1519360/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=25.48 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 2548 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526787 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9801 /proc/meminfo: memFree=1519360/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=51.07 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 5107 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9801 /proc/meminfo: memFree=1519112/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=102.27 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 10227 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134519876 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9803 /proc/meminfo: memFree=1518864/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=162.24 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 16224 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134571284 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9805 /proc/meminfo: memFree=1518864/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=222.23 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 22223 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134527015 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9807 /proc/meminfo: memFree=1518740/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=282.21 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 28221 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49152 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9809 /proc/meminfo: memFree=1518616/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=342.19 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 34219 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134537251 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9809 /proc/meminfo: memFree=1518492/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=402.17 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 40217 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ [pid=9798] ppid=9797 vsize=40452 CPUtime=1121.97 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 112197 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9831 /proc/meminfo: memFree=1516880/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=1181.95 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 118195 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526903 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.06 1.02 1.00 2/108 9833 /proc/meminfo: memFree=1516632/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=1241.93 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 124193 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 1.00 2/108 9833 /proc/meminfo: memFree=1516384/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=1301.92 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 130192 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526314 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 1.00 2/108 9835 /proc/meminfo: memFree=1516384/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=1361.9 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 136190 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526500 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 49152 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9837 /proc/meminfo: memFree=1516260/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=1421.89 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 142189 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9839 /proc/meminfo: memFree=1516136/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=1481.86 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 148186 0 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 49152 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9841 /proc/meminfo: memFree=1516012/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=1541.86 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 154185 1 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.03 1.01 1.00 2/108 9844 /proc/meminfo: memFree=1515268/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=1601.83 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 160182 1 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 1.00 2/108 9846 /proc/meminfo: memFree=1515268/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=1661.82 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 166181 1 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9848 /proc/meminfo: memFree=1515268/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=1721.8 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 172179 1 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526157 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9850 /proc/meminfo: memFree=1515268/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=1781.78 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 178177 1 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526349 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9850 /proc/meminfo: memFree=1515268/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=1800.08 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 180007 1 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 9850 /proc/meminfo: memFree=1515268/2059040 swapFree=4192956/4192956 [pid=9797] ppid=9795 vsize=8700 CPUtime=0 /proc/9797/stat : 9797 (run) S 9795 9797 9312 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2370642 8908800 244 1992294400 4194304 4922060 140737179019440 18446744073709551615 212213537925 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/9797/statm: 2175 244 204 178 0 68 0 [pid=9798] ppid=9797 vsize=40452 CPUtime=1800.08 /proc/9798/stat : 9798 (PB-wave) R 9797 9797 9312 0 -1 4202496 859 0 0 0 180007 1 0 0 25 0 1 0 2370643 41422848 788 1992294400 134512640 135071400 4287901184 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/9798/statm: 10113 788 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1800.08 CPU system time (s): 0.012998 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.08 system time used= 0.012998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1231 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= 5090 runsolver used 3.22551 second user time and 8.33373 second system time The end
Begin job on node045 at 2010-06-15 16:06:24 IDJOB=2669869 IDBENCH=1464 IDSOLVER=1171 FILE ID=node045/2669869-1276610784 PBS_JOBID= 11172250 Free space on /tmp= 62460 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669869-1276610784/watcher-2669869-1276610784 -o /tmp/evaluation-result-2669869-1276610784/solver-2669869-1276610784 -C 1800 -W 2000 -M 1800 run HOME/instance-2669869-1276610784.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e5d29c8d327340997e74cb5790fdc500 RANDOM SEED=1049160570 node045.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.247 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.247 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1523616 kB Buffers: 67172 kB Cached: 341732 kB SwapCached: 0 kB Active: 186228 kB Inactive: 282108 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1523616 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 888 kB Writeback: 12 kB AnonPages: 59424 kB Mapped: 15428 kB Slab: 45380 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180968 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62460 MiB End job on node045 at 2010-06-15 16:36:25