Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.09 | 1800.72 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb |
MD5SUM | e5e9e70aacd6f12ca1d11bb54ad048ed |
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.105983 |
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 | 6059 |
Total number of constraints | 16684 |
Number of constraints which are clauses | 15940 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 744 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
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 | 34 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 127 |
Number of bits of the biggest sum of numbers | 7 |
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.05 c PB-wave - v2 0.00/0.05 c command line = ./PB-wave 0.00/0.05 c seed = 50498150 0.00/0.05 c cutoff = 1000000 0.00/0.05 c tries = 1000000 0.00/0.05 c heuristic = c best, noise 50 / 100 0.00/0.05 #var 6059 #con 16684 0.00/0.05 mode is SAT 0.00/0.05 c tail starts after flip = 18177 0.00/0.05 c numatom = 6059, numclause = 16684, numliterals = 45102 0.00/0.05 c wff read in 0.00/0.05 c 0.00/0.05 c lowest final avg noise noise total avg mean mean 0.00/0.05 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.05 c this this this this this this success success until std 0.00/0.05 c try try try try try try rate tries assign dev 0.00/0.05 c 1.69/1.78 c 187 274 308.90 59.85 5.16 1000000 0 3.49/3.51 c 171 288 307.80 66.15 4.65 1000000 0 5.19/5.24 c 166 302 303.98 56.79 5.35 1000000 0 6.89/6.95 c 152 270 313.78 60.40 5.20 1000000 0 8.59/8.68 c 180 255 306.26 60.97 5.02 1000000 0 10.39/10.42 c 180 361 303.36 60.41 5.02 1000000 0 12.09/12.15 c 197 252 307.00 56.11 5.47 1000000 0 13.79/13.89 c 170 295 300.92 62.77 4.79 1000000 0 15.58/15.62 c 178 313 306.21 56.07 5.46 1000000 0 17.28/17.35 c 201 287 310.39 52.00 5.97 1000000 0 18.98/19.09 c 178 275 304.97 60.93 5.00 1000000 0 20.78/20.81 c 188 297 309.60 47.09 6.57 1000000 0 22.48/22.55 c 183 231 299.82 55.60 5.39 1000000 0 24.19/24.28 c 181 302 302.27 58.39 5.18 1000000 0 25.98/26.00 c 201 304 317.57 58.11 5.46 1000000 0 27.68/27.73 c 206 344 310.28 50.92 6.09 1000000 0 29.38/29.47 c 159 354 305.00 57.87 5.27 1000000 0 31.18/31.20 c 188 219 301.78 53.10 5.68 1000000 0 32.88/32.93 c 186 287 311.54 67.67 4.60 1000000 0 34.58/34.65 c 185 332 311.85 62.22 5.01 1000000 0 36.28/36.37 c 196 268 306.36 60.03 5.10 1000000 0 38.08/38.10 c 196 280 303.11 50.55 6.00 1000000 0 39.78/39.83 c 195 253 307.95 60.67 5.08 1000000 0 41.48/41.55 c 178 278 300.97 61.73 4.88 1000000 0 43.18/43.28 c 181 311 298.75 63.33 4.72 1000000 0 44.97/45.02 c 179 279 310.41 54.12 5.74 1000000 0 46.67/46.75 c 182 312 305.35 69.74 4.38 1000000 0 48.38/48.48 c 189 291 310.07 52.26 5.93 1000000 0 50.17/50.22 c 179 249 302.02 64.00 4.72 1000000 0 51.87/51.94 c 191 309 312.04 57.47 5.43 1000000 0 53.57/53.67 c 187 237 304.92 56.59 5.39 1000000 0 55.37/55.40 c 186 292 302.83 62.18 4.87 1000000 0 57.07/57.14 c 179 302 311.22 64.37 4.83 1000000 0 58.77/58.87 c 191 252 310.59 59.57 5.21 1000000 0 60.58/60.61 c 175 291 305.74 57.60 5.31 1000000 0 62.27/62.32 c 185 302 305.29 56.50 5.40 1000000 0 63.97/64.06 c 184 266 300.12 55.27 5.43 1000000 0 65.67/65.79 c 194 296 310.42 54.67 5.68 1000000 0 67.47/67.53 c 182 312 305.13 56.27 5.42 1000000 0 69.17/69.27 c 185 278 304.96 58.27 5.23 1000000 0 70.87/70.99 c 185 288 299.30 60.31 4.96 1000000 0 72.67/72.72 c 172 230 315.71 61.96 5.10 1000000 0 74.36/74.45 c 182 255 304.41 65.07 4.68 1000000 0 76.06/76.18 c 199 305 316.75 53.01 5.98 1000000 0 77.86/77.92 c 178 299 299.52 62.10 4.82 1000000 0 79.56/79.64 c 188 318 312.12 66.79 4.67 1000000 0 81.26/81.36 c 183 289 303.58 54.94 5.53 1000000 0 82.96/83.09 c 179 322 305.93 59.71 5.12 1000000 0 84.77/84.83 c 185 262 305.76 66.17 4.62 1000000 0 86.46/86.55 c 184 284 312.33 57.71 5.41 1000000 0 88.16/88.27 c 167 311 306.94 65.26 4.70 1000000 0 89.96/90.01 c 183 286 308.56 66.89 4.61 1000000 0 91.66/91.74 c 182 291 296.58 54.63 5.43 1000000 0 93.36/93.48 c 180 354 308.92 53.02 5.83 1000000 0 95.16/95.22 c 163 316 309.35 59.10 5.23 1000000 0 96.86/96.95 c 174 280 301.58 58.80 5.13 1000000 0 98.56/98.67 c 180 277 304.85 58.69 5.19 1000000 0 100.26/100.39 c 180 232 304.24 53.23 5.72 1000000 0 102.06/102.14 c 186 342 308.73 56.01 5.51 1000000 0 103.76/103.87 c 178 343 317.07 59.28 5.35 1000000 0 105.45/105.60 c 184 302 308.11 62.26 4.95 1000000 0 107.25/107.34 c 191 244 302.91 59.72 5.07 1000000 0 108.96/109.07 c 182 363 306.14 55.93 5.47 1000000 0 110.75/110.80 c 192 270 312.08 58.36 5.35 1000000 0 112.45/112.53 c 185 330 307.11 60.57 5.07 1000000 0 114.15/114.25 c 190 283 303.65 59.72 5.08 1000000 0 115.85/115.98 c 182 247 302.69 55.68 5.44 1000000 0 117.66/117.71 c 191 232 313.11 62.30 5.03 1000000 0 119.35/119.44 c 181 279 310.38 54.41 5.70 1000000 0 121.06/121.16 c 186 338 308.11 48.92 6.30 1000000 0 122.75/122.87 c 186 292 306.90 61.65 4.98 1000000 0 124.55/124.61 c 138 292 306.13 64.91 4.72 1000000 0 126.25/126.33 c 179 333 306.71 65.53 4.68 1000000 0 127.95/128.07 c 179 301 312.48 62.84 4.97 1000000 0 129.75/129.81 c 189 224 308.49 63.81 4.83 1000000 0 131.45/131.54 c 181 278 299.88 65.64 4.57 1000000 0 133.15/133.28 c 186 272 306.09 55.04 5.56 1000000 0 134.94/135.02 c 186 265 314.46 52.49 5.99 1000000 0 136.64/136.75 c 161 250 304.06 66.63 4.56 1000000 0 138.34/138.48 c 190 269 302.03 60.21 5.02 1000000 0 140.14/140.22 c 196 330 309.31 57.78 5.35 1000000 0 141.85/141.95 c 195 243 306.40 61.83 4.96 1000000 0 143.54/143.68 c 176 243 311.59 64.27 4.85 1000000 0 145.34/145.41 c 170 330 303.36 58.21 5.21 1000000 0 147.04/147.13 c 206 299 317.26 58.51 5.42 1000000 0 148.74/148.88 c 192 274 303.74 61.43 4.94 1000000 0 150.54/150.60 c 189 271 308.56 54.58 5.65 1000000 0 152.24/152.34 c 191 323 309.75 61.33 5.05 1000000 0 153.94/154.07 c 182 223 301.24 63.13 4.77 1000000 0 155.74/155.80 c 181 353 308.14 61.75 4.99 1000000 0 157.44/157.54 c 193 311 310.65 58.56 5.30 1000000 0 159.13/159.26 c 186 270 309.37 62.77 4.93 1000000 0 160.83/160.98 c 162 354 308.68 61.34 5.03 1000000 0 162.63/162.71 c 179 347 299.83 61.10 4.91 1000000 0 164.33/164.45 c 197 322 316.95 61.77 5.13 1000000 0 166.04/166.17 c 190 276 306.46 59.54 5.15 1000000 0 167.83/167.91 c 190 344 301.15 60.32 4.99 1000000 0 169.53/169.64 c 166 305 302.63 63.56 4.76 1000000 0 171.23/171.36 c 186 286 303.96 60.33 5.04 1000000 0 172.93/173.08 c 190 250 309.53 59.53 5.20 1000000 0 174.73/174.82 c 175 296 303.60 61.54 4.93 1000000 0 176.43/176.55 c 185 256 298.89 57.76 5.18 1000000 0 178.13/178.27 c 194 251 306.62 54.73 5.60 1000000 0 179.93/180.00 c 177 296 307.66 69.49 4.43 1000000 0 181.63/181.73 c 192 291 304.51 61.77 4.93 1000000 0 183.33/183.45 c 184 258 304.94 66.01 4.62 1000000 0 185.03/185.19 c 190 312 313.67 62.02 5.06 1000000 0 186.83/186.92 c 175 274 303.41 58.90 5.15 1000000 0 188.52/188.64 c 211 278 316.14 59.57 5.31 1000000 0 190.23/190.37 c 177 256 310.36 57.33 5.41 1000000 0 191.92/192.09 c 180 348 308.06 62.17 4.96 1000000 0 193.72/193.82 c 187 301 297.30 59.46 5.00 1000000 0 195.42/195.55 c 173 258 298.31 60.43 4.94 1000000 0 197.12/197.29 c 195 340 314.18 59.47 5.28 1000000 0 198.92/199.02 c 192 296 304.47 61.06 4.99 1000000 0 200.62/200.75 c 174 277 304.72 58.18 5.24 1000000 0 202.33/202.48 c 197 267 315.45 57.15 5.52 1000000 0 204.12/204.21 c 178 296 302.53 64.07 4.72 1000000 0 205.82/205.95 c 195 335 301.32 56.11 5.37 1000000 0 207.52/207.67 c 187 310 306.68 59.25 5.18 1000000 0 209.32/209.40 c 193 270 312.38 51.59 6.06 1000000 0 211.02/211.14 c 175 248 292.77 67.22 4.36 1000000 0 212.72/212.87 c 182 265 309.79 54.90 5.64 1000000 0 214.42/214.60 c 197 266 306.48 57.82 5.30 1000000 0 216.22/216.32 c 171 313 315.85 52.95 5.96 1000000 0 217.91/218.05 c 194 309 313.73 63.19 4.97 1000000 0 219.61/219.79 c 194 290 302.11 57.52 5.25 1000000 0 221.41/221.52 c 195 297 307.70 59.56 5.17 1000000 0 223.11/223.26 c 197 291 307.64 58.61 5.25 1000000 0 224.81/224.99 c 186 312 304.69 64.03 4.76 1000000 0 226.62/226.73 c 171 339 306.72 67.62 4.54 1000000 0 228.31/228.46 c 188 277 305.79 60.77 5.03 1000000 0 230.01/230.18 c 191 266 309.41 61.63 5.02 1000000 0 231.81/231.93 c 167 314 302.31 65.59 4.61 1000000 0 233.51/233.65 c 197 320 311.78 64.16 4.86 1000000 0 235.21/235.36 c 199 293 309.42 58.88 5.26 1000000 0 237.01/237.10 c 182 328 301.15 57.48 5.24 1000000 0 238.71/238.81 c 187 275 305.83 61.25 4.99 1000000 0 240.41/240.55 c 176 295 304.25 62.54 4.87 1000000 0 242.11/242.28 c 186 253 311.44 58.03 5.37 1000000 0 243.91/244.01 c 185 266 299.34 54.11 5.53 1000000 0 245.61/245.75 c 162 228 298.64 63.66 4.69 1000000 0 247.31/247.48 c 189 266 301.82 61.66 4.89 1000000 0 249.10/249.22 c 183 307 298.29 59.72 4.99 1000000 0 250.81/250.94 c 194 323 308.38 59.74 5.16 1000000 0 252.50/252.68 c 170 283 307.18 61.62 4.98 1000000 0 254.30/254.40 c 198 305 304.45 53.07 5.74 1000000 0 256.00/256.13 c 192 305 304.90 56.41 5.40 1000000 0 257.70/257.87 c 172 284 305.06 62.07 4.91 1000000 0 259.51/259.60 c 182 346 302.51 59.07 5.12 1000000 0 261.20/261.33 c 178 233 306.31 59.78 5.12 1000000 0 262.91/263.05 c 201 348 305.13 52.27 5.84 1000000 0 264.60/264.79 c 175 263 309.07 67.47 4.58 1000000 0 266.40/266.52 c 199 274 307.60 52.36 5.87 1000000 0 268.10/268.23 c 179 341 310.45 58.81 5.28 1000000 0 269.80/269.95 c 185 280 301.04 61.37 4.91 1000000 0 271.50/271.69 c 197 325 308.87 58.93 5.24 1000000 0 273.30/273.43 c 183 339 304.87 54.46 5.60 1000000 0 275.00/275.17 c 177 353 311.62 59.61 5.23 1000000 0 276.69/276.89 c 198 245 309.45 55.39 5.59 1000000 0 278.49/278.61 c 177 339 302.07 56.30 5.37 1000000 0 280.19/280.33 c 172 278 307.84 70.32 4.38 1000000 0 281.89/282.07 c 174 275 299.12 59.83 5.00 1000000 0 283.70/283.81 c 171 301 303.16 59.79 5.07 1000000 0 285.39/285.55 c 178 320 303.51 60.58 5.01 1000000 0 287.10/287.28 c 163 341 310.07 66.23 4.68 1000000 0 288.89/289.01 c 170 296 301.82 68.94 4.38 1000000 0 290.59/290.74 c 190 373 299.79 59.73 5.02 1000000 0 292.29/292.47 c 182 252 313.99 67.83 4.63 1000000 0 294.09/294.20 c 199 245 306.54 59.13 5.18 1000000 0 295.80/295.92 c 190 321 315.92 61.59 5.13 1000000 0 297.49/297.65 c 191 255 307.03 54.05 5.68 1000000 0 299.19/299.38 c 180 253 304.90 65.26 4.67 1000000 0 300.99/301.12 c 184 278 299.71 59.07 5.07 1000000 0 302.69/302.85 c 196 291 315.82 66.19 4.77 1000000 0 304.39/304.59 c 180 295 299.79 57.83 5.18 1000000 0 306.19/306.32 c 174 293 303.56 56.54 5.37 1000000 0 307.89/308.05 c 185 272 311.88 62.22 5.01 1000000 0 309.58/309.79 c 170 366 305.74 58.83 5.20 1000000 0 311.38/311.51 c 190 339 306.81 56.17 5.46 1000000 0 313.08/313.23 c 194 266 306.43 55.15 5.56 1000000 0 314.78/314.96 c 175 299 311.88 63.64 4.90 1000000 0 316.58/316.70 c 180 262 301.85 56.21 5.37 1000000 0 318.28/318.43 c 180 309 308.70 62.95 4.90 1000000 0 319.99/320.16 c 188 203 303.42 59.12 5.13 1000000 0 321.68/321.87 c 182 279 317.49 61.96 5.12 1000000 0 323.48/323.61 c 176 288 296.52 54.34 5.46 1000000 0 325.18/325.35 c 193 246 306.57 63.30 4.84 1000000 0 326.88/327.09 c 173 272 297.07 67.10 4.43 1000000 0 328.68/328.83 c 186 258 305.34 56.66 5.39 1000000 0 330.38/330.57 c 183 249 303.93 57.63 5.27 1000000 0 332.08/332.28 c 191 291 307.26 55.96 5.49 1000000 0 333.78/334.00 c 188 296 313.56 56.54 5.55 1000000 0 335.57/335.72 c 204 278 315.92 52.00 6.08 1000000 0 337.27/337.44 c 188 286 307.92 63.08 4.88 1000000 0 338.97/339.16 c 166 287 298.90 63.48 4.71 1000000 0 340.67/340.89 c 165 262 309.62 57.79 5.36 1000000 0 342.47/342.61 c 186 268 308.77 61.11 5.05 1000000 0 344.18/344.36 c 185 308 303.62 66.24 4.58 1000000 0 345.87/346.09 c 199 380 311.34 64.66 4.82 1000000 0 347.67/347.83 c 189 311 304.72 61.27 4.97 1000000 0 349.37/349.56 c 194 290 312.82 68.22 4.59 1000000 0 351.07/351.28 c 187 240 305.50 61.00 5.01 1000000 0 352.87/353.00 c 163 328 306.00 60.32 5.07 1000000 0 354.57/354.72 c 187 286 312.49 58.83 5.31 1000000 0 356.27/356.45 c 183 305 307.30 50.87 6.04 1000000 0 357.97/358.18 c 172 295 305.62 62.54 4.89 1000000 0 359.77/359.90 c 188 328 309.39 58.34 5.30 1000000 0 361.47/361.63 c 192 290 307.83 60.87 5.06 1000000 0 363.15/363.38 c 170 230 299.38 60.59 4.94 1000000 0 364.94/365.10 c 171 337 307.58 58.71 5.24 1000000 0 366.64/366.86 c 178 273 304.21 68.59 4.44 1000000 0 368.35/368.59 c 193 262 315.50 60.05 5.25 1000000 0 370.14/370.32 c 196 295 304.55 52.99 5.75 1000000 0 371.84/372.04 c 156 251 306.47 62.86 4.88 1000000 0 373.54/373.77 c 179 312 303.96 62.62 4.85 1000000 0 375.24/375.49 c 174 284 310.24 58.91 5.27 1000000 0 377.04/377.21 c 187 315 312.79 55.24 5.66 1000000 0 378.74/378.94 c 157 266 295.49 56.35 5.24 1000000 0 380.45/380.68 c 183 231 303.23 56.57 5.36 1000000 0 382.24/382.40 c 163 238 303.74 63.21 4.81 1000000 0 383.94/384.12 c 185 235 310.45 61.35 5.06 1000000 0 385.64/385.85 c 180 292 294.71 57.74 5.10 1000000 0 387.34/387.58 c 181 324 310.19 54.22 5.72 1000000 0 389.14/389.32 c 182 309 299.55 55.07 5.44 1000000 0 390.84/391.06 c 181 282 303.56 65.67 4.62 1000000 0 392.54/392.79 c 178 318 315.80 57.91 5.45 1000000 0 394.34/394.52 c 171 303 307.38 50.51 6.09 1000000 0 396.03/396.25 c 172 321 309.57 64.40 4.81 1000000 0 397.73/397.99 c 190 314 314.91 57.94 5.43 1000000 0 399.53/399.71 c 197 262 306.97 54.31 5.65 1000000 0 401.23/401.44 c 167 276 303.17 61.62 4.92 1000000 0 402.93/403.16 c 198 298 305.07 61.55 4.96 1000000 0 404.64/404.88 c 190 254 305.17 62.78 4.86 1000000 0 406.43/406.61 c 169 291 310.01 65.44 4.74 1000000 0 408.13/408.35 c 192 330 310.17 58.03 5.35 1000000 0 409.83/410.08 c 168 255 303.29 61.03 4.97 1000000 0 411.63/411.81 c 183 277 307.07 55.67 5.52 1000000 0 413.33/413.53 c 183 321 309.43 60.36 5.13 1000000 0 415.03/415.26 c 145 249 311.44 64.74 4.81 1000000 0 416.73/416.99 c 185 256 307.31 55.69 5.52 1000000 0 418.53/418.72 c 166 299 309.78 63.24 4.90 1000000 0 420.23/420.45 c 171 305 310.65 63.08 4.92 1000000 0 421.93/422.16 c 190 295 308.11 65.73 4.69 1000000 0 423.73/423.90 c 185 248 309.47 62.66 4.94 1000000 0 425.43/425.63 c 172 285 307.58 58.85 5.23 1000000 0 427.12/427.37 c 188 324 303.66 67.16 4.52 1000000 0 428.83/429.10 c 177 284 305.82 59.84 5.11 1000000 0 430.62/430.82 c 187 261 313.28 54.38 5.76 1000000 0 432.32/432.54 c 184 293 301.01 56.34 5.34 1000000 0 434.02/434.27 c 187 310 303.74 57.31 5.30 1000000 0 435.72/436.00 c 158 270 312.27 58.12 5.37 1000000 0 437.52/437.72 c 181 328 308.11 59.87 5.15 1000000 0 439.22/439.45 c 182 242 302.84 49.98 6.06 1000000 0 440.93/441.17 c 186 330 307.29 57.28 5.36 1000000 0 442.72/442.90 c 185 297 314.79 57.33 5.49 1000000 0 444.42/444.62 c 186 331 294.25 55.68 5.28 1000000 0 446.12/446.35 c 186 285 309.45 62.65 4.94 1000000 0 447.82/448.06 c 192 270 303.75 50.01 6.07 1000000 0 449.52/449.79 c 192 291 311.28 58.43 5.33 1000000 0 451.32/451.51 c 203 303 306.95 50.98 6.02 1000000 0 453.02/453.25 c 179 272 302.37 58.41 5.18 1000000 0 454.71/454.98 c 176 270 307.59 57.41 5.36 1000000 0 456.51/456.72 c 170 285 300.68 56.68 5.30 1000000 0 458.21/458.46 c 183 335 299.85 58.59 5.12 1000000 0 460.01/460.20 c 179 251 299.08 52.38 5.71 1000000 0 461.71/461.90 c 188 260 312.94 54.28 5.76 1000000 0 463.41/463.64 c 187 337 306.65 54.25 5.65 1000000 0 465.12/465.38 c 185 215 309.30 59.29 5.22 1000000 0 466.91/467.10 c 177 274 306.98 57.56 5.33 1000000 0 468.61/468.84 c 181 304 306.89 56.93 5.39 1000000 0 470.31/470.58 c 185 272 313.03 57.36 5.46 1000000 0 472.11/472.30 c 184 281 301.05 61.44 4.90 1000000 0 473.81/474.04 c 192 293 301.98 58.65 5.15 1000000 0 475.51/475.78 c 182 304 306.40 63.53 4.82 1000000 0 477.21/477.50 c 189 268 310.98 61.64 5.05 1000000 0 479.01/479.24 c 188 287 300.70 57.86 5.20 1000000 0 480.71/480.98 c 176 292 300.55 59.97 5.01 1000000 0 482.50/482.70 c 185 339 304.02 53.89 5.64 1000000 0 484.20/484.43 c 186 270 307.60 59.34 5.18 1000000 0 485.90/486.16 c 177 333 302.35 65.46 4.62 1000000 0 487.60/487.89 c 187 327 309.34 57.22 5.41 1000000 0 489.41/489.63 c 176 253 300.40 67.39 4.46 1000000 0 491.10/491.37 c 189 322 311.71 62.34 5.00 1000000 0 492.90/493.10 c 187 331 313.38 57.82 5.42 1000000 0 494.60/494.83 c 187 333 308.62 57.78 5.34 1000000 0 496.30/496.57 c 190 320 312.25 58.09 5.38 1000000 0 498.00/498.29 c 172 265 304.90 52.99 5.75 1000000 0 499.80/500.03 c 187 286 305.23 58.92 5.18 1000000 0 501.51/501.76 c 189 370 306.39 56.15 5.46 1000000 0 503.20/503.49 c 176 380 300.10 56.84 5.28 1000000 0 505.00/505.22 c 160 292 300.14 49.79 6.03 1000000 0 506.70/506.94 c 180 218 307.94 63.83 4.82 1000000 0 508.40/508.67 c 189 326 306.68 55.32 5.54 1000000 0 510.20/510.42 c 169 281 303.39 66.97 4.53 1000000 0 511.90/512.15 c 164 280 298.22 53.11 5.61 1000000 0 513.60/513.87 c 190 312 307.24 53.50 5.74 1000000 0 515.39/515.60 c 161 230 294.17 55.38 5.31 1000000 0 517.09/517.34 c 181 286 312.22 64.04 4.88 1000000 0 518.79/519.07 c 187 318 317.40 69.35 4.58 1000000 0 520.59/520.82 c 172 264 294.71 65.42 4.51 1000000 0 522.30/522.54 c 183 274 300.00 61.05 4.91 1000000 0 523.99/524.27 c 180 314 303.80 62.77 4.84 1000000 0 525.70/526.00 c 186 294 309.34 57.01 5.43 1000000 0 527.49/527.71 c 193 270 306.37 52.55 5.83 1000000 0 529.19/529.43 c 180 270 304.55 65.78 4.63 1000000 0 530.89/531.16 c 191 375 315.14 62.21 5.07 1000000 0 532.59/532.89 c 189 272 304.66 61.45 4.96 1000000 0 534.39/534.62 c 185 268 304.88 62.55 4.87 1000000 0 536.09/536.34 c 190 296 307.59 61.61 4.99 1000000 0 537.79/538.07 c 175 301 312.76 64.41 4.86 1000000 0 539.58/539.81 c 184 271 312.20 52.97 5.89 1000000 0 541.28/541.54 c 184 323 302.29 59.71 5.06 1000000 0 542.98/543.29 c 195 282 316.29 57.74 5.48 1000000 0 544.78/545.02 c 182 273 304.40 51.33 5.93 1000000 0 546.49/546.76 c 181 373 304.36 55.88 5.45 1000000 0 548.18/548.50 c 174 275 300.35 59.36 5.06 1000000 0 549.98/550.24 c 180 348 301.55 63.73 4.73 1000000 0 551.68/551.98 c 174 314 303.97 59.96 5.07 1000000 0 553.48/553.72 c 188 250 302.68 61.25 4.94 1000000 0 555.18/555.45 c 179 303 298.54 56.52 5.28 1000000 0 556.88/557.18 c 189 272 310.56 58.41 5.32 1000000 0 558.69/558.92 c 179 250 302.38 56.26 5.37 1000000 0 560.38/560.66 c 185 292 304.61 54.48 5.59 1000000 0 562.08/562.38 c 181 271 302.63 64.82 4.67 1000000 0 563.88/564.11 c 196 306 306.58 56.68 5.41 1000000 0 565.58/565.84 c 194 264 307.47 60.90 5.05 1000000 0 567.28/567.57 c 204 324 318.80 58.02 5.49 1000000 0 568.97/569.29 c 186 266 308.74 64.31 4.80 1000000 0 570.78/571.01 c 173 320 305.17 63.95 4.77 1000000 0 572.47/572.74 c 188 272 308.39 61.88 4.98 1000000 0 574.17/574.47 c 194 333 315.81 64.60 4.89 1000000 0 575.97/576.20 c 177 293 300.60 65.79 4.57 1000000 0 577.67/577.94 c 170 304 308.34 62.73 4.92 1000000 0 579.37/579.67 c 177 360 308.43 60.63 5.09 1000000 0 581.17/581.41 c 166 258 303.99 64.10 4.74 1000000 0 582.88/583.14 c 174 292 302.63 76.55 3.95 1000000 0 584.57/584.86 c 195 286 317.61 69.45 4.57 1000000 0 586.27/586.58 c 189 281 313.04 63.46 4.93 1000000 0 588.07/588.30 c 163 269 312.07 72.26 4.32 1000000 0 589.77/590.02 c 190 251 311.29 49.89 6.24 1000000 0 591.47/591.75 c 184 308 299.44 57.81 5.18 1000000 0 593.17/593.48 c 192 327 304.26 52.59 5.79 1000000 0 594.97/595.22 c 168 298 310.20 61.27 5.06 1000000 0 596.67/596.94 c 194 296 312.78 65.25 4.79 1000000 0 598.37/598.67 c 193 344 305.33 55.10 5.54 1000000 0 600.06/600.40 c 172 232 301.03 58.14 5.18 1000000 0 601.86/602.12 c 179 248 305.91 56.85 5.38 1000000 0 603.56/603.84 c 178 308 300.10 55.90 5.37 1000000 0 605.26/605.59 c 172 302 305.38 68.30 4.47 1000000 0 607.07/607.31 c 179 238 303.12 58.08 5.22 1000000 0 608.76/609.05 c 181 343 303.75 52.81 5.75 1000000 0 610.46/610.77 c 187 273 310.76 55.49 5.60 1000000 0 612.26/612.51 c 171 269 307.44 62.90 4.89 1000000 0 613.96/614.22 c 163 288 302.92 61.36 4.94 1000000 0 615.66/615.94 c 196 333 302.24 61.63 4.90 1000000 0 617.36/617.67 c 195 391 308.61 53.69 5.75 1000000 0 619.16/619.41 c 190 315 304.88 60.17 5.07 1000000 0 620.86/621.15 c 180 328 301.39 57.40 5.25 1000000 0 622.56/622.87 c 193 273 305.76 57.87 5.28 1000000 0 624.36/624.60 c 193 326 304.61 56.13 5.43 1000000 0 626.06/626.32 c 157 272 311.79 73.79 4.23 1000000 0 627.76/628.06 c 171 248 297.00 58.87 5.05 1000000 0 629.45/629.79 c 183 304 309.82 56.31 5.50 1000000 0 631.26/631.52 c 167 281 292.28 52.71 5.54 1000000 0 632.95/633.26 c 189 328 308.28 57.00 5.41 1000000 0 634.65/634.98 c 187 298 311.24 55.77 5.58 1000000 0 636.45/636.71 c 183 286 304.06 58.21 5.22 1000000 0 638.15/638.42 c 201 304 315.74 53.66 5.88 1000000 0 639.85/640.15 c 178 304 299.67 60.78 4.93 1000000 0 641.55/641.89 c 177 311 309.60 67.23 4.61 1000000 0 643.36/643.62 c 186 343 306.85 55.23 5.56 1000000 0 645.05/645.35 c 183 250 308.99 53.34 5.79 1000000 0 646.75/647.08 c 171 301 305.86 59.13 5.17 1000000 0 648.55/648.81 c 186 251 308.05 58.90 5.23 1000000 0 650.25/650.55 c 172 274 305.81 61.79 4.95 1000000 0 651.95/652.28 c 179 264 309.90 67.19 4.61 1000000 0 653.75/654.00 c 185 240 304.17 55.31 5.50 1000000 0 655.45/655.72 c 185 256 310.29 54.30 5.71 1000000 0 657.15/657.46 c 193 284 307.56 47.21 6.52 1000000 0 658.84/659.18 c 202 260 317.07 65.63 4.83 1000000 0 660.64/660.91 c 192 328 304.80 60.96 5.00 1000000 0 662.34/662.65 c 176 228 308.57 53.29 5.79 1000000 0 664.04/664.37 c 182 304 304.00 62.46 4.87 1000000 0 665.74/666.09 c 196 299 313.04 58.04 5.39 1000000 0 667.55/667.81 c 181 338 305.71 58.32 5.24 1000000 0 669.24/669.55 c 184 276 310.86 61.21 5.08 1000000 0 670.94/671.28 c 194 285 300.82 47.10 6.39 1000000 0 672.74/673.02 c 189 361 308.88 56.25 5.49 1000000 0 674.44/674.75 c 182 267 306.88 56.31 5.45 1000000 0 676.14/676.47 c 193 299 306.61 62.06 4.94 1000000 0 677.94/678.20 c 170 306 297.27 59.89 4.96 1000000 0 679.64/679.92 c 197 292 308.64 58.00 5.32 1000000 0 681.34/681.64 c 187 319 311.20 56.26 5.53 1000000 0 683.04/683.37 c 173 277 305.35 54.93 5.56 1000000 0 684.84/685.11 c 177 288 300.82 60.27 4.99 1000000 0 686.54/686.83 c 190 264 306.28 59.58 5.14 1000000 0 688.24/688.57 c 173 265 298.86 58.83 5.08 1000000 0 690.03/690.31 c 197 285 309.59 66.24 4.67 1000000 0 691.74/692.03 c 180 322 308.40 59.94 5.14 1000000 0 693.43/693.77 c 175 306 309.24 63.61 4.86 1000000 0 695.13/695.49 c 171 313 306.87 62.96 4.87 1000000 0 696.93/697.21 c 180 359 315.37 65.79 4.79 1000000 0 698.63/698.93 c 183 299 315.64 59.92 5.27 1000000 0 700.33/700.68 c 182 303 299.73 70.63 4.24 1000000 0 702.13/702.41 c 180 267 301.56 58.87 5.12 1000000 0 703.84/704.14 c 194 256 319.21 64.51 4.95 1000000 0 705.53/705.86 c 168 316 312.50 60.94 5.13 1000000 0 707.23/707.59 c 193 257 304.62 51.22 5.95 1000000 0 709.03/709.32 c 193 345 311.54 56.10 5.55 1000000 0 710.73/711.05 c 187 261 309.01 58.11 5.32 1000000 0 712.43/712.77 c 177 394 315.21 65.61 4.80 1000000 0 714.23/714.52 c 161 312 300.74 54.95 5.47 1000000 0 715.93/716.24 c 197 322 313.66 62.47 5.02 1000000 0 717.62/717.98 c 177 267 299.13 59.32 5.04 1000000 0 719.42/719.71 c 190 324 313.03 63.57 4.92 1000000 0 721.12/721.43 c 172 259 301.76 60.41 5.00 1000000 0 722.82/723.17 c 178 253 304.81 53.39 5.71 1000000 0 724.63/724.90 c 176 323 306.88 59.89 5.12 1000000 0 726.32/726.63 c 195 258 307.40 62.73 4.90 1000000 0 728.03/728.36 c 191 294 305.54 58.37 5.23 1000000 0 729.72/730.09 c 191 311 311.03 62.19 5.00 1000000 0 731.52/731.81 c 189 340 309.94 63.68 4.87 1000000 0 733.22/733.55 c 183 297 295.24 56.09 5.26 1000000 0 734.92/735.28 c 192 315 311.23 59.03 5.27 1000000 0 736.73/737.02 c 171 275 303.03 57.28 5.29 1000000 0 738.42/738.75 c 196 305 307.35 54.45 5.64 1000000 0 740.13/740.48 c 194 305 315.27 60.68 5.20 1000000 0 741.92/742.20 c 175 282 303.62 54.67 5.55 1000000 0 743.62/743.93 c 166 271 297.78 68.88 4.32 1000000 0 745.32/745.66 c 195 290 306.91 62.32 4.92 1000000 0 747.01/747.39 c 179 299 300.27 62.46 4.81 1000000 0 748.82/749.11 c 203 287 313.65 64.91 4.83 1000000 0 750.51/750.84 c 198 329 315.48 60.94 5.18 1000000 0 752.22/752.55 c 202 310 316.64 59.51 5.32 1000000 0 753.91/754.28 c 167 281 309.52 57.92 5.34 1000000 0 755.71/756.01 c 172 242 316.87 59.58 5.32 1000000 0 757.41/757.75 c 191 308 311.29 58.57 5.31 1000000 0 759.11/759.49 c 187 307 298.13 56.88 5.24 1000000 0 760.92/761.21 c 185 337 310.64 53.40 5.82 1000000 0 762.61/762.94 c 179 295 307.07 56.65 5.42 1000000 0 764.32/764.68 c 184 325 308.37 66.98 4.60 1000000 0 766.11/766.40 c 193 297 305.87 54.94 5.57 1000000 0 767.81/768.13 c 173 350 303.90 53.59 5.67 1000000 0 769.51/769.86 c 168 305 307.25 64.10 4.79 1000000 0 771.21/771.58 c 174 352 309.27 60.91 5.08 1000000 0 773.01/773.31 c 183 328 315.76 60.70 5.20 1000000 0 774.71/775.03 c 160 229 302.87 61.54 4.92 1000000 0 776.41/776.76 c 185 304 301.68 56.64 5.33 1000000 0 778.20/778.50 c 181 290 298.41 50.43 5.92 1000000 0 779.90/780.23 c 174 295 311.02 55.92 5.56 1000000 0 781.60/781.96 c 181 232 303.06 55.10 5.50 1000000 0 783.30/783.68 c 186 319 305.37 57.31 5.33 1000000 0 785.11/785.42 c 190 266 313.18 58.51 5.35 1000000 0 786.80/787.14 c 187 266 305.19 57.45 5.31 1000000 0 788.51/788.87 c 177 257 299.42 56.17 5.33 1000000 0 790.30/790.60 c 189 328 309.26 59.23 5.22 1000000 0 792.00/792.33 c 186 323 303.09 62.54 4.85 1000000 0 793.70/794.06 c 184 252 301.07 64.40 4.67 1000000 0 795.40/795.80 c 173 303 302.46 60.59 4.99 1000000 0 797.20/797.53 c 182 199 299.67 59.96 5.00 1000000 0 798.90/799.26 c 197 280 306.84 56.36 5.44 1000000 0 800.60/800.99 c 170 367 298.65 48.11 6.21 1000000 0 802.40/802.72 c 163 307 309.15 64.66 4.78 1000000 0 804.09/804.46 c 178 296 300.28 61.02 4.92 1000000 0 805.89/806.20 c 195 314 313.10 63.16 4.96 1000000 0 807.59/807.93 c 170 290 304.87 54.65 5.58 1000000 0 809.30/809.67 c 177 292 295.72 55.15 5.36 1000000 0 811.09/811.40 c 180 255 304.83 52.84 5.77 1000000 0 812.79/813.12 c 184 253 307.29 63.01 4.88 1000000 0 814.49/814.84 c 191 254 309.50 61.80 5.01 1000000 0 816.19/816.57 c 183 249 302.06 61.40 4.92 1000000 0 817.99/818.31 c 161 336 303.33 61.31 4.95 1000000 0 819.69/820.03 c 183 330 310.72 60.55 5.13 1000000 0 821.40/821.74 c 204 305 316.30 53.91 5.87 1000000 0 823.09/823.47 c 185 287 304.77 57.09 5.34 1000000 0 824.89/825.20 c 179 372 305.42 63.01 4.85 1000000 0 826.59/826.94 c 188 273 308.39 58.54 5.27 1000000 0 828.29/828.66 c 189 273 301.17 54.79 5.50 1000000 0 830.09/830.41 c 183 266 304.69 63.66 4.79 1000000 0 831.79/832.13 c 199 260 307.90 55.81 5.52 1000000 0 833.49/833.87 c 175 299 310.25 65.84 4.71 1000000 0 835.18/835.59 c 190 337 318.07 58.86 5.40 1000000 0 836.98/837.33 c 180 281 307.76 71.74 4.29 1000000 0 838.68/839.06 c 195 298 306.87 55.54 5.53 1000000 0 840.48/840.80 c 185 253 305.19 61.95 4.93 1000000 0 842.18/842.53 c 177 289 311.01 59.64 5.22 1000000 0 843.88/844.25 c 190 304 311.07 53.17 5.85 1000000 0 845.59/845.97 c 191 283 320.51 59.72 5.37 1000000 0 847.28/847.69 c 177 341 302.06 57.33 5.27 1000000 0 849.08/849.41 c 192 364 311.57 56.93 5.47 1000000 0 850.78/851.16 c 169 271 304.07 58.11 5.23 1000000 0 852.48/852.89 c 168 259 291.92 52.59 5.55 1000000 0 854.28/854.62 c 182 262 306.82 56.25 5.45 1000000 0 855.98/856.36 c 174 283 305.94 63.62 4.81 1000000 0 857.68/858.10 c 190 283 302.38 54.75 5.52 1000000 0 859.48/859.83 c 195 244 305.59 65.40 4.67 1000000 0 861.18/861.55 c 188 308 310.21 55.05 5.63 1000000 0 862.87/863.28 c 190 292 311.85 62.54 4.99 1000000 0 864.67/865.00 c 170 285 307.39 53.18 5.78 1000000 0 866.37/866.74 c 179 308 303.64 56.83 5.34 1000000 0 868.07/868.47 c 187 375 311.31 59.67 5.22 1000000 0 869.78/870.19 c 179 253 314.29 62.87 5.00 1000000 0 871.57/871.92 c 171 228 301.17 62.44 4.82 1000000 0 873.27/873.66 c 176 331 302.85 65.36 4.63 1000000 0 875.07/875.40 c 172 249 309.39 63.38 4.88 1000000 0 876.77/877.12 c 185 290 308.59 65.01 4.75 1000000 0 878.47/878.86 c 160 268 302.45 58.56 5.17 1000000 0 880.17/880.59 c 184 280 301.56 56.89 5.30 1000000 0 881.98/882.30 c 192 281 310.38 61.21 5.07 1000000 0 883.67/884.03 c 170 306 309.11 68.98 4.48 1000000 0 885.37/885.76 c 181 314 302.30 65.52 4.61 1000000 0 887.07/887.49 c 173 296 298.19 59.63 5.00 1000000 0 888.77/889.20 c 183 333 308.29 57.86 5.33 1000000 0 890.57/890.93 c 183 383 305.66 62.32 4.90 1000000 0 892.27/892.66 c 195 306 307.06 66.16 4.64 1000000 0 893.97/894.39 c 195 304 311.44 63.92 4.87 1000000 0 895.76/896.13 c 193 269 311.90 60.75 5.13 1000000 0 897.46/897.87 c 178 268 303.24 61.31 4.95 1000000 0 899.16/899.59 c 184 251 304.51 64.02 4.76 1000000 0 900.96/901.31 c 184 283 308.38 54.77 5.63 1000000 0 902.66/903.05 c 193 293 310.05 54.43 5.70 1000000 0 904.36/904.77 c 178 308 293.95 57.37 5.12 1000000 0 906.07/906.50 c 190 244 307.08 55.56 5.53 1000000 0 907.86/908.23 c 180 335 307.57 53.17 5.78 1000000 0 909.56/909.98 c 184 282 304.55 53.62 5.68 1000000 0 911.36/911.70 c 184 273 308.57 57.73 5.34 1000000 0 913.06/913.43 c 187 234 303.42 60.93 4.98 1000000 0 914.76/915.16 c 187 255 304.64 57.39 5.31 1000000 0 916.46/916.88 c 169 306 308.20 68.55 4.50 1000000 0 918.26/918.61 c 191 312 304.99 59.60 5.12 1000000 0 919.95/920.34 c 179 279 298.41 51.93 5.75 1000000 0 921.65/922.09 c 163 266 307.23 60.01 5.12 1000000 0 923.45/923.82 c 192 342 311.54 59.66 5.22 1000000 0 925.15/925.55 c 168 242 301.02 57.75 5.21 1000000 0 926.85/927.29 c 204 294 313.89 60.54 5.19 1000000 0 928.65/929.02 c 169 266 307.65 68.48 4.49 1000000 0 930.36/930.75 c 180 266 296.88 64.60 4.60 1000000 0 932.05/932.48 c 182 246 300.38 60.21 4.99 1000000 0 933.85/934.21 c 181 274 301.99 61.86 4.88 1000000 0 935.55/935.94 c 190 309 310.20 58.96 5.26 1000000 0 937.25/937.66 c 190 329 312.06 69.07 4.52 1000000 0 939.05/939.40 c 181 305 309.05 55.67 5.55 1000000 0 940.75/941.13 c 192 318 302.08 57.42 5.26 1000000 0 942.45/942.84 c 188 267 309.69 62.19 4.98 1000000 0 944.15/944.57 c 182 264 308.80 56.54 5.46 1000000 0 945.95/946.30 c 173 283 307.35 60.69 5.06 1000000 0 947.64/948.02 c 181 274 310.22 51.42 6.03 1000000 0 949.34/949.76 c 193 258 304.68 62.19 4.90 1000000 0 951.15/951.50 c 180 341 296.42 58.60 5.06 1000000 0 952.84/953.22 c 181 262 310.08 68.56 4.52 1000000 0 954.55/954.95 c 181 320 307.02 64.85 4.73 1000000 0 956.24/956.68 c 181 313 302.24 60.50 5.00 1000000 0 958.04/958.40 c 180 347 302.91 58.31 5.20 1000000 0 959.74/960.14 c 194 297 304.26 51.36 5.92 1000000 0 961.44/961.87 c 178 313 304.60 56.27 5.41 1000000 0 963.14/963.59 c 184 301 304.11 54.03 5.63 1000000 0 964.94/965.32 c 184 291 306.19 58.22 5.26 1000000 0 966.65/967.07 c 190 339 303.43 66.24 4.58 1000000 0 968.44/968.81 c 175 302 295.50 57.36 5.15 1000000 0 970.14/970.54 c 189 308 303.98 57.40 5.30 1000000 0 971.84/972.26 c 191 305 309.74 64.31 4.82 1000000 0 973.64/974.01 c 167 300 300.13 61.62 4.87 1000000 0 975.34/975.74 c 178 318 309.35 62.58 4.94 1000000 0 977.04/977.47 c 175 327 306.11 57.83 5.29 1000000 0 978.84/979.20 c 176 239 309.95 62.67 4.95 1000000 0 980.53/980.93 c 182 348 299.35 51.89 5.77 1000000 0 982.23/982.67 c 171 299 300.89 62.52 4.81 1000000 0 983.93/984.40 c 166 258 303.28 58.28 5.20 1000000 0 985.73/986.13 c 184 251 309.59 54.71 5.66 1000000 0 987.44/987.85 c 185 290 306.84 53.42 5.74 1000000 0 989.13/989.59 c 175 268 304.77 64.62 4.72 1000000 0 990.93/991.31 c 192 303 305.31 59.33 5.15 1000000 0 992.63/993.04 c 177 277 303.02 58.75 5.16 1000000 0 994.33/994.77 c 169 327 298.85 58.40 5.12 1000000 0 996.03/996.49 c 180 271 309.08 59.80 5.17 1000000 0 997.83/998.24 c 175 292 304.65 58.84 5.18 1000000 0 999.53/999.98 c 177 329 303.26 56.82 5.34 1000000 0 1001.33/1001.72 c 185 262 307.77 54.35 5.66 1000000 0 1003.03/1003.43 c 152 282 310.00 67.49 4.59 1000000 0 1004.73/1005.15 c 183 244 298.27 61.56 4.85 1000000 0 1006.42/1006.89 c 187 297 301.52 57.49 5.24 1000000 0 1008.22/1008.63 c 187 266 301.91 62.33 4.84 1000000 0 1009.92/1010.36 c 189 318 317.94 51.75 6.14 1000000 0 1011.63/1012.09 c 188 320 306.32 57.96 5.29 1000000 0 1013.42/1013.83 c 181 281 306.83 59.11 5.19 1000000 0 1015.12/1015.56 c 194 303 312.85 64.48 4.85 1000000 0 1016.82/1017.29 c 176 322 313.17 61.48 5.09 1000000 0 1018.62/1019.03 c 190 273 305.38 66.75 4.57 1000000 0 1020.32/1020.77 c 187 293 304.55 64.46 4.72 1000000 0 1022.12/1022.51 c 177 306 301.52 69.24 4.35 1000000 0 1023.83/1024.23 c 190 302 309.89 61.11 5.07 1000000 0 1025.52/1025.96 c 167 278 302.31 58.84 5.14 1000000 0 1027.22/1027.69 c 184 266 307.99 59.61 5.17 1000000 0 1029.02/1029.40 c 206 284 318.16 57.04 5.58 1000000 0 1030.72/1031.14 c 180 265 302.53 56.76 5.33 1000000 0 1032.42/1032.87 c 185 299 306.48 65.53 4.68 1000000 0 1034.21/1034.61 c 190 276 302.30 59.37 5.09 1000000 0 1035.92/1036.34 c 165 278 301.33 59.03 5.10 1000000 0 1037.61/1038.06 c 180 359 314.18 61.93 5.07 1000000 0 1039.31/1039.77 c 189 280 309.16 59.85 5.17 1000000 0 1041.11/1041.50 c 187 257 307.69 57.18 5.38 1000000 0 1042.81/1043.23 c 177 294 302.99 55.28 5.48 1000000 0 1044.51/1044.96 c 172 301 311.52 63.78 4.88 1000000 0 1046.21/1046.68 c 204 249 319.56 53.72 5.95 1000000 0 1047.92/1048.40 c 159 230 301.09 61.04 4.93 1000000 0 1049.71/1050.12 c 188 287 313.81 62.01 5.06 1000000 0 1051.41/1051.85 c 190 325 303.36 59.10 5.13 1000000 0 1053.21/1053.60 c 171 292 304.62 68.86 4.42 1000000 0 1054.91/1055.33 c 175 261 300.55 58.44 5.14 1000000 0 1056.61/1057.07 c 166 257 298.41 61.83 4.83 1000000 0 1058.41/1058.80 c 185 284 305.79 52.96 5.77 1000000 0 1060.11/1060.53 c 177 324 301.88 54.31 5.56 1000000 0 1061.80/1062.27 c 181 281 300.95 59.14 5.09 1000000 0 1063.50/1063.99 c 195 289 309.88 60.86 5.09 1000000 0 1065.30/1065.72 c 182 304 308.49 56.18 5.49 1000000 0 1067.00/1067.46 c 169 344 309.49 57.84 5.35 1000000 0 1068.70/1069.19 c 163 276 302.34 63.29 4.78 1000000 0 1070.50/1070.91 c 187 247 308.46 58.95 5.23 1000000 0 1072.21/1072.65 c 167 280 296.50 66.34 4.47 1000000 0 1073.90/1074.38 c 180 356 310.66 56.67 5.48 1000000 0 1075.70/1076.12 c 191 258 306.00 59.31 5.16 1000000 0 1077.40/1077.88 c 165 288 298.93 54.34 5.50 1000000 0 1079.20/1079.61 c 189 277 301.60 59.06 5.11 1000000 0 1080.91/1081.35 c 173 297 298.62 51.48 5.80 1000000 0 1082.60/1083.08 c 168 270 307.62 59.76 5.15 1000000 0 1084.31/1084.79 c 195 313 311.41 60.95 5.11 1000000 0 1086.10/1086.51 c 186 274 295.05 56.68 5.21 1000000 0 1087.80/1088.25 c 181 262 302.88 61.60 4.92 1000000 0 1089.50/1089.97 c 178 291 309.29 57.44 5.38 1000000 0 1091.30/1091.71 c 157 246 302.44 56.28 5.37 1000000 0 1093.00/1093.44 c 174 256 300.45 60.57 4.96 1000000 0 1094.69/1095.18 c 178 285 311.95 55.60 5.61 1000000 0 1096.49/1096.92 c 190 324 303.11 52.12 5.82 1000000 0 1098.19/1098.65 c 191 259 305.42 58.89 5.19 1000000 0 1099.99/1100.41 c 182 310 304.08 65.67 4.63 1000000 0 1101.69/1102.13 c 171 263 311.38 58.53 5.32 1000000 0 1103.39/1103.87 c 174 285 301.88 61.96 4.87 1000000 0 1105.10/1105.59 c 168 266 300.78 61.83 4.86 1000000 0 1106.89/1107.31 c 170 236 307.89 62.66 4.91 1000000 0 1108.59/1109.03 c 179 227 309.72 58.31 5.31 1000000 0 1110.29/1110.77 c 181 272 300.14 55.32 5.43 1000000 0 1111.99/1112.48 c 194 279 307.31 59.73 5.14 1000000 0 1113.79/1114.21 c 162 318 301.42 61.11 4.93 1000000 0 1115.49/1115.93 c 170 256 305.77 60.93 5.02 1000000 0 1117.19/1117.66 c 176 314 310.44 71.60 4.34 1000000 0 1118.88/1119.39 c 180 233 299.06 50.36 5.94 1000000 0 1120.68/1121.12 c 194 340 312.81 59.15 5.29 1000000 0 1122.38/1122.84 c 187 327 304.69 62.26 4.89 1000000 0 1124.08/1124.58 c 200 270 317.25 61.20 5.18 1000000 0 1125.88/1126.30 c 192 301 303.67 58.74 5.17 1000000 0 1127.58/1128.03 c 177 315 300.90 60.05 5.01 1000000 0 1129.29/1129.76 c 182 299 311.74 63.51 4.91 1000000 0 1130.98/1131.50 c 180 306 300.16 59.84 5.02 1000000 0 1132.78/1133.21 c 200 316 311.76 54.01 5.77 1000000 0 1134.48/1134.93 c 186 286 306.56 64.29 4.77 1000000 0 1136.18/1136.67 c 177 284 297.97 58.04 5.13 1000000 0 1137.98/1138.41 c 176 289 304.19 54.05 5.63 1000000 0 1139.68/1140.13 c 184 278 312.27 57.23 5.46 1000000 0 1141.38/1141.85 c 188 290 308.61 62.81 4.91 1000000 0 1143.08/1143.58 c 181 282 310.23 62.23 4.98 1000000 0 1144.88/1145.31 c 164 369 297.25 64.05 4.64 1000000 0 1146.58/1147.04 c 181 259 300.61 57.61 5.22 1000000 0 1148.27/1148.76 c 184 291 305.09 55.34 5.51 1000000 0 1149.97/1150.48 c 184 251 305.68 60.37 5.06 1000000 0 1151.77/1152.21 c 190 272 303.63 57.59 5.27 1000000 0 1153.48/1153.94 c 188 289 304.84 58.63 5.20 1000000 0 1155.17/1155.67 c 178 360 314.53 60.15 5.23 1000000 0 1156.97/1157.41 c 179 313 307.16 57.94 5.30 1000000 0 1158.67/1159.15 c 178 314 307.30 63.75 4.82 1000000 0 1160.37/1160.89 c 181 327 301.40 57.78 5.22 1000000 0 1162.17/1162.61 c 177 250 299.93 54.39 5.51 1000000 0 1163.87/1164.34 c 174 282 301.33 55.90 5.39 1000000 0 1165.58/1166.09 c 175 278 298.62 64.71 4.61 1000000 0 1167.37/1167.80 c 183 242 303.95 56.49 5.38 1000000 0 1169.07/1169.53 c 180 328 308.48 62.38 4.95 1000000 0 1170.77/1171.26 c 185 300 306.93 58.23 5.27 1000000 0 1172.57/1173.00 c 184 286 301.45 57.62 5.23 1000000 0 1174.27/1174.73 c 179 285 312.26 57.83 5.40 1000000 0 1175.97/1176.45 c 189 300 313.82 60.55 5.18 1000000 0 1177.67/1178.18 c 199 286 311.09 63.80 4.88 1000000 0 1179.36/1179.90 c 198 323 315.09 60.35 5.22 1000000 0 1181.16/1181.63 c 187 262 309.58 53.86 5.75 1000000 0 1182.86/1183.36 c 168 264 304.95 53.65 5.68 1000000 0 1184.56/1185.08 c 193 298 310.20 63.57 4.88 1000000 0 1186.36/1186.82 c 177 236 306.94 65.52 4.68 1000000 0 1188.06/1188.52 c 197 286 318.97 54.26 5.88 1000000 0 1189.77/1190.25 c 191 276 310.73 52.91 5.87 1000000 0 1191.46/1191.99 c 197 236 305.11 56.46 5.40 1000000 0 1193.26/1193.71 c 189 309 314.67 58.35 5.39 1000000 0 1194.96/1195.43 c 184 254 306.69 63.28 4.85 1000000 0 1196.66/1197.15 c 181 269 302.05 54.02 5.59 1000000 0 1198.36/1198.88 c 198 267 313.78 70.74 4.44 1000000 0 1200.16/1200.61 c 200 282 312.66 54.64 5.72 1000000 0 1201.86/1202.34 c 184 292 301.99 58.33 5.18 1000000 0 1203.56/1204.08 c 172 372 297.51 61.73 4.82 1000000 0 1205.26/1205.79 c 200 308 311.72 61.68 5.05 1000000 0 1207.06/1207.52 c 163 323 301.21 65.15 4.62 1000000 0 1208.75/1209.25 c 188 269 311.23 65.84 4.73 1000000 0 1210.45/1210.98 c 195 252 317.26 58.40 5.43 1000000 0 1212.25/1212.71 c 181 288 300.92 55.25 5.45 1000000 0 1213.96/1214.44 c 174 310 308.05 58.23 5.29 1000000 0 1215.65/1216.16 c 188 302 306.01 54.57 5.61 1000000 0 1217.45/1217.90 c 184 275 299.91 57.25 5.24 1000000 0 1219.15/1219.64 c 178 271 300.72 62.35 4.82 1000000 0 1220.85/1221.37 c 172 325 306.08 58.63 5.22 1000000 0 1222.55/1223.10 c 181 312 309.98 66.21 4.68 1000000 0 1224.35/1224.84 c 193 326 313.67 61.76 5.08 1000000 0 1226.06/1226.56 c 178 330 303.28 61.43 4.94 1000000 0 1227.75/1228.29 c 189 254 305.76 61.48 4.97 1000000 0 1229.55/1230.00 c 189 359 309.33 53.48 5.78 1000000 0 1231.25/1231.75 c 163 292 294.94 60.88 4.84 1000000 0 1232.95/1233.49 c 189 237 302.23 56.64 5.34 1000000 0 1234.75/1235.21 c 190 319 307.14 59.66 5.15 1000000 0 1236.45/1236.94 c 189 295 310.83 57.80 5.38 1000000 0 1238.15/1238.68 c 194 303 311.19 61.28 5.08 1000000 0 1239.94/1240.42 c 172 308 293.53 62.18 4.72 1000000 0 1241.64/1242.15 c 186 355 310.40 60.96 5.09 1000000 0 1243.34/1243.87 c 176 248 305.10 60.26 5.06 1000000 0 1245.14/1245.61 c 192 213 312.45 55.85 5.59 1000000 0 1246.84/1247.34 c 173 276 304.35 55.41 5.49 1000000 0 1248.54/1249.07 c 180 307 307.18 64.68 4.75 1000000 0 1250.25/1250.80 c 199 268 304.03 60.90 4.99 1000000 0 1252.04/1252.51 c 188 334 306.52 57.17 5.36 1000000 0 1253.74/1254.24 c 188 327 306.34 51.11 5.99 1000000 0 1255.44/1255.97 c 179 294 306.64 60.12 5.10 1000000 0 1257.14/1257.69 c 174 242 316.35 55.69 5.68 1000000 0 1258.94/1259.43 c 189 288 304.25 60.57 5.02 1000000 0 1260.64/1261.17 c 190 239 305.33 62.53 4.88 1000000 0 1262.34/1262.90 c 202 263 307.42 56.69 5.42 1000000 0 1264.13/1264.63 c 192 281 307.26 60.73 5.06 1000000 0 1265.84/1266.36 c 185 269 308.55 63.85 4.83 1000000 0 1267.54/1268.08 c 192 313 307.27 54.66 5.62 1000000 0 1269.33/1269.80 c 179 223 301.78 64.00 4.72 1000000 0 1271.03/1271.52 c 194 344 304.13 60.62 5.02 1000000 0 1272.73/1273.25 c 180 276 308.96 56.09 5.51 1000000 0 1274.44/1274.99 c 172 270 304.37 59.87 5.08 1000000 0 1276.23/1276.72 c 191 259 313.42 58.57 5.35 1000000 0 1277.93/1278.45 c 182 320 306.87 54.40 5.64 1000000 0 1279.63/1280.17 c 186 284 305.29 54.51 5.60 1000000 0 1281.43/1281.90 c 191 253 308.33 51.61 5.97 1000000 0 1283.13/1283.64 c 171 281 298.41 64.33 4.64 1000000 0 1284.83/1285.37 c 184 292 301.54 57.83 5.21 1000000 0 1286.54/1287.09 c 198 293 310.41 55.26 5.62 1000000 0 1288.33/1288.83 c 171 257 306.82 61.22 5.01 1000000 0 1290.03/1290.56 c 180 269 306.81 66.38 4.62 1000000 0 1291.73/1292.28 c 185 275 310.12 62.70 4.95 1000000 0 1293.53/1294.01 c 191 309 309.37 63.61 4.86 1000000 0 1295.23/1295.73 c 183 329 303.68 53.74 5.65 1000000 0 1296.92/1297.46 c 157 294 295.45 53.29 5.54 1000000 0 1298.63/1299.18 c 182 316 305.89 59.03 5.18 1000000 0 1300.42/1300.91 c 172 307 306.33 58.75 5.21 1000000 0 1302.12/1302.64 c 170 288 310.00 66.67 4.65 1000000 0 1303.82/1304.38 c 174 304 304.58 62.32 4.89 1000000 0 1305.62/1306.10 c 191 261 313.79 52.23 6.01 1000000 0 1307.32/1307.83 c 183 235 302.54 60.09 5.04 1000000 0 1309.02/1309.56 c 166 296 303.20 58.51 5.18 1000000 0 1310.73/1311.29 c 197 294 304.40 57.63 5.28 1000000 0 1312.53/1313.03 c 186 340 303.10 56.01 5.41 1000000 0 1314.23/1314.76 c 177 311 301.41 60.31 5.00 1000000 0 1316.03/1316.50 c 203 298 304.44 53.55 5.68 1000000 0 1317.73/1318.24 c 156 251 300.56 59.38 5.06 1000000 0 1319.43/1319.95 c 183 254 310.92 59.21 5.25 1000000 0 1321.13/1321.69 c 177 321 299.61 61.25 4.89 1000000 0 1322.93/1323.41 c 192 242 314.35 57.91 5.43 1000000 0 1324.62/1325.15 c 156 304 297.52 51.13 5.82 1000000 0 1326.32/1326.87 c 170 355 308.77 60.37 5.11 1000000 0 1328.12/1328.61 c 198 315 308.78 54.65 5.65 1000000 0 1329.82/1330.33 c 186 267 311.69 61.30 5.08 1000000 0 1331.52/1332.06 c 182 338 310.54 55.47 5.60 1000000 0 1333.22/1333.79 c 188 354 310.28 56.59 5.48 1000000 0 1335.03/1335.52 c 185 330 311.75 57.45 5.43 1000000 0 1336.72/1337.26 c 179 287 305.39 51.80 5.90 1000000 0 1338.42/1338.99 c 187 240 310.57 58.80 5.28 1000000 0 1340.22/1340.71 c 192 334 316.11 53.91 5.86 1000000 0 1341.92/1342.43 c 188 308 305.44 51.78 5.90 1000000 0 1343.62/1344.17 c 178 283 307.20 62.53 4.91 1000000 0 1345.32/1345.89 c 183 324 298.86 50.14 5.96 1000000 0 1347.12/1347.61 c 189 330 314.74 61.09 5.15 1000000 0 1348.82/1349.33 c 180 293 311.11 60.57 5.14 1000000 0 1350.51/1351.07 c 178 278 301.98 64.21 4.70 1000000 0 1352.31/1352.80 c 170 287 304.20 63.38 4.80 1000000 0 1354.01/1354.53 c 147 301 299.00 62.28 4.80 1000000 0 1355.71/1356.25 c 189 271 315.51 60.89 5.18 1000000 0 1357.41/1357.98 c 181 326 293.00 51.15 5.73 1000000 0 1359.22/1359.71 c 188 318 312.18 60.07 5.20 1000000 0 1360.91/1361.43 c 175 281 310.43 59.05 5.26 1000000 0 1362.61/1363.16 c 194 293 302.93 51.14 5.92 1000000 0 1364.41/1364.90 c 178 284 308.36 59.00 5.23 1000000 0 1366.11/1366.62 c 177 355 304.90 55.16 5.53 1000000 0 1367.81/1368.35 c 201 293 312.45 56.57 5.52 1000000 0 1369.51/1370.08 c 182 296 309.83 67.04 4.62 1000000 0 1371.32/1371.82 c 143 314 300.94 67.26 4.47 1000000 0 1373.01/1373.57 c 186 326 303.82 62.62 4.85 1000000 0 1374.71/1375.29 c 178 367 309.78 60.40 5.13 1000000 0 1376.51/1377.02 c 183 303 306.41 61.51 4.98 1000000 0 1378.21/1378.77 c 181 294 300.12 60.51 4.96 1000000 0 1380.01/1380.51 c 180 340 304.25 52.12 5.84 1000000 0 1381.70/1382.26 c 166 301 302.18 52.64 5.74 1000000 0 1383.50/1384.00 c 175 253 301.88 54.85 5.50 1000000 0 1385.20/1385.74 c 193 323 304.52 58.63 5.19 1000000 0 1386.90/1387.46 c 189 303 302.58 63.54 4.76 1000000 0 1388.60/1389.17 c 178 330 308.08 71.46 4.31 1000000 0 1390.40/1390.90 c 182 316 302.39 54.72 5.53 1000000 0 1392.11/1392.61 c 185 278 307.77 63.09 4.88 1000000 0 1393.80/1394.35 c 186 314 305.15 60.90 5.01 1000000 0 1395.51/1396.08 c 196 264 307.93 62.03 4.96 1000000 0 1397.30/1397.81 c 178 289 300.81 55.55 5.41 1000000 0 1399.00/1399.54 c 187 228 306.29 60.97 5.02 1000000 0 1400.70/1401.26 c 202 293 319.32 55.74 5.73 1000000 0 1402.40/1402.99 c 179 309 301.91 65.93 4.58 1000000 0 1404.20/1404.73 c 187 250 307.67 64.20 4.79 1000000 0 1405.90/1406.46 c 190 302 308.83 59.49 5.19 1000000 0 1407.60/1408.19 c 189 315 305.23 69.62 4.38 1000000 0 1409.40/1409.92 c 182 296 307.62 63.73 4.83 1000000 0 1411.09/1411.64 c 168 278 295.99 55.52 5.33 1000000 0 1412.79/1413.36 c 169 223 310.40 58.22 5.33 1000000 0 1414.59/1415.11 c 195 259 307.59 53.95 5.70 1000000 0 1416.30/1416.86 c 190 269 299.06 53.87 5.55 1000000 0 1417.99/1418.59 c 161 232 305.04 60.91 5.01 1000000 0 1419.79/1420.32 c 170 332 308.66 57.60 5.36 1000000 0 1421.49/1422.06 c 188 266 305.07 62.34 4.89 1000000 0 1423.19/1423.79 c 176 331 302.92 61.26 4.95 1000000 0 1424.99/1425.51 c 178 330 305.39 56.17 5.44 1000000 0 1426.69/1427.25 c 182 275 299.19 61.99 4.83 1000000 0 1428.39/1428.98 c 177 268 304.09 61.26 4.96 1000000 0 1430.19/1430.70 c 193 336 311.25 65.56 4.75 1000000 0 1431.89/1432.44 c 183 260 302.51 64.48 4.69 1000000 0 1433.59/1434.19 c 170 290 293.07 66.88 4.38 1000000 0 1435.39/1435.92 c 164 268 293.92 57.09 5.15 1000000 0 1437.08/1437.64 c 175 259 303.55 57.57 5.27 1000000 0 1438.78/1439.37 c 188 249 302.10 54.46 5.55 1000000 0 1440.59/1441.10 c 171 301 301.60 57.23 5.27 1000000 0 1442.28/1442.84 c 162 268 303.27 60.43 5.02 1000000 0 1443.98/1444.58 c 175 234 305.29 55.77 5.47 1000000 0 1445.78/1446.31 c 200 301 310.19 54.31 5.71 1000000 0 1447.48/1448.03 c 177 300 301.98 53.44 5.65 1000000 0 1449.18/1449.76 c 169 285 312.74 61.53 5.08 1000000 0 1450.98/1451.50 c 186 289 297.92 66.96 4.45 1000000 0 1452.69/1453.24 c 181 255 303.37 68.05 4.46 1000000 0 1454.38/1454.98 c 176 340 304.05 60.73 5.01 1000000 0 1456.18/1456.70 c 192 247 308.10 61.04 5.05 1000000 0 1457.88/1458.42 c 186 218 303.55 63.27 4.80 1000000 0 1459.58/1460.16 c 180 242 301.56 52.07 5.79 1000000 0 1461.28/1461.89 c 184 371 306.82 64.21 4.78 1000000 0 1463.08/1463.62 c 179 315 298.84 60.89 4.91 1000000 0 1464.78/1465.35 c 192 298 312.10 54.80 5.70 1000000 0 1466.48/1467.07 c 189 290 308.69 50.08 6.16 1000000 0 1468.17/1468.80 c 195 285 299.53 51.36 5.83 1000000 0 1469.97/1470.53 c 183 273 308.09 60.87 5.06 1000000 0 1471.67/1472.26 c 188 280 300.18 57.24 5.24 1000000 0 1473.37/1473.98 c 191 250 315.02 65.49 4.81 1000000 0 1475.17/1475.71 c 197 330 310.54 61.05 5.09 1000000 0 1476.88/1477.45 c 179 283 307.65 59.12 5.20 1000000 0 1478.57/1479.18 c 171 320 305.00 59.32 5.14 1000000 0 1480.37/1480.92 c 184 255 304.72 53.36 5.71 1000000 0 1482.07/1482.66 c 175 262 312.85 62.67 4.99 1000000 0 1483.77/1484.39 c 190 305 307.38 59.78 5.14 1000000 0 1485.58/1486.12 c 182 326 306.42 65.82 4.66 1000000 0 1487.27/1487.85 c 164 280 300.90 65.32 4.61 1000000 0 1488.97/1489.58 c 182 240 301.91 56.94 5.30 1000000 0 1490.77/1491.32 c 175 393 307.53 66.55 4.62 1000000 0 1492.47/1493.06 c 178 308 303.68 61.49 4.94 1000000 0 1494.16/1494.78 c 175 254 316.48 66.21 4.78 1000000 0 1495.96/1496.51 c 192 246 307.72 65.69 4.68 1000000 0 1497.67/1498.25 c 157 275 306.97 63.93 4.80 1000000 0 1499.36/1499.97 c 180 233 308.30 63.33 4.87 1000000 0 1501.16/1501.71 c 188 316 303.53 57.34 5.29 1000000 0 1502.86/1503.43 c 196 287 313.40 57.37 5.46 1000000 0 1504.56/1505.14 c 176 361 310.22 52.62 5.90 1000000 0 1506.26/1506.86 c 189 293 314.42 60.18 5.22 1000000 0 1508.06/1508.62 c 155 341 300.87 63.74 4.72 1000000 0 1509.77/1510.37 c 165 293 308.46 64.64 4.77 1000000 0 1511.46/1512.09 c 179 312 315.76 59.14 5.34 1000000 0 1513.26/1513.83 c 173 271 306.01 65.72 4.66 1000000 0 1514.96/1515.56 c 184 227 311.07 60.18 5.17 1000000 0 1516.66/1517.29 c 168 296 310.37 58.08 5.34 1000000 0 1518.46/1519.02 c 183 345 305.82 63.33 4.83 1000000 0 1520.16/1520.76 c 183 297 308.76 70.18 4.40 1000000 0 1521.86/1522.47 c 188 255 306.97 66.32 4.63 1000000 0 1523.65/1524.20 c 184 294 310.31 48.20 6.44 1000000 0 1525.35/1525.93 c 184 305 309.90 68.60 4.52 1000000 0 1527.05/1527.68 c 189 283 302.34 55.42 5.46 1000000 0 1528.75/1529.39 c 181 298 306.42 58.47 5.24 1000000 0 1530.55/1531.11 c 193 282 318.67 65.13 4.89 1000000 0 1532.25/1532.86 c 175 315 298.15 51.83 5.75 1000000 0 1533.96/1534.59 c 185 265 303.60 62.37 4.87 1000000 0 1535.75/1536.32 c 183 306 305.15 61.31 4.98 1000000 0 1537.45/1538.04 c 169 360 309.42 56.71 5.46 1000000 0 1539.15/1539.77 c 179 297 317.22 60.89 5.21 1000000 0 1540.95/1541.50 c 191 323 311.55 61.55 5.06 1000000 0 1542.65/1543.23 c 191 254 308.22 61.25 5.03 1000000 0 1544.35/1544.96 c 176 379 315.74 66.10 4.78 1000000 0 1546.05/1546.68 c 173 345 313.66 58.57 5.36 1000000 0 1547.85/1548.40 c 183 356 310.67 61.97 5.01 1000000 0 1549.55/1550.14 c 174 344 309.95 66.31 4.67 1000000 0 1551.25/1551.86 c 187 325 302.83 58.16 5.21 1000000 0 1553.04/1553.60 c 186 292 300.44 59.40 5.06 1000000 0 1554.74/1555.33 c 184 325 310.04 60.88 5.09 1000000 0 1556.44/1557.05 c 188 333 305.71 55.88 5.47 1000000 0 1558.15/1558.80 c 174 318 307.42 59.51 5.17 1000000 0 1559.94/1560.53 c 184 318 311.05 67.57 4.60 1000000 0 1561.64/1562.25 c 192 287 309.84 52.71 5.88 1000000 0 1563.44/1564.02 c 167 317 298.74 69.88 4.28 1000000 0 1565.14/1565.75 c 178 302 305.95 62.42 4.90 1000000 0 1566.84/1567.48 c 200 232 312.44 55.72 5.61 1000000 0 1568.64/1569.21 c 185 323 303.00 61.13 4.96 1000000 0 1570.35/1570.94 c 182 303 303.25 67.80 4.47 1000000 0 1572.04/1572.68 c 170 306 294.03 55.21 5.33 1000000 0 1573.84/1574.42 c 190 280 305.31 54.97 5.55 1000000 0 1575.54/1576.14 c 172 278 303.13 56.61 5.35 1000000 0 1577.24/1577.87 c 197 303 307.77 56.57 5.44 1000000 0 1579.04/1579.61 c 201 383 308.60 50.89 6.06 1000000 0 1580.74/1581.36 c 172 232 294.76 61.65 4.78 1000000 0 1582.44/1583.09 c 148 300 302.57 57.87 5.23 1000000 0 1584.23/1584.83 c 168 313 307.92 60.81 5.06 1000000 0 1585.93/1586.57 c 170 248 303.43 59.66 5.09 1000000 0 1587.63/1588.29 c 196 299 308.96 51.74 5.97 1000000 0 1589.43/1590.03 c 164 305 297.88 58.76 5.07 1000000 0 1591.14/1591.77 c 189 300 304.34 62.73 4.85 1000000 0 1592.93/1593.51 c 174 261 304.48 56.19 5.42 1000000 0 1594.63/1595.23 c 189 277 311.73 54.45 5.72 1000000 0 1596.33/1596.96 c 202 264 306.30 48.32 6.34 1000000 0 1598.03/1598.69 c 165 308 297.74 56.86 5.24 1000000 0 1599.83/1600.42 c 193 289 309.08 69.22 4.47 1000000 0 1601.53/1602.14 c 191 304 311.26 63.31 4.92 1000000 0 1603.24/1603.87 c 170 276 307.78 62.11 4.96 1000000 0 1604.93/1605.59 c 194 311 307.66 61.02 5.04 1000000 0 1606.73/1607.33 c 189 272 309.68 58.55 5.29 1000000 0 1608.43/1609.05 c 180 294 300.97 54.13 5.56 1000000 0 1610.13/1610.78 c 181 277 311.12 54.76 5.68 1000000 0 1611.92/1612.52 c 172 323 305.50 63.59 4.80 1000000 0 1613.62/1614.26 c 181 240 300.40 53.76 5.59 1000000 0 1615.33/1615.97 c 187 305 308.30 61.12 5.04 1000000 0 1617.02/1617.69 c 156 329 305.01 64.64 4.72 1000000 0 1618.82/1619.43 c 172 242 296.36 57.84 5.12 1000000 0 1620.52/1621.15 c 193 286 306.19 59.70 5.13 1000000 0 1622.22/1622.88 c 185 312 314.07 61.93 5.07 1000000 0 1624.02/1624.61 c 192 302 307.66 58.12 5.29 1000000 0 1625.72/1626.36 c 186 304 297.53 51.59 5.77 1000000 0 1627.43/1628.09 c 189 295 309.19 56.77 5.45 1000000 0 1629.22/1629.81 c 193 267 311.69 62.50 4.99 1000000 0 1630.92/1631.55 c 189 302 306.22 53.21 5.76 1000000 0 1632.62/1633.29 c 167 274 301.05 66.11 4.55 1000000 0 1634.42/1635.01 c 191 317 306.70 54.31 5.65 1000000 0 1636.12/1636.74 c 177 280 304.56 61.41 4.96 1000000 0 1637.82/1638.47 c 183 267 307.54 52.86 5.82 1000000 0 1639.62/1640.21 c 186 327 296.02 60.01 4.93 1000000 0 1641.31/1641.93 c 189 336 309.89 60.27 5.14 1000000 0 1643.01/1643.64 c 190 272 307.72 59.09 5.21 1000000 0 1644.71/1645.38 c 185 308 301.42 60.51 4.98 1000000 0 1646.51/1647.11 c 198 303 308.99 56.38 5.48 1000000 0 1648.21/1648.84 c 176 353 314.75 59.44 5.29 1000000 0 1649.91/1650.56 c 200 259 311.57 53.80 5.79 1000000 0 1651.62/1652.28 c 187 261 312.68 58.59 5.34 1000000 0 1653.41/1654.01 c 187 253 302.05 60.29 5.01 1000000 0 1655.11/1655.74 c 200 300 309.51 54.91 5.64 1000000 0 1656.81/1657.47 c 186 257 309.68 58.72 5.27 1000000 0 1658.61/1659.20 c 176 272 295.43 54.91 5.38 1000000 0 1660.31/1660.95 c 179 254 301.04 62.35 4.83 1000000 0 1662.01/1662.68 c 187 228 307.79 64.97 4.74 1000000 0 1663.82/1664.41 c 188 277 320.20 61.60 5.20 1000000 0 1665.51/1666.14 c 207 297 318.84 66.38 4.80 1000000 0 1667.21/1667.88 c 169 252 296.13 76.65 3.86 1000000 0 1669.01/1669.62 c 189 305 309.50 55.47 5.58 1000000 0 1670.71/1671.34 c 195 269 304.69 56.92 5.35 1000000 0 1672.40/1673.07 c 181 253 307.52 59.05 5.21 1000000 0 1674.20/1674.80 c 188 260 308.66 65.82 4.69 1000000 0 1675.91/1676.54 c 190 296 309.54 63.28 4.89 1000000 0 1677.60/1678.29 c 174 281 296.47 55.58 5.33 1000000 0 1679.40/1680.02 c 186 326 306.80 61.88 4.96 1000000 0 1681.10/1681.75 c 191 264 301.43 59.36 5.08 1000000 0 1682.80/1683.48 c 163 316 307.28 67.04 4.58 1000000 0 1684.61/1685.21 c 188 297 298.50 55.88 5.34 1000000 0 1686.30/1686.94 c 165 282 307.73 58.89 5.23 1000000 0 1688.01/1688.68 c 188 311 303.10 64.08 4.73 1000000 0 1689.80/1690.42 c 179 273 303.31 66.54 4.56 1000000 0 1691.50/1692.15 c 196 347 308.93 58.23 5.31 1000000 0 1693.20/1693.88 c 192 283 308.86 62.73 4.92 1000000 0 1695.00/1695.60 c 186 329 309.40 65.83 4.70 1000000 0 1696.70/1697.35 c 174 308 294.83 57.51 5.13 1000000 0 1698.40/1699.09 c 181 313 300.65 63.56 4.73 1000000 0 1700.20/1700.81 c 166 340 308.71 64.00 4.82 1000000 0 1701.89/1702.54 c 162 242 297.46 55.65 5.35 1000000 0 1703.59/1704.27 c 180 336 310.07 66.82 4.64 1000000 0 1705.39/1706.00 c 179 279 309.23 62.76 4.93 1000000 0 1707.09/1707.74 c 166 294 312.34 61.57 5.07 1000000 0 1708.80/1709.49 c 177 260 295.24 58.07 5.08 1000000 0 1710.59/1711.22 c 189 297 308.47 62.56 4.93 1000000 0 1712.29/1712.94 c 192 258 306.42 52.23 5.87 1000000 0 1713.99/1714.67 c 189 269 300.32 59.36 5.06 1000000 0 1715.79/1716.40 c 185 256 305.34 61.61 4.96 1000000 0 1717.49/1718.14 c 159 317 302.39 63.02 4.80 1000000 0 1719.19/1719.88 c 188 250 309.44 59.41 5.21 1000000 0 1721.00/1721.62 c 176 279 306.94 56.31 5.45 1000000 0 1722.69/1723.35 c 161 262 300.83 62.63 4.80 1000000 0 1724.39/1725.09 c 190 321 310.37 58.24 5.33 1000000 0 1726.19/1726.82 c 162 313 311.77 60.91 5.12 1000000 0 1727.89/1728.55 c 194 282 314.37 59.93 5.25 1000000 0 1729.59/1730.28 c 182 228 303.21 55.97 5.42 1000000 0 1731.38/1732.01 c 168 329 305.09 59.70 5.11 1000000 0 1733.09/1733.74 c 204 284 314.73 59.47 5.29 1000000 0 1734.78/1735.46 c 193 266 312.08 61.11 5.11 1000000 0 1736.58/1737.20 c 194 314 311.16 57.19 5.44 1000000 0 1738.28/1738.92 c 161 302 304.85 59.79 5.10 1000000 0 1739.98/1740.65 c 183 285 308.67 56.32 5.48 1000000 0 1741.68/1742.39 c 170 266 297.16 56.53 5.26 1000000 0 1743.48/1744.11 c 186 290 306.12 67.76 4.52 1000000 0 1745.19/1745.85 c 188 292 304.49 54.88 5.55 1000000 0 1746.88/1747.58 c 183 311 297.85 54.71 5.44 1000000 0 1748.68/1749.30 c 172 346 312.06 63.49 4.92 1000000 0 1750.38/1751.03 c 186 276 307.99 55.57 5.54 1000000 0 1752.08/1752.74 c 181 301 313.43 60.30 5.20 1000000 0 1753.78/1754.47 c 176 345 308.01 67.66 4.55 1000000 0 1755.58/1756.21 c 173 272 310.57 59.75 5.20 1000000 0 1757.28/1757.94 c 185 297 309.37 61.44 5.04 1000000 0 1758.97/1759.66 c 179 354 306.32 58.69 5.22 1000000 0 1760.67/1761.38 c 169 267 309.32 64.10 4.83 1000000 0 1762.47/1763.10 c 169 298 306.53 68.17 4.50 1000000 0 1764.17/1764.84 c 189 358 309.53 54.91 5.64 1000000 0 1765.87/1766.56 c 182 259 307.94 66.34 4.64 1000000 0 1767.57/1768.29 c 192 251 307.07 61.87 4.96 1000000 0 1769.38/1770.02 c 168 336 300.30 63.12 4.76 1000000 0 1771.07/1771.76 c 175 305 311.28 62.85 4.95 1000000 0 1772.77/1773.48 c 193 316 299.29 51.80 5.78 1000000 0 1774.57/1775.21 c 188 317 309.92 63.17 4.91 1000000 0 1776.27/1776.93 c 179 280 304.75 48.67 6.26 1000000 0 1777.97/1778.67 c 193 264 304.36 62.60 4.86 1000000 0 1779.77/1780.40 c 202 355 310.95 54.14 5.74 1000000 0 1781.47/1782.13 c 181 301 308.46 58.27 5.29 1000000 0 1783.17/1783.86 c 195 313 303.41 57.01 5.32 1000000 0 1784.87/1785.58 c 180 305 304.06 59.46 5.11 1000000 0 1786.66/1787.32 c 177 289 305.53 60.66 5.04 1000000 0 1788.36/1789.04 c 207 318 314.71 53.08 5.93 1000000 0 1790.06/1790.76 c 188 280 305.03 51.97 5.87 1000000 0 1791.76/1792.48 c 191 291 311.55 58.65 5.31 1000000 0 1793.47/1794.20 c 195 261 307.12 53.60 5.73 1000000 0 1795.26/1795.94 c 176 281 292.79 56.03 5.23 1000000 0 1796.96/1797.69 c 172 308 297.55 62.99 4.72 1000000 0 1798.76/1799.42 c 181 280 312.34 60.52 5.16 1000000 0 1800.08/1800.71 HOME/run: line 2: 4826 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-2669861-1276610098/watcher-2669861-1276610098 -o /tmp/evaluation-result-2669861-1276610098/solver-2669861-1276610098 -C 1800 -W 2000 -M 1800 run HOME/instance-2669861-1276610098.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 4825 /proc/meminfo: memFree=1793412/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [startup+0.104279 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4825 /proc/meminfo: memFree=1793412/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.201297 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4825 /proc/meminfo: memFree=1793412/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301316 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4825 /proc/meminfo: memFree=1793412/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.70139 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4825 /proc/meminfo: memFree=1793412/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50154 s] /proc/loadavg: 1.00 1.00 1.00 3/108 4827 /proc/meminfo: memFree=1789552/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=1.49 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1017 0 0 0 149 0 0 0 25 0 1 0 34666117 41422848 947 1992294400 134512640 135071400 4294365664 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 947 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10184 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4827 /proc/meminfo: memFree=1789428/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=3.09 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 309 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525897 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30144 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4827 /proc/meminfo: memFree=1789304/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=6.29 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 629 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4827 /proc/meminfo: memFree=1789056/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=12.69 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 1269 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 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 4827 /proc/meminfo: memFree=1789056/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=25.48 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 2548 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526866 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4827 /proc/meminfo: memFree=1788808/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=51.07 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 5107 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 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 4829 /proc/meminfo: memFree=1788560/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=102.26 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 10226 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526605 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 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.00 1.00 1.00 2/108 4831 /proc/meminfo: memFree=1788312/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=162.23 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 16223 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49152 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4833 /proc/meminfo: memFree=1788312/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=222.22 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 22222 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4833 /proc/meminfo: memFree=1788188/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=282.19 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 28219 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 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.00 1.00 1.00 2/108 4835 /proc/meminfo: memFree=1788064/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=342.17 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 34217 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4846 /proc/meminfo: memFree=1787444/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=402.13 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 40213 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=1061.9 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 106190 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4866 /proc/meminfo: memFree=1786328/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=1121.88 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 112188 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4866 /proc/meminfo: memFree=1786204/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=1181.86 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 118186 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4868 /proc/meminfo: memFree=1785956/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=1241.84 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 124184 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4870 /proc/meminfo: memFree=1785708/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=1301.82 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 130182 0 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4872 /proc/meminfo: memFree=1785708/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=1361.81 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 136180 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 49152 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 4874 /proc/meminfo: memFree=1785584/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=1421.8 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 142179 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.06 1.02 1.00 2/108 4874 /proc/meminfo: memFree=1785460/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=1481.77 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 148176 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526289 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 49152 [startup+1542.31 s] /proc/loadavg: 1.13 1.04 1.01 2/108 4876 /proc/meminfo: memFree=1785336/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=1541.76 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 154175 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.10 1.05 1.01 2/108 4878 /proc/meminfo: memFree=1785212/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=1601.73 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 160172 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526587 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.08 1.05 1.01 2/108 4880 /proc/meminfo: memFree=1785088/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=1661.71 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 166170 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134547387 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.07 1.05 1.01 2/108 4882 /proc/meminfo: memFree=1784964/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=1721.69 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 172168 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.07 1.06 1.01 2/108 4882 /proc/meminfo: memFree=1784840/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=1781.67 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 178166 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134526593 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.12 1.07 1.01 2/108 4884 /proc/meminfo: memFree=1784840/2059040 swapFree=4140448/4192956 [pid=4825] ppid=4823 vsize=8700 CPUtime=0 /proc/4825/stat : 4825 (run) S 4823 4825 4173 0 -1 4202496 359 0 0 0 0 0 0 0 23 0 1 0 34666116 8908800 243 1992294400 4194304 4922060 140736636136416 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/4825/statm: 2175 243 204 178 0 68 0 [pid=4826] ppid=4825 vsize=40452 CPUtime=1800.08 /proc/4826/stat : 4826 (PB-wave) R 4825 4825 4173 0 -1 4202496 1025 0 0 0 180007 1 0 0 25 0 1 0 34666117 41422848 955 1992294400 134512640 135071400 4294365664 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/4826/statm: 10113 955 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 secondsSolver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.72 CPU time (s): 1800.09 CPU user time (s): 1800.07 CPU system time (s): 0.014997 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.07 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= 1397 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= 5267 runsolver used 3.04054 second user time and 8.48971 second system time The end
Begin job on node019 at 2010-06-15 15:54:58 IDJOB=2669861 IDBENCH=1455 IDSOLVER=1171 FILE ID=node019/2669861-1276610098 PBS_JOBID= 11172237 Free space on /tmp= 62412 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669861-1276610098/watcher-2669861-1276610098 -o /tmp/evaluation-result-2669861-1276610098/solver-2669861-1276610098 -C 1800 -W 2000 -M 1800 run HOME/instance-2669861-1276610098.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e5e9e70aacd6f12ca1d11bb54ad048ed RANDOM SEED=2112712487 node019.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.264 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.52 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.264 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: 1793932 kB Buffers: 50212 kB Cached: 125324 kB SwapCached: 6064 kB Active: 89092 kB Inactive: 99972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1793932 kB SwapTotal: 4192956 kB SwapFree: 4140448 kB Dirty: 1140 kB Writeback: 0 kB AnonPages: 11736 kB Mapped: 13212 kB Slab: 54264 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181476 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= 62412 MiB End job on node019 at 2010-06-15 16:24:59