Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.02 | 1800.51 |
Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6027_4-unsat.opb |
MD5SUM | 199890e645cc457b6a007529ee1e952d |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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.106983 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7320 |
Total number of constraints | 23840 |
Number of constraints which are clauses | 23604 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 236 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 48 |
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 | 44 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 309 |
Number of bits of the biggest sum of numbers | 9 |
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.06 c PB-wave - v2 0.00/0.06 c command line = ./PB-wave 0.00/0.06 c seed = 121378414 0.00/0.06 c cutoff = 1000000 0.00/0.06 c tries = 1000000 0.00/0.06 c heuristic = c best, noise 50 / 100 0.00/0.06 #var 7320 #con 23840 0.00/0.06 mode is SAT 0.00/0.06 c tail starts after flip = 21960 0.00/0.06 c numatom = 7320, numclause = 23840, numliterals = 60850 0.00/0.06 c wff read in 0.00/0.06 c 0.00/0.06 c lowest final avg noise noise total avg mean mean 0.00/0.06 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.06 c this this this this this this success success until std 0.00/0.06 c try try try try try try rate tries assign dev 0.00/0.06 c 1.29/1.36 c 173 336 329.77 52.77 6.25 1000000 0 2.59/2.66 c 169 353 336.39 57.01 5.90 1000000 0 3.89/3.96 c 140 335 341.95 57.03 6.00 1000000 0 5.19/5.26 c 199 536 350.26 54.48 6.43 1000000 0 6.50/6.56 c 169 380 345.80 52.52 6.58 1000000 0 7.79/7.85 c 152 438 332.86 56.25 5.92 1000000 0 9.09/9.15 c 164 328 333.42 52.95 6.30 1000000 0 10.39/10.45 c 164 340 330.27 53.75 6.14 1000000 0 11.69/11.75 c 204 295 345.69 47.96 7.21 1000000 0 12.99/13.05 c 138 399 340.03 61.71 5.51 1000000 0 14.29/14.35 c 140 463 337.68 62.06 5.44 1000000 0 15.59/15.65 c 169 391 341.19 57.40 5.94 1000000 0 16.89/16.95 c 141 328 330.39 57.63 5.73 1000000 0 18.19/18.25 c 160 231 339.58 58.44 5.81 1000000 0 19.49/19.54 c 167 382 338.19 57.86 5.84 1000000 0 20.79/20.84 c 175 310 345.87 50.89 6.80 1000000 0 22.09/22.14 c 184 496 339.01 49.49 6.85 1000000 0 23.39/23.44 c 152 288 343.83 59.97 5.73 1000000 0 24.69/24.73 c 209 408 342.13 58.80 5.82 1000000 0 25.98/26.04 c 178 362 348.67 59.65 5.85 1000000 0 27.28/27.34 c 175 346 340.81 53.83 6.33 1000000 0 28.59/28.65 c 169 253 348.32 55.46 6.28 1000000 0 29.88/29.95 c 165 286 343.34 62.74 5.47 1000000 0 31.18/31.25 c 171 406 334.85 54.66 6.13 1000000 0 32.48/32.55 c 157 405 337.75 52.08 6.48 1000000 0 33.78/33.84 c 177 336 328.05 50.08 6.55 1000000 0 35.08/35.14 c 185 311 340.24 49.32 6.90 1000000 0 36.38/36.44 c 178 315 338.18 58.09 5.82 1000000 0 37.68/37.74 c 176 284 339.00 54.33 6.24 1000000 0 38.98/39.04 c 196 317 346.50 54.70 6.33 1000000 0 40.28/40.34 c 162 242 335.64 54.58 6.15 1000000 0 41.58/41.64 c 169 372 337.82 60.77 5.56 1000000 0 42.88/42.94 c 166 313 342.97 50.64 6.77 1000000 0 44.18/44.24 c 171 315 338.49 58.69 5.77 1000000 0 45.48/45.54 c 195 324 354.77 63.49 5.59 1000000 0 46.78/46.84 c 171 411 342.63 59.80 5.73 1000000 0 48.08/48.14 c 167 366 334.41 56.17 5.95 1000000 0 49.38/49.43 c 145 346 327.55 55.08 5.95 1000000 0 50.68/50.73 c 166 287 328.20 57.36 5.72 1000000 0 51.97/52.03 c 171 337 336.89 58.90 5.72 1000000 0 53.27/53.33 c 183 336 338.91 62.36 5.43 1000000 0 54.57/54.63 c 148 349 338.69 58.79 5.76 1000000 0 55.87/55.93 c 197 332 344.47 52.59 6.55 1000000 0 57.18/57.23 c 187 314 343.77 52.93 6.49 1000000 0 58.47/58.53 c 194 236 351.66 59.44 5.92 1000000 0 59.77/59.83 c 175 285 342.33 54.02 6.34 1000000 0 61.07/61.14 c 205 408 340.23 57.03 5.97 1000000 0 62.37/62.44 c 172 395 347.07 55.13 6.30 1000000 0 63.68/63.74 c 189 417 343.34 51.07 6.72 1000000 0 64.97/65.04 c 194 381 348.35 54.78 6.36 1000000 0 66.27/66.34 c 160 310 332.82 56.46 5.89 1000000 0 67.57/67.64 c 161 396 351.51 60.26 5.83 1000000 0 68.87/68.94 c 183 470 344.83 52.20 6.61 1000000 0 70.17/70.23 c 179 363 336.09 53.92 6.23 1000000 0 71.48/71.53 c 158 345 341.58 56.61 6.03 1000000 0 72.77/72.83 c 154 340 339.27 57.83 5.87 1000000 0 74.07/74.13 c 164 280 338.26 55.06 6.14 1000000 0 75.37/75.43 c 191 348 338.30 58.87 5.75 1000000 0 76.67/76.73 c 197 354 351.53 51.74 6.79 1000000 0 77.98/78.03 c 171 352 345.93 56.95 6.07 1000000 0 79.27/79.34 c 199 345 352.36 57.85 6.09 1000000 0 80.57/80.64 c 176 388 343.69 52.91 6.50 1000000 0 81.87/81.94 c 166 339 340.04 57.03 5.96 1000000 0 83.17/83.24 c 166 443 336.54 60.25 5.59 1000000 0 84.47/84.54 c 195 271 351.53 52.54 6.69 1000000 0 85.77/85.84 c 146 291 333.42 49.76 6.70 1000000 0 87.06/87.14 c 170 362 338.85 57.24 5.92 1000000 0 88.36/88.44 c 145 347 341.51 58.91 5.80 1000000 0 89.66/89.74 c 177 378 341.16 53.05 6.43 1000000 0 90.96/91.04 c 199 419 351.52 55.73 6.31 1000000 0 92.27/92.34 c 147 337 343.61 59.14 5.81 1000000 0 93.56/93.64 c 190 302 340.87 55.79 6.11 1000000 0 94.86/94.93 c 163 401 328.92 53.26 6.18 1000000 0 96.16/96.23 c 148 264 337.49 55.08 6.13 1000000 0 97.46/97.53 c 174 328 346.44 57.26 6.05 1000000 0 98.76/98.84 c 176 290 342.42 52.85 6.48 1000000 0 100.07/100.14 c 177 375 339.69 55.57 6.11 1000000 0 101.36/101.43 c 156 296 338.35 56.71 5.97 1000000 0 102.66/102.73 c 190 380 340.03 57.23 5.94 1000000 0 103.96/104.03 c 177 331 348.25 47.51 7.33 1000000 0 105.26/105.33 c 161 289 341.19 55.35 6.16 1000000 0 106.57/106.63 c 157 282 329.34 59.16 5.57 1000000 0 107.86/107.93 c 166 252 339.01 57.77 5.87 1000000 0 109.16/109.23 c 168 355 340.46 55.88 6.09 1000000 0 110.46/110.53 c 163 361 333.69 55.10 6.06 1000000 0 111.76/111.82 c 179 306 337.36 51.90 6.50 1000000 0 113.06/113.12 c 192 327 332.06 59.04 5.62 1000000 0 114.37/114.42 c 179 312 344.13 52.89 6.51 1000000 0 115.66/115.72 c 185 283 342.89 56.18 6.10 1000000 0 116.96/117.02 c 157 355 332.30 56.92 5.84 1000000 0 118.26/118.31 c 160 227 333.08 51.04 6.53 1000000 0 119.56/119.61 c 180 321 339.07 53.07 6.39 1000000 0 120.86/120.91 c 165 299 338.68 51.00 6.64 1000000 0 122.16/122.20 c 148 353 329.58 55.15 5.98 1000000 0 123.46/123.51 c 186 296 344.72 55.67 6.19 1000000 0 124.76/124.80 c 140 298 332.37 55.42 6.00 1000000 0 126.06/126.10 c 152 340 334.51 52.44 6.38 1000000 0 127.36/127.40 c 189 302 342.54 51.28 6.68 1000000 0 128.56/128.70 c 156 338 345.99 54.55 6.34 1000000 0 129.95/130.00 c 160 404 342.97 58.76 5.84 1000000 0 131.25/131.30 c 177 318 346.51 57.42 6.03 1000000 0 132.55/132.60 c 191 253 346.94 53.33 6.51 1000000 0 133.85/133.90 c 180 372 344.96 55.10 6.26 1000000 0 135.16/135.21 c 179 450 333.08 52.08 6.40 1000000 0 136.45/136.51 c 160 332 338.21 58.30 5.80 1000000 0 137.75/137.81 c 169 347 339.71 59.65 5.69 1000000 0 139.05/139.11 c 171 314 342.65 63.32 5.41 1000000 0 140.35/140.41 c 171 371 346.65 55.44 6.25 1000000 0 141.65/141.71 c 185 281 345.23 54.04 6.39 1000000 0 142.96/143.01 c 169 290 337.97 57.25 5.90 1000000 0 144.25/144.31 c 178 302 335.33 55.08 6.09 1000000 0 145.55/145.62 c 163 348 349.63 54.69 6.39 1000000 0 146.85/146.92 c 171 409 338.12 56.04 6.03 1000000 0 148.15/148.22 c 172 307 335.62 52.81 6.35 1000000 0 149.46/149.52 c 182 318 346.76 56.62 6.12 1000000 0 150.75/150.82 c 167 431 338.64 58.12 5.83 1000000 0 152.05/152.12 c 139 301 335.54 53.53 6.27 1000000 0 153.35/153.41 c 159 461 334.18 57.11 5.85 1000000 0 154.65/154.71 c 153 314 340.96 52.77 6.46 1000000 0 155.95/156.01 c 175 388 341.55 57.99 5.89 1000000 0 157.25/157.31 c 190 290 347.44 55.75 6.23 1000000 0 158.55/158.60 c 178 291 337.56 52.64 6.41 1000000 0 159.85/159.90 c 168 320 340.12 55.34 6.15 1000000 0 161.15/161.20 c 166 354 338.94 62.97 5.38 1000000 0 162.45/162.50 c 179 339 336.60 58.43 5.76 1000000 0 163.65/163.79 c 175 327 332.29 49.83 6.67 1000000 0 164.95/165.09 c 169 422 333.12 54.07 6.16 1000000 0 166.24/166.39 c 185 326 345.60 56.42 6.13 1000000 0 167.55/167.68 c 171 362 337.72 53.94 6.26 1000000 0 168.84/168.98 c 159 253 336.33 58.84 5.72 1000000 0 170.15/170.28 c 198 414 344.53 61.45 5.61 1000000 0 171.45/171.58 c 173 343 339.31 55.57 6.11 1000000 0 172.74/172.88 c 178 217 338.80 54.09 6.26 1000000 0 174.04/174.17 c 170 351 342.79 53.13 6.45 1000000 0 175.34/175.47 c 162 247 343.73 59.19 5.81 1000000 0 176.64/176.77 c 163 316 344.50 48.37 7.12 1000000 0 177.94/178.07 c 140 359 345.67 67.20 5.14 1000000 0 179.25/179.37 c 181 314 341.38 54.51 6.26 1000000 0 180.54/180.67 c 164 285 327.80 52.09 6.29 1000000 0 181.84/181.97 c 175 365 343.26 53.63 6.40 1000000 0 183.14/183.27 c 175 309 343.16 61.73 5.56 1000000 0 184.44/184.57 c 182 319 339.84 54.90 6.19 1000000 0 185.75/185.87 c 186 341 329.44 48.13 6.84 1000000 0 187.04/187.17 c 160 329 345.20 57.42 6.01 1000000 0 188.34/188.47 c 125 259 347.73 54.96 6.33 1000000 0 189.64/189.77 c 167 240 336.58 57.24 5.88 1000000 0 190.94/191.07 c 184 342 345.59 55.26 6.25 1000000 0 192.24/192.37 c 188 276 342.76 52.88 6.48 1000000 0 193.55/193.67 c 139 404 339.21 53.41 6.35 1000000 0 194.84/194.97 c 173 307 345.03 59.22 5.83 1000000 0 196.14/196.27 c 167 359 347.03 56.45 6.15 1000000 0 197.44/197.57 c 177 307 341.77 56.90 6.01 1000000 0 198.74/198.87 c 160 295 330.71 56.41 5.86 1000000 0 200.04/200.16 c 163 472 337.86 61.23 5.52 1000000 0 201.34/201.46 c 182 298 342.92 56.54 6.07 1000000 0 202.64/202.76 c 159 347 336.71 55.85 6.03 1000000 0 203.94/204.06 c 173 329 340.73 58.38 5.84 1000000 0 205.23/205.36 c 172 270 337.92 59.85 5.65 1000000 0 206.53/206.66 c 162 319 341.77 56.97 6.00 1000000 0 207.84/207.96 c 177 308 341.47 52.52 6.50 1000000 0 209.13/209.26 c 175 354 338.42 52.78 6.41 1000000 0 210.43/210.56 c 177 368 334.31 53.50 6.25 1000000 0 211.73/211.86 c 190 304 341.93 56.80 6.02 1000000 0 213.03/213.16 c 185 278 344.63 56.90 6.06 1000000 0 214.34/214.46 c 190 325 338.87 53.94 6.28 1000000 0 215.63/215.75 c 166 344 338.12 53.97 6.27 1000000 0 216.93/217.05 c 197 368 342.36 49.88 6.86 1000000 0 218.23/218.35 c 182 333 344.56 49.22 7.00 1000000 0 219.53/219.65 c 167 321 342.75 55.86 6.14 1000000 0 220.83/220.95 c 160 350 340.76 61.61 5.53 1000000 0 222.14/222.25 c 182 267 346.81 54.89 6.32 1000000 0 223.43/223.55 c 175 339 337.86 52.06 6.49 1000000 0 224.73/224.85 c 196 260 349.49 55.95 6.25 1000000 0 226.03/226.15 c 156 303 345.69 59.36 5.82 1000000 0 227.33/227.45 c 157 303 341.67 59.52 5.74 1000000 0 228.64/228.75 c 151 336 339.16 53.87 6.30 1000000 0 229.93/230.05 c 146 390 325.49 56.20 5.79 1000000 0 231.23/231.35 c 155 412 330.96 53.60 6.17 1000000 0 232.53/232.65 c 170 423 342.99 59.96 5.72 1000000 0 233.83/233.94 c 186 319 342.33 53.94 6.35 1000000 0 235.13/235.24 c 188 462 335.60 52.68 6.37 1000000 0 236.43/236.54 c 167 250 337.82 57.41 5.88 1000000 0 237.73/237.84 c 189 373 338.13 54.06 6.26 1000000 0 239.02/239.14 c 189 273 338.77 53.59 6.32 1000000 0 240.32/240.44 c 192 333 352.36 57.18 6.16 1000000 0 241.62/241.74 c 163 220 329.83 61.74 5.34 1000000 0 242.93/243.03 c 172 290 331.28 59.47 5.57 1000000 0 244.22/244.33 c 189 341 346.50 51.65 6.71 1000000 0 245.52/245.63 c 164 298 345.07 61.05 5.65 1000000 0 246.82/246.93 c 171 461 342.33 52.32 6.54 1000000 0 248.12/248.24 c 166 359 349.46 54.74 6.38 1000000 0 249.42/249.54 c 195 345 344.79 51.01 6.76 1000000 0 250.73/250.84 c 181 306 339.97 58.26 5.83 1000000 0 252.02/252.15 c 177 372 336.86 51.46 6.55 1000000 0 253.32/253.45 c 175 316 332.34 56.04 5.93 1000000 0 254.62/254.75 c 159 346 338.80 60.79 5.57 1000000 0 255.92/256.05 c 177 368 338.60 59.52 5.69 1000000 0 257.23/257.35 c 184 444 346.93 57.99 5.98 1000000 0 258.52/258.65 c 189 354 341.85 50.92 6.71 1000000 0 259.82/259.95 c 169 399 340.56 53.64 6.35 1000000 0 261.12/261.25 c 190 341 343.48 51.15 6.71 1000000 0 262.42/262.55 c 184 391 345.59 54.04 6.40 1000000 0 263.72/263.85 c 193 382 348.44 54.15 6.43 1000000 0 265.02/265.15 c 174 334 341.03 54.98 6.20 1000000 0 266.31/266.45 c 175 226 331.91 58.52 5.67 1000000 0 267.61/267.75 c 156 366 336.69 57.56 5.85 1000000 0 268.91/269.05 c 146 382 346.44 60.30 5.74 1000000 0 270.21/270.35 c 185 343 349.23 57.75 6.05 1000000 0 271.52/271.64 c 185 294 326.90 50.96 6.42 1000000 0 272.81/272.94 c 151 316 334.52 56.72 5.90 1000000 0 274.11/274.24 c 171 437 345.74 55.07 6.28 1000000 0 275.41/275.54 c 172 323 346.63 57.00 6.08 1000000 0 276.71/276.84 c 159 262 342.93 62.83 5.46 1000000 0 278.01/278.14 c 177 373 352.69 58.01 6.08 1000000 0 279.32/279.44 c 179 281 350.98 53.27 6.59 1000000 0 280.61/280.74 c 133 362 338.67 55.58 6.09 1000000 0 281.91/282.04 c 179 326 353.80 50.24 7.04 1000000 0 283.21/283.34 c 190 346 340.92 51.46 6.62 1000000 0 284.51/284.65 c 172 301 353.41 57.78 6.12 1000000 0 285.82/285.95 c 165 343 351.51 61.71 5.70 1000000 0 287.11/287.24 c 166 390 335.05 54.07 6.20 1000000 0 288.41/288.54 c 188 253 340.18 51.72 6.58 1000000 0 289.71/289.84 c 172 346 332.87 53.23 6.25 1000000 0 291.01/291.14 c 174 294 347.86 58.58 5.94 1000000 0 292.31/292.45 c 157 275 346.96 56.73 6.12 1000000 0 293.62/293.75 c 159 448 332.14 55.77 5.96 1000000 0 294.91/295.05 c 169 359 331.90 59.04 5.62 1000000 0 296.21/296.35 c 171 290 336.35 57.14 5.89 1000000 0 297.51/297.65 c 178 337 349.25 64.63 5.40 1000000 0 298.81/298.96 c 162 218 347.04 60.45 5.74 1000000 0 300.11/300.25 c 182 322 342.67 51.35 6.67 1000000 0 301.41/301.55 c 179 290 340.16 56.43 6.03 1000000 0 302.71/302.85 c 189 273 337.37 57.50 5.87 1000000 0 304.01/304.15 c 161 323 343.80 55.47 6.20 1000000 0 305.31/305.45 c 201 285 345.67 56.97 6.07 1000000 0 306.61/306.75 c 157 291 343.74 58.47 5.88 1000000 0 307.91/308.04 c 175 381 335.84 57.57 5.83 1000000 0 309.20/309.34 c 206 371 348.35 51.23 6.80 1000000 0 310.50/310.64 c 182 308 348.22 56.76 6.13 1000000 0 311.80/311.94 c 177 386 345.74 60.61 5.70 1000000 0 313.10/313.24 c 181 344 342.63 51.35 6.67 1000000 0 314.41/314.54 c 187 391 340.19 56.18 6.06 1000000 0 315.70/315.84 c 163 279 329.01 52.83 6.23 1000000 0 317.00/317.14 c 190 381 351.75 57.08 6.16 1000000 0 318.30/318.44 c 159 256 340.32 50.75 6.71 1000000 0 319.60/319.74 c 191 406 342.84 55.67 6.16 1000000 0 320.90/321.04 c 157 390 342.01 53.90 6.35 1000000 0 322.21/322.34 c 199 389 339.98 48.15 7.06 1000000 0 323.50/323.64 c 167 244 343.50 54.65 6.29 1000000 0 324.80/324.94 c 166 321 345.24 58.42 5.91 1000000 0 326.10/326.24 c 180 352 347.29 57.99 5.99 1000000 0 327.40/327.54 c 178 270 346.07 56.33 6.14 1000000 0 328.71/328.84 c 192 309 343.87 57.58 5.97 1000000 0 330.00/330.14 c 175 383 324.33 54.50 5.95 1000000 0 331.30/331.43 c 145 287 346.34 54.89 6.31 1000000 0 332.60/332.73 c 188 349 338.81 53.61 6.32 1000000 0 333.90/334.04 c 169 346 342.75 54.29 6.31 1000000 0 335.20/335.33 c 159 435 334.29 52.36 6.38 1000000 0 336.50/336.63 c 161 399 338.84 58.77 5.77 1000000 0 337.80/337.93 c 163 317 340.84 60.62 5.62 1000000 0 339.10/339.23 c 186 377 354.35 64.26 5.51 1000000 0 340.40/340.53 c 175 427 333.34 51.19 6.51 1000000 0 341.70/341.83 c 147 419 340.79 57.53 5.92 1000000 0 343.00/343.12 c 180 276 346.12 50.97 6.79 1000000 0 344.30/344.42 c 174 349 335.73 59.39 5.65 1000000 0 345.59/345.73 c 202 227 343.90 53.78 6.40 1000000 0 346.89/347.03 c 192 310 342.20 47.72 7.17 1000000 0 348.19/348.33 c 177 451 336.13 57.61 5.83 1000000 0 349.49/349.63 c 183 322 334.74 48.32 6.93 1000000 0 350.80/350.93 c 173 370 331.20 50.07 6.61 1000000 0 352.09/352.23 c 154 359 342.00 60.72 5.63 1000000 0 353.39/353.52 c 145 334 340.90 56.70 6.01 1000000 0 354.69/354.82 c 190 324 337.71 51.26 6.59 1000000 0 355.99/356.12 c 175 306 338.10 51.85 6.52 1000000 0 357.30/357.42 c 172 246 343.82 56.93 6.04 1000000 0 358.59/358.72 c 157 253 335.30 56.44 5.94 1000000 0 359.89/360.02 c 169 333 340.43 62.00 5.49 1000000 0 361.19/361.32 c 189 287 338.08 55.91 6.05 1000000 0 362.49/362.62 c 170 303 344.77 59.28 5.82 1000000 0 363.79/363.93 c 184 347 343.31 57.85 5.93 1000000 0 365.10/365.23 c 178 413 353.60 61.73 5.73 1000000 0 366.39/366.53 c 189 269 342.33 56.82 6.03 1000000 0 367.69/367.83 c 180 395 338.85 57.57 5.89 1000000 0 368.99/369.13 c 163 443 337.87 53.24 6.35 1000000 0 370.29/370.43 c 136 399 338.45 53.75 6.30 1000000 0 371.59/371.73 c 167 281 343.65 52.58 6.54 1000000 0 372.89/373.03 c 174 421 341.96 56.57 6.04 1000000 0 374.19/374.33 c 186 279 337.00 52.65 6.40 1000000 0 375.49/375.62 c 184 261 339.02 54.86 6.18 1000000 0 376.79/376.93 c 163 358 343.50 52.19 6.58 1000000 0 378.09/378.23 c 187 396 343.90 54.32 6.33 1000000 0 379.39/379.53 c 185 278 343.49 56.14 6.12 1000000 0 380.69/380.83 c 166 246 340.46 55.72 6.11 1000000 0 381.98/382.13 c 160 411 337.44 60.59 5.57 1000000 0 383.29/383.44 c 194 288 353.89 55.40 6.39 1000000 0 384.58/384.73 c 181 428 339.84 60.06 5.66 1000000 0 385.89/386.04 c 169 298 343.31 47.21 7.27 1000000 0 387.18/387.34 c 166 280 332.35 54.06 6.15 1000000 0 388.48/388.64 c 141 380 341.24 55.83 6.11 1000000 0 389.78/389.94 c 179 296 338.74 54.60 6.20 1000000 0 391.08/391.25 c 167 369 350.16 54.47 6.43 1000000 0 392.38/392.55 c 180 406 346.39 54.89 6.31 1000000 0 393.68/393.84 c 181 407 331.87 47.42 7.00 1000000 0 394.98/395.14 c 170 280 334.78 61.11 5.48 1000000 0 396.28/396.44 c 155 439 346.27 55.29 6.26 1000000 0 397.58/397.74 c 179 312 339.69 56.54 6.01 1000000 0 398.88/399.04 c 133 350 339.69 62.34 5.45 1000000 0 400.18/400.34 c 176 283 333.44 48.56 6.87 1000000 0 401.48/401.64 c 177 373 352.08 55.36 6.36 1000000 0 402.78/402.94 c 192 322 338.36 58.99 5.74 1000000 0 404.08/404.24 c 174 381 345.24 55.48 6.22 1000000 0 405.38/405.54 c 180 327 338.60 55.72 6.08 1000000 0 406.68/406.84 c 146 292 346.98 53.01 6.55 1000000 0 407.98/408.14 c 135 392 342.67 48.45 7.07 1000000 0 409.27/409.44 c 169 433 344.80 58.75 5.87 1000000 0 410.57/410.74 c 193 355 351.37 57.99 6.06 1000000 0 411.87/412.04 c 188 295 342.90 54.44 6.30 1000000 0 413.17/413.33 c 170 337 335.82 53.68 6.26 1000000 0 414.48/414.63 c 171 241 339.09 64.89 5.23 1000000 0 415.77/415.93 c 166 227 346.92 51.89 6.69 1000000 0 417.07/417.23 c 172 302 342.76 55.63 6.16 1000000 0 418.37/418.53 c 168 260 344.18 54.90 6.27 1000000 0 419.67/419.83 c 178 314 342.17 57.34 5.97 1000000 0 420.97/421.13 c 158 403 341.60 58.79 5.81 1000000 0 422.28/422.43 c 166 388 343.14 56.89 6.03 1000000 0 423.57/423.74 c 179 355 344.63 62.91 5.48 1000000 0 424.87/425.03 c 158 358 339.01 55.95 6.06 1000000 0 426.17/426.33 c 172 271 342.54 55.74 6.15 1000000 0 427.47/427.64 c 188 314 341.01 50.93 6.70 1000000 0 428.78/428.93 c 181 241 331.78 49.95 6.64 1000000 0 430.07/430.23 c 170 362 345.92 53.40 6.48 1000000 0 431.37/431.53 c 168 263 347.55 56.35 6.17 1000000 0 432.67/432.83 c 173 316 344.27 54.37 6.33 1000000 0 433.97/434.13 c 176 310 340.89 51.57 6.61 1000000 0 435.27/435.43 c 127 355 333.25 56.31 5.92 1000000 0 436.57/436.72 c 179 310 333.69 55.56 6.01 1000000 0 437.87/438.02 c 177 347 350.51 61.44 5.70 1000000 0 439.17/439.33 c 182 272 345.93 60.79 5.69 1000000 0 440.47/440.62 c 176 290 339.52 55.77 6.09 1000000 0 441.77/441.92 c 174 324 333.09 50.99 6.53 1000000 0 443.07/443.22 c 164 369 335.94 47.02 7.14 1000000 0 444.37/444.52 c 197 341 338.39 58.44 5.79 1000000 0 445.67/445.81 c 186 292 341.23 49.93 6.83 1000000 0 446.96/447.11 c 160 251 340.63 56.53 6.03 1000000 0 448.26/448.41 c 136 403 340.36 58.24 5.84 1000000 0 449.56/449.71 c 197 403 343.38 49.89 6.88 1000000 0 450.87/451.01 c 175 355 340.59 52.77 6.45 1000000 0 452.16/452.31 c 192 333 351.06 60.92 5.76 1000000 0 453.46/453.61 c 166 376 337.41 46.11 7.32 1000000 0 454.76/454.91 c 168 278 339.92 53.31 6.38 1000000 0 456.06/456.21 c 179 318 345.45 59.33 5.82 1000000 0 457.37/457.51 c 171 284 333.56 60.66 5.50 1000000 0 458.66/458.81 c 184 289 347.26 51.62 6.73 1000000 0 459.96/460.11 c 182 315 331.44 55.23 6.00 1000000 0 461.26/461.40 c 181 397 337.84 52.39 6.45 1000000 0 462.56/462.71 c 198 320 349.95 47.91 7.30 1000000 0 463.86/464.01 c 165 285 348.71 52.09 6.69 1000000 0 465.17/465.32 c 177 346 352.93 56.34 6.26 1000000 0 466.46/466.62 c 198 326 346.64 56.23 6.16 1000000 0 467.76/467.92 c 134 311 334.16 58.33 5.73 1000000 0 469.06/469.21 c 171 411 336.33 54.05 6.22 1000000 0 470.36/470.51 c 185 322 342.45 54.05 6.34 1000000 0 471.66/471.82 c 173 367 340.73 54.09 6.30 1000000 0 472.96/473.12 c 159 423 342.34 53.43 6.41 1000000 0 474.26/474.41 c 157 315 340.51 52.11 6.53 1000000 0 475.56/475.72 c 178 298 343.27 55.45 6.19 1000000 0 476.86/477.02 c 190 332 345.34 56.77 6.08 1000000 0 478.16/478.32 c 150 327 337.50 56.31 5.99 1000000 0 479.46/479.62 c 171 326 337.41 50.83 6.64 1000000 0 480.76/480.91 c 182 294 350.54 60.20 5.82 1000000 0 482.06/482.21 c 201 402 343.43 52.78 6.51 1000000 0 483.36/483.51 c 185 410 341.19 54.13 6.30 1000000 0 484.66/484.81 c 204 332 344.72 49.37 6.98 1000000 0 485.96/486.11 c 159 381 340.89 55.73 6.12 1000000 0 487.25/487.41 c 175 381 342.63 58.65 5.84 1000000 0 488.55/488.71 c 160 392 319.14 51.42 6.21 1000000 0 489.85/490.01 c 182 311 342.43 54.77 6.25 1000000 0 491.15/491.31 c 155 323 340.65 63.96 5.33 1000000 0 492.45/492.61 c 186 369 341.64 55.12 6.20 1000000 0 493.76/493.90 c 174 357 340.36 59.08 5.76 1000000 0 495.05/495.20 c 187 341 343.90 57.25 6.01 1000000 0 496.35/496.50 c 167 237 342.15 59.43 5.76 1000000 0 497.65/497.80 c 156 300 338.59 55.06 6.15 1000000 0 498.95/499.10 c 179 336 337.79 54.92 6.15 1000000 0 500.26/500.40 c 182 339 340.18 55.58 6.12 1000000 0 501.55/501.70 c 175 277 340.29 55.21 6.16 1000000 0 502.85/503.00 c 168 347 337.27 55.89 6.03 1000000 0 504.15/504.30 c 179 330 349.28 54.07 6.46 1000000 0 505.45/505.60 c 177 334 337.25 55.13 6.12 1000000 0 506.75/506.91 c 171 372 333.99 55.40 6.03 1000000 0 508.05/508.20 c 151 387 338.68 61.41 5.51 1000000 0 509.35/509.51 c 192 409 342.52 54.35 6.30 1000000 0 510.65/510.80 c 175 303 336.08 61.81 5.44 1000000 0 511.95/512.10 c 198 393 349.80 54.40 6.43 1000000 0 513.25/513.40 c 171 349 340.27 61.19 5.56 1000000 0 514.45/514.69 c 181 260 329.04 57.25 5.75 1000000 0 515.75/515.99 c 185 369 340.89 51.27 6.65 1000000 0 517.05/517.29 c 188 371 346.06 48.83 7.09 1000000 0 518.35/518.60 c 182 333 339.82 58.68 5.79 1000000 0 519.65/519.89 c 185 372 337.77 53.85 6.27 1000000 0 520.95/521.19 c 185 428 342.81 52.76 6.50 1000000 0 522.25/522.49 c 196 331 349.27 55.37 6.31 1000000 0 523.54/523.79 c 153 293 332.91 54.15 6.15 1000000 0 524.84/525.09 c 132 237 337.47 62.15 5.43 1000000 0 526.14/526.39 c 196 376 350.52 57.27 6.12 1000000 0 527.54/527.70 c 188 324 347.12 59.51 5.83 1000000 0 528.85/529.00 c 201 362 339.70 52.69 6.45 1000000 0 530.14/530.30 c 186 307 341.42 55.63 6.14 1000000 0 531.44/531.60 c 190 375 347.55 54.43 6.38 1000000 0 532.74/532.90 c 180 330 335.53 51.49 6.52 1000000 0 533.94/534.19 c 183 344 335.09 50.49 6.64 1000000 0 535.34/535.50 c 177 363 342.94 57.19 6.00 1000000 0 536.55/536.80 c 178 265 346.34 52.11 6.65 1000000 0 537.84/538.09 c 165 385 334.55 54.53 6.13 1000000 0 539.14/539.40 c 175 397 340.34 49.09 6.93 1000000 0 540.54/540.70 c 201 418 342.53 54.86 6.24 1000000 0 541.84/542.00 c 169 246 343.49 54.73 6.28 1000000 0 543.15/543.30 c 165 264 341.77 58.57 5.84 1000000 0 544.44/544.60 c 177 331 346.51 52.76 6.57 1000000 0 545.74/545.90 c 177 335 335.06 58.10 5.77 1000000 0 547.04/547.21 c 153 371 345.35 62.49 5.53 1000000 0 548.34/548.51 c 159 367 346.42 52.57 6.59 1000000 0 549.64/549.80 c 149 334 338.18 56.18 6.02 1000000 0 550.84/551.10 c 195 337 339.57 53.56 6.34 1000000 0 552.24/552.40 c 158 414 334.85 62.54 5.35 1000000 0 553.54/553.70 c 164 340 335.08 56.58 5.92 1000000 0 554.84/555.00 c 153 360 346.11 57.61 6.01 1000000 0 556.13/556.30 c 188 259 346.03 60.36 5.73 1000000 0 557.44/557.60 c 178 322 345.27 53.08 6.50 1000000 0 558.64/558.90 c 174 403 332.25 51.12 6.50 1000000 0 559.93/560.19 c 141 405 334.86 57.64 5.81 1000000 0 561.23/561.49 c 164 266 332.21 48.85 6.80 1000000 0 562.53/562.79 c 184 479 345.52 54.19 6.38 1000000 0 563.83/564.09 c 165 312 344.43 59.00 5.84 1000000 0 565.14/565.39 c 182 353 337.40 51.50 6.55 1000000 0 566.43/566.69 c 186 412 351.08 56.75 6.19 1000000 0 567.73/567.99 c 168 399 340.43 58.75 5.80 1000000 0 569.03/569.29 c 207 315 338.61 46.30 7.31 1000000 0 570.33/570.58 c 159 387 338.52 49.95 6.78 1000000 0 571.63/571.88 c 185 323 345.93 50.83 6.81 1000000 0 572.94/573.18 c 175 373 339.76 56.64 6.00 1000000 0 574.23/574.48 c 175 346 334.40 54.34 6.15 1000000 0 575.53/575.78 c 188 314 341.10 50.13 6.80 1000000 0 576.83/577.07 c 164 317 338.30 57.20 5.91 1000000 0 578.13/578.37 c 156 279 340.81 55.46 6.15 1000000 0 579.44/579.67 c 181 372 336.81 55.26 6.10 1000000 0 580.73/580.97 c 179 403 344.61 57.88 5.95 1000000 0 582.03/582.27 c 172 330 340.47 55.34 6.15 1000000 0 583.33/583.56 c 185 399 343.56 55.16 6.23 1000000 0 584.63/584.86 c 175 427 338.34 55.17 6.13 1000000 0 585.93/586.16 c 187 447 338.61 60.05 5.64 1000000 0 587.23/587.46 c 199 327 353.72 62.72 5.64 1000000 0 588.53/588.76 c 166 351 343.26 59.68 5.75 1000000 0 589.83/590.07 c 193 363 351.26 56.20 6.25 1000000 0 591.13/591.36 c 201 340 343.62 52.53 6.54 1000000 0 592.42/592.67 c 182 317 341.67 51.56 6.63 1000000 0 593.73/593.97 c 159 264 344.89 55.66 6.20 1000000 0 595.02/595.27 c 188 384 345.46 51.53 6.70 1000000 0 596.32/596.57 c 148 316 342.26 55.17 6.20 1000000 0 597.62/597.87 c 187 302 345.77 59.65 5.80 1000000 0 598.92/599.17 c 190 407 353.46 56.28 6.28 1000000 0 600.22/600.48 c 160 271 342.15 59.30 5.77 1000000 0 601.53/601.78 c 187 315 348.42 56.80 6.13 1000000 0 602.82/603.07 c 183 293 342.40 56.97 6.01 1000000 0 604.12/604.38 c 201 316 352.21 55.80 6.31 1000000 0 605.42/605.68 c 175 441 342.14 58.61 5.84 1000000 0 606.72/606.98 c 160 341 325.74 52.01 6.26 1000000 0 608.03/608.28 c 166 270 332.95 55.48 6.00 1000000 0 609.32/609.58 c 181 280 342.91 56.75 6.04 1000000 0 610.62/610.88 c 161 331 335.61 55.37 6.06 1000000 0 611.92/612.18 c 179 389 348.00 56.69 6.14 1000000 0 613.22/613.47 c 202 308 338.96 51.89 6.53 1000000 0 614.52/614.77 c 153 404 335.75 57.69 5.82 1000000 0 615.83/616.07 c 184 324 340.07 52.51 6.48 1000000 0 617.12/617.37 c 166 372 343.61 55.46 6.20 1000000 0 618.42/618.67 c 169 355 334.18 53.07 6.30 1000000 0 619.72/619.97 c 177 354 350.39 52.79 6.64 1000000 0 621.02/621.26 c 175 287 340.63 54.27 6.28 1000000 0 622.33/622.56 c 196 261 341.79 51.48 6.64 1000000 0 623.62/623.86 c 189 358 338.91 57.47 5.90 1000000 0 624.92/625.16 c 159 484 339.59 51.28 6.62 1000000 0 626.22/626.46 c 172 294 342.60 60.12 5.70 1000000 0 627.52/627.76 c 160 319 340.65 57.60 5.91 1000000 0 628.82/629.06 c 182 274 342.60 51.83 6.61 1000000 0 630.13/630.36 c 147 307 333.34 56.15 5.94 1000000 0 631.42/631.66 c 136 398 341.69 54.13 6.31 1000000 0 632.72/632.96 c 164 332 348.92 56.81 6.14 1000000 0 634.02/634.26 c 172 335 348.74 50.81 6.86 1000000 0 635.32/635.56 c 169 284 345.11 55.72 6.19 1000000 0 636.63/636.86 c 169 411 335.38 59.73 5.62 1000000 0 637.92/638.15 c 176 361 340.12 56.87 5.98 1000000 0 639.22/639.45 c 183 317 352.03 53.91 6.53 1000000 0 640.52/640.75 c 196 299 349.40 51.43 6.79 1000000 0 641.82/642.05 c 177 324 332.14 49.00 6.78 1000000 0 643.12/643.35 c 162 413 338.50 51.75 6.54 1000000 0 644.43/644.66 c 210 385 349.90 51.77 6.76 1000000 0 645.72/645.95 c 166 407 349.45 60.17 5.81 1000000 0 647.02/647.25 c 174 280 333.63 54.54 6.12 1000000 0 648.32/648.55 c 164 422 334.85 51.50 6.50 1000000 0 649.62/649.84 c 164 340 345.80 56.20 6.15 1000000 0 650.93/651.14 c 174 382 345.52 51.31 6.73 1000000 0 652.22/652.44 c 172 319 339.73 55.71 6.10 1000000 0 653.52/653.75 c 190 322 343.13 49.59 6.92 1000000 0 654.82/655.05 c 190 321 350.26 59.78 5.86 1000000 0 656.12/656.34 c 168 309 333.28 52.79 6.31 1000000 0 657.42/657.65 c 176 267 353.44 54.11 6.53 1000000 0 658.72/658.95 c 166 266 336.85 55.90 6.03 1000000 0 660.02/660.25 c 180 320 347.69 57.28 6.07 1000000 0 661.32/661.54 c 142 328 336.73 48.82 6.90 1000000 0 662.62/662.85 c 172 294 342.72 58.06 5.90 1000000 0 663.92/664.14 c 190 376 336.03 52.31 6.42 1000000 0 665.22/665.44 c 190 375 340.82 55.48 6.14 1000000 0 666.52/666.75 c 156 379 349.91 51.10 6.85 1000000 0 667.81/668.04 c 185 271 332.55 52.92 6.28 1000000 0 669.11/669.35 c 186 404 343.78 54.88 6.26 1000000 0 670.41/670.65 c 174 329 344.61 59.64 5.78 1000000 0 671.71/671.95 c 177 309 340.84 49.17 6.93 1000000 0 673.02/673.25 c 160 371 334.51 57.15 5.85 1000000 0 674.31/674.54 c 176 270 339.78 52.57 6.46 1000000 0 675.61/675.85 c 183 320 345.54 51.11 6.76 1000000 0 676.91/677.15 c 180 335 350.87 54.17 6.48 1000000 0 678.21/678.45 c 170 345 340.68 55.32 6.16 1000000 0 679.52/679.75 c 163 305 333.20 54.50 6.11 1000000 0 680.81/681.05 c 182 326 347.79 58.80 5.91 1000000 0 682.11/682.35 c 179 320 341.38 59.10 5.78 1000000 0 683.41/683.65 c 175 250 342.40 55.42 6.18 1000000 0 684.71/684.96 c 190 399 349.92 56.78 6.16 1000000 0 686.01/686.26 c 205 276 355.35 53.43 6.65 1000000 0 687.32/687.56 c 173 411 339.27 56.46 6.01 1000000 0 688.61/688.86 c 165 345 346.79 53.20 6.52 1000000 0 689.91/690.16 c 185 254 345.75 58.73 5.89 1000000 0 691.21/691.46 c 154 344 343.86 52.86 6.50 1000000 0 692.51/692.76 c 187 284 348.57 56.58 6.16 1000000 0 693.81/694.06 c 176 441 340.16 58.38 5.83 1000000 0 695.11/695.36 c 156 404 342.99 54.15 6.33 1000000 0 696.41/696.66 c 167 279 338.30 59.11 5.72 1000000 0 697.71/697.96 c 175 310 337.81 54.30 6.22 1000000 0 699.01/699.26 c 158 383 344.28 54.58 6.31 1000000 0 700.31/700.57 c 184 427 341.26 58.48 5.84 1000000 0 701.61/701.87 c 175 350 339.19 59.81 5.67 1000000 0 702.91/703.17 c 171 307 354.49 55.23 6.42 1000000 0 704.21/704.46 c 169 297 338.45 59.59 5.68 1000000 0 705.50/705.77 c 186 357 344.58 58.39 5.90 1000000 0 706.80/707.07 c 182 272 342.39 56.06 6.11 1000000 0 708.11/708.36 c 134 422 325.85 52.25 6.24 1000000 0 709.40/709.66 c 168 435 343.07 56.57 6.06 1000000 0 710.70/710.96 c 150 437 346.05 57.69 6.00 1000000 0 712.00/712.26 c 201 397 352.15 53.05 6.64 1000000 0 713.30/713.56 c 171 367 349.99 56.61 6.18 1000000 0 714.60/714.86 c 164 258 340.86 55.25 6.17 1000000 0 715.91/716.16 c 187 353 340.96 53.95 6.32 1000000 0 717.20/717.46 c 143 363 342.81 56.64 6.05 1000000 0 718.50/718.77 c 182 404 355.95 60.63 5.87 1000000 0 719.80/720.07 c 169 375 346.51 52.34 6.62 1000000 0 721.10/721.37 c 133 322 344.11 49.97 6.89 1000000 0 722.41/722.67 c 176 449 333.61 61.25 5.45 1000000 0 723.70/723.96 c 194 395 337.37 50.17 6.72 1000000 0 725.00/725.26 c 169 356 332.68 57.49 5.79 1000000 0 726.30/726.56 c 185 338 340.84 58.36 5.84 1000000 0 727.60/727.87 c 173 272 344.80 55.41 6.22 1000000 0 728.90/729.17 c 161 370 343.23 56.56 6.07 1000000 0 730.21/730.48 c 183 346 336.53 58.23 5.78 1000000 0 731.50/731.78 c 184 274 352.97 58.85 6.00 1000000 0 732.80/733.08 c 206 282 344.84 50.05 6.89 1000000 0 734.10/734.38 c 176 243 332.41 55.05 6.04 1000000 0 735.40/735.68 c 167 262 344.41 62.21 5.54 1000000 0 736.70/736.98 c 140 390 340.69 60.00 5.68 1000000 0 738.00/738.28 c 161 340 342.09 53.91 6.35 1000000 0 739.30/739.57 c 163 361 336.80 57.28 5.88 1000000 0 740.60/740.88 c 148 302 348.32 60.27 5.78 1000000 0 741.90/742.18 c 186 324 352.68 54.32 6.49 1000000 0 743.20/743.48 c 169 336 338.41 55.44 6.10 1000000 0 744.50/744.77 c 180 384 338.34 57.11 5.92 1000000 0 745.79/746.08 c 178 307 346.16 57.59 6.01 1000000 0 747.09/747.38 c 160 364 342.91 57.31 5.98 1000000 0 748.39/748.68 c 143 284 339.45 56.76 5.98 1000000 0 749.69/749.97 c 170 267 341.54 53.95 6.33 1000000 0 751.00/751.27 c 181 427 352.03 58.78 5.99 1000000 0 752.29/752.57 c 159 291 339.08 51.62 6.57 1000000 0 753.59/753.87 c 178 323 336.50 53.58 6.28 1000000 0 754.89/755.17 c 183 305 343.51 51.50 6.67 1000000 0 756.19/756.46 c 168 340 328.04 51.46 6.38 1000000 0 757.49/757.77 c 158 345 343.68 50.95 6.75 1000000 0 758.80/759.06 c 157 322 345.62 58.71 5.89 1000000 0 760.09/760.36 c 183 355 344.61 55.58 6.20 1000000 0 761.39/761.67 c 185 334 345.36 53.50 6.46 1000000 0 762.69/762.96 c 161 295 338.83 55.03 6.16 1000000 0 763.99/764.26 c 166 398 334.40 51.84 6.45 1000000 0 765.30/765.55 c 178 371 333.65 53.84 6.20 1000000 0 766.59/766.85 c 186 332 339.06 53.96 6.28 1000000 0 767.89/768.15 c 162 417 341.27 54.58 6.25 1000000 0 769.19/769.45 c 179 290 343.03 54.49 6.30 1000000 0 770.49/770.75 c 154 316 349.21 58.33 5.99 1000000 0 771.79/772.06 c 191 365 348.27 58.23 5.98 1000000 0 773.10/773.35 c 164 366 321.96 55.41 5.81 1000000 0 774.39/774.65 c 180 378 340.91 53.05 6.43 1000000 0 775.69/775.95 c 167 315 341.36 54.66 6.25 1000000 0 776.99/777.25 c 178 296 332.19 60.01 5.54 1000000 0 778.29/778.54 c 172 325 339.68 54.58 6.22 1000000 0 779.59/779.85 c 179 442 342.50 58.11 5.89 1000000 0 780.89/781.15 c 199 341 345.24 54.38 6.35 1000000 0 782.19/782.45 c 179 341 347.07 54.53 6.36 1000000 0 783.49/783.74 c 154 348 338.29 59.26 5.71 1000000 0 784.78/785.05 c 172 435 346.43 53.44 6.48 1000000 0 786.08/786.34 c 190 331 331.17 52.94 6.26 1000000 0 787.39/787.64 c 132 354 345.69 55.36 6.24 1000000 0 788.68/788.94 c 176 294 338.20 55.81 6.06 1000000 0 789.98/790.23 c 165 339 339.12 57.27 5.92 1000000 0 791.28/791.53 c 182 259 343.14 50.77 6.76 1000000 0 792.58/792.83 c 195 246 349.97 54.06 6.47 1000000 0 793.89/794.13 c 173 288 335.37 59.77 5.61 1000000 0 795.18/795.43 c 149 282 343.79 54.69 6.29 1000000 0 796.48/796.73 c 192 334 342.92 48.93 7.01 1000000 0 797.78/798.03 c 193 345 341.03 49.85 6.84 1000000 0 799.08/799.34 c 162 341 343.72 55.91 6.15 1000000 0 800.38/800.63 c 177 308 337.99 53.12 6.36 1000000 0 801.69/801.93 c 180 292 346.45 59.36 5.84 1000000 0 802.98/803.23 c 171 357 350.45 56.55 6.20 1000000 0 804.28/804.53 c 181 320 336.88 54.00 6.24 1000000 0 805.58/805.83 c 171 299 343.85 61.22 5.62 1000000 0 806.88/807.13 c 160 326 331.30 57.05 5.81 1000000 0 808.19/808.42 c 161 289 339.74 61.44 5.53 1000000 0 809.48/809.72 c 175 363 342.20 59.02 5.80 1000000 0 810.78/811.02 c 153 366 329.23 53.90 6.11 1000000 0 812.08/812.32 c 167 446 345.50 59.42 5.81 1000000 0 813.38/813.62 c 191 372 347.86 55.94 6.22 1000000 0 814.68/814.91 c 180 325 328.44 57.07 5.76 1000000 0 815.98/816.21 c 165 276 346.12 49.01 7.06 1000000 0 817.28/817.52 c 153 343 343.26 50.81 6.76 1000000 0 818.58/818.82 c 166 363 339.78 59.72 5.69 1000000 0 819.88/820.12 c 168 265 342.57 55.39 6.19 1000000 0 821.18/821.42 c 179 308 352.95 58.80 6.00 1000000 0 822.48/822.72 c 173 346 339.77 60.61 5.61 1000000 0 823.77/824.02 c 181 426 346.27 52.43 6.60 1000000 0 825.07/825.32 c 174 267 335.95 51.78 6.49 1000000 0 826.37/826.63 c 192 327 359.75 58.49 6.15 1000000 0 827.67/827.92 c 172 377 336.10 59.89 5.61 1000000 0 828.97/829.23 c 182 370 340.85 51.68 6.60 1000000 0 830.28/830.52 c 173 283 337.53 53.07 6.36 1000000 0 831.57/831.82 c 152 345 344.33 56.50 6.09 1000000 0 832.87/833.12 c 180 323 342.53 59.58 5.75 1000000 0 834.17/834.42 c 171 292 342.63 57.58 5.95 1000000 0 835.47/835.72 c 177 355 336.78 53.96 6.24 1000000 0 836.78/837.01 c 121 282 342.28 56.65 6.04 1000000 0 838.07/838.31 c 165 427 343.08 53.61 6.40 1000000 0 839.37/839.61 c 168 287 334.85 53.78 6.23 1000000 0 840.67/840.91 c 173 377 341.35 61.30 5.57 1000000 0 841.97/842.21 c 158 355 330.44 56.33 5.87 1000000 0 843.27/843.51 c 166 314 345.44 60.35 5.72 1000000 0 844.58/844.81 c 186 350 343.28 56.84 6.04 1000000 0 845.87/846.11 c 172 255 341.41 58.69 5.82 1000000 0 847.17/847.41 c 196 310 346.51 55.54 6.24 1000000 0 848.47/848.71 c 179 290 339.86 56.60 6.00 1000000 0 849.77/850.01 c 189 387 347.69 55.82 6.23 1000000 0 851.07/851.31 c 161 331 327.52 53.89 6.08 1000000 0 852.37/852.61 c 173 345 334.87 58.27 5.75 1000000 0 853.67/853.91 c 183 324 346.47 51.25 6.76 1000000 0 854.97/855.21 c 169 261 340.15 55.71 6.11 1000000 0 856.27/856.51 c 156 230 349.51 60.29 5.80 1000000 0 857.57/857.81 c 171 362 341.89 56.69 6.03 1000000 0 858.87/859.11 c 165 361 337.29 57.41 5.87 1000000 0 860.17/860.40 c 153 340 337.55 54.49 6.19 1000000 0 861.47/861.70 c 183 365 333.97 59.96 5.57 1000000 0 862.77/863.00 c 173 341 340.44 59.86 5.69 1000000 0 864.06/864.30 c 173 430 342.39 55.22 6.20 1000000 0 865.37/865.60 c 183 356 343.14 55.22 6.21 1000000 0 866.66/866.90 c 136 382 330.59 54.72 6.04 1000000 0 867.96/868.20 c 187 296 341.87 54.04 6.33 1000000 0 869.26/869.50 c 184 358 343.50 55.18 6.22 1000000 0 870.46/870.79 c 178 409 329.57 50.31 6.55 1000000 0 871.76/872.09 c 174 237 345.80 57.51 6.01 1000000 0 873.07/873.39 c 171 306 338.25 53.01 6.38 1000000 0 874.36/874.68 c 157 292 343.33 58.11 5.91 1000000 0 875.66/875.98 c 156 335 338.16 57.67 5.86 1000000 0 876.96/877.29 c 169 438 346.48 54.64 6.34 1000000 0 878.26/878.59 c 191 314 337.76 47.21 7.16 1000000 0 879.56/879.89 c 171 321 346.03 61.85 5.59 1000000 0 880.87/881.19 c 172 282 350.19 54.54 6.42 1000000 0 882.16/882.48 c 170 385 339.43 53.46 6.35 1000000 0 883.46/883.78 c 140 284 329.60 57.98 5.68 1000000 0 884.76/885.08 c 184 386 343.65 56.10 6.13 1000000 0 886.06/886.38 c 172 328 341.75 54.21 6.30 1000000 0 887.37/887.68 c 182 377 357.11 54.76 6.52 1000000 0 888.66/888.98 c 166 388 340.85 57.74 5.90 1000000 0 889.96/890.28 c 170 301 339.21 53.36 6.36 1000000 0 891.26/891.58 c 191 321 343.37 51.17 6.71 1000000 0 892.56/892.88 c 199 307 339.21 52.77 6.43 1000000 0 893.86/894.18 c 150 373 340.27 55.32 6.15 1000000 0 895.16/895.48 c 181 417 346.40 67.99 5.09 1000000 0 896.46/896.78 c 180 392 350.85 57.61 6.09 1000000 0 897.76/898.08 c 179 284 349.02 54.45 6.41 1000000 0 899.06/899.39 c 195 321 349.12 50.07 6.97 1000000 0 900.36/900.68 c 165 265 338.12 57.58 5.87 1000000 0 901.66/901.98 c 156 335 348.68 54.90 6.35 1000000 0 902.96/903.28 c 163 333 340.42 53.35 6.38 1000000 0 904.26/904.59 c 178 316 342.50 51.76 6.62 1000000 0 905.55/905.88 c 156 235 330.15 55.07 6.00 1000000 0 906.85/907.18 c 138 298 337.94 59.21 5.71 1000000 0 908.15/908.48 c 123 322 339.25 56.51 6.00 1000000 0 909.45/909.78 c 180 317 334.14 52.72 6.34 1000000 0 910.75/911.08 c 180 341 351.65 54.31 6.48 1000000 0 912.05/912.38 c 180 291 336.55 52.97 6.35 1000000 0 913.35/913.68 c 176 286 345.35 54.81 6.30 1000000 0 914.65/914.98 c 181 405 352.03 56.22 6.26 1000000 0 915.95/916.28 c 123 327 323.73 51.67 6.27 1000000 0 917.25/917.57 c 183 340 344.40 57.61 5.98 1000000 0 918.55/918.88 c 164 352 342.58 53.28 6.43 1000000 0 919.85/920.18 c 181 407 346.37 51.41 6.74 1000000 0 921.14/921.48 c 171 375 340.02 58.56 5.81 1000000 0 922.44/922.79 c 172 298 346.19 58.64 5.90 1000000 0 923.75/924.09 c 167 302 347.32 51.17 6.79 1000000 0 925.04/925.39 c 169 348 354.62 56.81 6.24 1000000 0 926.34/926.69 c 184 218 347.34 64.23 5.41 1000000 0 927.64/927.99 c 199 333 341.67 54.28 6.29 1000000 0 928.94/929.29 c 174 321 336.52 56.80 5.92 1000000 0 930.25/930.59 c 168 264 335.54 52.08 6.44 1000000 0 931.54/931.89 c 196 295 337.12 51.52 6.54 1000000 0 932.84/933.19 c 190 318 335.94 54.05 6.21 1000000 0 934.14/934.49 c 172 314 337.20 54.33 6.21 1000000 0 935.44/935.79 c 143 275 337.89 60.39 5.60 1000000 0 936.74/937.09 c 194 363 342.45 49.98 6.85 1000000 0 938.05/938.39 c 168 201 344.68 52.88 6.52 1000000 0 939.34/939.69 c 167 314 351.38 54.65 6.43 1000000 0 940.64/940.99 c 199 247 343.84 52.77 6.52 1000000 0 942.04/942.30 c 166 358 339.51 63.98 5.31 1000000 0 943.24/943.59 c 166 359 340.85 51.64 6.60 1000000 0 944.55/944.89 c 195 289 344.13 59.12 5.82 1000000 0 945.94/946.20 c 173 337 342.43 55.63 6.16 1000000 0 947.14/947.49 c 169 274 337.21 60.39 5.58 1000000 0 948.44/948.79 c 173 360 331.37 55.59 5.96 1000000 0 949.74/950.09 c 154 415 341.03 53.51 6.37 1000000 0 951.04/951.39 c 152 376 336.78 50.30 6.70 1000000 0 952.34/952.69 c 178 350 340.46 53.81 6.33 1000000 0 953.64/953.99 c 184 304 351.07 57.72 6.08 1000000 0 955.04/955.30 c 197 363 354.02 57.96 6.11 1000000 0 956.24/956.59 c 138 327 332.31 52.50 6.33 1000000 0 957.54/957.89 c 191 270 348.79 57.47 6.07 1000000 0 958.84/959.20 c 173 296 347.82 53.77 6.47 1000000 0 960.14/960.49 c 170 365 337.58 54.86 6.15 1000000 0 961.43/961.79 c 148 466 335.91 48.20 6.97 1000000 0 962.73/963.09 c 154 321 340.86 52.42 6.50 1000000 0 964.03/964.38 c 175 351 345.82 58.80 5.88 1000000 0 965.33/965.69 c 166 356 350.70 61.21 5.73 1000000 0 966.64/966.99 c 168 384 340.60 55.18 6.17 1000000 0 967.93/968.28 c 167 296 333.82 64.10 5.21 1000000 0 969.23/969.58 c 177 380 337.99 50.43 6.70 1000000 0 970.53/970.88 c 168 302 336.34 59.63 5.64 1000000 0 971.83/972.18 c 177 344 344.70 55.74 6.18 1000000 0 973.14/973.47 c 180 323 336.28 50.32 6.68 1000000 0 974.43/974.77 c 187 421 333.05 53.08 6.27 1000000 0 975.73/976.07 c 152 342 341.66 54.75 6.24 1000000 0 977.03/977.37 c 171 261 339.68 54.24 6.26 1000000 0 978.33/978.67 c 179 359 350.68 54.07 6.49 1000000 0 979.63/979.97 c 183 287 332.58 56.45 5.89 1000000 0 980.94/981.27 c 171 332 332.74 55.52 5.99 1000000 0 982.23/982.56 c 167 390 330.82 58.09 5.70 1000000 0 983.53/983.86 c 172 319 340.50 53.12 6.41 1000000 0 984.83/985.16 c 179 336 337.64 54.52 6.19 1000000 0 986.13/986.46 c 189 203 333.30 57.06 5.84 1000000 0 987.43/987.76 c 176 297 341.08 53.63 6.36 1000000 0 988.73/989.06 c 180 368 343.50 53.12 6.47 1000000 0 990.03/990.36 c 153 323 342.11 58.63 5.84 1000000 0 991.33/991.66 c 145 267 351.14 62.12 5.65 1000000 0 992.62/992.96 c 181 278 344.42 58.34 5.90 1000000 0 993.92/994.26 c 171 309 344.60 61.00 5.65 1000000 0 995.23/995.57 c 178 328 338.82 54.72 6.19 1000000 0 996.52/996.86 c 185 277 338.61 55.52 6.10 1000000 0 997.82/998.16 c 179 233 342.10 61.54 5.56 1000000 0 999.12/999.46 c 143 312 339.25 59.90 5.66 1000000 0 1000.42/1000.76 c 185 274 342.51 55.78 6.14 1000000 0 1001.73/1002.05 c 135 318 334.28 55.11 6.07 1000000 0 1003.02/1003.35 c 128 320 337.45 57.77 5.84 1000000 0 1004.32/1004.65 c 177 364 338.60 52.03 6.51 1000000 0 1005.62/1005.95 c 128 354 346.30 55.39 6.25 1000000 0 1006.92/1007.25 c 183 399 345.49 53.55 6.45 1000000 0 1008.22/1008.55 c 147 321 336.32 54.02 6.23 1000000 0 1009.53/1009.85 c 178 305 332.59 54.55 6.10 1000000 0 1010.82/1011.14 c 171 285 334.05 59.03 5.66 1000000 0 1012.12/1012.44 c 161 305 341.46 59.91 5.70 1000000 0 1013.42/1013.74 c 174 393 347.80 54.40 6.39 1000000 0 1014.72/1015.04 c 167 306 340.71 56.44 6.04 1000000 0 1016.03/1016.33 c 157 223 339.18 61.07 5.55 1000000 0 1017.32/1017.64 c 186 317 336.13 54.53 6.16 1000000 0 1018.62/1018.94 c 166 332 341.65 60.37 5.66 1000000 0 1019.92/1020.24 c 183 243 338.96 53.03 6.39 1000000 0 1021.22/1021.54 c 167 327 338.92 48.27 7.02 1000000 0 1022.52/1022.83 c 198 277 343.15 52.01 6.60 1000000 0 1023.83/1024.14 c 169 293 339.94 60.20 5.65 1000000 0 1025.12/1025.44 c 170 287 346.90 59.26 5.85 1000000 0 1026.41/1026.74 c 159 254 336.85 59.49 5.66 1000000 0 1027.71/1028.03 c 158 340 326.74 56.42 5.79 1000000 0 1029.01/1029.33 c 151 445 342.72 54.95 6.24 1000000 0 1030.32/1030.64 c 186 345 356.03 57.47 6.19 1000000 0 1031.61/1031.94 c 186 332 344.50 49.09 7.02 1000000 0 1032.91/1033.24 c 130 396 335.46 51.30 6.54 1000000 0 1034.21/1034.54 c 188 308 343.12 54.97 6.24 1000000 0 1035.51/1035.84 c 174 340 344.79 54.51 6.33 1000000 0 1036.81/1037.14 c 191 382 350.02 62.42 5.61 1000000 0 1038.12/1038.44 c 182 341 344.86 58.16 5.93 1000000 0 1039.41/1039.74 c 179 314 339.55 56.22 6.04 1000000 0 1040.71/1041.05 c 190 357 343.30 51.81 6.63 1000000 0 1042.01/1042.35 c 179 411 339.38 53.39 6.36 1000000 0 1043.31/1043.64 c 188 242 342.18 55.14 6.21 1000000 0 1044.62/1044.94 c 176 406 337.20 58.24 5.79 1000000 0 1045.91/1046.24 c 193 411 353.99 59.22 5.98 1000000 0 1047.21/1047.54 c 174 268 339.75 53.17 6.39 1000000 0 1048.51/1048.84 c 158 456 337.69 54.36 6.21 1000000 0 1049.81/1050.14 c 175 372 334.54 53.91 6.21 1000000 0 1051.11/1051.43 c 182 348 339.66 54.10 6.28 1000000 0 1052.42/1052.73 c 149 240 340.11 57.07 5.96 1000000 0 1053.71/1054.03 c 176 350 343.21 57.09 6.01 1000000 0 1055.01/1055.33 c 175 258 334.12 55.24 6.05 1000000 0 1056.31/1056.63 c 158 262 337.67 53.29 6.34 1000000 0 1057.61/1057.93 c 191 286 349.11 62.29 5.60 1000000 0 1058.92/1059.23 c 175 292 340.23 54.88 6.20 1000000 0 1060.21/1060.53 c 171 314 346.32 52.29 6.62 1000000 0 1061.51/1061.83 c 147 357 344.13 55.26 6.23 1000000 0 1062.81/1063.12 c 182 358 337.20 52.79 6.39 1000000 0 1064.11/1064.43 c 173 339 341.43 56.58 6.03 1000000 0 1065.41/1065.73 c 175 349 339.97 57.03 5.96 1000000 0 1066.71/1067.03 c 157 330 331.68 52.34 6.34 1000000 0 1068.01/1068.33 c 180 323 345.73 55.97 6.18 1000000 0 1069.30/1069.63 c 191 326 345.67 54.08 6.39 1000000 0 1070.60/1070.93 c 150 345 346.55 57.12 6.07 1000000 0 1071.90/1072.23 c 171 302 335.44 55.15 6.08 1000000 0 1073.21/1073.53 c 169 491 348.81 61.99 5.63 1000000 0 1074.50/1074.83 c 166 396 336.96 50.84 6.63 1000000 0 1075.80/1076.13 c 182 348 342.86 54.45 6.30 1000000 0 1077.10/1077.43 c 154 367 336.87 52.96 6.36 1000000 0 1078.40/1078.73 c 173 429 339.32 51.63 6.57 1000000 0 1079.70/1080.03 c 151 435 342.79 54.03 6.34 1000000 0 1081.01/1081.33 c 183 274 343.92 67.41 5.10 1000000 0 1082.30/1082.63 c 164 332 338.88 55.65 6.09 1000000 0 1083.60/1083.93 c 175 350 326.80 51.92 6.29 1000000 0 1084.90/1085.22 c 153 357 337.38 54.92 6.14 1000000 0 1086.20/1086.53 c 150 315 340.10 51.39 6.62 1000000 0 1087.51/1087.83 c 187 265 345.66 59.85 5.78 1000000 0 1088.80/1089.13 c 174 404 347.64 58.80 5.91 1000000 0 1090.10/1090.43 c 169 301 343.01 52.62 6.52 1000000 0 1091.40/1091.73 c 171 360 352.37 51.57 6.83 1000000 0 1092.70/1093.02 c 167 356 340.09 53.03 6.41 1000000 0 1094.00/1094.32 c 198 296 335.67 55.88 6.01 1000000 0 1095.30/1095.62 c 198 343 348.10 54.05 6.44 1000000 0 1096.60/1096.92 c 166 323 344.08 53.09 6.48 1000000 0 1097.90/1098.22 c 177 274 334.70 55.99 5.98 1000000 0 1099.20/1099.52 c 194 280 343.13 51.99 6.60 1000000 0 1100.50/1100.83 c 180 359 348.21 58.55 5.95 1000000 0 1101.80/1102.12 c 175 308 336.89 56.12 6.00 1000000 0 1103.10/1103.42 c 176 388 339.27 53.38 6.36 1000000 0 1104.40/1104.72 c 191 362 339.43 55.75 6.09 1000000 0 1105.69/1106.03 c 168 321 336.78 51.56 6.53 1000000 0 1106.99/1107.32 c 151 317 327.20 49.36 6.63 1000000 0 1108.29/1108.62 c 200 340 338.94 52.86 6.41 1000000 0 1109.60/1109.92 c 186 361 340.76 56.71 6.01 1000000 0 1110.89/1111.22 c 183 326 332.30 50.54 6.57 1000000 0 1112.19/1112.52 c 158 300 343.27 59.12 5.81 1000000 0 1113.49/1113.81 c 196 376 341.12 54.99 6.20 1000000 0 1114.79/1115.11 c 181 341 341.43 56.19 6.08 1000000 0 1116.10/1116.41 c 180 457 333.48 46.96 7.10 1000000 0 1117.39/1117.71 c 176 270 344.56 57.65 5.98 1000000 0 1118.69/1119.02 c 195 384 349.65 51.60 6.78 1000000 0 1119.99/1120.32 c 169 329 344.58 55.01 6.26 1000000 0 1121.29/1121.62 c 167 352 344.09 58.42 5.89 1000000 0 1122.59/1122.91 c 175 228 328.84 60.17 5.47 1000000 0 1123.90/1124.21 c 170 305 343.21 55.08 6.23 1000000 0 1125.19/1125.51 c 168 399 340.68 58.04 5.87 1000000 0 1126.49/1126.81 c 191 288 343.11 54.86 6.25 1000000 0 1127.79/1128.10 c 160 365 335.08 56.72 5.91 1000000 0 1129.09/1129.40 c 188 292 339.66 51.22 6.63 1000000 0 1130.40/1130.70 c 171 299 338.70 54.34 6.23 1000000 0 1131.69/1132.00 c 179 273 328.87 55.43 5.93 1000000 0 1132.99/1133.30 c 178 318 337.41 53.70 6.28 1000000 0 1134.29/1134.60 c 160 341 339.58 54.77 6.20 1000000 0 1135.59/1135.90 c 186 282 338.62 51.32 6.60 1000000 0 1136.89/1137.20 c 188 350 336.09 47.75 7.04 1000000 0 1138.19/1138.50 c 180 374 344.64 58.41 5.90 1000000 0 1139.49/1139.80 c 176 329 341.83 58.33 5.86 1000000 0 1140.79/1141.10 c 173 341 345.29 61.73 5.59 1000000 0 1142.09/1142.40 c 185 350 350.07 57.25 6.11 1000000 0 1143.39/1143.71 c 181 380 342.76 57.97 5.91 1000000 0 1144.69/1145.01 c 188 274 339.78 49.88 6.81 1000000 0 1145.98/1146.31 c 167 402 348.75 53.34 6.54 1000000 0 1147.28/1147.61 c 166 483 333.99 55.77 5.99 1000000 0 1148.58/1148.91 c 150 319 335.05 62.01 5.40 1000000 0 1149.88/1150.21 c 188 320 341.79 54.24 6.30 1000000 0 1151.18/1151.51 c 158 357 341.77 57.74 5.92 1000000 0 1152.49/1152.81 c 151 301 339.31 55.05 6.16 1000000 0 1153.78/1154.11 c 151 310 345.73 57.73 5.99 1000000 0 1155.08/1155.41 c 184 380 338.94 56.52 6.00 1000000 0 1156.38/1156.71 c 182 278 338.69 53.60 6.32 1000000 0 1157.68/1158.01 c 176 298 341.39 56.19 6.08 1000000 0 1158.99/1159.31 c 164 348 347.46 55.06 6.31 1000000 0 1160.28/1160.61 c 185 297 345.94 56.36 6.14 1000000 0 1161.58/1161.91 c 176 335 337.62 46.79 7.22 1000000 0 1162.88/1163.21 c 184 404 345.39 62.42 5.53 1000000 0 1164.18/1164.51 c 171 264 338.71 51.42 6.59 1000000 0 1165.48/1165.81 c 149 386 338.29 52.71 6.42 1000000 0 1166.79/1167.11 c 161 256 343.73 54.16 6.35 1000000 0 1168.08/1168.41 c 171 324 335.13 59.66 5.62 1000000 0 1169.38/1169.70 c 174 315 337.70 50.35 6.71 1000000 0 1170.68/1171.02 c 174 370 332.16 48.86 6.80 1000000 0 1171.98/1172.31 c 168 384 348.95 55.17 6.32 1000000 0 1173.28/1173.61 c 176 245 338.09 61.52 5.50 1000000 0 1174.58/1174.91 c 168 291 338.42 55.26 6.12 1000000 0 1175.88/1176.22 c 179 422 342.66 61.21 5.60 1000000 0 1177.18/1177.52 c 159 335 347.42 61.73 5.63 1000000 0 1178.48/1178.82 c 181 339 340.40 58.32 5.84 1000000 0 1179.78/1180.12 c 161 350 337.43 50.42 6.69 1000000 0 1181.08/1181.42 c 174 312 343.65 58.60 5.86 1000000 0 1182.38/1182.71 c 184 346 337.77 51.10 6.61 1000000 0 1183.68/1184.01 c 161 342 347.67 57.26 6.07 1000000 0 1184.97/1185.31 c 158 295 344.50 57.32 6.01 1000000 0 1186.27/1186.61 c 182 349 340.25 52.67 6.46 1000000 0 1187.58/1187.92 c 164 317 335.41 52.16 6.43 1000000 0 1188.87/1189.21 c 173 347 337.39 49.99 6.75 1000000 0 1190.17/1190.51 c 149 448 339.55 55.23 6.15 1000000 0 1191.47/1191.82 c 179 338 334.01 54.44 6.14 1000000 0 1192.77/1193.12 c 193 313 348.27 56.63 6.15 1000000 0 1194.07/1194.42 c 170 338 332.79 54.31 6.13 1000000 0 1195.38/1195.72 c 183 289 344.10 54.99 6.26 1000000 0 1196.67/1197.02 c 156 310 346.99 65.10 5.33 1000000 0 1197.97/1198.31 c 164 345 330.17 58.01 5.69 1000000 0 1199.27/1199.61 c 173 324 345.13 53.47 6.45 1000000 0 1200.57/1200.91 c 180 275 341.44 55.00 6.21 1000000 0 1201.88/1202.22 c 154 312 344.35 55.62 6.19 1000000 0 1203.17/1203.51 c 197 363 346.66 53.52 6.48 1000000 0 1204.47/1204.82 c 179 313 352.12 58.60 6.01 1000000 0 1205.77/1206.11 c 199 347 345.54 55.47 6.23 1000000 0 1207.07/1207.42 c 167 366 341.10 54.10 6.31 1000000 0 1208.37/1208.72 c 185 330 349.99 56.20 6.23 1000000 0 1209.67/1210.01 c 191 351 339.20 51.03 6.65 1000000 0 1210.97/1211.32 c 174 366 352.58 60.98 5.78 1000000 0 1212.27/1212.61 c 194 416 340.09 59.20 5.74 1000000 0 1213.57/1213.92 c 180 405 343.95 55.45 6.20 1000000 0 1214.87/1215.22 c 161 358 345.85 51.76 6.68 1000000 0 1216.17/1216.51 c 168 353 331.35 56.12 5.90 1000000 0 1217.46/1217.81 c 165 318 346.98 51.00 6.80 1000000 0 1218.76/1219.12 c 154 399 335.75 59.21 5.67 1000000 0 1220.06/1220.41 c 168 407 330.24 55.45 5.96 1000000 0 1221.36/1221.71 c 153 332 338.26 55.93 6.05 1000000 0 1222.66/1223.01 c 155 412 338.43 50.98 6.64 1000000 0 1223.97/1224.31 c 180 316 346.12 58.92 5.87 1000000 0 1225.26/1225.61 c 180 314 340.68 51.85 6.57 1000000 0 1226.56/1226.91 c 178 386 339.78 59.62 5.70 1000000 0 1227.86/1228.21 c 169 288 337.44 58.66 5.75 1000000 0 1229.16/1229.51 c 180 335 341.45 59.79 5.71 1000000 0 1230.47/1230.81 c 152 411 349.12 63.53 5.50 1000000 0 1231.76/1232.11 c 161 239 344.48 61.44 5.61 1000000 0 1233.06/1233.41 c 177 350 343.34 56.14 6.12 1000000 0 1234.36/1234.71 c 192 300 340.91 51.87 6.57 1000000 0 1235.66/1236.01 c 169 370 341.06 60.37 5.65 1000000 0 1236.96/1237.30 c 194 326 342.75 57.01 6.01 1000000 0 1238.27/1238.61 c 189 323 345.23 50.96 6.77 1000000 0 1239.56/1239.90 c 136 339 338.75 58.30 5.81 1000000 0 1240.86/1241.20 c 190 296 344.74 54.45 6.33 1000000 0 1242.16/1242.51 c 192 321 351.75 60.42 5.82 1000000 0 1243.46/1243.81 c 179 455 340.94 54.52 6.25 1000000 0 1244.77/1245.11 c 185 308 347.18 53.92 6.44 1000000 0 1246.06/1246.41 c 177 393 332.49 51.90 6.41 1000000 0 1247.36/1247.71 c 164 370 343.12 51.36 6.68 1000000 0 1248.66/1249.02 c 183 354 345.61 57.15 6.05 1000000 0 1249.96/1250.31 c 149 306 343.49 62.04 5.54 1000000 0 1251.26/1251.61 c 184 250 333.17 55.16 6.04 1000000 0 1252.46/1252.90 c 151 343 339.53 64.46 5.27 1000000 0 1253.86/1254.20 c 166 407 344.55 59.40 5.80 1000000 0 1255.06/1255.50 c 186 314 340.95 54.32 6.28 1000000 0 1256.36/1256.80 c 170 316 349.15 57.46 6.08 1000000 0 1257.65/1258.10 c 177 233 339.35 52.61 6.45 1000000 0 1258.95/1259.39 c 168 278 338.11 60.96 5.55 1000000 0 1260.26/1260.69 c 185 333 348.64 54.91 6.35 1000000 0 1261.55/1261.99 c 143 316 335.91 51.34 6.54 1000000 0 1262.86/1263.29 c 175 387 341.45 54.50 6.26 1000000 0 1264.15/1264.59 c 157 372 350.49 56.32 6.22 1000000 0 1265.45/1265.90 c 182 301 343.33 55.46 6.19 1000000 0 1266.76/1267.19 c 150 310 338.58 52.05 6.51 1000000 0 1268.05/1268.50 c 170 308 346.85 53.14 6.53 1000000 0 1269.34/1269.78 c 193 356 346.74 53.71 6.46 1000000 0 1270.63/1271.08 c 198 397 353.53 57.37 6.16 1000000 0 1271.93/1272.38 c 188 392 341.77 51.86 6.59 1000000 0 1273.23/1273.68 c 191 346 342.73 51.52 6.65 1000000 0 1274.54/1274.97 c 180 305 336.27 53.23 6.32 1000000 0 1275.83/1276.27 c 157 400 336.00 53.14 6.32 1000000 0 1277.13/1277.57 c 158 319 344.32 57.82 5.95 1000000 0 1278.43/1278.87 c 169 318 341.34 59.45 5.74 1000000 0 1279.73/1280.17 c 180 322 341.00 55.34 6.16 1000000 0 1281.04/1281.47 c 170 358 332.92 54.48 6.11 1000000 0 1282.33/1282.77 c 186 335 347.74 50.47 6.89 1000000 0 1283.63/1284.07 c 164 318 339.21 60.00 5.65 1000000 0 1284.93/1285.37 c 176 431 344.12 51.81 6.64 1000000 0 1286.23/1286.67 c 175 272 349.37 58.77 5.94 1000000 0 1287.53/1287.97 c 164 323 344.55 57.69 5.97 1000000 0 1288.84/1289.27 c 173 306 336.70 52.94 6.36 1000000 0 1290.13/1290.57 c 159 249 327.35 54.16 6.04 1000000 0 1291.43/1291.87 c 180 352 353.81 55.82 6.34 1000000 0 1292.73/1293.17 c 159 325 331.15 53.04 6.24 1000000 0 1294.03/1294.47 c 182 402 339.50 54.70 6.21 1000000 0 1295.34/1295.76 c 181 395 337.92 59.01 5.73 1000000 0 1296.63/1297.06 c 184 342 351.99 50.58 6.96 1000000 0 1297.93/1298.36 c 202 322 350.09 56.91 6.15 1000000 0 1299.23/1299.66 c 191 335 338.61 46.91 7.22 1000000 0 1300.53/1300.96 c 193 393 341.76 55.30 6.18 1000000 0 1301.83/1302.26 c 137 364 345.05 59.39 5.81 1000000 0 1303.13/1303.56 c 115 312 341.04 60.76 5.61 1000000 0 1304.43/1304.85 c 161 419 332.79 54.46 6.11 1000000 0 1305.73/1306.15 c 165 309 336.49 55.57 6.06 1000000 0 1307.03/1307.45 c 152 358 334.69 56.74 5.90 1000000 0 1308.32/1308.75 c 175 331 336.88 52.05 6.47 1000000 0 1309.63/1310.05 c 164 295 336.81 55.94 6.02 1000000 0 1310.92/1311.35 c 164 334 336.04 53.98 6.23 1000000 0 1312.22/1312.65 c 162 365 341.92 52.94 6.46 1000000 0 1313.52/1313.95 c 169 288 344.73 58.11 5.93 1000000 0 1314.82/1315.24 c 173 330 335.28 55.12 6.08 1000000 0 1316.12/1316.54 c 159 328 346.86 56.73 6.11 1000000 0 1317.43/1317.83 c 140 246 325.94 56.66 5.75 1000000 0 1318.72/1319.13 c 168 387 334.16 52.77 6.33 1000000 0 1320.02/1320.43 c 199 330 333.80 58.30 5.73 1000000 0 1321.32/1321.72 c 193 314 338.93 53.03 6.39 1000000 0 1322.62/1323.02 c 169 351 336.87 53.15 6.34 1000000 0 1323.93/1324.32 c 177 267 331.93 56.00 5.93 1000000 0 1325.22/1325.62 c 181 322 347.87 55.95 6.22 1000000 0 1326.52/1326.92 c 169 315 344.52 56.79 6.07 1000000 0 1327.82/1328.22 c 180 370 339.49 52.79 6.43 1000000 0 1329.12/1329.52 c 197 333 348.69 53.03 6.58 1000000 0 1330.42/1330.82 c 180 388 335.61 62.38 5.38 1000000 0 1331.73/1332.12 c 178 302 339.97 56.65 6.00 1000000 0 1333.02/1333.42 c 182 361 346.39 57.85 5.99 1000000 0 1334.32/1334.72 c 175 387 337.78 50.90 6.64 1000000 0 1335.62/1336.02 c 152 275 331.70 58.66 5.65 1000000 0 1336.92/1337.32 c 177 390 338.74 52.81 6.41 1000000 0 1338.22/1338.62 c 179 335 336.45 54.37 6.19 1000000 0 1339.52/1339.92 c 175 349 347.16 55.45 6.26 1000000 0 1340.82/1341.22 c 178 332 339.90 53.66 6.33 1000000 0 1342.12/1342.51 c 188 266 345.83 62.28 5.55 1000000 0 1343.41/1343.81 c 160 323 339.95 57.35 5.93 1000000 0 1344.71/1345.12 c 178 317 343.85 56.17 6.12 1000000 0 1346.02/1346.41 c 144 369 339.47 53.00 6.41 1000000 0 1347.31/1347.71 c 144 300 342.80 51.12 6.71 1000000 0 1348.61/1349.01 c 176 361 340.84 55.20 6.17 1000000 0 1349.91/1350.30 c 185 366 337.64 56.29 6.00 1000000 0 1351.21/1351.60 c 164 394 343.99 50.36 6.83 1000000 0 1352.52/1352.90 c 168 257 340.85 57.70 5.91 1000000 0 1353.81/1354.20 c 180 244 349.00 61.73 5.65 1000000 0 1355.11/1355.50 c 194 356 343.21 49.82 6.89 1000000 0 1356.31/1356.79 c 153 346 339.54 54.17 6.27 1000000 0 1357.61/1358.09 c 172 290 329.22 53.27 6.18 1000000 0 1358.91/1359.39 c 204 327 343.57 48.04 7.15 1000000 0 1360.22/1360.69 c 185 326 345.53 54.98 6.28 1000000 0 1361.51/1361.99 c 173 324 332.20 54.72 6.07 1000000 0 1362.81/1363.30 c 188 254 348.76 56.42 6.18 1000000 0 1364.11/1364.59 c 183 277 341.32 57.25 5.96 1000000 0 1365.41/1365.89 c 185 334 341.65 53.90 6.34 1000000 0 1366.71/1367.19 c 126 294 345.76 51.85 6.67 1000000 0 1368.02/1368.49 c 167 320 339.19 61.51 5.51 1000000 0 1369.31/1369.79 c 159 321 335.57 58.56 5.73 1000000 0 1370.61/1371.09 c 184 256 345.71 56.10 6.16 1000000 0 1371.91/1372.39 c 183 342 344.79 52.13 6.61 1000000 0 1373.21/1373.69 c 155 346 338.80 55.38 6.12 1000000 0 1374.51/1374.99 c 163 343 339.05 59.62 5.69 1000000 0 1375.81/1376.29 c 168 395 339.91 57.11 5.95 1000000 0 1377.11/1377.58 c 181 342 341.91 58.34 5.86 1000000 0 1378.41/1378.88 c 137 308 338.12 52.61 6.43 1000000 0 1379.71/1380.18 c 156 219 329.96 52.05 6.34 1000000 0 1381.01/1381.48 c 204 330 347.57 51.55 6.74 1000000 0 1382.31/1382.78 c 163 386 339.91 56.33 6.03 1000000 0 1383.61/1384.08 c 170 360 338.32 48.26 7.01 1000000 0 1384.90/1385.38 c 156 400 345.23 56.03 6.16 1000000 0 1386.20/1386.68 c 164 281 332.41 52.22 6.37 1000000 0 1387.50/1387.98 c 172 246 337.86 51.29 6.59 1000000 0 1388.81/1389.28 c 185 355 344.51 55.88 6.16 1000000 0 1390.10/1390.57 c 203 403 344.66 46.91 7.35 1000000 0 1391.40/1391.87 c 185 336 347.76 56.73 6.13 1000000 0 1392.70/1393.17 c 173 339 348.69 56.65 6.16 1000000 0 1394.00/1394.48 c 177 342 347.89 58.23 5.97 1000000 0 1395.30/1395.78 c 187 316 349.34 51.48 6.79 1000000 0 1396.61/1397.08 c 194 292 353.04 54.24 6.51 1000000 0 1397.90/1398.38 c 160 300 339.03 57.69 5.88 1000000 0 1399.20/1399.68 c 159 347 340.27 56.48 6.02 1000000 0 1400.50/1400.98 c 178 407 344.52 51.75 6.66 1000000 0 1401.80/1402.28 c 191 323 337.24 57.02 5.91 1000000 0 1403.11/1403.58 c 174 381 330.43 48.70 6.79 1000000 0 1404.40/1404.88 c 159 295 339.49 55.86 6.08 1000000 0 1405.70/1406.18 c 199 278 341.95 49.17 6.95 1000000 0 1407.00/1407.48 c 169 351 341.03 56.47 6.04 1000000 0 1408.30/1408.78 c 172 296 340.66 57.43 5.93 1000000 0 1409.60/1410.08 c 176 418 331.23 52.51 6.31 1000000 0 1410.90/1411.38 c 167 281 340.38 61.64 5.52 1000000 0 1412.20/1412.69 c 185 303 343.52 47.49 7.23 1000000 0 1413.50/1413.99 c 185 291 346.18 54.92 6.30 1000000 0 1414.80/1415.29 c 193 374 346.45 48.61 7.13 1000000 0 1416.10/1416.60 c 162 304 346.37 54.63 6.34 1000000 0 1417.40/1417.89 c 190 391 342.84 54.75 6.26 1000000 0 1418.80/1419.20 c 170 326 350.50 58.93 5.95 1000000 0 1420.10/1420.50 c 177 393 343.17 57.67 5.95 1000000 0 1421.39/1421.80 c 171 386 346.35 61.03 5.68 1000000 0 1422.69/1423.10 c 194 338 345.23 51.71 6.68 1000000 0 1424.00/1424.41 c 178 277 342.87 58.46 5.87 1000000 0 1425.29/1425.71 c 159 403 338.47 54.63 6.20 1000000 0 1426.59/1427.01 c 181 374 343.70 55.22 6.22 1000000 0 1427.89/1428.31 c 168 387 339.20 54.03 6.28 1000000 0 1429.19/1429.61 c 147 334 343.64 59.04 5.82 1000000 0 1430.49/1430.90 c 150 383 336.96 56.44 5.97 1000000 0 1431.80/1432.21 c 129 427 343.75 61.37 5.60 1000000 0 1433.09/1433.50 c 142 371 338.11 53.59 6.31 1000000 0 1434.39/1434.80 c 184 200 345.76 54.20 6.38 1000000 0 1435.69/1436.10 c 191 326 344.39 58.64 5.87 1000000 0 1436.99/1437.41 c 168 370 342.58 51.24 6.69 1000000 0 1438.30/1438.71 c 155 245 345.83 57.27 6.04 1000000 0 1439.59/1440.01 c 191 299 343.78 49.53 6.94 1000000 0 1440.89/1441.31 c 149 357 351.39 52.56 6.69 1000000 0 1442.19/1442.61 c 183 326 336.35 53.12 6.33 1000000 0 1443.49/1443.91 c 183 284 342.90 55.20 6.21 1000000 0 1444.79/1445.21 c 162 350 343.85 56.36 6.10 1000000 0 1446.09/1446.51 c 169 360 343.80 64.68 5.32 1000000 0 1447.39/1447.81 c 183 302 352.52 61.13 5.77 1000000 0 1448.69/1449.11 c 176 244 335.74 57.38 5.85 1000000 0 1449.99/1450.40 c 174 358 340.26 56.31 6.04 1000000 0 1451.29/1451.70 c 160 276 336.64 55.56 6.06 1000000 0 1452.59/1453.00 c 196 346 343.68 58.11 5.91 1000000 0 1453.88/1454.30 c 158 306 346.85 56.40 6.15 1000000 0 1455.18/1455.60 c 185 320 345.88 60.81 5.69 1000000 0 1456.48/1456.90 c 160 318 344.48 56.22 6.13 1000000 0 1457.68/1458.20 c 166 322 329.06 54.15 6.08 1000000 0 1459.08/1459.50 c 209 426 346.20 53.98 6.41 1000000 0 1460.29/1460.80 c 170 410 344.53 56.47 6.10 1000000 0 1461.68/1462.10 c 168 351 342.16 53.54 6.39 1000000 0 1462.98/1463.40 c 168 302 348.49 50.91 6.85 1000000 0 1464.28/1464.70 c 164 349 336.56 46.56 7.23 1000000 0 1465.58/1466.00 c 154 383 345.51 53.29 6.48 1000000 0 1466.89/1467.31 c 184 341 341.79 58.13 5.88 1000000 0 1468.18/1468.61 c 175 293 338.55 46.35 7.30 1000000 0 1469.48/1469.90 c 188 300 335.08 53.82 6.23 1000000 0 1470.78/1471.20 c 166 392 334.89 54.33 6.16 1000000 0 1472.08/1472.50 c 161 430 348.94 51.24 6.81 1000000 0 1473.38/1473.80 c 169 357 351.45 57.74 6.09 1000000 0 1474.69/1475.11 c 183 391 348.28 57.32 6.08 1000000 0 1475.98/1476.41 c 147 357 347.58 55.03 6.32 1000000 0 1477.28/1477.71 c 205 302 343.73 48.11 7.14 1000000 0 1478.58/1479.01 c 165 219 345.46 56.31 6.13 1000000 0 1479.88/1480.31 c 148 388 333.43 58.06 5.74 1000000 0 1481.18/1481.61 c 153 254 344.26 57.84 5.95 1000000 0 1482.48/1482.90 c 174 325 330.27 55.72 5.93 1000000 0 1483.78/1484.20 c 144 310 342.82 59.27 5.78 1000000 0 1485.08/1485.50 c 180 297 341.63 53.06 6.44 1000000 0 1486.38/1486.80 c 171 298 339.51 49.36 6.88 1000000 0 1487.68/1488.11 c 187 296 352.78 56.04 6.30 1000000 0 1488.98/1489.41 c 178 316 340.05 51.50 6.60 1000000 0 1490.28/1490.71 c 202 247 361.15 56.05 6.44 1000000 0 1491.58/1492.01 c 148 322 329.90 56.26 5.86 1000000 0 1492.88/1493.31 c 180 301 343.64 59.18 5.81 1000000 0 1494.17/1494.61 c 159 397 346.46 54.04 6.41 1000000 0 1495.48/1495.91 c 170 358 344.08 56.19 6.12 1000000 0 1496.77/1497.21 c 174 304 338.54 49.88 6.79 1000000 0 1498.07/1498.51 c 176 384 339.32 55.71 6.09 1000000 0 1499.37/1499.81 c 152 342 336.58 64.07 5.25 1000000 0 1500.67/1501.11 c 171 339 339.81 56.26 6.04 1000000 0 1501.97/1502.40 c 160 355 337.64 53.61 6.30 1000000 0 1503.18/1503.70 c 151 261 340.11 49.60 6.86 1000000 0 1504.57/1505.01 c 188 366 349.46 60.61 5.77 1000000 0 1505.87/1506.30 c 190 330 337.77 55.21 6.12 1000000 0 1507.17/1507.61 c 181 392 348.29 56.15 6.20 1000000 0 1508.47/1508.91 c 175 290 337.92 57.25 5.90 1000000 0 1509.78/1510.21 c 154 425 353.64 64.95 5.44 1000000 0 1511.07/1511.50 c 160 291 339.25 53.38 6.36 1000000 0 1512.37/1512.80 c 173 345 338.12 54.41 6.21 1000000 0 1513.67/1514.10 c 169 504 345.34 50.81 6.80 1000000 0 1514.97/1515.40 c 166 335 340.09 56.12 6.06 1000000 0 1516.17/1516.70 c 186 308 345.39 55.49 6.22 1000000 0 1517.48/1518.00 c 147 195 343.50 54.77 6.27 1000000 0 1518.77/1519.29 c 183 380 336.27 49.67 6.77 1000000 0 1520.07/1520.59 c 153 368 334.28 54.44 6.14 1000000 0 1521.37/1521.89 c 184 339 336.57 51.28 6.56 1000000 0 1522.67/1523.19 c 168 331 351.87 52.87 6.66 1000000 0 1523.97/1524.49 c 194 309 349.05 53.83 6.48 1000000 0 1525.27/1525.79 c 151 419 341.90 59.13 5.78 1000000 0 1526.56/1527.09 c 182 303 340.36 55.25 6.16 1000000 0 1527.86/1528.38 c 133 302 336.06 59.54 5.64 1000000 0 1529.16/1529.68 c 158 337 341.79 56.58 6.04 1000000 0 1530.46/1530.98 c 148 350 343.01 53.34 6.43 1000000 0 1531.77/1532.28 c 191 267 336.78 51.75 6.51 1000000 0 1533.06/1533.58 c 157 360 335.26 50.92 6.58 1000000 0 1534.36/1534.88 c 151 428 346.37 49.80 6.96 1000000 0 1535.66/1536.18 c 174 324 329.38 51.84 6.35 1000000 0 1536.96/1537.47 c 196 362 332.73 50.75 6.56 1000000 0 1538.26/1538.77 c 172 277 341.26 60.36 5.65 1000000 0 1539.57/1540.08 c 167 325 345.49 59.58 5.80 1000000 0 1540.86/1541.38 c 174 283 353.00 57.06 6.19 1000000 0 1542.16/1542.68 c 186 303 348.99 56.39 6.19 1000000 0 1543.46/1543.98 c 185 351 350.13 54.92 6.38 1000000 0 1544.76/1545.28 c 185 284 340.62 52.75 6.46 1000000 0 1546.07/1546.59 c 196 361 354.44 51.04 6.94 1000000 0 1547.36/1547.88 c 174 461 341.43 54.01 6.32 1000000 0 1548.66/1549.18 c 168 315 334.45 52.90 6.32 1000000 0 1549.96/1550.48 c 175 336 343.45 52.08 6.59 1000000 0 1551.26/1551.78 c 166 232 345.95 52.86 6.54 1000000 0 1552.56/1553.08 c 189 344 343.55 54.12 6.35 1000000 0 1553.87/1554.38 c 183 299 342.52 54.38 6.30 1000000 0 1555.16/1555.68 c 177 369 335.43 53.02 6.33 1000000 0 1556.46/1556.97 c 183 239 334.32 53.59 6.24 1000000 0 1557.76/1558.27 c 163 290 334.83 55.46 6.04 1000000 0 1559.06/1559.57 c 175 319 345.54 59.61 5.80 1000000 0 1560.36/1560.87 c 175 376 344.18 56.20 6.12 1000000 0 1561.66/1562.17 c 174 410 336.71 52.11 6.46 1000000 0 1562.97/1563.47 c 157 303 338.11 58.24 5.81 1000000 0 1564.27/1564.77 c 173 406 345.13 52.89 6.53 1000000 0 1565.56/1566.08 c 184 383 343.16 55.51 6.18 1000000 0 1566.86/1567.38 c 187 287 335.84 53.70 6.25 1000000 0 1568.17/1568.68 c 163 305 332.51 53.03 6.27 1000000 0 1569.46/1569.97 c 175 295 342.15 61.45 5.57 1000000 0 1570.76/1571.27 c 189 343 338.24 54.59 6.20 1000000 0 1572.06/1572.57 c 171 330 348.00 54.18 6.42 1000000 0 1573.36/1573.87 c 184 344 344.54 52.74 6.53 1000000 0 1574.67/1575.18 c 202 362 352.18 50.78 6.94 1000000 0 1575.96/1576.47 c 170 323 332.34 53.19 6.25 1000000 0 1577.26/1577.77 c 175 275 342.64 60.78 5.64 1000000 0 1578.56/1579.07 c 180 304 329.69 50.60 6.52 1000000 0 1579.86/1580.37 c 165 335 342.48 59.21 5.78 1000000 0 1581.16/1581.67 c 141 338 338.50 52.62 6.43 1000000 0 1582.46/1582.96 c 158 359 345.54 62.47 5.53 1000000 0 1583.76/1584.26 c 159 293 340.22 56.06 6.07 1000000 0 1585.06/1585.56 c 163 363 338.43 55.59 6.09 1000000 0 1586.36/1586.87 c 184 363 348.25 53.61 6.50 1000000 0 1587.66/1588.16 c 187 263 341.03 55.22 6.18 1000000 0 1588.96/1589.46 c 190 285 347.16 57.66 6.02 1000000 0 1590.26/1590.76 c 166 287 348.39 58.67 5.94 1000000 0 1591.55/1592.06 c 166 252 337.96 55.82 6.05 1000000 0 1592.85/1593.36 c 178 396 345.74 58.02 5.96 1000000 0 1594.15/1594.67 c 149 350 344.44 54.55 6.31 1000000 0 1595.45/1595.97 c 197 247 346.01 52.21 6.63 1000000 0 1596.76/1597.27 c 188 289 341.38 56.70 6.02 1000000 0 1598.05/1598.57 c 181 320 340.95 56.86 6.00 1000000 0 1599.35/1599.87 c 180 328 351.16 56.64 6.20 1000000 0 1600.65/1601.17 c 195 377 346.47 57.52 6.02 1000000 0 1601.95/1602.46 c 170 295 336.73 58.13 5.79 1000000 0 1603.26/1603.76 c 191 394 342.42 52.40 6.54 1000000 0 1604.55/1605.06 c 183 326 340.61 57.27 5.95 1000000 0 1605.85/1606.35 c 175 353 337.50 53.67 6.29 1000000 0 1607.15/1607.65 c 157 462 341.61 55.08 6.20 1000000 0 1608.45/1608.94 c 173 336 332.24 58.27 5.70 1000000 0 1609.75/1610.25 c 175 312 347.64 53.44 6.51 1000000 0 1611.06/1611.55 c 182 302 339.71 51.40 6.61 1000000 0 1612.35/1612.84 c 157 362 333.40 56.09 5.94 1000000 0 1613.65/1614.15 c 186 421 352.84 57.19 6.17 1000000 0 1614.95/1615.45 c 196 314 349.47 55.14 6.34 1000000 0 1616.25/1616.76 c 165 360 346.38 51.22 6.76 1000000 0 1617.56/1618.06 c 135 364 346.52 67.04 5.17 1000000 0 1618.85/1619.36 c 189 277 344.86 53.14 6.49 1000000 0 1620.15/1620.66 c 179 340 348.16 55.50 6.27 1000000 0 1621.45/1621.96 c 188 363 343.20 54.44 6.30 1000000 0 1622.75/1623.26 c 173 377 337.64 50.39 6.70 1000000 0 1624.05/1624.56 c 149 475 334.83 58.79 5.70 1000000 0 1625.35/1625.86 c 176 349 345.03 54.00 6.39 1000000 0 1626.64/1627.16 c 179 411 336.50 60.48 5.56 1000000 0 1627.94/1628.46 c 183 331 343.00 51.51 6.66 1000000 0 1629.24/1629.76 c 191 322 339.12 51.64 6.57 1000000 0 1630.54/1631.06 c 186 312 344.75 55.59 6.20 1000000 0 1631.85/1632.36 c 149 365 336.00 50.43 6.66 1000000 0 1633.14/1633.65 c 164 310 331.13 57.68 5.74 1000000 0 1634.44/1634.95 c 153 332 334.49 57.79 5.79 1000000 0 1635.74/1636.25 c 211 283 345.55 52.38 6.60 1000000 0 1637.04/1637.55 c 190 344 341.23 53.92 6.33 1000000 0 1638.34/1638.85 c 132 232 339.55 60.37 5.62 1000000 0 1639.65/1640.15 c 180 384 347.18 53.17 6.53 1000000 0 1640.94/1641.46 c 182 305 340.87 57.94 5.88 1000000 0 1642.24/1642.75 c 191 345 336.47 54.43 6.18 1000000 0 1643.54/1644.05 c 145 366 330.94 57.04 5.80 1000000 0 1644.84/1645.35 c 173 345 339.45 60.18 5.64 1000000 0 1646.15/1646.65 c 169 406 333.93 52.16 6.40 1000000 0 1647.44/1647.94 c 171 360 332.74 56.00 5.94 1000000 0 1648.74/1649.24 c 166 293 333.43 51.43 6.48 1000000 0 1650.04/1650.54 c 168 426 344.21 56.53 6.09 1000000 0 1651.34/1651.84 c 184 272 345.61 55.93 6.18 1000000 0 1652.64/1653.13 c 164 317 338.52 58.22 5.81 1000000 0 1653.95/1654.43 c 184 359 338.33 55.89 6.05 1000000 0 1655.24/1655.73 c 141 265 330.33 49.68 6.65 1000000 0 1656.54/1657.02 c 173 335 339.86 55.42 6.13 1000000 0 1657.84/1658.33 c 132 330 346.64 53.94 6.43 1000000 0 1659.14/1659.63 c 174 416 342.44 52.80 6.49 1000000 0 1660.44/1660.93 c 193 315 347.04 61.43 5.65 1000000 0 1661.74/1662.22 c 175 421 331.82 57.58 5.76 1000000 0 1663.04/1663.52 c 189 300 344.73 49.80 6.92 1000000 0 1664.34/1664.82 c 177 344 341.47 55.03 6.20 1000000 0 1665.63/1666.12 c 147 388 333.01 50.61 6.58 1000000 0 1666.93/1667.42 c 190 263 347.24 53.30 6.51 1000000 0 1668.24/1668.72 c 187 290 345.66 55.70 6.21 1000000 0 1669.53/1670.02 c 181 326 340.78 54.67 6.23 1000000 0 1670.83/1671.32 c 171 333 337.53 54.74 6.17 1000000 0 1672.13/1672.62 c 180 313 342.93 58.85 5.83 1000000 0 1673.43/1673.91 c 174 440 333.99 52.75 6.33 1000000 0 1674.74/1675.21 c 182 312 334.29 51.18 6.53 1000000 0 1676.03/1676.51 c 144 256 351.82 53.05 6.63 1000000 0 1677.33/1677.80 c 168 278 328.94 54.35 6.05 1000000 0 1678.63/1679.10 c 151 293 344.71 59.08 5.84 1000000 0 1679.93/1680.40 c 178 435 337.90 52.00 6.50 1000000 0 1681.23/1681.70 c 164 278 348.03 49.99 6.96 1000000 0 1682.54/1683.00 c 173 404 348.96 55.06 6.34 1000000 0 1683.83/1684.30 c 150 328 337.62 59.79 5.65 1000000 0 1685.13/1685.60 c 161 360 340.00 54.24 6.27 1000000 0 1686.43/1686.90 c 128 466 338.29 56.02 6.04 1000000 0 1687.73/1688.20 c 163 446 340.20 56.97 5.97 1000000 0 1689.03/1689.50 c 140 409 350.55 54.26 6.46 1000000 0 1690.33/1690.81 c 199 236 342.80 58.84 5.83 1000000 0 1691.63/1692.11 c 199 356 356.77 59.20 6.03 1000000 0 1692.93/1693.41 c 200 284 342.79 51.39 6.67 1000000 0 1694.23/1694.70 c 160 334 332.99 56.92 5.85 1000000 0 1695.53/1696.00 c 186 315 348.20 52.94 6.58 1000000 0 1696.73/1697.30 c 184 372 346.65 54.83 6.32 1000000 0 1698.13/1698.60 c 164 391 341.26 57.10 5.98 1000000 0 1699.43/1699.91 c 187 367 350.09 56.95 6.15 1000000 0 1700.73/1701.21 c 180 309 343.83 58.22 5.91 1000000 0 1702.02/1702.51 c 175 363 352.34 58.01 6.07 1000000 0 1703.33/1703.81 c 170 330 338.61 55.98 6.05 1000000 0 1704.62/1705.11 c 142 307 334.06 50.00 6.68 1000000 0 1705.92/1706.42 c 182 341 340.34 46.16 7.37 1000000 0 1707.22/1707.71 c 184 435 333.48 48.93 6.82 1000000 0 1708.52/1709.01 c 163 361 345.68 56.39 6.13 1000000 0 1709.82/1710.31 c 180 355 337.36 52.18 6.47 1000000 0 1711.13/1711.61 c 133 400 337.80 55.27 6.11 1000000 0 1712.42/1712.91 c 185 336 342.52 57.82 5.92 1000000 0 1713.72/1714.20 c 175 316 338.41 53.66 6.31 1000000 0 1715.02/1715.50 c 188 388 348.33 52.61 6.62 1000000 0 1716.32/1716.80 c 185 391 338.41 56.68 5.97 1000000 0 1717.52/1718.10 c 167 320 346.50 60.73 5.71 1000000 0 1718.92/1719.40 c 185 330 357.41 56.10 6.37 1000000 0 1720.22/1720.70 c 164 285 335.52 53.34 6.29 1000000 0 1721.42/1721.99 c 140 309 333.10 59.14 5.63 1000000 0 1722.72/1723.29 c 166 308 338.46 55.72 6.07 1000000 0 1724.02/1724.59 c 154 333 333.09 56.73 5.87 1000000 0 1725.33/1725.89 c 165 346 336.14 52.75 6.37 1000000 0 1726.62/1727.19 c 177 302 336.66 55.27 6.09 1000000 0 1727.92/1728.49 c 178 294 339.83 53.32 6.37 1000000 0 1729.22/1729.79 c 145 257 344.92 53.15 6.49 1000000 0 1730.52/1731.09 c 161 384 345.49 61.97 5.58 1000000 0 1731.82/1732.39 c 147 306 346.45 58.14 5.96 1000000 0 1733.12/1733.69 c 171 421 339.68 52.44 6.48 1000000 0 1734.42/1734.99 c 186 363 341.21 52.07 6.55 1000000 0 1735.72/1736.29 c 197 351 344.05 55.06 6.25 1000000 0 1737.02/1737.59 c 181 373 344.67 54.13 6.37 1000000 0 1738.32/1738.89 c 142 352 333.01 56.13 5.93 1000000 0 1739.62/1740.19 c 164 358 340.64 54.29 6.27 1000000 0 1740.92/1741.48 c 173 342 334.04 55.70 6.00 1000000 0 1742.22/1742.78 c 183 313 346.28 57.31 6.04 1000000 0 1743.51/1744.08 c 169 308 336.70 58.94 5.71 1000000 0 1744.81/1745.38 c 177 254 345.34 56.53 6.11 1000000 0 1746.11/1746.68 c 173 352 342.24 54.81 6.24 1000000 0 1747.42/1747.98 c 186 299 340.25 56.65 6.01 1000000 0 1748.71/1749.27 c 184 349 340.41 54.92 6.20 1000000 0 1750.01/1750.57 c 196 394 344.10 55.74 6.17 1000000 0 1751.31/1751.87 c 153 193 325.66 59.73 5.45 1000000 0 1752.61/1753.16 c 178 471 333.85 52.16 6.40 1000000 0 1753.92/1754.47 c 192 321 345.01 51.45 6.71 1000000 0 1755.21/1755.77 c 152 284 342.36 55.93 6.12 1000000 0 1756.51/1757.06 c 181 432 342.94 58.87 5.83 1000000 0 1757.81/1758.36 c 174 336 334.75 52.19 6.41 1000000 0 1759.11/1759.66 c 178 339 341.53 51.02 6.69 1000000 0 1760.41/1760.96 c 180 389 346.99 56.51 6.14 1000000 0 1761.72/1762.26 c 161 432 336.77 55.90 6.02 1000000 0 1763.01/1763.55 c 140 390 343.20 50.02 6.86 1000000 0 1764.31/1764.86 c 184 395 347.23 57.12 6.08 1000000 0 1765.61/1766.16 c 182 300 334.86 53.99 6.20 1000000 0 1766.91/1767.46 c 191 403 345.03 55.34 6.23 1000000 0 1768.22/1768.76 c 163 341 344.28 54.78 6.28 1000000 0 1769.51/1770.06 c 188 273 338.05 58.82 5.75 1000000 0 1770.81/1771.36 c 165 437 337.53 55.27 6.11 1000000 0 1772.11/1772.66 c 154 403 333.66 54.48 6.12 1000000 0 1773.41/1773.96 c 168 298 337.04 55.74 6.05 1000000 0 1774.71/1775.26 c 178 292 333.41 55.55 6.00 1000000 0 1776.01/1776.56 c 175 434 351.19 56.06 6.26 1000000 0 1777.31/1777.86 c 162 300 336.34 55.26 6.09 1000000 0 1778.60/1779.16 c 198 344 344.14 53.01 6.49 1000000 0 1779.90/1780.46 c 177 376 333.70 52.68 6.33 1000000 0 1781.20/1781.76 c 159 254 342.42 56.28 6.08 1000000 0 1782.51/1783.05 c 140 379 331.47 53.47 6.20 1000000 0 1783.80/1784.35 c 172 412 343.33 56.78 6.05 1000000 0 1785.10/1785.65 c 186 379 340.95 60.71 5.62 1000000 0 1786.40/1786.96 c 173 310 347.56 63.42 5.48 1000000 0 1787.70/1788.26 c 169 369 338.10 55.13 6.13 1000000 0 1789.00/1789.56 c 152 426 336.56 58.03 5.80 1000000 0 1790.31/1790.85 c 186 332 330.29 51.70 6.39 1000000 0 1791.60/1792.15 c 186 455 341.68 52.58 6.50 1000000 0 1792.90/1793.45 c 180 423 336.28 58.26 5.77 1000000 0 1794.20/1794.75 c 185 277 344.24 56.83 6.06 1000000 0 1795.50/1796.05 c 190 395 352.11 51.09 6.89 1000000 0 1796.81/1797.35 c 156 404 350.57 58.90 5.95 1000000 0 1798.10/1798.65 c 158 369 342.83 58.89 5.82 1000000 0 1799.40/1799.95 c 155 383 344.28 60.80 5.66 1000000 0 1800.01/1800.50 HOME/run: line 2: 22914 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-2685532-1278441593/watcher-2685532-1278441593 -o /tmp/evaluation-result-2685532-1278441593/solver-2685532-1278441593 -C 1800 -W 2000 -M 1800 run HOME/instance-2685532-1278441593.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.07 1.02 1.08 3/106 22913 /proc/meminfo: memFree=1457908/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) R 22911 22913 22163 0 -1 4202496 342 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906286997 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [startup+0.0850539 s] /proc/loadavg: 1.07 1.02 1.08 3/106 22913 /proc/meminfo: memFree=1457908/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101055 s] /proc/loadavg: 1.07 1.02 1.08 3/106 22913 /proc/meminfo: memFree=1457908/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301068 s] /proc/loadavg: 1.07 1.02 1.08 3/106 22913 /proc/meminfo: memFree=1457908/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701094 s] /proc/loadavg: 1.07 1.02 1.08 3/106 22913 /proc/meminfo: memFree=1457908/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50115 s] /proc/loadavg: 1.07 1.02 1.08 2/108 22915 /proc/meminfo: memFree=1453676/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=1.49 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 149 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526003 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10125 s] /proc/loadavg: 1.07 1.02 1.08 2/108 22915 /proc/meminfo: memFree=1453428/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=3.09 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 309 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526638 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30146 s] /proc/loadavg: 1.07 1.02 1.08 2/108 22916 /proc/meminfo: memFree=1453428/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=6.29 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 629 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7009 s] /proc/loadavg: 1.06 1.01 1.07 2/108 22916 /proc/meminfo: memFree=1453304/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=12.69 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 1269 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5007 s] /proc/loadavg: 1.05 1.01 1.07 2/108 22916 /proc/meminfo: memFree=1453304/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=25.48 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 2548 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526311 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1004 s] /proc/loadavg: 1.03 1.01 1.07 2/108 22916 /proc/meminfo: memFree=1453304/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=51.07 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 5107 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.07 2/108 22918 /proc/meminfo: memFree=1453180/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=102.27 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 10227 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.06 2/108 22920 /proc/meminfo: memFree=1453056/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=162.25 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 16225 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526670 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.05 2/108 22921 /proc/meminfo: memFree=1453056/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=222.23 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 22223 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.05 2/108 22923 /proc/meminfo: memFree=1452932/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=282.21 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 28221 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49152 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.04 2/108 22924 /proc/meminfo: memFree=1452932/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=342.19 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 34219 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 49152 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.04 2/108 22926 /proc/meminfo: memFree=1452932/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=402.17 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 40217 0 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=1121.99 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 112198 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134525783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22947 /proc/meminfo: memFree=1451568/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=1181.98 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 118197 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22948 /proc/meminfo: memFree=1451320/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=1241.96 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 124195 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22959 /proc/meminfo: memFree=1450328/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=1301.93 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 130192 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22961 /proc/meminfo: memFree=1450328/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=1361.91 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 136190 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526719 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22962 /proc/meminfo: memFree=1450328/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=1421.9 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 142189 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22964 /proc/meminfo: memFree=1450328/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=1481.88 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 148187 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526935 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22965 /proc/meminfo: memFree=1450328/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=1541.86 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 154185 1 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22967 /proc/meminfo: memFree=1450328/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=1601.85 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 160183 2 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526584 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22969 /proc/meminfo: memFree=1450204/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=1661.84 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 166182 2 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22970 /proc/meminfo: memFree=1450204/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=1721.82 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 172180 2 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22972 /proc/meminfo: memFree=1450080/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=1781.8 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 178178 2 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526359 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22972 /proc/meminfo: memFree=1450080/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=1800.01 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 179999 2 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 22972 /proc/meminfo: memFree=1450080/2059040 swapFree=4192956/4192956 [pid=22913] ppid=22911 vsize=8700 CPUtime=0 /proc/22913/stat : 22913 (run) S 22911 22913 22163 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 12370742 8908800 243 1992294400 4194304 4922060 140737179619728 18446744073709551615 257906285701 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/22913/statm: 2175 243 204 178 0 68 0 [pid=22914] ppid=22913 vsize=40452 CPUtime=1800.01 /proc/22914/stat : 22914 (PB-wave) R 22913 22913 22163 0 -1 4202496 1125 0 0 0 179999 2 0 0 25 0 1 0 12370743 41422848 1055 1992294400 134512640 135071400 4291367696 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/22914/statm: 10113 1055 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.99 CPU system time (s): 0.025996 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.99 system time used= 0.025996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1496 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= 6336 runsolver used 2.79157 second user time and 8.74167 second system time The end
Begin job on node030 at 2010-07-06 20:39:53 IDJOB=2685532 IDBENCH=76143 IDSOLVER=1171 FILE ID=node030/2685532-1278441593 PBS_JOBID= 11233448 Free space on /tmp= 62504 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6027_4-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685532-1278441593/watcher-2685532-1278441593 -o /tmp/evaluation-result-2685532-1278441593/solver-2685532-1278441593 -C 1800 -W 2000 -M 1800 run HOME/instance-2685532-1278441593.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 199890e645cc457b6a007529ee1e952d RANDOM SEED=1069906423 node030.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.217 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.43 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.217 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: 1458428 kB Buffers: 105984 kB Cached: 361252 kB SwapCached: 0 kB Active: 174684 kB Inactive: 352756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1458428 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1504 kB Writeback: 0 kB AnonPages: 60080 kB Mapped: 14536 kB Slab: 51240 kB PageTables: 4068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180060 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= 62504 MiB End job on node030 at 2010-07-06 21:09:53