Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.07 | 1800.72 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-25s.smv.opb |
MD5SUM | d7f2e5810238fdfe52a90b4b556d26aa |
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.097984 |
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 | 5072 |
Total number of constraints | 12829 |
Number of constraints which are clauses | 11721 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1108 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
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 | 165 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 546 |
Number of bits of the biggest sum of numbers | 10 |
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.04 c PB-wave - v2 0.00/0.04 c command line = ./PB-wave 0.00/0.04 c seed = 42350555 0.00/0.04 c cutoff = 1000000 0.00/0.04 c tries = 1000000 0.00/0.04 c heuristic = c best, noise 50 / 100 0.00/0.04 #var 5072 #con 12829 0.00/0.04 mode is SAT 0.00/0.04 c tail starts after flip = 15216 0.00/0.04 c numatom = 5072, numclause = 12829, numliterals = 43793 0.00/0.04 c wff read in 0.00/0.04 c 0.00/0.04 c lowest final avg noise noise total avg mean mean 0.00/0.04 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.04 c this this this this this this success success until std 0.00/0.04 c try try try try try try rate tries assign dev 0.00/0.04 c 1.79/1.89 c 114 178 214.25 38.98 5.50 1000000 0 3.69/3.73 c 121 172 220.16 41.81 5.27 1000000 0 5.50/5.57 c 135 204 227.33 38.73 5.87 1000000 0 7.39/7.42 c 126 204 216.49 35.28 6.14 1000000 0 9.19/9.28 c 97 250 213.50 38.78 5.51 1000000 0 11.09/11.11 c 129 166 225.19 41.31 5.45 1000000 0 12.89/12.96 c 121 202 215.47 37.44 5.75 1000000 0 14.78/14.81 c 125 175 222.91 35.84 6.22 1000000 0 16.58/16.66 c 98 228 218.25 39.42 5.54 1000000 0 18.48/18.52 c 112 238 215.29 42.12 5.11 1000000 0 20.28/20.37 c 111 147 217.72 39.89 5.46 1000000 0 22.18/22.21 c 124 193 219.75 42.51 5.17 1000000 0 23.98/24.06 c 127 240 225.53 39.77 5.67 1000000 0 25.88/25.91 c 123 251 222.90 41.32 5.39 1000000 0 27.68/27.76 c 134 226 225.08 36.90 6.10 1000000 0 29.59/29.60 c 126 208 216.86 39.75 5.46 1000000 0 31.38/31.45 c 113 184 213.61 40.70 5.25 1000000 0 33.28/33.30 c 105 235 222.14 37.39 5.94 1000000 0 35.08/35.14 c 120 185 225.84 45.79 4.93 1000000 0 36.88/36.98 c 108 206 224.82 42.95 5.23 1000000 0 38.78/38.83 c 122 225 218.03 40.57 5.37 1000000 0 40.58/40.66 c 108 175 223.79 39.40 5.68 1000000 0 42.48/42.50 c 114 179 218.57 40.82 5.35 1000000 0 44.27/44.36 c 111 288 213.67 40.03 5.34 1000000 0 46.18/46.21 c 111 223 217.55 43.14 5.04 1000000 0 47.97/48.05 c 120 242 220.01 34.52 6.37 1000000 0 49.87/49.90 c 111 216 219.00 41.90 5.23 1000000 0 51.68/51.73 c 127 153 229.56 42.85 5.36 1000000 0 53.47/53.57 c 115 274 224.83 40.72 5.52 1000000 0 55.37/55.42 c 119 182 219.83 39.13 5.62 1000000 0 57.18/57.25 c 119 215 220.81 37.40 5.90 1000000 0 59.07/59.10 c 130 209 223.93 37.87 5.91 1000000 0 60.87/60.95 c 109 214 213.77 38.54 5.55 1000000 0 62.68/62.79 c 124 172 222.46 42.89 5.19 1000000 0 64.57/64.64 c 118 192 220.19 37.99 5.80 1000000 0 66.37/66.47 c 115 223 223.49 43.41 5.15 1000000 0 68.27/68.32 c 128 218 217.07 39.36 5.51 1000000 0 70.06/70.17 c 113 188 220.79 37.95 5.82 1000000 0 71.96/72.02 c 111 243 209.13 36.43 5.74 1000000 0 73.76/73.86 c 121 226 216.91 38.10 5.69 1000000 0 75.56/75.69 c 128 217 225.47 44.58 5.06 1000000 0 77.46/77.54 c 128 261 217.23 39.51 5.50 1000000 0 79.26/79.38 c 135 242 232.82 37.72 6.17 1000000 0 81.16/81.23 c 124 234 217.68 36.76 5.92 1000000 0 82.96/83.08 c 118 241 213.32 39.09 5.46 1000000 0 84.86/84.92 c 122 195 220.79 40.13 5.50 1000000 0 86.66/86.75 c 127 209 229.45 39.61 5.79 1000000 0 88.56/88.60 c 120 226 223.82 38.00 5.89 1000000 0 90.36/90.45 c 116 210 219.43 36.67 5.98 1000000 0 92.16/92.29 c 125 249 223.36 42.03 5.31 1000000 0 94.06/94.16 c 114 228 217.58 37.14 5.86 1000000 0 95.96/96.01 c 100 194 215.15 35.96 5.98 1000000 0 97.76/97.86 c 109 212 210.39 39.40 5.34 1000000 0 99.65/99.70 c 126 215 218.95 40.79 5.37 1000000 0 101.45/101.55 c 115 190 213.04 41.31 5.16 1000000 0 103.26/103.39 c 135 201 225.53 37.01 6.09 1000000 0 105.15/105.24 c 114 214 219.77 39.26 5.60 1000000 0 106.95/107.07 c 121 228 223.72 34.88 6.41 1000000 0 108.86/108.92 c 117 224 220.80 41.62 5.31 1000000 0 110.65/110.75 c 131 205 226.48 39.36 5.75 1000000 0 112.55/112.62 c 115 195 215.72 42.71 5.05 1000000 0 114.36/114.47 c 127 218 219.84 35.68 6.16 1000000 0 116.25/116.31 c 125 204 221.73 36.62 6.06 1000000 0 118.05/118.14 c 122 169 223.32 39.77 5.62 1000000 0 119.85/119.99 c 104 182 217.86 39.59 5.50 1000000 0 121.75/121.82 c 126 177 220.15 35.07 6.28 1000000 0 123.55/123.67 c 118 216 219.95 38.23 5.75 1000000 0 125.44/125.52 c 116 176 216.45 40.10 5.40 1000000 0 127.24/127.38 c 127 205 222.29 35.88 6.20 1000000 0 129.14/129.22 c 127 201 224.67 38.82 5.79 1000000 0 130.94/131.05 c 115 186 217.85 38.21 5.70 1000000 0 132.84/132.92 c 125 207 218.13 40.14 5.43 1000000 0 134.64/134.77 c 118 174 215.43 39.21 5.49 1000000 0 136.54/136.62 c 122 200 217.95 40.26 5.41 1000000 0 138.34/138.46 c 119 161 224.58 33.29 6.75 1000000 0 140.24/140.31 c 118 254 219.65 41.77 5.26 1000000 0 142.04/142.17 c 121 239 216.59 41.03 5.28 1000000 0 143.94/144.02 c 125 205 222.02 36.52 6.08 1000000 0 145.73/145.87 c 117 217 217.78 36.86 5.91 1000000 0 147.63/147.70 c 115 212 223.83 38.61 5.80 1000000 0 149.44/149.55 c 125 227 220.41 38.71 5.69 1000000 0 151.23/151.39 c 109 212 220.71 39.46 5.59 1000000 0 153.13/153.22 c 122 196 223.09 38.69 5.77 1000000 0 154.94/155.06 c 125 206 221.46 37.63 5.89 1000000 0 156.73/156.90 c 123 242 226.46 41.51 5.46 1000000 0 158.63/158.75 c 112 207 216.92 37.53 5.78 1000000 0 160.44/160.59 c 112 168 211.80 33.37 6.35 1000000 0 162.33/162.42 c 132 222 229.16 39.70 5.77 1000000 0 164.13/164.27 c 107 240 221.01 40.43 5.47 1000000 0 166.04/166.11 c 125 199 221.16 40.10 5.52 1000000 0 167.83/167.95 c 111 206 215.13 40.82 5.27 1000000 0 169.63/169.79 c 123 206 224.60 41.00 5.48 1000000 0 171.53/171.64 c 116 199 218.08 36.53 5.97 1000000 0 173.33/173.49 c 120 206 213.81 40.26 5.31 1000000 0 175.23/175.32 c 130 213 222.17 38.00 5.85 1000000 0 177.03/177.17 c 126 256 219.83 39.49 5.57 1000000 0 178.92/179.01 c 114 234 219.75 36.98 5.94 1000000 0 180.72/180.87 c 125 239 221.77 38.27 5.80 1000000 0 182.62/182.70 c 114 179 230.54 39.01 5.91 1000000 0 184.42/184.53 c 129 183 227.48 42.38 5.37 1000000 0 186.22/186.36 c 130 221 222.53 40.28 5.52 1000000 0 188.12/188.21 c 122 194 215.04 40.27 5.34 1000000 0 189.92/190.05 c 123 162 218.41 45.22 4.83 1000000 0 191.82/191.91 c 114 202 218.41 39.12 5.58 1000000 0 193.62/193.75 c 124 167 213.26 41.09 5.19 1000000 0 195.52/195.60 c 120 184 212.90 35.36 6.02 1000000 0 197.32/197.45 c 126 221 226.41 40.50 5.59 1000000 0 199.12/199.28 c 125 211 223.65 32.23 6.94 1000000 0 201.02/201.14 c 111 241 219.51 41.35 5.31 1000000 0 202.82/202.98 c 116 191 218.07 37.12 5.88 1000000 0 204.72/204.82 c 123 268 223.57 37.70 5.93 1000000 0 206.51/206.66 c 120 176 219.71 41.23 5.33 1000000 0 208.41/208.51 c 112 245 215.80 39.51 5.46 1000000 0 210.21/210.36 c 122 220 221.42 40.90 5.41 1000000 0 212.12/212.21 c 131 290 221.49 44.05 5.03 1000000 0 213.91/214.04 c 114 205 222.17 41.82 5.31 1000000 0 215.71/215.87 c 123 235 222.55 37.89 5.87 1000000 0 217.62/217.74 c 87 263 216.76 44.74 4.84 1000000 0 219.41/219.58 c 113 202 222.68 38.45 5.79 1000000 0 221.31/221.43 c 123 207 223.34 41.34 5.40 1000000 0 223.12/223.28 c 109 225 216.81 39.81 5.45 1000000 0 225.01/225.13 c 124 195 221.85 40.13 5.53 1000000 0 226.81/226.98 c 122 221 221.03 35.13 6.29 1000000 0 228.71/228.85 c 111 246 209.78 43.53 4.82 1000000 0 230.51/230.68 c 117 173 218.74 41.97 5.21 1000000 0 232.40/232.52 c 113 251 218.22 45.45 4.80 1000000 0 234.21/234.38 c 107 249 214.66 36.42 5.89 1000000 0 236.10/236.22 c 125 158 221.22 37.57 5.89 1000000 0 237.90/238.09 c 110 217 212.66 38.15 5.57 1000000 0 239.80/239.93 c 111 236 218.63 37.13 5.89 1000000 0 241.60/241.75 c 116 198 220.83 38.09 5.80 1000000 0 243.40/243.58 c 126 188 225.50 41.00 5.50 1000000 0 245.30/245.43 c 127 227 219.73 36.56 6.01 1000000 0 247.10/247.27 c 119 252 222.13 38.66 5.75 1000000 0 249.00/249.14 c 121 158 217.27 41.70 5.21 1000000 0 250.80/250.96 c 128 243 226.35 37.60 6.02 1000000 0 252.70/252.81 c 117 191 215.23 41.76 5.15 1000000 0 254.50/254.67 c 116 167 206.51 40.86 5.05 1000000 0 256.40/256.51 c 129 211 221.88 34.17 6.49 1000000 0 258.20/258.37 c 119 213 215.44 39.33 5.48 1000000 0 260.10/260.23 c 113 261 215.91 42.30 5.10 1000000 0 261.89/262.09 c 124 233 219.70 38.94 5.64 1000000 0 263.80/263.92 c 117 202 217.29 37.17 5.85 1000000 0 265.59/265.79 c 114 195 214.04 40.89 5.23 1000000 0 267.49/267.63 c 111 195 222.24 42.14 5.27 1000000 0 269.30/269.48 c 118 174 214.39 38.03 5.64 1000000 0 271.19/271.32 c 116 205 217.00 41.53 5.22 1000000 0 272.99/273.17 c 118 271 215.19 37.15 5.79 1000000 0 274.90/275.02 c 113 221 219.71 43.78 5.02 1000000 0 276.69/276.87 c 124 178 224.11 34.37 6.52 1000000 0 278.59/278.71 c 130 239 220.51 37.95 5.81 1000000 0 280.40/280.56 c 111 223 218.59 38.12 5.73 1000000 0 282.29/282.41 c 122 228 216.01 39.25 5.50 1000000 0 284.09/284.24 c 112 166 220.30 33.88 6.50 1000000 0 285.99/286.11 c 110 208 212.14 39.72 5.34 1000000 0 287.79/287.95 c 130 253 225.03 38.40 5.86 1000000 0 289.69/289.80 c 129 250 222.56 38.78 5.74 1000000 0 291.49/291.65 c 123 154 219.55 38.90 5.64 1000000 0 293.28/293.49 c 110 213 214.98 36.53 5.88 1000000 0 295.18/295.34 c 108 180 222.94 43.72 5.10 1000000 0 296.98/297.19 c 120 220 215.76 35.54 6.07 1000000 0 298.88/299.02 c 116 191 221.70 39.46 5.62 1000000 0 300.68/300.88 c 123 205 220.91 32.07 6.89 1000000 0 302.58/302.71 c 115 229 221.09 40.12 5.51 1000000 0 304.38/304.54 c 124 212 228.81 43.85 5.22 1000000 0 306.18/306.39 c 111 250 219.86 34.43 6.38 1000000 0 308.08/308.24 c 113 223 218.91 36.98 5.92 1000000 0 309.88/310.07 c 128 205 224.91 35.38 6.36 1000000 0 311.78/311.92 c 121 183 224.47 42.53 5.28 1000000 0 313.58/313.77 c 109 144 213.98 42.14 5.08 1000000 0 315.48/315.62 c 116 230 219.80 35.47 6.20 1000000 0 317.28/317.46 c 121 207 216.97 38.05 5.70 1000000 0 319.17/319.30 c 127 198 228.40 39.94 5.72 1000000 0 320.98/321.14 c 126 222 227.63 35.29 6.45 1000000 0 322.77/322.98 c 129 190 225.46 38.54 5.85 1000000 0 324.67/324.82 c 118 216 220.55 41.56 5.31 1000000 0 326.48/326.66 c 119 222 219.02 42.23 5.19 1000000 0 328.37/328.53 c 108 220 214.01 41.76 5.12 1000000 0 330.17/330.38 c 114 222 218.25 43.66 5.00 1000000 0 332.08/332.23 c 121 217 217.41 39.26 5.54 1000000 0 333.87/334.08 c 114 227 215.51 39.72 5.43 1000000 0 335.77/335.92 c 120 251 218.29 39.60 5.51 1000000 0 337.58/337.76 c 121 185 214.59 36.11 5.94 1000000 0 339.47/339.61 c 117 232 215.67 41.58 5.19 1000000 0 341.27/341.44 c 114 210 224.47 38.91 5.77 1000000 0 343.07/343.29 c 125 285 221.47 41.90 5.29 1000000 0 344.96/345.14 c 127 204 221.97 38.67 5.74 1000000 0 346.86/347.01 c 109 237 218.81 38.31 5.71 1000000 0 348.66/348.86 c 127 242 216.40 36.02 6.01 1000000 0 350.56/350.72 c 110 226 219.17 43.72 5.01 1000000 0 352.36/352.59 c 101 235 209.34 43.61 4.80 1000000 0 354.26/354.43 c 127 237 226.96 41.34 5.49 1000000 0 356.06/356.27 c 119 178 223.58 37.32 5.99 1000000 0 357.96/358.11 c 124 217 218.67 39.00 5.61 1000000 0 359.76/359.96 c 115 173 222.52 40.32 5.52 1000000 0 361.56/361.78 c 119 219 219.18 39.93 5.49 1000000 0 363.46/363.61 c 130 260 219.75 40.21 5.47 1000000 0 365.26/365.47 c 123 225 218.35 36.76 5.94 1000000 0 367.17/367.32 c 120 234 219.70 39.48 5.57 1000000 0 368.96/369.16 c 118 183 220.84 36.33 6.08 1000000 0 370.86/371.01 c 105 184 224.12 45.32 4.95 1000000 0 372.66/372.86 c 122 188 214.60 36.76 5.84 1000000 0 374.55/374.70 c 117 209 220.76 42.81 5.16 1000000 0 376.35/376.54 c 119 171 227.79 40.18 5.67 1000000 0 378.16/378.39 c 116 212 223.07 39.19 5.69 1000000 0 380.05/380.25 c 120 274 221.23 41.31 5.36 1000000 0 381.85/382.09 c 115 199 223.86 38.79 5.77 1000000 0 383.76/383.94 c 113 201 217.40 39.47 5.51 1000000 0 385.55/385.79 c 109 193 223.44 40.88 5.47 1000000 0 387.45/387.63 c 103 249 216.41 35.72 6.06 1000000 0 389.26/389.48 c 124 217 221.29 40.34 5.49 1000000 0 391.15/391.32 c 130 242 220.57 37.36 5.90 1000000 0 392.95/393.17 c 119 226 217.78 47.07 4.63 1000000 0 394.85/395.02 c 123 257 222.34 43.39 5.12 1000000 0 396.65/396.86 c 129 243 222.55 42.77 5.20 1000000 0 398.55/398.71 c 118 245 222.53 37.90 5.87 1000000 0 400.35/400.55 c 105 232 218.58 34.94 6.25 1000000 0 402.24/402.40 c 122 192 217.48 35.89 6.06 1000000 0 404.04/404.25 c 122 149 216.87 39.73 5.46 1000000 0 405.84/406.09 c 113 251 220.65 39.92 5.53 1000000 0 407.74/407.92 c 112 203 220.36 38.77 5.68 1000000 0 409.54/409.76 c 127 201 220.51 37.87 5.82 1000000 0 411.44/411.60 c 117 187 220.49 38.72 5.70 1000000 0 413.24/413.43 c 132 193 223.41 39.47 5.66 1000000 0 415.04/415.27 c 116 191 220.78 41.92 5.27 1000000 0 416.94/417.10 c 121 184 221.80 35.56 6.24 1000000 0 418.74/418.96 c 118 238 215.37 35.62 6.05 1000000 0 420.64/420.80 c 124 242 218.61 35.63 6.14 1000000 0 422.44/422.67 c 114 202 218.17 40.54 5.38 1000000 0 424.34/424.53 c 117 210 220.79 43.88 5.03 1000000 0 426.13/426.37 c 130 222 222.92 34.37 6.49 1000000 0 428.03/428.21 c 114 181 222.28 39.72 5.60 1000000 0 429.84/430.06 c 119 214 219.22 42.65 5.14 1000000 0 431.63/431.89 c 118 199 216.81 40.32 5.38 1000000 0 433.53/433.75 c 115 198 220.92 39.79 5.55 1000000 0 435.34/435.60 c 111 200 213.22 36.62 5.82 1000000 0 437.23/437.43 c 112 208 221.67 39.91 5.55 1000000 0 439.03/439.27 c 122 261 221.77 38.00 5.84 1000000 0 440.94/441.13 c 117 208 210.07 40.46 5.19 1000000 0 442.73/442.98 c 122 215 223.78 39.24 5.70 1000000 0 444.63/444.82 c 116 180 225.11 41.91 5.37 1000000 0 446.43/446.67 c 125 215 224.32 41.72 5.38 1000000 0 448.33/448.50 c 114 215 224.49 39.67 5.66 1000000 0 450.12/450.35 c 129 201 217.70 32.85 6.63 1000000 0 452.02/452.21 c 118 209 219.83 39.43 5.57 1000000 0 453.82/454.06 c 120 205 220.67 36.51 6.04 1000000 0 455.72/455.91 c 115 232 215.56 42.49 5.07 1000000 0 457.52/457.75 c 123 226 219.72 41.30 5.32 1000000 0 459.42/459.61 c 128 232 221.14 39.14 5.65 1000000 0 461.22/461.46 c 117 226 220.34 40.88 5.39 1000000 0 463.12/463.31 c 118 225 218.01 39.68 5.49 1000000 0 464.92/465.16 c 121 174 222.06 40.28 5.51 1000000 0 466.82/467.01 c 108 214 224.39 43.84 5.12 1000000 0 468.62/468.86 c 119 159 220.19 40.14 5.49 1000000 0 470.52/470.71 c 114 248 215.70 41.00 5.26 1000000 0 472.32/472.55 c 123 211 222.61 35.92 6.20 1000000 0 474.22/474.40 c 102 196 218.07 42.62 5.12 1000000 0 476.02/476.24 c 122 245 218.82 38.20 5.73 1000000 0 477.92/478.10 c 121 171 214.13 38.82 5.52 1000000 0 479.71/479.94 c 119 294 217.73 39.56 5.50 1000000 0 481.52/481.78 c 129 202 222.98 35.85 6.22 1000000 0 483.41/483.62 c 130 190 222.68 35.70 6.24 1000000 0 485.21/485.45 c 118 267 224.22 36.21 6.19 1000000 0 487.02/487.30 c 118 213 219.43 41.34 5.31 1000000 0 488.91/489.16 c 118 227 217.46 33.91 6.41 1000000 0 490.81/491.00 c 124 182 217.27 34.08 6.38 1000000 0 492.62/492.84 c 118 228 221.81 37.85 5.86 1000000 0 494.41/494.68 c 121 219 219.11 41.50 5.28 1000000 0 496.31/496.50 c 115 226 225.66 42.79 5.27 1000000 0 498.12/498.35 c 106 265 211.29 42.24 5.00 1000000 0 500.01/500.20 c 129 216 222.60 33.02 6.74 1000000 0 501.80/502.05 c 100 257 208.54 38.24 5.45 1000000 0 503.70/503.90 c 111 191 211.40 37.58 5.63 1000000 0 505.50/505.76 c 117 236 216.99 38.80 5.59 1000000 0 507.30/507.57 c 120 223 223.31 49.50 4.51 1000000 0 509.11/509.39 c 116 175 219.34 37.08 5.92 1000000 0 511.00/511.25 c 105 201 219.57 41.52 5.29 1000000 0 512.90/513.11 c 118 205 213.47 43.04 4.96 1000000 0 514.70/514.94 c 127 224 232.89 41.36 5.63 1000000 0 516.50/516.79 c 122 222 219.80 38.10 5.77 1000000 0 518.40/518.64 c 110 281 219.16 40.77 5.38 1000000 0 520.30/520.50 c 121 231 216.90 39.80 5.45 1000000 0 522.10/522.35 c 90 214 216.60 43.11 5.02 1000000 0 523.90/524.18 c 128 237 220.93 38.36 5.76 1000000 0 525.80/526.02 c 121 177 223.20 40.60 5.50 1000000 0 527.60/527.85 c 122 227 222.52 39.34 5.66 1000000 0 529.40/529.68 c 113 207 225.06 42.12 5.34 1000000 0 531.29/531.52 c 129 208 223.86 34.79 6.43 1000000 0 533.09/533.38 c 116 216 212.15 37.40 5.67 1000000 0 534.99/535.22 c 113 206 220.13 40.44 5.44 1000000 0 536.79/537.07 c 117 233 224.30 37.83 5.93 1000000 0 538.70/538.90 c 120 241 227.17 41.97 5.41 1000000 0 540.49/540.75 c 106 203 217.98 40.04 5.44 1000000 0 542.39/542.61 c 108 174 215.63 39.69 5.43 1000000 0 544.20/544.45 c 133 185 222.70 35.25 6.32 1000000 0 545.99/546.28 c 111 166 221.64 39.85 5.56 1000000 0 547.89/548.14 c 108 172 218.16 45.13 4.83 1000000 0 549.69/550.00 c 123 194 216.34 41.24 5.25 1000000 0 551.59/551.84 c 117 209 219.60 41.42 5.30 1000000 0 553.39/553.68 c 112 268 218.37 40.47 5.40 1000000 0 555.29/555.55 c 116 175 216.09 38.82 5.57 1000000 0 557.19/557.42 c 114 227 216.31 42.87 5.05 1000000 0 558.99/559.27 c 112 195 219.40 38.83 5.65 1000000 0 560.88/561.11 c 120 247 218.63 37.49 5.83 1000000 0 562.68/562.98 c 105 209 209.52 40.12 5.22 1000000 0 564.58/564.82 c 123 221 223.91 38.25 5.85 1000000 0 566.38/566.67 c 103 231 218.39 37.64 5.80 1000000 0 568.28/568.51 c 125 260 221.23 38.54 5.74 1000000 0 570.08/570.35 c 119 253 217.44 37.75 5.76 1000000 0 571.88/572.19 c 118 211 217.61 38.33 5.68 1000000 0 573.78/574.02 c 115 190 219.06 45.98 4.76 1000000 0 575.58/575.87 c 115 193 221.61 36.91 6.00 1000000 0 577.48/577.71 c 133 208 220.37 36.88 5.98 1000000 0 579.28/579.56 c 116 163 214.50 39.98 5.37 1000000 0 581.18/581.41 c 131 179 217.71 36.52 5.96 1000000 0 582.98/583.25 c 103 216 223.18 42.12 5.30 1000000 0 584.88/585.10 c 116 229 215.27 37.86 5.69 1000000 0 586.67/586.95 c 115 192 217.64 37.81 5.76 1000000 0 588.47/588.79 c 118 159 226.93 43.62 5.20 1000000 0 590.38/590.63 c 100 226 219.39 42.12 5.21 1000000 0 592.17/592.47 c 121 269 219.53 44.16 4.97 1000000 0 594.07/594.32 c 125 223 221.61 38.92 5.69 1000000 0 595.88/596.17 c 127 226 219.09 42.41 5.17 1000000 0 597.77/598.02 c 118 227 220.25 34.38 6.41 1000000 0 599.57/599.84 c 123 230 222.15 35.47 6.26 1000000 0 601.38/601.69 c 127 181 223.39 36.68 6.09 1000000 0 603.27/603.57 c 115 180 209.65 38.62 5.43 1000000 0 605.17/605.41 c 135 250 227.00 36.49 6.22 1000000 0 606.97/607.27 c 121 299 220.22 33.91 6.49 1000000 0 608.87/609.11 c 117 187 220.16 39.68 5.55 1000000 0 610.67/610.96 c 120 176 214.38 34.70 6.18 1000000 0 612.57/612.80 c 126 197 223.86 43.03 5.20 1000000 0 614.37/614.63 c 130 210 221.97 38.79 5.72 1000000 0 616.17/616.47 c 117 217 213.07 41.71 5.11 1000000 0 618.06/618.31 c 133 238 230.50 35.90 6.42 1000000 0 619.86/620.14 c 127 199 224.61 37.74 5.95 1000000 0 621.66/621.97 c 126 210 221.04 37.01 5.97 1000000 0 623.56/623.82 c 116 194 216.54 34.67 6.25 1000000 0 625.36/625.68 c 117 206 224.73 40.83 5.50 1000000 0 627.26/627.52 c 119 149 223.92 41.63 5.38 1000000 0 629.06/629.37 c 125 255 221.98 40.39 5.50 1000000 0 630.96/631.21 c 118 187 214.99 39.86 5.39 1000000 0 632.76/633.05 c 121 199 215.28 38.24 5.63 1000000 0 634.66/634.90 c 104 240 217.75 38.68 5.63 1000000 0 636.46/636.73 c 116 180 218.02 38.12 5.72 1000000 0 638.26/638.58 c 123 240 220.83 42.67 5.18 1000000 0 640.16/640.41 c 118 187 217.24 44.32 4.90 1000000 0 641.96/642.26 c 135 219 222.64 36.78 6.05 1000000 0 643.86/644.11 c 115 199 218.56 37.07 5.90 1000000 0 645.65/645.93 c 89 209 221.11 40.45 5.47 1000000 0 647.45/647.77 c 118 222 217.29 33.56 6.47 1000000 0 649.35/649.63 c 117 227 218.67 38.48 5.68 1000000 0 651.15/651.47 c 119 206 219.18 43.07 5.09 1000000 0 653.06/653.32 c 112 223 225.74 37.17 6.07 1000000 0 654.85/655.16 c 121 178 219.56 37.02 5.93 1000000 0 656.65/656.99 c 122 219 222.08 38.59 5.75 1000000 0 658.56/658.81 c 115 219 223.86 41.96 5.33 1000000 0 660.35/660.68 c 120 204 219.56 34.70 6.33 1000000 0 662.25/662.51 c 119 197 216.45 40.14 5.39 1000000 0 664.05/664.35 c 111 214 221.08 38.65 5.72 1000000 0 665.95/666.20 c 118 234 219.12 35.37 6.19 1000000 0 667.75/668.04 c 135 212 225.45 42.17 5.35 1000000 0 669.55/669.87 c 108 222 220.69 40.59 5.44 1000000 0 671.44/671.71 c 125 192 217.26 37.94 5.73 1000000 0 673.24/673.55 c 118 186 221.53 38.29 5.79 1000000 0 675.05/675.40 c 123 209 218.70 39.48 5.54 1000000 0 676.94/677.24 c 121 204 221.76 37.51 5.91 1000000 0 678.74/679.06 c 127 164 226.76 38.84 5.84 1000000 0 680.55/680.90 c 111 188 213.20 33.06 6.45 1000000 0 682.44/682.76 c 118 198 220.63 38.24 5.77 1000000 0 684.24/684.59 c 119 248 218.04 36.91 5.91 1000000 0 686.15/686.43 c 119 209 220.02 34.53 6.37 1000000 0 687.94/688.26 c 134 214 224.91 42.37 5.31 1000000 0 689.84/690.13 c 124 246 219.34 37.12 5.91 1000000 0 691.65/691.97 c 116 224 221.66 41.09 5.39 1000000 0 693.54/693.81 c 113 213 221.43 37.15 5.96 1000000 0 695.34/695.65 c 92 214 218.35 40.17 5.44 1000000 0 697.15/697.50 c 125 221 220.52 36.55 6.03 1000000 0 699.03/699.34 c 130 197 222.28 39.04 5.69 1000000 0 700.83/701.19 c 119 216 216.86 37.08 5.85 1000000 0 702.73/703.04 c 125 169 218.83 38.77 5.64 1000000 0 704.53/704.89 c 115 220 216.11 38.44 5.62 1000000 0 706.43/706.72 c 130 202 223.11 37.30 5.98 1000000 0 708.23/708.55 c 116 251 227.58 39.43 5.77 1000000 0 710.13/710.40 c 107 150 220.50 43.82 5.03 1000000 0 711.93/712.26 c 104 205 212.92 37.41 5.69 1000000 0 713.83/714.10 c 117 174 214.27 36.63 5.85 1000000 0 715.63/715.95 c 114 195 211.90 36.88 5.75 1000000 0 717.53/717.80 c 128 214 218.30 40.13 5.44 1000000 0 719.33/719.63 c 109 237 220.91 42.86 5.15 1000000 0 721.13/721.48 c 113 251 223.57 35.10 6.37 1000000 0 723.03/723.32 c 132 216 222.03 36.61 6.07 1000000 0 724.82/725.18 c 125 238 215.62 38.18 5.65 1000000 0 726.73/727.03 c 102 289 217.68 40.00 5.44 1000000 0 728.52/728.86 c 131 249 221.68 37.01 5.99 1000000 0 730.42/730.71 c 119 205 224.10 35.55 6.30 1000000 0 732.23/732.55 c 110 272 219.95 41.12 5.35 1000000 0 734.02/734.39 c 113 255 220.45 34.37 6.41 1000000 0 735.92/736.26 c 110 222 212.82 40.95 5.20 1000000 0 737.83/738.10 c 126 157 224.81 37.28 6.03 1000000 0 739.62/739.93 c 122 221 224.62 41.93 5.36 1000000 0 741.42/741.78 c 123 176 212.78 38.94 5.46 1000000 0 743.33/743.62 c 124 196 216.15 36.26 5.96 1000000 0 745.12/745.47 c 120 184 220.26 41.03 5.37 1000000 0 747.02/747.32 c 122 192 218.70 37.82 5.78 1000000 0 748.82/749.16 c 125 167 213.29 34.96 6.10 1000000 0 750.71/751.00 c 129 199 220.72 37.08 5.95 1000000 0 752.51/752.87 c 107 197 213.14 45.26 4.71 1000000 0 754.41/754.71 c 120 254 217.96 40.38 5.40 1000000 0 756.21/756.56 c 126 274 221.26 35.50 6.23 1000000 0 758.11/758.42 c 108 179 213.70 41.59 5.14 1000000 0 759.91/760.28 c 112 202 217.91 40.00 5.45 1000000 0 761.81/762.13 c 115 228 222.62 39.97 5.57 1000000 0 763.61/763.99 c 112 181 214.75 39.68 5.41 1000000 0 765.51/765.82 c 123 194 219.91 36.57 6.01 1000000 0 767.31/767.69 c 95 228 217.30 37.39 5.81 1000000 0 769.21/769.53 c 126 217 218.60 44.63 4.90 1000000 0 771.01/771.36 c 125 198 216.21 39.24 5.51 1000000 0 772.91/773.21 c 105 200 216.70 36.63 5.92 1000000 0 774.71/775.05 c 119 212 221.86 34.48 6.43 1000000 0 776.60/776.91 c 104 238 218.98 39.24 5.58 1000000 0 778.41/778.74 c 113 205 215.19 35.95 5.99 1000000 0 780.30/780.60 c 106 239 215.43 37.22 5.79 1000000 0 782.10/782.45 c 133 198 224.12 37.10 6.04 1000000 0 783.91/784.30 c 93 211 219.53 41.16 5.33 1000000 0 785.80/786.15 c 111 194 218.86 40.49 5.41 1000000 0 787.60/787.98 c 110 211 218.14 40.13 5.44 1000000 0 789.51/789.82 c 122 165 214.21 36.95 5.80 1000000 0 791.30/791.66 c 117 251 221.88 39.00 5.69 1000000 0 793.20/793.50 c 101 228 219.58 38.07 5.77 1000000 0 795.01/795.35 c 92 248 219.83 40.25 5.46 1000000 0 796.90/797.20 c 105 179 219.95 42.05 5.23 1000000 0 798.70/799.05 c 116 171 217.26 37.95 5.73 1000000 0 800.50/800.87 c 119 223 224.34 38.27 5.86 1000000 0 802.40/802.73 c 118 223 214.08 37.18 5.76 1000000 0 804.20/804.58 c 115 195 218.68 37.45 5.84 1000000 0 806.09/806.43 c 111 196 210.56 39.12 5.38 1000000 0 807.89/808.28 c 112 207 221.08 44.31 4.99 1000000 0 809.79/810.13 c 114 178 216.00 40.94 5.28 1000000 0 811.59/811.97 c 137 228 228.34 36.03 6.34 1000000 0 813.49/813.81 c 130 178 223.19 41.46 5.38 1000000 0 815.29/815.65 c 117 185 215.63 38.93 5.54 1000000 0 817.19/817.52 c 110 164 212.98 43.96 4.84 1000000 0 818.99/819.37 c 114 198 217.97 40.72 5.35 1000000 0 820.89/821.21 c 114 225 214.99 40.37 5.33 1000000 0 822.69/823.06 c 133 227 218.84 36.37 6.02 1000000 0 824.59/824.92 c 127 189 217.09 36.93 5.88 1000000 0 826.39/826.75 c 120 205 230.52 39.25 5.87 1000000 0 828.19/828.59 c 129 257 221.90 41.00 5.41 1000000 0 830.09/830.42 c 115 231 221.57 45.67 4.85 1000000 0 831.88/832.26 c 119 212 217.02 42.38 5.12 1000000 0 833.78/834.10 c 112 221 221.29 41.05 5.39 1000000 0 835.59/835.92 c 129 196 228.48 35.22 6.49 1000000 0 837.38/837.78 c 102 184 219.26 43.86 5.00 1000000 0 839.28/839.65 c 120 183 213.11 41.74 5.11 1000000 0 841.09/841.48 c 129 222 225.24 37.25 6.05 1000000 0 842.98/843.32 c 118 141 221.51 39.62 5.59 1000000 0 844.78/845.17 c 114 227 225.73 39.67 5.69 1000000 0 846.69/847.02 c 130 216 219.38 35.15 6.24 1000000 0 848.48/848.87 c 121 209 221.81 39.42 5.63 1000000 0 850.38/850.71 c 115 214 217.05 38.46 5.64 1000000 0 852.19/852.56 c 129 209 220.73 35.48 6.22 1000000 0 854.08/854.41 c 126 179 220.68 40.84 5.40 1000000 0 855.88/856.25 c 116 209 215.60 41.36 5.21 1000000 0 857.68/858.09 c 111 213 220.53 47.48 4.64 1000000 0 859.58/859.92 c 129 202 220.35 34.02 6.48 1000000 0 861.37/861.78 c 113 186 212.34 33.48 6.34 1000000 0 863.27/863.62 c 125 285 223.56 32.59 6.86 1000000 0 865.07/865.46 c 112 189 214.77 38.61 5.56 1000000 0 866.97/867.31 c 127 251 225.61 35.34 6.38 1000000 0 868.77/869.17 c 100 159 214.47 43.12 4.97 1000000 0 870.67/871.00 c 112 189 218.78 40.44 5.41 1000000 0 872.47/872.83 c 122 187 221.99 40.70 5.45 1000000 0 874.27/874.67 c 127 182 228.60 35.16 6.50 1000000 0 876.17/876.51 c 105 237 219.17 39.45 5.56 1000000 0 877.97/878.36 c 119 224 218.90 38.55 5.68 1000000 0 879.87/880.22 c 110 222 216.64 41.03 5.28 1000000 0 881.67/882.06 c 119 188 225.50 45.17 4.99 1000000 0 883.57/883.90 c 112 197 217.59 42.89 5.07 1000000 0 885.37/885.76 c 117 208 217.71 40.39 5.39 1000000 0 887.27/887.60 c 114 176 212.10 38.57 5.50 1000000 0 889.07/889.44 c 122 240 218.89 38.68 5.66 1000000 0 890.87/891.27 c 134 211 230.57 38.84 5.94 1000000 0 892.77/893.11 c 107 201 219.55 41.10 5.34 1000000 0 894.56/894.96 c 126 181 220.43 39.61 5.57 1000000 0 896.46/896.80 c 120 236 223.19 41.48 5.38 1000000 0 898.27/898.64 c 115 237 220.39 38.87 5.67 1000000 0 900.06/900.48 c 125 236 221.20 37.08 5.97 1000000 0 901.96/902.34 c 104 167 213.50 41.65 5.13 1000000 0 903.77/904.19 c 126 184 223.54 40.59 5.51 1000000 0 905.66/906.05 c 128 244 226.13 39.92 5.66 1000000 0 907.46/907.88 c 133 222 220.80 38.34 5.76 1000000 0 909.37/909.72 c 125 259 220.56 40.31 5.47 1000000 0 911.16/911.58 c 112 226 213.12 37.13 5.74 1000000 0 913.06/913.43 c 124 205 224.52 39.58 5.67 1000000 0 914.86/915.27 c 110 157 228.26 38.92 5.86 1000000 0 916.76/917.12 c 117 195 218.69 43.71 5.00 1000000 0 918.56/918.99 c 109 195 217.03 41.15 5.27 1000000 0 920.46/920.82 c 121 183 225.97 42.44 5.32 1000000 0 922.25/922.67 c 128 213 217.48 38.22 5.69 1000000 0 924.15/924.52 c 117 206 222.84 34.33 6.49 1000000 0 925.95/926.38 c 108 210 217.66 41.46 5.25 1000000 0 927.85/928.23 c 111 155 221.55 46.87 4.73 1000000 0 929.65/930.08 c 118 258 219.97 39.82 5.52 1000000 0 931.55/931.92 c 118 215 220.44 39.14 5.63 1000000 0 933.35/933.77 c 129 239 224.28 39.02 5.75 1000000 0 935.25/935.61 c 125 197 221.27 43.20 5.12 1000000 0 937.05/937.44 c 123 161 224.94 38.16 5.89 1000000 0 938.96/939.30 c 109 227 213.27 38.55 5.53 1000000 0 940.75/941.13 c 125 203 226.45 37.90 5.97 1000000 0 942.55/942.97 c 116 204 218.04 39.57 5.51 1000000 0 944.45/944.81 c 131 215 224.44 37.44 5.99 1000000 0 946.25/946.67 c 118 219 215.97 40.21 5.37 1000000 0 948.14/948.51 c 123 260 222.88 38.86 5.74 1000000 0 949.95/950.35 c 122 256 219.75 39.86 5.51 1000000 0 951.74/952.19 c 127 221 219.87 38.26 5.75 1000000 0 953.64/954.03 c 124 207 223.97 37.84 5.92 1000000 0 955.45/955.87 c 114 232 220.16 42.12 5.23 1000000 0 957.34/957.70 c 110 241 228.14 41.21 5.54 1000000 0 959.14/959.53 c 126 236 229.04 36.14 6.34 1000000 0 960.95/961.37 c 113 217 224.42 41.37 5.43 1000000 0 962.84/963.20 c 121 245 225.03 42.70 5.27 1000000 0 964.64/965.05 c 115 236 222.64 40.58 5.49 1000000 0 966.45/966.89 c 124 195 224.00 38.98 5.75 1000000 0 968.34/968.73 c 103 194 214.15 44.70 4.79 1000000 0 970.14/970.58 c 114 235 214.74 38.77 5.54 1000000 0 972.04/972.43 c 121 156 223.98 46.07 4.86 1000000 0 973.83/974.29 c 123 245 219.29 41.47 5.29 1000000 0 975.73/976.13 c 113 217 220.86 40.30 5.48 1000000 0 977.54/977.95 c 125 193 226.18 33.92 6.67 1000000 0 979.33/979.79 c 111 231 217.55 35.59 6.11 1000000 0 981.23/981.61 c 136 183 233.34 37.75 6.18 1000000 0 983.04/983.44 c 131 242 223.86 36.88 6.07 1000000 0 984.93/985.32 c 112 205 217.54 43.17 5.04 1000000 0 986.73/987.16 c 121 252 225.51 38.44 5.87 1000000 0 988.63/989.01 c 111 195 219.84 40.82 5.39 1000000 0 990.43/990.87 c 118 224 217.26 36.93 5.88 1000000 0 992.33/992.72 c 122 213 216.29 36.75 5.89 1000000 0 994.13/994.55 c 123 186 221.65 39.95 5.55 1000000 0 996.03/996.40 c 117 226 216.63 40.52 5.35 1000000 0 997.83/998.24 c 102 239 219.96 40.83 5.39 1000000 0 999.63/1000.09 c 117 220 221.31 37.58 5.89 1000000 0 1001.53/1001.93 c 120 249 225.08 42.42 5.31 1000000 0 1003.32/1003.77 c 126 220 220.03 40.12 5.48 1000000 0 1005.22/1005.60 c 124 161 223.86 38.44 5.82 1000000 0 1007.03/1007.43 c 128 188 226.70 39.47 5.74 1000000 0 1008.83/1009.29 c 130 247 223.63 37.53 5.96 1000000 0 1010.73/1011.12 c 117 210 218.35 39.63 5.51 1000000 0 1012.53/1012.95 c 126 219 216.52 36.41 5.95 1000000 0 1014.43/1014.81 c 126 204 219.21 33.40 6.56 1000000 0 1016.23/1016.66 c 122 199 218.52 37.22 5.87 1000000 0 1018.14/1018.51 c 127 208 216.51 39.71 5.45 1000000 0 1019.93/1020.35 c 131 218 222.67 36.95 6.03 1000000 0 1021.83/1022.22 c 104 171 209.92 41.76 5.03 1000000 0 1023.63/1024.07 c 119 198 225.09 41.54 5.42 1000000 0 1025.53/1025.91 c 122 171 222.43 38.67 5.75 1000000 0 1027.32/1027.77 c 131 192 219.74 38.92 5.65 1000000 0 1029.23/1029.62 c 119 191 213.08 38.00 5.61 1000000 0 1031.02/1031.47 c 122 214 220.53 41.88 5.27 1000000 0 1032.92/1033.31 c 117 186 216.21 37.66 5.74 1000000 0 1034.73/1035.15 c 119 187 222.19 34.58 6.43 1000000 0 1036.52/1036.98 c 129 252 223.37 40.53 5.51 1000000 0 1038.42/1038.81 c 121 232 223.50 41.35 5.40 1000000 0 1040.23/1040.66 c 125 219 217.33 36.26 5.99 1000000 0 1042.12/1042.52 c 107 218 217.68 43.02 5.06 1000000 0 1043.92/1044.36 c 137 158 224.57 35.71 6.29 1000000 0 1045.72/1046.19 c 129 175 225.21 39.48 5.70 1000000 0 1047.62/1048.03 c 120 258 219.39 36.71 5.98 1000000 0 1049.42/1049.87 c 111 222 218.15 40.22 5.42 1000000 0 1051.32/1051.71 c 127 205 217.39 35.04 6.20 1000000 0 1053.11/1053.55 c 128 185 226.04 33.38 6.77 1000000 0 1055.01/1055.40 c 123 183 216.60 38.70 5.60 1000000 0 1056.81/1057.24 c 112 222 217.66 35.64 6.11 1000000 0 1058.71/1059.10 c 109 212 220.12 39.75 5.54 1000000 0 1060.51/1060.94 c 122 209 223.33 40.85 5.47 1000000 0 1062.31/1062.79 c 115 192 220.16 38.69 5.69 1000000 0 1064.21/1064.66 c 129 223 221.83 38.54 5.76 1000000 0 1066.11/1066.50 c 116 224 217.42 39.31 5.53 1000000 0 1067.91/1068.36 c 108 189 211.94 41.20 5.14 1000000 0 1069.81/1070.20 c 130 190 226.63 38.61 5.87 1000000 0 1071.61/1072.04 c 110 200 220.10 36.80 5.98 1000000 0 1073.51/1073.90 c 113 229 218.29 35.25 6.19 1000000 0 1075.31/1075.73 c 122 199 224.45 44.06 5.09 1000000 0 1077.11/1077.56 c 127 207 233.07 38.96 5.98 1000000 0 1079.00/1079.41 c 129 195 222.25 38.54 5.77 1000000 0 1080.81/1081.26 c 110 224 219.97 41.62 5.29 1000000 0 1082.70/1083.11 c 121 188 218.60 42.04 5.20 1000000 0 1084.50/1084.96 c 120 204 219.96 41.63 5.28 1000000 0 1086.41/1086.81 c 120 233 215.02 35.62 6.04 1000000 0 1088.20/1088.67 c 110 203 223.16 45.31 4.93 1000000 0 1090.10/1090.53 c 115 244 216.96 36.43 5.95 1000000 0 1091.91/1092.36 c 122 201 222.58 36.17 6.15 1000000 0 1093.80/1094.22 c 119 256 219.27 36.00 6.09 1000000 0 1095.60/1096.05 c 120 225 224.95 36.32 6.19 1000000 0 1097.41/1097.89 c 113 271 220.08 37.51 5.87 1000000 0 1099.30/1099.72 c 125 257 223.20 37.48 5.96 1000000 0 1101.09/1101.57 c 110 173 221.32 38.92 5.69 1000000 0 1102.99/1103.42 c 125 232 222.01 38.98 5.70 1000000 0 1104.79/1105.26 c 121 224 221.76 36.56 6.06 1000000 0 1106.69/1107.10 c 116 224 222.68 36.63 6.08 1000000 0 1108.49/1108.93 c 114 267 218.44 41.03 5.32 1000000 0 1110.29/1110.78 c 127 143 218.18 38.92 5.61 1000000 0 1112.19/1112.62 c 116 148 217.55 40.22 5.41 1000000 0 1113.99/1114.47 c 119 188 221.12 38.21 5.79 1000000 0 1115.89/1116.31 c 118 227 221.95 46.99 4.72 1000000 0 1117.69/1118.15 c 115 275 218.51 39.79 5.49 1000000 0 1119.59/1120.00 c 124 208 221.63 35.19 6.30 1000000 0 1121.39/1121.85 c 117 198 219.10 38.75 5.65 1000000 0 1123.29/1123.70 c 111 220 219.80 42.82 5.13 1000000 0 1125.09/1125.53 c 129 237 225.79 38.41 5.88 1000000 0 1126.89/1127.39 c 116 212 215.86 38.01 5.68 1000000 0 1128.79/1129.22 c 128 231 224.03 35.56 6.30 1000000 0 1130.59/1131.07 c 115 266 215.15 41.43 5.19 1000000 0 1132.49/1132.90 c 117 251 217.83 42.09 5.18 1000000 0 1134.28/1134.75 c 116 201 220.85 38.98 5.67 1000000 0 1136.08/1136.60 c 124 233 215.34 40.91 5.26 1000000 0 1137.99/1138.44 c 114 175 224.38 46.05 4.87 1000000 0 1139.88/1140.30 c 101 263 215.63 37.69 5.72 1000000 0 1141.68/1142.14 c 129 264 218.52 36.13 6.05 1000000 0 1143.59/1144.01 c 99 234 215.82 39.90 5.41 1000000 0 1145.38/1145.86 c 118 191 223.11 45.71 4.88 1000000 0 1147.18/1147.68 c 126 206 223.12 37.95 5.88 1000000 0 1149.09/1149.53 c 116 209 216.87 37.74 5.75 1000000 0 1150.88/1151.39 c 125 224 223.05 40.01 5.57 1000000 0 1152.78/1153.21 c 134 177 223.62 40.43 5.53 1000000 0 1154.58/1155.06 c 113 240 218.60 39.27 5.57 1000000 0 1156.38/1156.88 c 128 190 223.31 41.21 5.42 1000000 0 1158.28/1158.72 c 104 260 216.85 42.29 5.13 1000000 0 1160.08/1160.56 c 129 244 221.22 37.42 5.91 1000000 0 1161.97/1162.41 c 125 172 222.01 44.45 4.99 1000000 0 1163.77/1164.24 c 111 218 218.09 41.74 5.22 1000000 0 1165.58/1166.08 c 102 225 219.06 42.15 5.20 1000000 0 1167.47/1167.92 c 104 195 211.76 36.08 5.87 1000000 0 1169.27/1169.78 c 112 230 220.40 41.87 5.26 1000000 0 1171.17/1171.60 c 116 176 219.40 39.15 5.60 1000000 0 1172.97/1173.46 c 100 206 215.86 40.74 5.30 1000000 0 1174.87/1175.30 c 127 162 219.91 37.71 5.83 1000000 0 1176.67/1177.14 c 128 196 223.55 43.13 5.18 1000000 0 1178.47/1178.99 c 116 236 220.66 42.02 5.25 1000000 0 1180.37/1180.84 c 116 231 222.81 42.40 5.25 1000000 0 1182.17/1182.69 c 117 266 215.82 43.24 4.99 1000000 0 1184.06/1184.52 c 114 157 215.48 42.44 5.08 1000000 0 1185.86/1186.38 c 122 194 219.23 34.47 6.36 1000000 0 1187.76/1188.22 c 108 181 222.02 42.19 5.26 1000000 0 1189.56/1190.05 c 115 228 225.26 39.35 5.72 1000000 0 1191.36/1191.89 c 126 191 218.56 36.30 6.02 1000000 0 1193.26/1193.75 c 120 176 217.45 38.24 5.69 1000000 0 1195.06/1195.59 c 130 228 221.25 40.39 5.48 1000000 0 1196.96/1197.44 c 131 212 223.52 35.22 6.35 1000000 0 1198.76/1199.29 c 120 197 217.28 36.96 5.88 1000000 0 1200.67/1201.13 c 124 220 225.07 40.57 5.55 1000000 0 1202.46/1202.99 c 112 218 210.70 37.97 5.55 1000000 0 1204.36/1204.81 c 111 193 224.23 40.98 5.47 1000000 0 1206.16/1206.67 c 118 225 215.57 37.96 5.68 1000000 0 1208.06/1208.51 c 121 199 219.31 44.35 4.94 1000000 0 1209.86/1210.37 c 112 198 213.27 37.66 5.66 1000000 0 1211.76/1212.23 c 120 207 213.05 38.15 5.58 1000000 0 1213.56/1214.07 c 134 201 222.94 37.73 5.91 1000000 0 1215.46/1215.92 c 107 205 220.45 37.31 5.91 1000000 0 1217.26/1217.77 c 111 208 221.04 40.59 5.45 1000000 0 1219.15/1219.62 c 123 223 227.54 39.08 5.82 1000000 0 1220.95/1221.47 c 117 287 220.49 41.89 5.26 1000000 0 1222.85/1223.32 c 128 220 218.85 39.52 5.54 1000000 0 1224.65/1225.15 c 112 199 217.25 39.60 5.49 1000000 0 1226.55/1227.00 c 122 222 215.82 38.42 5.62 1000000 0 1228.35/1228.84 c 117 199 224.92 41.55 5.41 1000000 0 1230.15/1230.68 c 110 216 220.73 43.29 5.10 1000000 0 1232.05/1232.52 c 125 171 223.97 39.39 5.69 1000000 0 1233.85/1234.37 c 115 136 218.81 35.61 6.15 1000000 0 1235.75/1236.22 c 116 192 213.70 36.53 5.85 1000000 0 1237.55/1238.07 c 124 217 221.64 42.13 5.26 1000000 0 1239.45/1239.93 c 112 226 214.39 37.69 5.69 1000000 0 1241.25/1241.78 c 116 260 221.34 40.11 5.52 1000000 0 1243.15/1243.62 c 118 211 222.71 39.29 5.67 1000000 0 1244.94/1245.46 c 128 217 221.67 39.81 5.57 1000000 0 1246.85/1247.30 c 117 242 218.89 38.41 5.70 1000000 0 1248.64/1249.16 c 98 258 208.59 39.74 5.25 1000000 0 1250.54/1251.00 c 120 229 222.06 41.36 5.37 1000000 0 1252.35/1252.82 c 122 245 216.35 39.98 5.41 1000000 0 1254.14/1254.65 c 131 191 225.59 41.81 5.40 1000000 0 1255.94/1256.50 c 127 203 223.59 47.32 4.72 1000000 0 1257.85/1258.33 c 134 170 223.71 37.07 6.03 1000000 0 1259.64/1260.19 c 119 229 223.25 37.22 6.00 1000000 0 1261.54/1262.02 c 122 199 221.07 36.68 6.03 1000000 0 1263.34/1263.87 c 115 194 225.14 40.66 5.54 1000000 0 1265.24/1265.71 c 119 173 220.56 37.17 5.93 1000000 0 1267.04/1267.55 c 123 233 224.15 40.52 5.53 1000000 0 1268.84/1269.38 c 136 225 228.08 40.22 5.67 1000000 0 1270.73/1271.24 c 128 227 222.33 40.02 5.56 1000000 0 1272.63/1273.10 c 115 180 213.83 39.15 5.46 1000000 0 1274.44/1274.95 c 121 212 220.86 34.68 6.37 1000000 0 1276.33/1276.80 c 124 196 224.32 36.19 6.20 1000000 0 1278.13/1278.66 c 114 211 222.71 41.16 5.41 1000000 0 1279.94/1280.48 c 113 169 221.87 37.86 5.86 1000000 0 1281.83/1282.32 c 104 183 220.19 35.99 6.12 1000000 0 1283.63/1284.18 c 105 199 218.41 42.08 5.19 1000000 0 1285.53/1286.04 c 99 203 212.34 40.77 5.21 1000000 0 1287.33/1287.88 c 102 234 219.17 37.76 5.80 1000000 0 1289.23/1289.73 c 119 226 223.73 41.39 5.41 1000000 0 1291.03/1291.59 c 124 231 214.49 36.03 5.95 1000000 0 1292.93/1293.43 c 134 217 229.23 41.32 5.55 1000000 0 1294.73/1295.27 c 121 197 221.39 34.93 6.34 1000000 0 1296.63/1297.10 c 122 208 225.46 36.08 6.25 1000000 0 1298.43/1298.95 c 108 215 220.76 44.72 4.94 1000000 0 1300.23/1300.79 c 116 172 219.82 39.15 5.61 1000000 0 1302.12/1302.65 c 118 220 218.45 35.87 6.09 1000000 0 1303.92/1304.48 c 126 220 226.70 41.78 5.43 1000000 0 1305.82/1306.33 c 108 257 217.82 42.80 5.09 1000000 0 1307.62/1308.18 c 123 215 220.92 38.24 5.78 1000000 0 1309.53/1310.01 c 124 207 221.17 39.02 5.67 1000000 0 1311.32/1311.87 c 120 204 219.90 41.40 5.31 1000000 0 1313.22/1313.71 c 138 240 227.07 34.69 6.55 1000000 0 1315.03/1315.56 c 130 219 222.41 36.85 6.04 1000000 0 1316.92/1317.40 c 130 279 222.13 37.41 5.94 1000000 0 1318.72/1319.24 c 129 197 224.05 42.28 5.30 1000000 0 1320.53/1321.08 c 111 230 218.59 40.18 5.44 1000000 0 1322.42/1322.92 c 106 183 217.32 37.10 5.86 1000000 0 1324.22/1324.77 c 109 219 219.86 37.50 5.86 1000000 0 1326.02/1326.60 c 115 176 219.80 38.84 5.66 1000000 0 1327.92/1328.42 c 110 213 226.19 44.00 5.14 1000000 0 1329.71/1330.25 c 119 224 217.34 42.12 5.16 1000000 0 1331.52/1332.10 c 126 196 217.55 40.25 5.40 1000000 0 1333.41/1333.94 c 128 242 222.77 36.63 6.08 1000000 0 1335.21/1335.79 c 108 218 214.62 40.53 5.30 1000000 0 1337.12/1337.64 c 111 199 216.23 45.72 4.73 1000000 0 1338.91/1339.48 c 125 217 228.69 39.85 5.74 1000000 0 1340.81/1341.33 c 129 177 220.07 37.59 5.85 1000000 0 1342.62/1343.18 c 120 236 227.55 40.61 5.60 1000000 0 1344.51/1345.02 c 123 249 222.56 40.85 5.45 1000000 0 1346.31/1346.86 c 119 223 225.21 37.20 6.05 1000000 0 1348.21/1348.72 c 123 216 219.89 37.41 5.88 1000000 0 1350.01/1350.58 c 106 213 214.15 40.96 5.23 1000000 0 1351.91/1352.42 c 123 245 221.19 39.84 5.55 1000000 0 1353.71/1354.27 c 128 263 215.54 42.81 5.03 1000000 0 1355.61/1356.12 c 113 202 215.50 36.03 5.98 1000000 0 1357.41/1357.97 c 122 153 218.57 37.11 5.89 1000000 0 1359.30/1359.81 c 122 193 224.69 36.55 6.15 1000000 0 1361.10/1361.67 c 126 223 219.59 39.73 5.53 1000000 0 1363.00/1363.50 c 114 159 220.89 41.90 5.27 1000000 0 1364.80/1365.35 c 127 202 224.04 33.61 6.67 1000000 0 1366.71/1367.21 c 122 198 220.64 37.13 5.94 1000000 0 1368.50/1369.06 c 124 214 221.38 37.80 5.86 1000000 0 1370.40/1370.92 c 117 276 217.04 40.70 5.33 1000000 0 1372.21/1372.75 c 116 156 220.24 40.63 5.42 1000000 0 1374.10/1374.62 c 116 172 218.79 40.54 5.40 1000000 0 1375.90/1376.47 c 128 193 223.80 39.19 5.71 1000000 0 1377.81/1378.32 c 128 198 218.39 39.14 5.58 1000000 0 1379.60/1380.18 c 115 169 216.34 37.45 5.78 1000000 0 1381.49/1382.02 c 123 235 220.26 38.12 5.78 1000000 0 1383.30/1383.86 c 134 193 229.86 36.61 6.28 1000000 0 1385.09/1385.69 c 126 200 222.02 34.82 6.38 1000000 0 1386.99/1387.55 c 99 184 219.34 42.21 5.20 1000000 0 1388.89/1389.40 c 129 268 225.73 40.06 5.64 1000000 0 1390.69/1391.24 c 111 177 226.12 39.77 5.69 1000000 0 1392.49/1393.09 c 109 203 215.25 40.93 5.26 1000000 0 1394.39/1394.93 c 120 174 224.52 35.19 6.38 1000000 0 1396.19/1396.76 c 118 178 224.12 46.85 4.78 1000000 0 1398.09/1398.61 c 125 199 215.65 36.78 5.86 1000000 0 1399.89/1400.45 c 122 169 220.20 40.30 5.46 1000000 0 1401.79/1402.30 c 118 159 226.95 39.06 5.81 1000000 0 1403.59/1404.15 c 125 222 221.06 40.22 5.50 1000000 0 1405.49/1406.00 c 118 198 208.27 38.61 5.39 1000000 0 1407.29/1407.86 c 121 204 219.18 36.47 6.01 1000000 0 1409.08/1409.69 c 103 201 225.05 34.85 6.46 1000000 0 1410.98/1411.53 c 127 255 217.22 40.72 5.33 1000000 0 1412.78/1413.36 c 114 174 221.71 46.08 4.81 1000000 0 1414.68/1415.22 c 122 211 215.17 42.02 5.12 1000000 0 1416.48/1417.06 c 120 203 217.82 38.76 5.62 1000000 0 1418.39/1418.90 c 125 199 218.12 35.49 6.15 1000000 0 1420.18/1420.73 c 116 194 220.28 37.97 5.80 1000000 0 1421.98/1422.57 c 120 199 217.03 36.22 5.99 1000000 0 1423.89/1424.42 c 117 191 217.34 42.13 5.16 1000000 0 1425.68/1426.26 c 116 223 220.96 35.84 6.16 1000000 0 1427.58/1428.12 c 103 182 215.51 39.71 5.43 1000000 0 1429.38/1429.96 c 115 234 218.68 39.71 5.51 1000000 0 1431.18/1431.79 c 128 209 234.59 32.70 7.17 1000000 0 1433.08/1433.64 c 119 210 215.28 37.21 5.79 1000000 0 1434.88/1435.48 c 118 165 215.92 39.90 5.41 1000000 0 1436.77/1437.31 c 124 202 226.13 40.23 5.62 1000000 0 1438.57/1439.17 c 109 187 216.40 39.72 5.45 1000000 0 1440.48/1441.03 c 112 241 218.58 39.92 5.48 1000000 0 1442.27/1442.87 c 120 214 223.77 41.10 5.44 1000000 0 1444.17/1444.71 c 117 194 219.62 40.10 5.48 1000000 0 1445.98/1446.56 c 117 202 214.19 41.51 5.16 1000000 0 1447.87/1448.40 c 118 239 221.24 36.68 6.03 1000000 0 1449.67/1450.25 c 115 226 214.16 36.56 5.86 1000000 0 1451.48/1452.09 c 118 196 219.83 39.12 5.62 1000000 0 1453.37/1453.94 c 122 232 223.36 38.54 5.80 1000000 0 1455.17/1455.79 c 119 206 220.99 37.97 5.82 1000000 0 1457.07/1457.61 c 120 178 217.87 35.57 6.13 1000000 0 1458.87/1459.46 c 128 257 224.33 39.87 5.63 1000000 0 1460.77/1461.30 c 129 224 228.61 41.61 5.49 1000000 0 1462.56/1463.16 c 108 211 212.98 37.62 5.66 1000000 0 1464.46/1465.00 c 131 281 231.02 41.42 5.58 1000000 0 1466.26/1466.85 c 122 228 217.72 33.94 6.41 1000000 0 1468.06/1468.69 c 112 181 222.26 40.79 5.45 1000000 0 1469.96/1470.54 c 121 217 222.93 39.70 5.61 1000000 0 1471.76/1472.39 c 122 212 213.29 40.68 5.24 1000000 0 1473.66/1474.23 c 132 247 227.81 39.03 5.84 1000000 0 1475.46/1476.07 c 113 189 215.16 39.57 5.44 1000000 0 1477.36/1477.94 c 116 189 215.54 35.13 6.13 1000000 0 1479.16/1479.77 c 117 218 225.64 37.00 6.10 1000000 0 1481.07/1481.61 c 115 195 225.49 39.64 5.69 1000000 0 1482.86/1483.43 c 108 241 224.75 36.32 6.19 1000000 0 1484.66/1485.26 c 128 235 219.19 37.99 5.77 1000000 0 1486.56/1487.11 c 116 212 224.49 37.94 5.92 1000000 0 1488.36/1488.96 c 123 227 220.26 42.57 5.17 1000000 0 1490.26/1490.81 c 113 229 219.25 40.65 5.39 1000000 0 1492.06/1492.65 c 126 203 219.85 39.81 5.52 1000000 0 1493.85/1494.49 c 122 184 217.65 43.28 5.03 1000000 0 1495.75/1496.35 c 116 215 218.14 40.31 5.41 1000000 0 1497.66/1498.22 c 114 191 215.17 40.41 5.32 1000000 0 1499.45/1500.07 c 113 199 217.73 37.99 5.73 1000000 0 1501.35/1501.90 c 109 190 223.32 38.13 5.86 1000000 0 1503.16/1503.74 c 131 213 220.56 35.87 6.15 1000000 0 1504.95/1505.59 c 104 166 218.84 41.00 5.34 1000000 0 1506.85/1507.44 c 108 219 219.82 33.88 6.49 1000000 0 1508.75/1509.30 c 119 208 221.33 43.95 5.04 1000000 0 1510.55/1511.13 c 132 238 225.15 39.56 5.69 1000000 0 1512.35/1512.98 c 113 203 219.76 36.56 6.01 1000000 0 1514.25/1514.83 c 116 153 217.94 31.99 6.81 1000000 0 1516.05/1516.68 c 127 205 222.31 38.09 5.84 1000000 0 1517.95/1518.52 c 104 207 214.92 39.48 5.44 1000000 0 1519.75/1520.37 c 113 241 221.16 41.94 5.27 1000000 0 1521.64/1522.21 c 127 192 225.09 44.58 5.05 1000000 0 1523.44/1524.07 c 118 178 218.64 35.62 6.14 1000000 0 1525.34/1525.93 c 108 198 213.24 38.37 5.56 1000000 0 1527.14/1527.77 c 115 271 216.83 38.34 5.66 1000000 0 1529.04/1529.60 c 130 230 220.77 34.76 6.35 1000000 0 1530.84/1531.43 c 113 282 223.75 43.87 5.10 1000000 0 1532.64/1533.28 c 112 236 214.13 40.53 5.28 1000000 0 1534.54/1535.12 c 125 217 218.64 35.09 6.23 1000000 0 1536.34/1536.97 c 118 227 219.43 37.18 5.90 1000000 0 1538.25/1538.80 c 120 267 221.87 38.27 5.80 1000000 0 1540.04/1540.65 c 107 211 220.21 38.33 5.75 1000000 0 1541.84/1542.48 c 137 227 227.02 41.08 5.53 1000000 0 1543.74/1544.32 c 119 243 225.35 38.36 5.87 1000000 0 1545.54/1546.15 c 123 190 218.20 39.51 5.52 1000000 0 1547.43/1548.01 c 128 209 216.76 38.92 5.57 1000000 0 1549.24/1549.85 c 107 191 215.57 39.88 5.41 1000000 0 1551.03/1551.68 c 129 177 221.10 34.73 6.37 1000000 0 1552.93/1553.53 c 120 205 219.49 38.55 5.69 1000000 0 1554.74/1555.38 c 116 238 215.69 37.97 5.68 1000000 0 1556.63/1557.21 c 126 267 222.60 36.22 6.15 1000000 0 1558.43/1559.05 c 112 218 218.38 41.75 5.23 1000000 0 1560.24/1560.90 c 108 199 209.87 37.34 5.62 1000000 0 1562.13/1562.74 c 121 187 216.81 45.51 4.76 1000000 0 1563.93/1564.58 c 106 220 219.12 41.75 5.25 1000000 0 1565.84/1566.44 c 123 191 223.75 37.82 5.92 1000000 0 1567.73/1568.30 c 124 244 221.53 38.74 5.72 1000000 0 1569.53/1570.14 c 110 235 214.01 36.76 5.82 1000000 0 1571.43/1572.00 c 111 192 215.07 40.93 5.26 1000000 0 1573.23/1573.84 c 110 130 216.61 38.29 5.66 1000000 0 1575.03/1575.68 c 114 255 225.19 36.31 6.20 1000000 0 1576.93/1577.51 c 118 211 221.09 40.61 5.44 1000000 0 1578.72/1579.35 c 117 234 225.50 35.69 6.32 1000000 0 1580.52/1581.20 c 106 200 217.74 38.09 5.72 1000000 0 1582.42/1583.04 c 117 187 219.49 38.57 5.69 1000000 0 1584.22/1584.89 c 105 227 219.85 34.58 6.36 1000000 0 1586.12/1586.74 c 118 247 213.92 34.81 6.15 1000000 0 1587.92/1588.57 c 131 229 227.15 38.61 5.88 1000000 0 1589.82/1590.40 c 126 235 224.21 40.70 5.51 1000000 0 1591.62/1592.25 c 134 155 224.07 41.64 5.38 1000000 0 1593.42/1594.08 c 113 221 224.38 41.53 5.40 1000000 0 1595.32/1595.95 c 93 207 213.71 40.00 5.34 1000000 0 1597.12/1597.78 c 120 223 225.12 37.60 5.99 1000000 0 1599.02/1599.62 c 124 230 216.68 42.42 5.11 1000000 0 1600.82/1601.46 c 128 180 218.95 38.02 5.76 1000000 0 1602.72/1603.30 c 118 187 219.09 36.92 5.93 1000000 0 1604.52/1605.12 c 121 209 225.34 40.92 5.51 1000000 0 1606.32/1606.94 c 123 206 220.26 35.06 6.28 1000000 0 1608.11/1608.79 c 119 226 219.82 39.69 5.54 1000000 0 1610.01/1610.63 c 109 186 215.43 39.70 5.43 1000000 0 1611.81/1612.47 c 107 223 221.08 39.98 5.53 1000000 0 1613.71/1614.31 c 126 246 222.92 38.14 5.84 1000000 0 1615.51/1616.14 c 117 176 227.18 39.09 5.81 1000000 0 1617.31/1617.97 c 119 200 221.38 35.46 6.24 1000000 0 1619.21/1619.84 c 124 199 220.37 41.61 5.30 1000000 0 1621.01/1621.70 c 127 202 223.39 37.60 5.94 1000000 0 1622.92/1623.53 c 122 226 219.27 36.34 6.03 1000000 0 1624.71/1625.38 c 106 169 219.18 38.93 5.63 1000000 0 1626.61/1627.22 c 115 224 222.93 39.16 5.69 1000000 0 1628.41/1629.06 c 128 246 227.05 37.23 6.10 1000000 0 1630.31/1630.91 c 121 260 226.56 37.70 6.01 1000000 0 1632.11/1632.73 c 128 207 227.80 41.18 5.53 1000000 0 1633.91/1634.57 c 114 216 221.13 40.28 5.49 1000000 0 1635.81/1636.40 c 129 237 226.89 47.64 4.76 1000000 0 1637.60/1638.24 c 125 177 220.87 35.74 6.18 1000000 0 1639.41/1640.07 c 119 189 222.78 40.13 5.55 1000000 0 1641.30/1641.91 c 126 193 222.46 38.51 5.78 1000000 0 1643.10/1643.75 c 122 216 220.95 38.63 5.72 1000000 0 1644.91/1645.59 c 124 184 220.03 37.74 5.83 1000000 0 1646.80/1647.43 c 123 237 228.90 37.17 6.16 1000000 0 1648.60/1649.26 c 134 207 223.30 38.20 5.85 1000000 0 1650.41/1651.09 c 114 254 223.82 39.51 5.67 1000000 0 1652.30/1652.95 c 120 199 220.61 38.44 5.74 1000000 0 1654.10/1654.79 c 115 224 223.31 38.11 5.86 1000000 0 1656.01/1656.64 c 121 220 217.20 34.87 6.23 1000000 0 1657.80/1658.49 c 114 208 215.55 37.94 5.68 1000000 0 1659.70/1660.35 c 110 206 215.83 38.75 5.57 1000000 0 1661.50/1662.18 c 116 213 222.58 38.92 5.72 1000000 0 1663.39/1664.02 c 130 231 225.22 37.36 6.03 1000000 0 1665.19/1665.86 c 104 236 223.05 39.92 5.59 1000000 0 1667.09/1667.71 c 111 184 224.88 40.36 5.57 1000000 0 1668.89/1669.54 c 111 214 220.17 41.13 5.35 1000000 0 1670.79/1671.40 c 128 212 220.10 40.94 5.38 1000000 0 1672.59/1673.24 c 133 211 226.29 38.17 5.93 1000000 0 1674.39/1675.09 c 112 201 216.05 40.26 5.37 1000000 0 1676.29/1676.94 c 117 232 220.09 35.77 6.15 1000000 0 1678.19/1678.80 c 106 179 212.78 40.73 5.22 1000000 0 1679.99/1680.64 c 116 244 225.02 38.34 5.87 1000000 0 1681.79/1682.48 c 122 233 223.51 36.74 6.08 1000000 0 1683.69/1684.33 c 126 233 224.34 40.57 5.53 1000000 0 1685.49/1686.17 c 126 187 223.82 34.07 6.57 1000000 0 1687.39/1688.00 c 128 260 222.59 39.53 5.63 1000000 0 1689.19/1689.83 c 126 186 225.83 35.89 6.29 1000000 0 1690.98/1691.67 c 126 168 224.81 41.05 5.48 1000000 0 1692.88/1693.52 c 125 228 216.78 34.72 6.24 1000000 0 1694.68/1695.34 c 134 204 228.21 39.74 5.74 1000000 0 1696.48/1697.18 c 126 155 220.38 36.54 6.03 1000000 0 1698.38/1699.02 c 116 237 223.49 39.66 5.63 1000000 0 1700.18/1700.87 c 129 261 223.50 39.27 5.69 1000000 0 1702.09/1702.71 c 115 202 222.46 40.97 5.43 1000000 0 1703.88/1704.56 c 130 219 224.10 42.16 5.32 1000000 0 1705.78/1706.40 c 119 262 221.70 37.23 5.95 1000000 0 1707.59/1708.26 c 116 327 217.98 37.58 5.80 1000000 0 1709.48/1710.11 c 123 213 219.06 41.16 5.32 1000000 0 1711.28/1711.94 c 127 234 224.44 36.90 6.08 1000000 0 1713.08/1713.79 c 123 180 224.30 39.41 5.69 1000000 0 1714.98/1715.65 c 91 174 208.20 41.73 4.99 1000000 0 1716.78/1717.49 c 112 229 208.68 37.94 5.50 1000000 0 1718.68/1719.33 c 118 182 219.79 42.73 5.14 1000000 0 1720.47/1721.17 c 122 178 220.27 38.58 5.71 1000000 0 1722.37/1723.03 c 130 244 219.79 33.37 6.59 1000000 0 1724.18/1724.87 c 119 218 220.03 41.71 5.28 1000000 0 1725.97/1726.69 c 117 259 228.26 37.89 6.02 1000000 0 1727.87/1728.55 c 126 213 221.40 38.64 5.73 1000000 0 1729.77/1730.40 c 128 215 221.34 38.90 5.69 1000000 0 1731.57/1732.25 c 118 213 227.05 41.54 5.47 1000000 0 1733.37/1734.09 c 131 220 226.44 38.26 5.92 1000000 0 1735.27/1735.92 c 119 201 221.83 34.14 6.50 1000000 0 1737.07/1737.78 c 108 225 217.05 39.84 5.45 1000000 0 1738.97/1739.61 c 125 238 230.06 47.68 4.83 1000000 0 1740.77/1741.46 c 122 192 219.03 40.93 5.35 1000000 0 1742.67/1743.30 c 110 231 215.36 40.35 5.34 1000000 0 1744.46/1745.16 c 116 180 217.71 37.88 5.75 1000000 0 1746.36/1747.02 c 105 219 215.48 43.61 4.94 1000000 0 1748.16/1748.86 c 108 218 215.51 42.40 5.08 1000000 0 1750.06/1750.70 c 136 187 225.05 35.24 6.39 1000000 0 1751.86/1752.56 c 111 169 213.93 40.02 5.35 1000000 0 1753.77/1754.43 c 99 169 211.45 40.37 5.24 1000000 0 1755.56/1756.27 c 104 212 218.96 39.77 5.51 1000000 0 1757.46/1758.12 c 116 184 213.63 38.23 5.59 1000000 0 1759.27/1759.96 c 123 176 224.50 37.53 5.98 1000000 0 1761.16/1761.82 c 114 219 212.32 35.32 6.01 1000000 0 1762.96/1763.67 c 120 197 224.97 38.29 5.88 1000000 0 1764.86/1765.53 c 111 243 211.45 41.67 5.07 1000000 0 1766.76/1767.41 c 116 209 219.11 37.32 5.87 1000000 0 1768.56/1769.25 c 116 217 219.96 38.51 5.71 1000000 0 1770.46/1771.12 c 124 164 210.96 39.88 5.29 1000000 0 1772.26/1772.95 c 120 213 226.80 37.65 6.02 1000000 0 1774.16/1774.81 c 111 205 218.72 36.71 5.96 1000000 0 1775.95/1776.65 c 119 231 225.40 43.50 5.18 1000000 0 1777.75/1778.49 c 103 219 215.34 42.85 5.03 1000000 0 1779.65/1780.34 c 114 167 219.14 39.09 5.61 1000000 0 1781.45/1782.19 c 124 201 219.65 35.80 6.14 1000000 0 1783.35/1784.05 c 122 207 224.42 43.99 5.10 1000000 0 1785.15/1785.89 c 122 241 218.41 34.92 6.25 1000000 0 1787.05/1787.73 c 106 196 222.95 42.71 5.22 1000000 0 1788.96/1789.60 c 119 172 212.01 33.67 6.30 1000000 0 1790.75/1791.45 c 115 187 215.93 38.45 5.62 1000000 0 1792.65/1793.30 c 115 190 219.26 38.10 5.75 1000000 0 1794.46/1795.12 c 127 255 234.30 36.59 6.40 1000000 0 1796.25/1796.95 c 125 219 227.39 42.26 5.38 1000000 0 1798.15/1798.80 c 114 197 222.75 40.68 5.48 1000000 0 1799.95/1800.64 c 123 251 219.15 37.15 5.90 1000000 0 1800.06/1800.71 HOME/run: line 2: 4177 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-2669885-1276611242/watcher-2669885-1276611242 -o /tmp/evaluation-result-2669885-1276611242/solver-2669885-1276611242 -C 1800 -W 2000 -M 1800 run HOME/instance-2669885-1276611242.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 4176 /proc/meminfo: memFree=1823980/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [startup+0.057615 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4176 /proc/meminfo: memFree=1823980/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101622 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4176 /proc/meminfo: memFree=1823980/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300656 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4176 /proc/meminfo: memFree=1823980/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701725 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4176 /proc/meminfo: memFree=1823980/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50186 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4178 /proc/meminfo: memFree=1820244/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=1.49 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 982 0 0 0 149 0 0 0 25 0 1 0 36725563 41422848 912 1992294400 134512640 135071400 4291448672 18446744073709551615 134526787 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 912 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10114 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4178 /proc/meminfo: memFree=1819996/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=3.09 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 309 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30169 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4178 /proc/meminfo: memFree=1819872/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=6.29 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 629 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4178 /proc/meminfo: memFree=1819748/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=12.69 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 1269 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525749 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4178 /proc/meminfo: memFree=1819624/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=25.48 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 2548 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134537183 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4178 /proc/meminfo: memFree=1819500/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=51.07 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 5107 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4180 /proc/meminfo: memFree=1819128/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=102.26 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 10226 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.07 1.02 1.00 2/108 4182 /proc/meminfo: memFree=1818880/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=162.23 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 16223 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.09 1.03 1.00 2/108 4184 /proc/meminfo: memFree=1818880/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=222.21 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 22221 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526420 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.09 1.04 1.00 2/108 4186 /proc/meminfo: memFree=1818756/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=282.19 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 28219 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.09 1.04 1.00 2/108 4186 /proc/meminfo: memFree=1818508/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=342.17 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 34217 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525852 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 1.08 1.05 1.00 2/108 4188 /proc/meminfo: memFree=1818384/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=402.14 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 40214 0 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ [pid=4177] ppid=4176 vsize=40452 CPUtime=1121.89 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 112188 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4210 /proc/meminfo: memFree=1816896/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=1181.87 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 118186 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525968 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4210 /proc/meminfo: memFree=1816524/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=1241.85 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 124184 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4212 /proc/meminfo: memFree=1816276/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=1301.83 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 130182 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4214 /proc/meminfo: memFree=1816400/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=1361.8 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 136179 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525971 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4216 /proc/meminfo: memFree=1816152/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=1421.79 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 142178 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526349 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4218 /proc/meminfo: memFree=1816028/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=1481.76 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 148175 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4218 /proc/meminfo: memFree=1816028/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=1541.74 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 154173 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526283 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4220 /proc/meminfo: memFree=1815780/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=1601.72 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 160171 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4222 /proc/meminfo: memFree=1815780/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=1661.7 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 166169 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134526331 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4224 /proc/meminfo: memFree=1815656/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=1721.67 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 172166 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4226 /proc/meminfo: memFree=1815408/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=1781.65 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 178164 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134519883 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4226 /proc/meminfo: memFree=1815408/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=1800.06 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 180005 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.06 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.71 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4226 /proc/meminfo: memFree=1815408/2059040 swapFree=4136120/4192956 [pid=4176] ppid=4174 vsize=8700 CPUtime=0 /proc/4176/stat : 4176 (run) S 4174 4176 3591 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 36725563 8908800 243 1992294400 4194304 4922060 140735623531104 18446744073709551615 255345663109 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4176/statm: 2175 243 204 178 0 68 0 [pid=4177] ppid=4176 vsize=40452 CPUtime=1800.06 /proc/4177/stat : 4177 (PB-wave) R 4176 4176 3591 0 -1 4202496 990 0 0 0 180005 1 0 0 25 0 1 0 36725563 41422848 920 1992294400 134512640 135071400 4291448672 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4177/statm: 10113 920 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.72 CPU time (s): 1800.07 CPU user time (s): 1800.06 CPU system time (s): 0.014997 CPU usage (%): 99.9641 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.06 system time used= 0.014997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1361 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= 20672 runsolver used 2.85757 second user time and 8.66668 second system time The end
Begin job on node014 at 2010-06-15 16:14:02 IDJOB=2669885 IDBENCH=1484 IDSOLVER=1171 FILE ID=node014/2669885-1276611242 PBS_JOBID= 11172259 Free space on /tmp= 62572 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-25s.smv.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669885-1276611242/watcher-2669885-1276611242 -o /tmp/evaluation-result-2669885-1276611242/solver-2669885-1276611242 -C 1800 -W 2000 -M 1800 run HOME/instance-2669885-1276611242.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d7f2e5810238fdfe52a90b4b556d26aa RANDOM SEED=635878719 node014.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.258 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.51 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.258 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1824500 kB Buffers: 48044 kB Cached: 98644 kB SwapCached: 11120 kB Active: 90504 kB Inactive: 70772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1824500 kB SwapTotal: 4192956 kB SwapFree: 4136120 kB Dirty: 2472 kB Writeback: 0 kB AnonPages: 12636 kB Mapped: 9356 kB Slab: 51400 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184264 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= 62572 MiB End job on node014 at 2010-06-15 16:44:03