Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.12 | 1800.62 |
Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6015_4-sat.opb |
MD5SUM | 69559824b87170fe6ae330353d26cc7c |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.139978 |
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 | 9272 |
Total number of constraints | 28866 |
Number of constraints which are clauses | 28566 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 300 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 60 |
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 | 52 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 391 |
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.08 c PB-wave - v2 0.00/0.08 c command line = ./PB-wave 0.00/0.08 c seed = 40416710 0.00/0.08 c cutoff = 1000000 0.00/0.08 c tries = 1000000 0.00/0.08 c heuristic = c best, noise 50 / 100 0.00/0.08 #var 9272 #con 28866 0.00/0.08 mode is SAT 0.00/0.08 c tail starts after flip = 27816 0.00/0.08 c numatom = 9272, numclause = 28866, numliterals = 79038 0.00/0.08 c wff read in 0.00/0.08 c 0.00/0.08 c lowest final avg noise noise total avg mean mean 0.00/0.08 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.08 c this this this this this this success success until std 0.00/0.08 c try try try try try try rate tries assign dev 0.00/0.08 c 1.19/1.28 c 200 329 388.25 67.77 5.73 1000000 0 2.39/2.49 c 242 363 403.66 72.36 5.58 1000000 0 3.69/3.70 c 177 370 388.96 73.11 5.32 1000000 0 4.89/4.91 c 205 411 393.03 72.72 5.40 1000000 0 6.09/6.12 c 192 356 400.37 68.65 5.83 1000000 0 7.29/7.33 c 199 482 401.46 64.73 6.20 1000000 0 8.49/8.54 c 221 378 391.37 79.35 4.93 1000000 0 9.69/9.75 c 208 360 391.92 64.56 6.07 1000000 0 10.89/10.95 c 236 469 394.40 70.81 5.57 1000000 0 12.09/12.16 c 231 322 405.78 65.62 6.18 1000000 0 13.29/13.37 c 182 375 401.64 74.58 5.39 1000000 0 14.49/14.58 c 226 399 394.12 69.26 5.69 1000000 0 15.69/15.79 c 220 400 394.70 70.01 5.64 1000000 0 16.89/16.99 c 203 430 397.94 66.38 5.99 1000000 0 18.19/18.20 c 213 341 393.32 61.51 6.39 1000000 0 19.39/19.41 c 229 321 399.78 76.11 5.25 1000000 0 20.58/20.61 c 208 375 404.11 79.43 5.09 1000000 0 21.78/21.82 c 222 367 395.75 73.38 5.39 1000000 0 22.99/23.03 c 220 400 396.50 63.67 6.23 1000000 0 24.19/24.24 c 232 379 398.12 67.84 5.87 1000000 0 25.38/25.45 c 216 374 394.65 61.25 6.44 1000000 0 26.58/26.66 c 227 300 403.69 68.10 5.93 1000000 0 27.78/27.88 c 219 484 406.44 68.05 5.97 1000000 0 28.98/29.08 c 203 465 396.03 69.18 5.72 1000000 0 30.18/30.29 c 211 372 400.40 69.86 5.73 1000000 0 31.38/31.50 c 232 378 395.36 62.36 6.34 1000000 0 32.68/32.71 c 224 370 398.71 78.10 5.10 1000000 0 33.88/33.91 c 218 358 404.56 70.95 5.70 1000000 0 35.09/35.13 c 220 287 392.33 62.38 6.29 1000000 0 36.29/36.33 c 216 481 390.05 75.14 5.19 1000000 0 37.48/37.54 c 197 553 398.34 65.87 6.05 1000000 0 38.68/38.75 c 171 374 392.59 78.91 4.98 1000000 0 39.88/39.96 c 224 450 399.09 66.57 6.00 1000000 0 41.08/41.17 c 214 412 387.32 64.85 5.97 1000000 0 42.28/42.37 c 219 350 387.79 61.53 6.30 1000000 0 43.48/43.58 c 219 368 400.15 82.57 4.85 1000000 0 44.68/44.79 c 235 387 403.27 63.93 6.31 1000000 0 45.98/46.00 c 242 344 398.10 59.84 6.65 1000000 0 47.18/47.21 c 209 409 383.69 72.29 5.31 1000000 0 48.38/48.42 c 177 449 392.60 73.36 5.35 1000000 0 49.58/49.63 c 250 472 407.54 58.52 6.96 1000000 0 50.78/50.84 c 220 385 397.26 71.69 5.54 1000000 0 51.98/52.05 c 243 339 397.58 68.51 5.80 1000000 0 53.17/53.26 c 186 365 389.79 67.53 5.77 1000000 0 54.37/54.47 c 181 383 389.07 78.71 4.94 1000000 0 55.57/55.68 c 234 357 399.10 64.82 6.16 1000000 0 56.77/56.89 c 226 306 394.57 71.10 5.55 1000000 0 57.97/58.09 c 227 342 396.52 67.13 5.91 1000000 0 59.28/59.30 c 218 363 412.40 70.56 5.85 1000000 0 60.48/60.51 c 191 368 394.86 74.01 5.34 1000000 0 61.67/61.72 c 200 345 397.85 66.75 5.96 1000000 0 62.87/62.93 c 209 246 383.33 63.72 6.02 1000000 0 64.07/64.13 c 208 353 394.49 67.43 5.85 1000000 0 65.27/65.34 c 226 320 388.16 61.22 6.34 1000000 0 66.47/66.55 c 212 340 402.89 72.20 5.58 1000000 0 67.67/67.76 c 217 483 404.34 76.58 5.28 1000000 0 68.87/68.97 c 213 381 394.73 63.19 6.25 1000000 0 70.07/70.18 c 204 410 398.51 62.60 6.37 1000000 0 71.27/71.39 c 216 343 400.16 80.92 4.95 1000000 0 72.48/72.59 c 211 366 382.93 70.75 5.41 1000000 0 73.77/73.80 c 208 385 407.75 59.04 6.91 1000000 0 74.97/75.02 c 236 324 402.66 63.96 6.30 1000000 0 76.17/76.23 c 209 380 387.37 68.43 5.66 1000000 0 77.37/77.43 c 216 396 395.05 58.81 6.72 1000000 0 78.57/78.64 c 216 438 391.79 71.78 5.46 1000000 0 79.77/79.84 c 240 332 386.40 66.93 5.77 1000000 0 80.97/81.06 c 207 400 405.45 66.30 6.12 1000000 0 82.17/82.26 c 207 415 390.36 73.29 5.33 1000000 0 83.37/83.47 c 187 366 393.15 73.39 5.36 1000000 0 84.57/84.68 c 219 422 403.23 77.13 5.23 1000000 0 85.77/85.88 c 214 448 377.12 67.47 5.59 1000000 0 87.06/87.10 c 230 416 412.37 62.85 6.56 1000000 0 88.26/88.31 c 188 317 392.52 67.50 5.82 1000000 0 89.46/89.51 c 223 410 399.91 69.02 5.79 1000000 0 90.66/90.72 c 201 322 398.76 65.19 6.12 1000000 0 91.86/91.94 c 215 413 396.08 73.36 5.40 1000000 0 93.06/93.14 c 233 444 396.54 61.57 6.44 1000000 0 94.26/94.35 c 213 310 394.43 78.33 5.04 1000000 0 95.46/95.56 c 215 336 401.35 71.77 5.59 1000000 0 96.67/96.77 c 196 297 385.04 69.72 5.52 1000000 0 97.87/97.98 c 225 339 386.07 68.86 5.61 1000000 0 99.06/99.19 c 207 336 391.44 65.34 5.99 1000000 0 100.26/100.40 c 217 402 397.46 67.02 5.93 1000000 0 101.56/101.60 c 216 372 398.35 76.85 5.18 1000000 0 102.76/102.82 c 212 430 403.09 66.45 6.07 1000000 0 103.96/104.02 c 219 317 391.68 78.40 5.00 1000000 0 105.16/105.23 c 223 336 398.61 66.60 5.99 1000000 0 106.36/106.44 c 199 334 399.06 77.65 5.14 1000000 0 107.56/107.65 c 244 389 401.51 64.00 6.27 1000000 0 108.77/108.86 c 199 413 402.40 74.77 5.38 1000000 0 109.97/110.07 c 219 394 396.03 64.34 6.15 1000000 0 111.16/111.28 c 220 332 382.35 70.33 5.44 1000000 0 112.36/112.49 c 220 385 402.50 66.28 6.07 1000000 0 113.66/113.70 c 237 361 390.28 65.77 5.93 1000000 0 114.86/114.91 c 223 324 384.83 75.38 5.11 1000000 0 116.06/116.12 c 194 449 390.84 64.04 6.10 1000000 0 117.26/117.33 c 216 312 405.22 69.87 5.80 1000000 0 118.46/118.54 c 199 433 403.63 63.69 6.34 1000000 0 119.66/119.74 c 211 414 407.20 69.67 5.84 1000000 0 120.86/120.95 c 220 350 394.81 60.71 6.50 1000000 0 122.06/122.16 c 216 446 401.42 65.49 6.13 1000000 0 123.26/123.37 c 226 382 403.81 79.07 5.11 1000000 0 124.46/124.58 c 216 397 394.47 62.16 6.35 1000000 0 125.65/125.79 c 222 265 392.05 72.60 5.40 1000000 0 126.95/127.00 c 221 452 396.72 61.49 6.45 1000000 0 128.15/128.21 c 215 359 408.28 66.75 6.12 1000000 0 129.35/129.41 c 198 274 396.17 74.72 5.30 1000000 0 130.55/130.62 c 240 296 401.84 60.78 6.61 1000000 0 131.75/131.83 c 208 406 396.03 67.00 5.91 1000000 0 132.96/133.04 c 219 373 391.88 75.60 5.18 1000000 0 134.16/134.25 c 239 345 394.05 64.15 6.14 1000000 0 135.35/135.46 c 215 430 397.11 78.88 5.03 1000000 0 136.55/136.68 c 222 439 402.67 81.36 4.95 1000000 0 137.75/137.89 c 188 476 397.93 75.09 5.30 1000000 0 139.05/139.10 c 224 464 397.17 77.25 5.14 1000000 0 140.25/140.31 c 231 424 391.65 64.00 6.12 1000000 0 141.45/141.52 c 242 394 397.37 54.56 7.28 1000000 0 142.65/142.72 c 207 316 392.77 67.05 5.86 1000000 0 143.85/143.93 c 176 338 397.43 79.41 5.00 1000000 0 145.06/145.14 c 229 368 391.40 76.26 5.13 1000000 0 146.26/146.36 c 215 386 395.98 74.39 5.32 1000000 0 147.45/147.57 c 236 369 407.51 71.98 5.66 1000000 0 148.65/148.78 c 208 411 395.03 69.52 5.68 1000000 0 149.85/149.99 c 204 277 389.10 65.53 5.94 1000000 0 151.15/151.20 c 221 378 390.47 58.64 6.66 1000000 0 152.35/152.42 c 210 496 395.43 67.69 5.84 1000000 0 153.55/153.63 c 213 438 396.44 71.08 5.58 1000000 0 154.75/154.84 c 211 427 390.90 73.01 5.35 1000000 0 155.95/156.04 c 217 371 389.34 58.18 6.69 1000000 0 157.15/157.25 c 213 409 391.43 78.26 5.00 1000000 0 158.35/158.46 c 239 331 388.51 71.58 5.43 1000000 0 159.54/159.67 c 218 345 392.52 66.76 5.88 1000000 0 160.74/160.87 c 236 374 389.89 64.27 6.07 1000000 0 161.94/162.08 c 215 324 397.67 68.71 5.79 1000000 0 163.14/163.29 c 190 388 402.51 67.51 5.96 1000000 0 164.44/164.50 c 220 356 397.86 71.71 5.55 1000000 0 165.64/165.71 c 237 385 400.39 69.61 5.75 1000000 0 166.84/166.91 c 216 384 382.38 67.73 5.65 1000000 0 168.04/168.12 c 178 428 391.93 67.09 5.84 1000000 0 169.25/169.33 c 204 400 401.34 72.49 5.54 1000000 0 170.45/170.53 c 225 420 397.47 86.08 4.62 1000000 0 171.64/171.74 c 194 375 393.65 70.87 5.55 1000000 0 172.84/172.95 c 229 381 411.44 64.85 6.34 1000000 0 174.04/174.16 c 246 399 401.35 62.69 6.40 1000000 0 175.24/175.37 c 221 406 391.48 67.05 5.84 1000000 0 176.44/176.58 c 157 402 389.56 80.85 4.82 1000000 0 177.64/177.79 c 233 377 393.26 73.15 5.38 1000000 0 178.94/179.00 c 225 436 393.72 63.09 6.24 1000000 0 180.14/180.20 c 177 323 372.01 71.68 5.19 1000000 0 181.35/181.41 c 204 407 390.54 58.93 6.63 1000000 0 182.55/182.62 c 229 426 401.05 71.90 5.58 1000000 0 183.74/183.83 c 234 312 409.54 77.52 5.28 1000000 0 184.94/185.04 c 214 273 397.10 67.10 5.92 1000000 0 186.14/186.25 c 237 379 398.27 63.67 6.26 1000000 0 187.34/187.45 c 209 327 391.10 75.76 5.16 1000000 0 188.54/188.66 c 225 368 400.81 75.81 5.29 1000000 0 189.74/189.87 c 216 366 390.94 69.95 5.59 1000000 0 190.94/191.08 c 222 421 405.72 62.60 6.48 1000000 0 192.14/192.29 c 196 414 396.20 66.13 5.99 1000000 0 193.34/193.50 c 237 399 389.17 61.96 6.28 1000000 0 194.64/194.70 c 210 450 399.29 75.13 5.31 1000000 0 195.84/195.91 c 189 474 396.11 60.80 6.52 1000000 0 197.04/197.12 c 208 442 380.51 63.74 5.97 1000000 0 198.23/198.33 c 219 392 403.37 72.95 5.53 1000000 0 199.43/199.54 c 241 415 406.58 69.19 5.88 1000000 0 200.63/200.74 c 212 406 382.45 74.69 5.12 1000000 0 201.83/201.95 c 211 410 390.47 69.58 5.61 1000000 0 203.03/203.16 c 211 321 399.26 65.39 6.11 1000000 0 204.23/204.37 c 185 274 396.98 73.70 5.39 1000000 0 205.43/205.59 c 200 423 390.72 61.45 6.36 1000000 0 206.64/206.80 c 199 455 402.02 72.22 5.57 1000000 0 207.93/208.01 c 179 364 402.23 67.68 5.94 1000000 0 209.13/209.21 c 186 405 401.71 63.04 6.37 1000000 0 210.33/210.42 c 195 342 385.28 63.08 6.11 1000000 0 211.53/211.64 c 223 445 390.18 70.85 5.51 1000000 0 212.73/212.84 c 207 334 398.05 64.37 6.18 1000000 0 213.93/214.05 c 213 395 393.47 68.40 5.75 1000000 0 215.13/215.25 c 228 433 398.78 60.32 6.61 1000000 0 216.33/216.46 c 207 418 385.82 68.45 5.64 1000000 0 217.53/217.67 c 207 372 390.20 74.98 5.20 1000000 0 218.74/218.88 c 256 378 408.50 65.94 6.19 1000000 0 219.93/220.09 c 222 382 403.59 69.01 5.85 1000000 0 221.23/221.30 c 210 395 399.36 74.62 5.35 1000000 0 222.43/222.51 c 212 335 401.05 72.99 5.49 1000000 0 223.63/223.72 c 177 417 384.42 70.29 5.47 1000000 0 224.83/224.93 c 239 367 388.08 64.68 6.00 1000000 0 226.03/226.13 c 192 415 388.90 67.08 5.80 1000000 0 227.23/227.34 c 243 392 398.60 70.07 5.69 1000000 0 228.43/228.55 c 208 378 398.03 59.77 6.66 1000000 0 229.63/229.77 c 231 411 403.91 74.69 5.41 1000000 0 230.83/230.97 c 171 330 391.68 86.56 4.53 1000000 0 232.03/232.19 c 222 419 400.96 66.00 6.07 1000000 0 233.22/233.40 c 209 423 387.48 64.53 6.00 1000000 0 234.52/234.61 c 234 440 400.24 70.30 5.69 1000000 0 235.72/235.82 c 182 369 409.69 66.02 6.21 1000000 0 236.92/237.02 c 200 430 399.42 68.50 5.83 1000000 0 238.12/238.23 c 178 266 388.17 77.23 5.03 1000000 0 239.32/239.44 c 221 461 390.24 74.83 5.21 1000000 0 240.52/240.64 c 204 334 400.20 74.16 5.40 1000000 0 241.72/241.85 c 197 330 400.10 67.34 5.94 1000000 0 242.93/243.06 c 217 399 392.88 70.06 5.61 1000000 0 244.13/244.27 c 219 404 393.01 57.38 6.85 1000000 0 245.32/245.48 c 167 377 392.12 72.17 5.43 1000000 0 246.52/246.68 c 225 397 402.15 79.82 5.04 1000000 0 247.72/247.89 c 212 290 380.40 61.84 6.15 1000000 0 249.02/249.10 c 226 403 387.29 62.32 6.21 1000000 0 250.22/250.30 c 203 358 388.38 74.72 5.20 1000000 0 251.42/251.52 c 216 278 394.77 61.00 6.47 1000000 0 252.62/252.72 c 220 474 388.61 66.60 5.84 1000000 0 253.82/253.94 c 223 416 406.87 68.96 5.90 1000000 0 255.03/255.14 c 205 333 397.28 75.95 5.23 1000000 0 256.23/256.35 c 230 350 410.18 78.05 5.26 1000000 0 257.42/257.56 c 179 420 395.16 74.51 5.30 1000000 0 258.62/258.77 c 225 573 402.06 66.53 6.04 1000000 0 259.82/259.97 c 223 356 387.37 70.06 5.53 1000000 0 261.02/261.18 c 238 352 393.93 62.07 6.35 1000000 0 262.22/262.39 c 200 391 383.85 65.19 5.89 1000000 0 263.52/263.60 c 218 338 415.76 70.43 5.90 1000000 0 264.72/264.81 c 196 374 404.64 72.64 5.57 1000000 0 265.92/266.01 c 222 473 391.87 64.06 6.12 1000000 0 267.12/267.22 c 231 403 396.43 65.31 6.07 1000000 0 268.32/268.43 c 224 370 398.06 74.07 5.37 1000000 0 269.52/269.64 c 209 412 389.49 67.03 5.81 1000000 0 270.71/270.85 c 238 400 394.04 73.94 5.33 1000000 0 271.91/272.06 c 215 370 403.33 69.36 5.82 1000000 0 273.11/273.27 c 218 331 383.95 61.88 6.20 1000000 0 274.31/274.48 c 200 341 395.56 69.51 5.69 1000000 0 275.51/275.69 c 232 358 392.72 61.12 6.43 1000000 0 276.81/276.90 c 200 268 390.69 66.49 5.88 1000000 0 278.01/278.10 c 229 373 399.91 66.57 6.01 1000000 0 279.22/279.31 c 202 408 392.55 72.40 5.42 1000000 0 280.42/280.52 c 211 332 401.26 78.06 5.14 1000000 0 281.61/281.74 c 222 392 409.71 69.62 5.88 1000000 0 282.81/282.94 c 205 340 387.41 72.41 5.35 1000000 0 284.01/284.16 c 242 356 409.98 70.71 5.80 1000000 0 285.21/285.36 c 234 397 400.07 72.98 5.48 1000000 0 286.41/286.57 c 191 420 394.46 64.84 6.08 1000000 0 287.61/287.78 c 242 308 401.88 62.37 6.44 1000000 0 288.81/289.00 c 183 448 388.58 79.81 4.87 1000000 0 290.11/290.20 c 230 449 414.49 75.09 5.52 1000000 0 291.32/291.41 c 217 389 391.95 74.22 5.28 1000000 0 292.52/292.62 c 219 482 392.14 68.68 5.71 1000000 0 293.71/293.83 c 212 405 413.54 71.52 5.78 1000000 0 294.91/295.04 c 200 414 405.21 82.34 4.92 1000000 0 296.11/296.26 c 235 393 393.01 66.41 5.92 1000000 0 297.31/297.47 c 193 402 405.40 66.94 6.06 1000000 0 298.51/298.68 c 214 520 404.70 71.58 5.65 1000000 0 299.71/299.88 c 168 336 400.08 75.03 5.33 1000000 0 300.91/301.09 c 230 330 396.07 61.26 6.47 1000000 0 302.11/302.29 c 220 411 397.75 64.81 6.14 1000000 0 303.41/303.50 c 218 441 404.18 71.57 5.65 1000000 0 304.61/304.72 c 224 378 403.31 67.31 5.99 1000000 0 305.80/305.92 c 224 448 378.19 65.82 5.75 1000000 0 307.00/307.12 c 221 412 385.72 64.26 6.00 1000000 0 308.20/308.33 c 190 385 380.31 64.39 5.91 1000000 0 309.40/309.54 c 193 362 389.63 75.10 5.19 1000000 0 310.60/310.74 c 233 450 405.11 65.07 6.23 1000000 0 311.80/311.95 c 194 284 396.82 64.81 6.12 1000000 0 313.00/313.16 c 227 510 400.06 68.27 5.86 1000000 0 314.20/314.37 c 199 315 403.71 66.26 6.09 1000000 0 315.40/315.57 c 216 471 397.57 59.75 6.65 1000000 0 316.61/316.78 c 221 321 396.30 73.05 5.43 1000000 0 317.81/317.99 c 195 509 394.51 69.60 5.67 1000000 0 319.10/319.20 c 222 375 390.56 60.75 6.43 1000000 0 320.30/320.40 c 230 381 388.95 72.89 5.34 1000000 0 321.50/321.61 c 225 438 386.37 63.52 6.08 1000000 0 322.70/322.82 c 236 364 402.33 64.44 6.24 1000000 0 323.90/324.03 c 210 354 389.97 71.78 5.43 1000000 0 325.10/325.24 c 238 397 395.25 74.98 5.27 1000000 0 326.30/326.45 c 219 369 385.57 65.30 5.90 1000000 0 327.50/327.65 c 215 395 390.90 71.05 5.50 1000000 0 328.71/328.86 c 216 403 399.24 73.50 5.43 1000000 0 329.91/330.07 c 217 439 388.77 68.98 5.64 1000000 0 331.10/331.28 c 220 416 397.28 59.99 6.62 1000000 0 332.30/332.49 c 214 437 400.02 65.36 6.12 1000000 0 333.60/333.70 c 233 469 399.36 75.47 5.29 1000000 0 334.80/334.91 c 214 396 400.07 60.84 6.58 1000000 0 336.00/336.12 c 228 342 399.84 70.94 5.64 1000000 0 337.20/337.33 c 224 333 390.27 70.00 5.58 1000000 0 338.40/338.54 c 215 356 384.23 66.69 5.76 1000000 0 339.59/339.74 c 249 372 404.04 59.52 6.79 1000000 0 340.80/340.95 c 213 349 380.91 61.10 6.23 1000000 0 342.00/342.16 c 212 330 403.79 64.98 6.21 1000000 0 343.19/343.37 c 219 413 401.06 69.56 5.77 1000000 0 344.39/344.58 c 200 501 394.15 71.90 5.48 1000000 0 345.59/345.78 c 215 358 396.16 68.14 5.81 1000000 0 346.79/347.00 c 232 435 397.92 64.97 6.12 1000000 0 348.09/348.20 c 203 373 388.77 66.13 5.88 1000000 0 349.29/349.41 c 221 454 393.62 75.27 5.23 1000000 0 350.49/350.62 c 232 371 402.92 71.47 5.64 1000000 0 351.69/351.83 c 213 504 389.63 62.72 6.21 1000000 0 352.90/353.03 c 197 392 395.26 68.48 5.77 1000000 0 354.10/354.24 c 197 463 398.51 69.51 5.73 1000000 0 355.29/355.45 c 211 380 388.96 64.16 6.06 1000000 0 356.49/356.65 c 247 394 395.49 72.06 5.49 1000000 0 357.69/357.86 c 230 326 389.79 65.49 5.95 1000000 0 358.89/359.07 c 207 368 393.77 76.39 5.15 1000000 0 360.09/360.28 c 217 402 415.06 68.28 6.08 1000000 0 361.29/361.49 c 205 406 394.34 71.52 5.51 1000000 0 362.59/362.70 c 205 401 394.89 73.48 5.37 1000000 0 363.79/363.91 c 235 398 392.06 58.15 6.74 1000000 0 364.99/365.12 c 220 374 394.64 67.07 5.88 1000000 0 366.20/366.33 c 225 372 400.15 65.87 6.07 1000000 0 367.39/367.53 c 213 495 395.31 66.24 5.97 1000000 0 368.59/368.74 c 177 372 393.83 73.35 5.37 1000000 0 369.79/369.95 c 225 440 390.44 59.88 6.52 1000000 0 370.99/371.16 c 202 448 388.48 65.94 5.89 1000000 0 372.19/372.37 c 199 459 383.31 66.81 5.74 1000000 0 373.39/373.57 c 220 367 395.73 63.26 6.26 1000000 0 374.59/374.79 c 213 424 398.20 61.23 6.50 1000000 0 375.88/376.00 c 231 459 394.62 68.71 5.74 1000000 0 377.09/377.21 c 218 421 388.59 75.60 5.14 1000000 0 378.29/378.42 c 173 291 395.86 66.51 5.95 1000000 0 379.48/379.62 c 226 409 401.20 60.14 6.67 1000000 0 380.68/380.83 c 247 403 396.26 57.80 6.86 1000000 0 381.88/382.04 c 218 376 395.99 64.86 6.11 1000000 0 383.08/383.25 c 215 338 386.12 59.97 6.44 1000000 0 384.28/384.46 c 222 337 394.55 78.39 5.03 1000000 0 385.48/385.67 c 241 373 412.40 70.44 5.85 1000000 0 386.68/386.88 c 218 372 398.82 66.67 5.98 1000000 0 387.88/388.09 c 221 424 396.10 57.79 6.85 1000000 0 389.08/389.30 c 230 452 396.88 62.94 6.31 1000000 0 390.29/390.50 c 235 436 404.55 78.10 5.18 1000000 0 391.58/391.71 c 218 389 392.56 60.45 6.49 1000000 0 392.78/392.92 c 228 307 392.76 65.31 6.01 1000000 0 393.98/394.12 c 225 416 395.96 60.49 6.55 1000000 0 395.18/395.33 c 214 481 397.95 73.89 5.39 1000000 0 396.38/396.54 c 223 365 402.39 65.07 6.18 1000000 0 397.58/397.74 c 220 522 388.81 71.86 5.41 1000000 0 398.78/398.95 c 216 364 394.18 59.52 6.62 1000000 0 399.98/400.16 c 208 436 399.40 68.11 5.86 1000000 0 401.18/401.37 c 223 339 393.50 66.74 5.90 1000000 0 402.38/402.58 c 227 358 400.75 69.44 5.77 1000000 0 403.58/403.78 c 222 380 400.05 62.86 6.36 1000000 0 404.88/405.00 c 201 357 401.62 66.60 6.03 1000000 0 406.08/406.21 c 247 389 407.16 66.77 6.10 1000000 0 407.28/407.42 c 195 319 378.35 69.56 5.44 1000000 0 408.47/408.63 c 230 346 397.00 77.29 5.14 1000000 0 409.67/409.83 c 240 462 390.44 70.70 5.52 1000000 0 410.87/411.04 c 221 433 391.63 59.23 6.61 1000000 0 412.07/412.25 c 237 398 404.52 70.08 5.77 1000000 0 413.27/413.45 c 216 401 394.43 74.46 5.30 1000000 0 414.48/414.67 c 221 339 402.82 77.46 5.20 1000000 0 415.68/415.87 c 225 430 390.80 71.24 5.49 1000000 0 416.87/417.08 c 218 255 399.36 71.29 5.60 1000000 0 418.07/418.28 c 220 437 417.02 65.32 6.38 1000000 0 419.27/419.49 c 219 412 397.96 59.01 6.74 1000000 0 420.57/420.70 c 212 368 386.02 66.38 5.82 1000000 0 421.77/421.90 c 229 444 399.64 63.10 6.33 1000000 0 422.97/423.11 c 223 332 393.83 68.10 5.78 1000000 0 424.17/424.31 c 209 423 391.69 71.10 5.51 1000000 0 425.37/425.52 c 220 381 393.78 62.07 6.34 1000000 0 426.58/426.73 c 226 346 398.57 70.79 5.63 1000000 0 427.78/427.94 c 216 423 394.09 74.09 5.32 1000000 0 428.97/429.15 c 244 310 397.60 76.75 5.18 1000000 0 430.17/430.37 c 207 393 393.13 66.99 5.87 1000000 0 431.37/431.57 c 230 356 394.27 70.44 5.60 1000000 0 432.57/432.78 c 236 298 388.81 61.77 6.29 1000000 0 433.87/434.00 c 235 404 407.08 62.53 6.51 1000000 0 435.07/435.21 c 221 367 386.63 64.42 6.00 1000000 0 436.27/436.41 c 213 419 392.26 61.28 6.40 1000000 0 437.47/437.62 c 215 352 395.20 71.50 5.53 1000000 0 438.67/438.83 c 233 368 395.97 78.96 5.01 1000000 0 439.87/440.04 c 219 396 391.84 70.87 5.53 1000000 0 441.06/441.25 c 232 381 407.23 73.70 5.53 1000000 0 442.26/442.45 c 202 374 403.69 76.47 5.28 1000000 0 443.46/443.66 c 207 354 381.81 58.53 6.52 1000000 0 444.66/444.87 c 201 351 390.79 63.04 6.20 1000000 0 445.86/446.08 c 218 305 392.00 72.98 5.37 1000000 0 447.06/447.28 c 188 417 397.89 65.78 6.05 1000000 0 448.26/448.49 c 234 307 390.08 70.61 5.52 1000000 0 449.56/449.70 c 223 458 396.59 62.75 6.32 1000000 0 450.77/450.91 c 225 356 407.15 65.69 6.20 1000000 0 451.97/452.12 c 220 427 395.97 65.77 6.02 1000000 0 453.16/453.33 c 236 358 397.13 70.88 5.60 1000000 0 454.36/454.54 c 207 302 399.67 73.95 5.40 1000000 0 455.56/455.75 c 235 487 403.19 72.22 5.58 1000000 0 456.76/456.96 c 164 358 393.08 72.29 5.44 1000000 0 457.96/458.17 c 226 347 391.02 73.37 5.33 1000000 0 459.16/459.38 c 192 389 390.46 67.08 5.82 1000000 0 460.36/460.59 c 221 262 400.39 69.74 5.74 1000000 0 461.66/461.80 c 189 313 386.66 60.90 6.35 1000000 0 462.87/463.01 c 203 348 397.51 59.20 6.71 1000000 0 464.07/464.22 c 241 437 398.00 63.50 6.27 1000000 0 465.26/465.43 c 206 266 391.07 83.59 4.68 1000000 0 466.46/466.64 c 223 426 400.16 69.99 5.72 1000000 0 467.66/467.85 c 208 433 391.97 68.91 5.69 1000000 0 468.86/469.06 c 190 224 384.08 72.81 5.27 1000000 0 470.06/470.26 c 168 450 399.80 70.33 5.68 1000000 0 471.26/471.47 c 214 452 396.58 67.51 5.87 1000000 0 472.46/472.68 c 218 391 405.07 63.61 6.37 1000000 0 473.66/473.89 c 213 408 394.14 61.95 6.36 1000000 0 474.96/475.10 c 185 442 402.70 75.09 5.36 1000000 0 476.16/476.31 c 216 390 396.46 58.12 6.82 1000000 0 477.36/477.52 c 200 363 393.36 84.94 4.63 1000000 0 478.56/478.73 c 210 399 391.11 59.08 6.62 1000000 0 479.76/479.93 c 206 414 387.75 68.41 5.67 1000000 0 480.95/481.14 c 225 359 390.11 61.51 6.34 1000000 0 482.15/482.35 c 206 323 392.78 57.80 6.80 1000000 0 483.35/483.55 c 213 425 388.43 81.42 4.77 1000000 0 484.55/484.76 c 222 374 405.29 74.80 5.42 1000000 0 485.75/485.97 c 214 492 396.53 68.61 5.78 1000000 0 486.95/487.18 c 191 353 386.20 70.46 5.48 1000000 0 488.16/488.38 c 205 364 385.03 73.73 5.22 1000000 0 489.36/489.59 c 219 337 403.46 65.52 6.16 1000000 0 490.65/490.80 c 235 405 403.47 73.70 5.47 1000000 0 491.85/492.01 c 224 378 407.54 64.93 6.28 1000000 0 493.05/493.22 c 245 366 407.91 72.12 5.66 1000000 0 494.25/494.43 c 211 462 397.23 70.09 5.67 1000000 0 495.45/495.64 c 239 356 395.72 58.34 6.78 1000000 0 496.65/496.85 c 193 402 413.77 72.59 5.70 1000000 0 497.85/498.06 c 204 318 381.02 70.65 5.39 1000000 0 499.05/499.26 c 215 394 373.29 56.81 6.57 1000000 0 500.26/500.47 c 223 356 396.21 63.74 6.22 1000000 0 501.46/501.68 c 199 416 389.82 64.10 6.08 1000000 0 502.65/502.89 c 222 429 401.61 66.65 6.03 1000000 0 503.85/504.10 c 211 427 385.46 68.83 5.60 1000000 0 505.15/505.30 c 218 293 394.20 63.59 6.20 1000000 0 506.35/506.51 c 213 428 406.38 77.13 5.27 1000000 0 507.55/507.73 c 250 331 411.47 71.58 5.75 1000000 0 508.75/508.94 c 217 389 385.48 66.39 5.81 1000000 0 509.95/510.15 c 181 312 394.24 72.74 5.42 1000000 0 511.15/511.36 c 214 429 402.71 63.64 6.33 1000000 0 512.35/512.57 c 232 351 396.19 68.74 5.76 1000000 0 513.55/513.78 c 209 327 381.32 65.89 5.79 1000000 0 514.75/514.99 c 227 351 392.80 57.89 6.79 1000000 0 515.95/516.19 c 249 417 397.98 63.44 6.27 1000000 0 517.25/517.40 c 201 318 400.74 67.59 5.93 1000000 0 518.45/518.61 c 259 410 406.70 60.16 6.76 1000000 0 519.64/519.82 c 143 370 394.10 76.95 5.12 1000000 0 520.84/521.03 c 194 366 401.88 66.00 6.09 1000000 0 522.04/522.23 c 231 324 388.85 58.38 6.66 1000000 0 523.24/523.45 c 235 548 399.37 71.01 5.62 1000000 0 524.45/524.65 c 233 375 397.14 63.92 6.21 1000000 0 525.65/525.86 c 199 439 395.14 82.68 4.78 1000000 0 526.84/527.06 c 219 334 394.37 69.09 5.71 1000000 0 528.04/528.27 c 176 437 390.63 67.94 5.75 1000000 0 529.24/529.48 c 226 367 404.39 73.86 5.48 1000000 0 530.44/530.69 c 197 351 388.05 70.73 5.49 1000000 0 531.74/531.90 c 247 391 394.76 55.92 7.06 1000000 0 532.94/533.11 c 211 428 393.87 60.18 6.55 1000000 0 534.14/534.32 c 222 374 400.96 67.66 5.93 1000000 0 535.34/535.53 c 175 378 400.92 64.77 6.19 1000000 0 536.55/536.74 c 208 315 401.19 69.56 5.77 1000000 0 537.75/537.95 c 180 381 396.92 72.94 5.44 1000000 0 538.94/539.15 c 241 417 401.40 77.10 5.21 1000000 0 540.14/540.36 c 212 396 395.95 79.68 4.97 1000000 0 541.34/541.57 c 233 449 395.75 69.68 5.68 1000000 0 542.54/542.77 c 198 382 389.56 64.30 6.06 1000000 0 543.74/543.98 c 219 446 391.80 66.68 5.88 1000000 0 544.94/545.18 c 235 356 402.60 73.23 5.50 1000000 0 546.14/546.39 c 206 382 401.55 79.17 5.07 1000000 0 547.44/547.60 c 178 474 393.23 69.15 5.69 1000000 0 548.64/548.81 c 238 488 399.35 67.26 5.94 1000000 0 549.84/550.02 c 231 397 407.96 65.60 6.22 1000000 0 551.04/551.23 c 214 391 397.32 65.16 6.10 1000000 0 552.24/552.44 c 218 336 401.07 66.29 6.05 1000000 0 553.43/553.64 c 231 265 398.52 73.17 5.45 1000000 0 554.63/554.85 c 183 313 391.60 56.69 6.91 1000000 0 555.83/556.06 c 224 335 390.77 66.84 5.85 1000000 0 557.03/557.26 c 209 468 390.75 72.66 5.38 1000000 0 558.23/558.47 c 218 358 391.02 71.79 5.45 1000000 0 559.43/559.68 c 233 335 381.78 64.85 5.89 1000000 0 560.63/560.89 c 201 361 387.67 73.48 5.28 1000000 0 561.84/562.09 c 216 402 391.38 64.65 6.05 1000000 0 563.13/563.30 c 218 302 393.28 58.01 6.78 1000000 0 564.33/564.51 c 220 360 393.59 60.04 6.56 1000000 0 565.53/565.72 c 221 338 407.01 72.30 5.63 1000000 0 566.73/566.93 c 190 338 396.49 69.00 5.75 1000000 0 567.93/568.14 c 205 422 391.97 68.37 5.73 1000000 0 569.13/569.35 c 206 387 385.40 58.19 6.62 1000000 0 570.33/570.56 c 221 401 393.77 77.29 5.09 1000000 0 571.53/571.76 c 215 477 390.78 73.36 5.33 1000000 0 572.73/572.97 c 205 282 403.36 80.34 5.02 1000000 0 573.94/574.18 c 202 467 387.07 80.45 4.81 1000000 0 575.14/575.38 c 220 468 399.26 71.25 5.60 1000000 0 576.33/576.59 c 191 441 384.78 60.98 6.31 1000000 0 577.63/577.80 c 232 451 384.46 70.20 5.48 1000000 0 578.83/579.01 c 214 536 402.98 66.96 6.02 1000000 0 580.03/580.22 c 226 347 402.77 69.72 5.78 1000000 0 581.23/581.43 c 216 329 386.30 62.94 6.14 1000000 0 582.43/582.64 c 232 466 393.82 60.05 6.56 1000000 0 583.63/583.84 c 216 431 403.49 70.13 5.75 1000000 0 584.83/585.05 c 231 498 406.25 69.70 5.83 1000000 0 586.03/586.27 c 186 288 398.03 69.78 5.70 1000000 0 587.23/587.48 c 179 407 400.50 74.24 5.39 1000000 0 588.53/588.70 c 223 381 393.92 65.64 6.00 1000000 0 589.73/589.90 c 209 384 375.45 66.10 5.68 1000000 0 590.93/591.11 c 230 450 376.68 59.48 6.33 1000000 0 592.12/592.32 c 211 330 395.89 70.63 5.60 1000000 0 593.32/593.52 c 199 346 387.54 64.14 6.04 1000000 0 594.52/594.73 c 220 392 395.38 62.15 6.36 1000000 0 595.72/595.94 c 235 419 398.80 59.17 6.74 1000000 0 596.92/597.15 c 195 355 388.41 76.77 5.06 1000000 0 598.13/598.35 c 160 350 384.25 70.86 5.42 1000000 0 599.33/599.56 c 220 349 394.66 69.35 5.69 1000000 0 600.52/600.77 c 215 438 393.14 67.04 5.86 1000000 0 601.72/601.98 c 220 441 399.84 60.15 6.65 1000000 0 602.92/603.19 c 219 438 387.15 69.58 5.56 1000000 0 604.12/604.39 c 237 341 399.40 66.96 5.96 1000000 0 605.42/605.60 c 185 317 387.60 78.20 4.96 1000000 0 606.62/606.81 c 224 348 394.49 59.02 6.68 1000000 0 607.82/608.02 c 240 313 389.69 63.48 6.14 1000000 0 609.02/609.22 c 212 345 389.09 67.67 5.75 1000000 0 610.23/610.43 c 202 357 397.95 70.53 5.64 1000000 0 611.43/611.64 c 220 434 397.16 61.37 6.47 1000000 0 612.62/612.85 c 220 310 394.56 78.76 5.01 1000000 0 613.82/614.06 c 221 406 393.88 64.70 6.09 1000000 0 615.02/615.27 c 203 454 387.59 63.37 6.12 1000000 0 616.22/616.48 c 208 410 394.60 64.42 6.13 1000000 0 617.42/617.69 c 227 469 400.60 68.77 5.83 1000000 0 618.72/618.90 c 229 358 399.71 68.88 5.80 1000000 0 619.92/620.11 c 217 390 385.90 71.06 5.43 1000000 0 621.12/621.32 c 215 368 397.27 56.95 6.98 1000000 0 622.32/622.53 c 217 316 392.83 76.17 5.16 1000000 0 623.52/623.74 c 226 475 389.93 71.60 5.45 1000000 0 624.72/624.95 c 226 402 391.74 60.31 6.50 1000000 0 625.92/626.16 c 176 347 388.77 76.77 5.06 1000000 0 627.12/627.36 c 184 434 389.14 66.68 5.84 1000000 0 628.32/628.58 c 209 394 394.59 76.25 5.17 1000000 0 629.52/629.79 c 230 361 383.71 59.79 6.42 1000000 0 630.81/631.00 c 208 422 393.14 63.08 6.23 1000000 0 632.01/632.21 c 205 378 397.01 63.63 6.24 1000000 0 633.21/633.42 c 224 335 401.69 87.58 4.59 1000000 0 634.42/634.62 c 204 434 390.62 69.35 5.63 1000000 0 635.62/635.84 c 216 441 399.61 68.46 5.84 1000000 0 636.81/637.04 c 208 428 401.08 65.19 6.15 1000000 0 638.01/638.25 c 236 518 399.68 69.23 5.77 1000000 0 639.21/639.46 c 239 378 392.05 67.87 5.78 1000000 0 640.41/640.68 c 200 392 396.23 70.65 5.61 1000000 0 641.61/641.89 c 232 433 393.80 63.99 6.15 1000000 0 642.91/643.10 c 221 426 396.28 64.38 6.16 1000000 0 644.11/644.31 c 224 429 396.06 72.47 5.47 1000000 0 645.31/645.52 c 253 427 408.10 60.00 6.80 1000000 0 646.52/646.73 c 219 378 394.48 68.25 5.78 1000000 0 647.72/647.94 c 223 274 390.58 71.89 5.43 1000000 0 648.91/649.15 c 187 462 394.59 70.57 5.59 1000000 0 650.11/650.36 c 228 275 390.67 60.92 6.41 1000000 0 651.31/651.57 c 215 438 400.70 58.89 6.80 1000000 0 652.51/652.78 c 207 421 386.58 72.86 5.31 1000000 0 653.71/653.99 c 232 361 410.14 72.89 5.63 1000000 0 655.01/655.20 c 214 346 409.02 71.58 5.71 1000000 0 656.21/656.41 c 230 365 398.76 58.53 6.81 1000000 0 657.41/657.62 c 204 256 391.54 63.40 6.18 1000000 0 658.61/658.83 c 199 441 391.05 72.49 5.39 1000000 0 659.81/660.03 c 241 439 406.26 73.81 5.50 1000000 0 661.01/661.24 c 191 413 379.79 66.54 5.71 1000000 0 662.21/662.45 c 208 412 402.56 66.31 6.07 1000000 0 663.41/663.66 c 220 337 396.23 63.79 6.21 1000000 0 664.60/664.87 c 220 405 380.67 63.07 6.04 1000000 0 665.80/666.08 c 167 414 391.53 64.82 6.04 1000000 0 667.00/667.29 c 224 412 408.28 70.78 5.77 1000000 0 668.30/668.50 c 228 442 394.91 76.57 5.16 1000000 0 669.50/669.71 c 210 289 392.22 66.85 5.87 1000000 0 670.71/670.92 c 245 330 399.05 66.73 5.98 1000000 0 671.91/672.13 c 206 438 399.04 71.90 5.55 1000000 0 673.10/673.34 c 209 379 392.62 70.10 5.60 1000000 0 674.30/674.54 c 182 301 383.75 63.87 6.01 1000000 0 675.50/675.75 c 215 459 393.69 62.87 6.26 1000000 0 676.70/676.96 c 211 463 389.90 66.96 5.82 1000000 0 677.90/678.16 c 222 316 396.90 64.03 6.20 1000000 0 679.10/679.38 c 216 441 396.96 71.49 5.55 1000000 0 680.30/680.58 c 230 351 403.94 65.90 6.13 1000000 0 681.50/681.79 c 245 318 404.21 64.59 6.26 1000000 0 682.81/683.00 c 222 314 390.05 67.63 5.77 1000000 0 684.01/684.21 c 191 412 398.17 71.88 5.54 1000000 0 685.20/685.42 c 220 355 390.53 69.93 5.58 1000000 0 686.40/686.63 c 214 510 390.86 71.18 5.49 1000000 0 687.61/687.83 c 182 398 392.34 69.40 5.65 1000000 0 688.81/689.04 c 187 419 395.75 77.31 5.12 1000000 0 690.01/690.24 c 214 371 386.69 67.45 5.73 1000000 0 691.21/691.45 c 244 397 394.65 65.84 5.99 1000000 0 692.41/692.66 c 204 458 400.72 66.43 6.03 1000000 0 693.61/693.87 c 148 459 384.83 81.36 4.73 1000000 0 694.81/695.08 c 238 391 396.10 70.26 5.64 1000000 0 696.01/696.29 c 228 362 400.48 69.83 5.74 1000000 0 697.30/697.50 c 224 354 396.60 67.30 5.89 1000000 0 698.50/698.71 c 215 289 386.87 70.43 5.49 1000000 0 699.70/699.91 c 231 419 385.14 64.77 5.95 1000000 0 700.90/701.12 c 210 422 396.95 84.20 4.71 1000000 0 702.10/702.33 c 197 483 391.62 63.65 6.15 1000000 0 703.30/703.54 c 228 418 398.47 67.79 5.88 1000000 0 704.50/704.75 c 224 444 398.12 65.95 6.04 1000000 0 705.70/705.95 c 216 402 397.35 65.87 6.03 1000000 0 706.90/707.16 c 224 421 397.06 68.81 5.77 1000000 0 708.11/708.37 c 208 350 391.52 62.71 6.24 1000000 0 709.31/709.58 c 203 399 384.03 63.44 6.05 1000000 0 710.50/710.79 c 190 249 387.21 67.01 5.78 1000000 0 711.80/712.00 c 227 375 393.47 64.05 6.14 1000000 0 713.00/713.21 c 225 356 404.93 73.91 5.48 1000000 0 714.20/714.42 c 222 394 397.20 73.02 5.44 1000000 0 715.40/715.63 c 210 386 397.06 75.38 5.27 1000000 0 716.60/716.84 c 225 439 394.24 60.14 6.55 1000000 0 717.80/718.04 c 216 384 381.20 72.92 5.23 1000000 0 719.00/719.25 c 223 335 393.09 72.12 5.45 1000000 0 720.21/720.46 c 192 421 394.29 74.25 5.31 1000000 0 721.41/721.67 c 225 420 405.21 63.46 6.39 1000000 0 722.60/722.88 c 193 393 403.15 69.29 5.82 1000000 0 723.80/724.09 c 223 407 398.18 70.02 5.69 1000000 0 725.10/725.30 c 214 434 394.38 63.74 6.19 1000000 0 726.30/726.51 c 212 437 399.31 71.24 5.61 1000000 0 727.50/727.71 c 206 402 394.67 68.77 5.74 1000000 0 728.70/728.92 c 222 354 386.02 65.11 5.93 1000000 0 729.90/730.13 c 229 365 397.26 65.52 6.06 1000000 0 731.10/731.33 c 220 326 396.21 69.33 5.71 1000000 0 732.30/732.54 c 224 460 396.35 66.59 5.95 1000000 0 733.50/733.75 c 228 306 397.40 65.79 6.04 1000000 0 734.69/734.97 c 205 384 389.59 69.71 5.59 1000000 0 735.89/736.17 c 170 417 400.70 64.62 6.20 1000000 0 737.09/737.38 c 194 345 389.85 72.48 5.38 1000000 0 738.29/738.59 c 238 349 395.97 65.97 6.00 1000000 0 739.49/739.79 c 232 383 393.64 65.29 6.03 1000000 0 740.79/741.00 c 228 399 400.87 67.89 5.90 1000000 0 741.99/742.21 c 259 340 427.88 62.99 6.79 1000000 0 743.19/743.43 c 201 426 393.01 68.92 5.70 1000000 0 744.40/744.63 c 223 352 398.45 67.09 5.94 1000000 0 745.60/745.84 c 189 399 390.80 68.55 5.70 1000000 0 746.79/747.05 c 243 385 416.73 67.08 6.21 1000000 0 747.99/748.26 c 208 368 385.74 65.87 5.86 1000000 0 749.19/749.47 c 200 478 392.78 80.98 4.85 1000000 0 750.39/750.68 c 230 460 391.10 68.65 5.70 1000000 0 751.59/751.88 c 210 457 395.01 64.21 6.15 1000000 0 752.89/753.10 c 219 379 400.98 67.21 5.97 1000000 0 754.09/754.30 c 201 428 385.39 64.71 5.96 1000000 0 755.29/755.51 c 198 378 390.90 75.50 5.18 1000000 0 756.50/756.72 c 258 411 405.78 81.55 4.98 1000000 0 757.70/757.93 c 211 370 396.07 64.51 6.14 1000000 0 758.89/759.13 c 219 406 384.30 62.72 6.13 1000000 0 760.09/760.35 c 235 338 412.83 78.96 5.23 1000000 0 761.29/761.56 c 232 381 402.24 68.72 5.85 1000000 0 762.49/762.76 c 215 499 395.32 73.08 5.41 1000000 0 763.69/763.97 c 231 446 392.65 69.05 5.69 1000000 0 764.89/765.18 c 170 286 379.18 77.49 4.89 1000000 0 766.09/766.38 c 218 382 390.18 63.28 6.17 1000000 0 767.29/767.59 c 237 301 385.46 62.46 6.17 1000000 0 768.59/768.80 c 237 340 401.79 71.01 5.66 1000000 0 769.79/770.01 c 238 339 386.35 58.60 6.59 1000000 0 770.98/771.22 c 231 379 392.27 63.89 6.14 1000000 0 772.18/772.43 c 241 411 405.85 68.94 5.89 1000000 0 773.38/773.64 c 171 459 402.12 80.05 5.02 1000000 0 774.58/774.85 c 208 406 395.43 68.55 5.77 1000000 0 775.78/776.06 c 203 389 391.81 59.03 6.64 1000000 0 776.98/777.27 c 208 333 378.46 60.40 6.27 1000000 0 778.18/778.48 c 228 428 401.09 65.57 6.12 1000000 0 779.38/779.69 c 198 421 395.27 69.99 5.65 1000000 0 780.69/780.90 c 220 459 389.64 63.06 6.18 1000000 0 781.79/782.10 c 214 393 392.18 65.08 6.03 1000000 0 783.08/783.31 c 214 396 379.95 69.73 5.45 1000000 0 784.28/784.51 c 224 335 399.67 72.57 5.51 1000000 0 785.48/785.73 c 252 366 399.95 62.16 6.43 1000000 0 786.68/786.93 c 226 340 397.73 68.36 5.82 1000000 0 787.88/788.14 c 208 363 395.12 70.70 5.59 1000000 0 789.08/789.35 c 196 378 387.52 72.95 5.31 1000000 0 790.28/790.56 c 210 404 394.06 72.52 5.43 1000000 0 791.48/791.78 c 231 356 397.25 72.62 5.47 1000000 0 792.68/792.98 c 221 420 393.08 72.52 5.42 1000000 0 793.89/794.19 c 208 392 397.20 65.12 6.10 1000000 0 795.18/795.40 c 221 384 386.24 68.46 5.64 1000000 0 796.38/796.61 c 211 335 378.79 69.00 5.49 1000000 0 797.58/797.82 c 246 358 403.76 68.64 5.88 1000000 0 798.78/799.03 c 239 300 404.57 68.16 5.94 1000000 0 799.98/800.23 c 214 326 402.17 71.08 5.66 1000000 0 801.18/801.45 c 231 456 403.22 79.79 5.05 1000000 0 802.38/802.65 c 230 399 393.41 62.74 6.27 1000000 0 803.58/803.86 c 226 472 394.80 78.25 5.05 1000000 0 804.78/805.07 c 230 409 401.82 68.85 5.84 1000000 0 805.98/806.28 c 217 410 387.89 58.96 6.58 1000000 0 807.18/807.49 c 216 396 393.91 64.15 6.14 1000000 0 808.48/808.70 c 239 377 403.29 72.50 5.56 1000000 0 809.67/809.91 c 193 457 395.33 63.58 6.22 1000000 0 810.87/811.11 c 206 444 405.08 67.29 6.02 1000000 0 812.07/812.32 c 225 389 394.36 61.79 6.38 1000000 0 813.27/813.53 c 231 454 399.01 72.25 5.52 1000000 0 814.47/814.74 c 165 369 381.21 71.66 5.32 1000000 0 815.67/815.95 c 246 395 408.01 62.81 6.50 1000000 0 816.87/817.17 c 212 395 391.49 68.84 5.69 1000000 0 818.08/818.37 c 227 515 394.82 65.72 6.01 1000000 0 819.28/819.58 c 211 505 391.09 67.23 5.82 1000000 0 820.47/820.79 c 234 364 397.13 72.10 5.51 1000000 0 821.67/821.99 c 198 271 376.12 54.91 6.85 1000000 0 822.97/823.20 c 232 343 391.05 60.44 6.47 1000000 0 824.17/824.40 c 231 361 394.16 67.86 5.81 1000000 0 825.37/825.61 c 197 394 401.06 65.82 6.09 1000000 0 826.57/826.82 c 222 350 406.04 62.28 6.52 1000000 0 827.77/828.03 c 183 430 398.48 71.39 5.58 1000000 0 828.97/829.24 c 210 282 408.42 68.70 5.95 1000000 0 830.18/830.45 c 184 376 400.26 67.31 5.95 1000000 0 831.38/831.66 c 198 363 386.56 57.91 6.68 1000000 0 832.57/832.87 c 224 444 390.64 73.16 5.34 1000000 0 833.77/834.08 c 214 352 388.95 67.12 5.79 1000000 0 834.97/835.29 c 231 456 400.53 65.49 6.12 1000000 0 836.27/836.50 c 215 389 397.65 61.26 6.49 1000000 0 837.47/837.71 c 227 384 406.28 63.46 6.40 1000000 0 838.67/838.92 c 201 416 385.73 64.63 5.97 1000000 0 839.87/840.13 c 214 346 392.11 68.90 5.69 1000000 0 841.07/841.34 c 216 397 399.30 84.10 4.75 1000000 0 842.27/842.55 c 212 388 376.12 70.92 5.30 1000000 0 843.47/843.76 c 246 388 401.70 70.88 5.67 1000000 0 844.66/844.97 c 178 484 403.48 72.15 5.59 1000000 0 845.86/846.18 c 198 355 400.04 87.93 4.55 1000000 0 847.06/847.39 c 207 456 402.85 69.86 5.77 1000000 0 848.26/848.60 c 202 463 404.92 65.38 6.19 1000000 0 849.56/849.80 c 214 409 391.61 68.02 5.76 1000000 0 850.76/851.01 c 222 326 405.24 65.45 6.19 1000000 0 851.96/852.22 c 180 416 390.71 67.20 5.81 1000000 0 853.16/853.43 c 222 441 400.39 70.86 5.65 1000000 0 854.37/854.63 c 227 391 387.07 65.17 5.94 1000000 0 855.57/855.84 c 217 470 391.28 72.06 5.43 1000000 0 856.76/857.04 c 231 327 393.47 60.63 6.49 1000000 0 857.96/858.25 c 168 392 397.28 84.11 4.72 1000000 0 859.16/859.46 c 237 389 393.15 70.70 5.56 1000000 0 860.36/860.67 c 230 299 401.51 78.38 5.12 1000000 0 861.56/861.88 c 235 470 399.37 67.59 5.91 1000000 0 862.76/863.09 c 224 326 400.19 71.17 5.62 1000000 0 863.96/864.30 c 204 446 380.63 62.01 6.14 1000000 0 865.26/865.50 c 197 452 389.58 66.76 5.84 1000000 0 866.47/866.72 c 220 357 394.98 64.27 6.15 1000000 0 867.67/867.92 c 231 279 396.47 53.58 7.40 1000000 0 868.86/869.13 c 197 381 397.40 88.14 4.51 1000000 0 870.06/870.34 c 226 425 396.27 67.15 5.90 1000000 0 871.26/871.54 c 204 398 395.30 63.30 6.25 1000000 0 872.46/872.75 c 196 422 378.93 67.19 5.64 1000000 0 873.66/873.96 c 158 310 398.00 75.29 5.29 1000000 0 874.86/875.17 c 213 450 391.04 63.42 6.17 1000000 0 876.06/876.37 c 190 354 396.04 64.33 6.16 1000000 0 877.26/877.58 c 208 438 385.21 72.77 5.29 1000000 0 878.46/878.79 c 220 347 396.30 67.35 5.88 1000000 0 879.66/880.00 c 220 350 389.49 59.59 6.54 1000000 0 880.96/881.21 c 212 444 387.92 68.18 5.69 1000000 0 882.15/882.42 c 205 423 398.87 60.31 6.61 1000000 0 883.35/883.62 c 217 391 394.37 66.69 5.91 1000000 0 884.55/884.84 c 199 358 400.33 66.57 6.01 1000000 0 885.75/886.05 c 250 370 404.33 60.12 6.73 1000000 0 886.95/887.26 c 212 330 396.11 69.21 5.72 1000000 0 888.15/888.47 c 225 378 400.30 64.40 6.22 1000000 0 889.35/889.68 c 203 426 392.48 72.28 5.43 1000000 0 890.55/890.89 c 218 409 381.37 68.68 5.55 1000000 0 891.76/892.09 c 214 380 380.16 70.23 5.41 1000000 0 893.05/893.30 c 203 387 374.86 64.08 5.85 1000000 0 894.25/894.51 c 223 420 399.41 58.08 6.88 1000000 0 895.45/895.71 c 212 409 390.29 61.38 6.36 1000000 0 896.65/896.92 c 222 380 396.74 69.48 5.71 1000000 0 897.85/898.13 c 247 468 383.94 58.43 6.57 1000000 0 899.05/899.34 c 220 344 409.91 65.32 6.28 1000000 0 900.25/900.55 c 231 362 393.46 69.10 5.69 1000000 0 901.45/901.75 c 197 354 394.54 65.35 6.04 1000000 0 902.65/902.96 c 205 362 408.43 67.05 6.09 1000000 0 903.86/904.17 c 223 396 389.44 64.71 6.02 1000000 0 905.06/905.38 c 212 452 394.99 67.51 5.85 1000000 0 906.25/906.59 c 233 335 401.42 65.80 6.10 1000000 0 907.55/907.80 c 223 430 402.37 69.32 5.80 1000000 0 908.75/909.01 c 219 333 397.50 65.48 6.07 1000000 0 909.95/910.22 c 231 421 395.94 69.17 5.72 1000000 0 911.15/911.43 c 238 307 398.88 67.28 5.93 1000000 0 912.35/912.64 c 233 382 396.00 77.07 5.14 1000000 0 913.55/913.85 c 231 356 402.08 76.36 5.27 1000000 0 914.75/915.06 c 181 398 384.04 65.39 5.87 1000000 0 915.95/916.27 c 214 309 396.39 61.96 6.40 1000000 0 917.15/917.48 c 205 319 395.30 81.24 4.87 1000000 0 918.35/918.69 c 235 425 412.89 73.08 5.65 1000000 0 919.65/919.90 c 204 495 396.79 70.72 5.61 1000000 0 920.84/921.11 c 204 380 392.40 58.48 6.71 1000000 0 922.04/922.31 c 214 480 410.32 69.89 5.87 1000000 0 923.24/923.52 c 227 341 381.06 68.96 5.53 1000000 0 924.44/924.73 c 220 402 410.61 75.06 5.47 1000000 0 925.64/925.94 c 246 448 400.65 66.60 6.02 1000000 0 926.84/927.15 c 211 320 409.54 77.88 5.26 1000000 0 928.05/928.36 c 216 348 405.10 74.13 5.47 1000000 0 929.25/929.56 c 234 407 400.88 84.84 4.72 1000000 0 930.44/930.78 c 222 320 405.42 73.89 5.49 1000000 0 931.64/931.99 c 220 461 411.62 71.27 5.78 1000000 0 932.94/933.20 c 210 378 402.29 74.07 5.43 1000000 0 934.14/934.41 c 220 527 397.72 74.43 5.34 1000000 0 935.34/935.61 c 195 310 394.94 75.65 5.22 1000000 0 936.54/936.82 c 213 411 390.61 58.52 6.67 1000000 0 937.74/938.03 c 233 399 390.31 63.68 6.13 1000000 0 938.94/939.24 c 203 245 393.78 67.14 5.86 1000000 0 940.15/940.45 c 184 344 379.44 68.69 5.52 1000000 0 941.35/941.65 c 219 446 390.28 64.11 6.09 1000000 0 942.54/942.86 c 216 356 395.59 57.74 6.85 1000000 0 943.74/944.07 c 217 376 395.27 66.91 5.91 1000000 0 944.94/945.28 c 174 387 382.90 70.13 5.46 1000000 0 946.14/946.49 c 220 413 397.49 73.95 5.37 1000000 0 947.44/947.70 c 213 389 399.92 79.22 5.05 1000000 0 948.64/948.91 c 234 424 388.94 59.21 6.57 1000000 0 949.84/950.12 c 232 358 397.03 72.35 5.49 1000000 0 951.04/951.33 c 223 517 386.19 65.48 5.90 1000000 0 952.24/952.54 c 206 397 398.17 65.96 6.04 1000000 0 953.44/953.74 c 239 316 394.72 71.72 5.50 1000000 0 954.64/954.95 c 226 459 384.37 58.55 6.57 1000000 0 955.83/956.16 c 236 359 402.08 71.36 5.63 1000000 0 957.03/957.37 c 197 472 388.32 59.97 6.48 1000000 0 958.23/958.58 c 239 421 393.86 67.82 5.81 1000000 0 959.43/959.79 c 224 324 397.39 71.92 5.53 1000000 0 960.73/961.00 c 226 323 400.01 69.50 5.76 1000000 0 961.93/962.21 c 242 456 396.59 65.43 6.06 1000000 0 963.13/963.41 c 209 417 395.79 65.39 6.05 1000000 0 964.34/964.62 c 184 374 384.66 68.05 5.65 1000000 0 965.54/965.83 c 200 250 376.61 66.92 5.63 1000000 0 966.73/967.04 c 241 365 400.22 66.63 6.01 1000000 0 967.93/968.25 c 209 345 396.74 68.67 5.78 1000000 0 969.13/969.46 c 225 373 395.73 60.42 6.55 1000000 0 970.33/970.68 c 216 430 397.45 70.41 5.64 1000000 0 971.53/971.88 c 198 320 402.92 75.11 5.36 1000000 0 972.73/973.09 c 241 287 399.56 61.59 6.49 1000000 0 974.03/974.30 c 226 373 404.38 77.17 5.24 1000000 0 975.23/975.50 c 190 360 395.58 63.46 6.23 1000000 0 976.43/976.71 c 203 385 386.53 70.95 5.45 1000000 0 977.63/977.91 c 193 424 387.65 68.91 5.63 1000000 0 978.83/979.12 c 205 327 392.16 60.45 6.49 1000000 0 980.03/980.33 c 198 362 402.54 74.26 5.42 1000000 0 981.23/981.54 c 211 313 386.04 75.82 5.09 1000000 0 982.43/982.75 c 237 441 393.57 58.77 6.70 1000000 0 983.63/983.96 c 245 408 395.30 56.32 7.02 1000000 0 984.83/985.16 c 220 375 391.63 67.62 5.79 1000000 0 986.03/986.37 c 228 403 386.88 64.10 6.04 1000000 0 987.22/987.58 c 189 420 388.75 81.68 4.76 1000000 0 988.42/988.79 c 253 412 388.93 53.74 7.24 1000000 0 989.63/989.99 c 219 426 407.29 71.55 5.69 1000000 0 990.92/991.20 c 234 558 390.61 61.65 6.34 1000000 0 992.12/992.41 c 206 362 395.59 63.52 6.23 1000000 0 993.32/993.62 c 220 504 413.07 68.62 6.02 1000000 0 994.52/994.83 c 226 428 397.24 70.77 5.61 1000000 0 995.72/996.04 c 234 385 402.58 80.45 5.00 1000000 0 996.92/997.25 c 206 348 404.53 71.53 5.66 1000000 0 998.12/998.46 c 218 389 389.97 64.62 6.03 1000000 0 999.32/999.66 c 240 379 387.22 64.00 6.05 1000000 0 1000.52/1000.87 c 223 291 390.32 65.43 5.97 1000000 0 1001.73/1002.08 c 224 357 405.72 78.81 5.15 1000000 0 1002.93/1003.28 c 223 400 380.69 65.27 5.83 1000000 0 1004.12/1004.49 c 232 342 409.03 83.28 4.91 1000000 0 1005.42/1005.70 c 204 348 395.75 78.73 5.03 1000000 0 1006.62/1006.90 c 179 356 388.14 80.67 4.81 1000000 0 1007.82/1008.11 c 176 472 384.64 70.88 5.43 1000000 0 1009.02/1009.31 c 216 417 398.46 74.64 5.34 1000000 0 1010.22/1010.52 c 216 417 388.39 70.80 5.49 1000000 0 1011.42/1011.73 c 229 428 406.68 76.35 5.33 1000000 0 1012.62/1012.94 c 226 292 400.48 82.77 4.84 1000000 0 1013.82/1014.15 c 181 400 404.98 81.17 4.99 1000000 0 1015.02/1015.36 c 239 442 405.66 72.77 5.57 1000000 0 1016.22/1016.56 c 229 371 391.22 61.77 6.33 1000000 0 1017.42/1017.77 c 212 407 383.74 60.96 6.29 1000000 0 1018.62/1018.98 c 232 429 391.01 66.39 5.89 1000000 0 1019.82/1020.19 c 230 401 405.78 70.61 5.75 1000000 0 1021.11/1021.40 c 228 375 392.20 70.35 5.58 1000000 0 1022.31/1022.61 c 188 358 384.34 70.46 5.45 1000000 0 1023.51/1023.82 c 226 514 393.37 69.29 5.68 1000000 0 1024.71/1025.03 c 233 285 399.91 80.55 4.96 1000000 0 1025.92/1026.24 c 218 315 395.70 74.36 5.32 1000000 0 1027.12/1027.46 c 226 418 400.79 68.96 5.81 1000000 0 1028.31/1028.67 c 224 341 401.25 70.91 5.66 1000000 0 1029.51/1029.88 c 230 351 394.24 67.62 5.83 1000000 0 1030.71/1031.08 c 210 350 390.05 70.06 5.57 1000000 0 1031.91/1032.29 c 196 336 406.37 71.33 5.70 1000000 0 1033.21/1033.50 c 203 501 390.02 63.28 6.16 1000000 0 1034.41/1034.72 c 176 388 387.99 67.39 5.76 1000000 0 1035.61/1035.92 c 241 359 404.60 67.67 5.98 1000000 0 1036.81/1037.13 c 238 378 406.68 65.40 6.22 1000000 0 1038.02/1038.34 c 243 366 404.92 75.19 5.39 1000000 0 1039.22/1039.55 c 204 462 388.89 69.05 5.63 1000000 0 1040.41/1040.75 c 239 430 400.25 65.38 6.12 1000000 0 1041.61/1041.96 c 244 332 392.38 55.96 7.01 1000000 0 1042.81/1043.17 c 186 378 397.61 71.16 5.59 1000000 0 1044.01/1044.38 c 217 319 400.43 69.37 5.77 1000000 0 1045.21/1045.59 c 217 407 388.30 59.78 6.50 1000000 0 1046.51/1046.80 c 200 361 398.44 70.95 5.62 1000000 0 1047.71/1048.01 c 222 371 385.54 56.08 6.87 1000000 0 1048.91/1049.21 c 205 331 396.08 69.96 5.66 1000000 0 1050.11/1050.42 c 239 352 397.35 60.96 6.52 1000000 0 1051.31/1051.63 c 206 363 395.06 74.17 5.33 1000000 0 1052.51/1052.84 c 246 436 401.58 70.43 5.70 1000000 0 1053.71/1054.05 c 248 310 397.47 68.31 5.82 1000000 0 1054.91/1055.26 c 199 362 391.74 76.50 5.12 1000000 0 1056.11/1056.47 c 200 414 393.56 68.88 5.71 1000000 0 1057.31/1057.67 c 172 407 388.31 73.28 5.30 1000000 0 1058.50/1058.89 c 204 392 397.39 60.26 6.59 1000000 0 1059.70/1060.09 c 172 457 387.67 78.73 4.92 1000000 0 1061.00/1061.30 c 231 431 386.56 72.22 5.35 1000000 0 1062.21/1062.50 c 230 468 386.04 59.33 6.51 1000000 0 1063.41/1063.71 c 220 470 392.17 68.87 5.69 1000000 0 1064.60/1064.92 c 171 442 387.76 77.66 4.99 1000000 0 1065.80/1066.13 c 222 345 396.20 64.27 6.16 1000000 0 1067.00/1067.34 c 164 379 400.05 65.95 6.07 1000000 0 1068.20/1068.55 c 183 359 401.86 59.59 6.74 1000000 0 1069.40/1069.76 c 235 440 406.21 70.90 5.73 1000000 0 1070.60/1070.97 c 177 412 400.40 71.63 5.59 1000000 0 1071.80/1072.18 c 220 318 388.95 65.66 5.92 1000000 0 1073.00/1073.38 c 220 497 393.08 63.71 6.17 1000000 0 1074.20/1074.59 c 217 310 396.05 63.19 6.27 1000000 0 1075.41/1075.80 c 219 253 391.36 71.30 5.49 1000000 0 1076.70/1077.01 c 206 318 388.70 68.33 5.69 1000000 0 1077.90/1078.22 c 212 362 401.22 76.73 5.23 1000000 0 1079.10/1079.43 c 204 366 395.88 72.50 5.46 1000000 0 1080.30/1080.64 c 212 305 392.31 72.60 5.40 1000000 0 1081.50/1081.85 c 227 371 409.75 69.26 5.92 1000000 0 1082.70/1083.06 c 148 421 394.09 72.02 5.47 1000000 0 1083.90/1084.26 c 232 372 386.85 67.53 5.73 1000000 0 1085.10/1085.48 c 194 425 404.99 69.83 5.80 1000000 0 1086.30/1086.69 c 235 398 401.48 73.46 5.47 1000000 0 1087.50/1087.90 c 219 377 396.27 70.38 5.63 1000000 0 1088.80/1089.11 c 227 445 401.98 65.05 6.18 1000000 0 1090.00/1090.32 c 199 377 395.47 66.36 5.96 1000000 0 1091.20/1091.53 c 232 448 410.19 74.47 5.51 1000000 0 1092.39/1092.74 c 198 423 404.51 76.64 5.28 1000000 0 1093.59/1093.95 c 213 390 398.74 78.83 5.06 1000000 0 1094.79/1095.16 c 203 232 391.71 78.51 4.99 1000000 0 1095.99/1096.37 c 216 327 404.48 66.36 6.09 1000000 0 1097.19/1097.58 c 229 336 398.68 66.05 6.04 1000000 0 1098.39/1098.78 c 231 366 392.75 63.96 6.14 1000000 0 1099.60/1100.00 c 231 474 411.61 70.75 5.82 1000000 0 1100.89/1101.20 c 190 442 396.87 65.34 6.07 1000000 0 1102.09/1102.41 c 245 373 409.51 70.27 5.83 1000000 0 1103.29/1103.62 c 204 456 408.47 68.68 5.95 1000000 0 1104.49/1104.83 c 207 391 394.84 74.93 5.27 1000000 0 1105.69/1106.04 c 222 418 396.47 64.09 6.19 1000000 0 1106.89/1107.25 c 241 382 393.23 60.16 6.54 1000000 0 1108.09/1108.46 c 192 341 395.27 68.72 5.75 1000000 0 1109.29/1109.67 c 217 358 395.00 64.68 6.11 1000000 0 1110.49/1110.87 c 193 410 388.41 68.67 5.66 1000000 0 1111.70/1112.08 c 229 456 404.58 63.41 6.38 1000000 0 1112.90/1113.29 c 200 405 395.29 64.43 6.13 1000000 0 1114.09/1114.49 c 230 331 392.63 66.93 5.87 1000000 0 1115.39/1115.71 c 208 328 408.04 68.92 5.92 1000000 0 1116.59/1116.91 c 203 369 384.69 74.58 5.16 1000000 0 1117.79/1118.12 c 220 445 380.53 67.32 5.65 1000000 0 1118.99/1119.33 c 234 422 410.33 60.09 6.83 1000000 0 1120.19/1120.54 c 189 415 402.14 71.17 5.65 1000000 0 1121.39/1121.75 c 190 386 392.14 66.84 5.87 1000000 0 1122.59/1122.95 c 222 390 386.26 59.62 6.48 1000000 0 1123.79/1124.16 c 229 428 404.39 74.37 5.44 1000000 0 1124.99/1125.37 c 192 389 401.03 67.91 5.91 1000000 0 1126.18/1126.58 c 210 415 397.66 76.88 5.17 1000000 0 1127.38/1127.79 c 228 373 399.89 63.22 6.32 1000000 0 1128.68/1129.00 c 206 395 407.50 71.39 5.71 1000000 0 1129.88/1130.21 c 229 445 396.71 70.01 5.67 1000000 0 1131.08/1131.42 c 215 455 401.08 62.85 6.38 1000000 0 1132.28/1132.62 c 236 477 390.80 62.35 6.27 1000000 0 1133.48/1133.83 c 219 440 400.40 77.07 5.20 1000000 0 1134.68/1135.04 c 189 369 381.00 64.04 5.95 1000000 0 1135.89/1136.25 c 202 328 381.48 70.57 5.41 1000000 0 1137.09/1137.46 c 205 442 391.05 61.93 6.31 1000000 0 1138.28/1138.66 c 194 472 398.63 79.04 5.04 1000000 0 1139.48/1139.87 c 240 380 397.84 69.57 5.72 1000000 0 1140.68/1141.08 c 244 349 395.07 62.39 6.33 1000000 0 1141.88/1142.29 c 218 340 387.51 56.82 6.82 1000000 0 1143.08/1143.49 c 208 390 399.07 64.86 6.15 1000000 0 1144.38/1144.71 c 213 420 399.20 72.31 5.52 1000000 0 1145.58/1145.91 c 220 513 397.49 71.20 5.58 1000000 0 1146.78/1147.13 c 191 439 388.92 66.21 5.87 1000000 0 1147.99/1148.34 c 219 376 398.94 62.64 6.37 1000000 0 1149.19/1149.54 c 230 393 389.02 60.47 6.43 1000000 0 1150.38/1150.75 c 199 295 397.87 62.21 6.40 1000000 0 1151.58/1151.96 c 199 349 408.70 77.55 5.27 1000000 0 1152.78/1153.17 c 199 400 390.87 73.63 5.31 1000000 0 1153.98/1154.38 c 199 398 388.75 59.50 6.53 1000000 0 1155.18/1155.58 c 223 320 398.46 81.54 4.89 1000000 0 1156.38/1156.79 c 230 402 395.19 73.58 5.37 1000000 0 1157.68/1158.00 c 200 393 394.62 70.63 5.59 1000000 0 1158.88/1159.22 c 201 357 398.04 65.64 6.06 1000000 0 1160.08/1160.43 c 175 368 402.22 67.07 6.00 1000000 0 1161.28/1161.64 c 200 329 394.12 68.70 5.74 1000000 0 1162.48/1162.85 c 166 341 391.91 69.15 5.67 1000000 0 1163.68/1164.06 c 212 403 407.30 62.75 6.49 1000000 0 1164.87/1165.26 c 243 330 392.01 64.20 6.11 1000000 0 1166.07/1166.47 c 224 400 396.41 66.80 5.93 1000000 0 1167.27/1167.68 c 163 353 386.22 77.29 5.00 1000000 0 1168.47/1168.89 c 227 383 395.23 65.05 6.08 1000000 0 1169.77/1170.10 c 222 406 406.04 74.36 5.46 1000000 0 1170.97/1171.31 c 244 389 397.09 69.22 5.74 1000000 0 1172.18/1172.53 c 237 463 405.68 71.33 5.69 1000000 0 1173.38/1173.74 c 207 462 389.75 69.34 5.62 1000000 0 1174.57/1174.95 c 223 478 401.29 69.52 5.77 1000000 0 1175.77/1176.15 c 230 353 402.87 64.76 6.22 1000000 0 1176.97/1177.36 c 211 335 391.36 71.71 5.46 1000000 0 1178.17/1178.57 c 190 304 389.65 80.98 4.81 1000000 0 1179.37/1179.77 c 232 391 400.35 70.00 5.72 1000000 0 1180.57/1180.99 c 163 369 401.24 67.54 5.94 1000000 0 1181.77/1182.19 c 198 455 399.95 73.67 5.43 1000000 0 1183.07/1183.40 c 250 441 416.33 69.74 5.97 1000000 0 1184.28/1184.61 c 229 328 387.56 58.54 6.62 1000000 0 1185.48/1185.82 c 238 389 397.71 64.61 6.16 1000000 0 1186.67/1187.03 c 233 296 398.19 69.47 5.73 1000000 0 1187.87/1188.24 c 226 319 394.95 73.60 5.37 1000000 0 1189.07/1189.44 c 224 429 394.75 63.18 6.25 1000000 0 1190.27/1190.65 c 246 481 413.13 69.67 5.93 1000000 0 1191.47/1191.86 c 188 357 394.76 68.71 5.75 1000000 0 1192.67/1193.07 c 190 384 392.95 63.36 6.20 1000000 0 1193.87/1194.28 c 207 341 403.18 71.15 5.67 1000000 0 1195.06/1195.49 c 205 383 393.65 66.92 5.88 1000000 0 1196.37/1196.70 c 221 390 380.30 69.52 5.47 1000000 0 1197.57/1197.90 c 209 351 402.89 74.17 5.43 1000000 0 1198.76/1199.12 c 234 407 405.71 74.85 5.42 1000000 0 1199.96/1200.33 c 214 357 409.73 65.38 6.27 1000000 0 1201.16/1201.54 c 199 482 386.52 70.14 5.51 1000000 0 1202.36/1202.75 c 224 382 404.17 71.83 5.63 1000000 0 1203.56/1203.95 c 180 305 390.66 67.44 5.79 1000000 0 1204.76/1205.16 c 218 391 397.15 67.43 5.89 1000000 0 1205.96/1206.36 c 244 440 392.81 66.38 5.92 1000000 0 1207.16/1207.57 c 207 352 397.64 79.32 5.01 1000000 0 1208.36/1208.77 c 211 375 381.59 60.59 6.30 1000000 0 1209.57/1209.98 c 180 483 387.42 62.55 6.19 1000000 0 1210.77/1211.19 c 197 506 395.19 75.15 5.26 1000000 0 1212.06/1212.40 c 196 309 386.55 62.92 6.14 1000000 0 1213.26/1213.61 c 230 334 396.52 63.79 6.22 1000000 0 1214.46/1214.82 c 188 454 380.79 71.96 5.29 1000000 0 1215.66/1216.03 c 246 417 390.36 65.17 5.99 1000000 0 1216.86/1217.24 c 214 331 398.82 67.16 5.94 1000000 0 1218.06/1218.45 c 199 356 390.61 82.27 4.75 1000000 0 1219.26/1219.66 c 192 435 402.84 64.42 6.25 1000000 0 1220.46/1220.87 c 227 272 404.70 83.70 4.83 1000000 0 1221.66/1222.10 c 180 451 396.02 80.75 4.90 1000000 0 1222.94/1223.30 c 215 351 399.64 72.76 5.49 1000000 0 1224.14/1224.51 c 186 369 388.35 75.57 5.14 1000000 0 1225.34/1225.73 c 218 401 394.26 60.38 6.53 1000000 0 1226.54/1226.93 c 230 392 391.26 68.15 5.74 1000000 0 1227.74/1228.14 c 192 428 389.67 75.39 5.17 1000000 0 1228.94/1229.35 c 248 315 404.21 65.00 6.22 1000000 0 1230.14/1230.56 c 207 400 399.02 64.69 6.17 1000000 0 1231.34/1231.77 c 229 398 403.88 69.04 5.85 1000000 0 1232.54/1232.98 c 198 449 387.60 66.30 5.85 1000000 0 1233.75/1234.19 c 198 438 396.22 65.81 6.02 1000000 0 1234.95/1235.39 c 225 327 404.68 79.51 5.09 1000000 0 1236.24/1236.60 c 215 389 395.36 64.59 6.12 1000000 0 1237.44/1237.81 c 238 454 402.93 66.97 6.02 1000000 0 1238.64/1239.02 c 208 420 400.20 68.62 5.83 1000000 0 1239.84/1240.22 c 203 430 395.36 66.40 5.95 1000000 0 1241.04/1241.44 c 208 475 409.47 68.31 5.99 1000000 0 1242.24/1242.64 c 214 232 394.99 69.02 5.72 1000000 0 1243.44/1243.85 c 201 401 400.47 71.20 5.62 1000000 0 1244.64/1245.06 c 160 361 401.99 76.19 5.28 1000000 0 1245.85/1246.28 c 225 427 398.77 69.80 5.71 1000000 0 1247.05/1247.48 c 200 371 389.40 73.60 5.29 1000000 0 1248.24/1248.69 c 227 424 393.88 60.07 6.56 1000000 0 1249.54/1249.90 c 202 356 385.35 76.97 5.01 1000000 0 1250.74/1251.11 c 217 406 405.52 74.34 5.45 1000000 0 1251.94/1252.32 c 230 449 393.34 68.09 5.78 1000000 0 1253.14/1253.52 c 237 433 402.43 70.19 5.73 1000000 0 1254.34/1254.73 c 223 367 394.66 67.84 5.82 1000000 0 1255.54/1255.94 c 228 395 396.86 61.67 6.43 1000000 0 1256.74/1257.15 c 196 296 396.63 71.61 5.54 1000000 0 1257.94/1258.36 c 231 362 397.10 69.76 5.69 1000000 0 1259.14/1259.57 c 215 388 404.93 65.83 6.15 1000000 0 1260.34/1260.78 c 205 415 400.06 77.74 5.15 1000000 0 1261.54/1261.99 c 232 314 405.15 77.26 5.24 1000000 0 1262.74/1263.19 c 206 388 381.02 60.81 6.27 1000000 0 1264.03/1264.40 c 235 345 391.18 69.30 5.64 1000000 0 1265.23/1265.61 c 222 356 402.10 70.24 5.72 1000000 0 1266.43/1266.83 c 246 424 400.23 73.74 5.43 1000000 0 1267.63/1268.04 c 225 352 395.72 59.41 6.66 1000000 0 1268.83/1269.25 c 221 483 412.52 77.98 5.29 1000000 0 1270.04/1270.46 c 221 384 391.11 66.86 5.85 1000000 0 1271.24/1271.67 c 230 424 397.32 71.38 5.57 1000000 0 1272.43/1272.87 c 180 407 399.17 76.93 5.19 1000000 0 1273.63/1274.08 c 172 231 386.66 70.11 5.52 1000000 0 1274.83/1275.29 c 227 354 409.28 61.52 6.65 1000000 0 1276.13/1276.50 c 209 406 377.98 63.44 5.96 1000000 0 1277.33/1277.72 c 218 394 396.11 77.02 5.14 1000000 0 1278.53/1278.93 c 210 408 403.88 69.83 5.78 1000000 0 1279.73/1280.14 c 211 438 394.35 65.57 6.01 1000000 0 1280.93/1281.35 c 192 401 390.27 71.74 5.44 1000000 0 1282.14/1282.55 c 185 472 396.40 68.27 5.81 1000000 0 1283.34/1283.76 c 231 401 392.60 66.22 5.93 1000000 0 1284.53/1284.98 c 244 444 396.81 62.87 6.31 1000000 0 1285.73/1286.18 c 200 345 384.84 62.73 6.13 1000000 0 1286.93/1287.40 c 224 349 398.27 65.56 6.07 1000000 0 1288.23/1288.61 c 201 368 390.23 70.18 5.56 1000000 0 1289.43/1289.81 c 226 383 392.17 70.97 5.53 1000000 0 1290.63/1291.02 c 183 301 391.77 71.62 5.47 1000000 0 1291.83/1292.23 c 218 398 388.80 79.59 4.89 1000000 0 1293.03/1293.44 c 231 362 399.40 68.92 5.80 1000000 0 1294.23/1294.65 c 218 467 401.54 59.17 6.79 1000000 0 1295.43/1295.85 c 232 446 389.72 69.80 5.58 1000000 0 1296.62/1297.07 c 221 414 386.39 63.61 6.07 1000000 0 1297.82/1298.28 c 228 436 381.48 67.76 5.63 1000000 0 1299.02/1299.49 c 187 469 390.73 64.97 6.01 1000000 0 1300.22/1300.69 c 209 403 381.79 69.74 5.47 1000000 0 1301.52/1301.90 c 200 541 386.63 75.17 5.14 1000000 0 1302.72/1303.11 c 210 400 400.63 80.98 4.95 1000000 0 1303.92/1304.33 c 200 319 392.51 77.49 5.07 1000000 0 1305.12/1305.54 c 236 347 393.63 67.39 5.84 1000000 0 1306.33/1306.74 c 230 345 400.78 72.86 5.50 1000000 0 1307.53/1307.95 c 232 406 400.49 69.19 5.79 1000000 0 1308.72/1309.16 c 205 317 399.19 63.47 6.29 1000000 0 1309.92/1310.37 c 218 341 388.13 64.21 6.05 1000000 0 1311.12/1311.58 c 226 319 394.05 73.97 5.33 1000000 0 1312.32/1312.79 c 219 370 396.09 74.23 5.34 1000000 0 1313.62/1314.00 c 186 365 395.95 60.76 6.52 1000000 0 1314.82/1315.21 c 225 394 388.63 76.29 5.09 1000000 0 1316.02/1316.42 c 222 369 396.72 58.72 6.76 1000000 0 1317.22/1317.63 c 247 492 398.39 67.70 5.89 1000000 0 1318.43/1318.83 c 211 460 392.97 57.94 6.78 1000000 0 1319.63/1320.05 c 218 254 397.06 70.83 5.61 1000000 0 1320.82/1321.26 c 225 510 391.77 73.14 5.36 1000000 0 1322.02/1322.47 c 214 396 400.17 62.78 6.37 1000000 0 1323.22/1323.68 c 220 462 397.65 66.14 6.01 1000000 0 1324.42/1324.89 c 235 332 411.74 77.02 5.35 1000000 0 1325.62/1326.10 c 212 326 396.29 81.29 4.88 1000000 0 1326.92/1327.30 c 167 436 390.88 70.73 5.53 1000000 0 1328.12/1328.51 c 230 397 394.77 72.66 5.43 1000000 0 1329.32/1329.72 c 221 384 388.08 60.59 6.41 1000000 0 1330.52/1330.93 c 221 484 396.40 56.67 7.00 1000000 0 1331.72/1332.13 c 193 326 396.18 65.60 6.04 1000000 0 1332.91/1333.34 c 173 368 389.47 74.99 5.19 1000000 0 1334.11/1334.54 c 245 480 401.54 66.71 6.02 1000000 0 1335.31/1335.75 c 220 354 402.74 73.11 5.51 1000000 0 1336.51/1336.96 c 193 384 384.29 72.24 5.32 1000000 0 1337.71/1338.17 c 223 380 402.69 74.21 5.43 1000000 0 1338.91/1339.37 c 212 471 399.80 63.46 6.30 1000000 0 1340.11/1340.58 c 180 379 389.15 70.16 5.55 1000000 0 1341.31/1341.79 c 203 390 386.85 73.63 5.25 1000000 0 1342.62/1343.00 c 160 310 390.31 79.12 4.93 1000000 0 1343.82/1344.21 c 198 352 406.60 80.97 5.02 1000000 0 1345.01/1345.42 c 220 401 397.04 73.43 5.41 1000000 0 1346.21/1346.63 c 217 444 397.77 67.58 5.89 1000000 0 1347.41/1347.84 c 215 394 394.95 63.72 6.20 1000000 0 1348.61/1349.05 c 209 278 393.81 69.70 5.65 1000000 0 1349.81/1350.25 c 203 405 394.02 64.63 6.10 1000000 0 1351.01/1351.46 c 189 355 391.03 67.85 5.76 1000000 0 1352.21/1352.67 c 214 380 397.71 73.23 5.43 1000000 0 1353.41/1353.88 c 215 357 390.62 80.07 4.88 1000000 0 1354.61/1355.09 c 225 400 396.18 68.27 5.80 1000000 0 1355.82/1356.30 c 240 337 402.45 71.08 5.66 1000000 0 1357.11/1357.50 c 196 329 384.49 62.60 6.14 1000000 0 1358.31/1358.71 c 221 338 397.23 72.48 5.48 1000000 0 1359.51/1359.92 c 196 385 380.74 69.18 5.50 1000000 0 1360.71/1361.13 c 236 416 403.02 70.26 5.74 1000000 0 1361.91/1362.34 c 203 402 391.28 65.65 5.96 1000000 0 1363.11/1363.55 c 229 438 402.73 58.39 6.90 1000000 0 1364.31/1364.76 c 216 559 402.44 74.83 5.38 1000000 0 1365.51/1365.97 c 222 351 385.43 59.15 6.52 1000000 0 1366.70/1367.18 c 187 422 410.06 78.00 5.26 1000000 0 1367.91/1368.39 c 219 384 395.61 63.11 6.27 1000000 0 1369.11/1369.60 c 215 435 396.00 68.04 5.82 1000000 0 1370.40/1370.80 c 235 311 402.49 69.91 5.76 1000000 0 1371.60/1372.01 c 234 500 405.53 73.79 5.50 1000000 0 1372.80/1373.23 c 215 320 399.70 62.51 6.39 1000000 0 1374.00/1374.44 c 216 385 405.61 74.24 5.46 1000000 0 1375.20/1375.65 c 229 350 397.45 61.35 6.48 1000000 0 1376.40/1376.86 c 214 396 396.94 73.55 5.40 1000000 0 1377.60/1378.07 c 183 354 383.49 67.79 5.66 1000000 0 1378.80/1379.28 c 207 465 382.22 64.75 5.90 1000000 0 1380.01/1380.49 c 241 472 410.39 66.58 6.16 1000000 0 1381.21/1381.69 c 232 353 402.08 70.56 5.70 1000000 0 1382.50/1382.91 c 218 421 401.11 68.95 5.82 1000000 0 1383.70/1384.11 c 236 384 404.21 67.21 6.01 1000000 0 1384.90/1385.33 c 208 378 401.75 63.57 6.32 1000000 0 1386.10/1386.54 c 205 337 387.47 68.53 5.65 1000000 0 1387.30/1387.75 c 230 380 391.35 65.68 5.96 1000000 0 1388.50/1388.95 c 220 432 394.83 63.16 6.25 1000000 0 1389.70/1390.16 c 213 307 403.71 73.90 5.46 1000000 0 1390.90/1391.37 c 211 465 389.78 68.77 5.67 1000000 0 1392.10/1392.58 c 225 339 385.05 56.00 6.88 1000000 0 1393.30/1393.79 c 245 349 404.28 63.16 6.40 1000000 0 1394.60/1395.00 c 225 330 395.08 59.98 6.59 1000000 0 1395.80/1396.21 c 208 442 394.47 68.46 5.76 1000000 0 1397.00/1397.42 c 216 418 394.09 59.15 6.66 1000000 0 1398.20/1398.63 c 232 419 410.61 68.70 5.98 1000000 0 1399.40/1399.84 c 205 319 393.81 69.48 5.67 1000000 0 1400.60/1401.04 c 220 382 385.86 60.20 6.41 1000000 0 1401.79/1402.25 c 180 456 398.95 66.61 5.99 1000000 0 1402.99/1403.47 c 200 330 376.60 74.74 5.04 1000000 0 1404.20/1404.67 c 234 418 384.63 71.82 5.36 1000000 0 1405.40/1405.88 c 218 435 395.00 74.47 5.30 1000000 0 1406.59/1407.09 c 219 422 401.48 73.92 5.43 1000000 0 1407.89/1408.30 c 224 404 406.12 68.35 5.94 1000000 0 1409.09/1409.50 c 172 268 395.34 77.30 5.11 1000000 0 1410.29/1410.72 c 196 449 407.45 83.83 4.86 1000000 0 1411.49/1411.93 c 173 314 386.51 60.81 6.36 1000000 0 1412.69/1413.14 c 216 428 393.56 65.85 5.98 1000000 0 1413.89/1414.34 c 244 399 390.76 66.27 5.90 1000000 0 1415.09/1415.56 c 188 410 395.51 63.51 6.23 1000000 0 1416.30/1416.77 c 206 345 391.30 67.85 5.77 1000000 0 1417.50/1417.98 c 233 464 397.26 66.94 5.93 1000000 0 1418.69/1419.19 c 228 360 394.30 64.04 6.16 1000000 0 1419.89/1420.39 c 224 439 399.15 75.08 5.32 1000000 0 1421.19/1421.60 c 207 375 390.56 65.80 5.94 1000000 0 1422.39/1422.81 c 219 318 397.11 75.15 5.28 1000000 0 1423.59/1424.02 c 219 363 390.63 67.11 5.82 1000000 0 1424.79/1425.22 c 225 365 391.43 65.35 5.99 1000000 0 1425.99/1426.43 c 214 263 391.43 74.35 5.27 1000000 0 1427.19/1427.64 c 239 354 394.25 69.67 5.66 1000000 0 1428.39/1428.85 c 226 323 390.61 64.33 6.07 1000000 0 1429.59/1430.06 c 201 434 407.74 74.96 5.44 1000000 0 1430.79/1431.27 c 225 447 393.17 58.76 6.69 1000000 0 1431.99/1432.48 c 254 319 405.44 65.43 6.20 1000000 0 1433.19/1433.68 c 203 411 401.14 76.31 5.26 1000000 0 1434.38/1434.89 c 208 347 405.27 76.20 5.32 1000000 0 1435.68/1436.10 c 208 370 395.85 66.37 5.96 1000000 0 1436.88/1437.31 c 215 504 402.01 72.11 5.58 1000000 0 1438.08/1438.52 c 212 320 397.41 63.50 6.26 1000000 0 1439.28/1439.73 c 209 435 392.99 75.78 5.19 1000000 0 1440.49/1440.93 c 205 384 391.65 67.61 5.79 1000000 0 1441.69/1442.14 c 226 359 399.67 65.09 6.14 1000000 0 1442.88/1443.34 c 234 344 399.91 62.72 6.38 1000000 0 1444.08/1444.55 c 196 367 386.49 59.39 6.51 1000000 0 1445.28/1445.76 c 220 383 387.88 68.42 5.67 1000000 0 1446.48/1446.97 c 224 343 406.03 63.54 6.39 1000000 0 1447.68/1448.18 c 195 510 387.06 79.16 4.89 1000000 0 1448.88/1449.39 c 233 475 394.53 67.81 5.82 1000000 0 1450.08/1450.59 c 213 271 407.81 74.17 5.50 1000000 0 1451.38/1451.81 c 232 387 395.14 70.87 5.58 1000000 0 1452.59/1453.01 c 178 391 384.34 66.71 5.76 1000000 0 1453.79/1454.22 c 179 443 389.54 74.21 5.25 1000000 0 1454.98/1455.43 c 216 395 400.38 72.63 5.51 1000000 0 1456.18/1456.64 c 224 354 392.10 65.26 6.01 1000000 0 1457.38/1457.84 c 227 401 397.63 77.77 5.11 1000000 0 1458.58/1459.06 c 205 361 388.23 69.30 5.60 1000000 0 1459.78/1460.26 c 218 367 391.86 59.17 6.62 1000000 0 1460.98/1461.47 c 205 389 394.74 71.73 5.50 1000000 0 1462.19/1462.68 c 193 394 403.66 71.74 5.63 1000000 0 1463.39/1463.89 c 229 381 395.49 58.80 6.73 1000000 0 1464.59/1465.09 c 221 325 392.22 65.60 5.98 1000000 0 1465.79/1466.30 c 195 373 395.28 64.57 6.12 1000000 0 1467.08/1467.50 c 225 477 389.57 58.20 6.69 1000000 0 1468.28/1468.71 c 213 347 399.16 67.35 5.93 1000000 0 1469.48/1469.92 c 221 368 390.98 64.37 6.07 1000000 0 1470.68/1471.13 c 221 370 392.80 68.05 5.77 1000000 0 1471.88/1472.34 c 190 388 397.59 80.99 4.91 1000000 0 1473.08/1473.55 c 231 438 396.60 72.18 5.49 1000000 0 1474.28/1474.76 c 179 313 387.04 70.45 5.49 1000000 0 1475.48/1475.96 c 217 352 384.04 65.33 5.88 1000000 0 1476.68/1477.17 c 226 431 416.79 66.97 6.22 1000000 0 1477.89/1478.38 c 206 382 390.27 69.60 5.61 1000000 0 1479.09/1479.59 c 215 448 397.30 65.75 6.04 1000000 0 1480.38/1480.80 c 177 382 385.24 65.92 5.84 1000000 0 1481.58/1482.00 c 231 504 391.05 81.92 4.77 1000000 0 1482.78/1483.22 c 224 402 395.35 64.48 6.13 1000000 0 1483.98/1484.42 c 201 432 381.57 69.95 5.45 1000000 0 1485.18/1485.63 c 176 356 397.46 64.27 6.18 1000000 0 1486.38/1486.84 c 217 360 396.04 64.86 6.11 1000000 0 1487.58/1488.05 c 200 325 390.30 72.41 5.39 1000000 0 1488.78/1489.25 c 202 343 387.76 73.59 5.27 1000000 0 1489.99/1490.46 c 206 469 392.52 63.34 6.20 1000000 0 1491.19/1491.67 c 244 287 403.04 70.14 5.75 1000000 0 1492.38/1492.88 c 201 260 390.96 68.70 5.69 1000000 0 1493.58/1494.08 c 175 323 383.49 69.60 5.51 1000000 0 1494.78/1495.29 c 228 361 395.48 60.88 6.50 1000000 0 1496.08/1496.50 c 213 316 384.43 64.06 6.00 1000000 0 1497.28/1497.71 c 203 452 388.51 64.35 6.04 1000000 0 1498.48/1498.92 c 222 364 406.01 74.69 5.44 1000000 0 1499.68/1500.13 c 223 367 383.84 66.29 5.79 1000000 0 1500.88/1501.33 c 207 363 391.24 73.31 5.34 1000000 0 1502.08/1502.54 c 216 394 387.53 78.75 4.92 1000000 0 1503.28/1503.75 c 218 318 406.44 70.96 5.73 1000000 0 1504.47/1504.96 c 235 380 396.83 74.64 5.32 1000000 0 1505.67/1506.17 c 196 312 390.44 73.94 5.28 1000000 0 1506.87/1507.38 c 212 384 402.45 72.42 5.56 1000000 0 1508.07/1508.59 c 233 279 394.67 69.09 5.71 1000000 0 1509.37/1509.80 c 189 324 405.07 76.81 5.27 1000000 0 1510.57/1511.01 c 246 488 402.99 63.16 6.38 1000000 0 1511.77/1512.22 c 199 312 381.16 65.09 5.86 1000000 0 1512.97/1513.43 c 225 401 395.76 65.42 6.05 1000000 0 1514.18/1514.64 c 220 334 387.76 60.48 6.41 1000000 0 1515.38/1515.85 c 213 321 397.26 62.75 6.33 1000000 0 1516.57/1517.06 c 199 371 393.52 68.34 5.76 1000000 0 1517.77/1518.27 c 202 283 405.15 76.92 5.27 1000000 0 1518.97/1519.48 c 167 427 398.80 68.58 5.81 1000000 0 1520.17/1520.68 c 216 435 392.15 78.79 4.98 1000000 0 1521.37/1521.89 c 180 349 383.04 71.41 5.36 1000000 0 1522.67/1523.11 c 238 446 405.77 70.26 5.78 1000000 0 1523.87/1524.31 c 217 390 400.90 69.46 5.77 1000000 0 1525.07/1525.52 c 207 371 392.55 78.90 4.98 1000000 0 1526.28/1526.73 c 230 449 397.75 70.54 5.64 1000000 0 1527.48/1527.94 c 179 412 388.14 64.28 6.04 1000000 0 1528.67/1529.15 c 241 428 390.08 60.78 6.42 1000000 0 1529.87/1530.36 c 197 439 410.73 70.88 5.79 1000000 0 1531.07/1531.56 c 215 361 389.69 83.51 4.67 1000000 0 1532.27/1532.77 c 223 366 392.33 63.78 6.15 1000000 0 1533.47/1533.98 c 177 396 389.55 65.22 5.97 1000000 0 1534.67/1535.18 c 205 383 396.79 62.52 6.35 1000000 0 1535.87/1536.39 c 230 339 395.30 70.25 5.63 1000000 0 1537.17/1537.60 c 227 349 402.11 60.65 6.63 1000000 0 1538.37/1538.80 c 198 421 380.92 65.05 5.86 1000000 0 1539.57/1540.01 c 230 396 384.51 56.94 6.75 1000000 0 1540.76/1541.22 c 209 325 393.73 70.74 5.57 1000000 0 1541.96/1542.43 c 212 365 386.22 67.75 5.70 1000000 0 1543.16/1543.63 c 220 417 396.14 54.53 7.26 1000000 0 1544.36/1544.85 c 213 446 392.39 62.09 6.32 1000000 0 1545.56/1546.05 c 240 314 404.87 81.20 4.99 1000000 0 1546.76/1547.26 c 216 305 386.79 75.78 5.10 1000000 0 1547.96/1548.47 c 202 470 396.09 67.64 5.86 1000000 0 1549.16/1549.67 c 159 445 394.38 78.50 5.02 1000000 0 1550.36/1550.88 c 198 474 387.16 59.76 6.48 1000000 0 1551.57/1552.09 c 231 388 395.76 68.40 5.79 1000000 0 1552.86/1553.30 c 235 390 402.64 78.27 5.14 1000000 0 1554.06/1554.51 c 211 364 405.61 79.97 5.07 1000000 0 1555.26/1555.72 c 195 445 381.21 67.53 5.65 1000000 0 1556.46/1556.93 c 207 499 407.93 72.34 5.64 1000000 0 1557.66/1558.14 c 224 349 387.91 65.52 5.92 1000000 0 1558.86/1559.35 c 224 356 403.27 72.43 5.57 1000000 0 1560.06/1560.56 c 234 334 398.77 69.10 5.77 1000000 0 1561.26/1561.77 c 199 377 388.94 63.96 6.08 1000000 0 1562.46/1562.98 c 204 515 386.74 64.63 5.98 1000000 0 1563.67/1564.18 c 207 408 382.46 73.96 5.17 1000000 0 1564.87/1565.39 c 210 388 401.87 80.20 5.01 1000000 0 1566.16/1566.60 c 209 457 384.60 70.99 5.42 1000000 0 1567.36/1567.81 c 177 417 375.67 68.60 5.48 1000000 0 1568.56/1569.02 c 232 360 406.52 73.28 5.55 1000000 0 1569.76/1570.23 c 235 412 397.89 63.40 6.28 1000000 0 1570.96/1571.44 c 225 449 405.09 67.22 6.03 1000000 0 1572.15/1572.65 c 230 387 403.91 59.89 6.74 1000000 0 1573.35/1573.85 c 216 515 381.51 59.72 6.39 1000000 0 1574.55/1575.06 c 209 354 388.48 67.33 5.77 1000000 0 1575.76/1576.27 c 175 428 385.71 71.18 5.42 1000000 0 1576.96/1577.48 c 162 341 400.68 72.23 5.55 1000000 0 1578.15/1578.69 c 139 322 382.16 71.29 5.36 1000000 0 1579.35/1579.89 c 217 474 406.68 69.60 5.84 1000000 0 1580.65/1581.10 c 195 403 392.47 78.77 4.98 1000000 0 1581.85/1582.31 c 230 443 395.30 63.27 6.25 1000000 0 1583.05/1583.53 c 248 399 402.92 74.03 5.44 1000000 0 1584.25/1584.74 c 218 363 401.45 59.70 6.72 1000000 0 1585.45/1585.95 c 207 431 387.97 65.67 5.91 1000000 0 1586.65/1587.16 c 221 319 398.98 67.03 5.95 1000000 0 1587.86/1588.37 c 211 472 390.02 67.67 5.76 1000000 0 1589.06/1589.58 c 210 401 395.82 69.20 5.72 1000000 0 1590.25/1590.78 c 234 304 401.53 61.66 6.51 1000000 0 1591.45/1591.99 c 250 430 409.61 64.01 6.40 1000000 0 1592.75/1593.21 c 205 447 406.16 70.31 5.78 1000000 0 1593.95/1594.42 c 189 308 399.61 73.81 5.41 1000000 0 1595.15/1595.63 c 223 417 389.50 61.85 6.30 1000000 0 1596.35/1596.84 c 209 374 399.41 74.70 5.35 1000000 0 1597.55/1598.05 c 204 397 388.46 69.52 5.59 1000000 0 1598.75/1599.26 c 199 443 402.41 60.47 6.65 1000000 0 1599.95/1600.46 c 216 369 398.88 66.12 6.03 1000000 0 1601.16/1601.67 c 221 339 407.02 64.50 6.31 1000000 0 1602.35/1602.88 c 215 375 394.04 70.55 5.59 1000000 0 1603.55/1604.09 c 180 456 398.70 81.27 4.91 1000000 0 1604.85/1605.30 c 179 439 401.14 83.01 4.83 1000000 0 1606.05/1606.51 c 199 465 387.65 59.95 6.47 1000000 0 1607.25/1607.72 c 260 360 403.10 70.80 5.69 1000000 0 1608.45/1608.93 c 214 287 392.66 61.21 6.41 1000000 0 1609.65/1610.14 c 230 337 384.62 67.05 5.74 1000000 0 1610.85/1611.35 c 211 276 403.68 81.69 4.94 1000000 0 1612.05/1612.56 c 212 518 391.48 64.95 6.03 1000000 0 1613.25/1613.76 c 214 412 384.37 65.30 5.89 1000000 0 1614.44/1614.98 c 246 407 400.64 79.94 5.01 1000000 0 1615.64/1616.19 c 191 381 402.75 71.16 5.66 1000000 0 1616.84/1617.39 c 188 318 398.76 72.38 5.51 1000000 0 1618.14/1618.61 c 192 419 381.44 69.31 5.50 1000000 0 1619.34/1619.82 c 166 361 386.81 62.53 6.19 1000000 0 1620.54/1621.02 c 234 322 393.23 68.92 5.71 1000000 0 1621.74/1622.23 c 231 342 386.68 58.35 6.63 1000000 0 1622.94/1623.44 c 215 426 388.57 71.53 5.43 1000000 0 1624.15/1624.65 c 172 415 400.81 75.83 5.29 1000000 0 1625.35/1625.86 c 209 327 395.81 66.41 5.96 1000000 0 1626.54/1627.07 c 185 353 392.41 67.42 5.82 1000000 0 1627.74/1628.28 c 203 468 387.98 73.81 5.26 1000000 0 1628.94/1629.49 c 220 491 406.29 74.78 5.43 1000000 0 1630.24/1630.70 c 231 497 407.26 66.80 6.10 1000000 0 1631.44/1631.91 c 224 459 392.27 70.02 5.60 1000000 0 1632.64/1633.12 c 225 339 390.58 62.19 6.28 1000000 0 1633.84/1634.33 c 195 346 385.87 78.80 4.90 1000000 0 1635.04/1635.54 c 215 427 388.13 78.77 4.93 1000000 0 1636.24/1636.74 c 196 337 397.44 62.96 6.31 1000000 0 1637.44/1637.95 c 215 432 389.15 66.74 5.83 1000000 0 1638.64/1639.16 c 206 426 397.99 74.29 5.36 1000000 0 1639.84/1640.37 c 241 417 402.58 71.88 5.60 1000000 0 1641.04/1641.58 c 211 474 395.93 79.12 5.00 1000000 0 1642.24/1642.79 c 212 374 391.16 64.42 6.07 1000000 0 1643.54/1644.00 c 185 363 401.72 67.92 5.91 1000000 0 1644.73/1645.21 c 219 370 397.91 69.11 5.76 1000000 0 1645.93/1646.42 c 260 363 407.56 64.69 6.30 1000000 0 1647.13/1647.63 c 214 306 387.17 62.89 6.16 1000000 0 1648.34/1648.84 c 194 328 401.69 78.04 5.15 1000000 0 1649.54/1650.05 c 207 390 388.67 66.96 5.80 1000000 0 1650.73/1651.26 c 206 417 390.40 73.78 5.29 1000000 0 1651.93/1652.46 c 208 387 399.82 73.78 5.42 1000000 0 1653.13/1653.68 c 220 352 405.01 68.41 5.92 1000000 0 1654.33/1654.88 c 217 428 390.32 65.68 5.94 1000000 0 1655.53/1656.09 c 231 391 395.34 59.69 6.62 1000000 0 1656.83/1657.30 c 233 366 391.82 77.03 5.09 1000000 0 1658.03/1658.51 c 243 396 414.89 68.34 6.07 1000000 0 1659.23/1659.72 c 225 368 400.91 76.38 5.25 1000000 0 1660.44/1660.92 c 217 250 400.90 70.10 5.72 1000000 0 1661.64/1662.14 c 214 343 397.20 66.26 5.99 1000000 0 1662.83/1663.34 c 177 408 385.31 69.12 5.57 1000000 0 1664.03/1664.55 c 266 309 399.53 68.54 5.83 1000000 0 1665.23/1665.76 c 221 362 398.15 76.33 5.22 1000000 0 1666.43/1666.97 c 235 365 396.25 64.85 6.11 1000000 0 1667.63/1668.18 c 194 420 389.90 68.58 5.69 1000000 0 1668.83/1669.40 c 230 432 404.43 72.32 5.59 1000000 0 1670.13/1670.61 c 223 315 417.38 73.87 5.65 1000000 0 1671.33/1671.82 c 229 372 401.51 61.27 6.55 1000000 0 1672.53/1673.03 c 197 469 413.84 67.69 6.11 1000000 0 1673.73/1674.24 c 186 371 390.83 59.71 6.55 1000000 0 1674.93/1675.44 c 220 411 393.09 69.25 5.68 1000000 0 1676.13/1676.65 c 223 489 387.80 67.02 5.79 1000000 0 1677.33/1677.86 c 181 329 395.93 81.07 4.88 1000000 0 1678.53/1679.06 c 234 400 391.89 72.28 5.42 1000000 0 1679.73/1680.27 c 212 386 401.41 69.91 5.74 1000000 0 1680.93/1681.48 c 236 377 393.79 60.94 6.46 1000000 0 1682.12/1682.69 c 208 523 388.55 68.27 5.69 1000000 0 1683.32/1683.90 c 195 442 398.85 76.92 5.19 1000000 0 1684.63/1685.11 c 199 436 396.23 72.01 5.50 1000000 0 1685.83/1686.32 c 235 376 407.26 64.07 6.36 1000000 0 1687.02/1687.53 c 225 348 387.84 67.88 5.71 1000000 0 1688.22/1688.74 c 209 394 394.70 69.02 5.72 1000000 0 1689.42/1689.95 c 216 463 404.70 57.26 7.07 1000000 0 1690.62/1691.16 c 220 318 381.66 57.09 6.69 1000000 0 1691.82/1692.36 c 238 321 397.10 68.50 5.80 1000000 0 1693.02/1693.57 c 200 306 393.30 68.12 5.77 1000000 0 1694.22/1694.78 c 209 416 381.40 64.10 5.95 1000000 0 1695.42/1695.99 c 226 343 397.00 60.14 6.60 1000000 0 1696.73/1697.20 c 183 342 391.53 77.21 5.07 1000000 0 1697.93/1698.41 c 208 436 374.66 60.70 6.17 1000000 0 1699.12/1699.62 c 217 340 407.19 73.07 5.57 1000000 0 1700.32/1700.82 c 213 311 406.58 74.07 5.49 1000000 0 1701.52/1702.03 c 223 364 379.12 67.23 5.64 1000000 0 1702.72/1703.24 c 226 331 408.82 68.02 6.01 1000000 0 1703.92/1704.45 c 245 376 407.34 65.83 6.19 1000000 0 1705.12/1705.66 c 189 375 377.80 71.94 5.25 1000000 0 1706.32/1706.87 c 221 378 398.21 69.40 5.74 1000000 0 1707.52/1708.08 c 205 307 389.78 77.83 5.01 1000000 0 1708.72/1709.29 c 234 440 400.02 74.70 5.36 1000000 0 1709.92/1710.50 c 222 354 390.16 61.56 6.34 1000000 0 1711.22/1711.70 c 187 409 387.79 79.53 4.88 1000000 0 1712.42/1712.91 c 205 391 407.43 67.18 6.06 1000000 0 1713.62/1714.12 c 188 296 387.09 64.48 6.00 1000000 0 1714.82/1715.33 c 234 442 400.49 74.43 5.38 1000000 0 1716.02/1716.53 c 216 398 392.75 63.67 6.17 1000000 0 1717.21/1717.75 c 233 435 393.40 65.71 5.99 1000000 0 1718.41/1718.95 c 214 430 391.85 63.00 6.22 1000000 0 1719.61/1720.16 c 178 273 394.69 65.05 6.07 1000000 0 1720.81/1721.37 c 199 448 406.91 72.19 5.64 1000000 0 1722.02/1722.58 c 206 423 379.41 59.51 6.38 1000000 0 1723.22/1723.78 c 170 449 392.02 77.93 5.03 1000000 0 1724.41/1724.99 c 245 417 395.29 65.73 6.01 1000000 0 1725.71/1726.21 c 212 396 387.45 61.36 6.31 1000000 0 1726.91/1727.41 c 218 348 389.59 65.43 5.95 1000000 0 1728.11/1728.63 c 209 449 394.67 64.76 6.09 1000000 0 1729.31/1729.83 c 204 413 397.47 69.00 5.76 1000000 0 1730.51/1731.04 c 216 389 386.27 63.49 6.08 1000000 0 1731.71/1732.25 c 226 495 400.30 73.04 5.48 1000000 0 1732.91/1733.46 c 219 360 400.83 65.51 6.12 1000000 0 1734.12/1734.67 c 226 433 407.28 75.60 5.39 1000000 0 1735.32/1735.88 c 230 319 401.05 68.81 5.83 1000000 0 1736.51/1737.09 c 218 304 390.80 69.66 5.61 1000000 0 1737.81/1738.30 c 184 386 391.25 65.36 5.99 1000000 0 1739.01/1739.51 c 205 391 387.03 59.13 6.55 1000000 0 1740.21/1740.72 c 230 350 402.23 68.89 5.84 1000000 0 1741.41/1741.92 c 243 424 401.62 61.29 6.55 1000000 0 1742.61/1743.13 c 237 384 405.61 76.46 5.30 1000000 0 1743.81/1744.34 c 233 463 404.99 59.48 6.81 1000000 0 1745.01/1745.56 c 251 333 397.75 68.88 5.77 1000000 0 1746.21/1746.76 c 218 383 383.93 71.28 5.39 1000000 0 1747.41/1747.97 c 218 462 409.59 73.50 5.57 1000000 0 1748.61/1749.18 c 248 369 406.79 66.85 6.09 1000000 0 1749.81/1750.38 c 173 446 390.97 72.16 5.42 1000000 0 1751.00/1751.59 c 189 332 393.00 62.06 6.33 1000000 0 1752.30/1752.80 c 211 350 404.04 69.36 5.83 1000000 0 1753.50/1754.01 c 148 412 390.02 63.13 6.18 1000000 0 1754.70/1755.22 c 163 374 385.60 73.87 5.22 1000000 0 1755.90/1756.42 c 214 442 391.95 67.81 5.78 1000000 0 1757.10/1757.64 c 244 337 406.00 82.67 4.91 1000000 0 1758.31/1758.84 c 201 395 389.86 66.99 5.82 1000000 0 1759.51/1760.05 c 217 342 384.16 67.17 5.72 1000000 0 1760.70/1761.26 c 228 429 396.92 63.37 6.26 1000000 0 1761.90/1762.47 c 199 497 383.63 68.16 5.63 1000000 0 1763.10/1763.67 c 196 319 400.48 71.09 5.63 1000000 0 1764.30/1764.88 c 226 313 389.47 63.31 6.15 1000000 0 1765.50/1766.08 c 229 408 391.49 64.95 6.03 1000000 0 1766.70/1767.29 c 220 384 387.20 61.45 6.30 1000000 0 1767.90/1768.50 c 212 312 395.03 69.07 5.72 1000000 0 1769.20/1769.70 c 190 379 398.03 70.68 5.63 1000000 0 1770.41/1770.91 c 220 447 403.41 73.54 5.49 1000000 0 1771.61/1772.12 c 217 336 387.83 77.21 5.02 1000000 0 1772.80/1773.33 c 217 318 396.90 80.15 4.95 1000000 0 1774.00/1774.53 c 205 351 390.65 62.68 6.23 1000000 0 1775.20/1775.74 c 219 392 400.85 70.53 5.68 1000000 0 1776.40/1776.95 c 222 440 404.60 71.66 5.65 1000000 0 1777.60/1778.16 c 202 342 404.59 65.45 6.18 1000000 0 1778.80/1779.37 c 243 397 404.10 67.98 5.94 1000000 0 1780.00/1780.59 c 208 407 396.00 70.33 5.63 1000000 0 1781.30/1781.80 c 227 377 392.27 70.74 5.55 1000000 0 1782.50/1783.01 c 199 416 390.80 69.88 5.59 1000000 0 1783.70/1784.22 c 244 406 397.75 57.45 6.92 1000000 0 1784.90/1785.43 c 202 419 400.40 69.17 5.79 1000000 0 1786.10/1786.64 c 246 403 410.29 70.35 5.83 1000000 0 1787.30/1787.85 c 204 413 393.95 61.72 6.38 1000000 0 1788.50/1789.06 c 216 401 396.33 69.67 5.69 1000000 0 1789.69/1790.26 c 202 458 385.35 72.32 5.33 1000000 0 1790.89/1791.47 c 218 274 394.99 67.25 5.87 1000000 0 1792.09/1792.69 c 246 376 400.72 62.96 6.36 1000000 0 1793.39/1793.90 c 228 362 394.23 67.84 5.81 1000000 0 1794.60/1795.10 c 198 437 384.80 68.43 5.62 1000000 0 1795.80/1796.31 c 211 300 391.07 64.65 6.05 1000000 0 1796.99/1797.52 c 208 420 395.73 73.99 5.35 1000000 0 1798.19/1798.73 c 237 437 414.88 73.67 5.63 1000000 0 1799.39/1799.94 c 226 383 392.36 73.35 5.35 1000000 0 1800.11/1800.61 HOME/run: line 2: 20527 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-2685560-1278441640/watcher-2685560-1278441640 -o /tmp/evaluation-result-2685560-1278441640/solver-2685560-1278441640 -C 1800 -W 2000 -M 1800 run HOME/instance-2685560-1278441640.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.15 1.03 1.01 3/105 20526 /proc/meminfo: memFree=1730072/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) R 20524 20526 19648 0 -1 4202496 344 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407506325 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [startup+0.0230379 s] /proc/loadavg: 1.15 1.03 1.01 3/105 20526 /proc/meminfo: memFree=1730072/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101045 s] /proc/loadavg: 1.15 1.03 1.01 3/105 20526 /proc/meminfo: memFree=1730072/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 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.15 1.03 1.01 3/105 20526 /proc/meminfo: memFree=1730072/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701113 s] /proc/loadavg: 1.15 1.03 1.01 3/105 20526 /proc/meminfo: memFree=1730072/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.5012 s] /proc/loadavg: 1.13 1.03 1.01 2/107 20528 /proc/meminfo: memFree=1725344/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=1.49 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 149 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134537183 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10139 s] /proc/loadavg: 1.13 1.03 1.01 2/107 20528 /proc/meminfo: memFree=1725096/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=3.09 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 309 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526740 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30075 s] /proc/loadavg: 1.12 1.03 1.01 2/107 20528 /proc/meminfo: memFree=1725096/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=6.29 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 629 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526661 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7015 s] /proc/loadavg: 1.11 1.03 1.01 2/107 20528 /proc/meminfo: memFree=1725096/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=12.69 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 1269 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49152 [startup+25.5009 s] /proc/loadavg: 1.09 1.03 1.01 2/107 20528 /proc/meminfo: memFree=1725096/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=25.48 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 2548 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526287 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1008 s] /proc/loadavg: 1.06 1.03 1.00 2/107 20530 /proc/meminfo: memFree=1725096/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=51.08 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 5108 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134519928 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49152 [startup+102.309 s] /proc/loadavg: 1.02 1.02 1.00 2/107 20530 /proc/meminfo: memFree=1724848/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=102.27 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 10227 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526322 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 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.01 1.01 1.00 2/107 20532 /proc/meminfo: memFree=1724724/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=162.24 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 16224 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 20534 /proc/meminfo: memFree=1724724/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=222.23 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 22223 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526648 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 49152 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20536 /proc/meminfo: memFree=1724724/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=282.21 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 28221 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20538 /proc/meminfo: memFree=1724476/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=342.19 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 34219 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20538 /proc/meminfo: memFree=1724476/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=402.18 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 40218 0 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ [pid=20527] ppid=20526 vsize=40452 CPUtime=1062 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 106199 1 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134525854 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20558 /proc/meminfo: memFree=1722988/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=1121.99 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 112198 1 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134571221 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 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/107 20560 /proc/meminfo: memFree=1722864/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=1181.97 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 118196 1 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134537216 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20571 /proc/meminfo: memFree=1722368/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=1241.94 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 124193 1 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526127 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 20571 /proc/meminfo: memFree=1722368/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=1301.93 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 130192 1 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 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.08 1.02 1.00 2/107 20573 /proc/meminfo: memFree=1722368/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=1361.91 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 136190 1 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 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.06 1.03 1.00 2/107 20575 /proc/meminfo: memFree=1722492/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=1421.9 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 142189 1 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526866 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 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.08 1.04 1.00 2/107 20577 /proc/meminfo: memFree=1722368/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=1481.88 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 148186 2 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 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.03 1.03 1.00 2/107 20579 /proc/meminfo: memFree=1722244/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=1541.86 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 154184 2 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 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.01 1.02 1.00 3/107 20579 /proc/meminfo: memFree=1722120/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=1601.85 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 160183 2 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 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.05 1.03 1.00 2/107 20581 /proc/meminfo: memFree=1721996/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=1661.83 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 166181 2 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.06 1.04 1.00 2/107 20583 /proc/meminfo: memFree=1721872/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=1721.81 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 172179 2 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.06 1.04 1.00 2/107 20585 /proc/meminfo: memFree=1721624/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=1781.8 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 178178 2 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134537141 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 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.6 s] /proc/loadavg: 1.19 1.07 1.01 2/107 20585 /proc/meminfo: memFree=1721624/2059040 swapFree=4192956/4192956 [pid=20526] ppid=20524 vsize=8700 CPUtime=0 /proc/20526/stat : 20526 (run) S 20524 20526 19648 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 12372440 8908800 244 1992294400 4194304 4922060 140737239282976 18446744073709551615 258407505029 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/20526/statm: 2175 244 204 178 0 68 0 [pid=20527] ppid=20526 vsize=40452 CPUtime=1800.11 /proc/20527/stat : 20527 (PB-wave) R 20526 20526 19648 0 -1 4202496 1223 0 0 0 180009 2 0 0 25 0 1 0 12372440 41422848 1152 1992294400 134512640 135071400 4291976048 18446744073709551615 134536780 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/20527/statm: 10113 1152 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.12 CPU user time (s): 1800.09 CPU system time (s): 0.024996 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.09 system time used= 0.024996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1596 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= 4291 runsolver used 2.79857 second user time and 8.76867 second system time The end
Begin job on node085 at 2010-07-06 20:40:40 IDJOB=2685560 IDBENCH=76458 IDSOLVER=1171 FILE ID=node085/2685560-1278441640 PBS_JOBID= 11233440 Free space on /tmp= 121792 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6015_4-sat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685560-1278441640/watcher-2685560-1278441640 -o /tmp/evaluation-result-2685560-1278441640/solver-2685560-1278441640 -C 1800 -W 2000 -M 1800 run HOME/instance-2685560-1278441640.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 69559824b87170fe6ae330353d26cc7c RANDOM SEED=1316683868 node085.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.215 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.215 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 : 5999.39 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1730600 kB Buffers: 22968 kB Cached: 170980 kB SwapCached: 0 kB Active: 121524 kB Inactive: 132484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1730600 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1916 kB Writeback: 0 kB AnonPages: 60020 kB Mapped: 14392 kB Slab: 52796 kB PageTables: 4140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181708 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= 121792 MiB End job on node085 at 2010-07-06 21:10:41