Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.1 | 1800.61 |
Name | /DEC-SMALLINT-LIN/oliveras/j90/ normalized-j9039_3-unsat.opb |
MD5SUM | fc45b70f2bffc38ba49073a3c4955a67 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.212967 |
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 | 15106 |
Total number of constraints | 51849 |
Number of constraints which are clauses | 51521 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 328 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50 |
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 | 42 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 335 |
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.13 c PB-wave - v2 0.00/0.13 c command line = ./PB-wave 0.00/0.13 c seed = 113396449 0.00/0.13 c cutoff = 1000000 0.00/0.13 c tries = 1000000 0.00/0.13 c heuristic = c best, noise 50 / 100 0.00/0.13 #var 15106 #con 51849 0.00/0.13 mode is SAT 0.00/0.13 c tail starts after flip = 45318 0.00/0.13 c numatom = 15106, numclause = 51849, numliterals = 124283 0.00/0.13 c wff read in 0.00/0.13 c 0.00/0.13 c lowest final avg noise noise total avg mean mean 0.00/0.13 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.13 c this this this this this this success success until std 0.00/0.13 c try try try try try try rate tries assign dev 0.00/0.13 c 1.69/1.72 c 260 656 526.64 102.78 5.12 1000000 0 3.29/3.31 c 297 489 513.44 97.48 5.27 1000000 0 4.89/4.90 c 295 454 519.39 93.99 5.53 1000000 0 6.39/6.49 c 269 391 514.20 104.18 4.94 1000000 0 7.99/8.08 c 314 546 516.51 98.23 5.26 1000000 0 9.59/9.67 c 263 470 499.38 89.75 5.56 1000000 0 11.18/11.26 c 341 556 525.90 93.20 5.64 1000000 0 12.78/12.85 c 295 566 517.41 92.18 5.61 1000000 0 14.39/14.43 c 286 488 514.12 104.37 4.93 1000000 0 15.98/16.02 c 282 589 524.53 94.19 5.57 1000000 0 17.59/17.61 c 290 460 520.17 107.31 4.85 1000000 0 19.18/19.20 c 306 480 522.26 109.11 4.79 1000000 0 20.68/20.78 c 281 465 511.64 99.69 5.13 1000000 0 22.28/22.37 c 263 441 519.01 95.21 5.45 1000000 0 23.88/23.96 c 270 548 515.09 99.02 5.20 1000000 0 25.48/25.55 c 296 480 525.60 108.97 4.82 1000000 0 27.08/27.13 c 300 515 527.80 113.55 4.65 1000000 0 28.69/28.71 c 286 500 502.63 97.95 5.13 1000000 0 30.18/30.29 c 241 432 504.66 99.76 5.06 1000000 0 31.78/31.88 c 261 477 511.76 93.26 5.49 1000000 0 33.38/33.46 c 262 450 506.73 101.40 5.00 1000000 0 34.98/35.05 c 260 441 503.38 106.89 4.71 1000000 0 36.58/36.65 c 321 443 522.10 89.73 5.82 1000000 0 38.18/38.23 c 249 573 516.08 104.05 4.96 1000000 0 39.78/39.82 c 290 371 510.84 107.02 4.77 1000000 0 41.38/41.41 c 314 520 519.53 110.43 4.70 1000000 0 42.88/43.00 c 326 729 514.11 86.45 5.95 1000000 0 44.48/44.58 c 314 530 501.28 94.66 5.30 1000000 0 46.07/46.16 c 299 448 521.34 112.32 4.64 1000000 0 47.67/47.76 c 326 577 531.03 94.63 5.61 1000000 0 49.27/49.35 c 293 563 530.63 85.69 6.19 1000000 0 50.87/50.93 c 280 627 513.67 88.85 5.78 1000000 0 52.47/52.52 c 310 548 506.73 92.72 5.47 1000000 0 54.07/54.10 c 293 463 518.03 90.10 5.75 1000000 0 55.57/55.69 c 289 501 525.36 95.38 5.51 1000000 0 57.18/57.28 c 253 431 506.89 106.18 4.77 1000000 0 58.77/58.87 c 301 597 522.44 93.00 5.62 1000000 0 60.37/60.47 c 328 465 528.21 102.95 5.13 1000000 0 61.97/62.06 c 321 521 515.95 92.01 5.61 1000000 0 63.57/63.66 c 302 560 541.78 99.86 5.43 1000000 0 65.17/65.25 c 264 478 525.95 99.25 5.30 1000000 0 66.77/66.84 c 297 428 520.01 94.85 5.48 1000000 0 68.37/68.43 c 264 568 525.86 115.41 4.56 1000000 0 69.97/70.02 c 294 523 504.94 109.79 4.60 1000000 0 71.58/71.61 c 286 429 518.34 89.26 5.81 1000000 0 73.07/73.19 c 291 439 511.91 87.71 5.84 1000000 0 74.67/74.78 c 286 620 519.36 103.17 5.03 1000000 0 76.27/76.37 c 302 508 514.86 105.42 4.88 1000000 0 77.87/77.96 c 318 566 521.76 93.78 5.56 1000000 0 79.47/79.55 c 281 532 529.07 112.70 4.69 1000000 0 81.07/81.14 c 298 432 514.64 86.91 5.92 1000000 0 82.67/82.74 c 272 606 534.35 137.72 3.88 1000000 0 84.27/84.32 c 292 505 506.16 83.13 6.09 1000000 0 85.87/85.91 c 311 545 522.32 109.58 4.77 1000000 0 87.46/87.51 c 316 502 523.74 99.93 5.24 1000000 0 89.07/89.10 c 305 453 522.72 96.09 5.44 1000000 0 90.56/90.68 c 309 541 519.32 109.77 4.73 1000000 0 92.16/92.27 c 239 460 510.26 78.34 6.51 1000000 0 93.76/93.86 c 298 547 531.35 94.14 5.64 1000000 0 95.36/95.45 c 298 554 513.15 100.37 5.11 1000000 0 96.96/97.04 c 319 531 517.25 82.13 6.30 1000000 0 98.56/98.63 c 266 477 530.81 103.53 5.13 1000000 0 100.17/100.22 c 291 531 527.34 108.43 4.86 1000000 0 101.76/101.81 c 283 524 521.21 93.40 5.58 1000000 0 103.37/103.40 c 325 629 527.38 112.18 4.70 1000000 0 104.96/105.00 c 310 471 530.56 98.94 5.36 1000000 0 106.46/106.58 c 279 612 518.39 111.85 4.63 1000000 0 108.06/108.18 c 297 499 526.87 106.90 4.93 1000000 0 109.66/109.77 c 316 489 521.62 95.65 5.45 1000000 0 111.26/111.36 c 326 575 517.46 103.80 4.99 1000000 0 112.86/112.95 c 298 658 526.81 100.45 5.24 1000000 0 114.46/114.54 c 259 383 536.28 118.81 4.51 1000000 0 116.06/116.13 c 322 566 531.39 90.05 5.90 1000000 0 117.66/117.72 c 271 442 514.99 106.45 4.84 1000000 0 119.26/119.30 c 302 502 508.68 87.07 5.84 1000000 0 120.76/120.89 c 328 432 520.59 101.38 5.13 1000000 0 122.35/122.48 c 321 443 517.98 101.01 5.13 1000000 0 123.95/124.07 c 255 598 519.22 99.71 5.21 1000000 0 125.55/125.65 c 261 440 515.50 94.02 5.48 1000000 0 127.15/127.24 c 299 560 506.44 98.72 5.13 1000000 0 128.76/128.82 c 288 424 512.69 106.80 4.80 1000000 0 130.35/130.41 c 292 590 519.90 108.69 4.78 1000000 0 131.96/132.00 c 279 583 524.11 111.02 4.72 1000000 0 133.45/133.59 c 295 445 528.24 95.80 5.51 1000000 0 135.05/135.18 c 295 494 517.90 98.59 5.25 1000000 0 136.65/136.77 c 325 539 542.29 88.76 6.11 1000000 0 138.25/138.36 c 288 497 508.73 104.07 4.89 1000000 0 139.85/139.95 c 279 538 518.65 88.75 5.84 1000000 0 141.45/141.53 c 322 583 523.18 112.07 4.67 1000000 0 143.06/143.12 c 267 497 522.79 106.82 4.89 1000000 0 144.65/144.71 c 289 505 520.52 97.20 5.36 1000000 0 146.25/146.31 c 338 488 526.59 87.01 6.05 1000000 0 147.75/147.89 c 320 513 515.03 91.02 5.66 1000000 0 149.35/149.48 c 273 634 517.80 101.30 5.11 1000000 0 150.95/151.06 c 293 434 503.52 97.58 5.16 1000000 0 152.55/152.64 c 294 488 507.88 109.79 4.63 1000000 0 154.15/154.23 c 299 454 513.51 88.49 5.80 1000000 0 155.74/155.82 c 318 496 514.14 91.64 5.61 1000000 0 157.25/157.40 c 304 461 517.98 105.58 4.91 1000000 0 158.84/158.98 c 270 532 518.36 103.17 5.02 1000000 0 160.44/160.57 c 291 494 510.28 104.85 4.87 1000000 0 162.04/162.16 c 288 519 512.88 107.78 4.76 1000000 0 163.64/163.75 c 237 440 518.20 95.46 5.43 1000000 0 165.24/165.34 c 299 457 536.28 94.53 5.67 1000000 0 166.84/166.93 c 303 573 520.88 112.08 4.65 1000000 0 168.44/168.51 c 284 489 524.50 94.93 5.53 1000000 0 170.04/170.11 c 310 341 526.15 96.35 5.46 1000000 0 171.55/171.70 c 309 435 513.49 104.56 4.91 1000000 0 173.14/173.28 c 297 436 495.24 96.96 5.11 1000000 0 174.74/174.87 c 288 458 520.57 106.40 4.89 1000000 0 176.34/176.46 c 292 521 521.57 100.90 5.17 1000000 0 177.94/178.04 c 308 518 513.76 77.62 6.62 1000000 0 179.54/179.63 c 254 502 512.14 121.30 4.22 1000000 0 181.14/181.21 c 276 516 519.39 103.00 5.04 1000000 0 182.65/182.79 c 269 572 502.94 99.73 5.04 1000000 0 184.24/184.38 c 302 526 520.90 104.81 4.97 1000000 0 185.84/185.96 c 296 561 496.92 104.57 4.75 1000000 0 187.44/187.55 c 339 541 521.32 93.47 5.58 1000000 0 189.04/189.14 c 323 542 539.15 94.35 5.71 1000000 0 190.64/190.72 c 294 483 496.58 96.56 5.14 1000000 0 192.24/192.31 c 297 525 517.29 109.97 4.70 1000000 0 193.84/193.91 c 287 555 524.25 103.04 5.09 1000000 0 195.44/195.50 c 297 562 514.76 105.52 4.88 1000000 0 196.94/197.09 c 311 400 512.00 103.67 4.94 1000000 0 198.53/198.68 c 288 525 520.73 118.24 4.40 1000000 0 200.14/200.27 c 309 478 525.68 112.86 4.66 1000000 0 201.73/201.87 c 315 521 526.00 98.72 5.33 1000000 0 203.33/203.46 c 290 498 528.78 108.55 4.87 1000000 0 204.93/205.04 c 303 528 507.20 87.16 5.82 1000000 0 206.53/206.63 c 259 403 514.52 101.26 5.08 1000000 0 208.13/208.22 c 318 408 537.22 118.24 4.54 1000000 0 209.73/209.81 c 285 472 525.47 103.28 5.09 1000000 0 211.33/211.40 c 310 498 529.18 112.45 4.71 1000000 0 212.83/212.99 c 326 437 525.67 96.67 5.44 1000000 0 214.44/214.57 c 280 498 508.08 97.43 5.21 1000000 0 216.03/216.16 c 294 549 506.12 88.31 5.73 1000000 0 217.63/217.75 c 288 346 519.93 99.75 5.21 1000000 0 219.23/219.33 c 251 540 507.63 95.12 5.34 1000000 0 220.83/220.92 c 304 401 504.77 94.96 5.32 1000000 0 222.43/222.51 c 284 499 520.91 115.87 4.50 1000000 0 223.93/224.09 c 321 627 515.58 89.73 5.75 1000000 0 225.53/225.68 c 279 593 510.95 91.75 5.57 1000000 0 227.13/227.27 c 300 403 529.90 124.60 4.25 1000000 0 228.73/228.86 c 288 490 518.72 104.37 4.97 1000000 0 230.32/230.44 c 298 494 508.75 89.60 5.68 1000000 0 231.92/232.03 c 335 479 522.07 107.24 4.87 1000000 0 233.52/233.62 c 336 467 532.75 99.45 5.36 1000000 0 235.12/235.22 c 291 560 538.85 98.56 5.47 1000000 0 236.72/236.81 c 299 582 524.04 92.42 5.67 1000000 0 238.32/238.40 c 233 393 504.53 102.10 4.94 1000000 0 239.83/239.99 c 270 482 522.81 91.15 5.74 1000000 0 241.42/241.58 c 292 645 526.17 96.40 5.46 1000000 0 243.03/243.16 c 297 485 506.17 102.74 4.93 1000000 0 244.62/244.74 c 272 550 509.24 88.53 5.75 1000000 0 246.22/246.31 c 282 452 506.37 84.55 5.99 1000000 0 247.82/247.90 c 276 552 521.81 101.95 5.12 1000000 0 249.42/249.50 c 276 581 523.78 90.85 5.77 1000000 0 250.92/251.09 c 309 414 514.98 100.80 5.11 1000000 0 252.52/252.68 c 254 614 517.67 94.58 5.47 1000000 0 254.13/254.27 c 290 461 513.95 96.53 5.32 1000000 0 255.72/255.85 c 295 554 510.79 86.17 5.93 1000000 0 257.32/257.44 c 304 439 517.49 93.47 5.54 1000000 0 258.92/259.03 c 305 485 524.59 105.38 4.98 1000000 0 260.52/260.62 c 323 494 531.50 103.19 5.15 1000000 0 262.12/262.20 c 297 446 520.73 110.24 4.72 1000000 0 263.62/263.79 c 307 486 503.60 95.16 5.29 1000000 0 265.22/265.38 c 294 576 521.92 101.15 5.16 1000000 0 266.81/266.97 c 294 473 516.63 92.43 5.59 1000000 0 268.42/268.56 c 309 495 515.42 108.86 4.73 1000000 0 270.01/270.15 c 261 556 515.61 97.46 5.29 1000000 0 271.62/271.75 c 262 488 518.84 97.17 5.34 1000000 0 273.21/273.34 c 276 554 525.52 104.66 5.02 1000000 0 274.81/274.94 c 344 549 542.48 105.75 5.13 1000000 0 276.41/276.53 c 295 475 524.64 99.65 5.26 1000000 0 278.01/278.11 c 262 536 499.65 91.20 5.48 1000000 0 279.61/279.71 c 234 566 518.48 100.33 5.17 1000000 0 281.21/281.30 c 272 539 531.38 93.09 5.71 1000000 0 282.72/282.87 c 275 515 489.47 92.29 5.30 1000000 0 284.31/284.46 c 242 420 524.96 87.31 6.01 1000000 0 285.92/286.05 c 301 570 512.77 98.64 5.20 1000000 0 287.51/287.64 c 312 470 519.46 110.05 4.72 1000000 0 289.11/289.23 c 318 571 518.19 102.67 5.05 1000000 0 290.71/290.82 c 299 489 526.73 110.70 4.76 1000000 0 292.31/292.41 c 309 582 518.07 99.98 5.18 1000000 0 293.81/293.99 c 279 471 507.27 94.26 5.38 1000000 0 295.41/295.58 c 279 540 511.91 92.69 5.52 1000000 0 297.01/297.17 c 305 497 517.36 110.56 4.68 1000000 0 298.61/298.75 c 306 546 517.76 87.40 5.92 1000000 0 300.21/300.34 c 271 575 522.92 105.26 4.97 1000000 0 301.81/301.93 c 320 443 524.97 92.75 5.66 1000000 0 303.40/303.52 c 304 449 512.24 102.86 4.98 1000000 0 305.00/305.11 c 285 458 512.59 103.23 4.97 1000000 0 306.50/306.70 c 283 535 514.75 89.69 5.74 1000000 0 308.10/308.28 c 262 516 524.04 103.28 5.07 1000000 0 309.70/309.88 c 307 535 533.12 118.31 4.51 1000000 0 311.31/311.47 c 239 403 506.56 91.99 5.51 1000000 0 312.90/313.06 c 248 592 532.42 107.22 4.97 1000000 0 314.51/314.64 c 282 628 499.50 91.16 5.48 1000000 0 316.10/316.23 c 305 463 523.65 101.65 5.15 1000000 0 317.70/317.82 c 275 577 501.87 118.01 4.25 1000000 0 319.30/319.40 c 302 546 525.93 100.70 5.22 1000000 0 320.80/320.99 c 255 579 521.23 91.26 5.71 1000000 0 322.40/322.57 c 246 484 501.20 110.67 4.53 1000000 0 324.00/324.16 c 304 546 516.69 122.43 4.22 1000000 0 325.61/325.75 c 313 416 519.00 105.18 4.93 1000000 0 327.20/327.33 c 316 425 523.35 102.69 5.10 1000000 0 328.81/328.92 c 303 508 510.83 91.39 5.59 1000000 0 330.40/330.50 c 280 395 511.45 97.08 5.27 1000000 0 331.90/332.09 c 265 580 509.41 92.32 5.52 1000000 0 333.50/333.69 c 262 638 544.04 98.48 5.52 1000000 0 335.10/335.28 c 283 534 515.45 97.36 5.29 1000000 0 336.70/336.86 c 232 386 504.06 104.14 4.84 1000000 0 338.30/338.45 c 299 539 502.96 97.65 5.15 1000000 0 339.90/340.04 c 311 493 509.32 108.94 4.68 1000000 0 341.50/341.63 c 286 523 516.31 117.09 4.41 1000000 0 343.10/343.21 c 298 543 514.72 102.09 5.04 1000000 0 344.69/344.80 c 272 408 511.44 92.04 5.56 1000000 0 346.19/346.39 c 280 605 524.71 90.56 5.79 1000000 0 347.79/347.98 c 302 470 520.43 97.88 5.32 1000000 0 349.39/349.57 c 320 486 508.82 102.71 4.95 1000000 0 350.99/351.16 c 312 458 529.74 91.18 5.81 1000000 0 352.59/352.76 c 305 627 524.27 114.85 4.56 1000000 0 354.20/354.34 c 263 559 512.45 101.85 5.03 1000000 0 355.79/355.94 c 323 512 529.24 101.72 5.20 1000000 0 357.40/357.53 c 265 463 516.59 94.90 5.44 1000000 0 358.99/359.12 c 309 547 524.79 80.98 6.48 1000000 0 360.59/360.72 c 312 517 523.20 98.46 5.31 1000000 0 362.19/362.32 c 280 523 531.21 114.41 4.64 1000000 0 363.79/363.91 c 296 533 538.49 90.24 5.97 1000000 0 365.39/365.51 c 304 506 527.11 110.50 4.77 1000000 0 366.89/367.09 c 304 506 497.03 90.32 5.50 1000000 0 368.50/368.67 c 292 509 503.38 94.88 5.31 1000000 0 370.09/370.25 c 325 487 518.03 95.86 5.40 1000000 0 371.69/371.84 c 269 424 518.13 97.16 5.33 1000000 0 373.29/373.43 c 297 536 524.93 107.80 4.87 1000000 0 374.89/375.03 c 322 481 526.52 96.89 5.43 1000000 0 376.49/376.62 c 287 387 536.02 117.04 4.58 1000000 0 378.09/378.22 c 212 452 521.96 103.69 5.03 1000000 0 379.69/379.82 c 272 546 533.28 93.98 5.67 1000000 0 381.29/381.40 c 271 420 513.16 94.71 5.42 1000000 0 382.79/382.99 c 313 515 510.51 83.98 6.08 1000000 0 384.38/384.58 c 301 463 518.49 111.36 4.66 1000000 0 385.99/386.17 c 277 494 525.46 100.44 5.23 1000000 0 387.58/387.76 c 279 430 526.31 115.97 4.54 1000000 0 389.18/389.35 c 334 520 523.46 85.52 6.12 1000000 0 390.78/390.94 c 261 539 514.36 109.61 4.69 1000000 0 392.38/392.53 c 285 446 520.13 85.93 6.05 1000000 0 393.98/394.11 c 261 452 496.90 97.55 5.09 1000000 0 395.58/395.71 c 316 462 524.71 99.96 5.25 1000000 0 397.09/397.29 c 292 514 515.94 89.91 5.74 1000000 0 398.68/398.88 c 293 532 519.01 112.22 4.62 1000000 0 400.29/400.46 c 260 521 510.60 98.79 5.17 1000000 0 401.88/402.06 c 315 495 539.38 102.28 5.27 1000000 0 403.48/403.65 c 274 479 517.39 103.50 5.00 1000000 0 405.08/405.24 c 320 575 526.84 81.48 6.47 1000000 0 406.68/406.82 c 256 537 511.81 109.27 4.68 1000000 0 408.28/408.42 c 308 536 525.04 105.45 4.98 1000000 0 409.88/410.01 c 316 563 521.80 98.60 5.29 1000000 0 411.48/411.61 c 285 467 521.04 107.59 4.84 1000000 0 412.98/413.19 c 296 500 506.99 97.08 5.22 1000000 0 414.58/414.79 c 317 417 519.85 112.94 4.60 1000000 0 416.17/416.39 c 277 507 530.00 93.18 5.69 1000000 0 417.77/417.99 c 276 474 516.62 103.46 4.99 1000000 0 419.37/419.58 c 264 482 527.91 97.07 5.44 1000000 0 420.97/421.17 c 324 529 529.10 90.12 5.87 1000000 0 422.57/422.76 c 277 483 505.06 90.23 5.60 1000000 0 424.17/424.34 c 308 494 516.56 104.24 4.96 1000000 0 425.77/425.93 c 292 445 517.43 103.48 5.00 1000000 0 427.37/427.52 c 304 694 523.59 102.51 5.11 1000000 0 428.98/429.11 c 321 561 511.92 94.13 5.44 1000000 0 430.57/430.70 c 222 457 529.22 126.15 4.20 1000000 0 432.07/432.29 c 282 578 513.69 101.77 5.05 1000000 0 433.67/433.87 c 255 629 507.94 109.63 4.63 1000000 0 435.27/435.47 c 323 507 539.38 92.55 5.83 1000000 0 436.87/437.06 c 304 482 513.29 98.44 5.21 1000000 0 438.47/438.65 c 305 475 523.52 104.22 5.02 1000000 0 440.07/440.23 c 249 515 512.96 108.63 4.72 1000000 0 441.67/441.83 c 324 591 531.81 96.58 5.51 1000000 0 443.27/443.42 c 307 435 528.58 82.25 6.43 1000000 0 444.87/445.00 c 251 517 511.11 95.63 5.34 1000000 0 446.37/446.59 c 293 571 529.16 94.35 5.61 1000000 0 447.96/448.19 c 301 528 533.03 106.67 5.00 1000000 0 449.56/449.77 c 275 439 514.42 115.16 4.47 1000000 0 451.16/451.36 c 297 442 517.83 102.38 5.06 1000000 0 452.76/452.96 c 250 538 521.67 122.72 4.25 1000000 0 454.36/454.55 c 283 498 524.56 109.33 4.80 1000000 0 455.96/456.14 c 312 595 512.00 120.60 4.25 1000000 0 457.57/457.73 c 304 451 528.20 97.30 5.43 1000000 0 459.16/459.32 c 301 469 526.30 115.01 4.58 1000000 0 460.77/460.90 c 251 501 497.67 97.37 5.11 1000000 0 462.26/462.49 c 264 399 511.27 104.56 4.89 1000000 0 463.86/464.08 c 284 439 521.86 103.03 5.07 1000000 0 465.46/465.67 c 321 499 529.26 105.44 5.02 1000000 0 467.06/467.27 c 274 440 528.06 103.83 5.09 1000000 0 468.66/468.86 c 261 455 528.05 122.04 4.33 1000000 0 470.26/470.45 c 288 520 519.61 98.02 5.30 1000000 0 471.87/472.04 c 288 513 525.28 101.21 5.19 1000000 0 473.46/473.63 c 302 485 523.79 94.60 5.54 1000000 0 475.07/475.21 c 238 556 525.69 94.19 5.58 1000000 0 476.66/476.80 c 282 393 514.08 104.53 4.92 1000000 0 478.16/478.39 c 296 574 504.90 87.35 5.78 1000000 0 479.76/479.97 c 290 406 516.53 102.23 5.05 1000000 0 481.36/481.56 c 293 590 515.70 90.71 5.69 1000000 0 482.96/483.16 c 306 516 536.00 95.72 5.60 1000000 0 484.56/484.75 c 281 521 522.83 108.25 4.83 1000000 0 486.16/486.35 c 305 547 526.15 105.56 4.98 1000000 0 487.76/487.94 c 336 362 524.71 99.75 5.26 1000000 0 489.36/489.52 c 282 487 506.76 96.47 5.25 1000000 0 490.95/491.10 c 261 607 521.14 88.42 5.89 1000000 0 492.45/492.69 c 272 482 520.97 98.12 5.31 1000000 0 494.05/494.28 c 276 428 530.36 119.74 4.43 1000000 0 495.65/495.86 c 281 447 503.15 118.57 4.24 1000000 0 497.25/497.46 c 268 567 528.48 111.24 4.75 1000000 0 498.85/499.05 c 279 566 518.78 111.18 4.67 1000000 0 500.46/500.64 c 285 453 512.54 96.06 5.34 1000000 0 502.05/502.24 c 292 514 530.39 108.43 4.89 1000000 0 503.66/503.82 c 301 446 514.02 97.55 5.27 1000000 0 505.25/505.41 c 293 632 512.45 93.99 5.45 1000000 0 506.85/507.00 c 296 531 523.86 91.98 5.70 1000000 0 508.35/508.58 c 300 484 518.13 87.93 5.89 1000000 0 509.95/510.18 c 295 433 543.21 94.41 5.75 1000000 0 511.55/511.77 c 284 353 519.49 105.12 4.94 1000000 0 513.15/513.36 c 272 436 516.62 103.73 4.98 1000000 0 514.75/514.97 c 285 541 534.24 109.43 4.88 1000000 0 516.35/516.55 c 307 448 510.45 103.68 4.92 1000000 0 517.95/518.13 c 251 518 511.83 115.73 4.42 1000000 0 519.55/519.71 c 260 535 519.64 116.61 4.46 1000000 0 521.15/521.30 c 312 584 523.88 93.23 5.62 1000000 0 522.65/522.89 c 282 546 511.53 102.12 5.01 1000000 0 524.25/524.48 c 319 470 524.06 100.77 5.20 1000000 0 525.85/526.06 c 298 419 514.84 108.15 4.76 1000000 0 527.44/527.65 c 301 527 534.12 106.79 5.00 1000000 0 529.05/529.24 c 277 498 531.51 103.60 5.13 1000000 0 530.64/530.83 c 315 500 526.38 102.02 5.16 1000000 0 532.25/532.42 c 224 502 507.45 104.18 4.87 1000000 0 533.84/534.01 c 312 528 522.64 109.30 4.78 1000000 0 535.44/535.60 c 273 540 516.82 107.34 4.81 1000000 0 536.94/537.20 c 290 580 536.53 106.58 5.03 1000000 0 538.54/538.79 c 261 625 536.63 96.16 5.58 1000000 0 540.14/540.38 c 294 582 519.87 106.56 4.88 1000000 0 541.74/541.97 c 332 548 529.75 100.56 5.27 1000000 0 543.35/543.56 c 270 495 506.87 114.98 4.41 1000000 0 544.94/545.14 c 285 568 508.23 100.64 5.05 1000000 0 546.55/546.73 c 278 502 506.83 97.65 5.19 1000000 0 548.14/548.32 c 272 410 511.62 107.25 4.77 1000000 0 549.74/549.90 c 263 452 499.96 99.78 5.01 1000000 0 551.24/551.48 c 283 469 498.80 104.48 4.77 1000000 0 552.84/553.07 c 286 451 513.05 98.86 5.19 1000000 0 554.44/554.66 c 295 602 512.36 107.26 4.78 1000000 0 556.04/556.25 c 305 460 522.90 72.93 7.17 1000000 0 557.64/557.83 c 253 649 511.80 105.04 4.87 1000000 0 559.24/559.42 c 296 520 502.35 104.37 4.81 1000000 0 560.84/561.01 c 319 608 518.78 85.20 6.09 1000000 0 562.34/562.59 c 299 430 511.31 117.04 4.37 1000000 0 563.94/564.18 c 296 539 514.71 87.36 5.89 1000000 0 565.54/565.76 c 314 566 529.46 90.56 5.85 1000000 0 567.13/567.36 c 272 443 523.00 109.30 4.78 1000000 0 568.73/568.95 c 275 522 515.80 103.11 5.00 1000000 0 570.33/570.53 c 313 403 523.31 82.44 6.35 1000000 0 571.94/572.13 c 329 597 534.09 107.59 4.96 1000000 0 573.53/573.71 c 280 501 516.30 91.86 5.62 1000000 0 575.14/575.30 c 305 552 516.43 114.78 4.50 1000000 0 576.73/576.90 c 345 504 540.75 97.32 5.56 1000000 0 578.23/578.49 c 320 471 526.32 90.96 5.79 1000000 0 579.83/580.09 c 317 458 529.23 115.18 4.59 1000000 0 581.43/581.68 c 312 446 516.11 88.46 5.83 1000000 0 583.03/583.28 c 306 549 535.99 109.09 4.91 1000000 0 584.63/584.86 c 311 420 516.46 92.34 5.59 1000000 0 586.24/586.45 c 302 430 527.15 102.67 5.13 1000000 0 587.83/588.04 c 294 476 525.84 103.20 5.10 1000000 0 589.44/589.63 c 267 424 520.92 92.00 5.66 1000000 0 591.03/591.22 c 285 455 501.16 93.05 5.39 1000000 0 592.63/592.80 c 281 574 503.54 90.01 5.59 1000000 0 594.13/594.40 c 284 514 540.15 99.62 5.42 1000000 0 595.73/595.98 c 280 514 517.38 99.15 5.22 1000000 0 597.33/597.57 c 305 594 518.43 90.21 5.75 1000000 0 598.93/599.16 c 292 555 517.59 92.65 5.59 1000000 0 600.53/600.75 c 285 583 508.08 90.20 5.63 1000000 0 602.13/602.34 c 302 516 537.23 103.88 5.17 1000000 0 603.73/603.92 c 278 420 505.53 91.01 5.55 1000000 0 605.32/605.51 c 286 388 516.28 103.31 5.00 1000000 0 606.82/607.09 c 292 494 514.64 100.80 5.11 1000000 0 608.42/608.69 c 232 566 535.40 111.70 4.79 1000000 0 610.02/610.27 c 258 384 514.85 103.37 4.98 1000000 0 611.62/611.87 c 314 444 535.46 88.83 6.03 1000000 0 613.22/613.46 c 304 551 527.88 109.59 4.82 1000000 0 614.83/615.05 c 286 457 525.34 112.25 4.68 1000000 0 616.42/616.65 c 278 560 525.52 96.89 5.42 1000000 0 618.03/618.24 c 276 505 517.54 99.34 5.21 1000000 0 619.62/619.82 c 331 606 504.50 93.53 5.39 1000000 0 621.22/621.42 c 319 570 527.43 101.16 5.21 1000000 0 622.82/623.01 c 302 579 516.55 103.71 4.98 1000000 0 624.32/624.59 c 269 531 510.30 120.21 4.25 1000000 0 625.92/626.18 c 308 364 514.40 102.42 5.02 1000000 0 627.52/627.76 c 254 408 521.06 100.86 5.17 1000000 0 629.13/629.36 c 303 502 524.42 101.78 5.15 1000000 0 630.72/630.94 c 294 551 520.91 110.62 4.71 1000000 0 632.32/632.53 c 303 499 520.41 94.71 5.49 1000000 0 633.92/634.11 c 274 523 510.65 92.09 5.55 1000000 0 635.52/635.70 c 310 374 515.35 100.09 5.15 1000000 0 637.02/637.29 c 301 602 527.04 108.76 4.85 1000000 0 638.62/638.89 c 252 762 520.58 110.34 4.72 1000000 0 640.22/640.47 c 302 587 516.66 115.04 4.49 1000000 0 641.82/642.06 c 313 494 516.94 94.82 5.45 1000000 0 643.42/643.65 c 276 576 524.98 89.33 5.88 1000000 0 645.01/645.24 c 256 508 510.54 98.94 5.16 1000000 0 646.62/646.82 c 271 409 524.24 88.42 5.93 1000000 0 648.21/648.41 c 320 530 517.34 90.56 5.71 1000000 0 649.81/650.00 c 248 418 515.09 118.32 4.35 1000000 0 651.31/651.59 c 290 442 527.01 129.99 4.05 1000000 0 652.91/653.19 c 292 405 528.18 100.37 5.26 1000000 0 654.51/654.79 c 324 395 533.73 126.95 4.20 1000000 0 656.11/656.37 c 321 474 522.56 98.55 5.30 1000000 0 657.72/657.97 c 321 445 517.00 104.53 4.95 1000000 0 659.31/659.56 c 306 412 520.15 101.58 5.12 1000000 0 660.92/661.14 c 293 415 515.73 105.39 4.89 1000000 0 662.51/662.73 c 289 620 520.49 112.18 4.64 1000000 0 664.11/664.31 c 270 623 506.79 97.47 5.20 1000000 0 665.71/665.90 c 294 450 509.12 104.27 4.88 1000000 0 667.21/667.49 c 329 379 526.35 94.71 5.56 1000000 0 668.81/669.08 c 269 447 520.46 114.83 4.53 1000000 0 670.41/670.67 c 328 492 521.81 101.40 5.15 1000000 0 672.01/672.26 c 291 498 529.72 101.82 5.20 1000000 0 673.61/673.85 c 299 416 528.36 82.19 6.43 1000000 0 675.21/675.44 c 286 514 517.65 97.82 5.29 1000000 0 676.81/677.03 c 285 416 523.31 91.34 5.73 1000000 0 678.40/678.62 c 300 434 519.90 91.82 5.66 1000000 0 680.00/680.21 c 310 366 510.77 88.31 5.78 1000000 0 681.50/681.79 c 317 523 522.97 84.39 6.20 1000000 0 683.10/683.40 c 319 490 536.50 96.10 5.58 1000000 0 684.70/684.99 c 311 529 534.11 99.33 5.38 1000000 0 686.31/686.58 c 295 493 527.02 106.66 4.94 1000000 0 687.90/688.16 c 261 477 506.18 87.89 5.76 1000000 0 689.51/689.75 c 303 592 515.59 93.29 5.53 1000000 0 691.10/691.34 c 303 523 510.22 101.71 5.02 1000000 0 692.70/692.94 c 272 518 530.91 109.17 4.86 1000000 0 694.30/694.52 c 298 486 503.04 90.19 5.58 1000000 0 695.90/696.11 c 295 588 519.64 110.65 4.70 1000000 0 697.50/697.70 c 295 607 536.15 107.14 5.00 1000000 0 699.00/699.28 c 257 551 496.72 90.97 5.46 1000000 0 700.61/700.87 c 226 591 514.68 118.77 4.33 1000000 0 702.20/702.45 c 304 501 510.20 105.20 4.85 1000000 0 703.81/704.03 c 285 433 504.43 111.13 4.54 1000000 0 705.40/705.62 c 283 534 513.66 101.66 5.05 1000000 0 707.00/707.21 c 284 537 520.37 100.37 5.18 1000000 0 708.50/708.80 c 287 548 507.12 103.88 4.88 1000000 0 710.10/710.38 c 318 502 514.77 86.83 5.93 1000000 0 711.70/711.97 c 251 442 512.43 90.52 5.66 1000000 0 713.30/713.56 c 322 547 521.80 91.75 5.69 1000000 0 714.90/715.15 c 330 480 523.36 101.20 5.17 1000000 0 716.50/716.75 c 337 467 526.46 102.91 5.12 1000000 0 718.10/718.34 c 321 546 539.03 94.67 5.69 1000000 0 719.69/719.93 c 312 555 508.27 112.06 4.54 1000000 0 721.29/721.51 c 341 437 515.03 92.49 5.57 1000000 0 722.89/723.10 c 287 515 524.12 96.29 5.44 1000000 0 724.39/724.69 c 316 621 543.11 122.51 4.43 1000000 0 725.99/726.28 c 312 595 517.24 94.68 5.46 1000000 0 727.59/727.87 c 287 568 524.12 111.78 4.69 1000000 0 729.20/729.46 c 290 528 522.23 105.23 4.96 1000000 0 730.79/731.05 c 291 426 521.71 104.72 4.98 1000000 0 732.40/732.64 c 289 572 519.54 107.58 4.83 1000000 0 733.99/734.22 c 307 478 520.26 84.04 6.19 1000000 0 735.59/735.82 c 292 449 527.28 112.32 4.69 1000000 0 737.19/737.40 c 291 621 517.58 101.57 5.10 1000000 0 738.69/738.99 c 308 439 524.18 82.21 6.38 1000000 0 740.29/740.58 c 303 558 524.59 96.04 5.46 1000000 0 741.89/742.18 c 291 539 530.97 105.09 5.05 1000000 0 743.49/743.76 c 311 646 510.13 83.22 6.13 1000000 0 745.09/745.36 c 307 570 531.86 112.80 4.72 1000000 0 746.69/746.95 c 302 488 524.26 113.53 4.62 1000000 0 748.29/748.54 c 334 513 522.62 110.72 4.72 1000000 0 749.88/750.13 c 289 528 526.65 102.11 5.16 1000000 0 751.48/751.72 c 297 456 530.63 105.31 5.04 1000000 0 753.08/753.32 c 283 547 542.10 119.59 4.53 1000000 0 754.69/754.91 c 302 577 518.62 91.45 5.67 1000000 0 756.19/756.49 c 256 522 520.65 105.48 4.94 1000000 0 757.80/758.07 c 296 496 516.77 92.89 5.56 1000000 0 759.39/759.66 c 313 442 520.81 93.43 5.57 1000000 0 761.00/761.25 c 300 380 522.07 107.60 4.85 1000000 0 762.59/762.85 c 314 393 534.05 106.82 5.00 1000000 0 764.19/764.44 c 273 449 519.28 101.84 5.10 1000000 0 765.79/766.04 c 294 563 522.79 96.62 5.41 1000000 0 767.39/767.62 c 284 595 518.92 106.26 4.88 1000000 0 768.99/769.21 c 304 491 528.13 114.15 4.63 1000000 0 770.59/770.81 c 328 626 535.94 97.41 5.50 1000000 0 772.10/772.39 c 283 482 507.63 110.49 4.59 1000000 0 773.69/773.99 c 311 487 531.92 108.49 4.90 1000000 0 775.29/775.58 c 310 539 521.09 122.90 4.24 1000000 0 776.89/777.17 c 306 529 511.10 91.13 5.61 1000000 0 778.49/778.76 c 289 436 517.30 103.97 4.98 1000000 0 780.09/780.36 c 324 411 514.99 116.87 4.41 1000000 0 781.69/781.94 c 260 489 511.12 101.33 5.04 1000000 0 783.28/783.52 c 283 544 499.54 88.52 5.64 1000000 0 784.88/785.11 c 317 497 517.19 89.55 5.78 1000000 0 786.39/786.70 c 291 427 503.40 96.07 5.24 1000000 0 787.98/788.28 c 296 411 507.47 90.85 5.59 1000000 0 789.59/789.87 c 312 465 525.97 98.10 5.36 1000000 0 791.18/791.45 c 290 461 507.75 90.14 5.63 1000000 0 792.78/793.04 c 318 541 510.08 98.36 5.19 1000000 0 794.38/794.63 c 320 451 525.15 95.81 5.48 1000000 0 795.98/796.22 c 291 514 529.10 96.32 5.49 1000000 0 797.58/797.82 c 327 472 527.14 90.50 5.82 1000000 0 799.18/799.41 c 291 523 515.50 111.94 4.61 1000000 0 800.69/800.99 c 266 592 512.51 121.04 4.23 1000000 0 802.28/802.57 c 295 541 507.69 99.76 5.09 1000000 0 803.89/804.17 c 322 497 544.54 91.61 5.94 1000000 0 805.48/805.77 c 300 600 523.69 101.44 5.16 1000000 0 807.08/807.36 c 285 504 516.05 108.91 4.74 1000000 0 808.68/808.94 c 306 457 505.16 99.98 5.05 1000000 0 810.28/810.52 c 268 536 508.14 95.20 5.34 1000000 0 811.88/812.11 c 321 467 529.23 89.29 5.93 1000000 0 813.38/813.69 c 270 518 504.10 106.59 4.73 1000000 0 814.98/815.29 c 313 436 522.01 85.62 6.10 1000000 0 816.58/816.87 c 278 444 503.71 99.40 5.07 1000000 0 818.18/818.45 c 337 473 520.51 87.87 5.92 1000000 0 819.78/820.04 c 319 568 518.12 93.45 5.54 1000000 0 821.38/821.63 c 304 471 517.35 87.68 5.90 1000000 0 822.97/823.22 c 322 434 528.84 102.94 5.14 1000000 0 824.57/824.81 c 304 414 516.31 89.44 5.77 1000000 0 826.07/826.39 c 241 437 508.80 122.26 4.16 1000000 0 827.67/827.98 c 296 440 506.54 89.43 5.66 1000000 0 829.28/829.57 c 274 515 524.76 97.31 5.39 1000000 0 830.87/831.15 c 284 469 514.14 103.71 4.96 1000000 0 832.48/832.74 c 249 463 515.73 139.93 3.69 1000000 0 834.07/834.34 c 295 343 520.76 97.70 5.33 1000000 0 835.67/835.93 c 305 468 514.44 103.63 4.96 1000000 0 837.27/837.51 c 270 402 511.81 91.99 5.56 1000000 0 838.87/839.10 c 317 494 531.03 108.89 4.88 1000000 0 840.37/840.69 c 267 532 524.57 97.13 5.40 1000000 0 841.97/842.28 c 251 379 517.91 95.40 5.43 1000000 0 843.58/843.87 c 267 507 518.14 99.30 5.22 1000000 0 845.17/845.47 c 263 510 522.06 110.45 4.73 1000000 0 846.78/847.05 c 304 433 523.25 91.02 5.75 1000000 0 848.37/848.64 c 315 520 517.91 113.65 4.56 1000000 0 849.97/850.23 c 291 456 522.14 105.85 4.93 1000000 0 851.57/851.81 c 302 471 512.01 91.28 5.61 1000000 0 853.17/853.40 c 287 506 540.70 98.66 5.48 1000000 0 854.67/854.98 c 276 504 505.47 89.52 5.65 1000000 0 856.27/856.58 c 299 482 531.49 105.52 5.04 1000000 0 857.87/858.16 c 295 636 513.46 123.29 4.16 1000000 0 859.46/859.75 c 257 466 514.61 87.74 5.87 1000000 0 861.07/861.33 c 286 500 504.10 112.75 4.47 1000000 0 862.66/862.93 c 331 499 538.23 104.78 5.14 1000000 0 864.26/864.52 c 300 524 519.72 84.46 6.15 1000000 0 865.86/866.12 c 333 537 528.03 88.88 5.94 1000000 0 867.36/867.70 c 259 456 496.24 95.47 5.20 1000000 0 868.96/869.28 c 279 582 512.36 83.86 6.11 1000000 0 870.56/870.87 c 285 549 513.35 90.55 5.67 1000000 0 872.17/872.45 c 250 515 508.65 104.11 4.89 1000000 0 873.76/874.04 c 238 624 510.86 122.33 4.18 1000000 0 875.37/875.63 c 227 533 526.43 91.78 5.74 1000000 0 876.96/877.22 c 275 535 532.44 96.24 5.53 1000000 0 878.56/878.81 c 271 470 516.47 115.00 4.49 1000000 0 880.06/880.39 c 276 505 513.08 117.45 4.37 1000000 0 881.66/881.98 c 280 439 513.50 101.60 5.05 1000000 0 883.26/883.57 c 263 458 521.92 90.21 5.79 1000000 0 884.86/885.16 c 300 532 527.32 102.52 5.14 1000000 0 886.47/886.74 c 247 439 511.73 108.02 4.74 1000000 0 888.06/888.33 c 261 548 518.59 86.07 6.03 1000000 0 889.66/889.92 c 290 495 526.94 104.33 5.05 1000000 0 891.26/891.51 c 282 505 521.54 91.86 5.68 1000000 0 892.76/893.09 c 264 541 506.97 101.10 5.01 1000000 0 894.36/894.67 c 273 440 498.34 103.01 4.84 1000000 0 895.96/896.25 c 229 437 496.72 86.82 5.72 1000000 0 897.56/897.84 c 321 522 521.13 88.70 5.88 1000000 0 899.16/899.43 c 318 594 524.95 85.12 6.17 1000000 0 900.76/901.02 c 306 531 525.47 129.56 4.06 1000000 0 902.35/902.61 c 290 524 526.00 97.41 5.40 1000000 0 903.96/904.21 c 315 465 531.91 118.65 4.48 1000000 0 905.45/905.80 c 297 521 509.09 103.91 4.90 1000000 0 907.05/907.38 c 298 435 511.77 85.83 5.96 1000000 0 908.65/908.95 c 266 703 502.01 89.46 5.61 1000000 0 910.25/910.54 c 303 500 519.52 95.91 5.42 1000000 0 911.85/912.13 c 305 656 532.62 110.74 4.81 1000000 0 913.45/913.73 c 248 532 529.63 106.07 4.99 1000000 0 915.06/915.32 c 327 551 522.02 92.80 5.63 1000000 0 916.65/916.91 c 286 544 512.45 96.56 5.31 1000000 0 918.26/918.50 c 316 632 513.35 93.34 5.50 1000000 0 919.75/920.09 c 284 549 521.66 102.07 5.11 1000000 0 921.35/921.68 c 274 646 527.05 113.99 4.62 1000000 0 922.95/923.26 c 275 492 504.65 94.96 5.31 1000000 0 924.55/924.84 c 263 486 502.60 91.71 5.48 1000000 0 926.15/926.44 c 299 479 530.90 95.90 5.54 1000000 0 927.75/928.02 c 308 594 517.85 93.20 5.56 1000000 0 929.35/929.62 c 319 425 536.12 101.52 5.28 1000000 0 930.95/931.22 c 308 481 530.35 117.65 4.51 1000000 0 932.55/932.81 c 309 523 522.32 97.82 5.34 1000000 0 934.14/934.40 c 300 391 516.99 109.18 4.74 1000000 0 935.64/935.99 c 300 532 515.90 86.54 5.96 1000000 0 937.24/937.58 c 275 494 520.93 118.73 4.39 1000000 0 938.84/939.17 c 236 443 520.74 119.25 4.37 1000000 0 940.44/940.77 c 339 413 532.72 97.17 5.48 1000000 0 942.04/942.37 c 280 473 539.47 115.60 4.67 1000000 0 943.65/943.96 c 282 507 525.11 105.77 4.96 1000000 0 945.24/945.56 c 324 494 533.87 122.60 4.35 1000000 0 946.85/947.15 c 301 495 515.53 105.85 4.87 1000000 0 948.44/948.73 c 282 546 518.02 96.65 5.36 1000000 0 950.04/950.32 c 273 637 521.09 115.51 4.51 1000000 0 951.64/951.92 c 304 337 514.61 112.17 4.59 1000000 0 953.24/953.51 c 306 476 526.04 105.02 5.01 1000000 0 954.74/955.09 c 310 463 529.18 95.71 5.53 1000000 0 956.34/956.69 c 297 475 529.57 103.75 5.10 1000000 0 957.95/958.27 c 280 463 514.42 107.87 4.77 1000000 0 959.54/959.87 c 294 523 538.47 106.06 5.08 1000000 0 961.14/961.45 c 295 450 520.96 80.71 6.45 1000000 0 962.74/963.03 c 289 528 504.34 82.05 6.15 1000000 0 964.34/964.62 c 311 484 520.96 110.27 4.72 1000000 0 965.94/966.21 c 242 534 520.15 90.34 5.76 1000000 0 967.54/967.80 c 290 464 526.08 88.43 5.95 1000000 0 969.04/969.39 c 288 726 524.42 114.32 4.59 1000000 0 970.64/970.97 c 316 359 517.99 92.10 5.62 1000000 0 972.24/972.56 c 293 561 523.79 96.37 5.44 1000000 0 973.83/974.14 c 275 552 505.69 85.26 5.93 1000000 0 975.44/975.73 c 314 578 515.08 106.37 4.84 1000000 0 977.03/977.31 c 276 569 506.63 102.32 4.95 1000000 0 978.53/978.89 c 295 493 512.44 96.25 5.32 1000000 0 980.13/980.48 c 337 461 523.84 81.09 6.46 1000000 0 981.73/982.07 c 293 470 514.85 95.18 5.41 1000000 0 983.33/983.66 c 203 470 519.35 101.39 5.12 1000000 0 984.93/985.25 c 287 520 517.08 104.12 4.97 1000000 0 986.54/986.84 c 297 452 526.86 90.38 5.83 1000000 0 988.13/988.43 c 297 545 526.85 98.02 5.38 1000000 0 989.74/990.02 c 298 409 527.36 88.99 5.93 1000000 0 991.33/991.61 c 277 437 509.66 105.80 4.82 1000000 0 992.93/993.20 c 312 591 517.77 94.02 5.51 1000000 0 994.43/994.79 c 268 458 514.25 85.52 6.01 1000000 0 996.03/996.38 c 288 457 526.96 89.59 5.88 1000000 0 997.63/997.97 c 315 492 531.40 120.52 4.41 1000000 0 999.23/999.57 c 296 383 533.30 127.98 4.17 1000000 0 1000.83/1001.17 c 289 440 531.49 97.06 5.48 1000000 0 1002.43/1002.76 c 335 460 544.22 90.57 6.01 1000000 0 1004.03/1004.35 c 342 547 538.29 114.95 4.68 1000000 0 1005.63/1005.94 c 312 482 509.19 99.61 5.11 1000000 0 1007.23/1007.53 c 258 508 522.58 116.13 4.50 1000000 0 1008.83/1009.12 c 324 396 534.01 90.20 5.92 1000000 0 1010.43/1010.70 c 281 511 499.19 94.81 5.27 1000000 0 1011.92/1012.29 c 306 534 529.03 85.83 6.16 1000000 0 1013.52/1013.87 c 299 503 508.46 99.37 5.12 1000000 0 1015.13/1015.45 c 308 464 503.96 81.17 6.21 1000000 0 1016.72/1017.05 c 343 504 549.13 111.91 4.91 1000000 0 1018.33/1018.65 c 322 448 520.91 89.59 5.81 1000000 0 1019.92/1020.22 c 300 472 497.33 103.77 4.79 1000000 0 1021.52/1021.82 c 266 505 531.92 109.47 4.86 1000000 0 1023.12/1023.40 c 301 421 514.49 94.67 5.43 1000000 0 1024.72/1025.00 c 303 528 532.38 98.01 5.43 1000000 0 1026.22/1026.58 c 293 510 510.57 83.82 6.09 1000000 0 1027.82/1028.16 c 307 594 523.95 89.14 5.88 1000000 0 1029.43/1029.75 c 285 568 522.83 105.97 4.93 1000000 0 1031.02/1031.34 c 322 465 508.85 85.79 5.93 1000000 0 1032.63/1032.94 c 313 487 529.00 99.77 5.30 1000000 0 1034.22/1034.53 c 329 493 517.98 92.12 5.62 1000000 0 1035.82/1036.13 c 301 578 536.74 94.31 5.69 1000000 0 1037.42/1037.72 c 268 504 520.44 87.76 5.93 1000000 0 1039.02/1039.31 c 318 472 516.44 98.50 5.24 1000000 0 1040.62/1040.91 c 195 486 523.82 119.11 4.40 1000000 0 1042.12/1042.50 c 299 441 508.52 109.75 4.63 1000000 0 1043.72/1044.09 c 339 690 525.57 89.89 5.85 1000000 0 1045.32/1045.67 c 246 507 503.84 113.03 4.46 1000000 0 1046.92/1047.25 c 306 548 504.56 95.75 5.27 1000000 0 1048.51/1048.84 c 309 477 530.50 104.71 5.07 1000000 0 1050.11/1050.44 c 279 468 523.70 90.49 5.79 1000000 0 1051.71/1052.02 c 270 459 500.02 104.55 4.78 1000000 0 1053.31/1053.60 c 259 514 511.88 98.91 5.17 1000000 0 1054.81/1055.18 c 305 535 512.48 106.33 4.82 1000000 0 1056.41/1056.77 c 321 397 511.33 100.34 5.10 1000000 0 1058.02/1058.36 c 261 488 519.15 110.65 4.69 1000000 0 1059.61/1059.94 c 282 563 518.99 93.01 5.58 1000000 0 1061.22/1061.53 c 275 564 524.68 104.17 5.04 1000000 0 1062.81/1063.13 c 335 583 535.83 103.15 5.19 1000000 0 1064.41/1064.72 c 295 560 529.53 100.84 5.25 1000000 0 1066.01/1066.32 c 286 523 520.83 93.23 5.59 1000000 0 1067.51/1067.89 c 311 570 509.17 77.96 6.53 1000000 0 1069.11/1069.48 c 297 364 511.94 93.79 5.46 1000000 0 1070.71/1071.07 c 287 457 519.36 99.08 5.24 1000000 0 1072.31/1072.65 c 291 557 515.46 90.52 5.69 1000000 0 1073.91/1074.25 c 311 455 525.36 89.02 5.90 1000000 0 1075.51/1075.84 c 319 527 531.68 99.98 5.32 1000000 0 1077.11/1077.43 c 295 481 532.87 104.35 5.11 1000000 0 1078.71/1079.02 c 282 514 517.87 94.41 5.49 1000000 0 1080.31/1080.61 c 325 524 518.81 111.00 4.67 1000000 0 1081.81/1082.19 c 287 566 511.31 102.01 5.01 1000000 0 1083.41/1083.78 c 308 525 530.53 92.62 5.73 1000000 0 1085.01/1085.37 c 275 589 516.46 106.11 4.87 1000000 0 1086.61/1086.97 c 305 579 536.01 84.41 6.35 1000000 0 1088.20/1088.57 c 300 488 535.26 94.41 5.67 1000000 0 1089.81/1090.15 c 312 461 525.16 97.11 5.41 1000000 0 1091.40/1091.74 c 291 549 517.62 99.46 5.20 1000000 0 1093.00/1093.33 c 273 431 523.71 110.02 4.76 1000000 0 1094.60/1094.92 c 300 560 522.95 98.61 5.30 1000000 0 1096.20/1096.51 c 283 533 515.83 100.61 5.13 1000000 0 1097.80/1098.10 c 243 632 518.15 110.93 4.67 1000000 0 1099.30/1099.69 c 327 574 518.09 100.94 5.13 1000000 0 1100.91/1101.27 c 292 504 514.00 84.88 6.06 1000000 0 1102.50/1102.87 c 302 594 519.55 109.30 4.75 1000000 0 1104.11/1104.46 c 294 536 521.27 109.30 4.77 1000000 0 1105.70/1106.05 c 303 389 518.57 125.01 4.15 1000000 0 1107.30/1107.63 c 265 435 523.57 91.70 5.71 1000000 0 1108.90/1109.22 c 274 639 521.81 117.19 4.45 1000000 0 1110.50/1110.81 c 305 475 523.50 88.27 5.93 1000000 0 1112.10/1112.40 c 296 572 523.98 106.43 4.92 1000000 0 1113.60/1113.99 c 280 401 515.69 101.94 5.06 1000000 0 1115.20/1115.59 c 332 459 539.57 102.58 5.26 1000000 0 1116.80/1117.17 c 304 594 505.70 92.29 5.48 1000000 0 1118.40/1118.77 c 245 701 529.86 105.55 5.02 1000000 0 1119.99/1120.36 c 326 702 529.51 92.80 5.71 1000000 0 1121.59/1121.95 c 283 430 508.17 109.16 4.66 1000000 0 1123.19/1123.54 c 294 526 508.57 88.55 5.74 1000000 0 1124.79/1125.13 c 313 455 512.95 90.75 5.65 1000000 0 1126.39/1126.73 c 216 594 525.97 128.48 4.09 1000000 0 1127.99/1128.31 c 296 451 516.82 97.72 5.29 1000000 0 1129.59/1129.90 c 316 410 522.06 107.68 4.85 1000000 0 1131.09/1131.49 c 324 529 507.90 80.37 6.32 1000000 0 1132.70/1133.07 c 316 387 514.49 91.81 5.60 1000000 0 1134.29/1134.66 c 276 636 516.28 108.63 4.75 1000000 0 1135.89/1136.26 c 349 502 545.27 97.10 5.62 1000000 0 1137.49/1137.85 c 276 611 527.52 97.10 5.43 1000000 0 1139.09/1139.45 c 321 564 533.88 114.06 4.68 1000000 0 1140.69/1141.05 c 308 475 538.88 99.56 5.41 1000000 0 1142.29/1142.63 c 306 579 522.71 102.51 5.10 1000000 0 1143.89/1144.23 c 266 528 533.63 100.49 5.31 1000000 0 1145.49/1145.82 c 273 571 534.87 114.03 4.69 1000000 0 1147.09/1147.41 c 306 538 521.14 102.42 5.09 1000000 0 1148.69/1149.01 c 313 397 540.55 119.24 4.53 1000000 0 1150.19/1150.60 c 316 434 523.10 106.21 4.93 1000000 0 1151.79/1152.19 c 296 569 513.85 99.66 5.16 1000000 0 1153.39/1153.79 c 322 501 545.89 111.92 4.88 1000000 0 1154.99/1155.38 c 309 517 520.36 94.15 5.53 1000000 0 1156.58/1156.97 c 292 476 516.14 92.64 5.57 1000000 0 1158.18/1158.56 c 311 421 533.07 115.48 4.62 1000000 0 1159.78/1160.15 c 312 575 520.43 109.08 4.77 1000000 0 1161.39/1161.74 c 303 482 514.11 109.52 4.69 1000000 0 1162.98/1163.33 c 289 537 518.17 120.32 4.31 1000000 0 1164.59/1164.93 c 284 563 525.41 104.29 5.04 1000000 0 1166.18/1166.51 c 306 519 501.02 84.43 5.93 1000000 0 1167.78/1168.10 c 279 630 523.55 96.85 5.41 1000000 0 1169.38/1169.70 c 323 378 529.87 123.00 4.31 1000000 0 1170.88/1171.29 c 299 396 527.43 106.39 4.96 1000000 0 1172.48/1172.89 c 319 614 530.60 98.65 5.38 1000000 0 1174.08/1174.48 c 282 524 516.93 94.69 5.46 1000000 0 1175.69/1176.06 c 304 512 516.69 91.21 5.66 1000000 0 1177.28/1177.65 c 270 423 510.74 100.33 5.09 1000000 0 1178.89/1179.25 c 332 440 533.95 99.80 5.35 1000000 0 1180.48/1180.83 c 267 408 518.50 115.35 4.50 1000000 0 1182.08/1182.41 c 307 474 506.77 94.47 5.36 1000000 0 1183.68/1184.00 c 318 645 523.05 95.91 5.45 1000000 0 1185.18/1185.59 c 301 498 527.03 110.61 4.76 1000000 0 1186.78/1187.18 c 277 497 521.09 102.32 5.09 1000000 0 1188.38/1188.77 c 287 398 516.46 93.52 5.52 1000000 0 1189.98/1190.36 c 282 535 514.26 101.31 5.08 1000000 0 1191.57/1191.94 c 288 535 521.22 104.52 4.99 1000000 0 1193.18/1193.54 c 329 430 525.37 93.09 5.64 1000000 0 1194.77/1195.13 c 302 525 517.42 117.67 4.40 1000000 0 1196.37/1196.72 c 312 473 528.49 114.53 4.61 1000000 0 1197.97/1198.31 c 323 461 522.60 117.21 4.46 1000000 0 1199.57/1199.90 c 252 495 518.43 110.44 4.69 1000000 0 1201.07/1201.49 c 309 388 518.55 104.26 4.97 1000000 0 1202.67/1203.08 c 281 555 513.44 105.87 4.85 1000000 0 1204.28/1204.66 c 334 448 519.63 95.29 5.45 1000000 0 1205.87/1206.25 c 300 534 523.42 87.63 5.97 1000000 0 1207.48/1207.83 c 281 470 509.63 97.25 5.24 1000000 0 1209.07/1209.41 c 250 639 505.20 95.16 5.31 1000000 0 1210.67/1211.01 c 289 590 527.44 112.63 4.68 1000000 0 1212.17/1212.59 c 292 439 511.61 103.33 4.95 1000000 0 1213.77/1214.18 c 294 531 516.15 93.33 5.53 1000000 0 1215.37/1215.77 c 302 479 525.28 113.17 4.64 1000000 0 1216.97/1217.35 c 262 432 511.71 113.75 4.50 1000000 0 1218.57/1218.94 c 313 478 523.95 110.54 4.74 1000000 0 1220.17/1220.53 c 314 448 514.17 97.80 5.26 1000000 0 1221.77/1222.11 c 315 519 516.81 100.75 5.13 1000000 0 1223.37/1223.70 c 277 505 522.39 97.38 5.36 1000000 0 1224.86/1225.28 c 307 607 522.48 80.87 6.46 1000000 0 1226.46/1226.86 c 262 606 505.27 94.84 5.33 1000000 0 1228.06/1228.45 c 278 500 514.80 84.93 6.06 1000000 0 1229.66/1230.05 c 319 475 526.02 89.38 5.89 1000000 0 1231.26/1231.64 c 265 606 525.63 90.96 5.78 1000000 0 1232.87/1233.23 c 278 531 525.49 88.72 5.92 1000000 0 1234.46/1234.83 c 277 614 528.49 119.14 4.44 1000000 0 1236.07/1236.41 c 261 538 507.32 109.60 4.63 1000000 0 1237.66/1238.00 c 277 530 523.08 84.92 6.16 1000000 0 1239.16/1239.59 c 260 402 513.39 92.69 5.54 1000000 0 1240.76/1241.18 c 304 481 529.05 102.17 5.18 1000000 0 1242.36/1242.76 c 294 456 517.48 95.98 5.39 1000000 0 1243.96/1244.35 c 265 512 502.49 109.81 4.58 1000000 0 1245.56/1245.94 c 309 545 522.64 107.80 4.85 1000000 0 1247.16/1247.53 c 288 522 532.71 96.58 5.52 1000000 0 1248.76/1249.11 c 287 431 515.37 96.92 5.32 1000000 0 1250.36/1250.71 c 300 517 520.11 83.32 6.24 1000000 0 1251.96/1252.30 c 297 570 516.42 93.68 5.51 1000000 0 1253.46/1253.88 c 251 403 516.26 93.44 5.53 1000000 0 1255.05/1255.47 c 307 494 521.43 113.91 4.58 1000000 0 1256.65/1257.06 c 292 489 507.08 93.12 5.45 1000000 0 1258.25/1258.65 c 332 464 525.26 91.47 5.74 1000000 0 1259.85/1260.24 c 276 466 515.23 116.17 4.44 1000000 0 1261.46/1261.83 c 270 537 509.92 111.47 4.57 1000000 0 1263.05/1263.42 c 308 497 525.28 111.55 4.71 1000000 0 1264.66/1265.01 c 327 435 527.94 97.28 5.43 1000000 0 1266.25/1266.61 c 264 367 534.48 121.27 4.41 1000000 0 1267.85/1268.21 c 323 471 533.96 97.61 5.47 1000000 0 1269.45/1269.80 c 311 497 514.66 88.35 5.83 1000000 0 1271.05/1271.40 c 302 519 537.15 129.91 4.13 1000000 0 1272.55/1272.99 c 266 561 519.20 131.30 3.95 1000000 0 1274.15/1274.57 c 295 546 498.27 93.46 5.33 1000000 0 1275.76/1276.17 c 341 517 543.31 113.16 4.80 1000000 0 1277.35/1277.75 c 285 557 499.14 81.11 6.15 1000000 0 1278.95/1279.33 c 294 528 509.87 103.89 4.91 1000000 0 1280.55/1280.92 c 261 457 510.12 91.38 5.58 1000000 0 1282.14/1282.50 c 271 470 516.91 116.15 4.45 1000000 0 1283.74/1284.10 c 316 567 515.75 96.89 5.32 1000000 0 1285.24/1285.68 c 298 566 520.93 83.20 6.26 1000000 0 1286.84/1287.27 c 278 490 528.77 99.20 5.33 1000000 0 1288.44/1288.86 c 289 386 525.60 99.48 5.28 1000000 0 1290.05/1290.45 c 301 606 521.02 115.84 4.50 1000000 0 1291.64/1292.04 c 328 413 519.89 88.76 5.86 1000000 0 1293.25/1293.64 c 240 528 510.30 118.38 4.31 1000000 0 1294.84/1295.23 c 314 482 521.84 107.04 4.87 1000000 0 1296.44/1296.82 c 264 591 527.97 97.03 5.44 1000000 0 1298.04/1298.41 c 308 457 528.88 98.06 5.39 1000000 0 1299.54/1299.99 c 293 578 515.64 92.27 5.59 1000000 0 1301.14/1301.58 c 281 545 523.28 108.16 4.84 1000000 0 1302.74/1303.17 c 282 492 512.56 98.61 5.20 1000000 0 1304.34/1304.76 c 283 522 513.17 110.17 4.66 1000000 0 1305.94/1306.33 c 278 423 503.74 103.79 4.85 1000000 0 1307.54/1307.92 c 289 522 524.75 92.22 5.69 1000000 0 1309.14/1309.51 c 267 568 522.16 97.65 5.35 1000000 0 1310.63/1311.09 c 289 548 508.96 88.13 5.78 1000000 0 1312.23/1312.68 c 299 393 520.38 120.63 4.31 1000000 0 1313.83/1314.27 c 250 529 513.81 100.07 5.13 1000000 0 1315.43/1315.86 c 279 514 521.74 91.54 5.70 1000000 0 1317.03/1317.45 c 272 626 514.52 109.81 4.69 1000000 0 1318.64/1319.04 c 312 536 526.24 84.92 6.20 1000000 0 1320.23/1320.63 c 284 584 529.38 105.64 5.01 1000000 0 1321.84/1322.24 c 345 608 559.95 103.76 5.40 1000000 0 1323.43/1323.83 c 285 453 515.63 118.15 4.36 1000000 0 1325.03/1325.42 c 302 486 521.55 94.22 5.54 1000000 0 1326.63/1327.00 c 261 398 509.23 108.18 4.71 1000000 0 1328.13/1328.59 c 267 488 510.52 83.61 6.11 1000000 0 1329.73/1330.18 c 338 468 532.01 99.53 5.35 1000000 0 1331.33/1331.77 c 274 541 510.47 107.94 4.73 1000000 0 1332.93/1333.35 c 269 555 509.81 94.53 5.39 1000000 0 1334.53/1334.95 c 321 610 529.18 96.72 5.47 1000000 0 1336.13/1336.54 c 309 443 525.62 96.76 5.43 1000000 0 1337.73/1338.13 c 297 484 524.45 99.46 5.27 1000000 0 1339.33/1339.71 c 250 423 506.66 88.48 5.73 1000000 0 1340.93/1341.30 c 306 712 511.81 91.09 5.62 1000000 0 1342.42/1342.88 c 273 485 499.31 88.02 5.67 1000000 0 1344.02/1344.47 c 264 389 541.04 112.91 4.79 1000000 0 1345.62/1346.07 c 285 470 525.06 105.71 4.97 1000000 0 1347.23/1347.66 c 328 520 526.89 95.15 5.54 1000000 0 1348.82/1349.25 c 278 581 507.48 100.14 5.07 1000000 0 1350.43/1350.84 c 303 555 525.58 116.62 4.51 1000000 0 1352.02/1352.42 c 299 516 522.62 99.85 5.23 1000000 0 1353.62/1354.01 c 301 610 515.70 85.57 6.03 1000000 0 1355.22/1355.60 c 299 656 520.37 87.41 5.95 1000000 0 1356.72/1357.19 c 297 509 523.34 97.25 5.38 1000000 0 1358.32/1358.78 c 286 591 509.15 120.42 4.23 1000000 0 1359.92/1360.36 c 280 483 517.82 95.45 5.43 1000000 0 1361.53/1361.94 c 304 406 506.60 92.16 5.50 1000000 0 1363.12/1363.53 c 284 487 526.17 95.85 5.49 1000000 0 1364.72/1365.13 c 304 533 526.04 108.80 4.83 1000000 0 1366.32/1366.71 c 311 554 515.72 97.61 5.28 1000000 0 1367.92/1368.30 c 317 527 516.04 110.44 4.67 1000000 0 1369.42/1369.89 c 289 580 516.82 106.49 4.85 1000000 0 1371.01/1371.48 c 266 381 538.65 111.40 4.84 1000000 0 1372.61/1373.07 c 287 552 508.22 87.00 5.84 1000000 0 1374.21/1374.65 c 223 398 501.26 94.30 5.32 1000000 0 1375.82/1376.24 c 295 469 503.54 104.12 4.84 1000000 0 1377.41/1377.82 c 298 511 520.40 97.39 5.34 1000000 0 1379.02/1379.41 c 297 555 517.11 99.30 5.21 1000000 0 1380.61/1381.01 c 318 483 536.33 94.16 5.70 1000000 0 1382.21/1382.60 c 332 521 531.57 101.48 5.24 1000000 0 1383.71/1384.19 c 318 456 532.34 89.06 5.98 1000000 0 1385.31/1385.78 c 297 515 514.14 112.80 4.56 1000000 0 1386.91/1387.37 c 315 442 519.20 105.21 4.93 1000000 0 1388.51/1388.96 c 303 637 521.77 91.10 5.73 1000000 0 1390.11/1390.55 c 298 529 524.53 114.36 4.59 1000000 0 1391.71/1392.14 c 294 492 519.23 88.20 5.89 1000000 0 1393.31/1393.73 c 300 481 513.84 95.39 5.39 1000000 0 1394.91/1395.32 c 293 487 509.30 108.13 4.71 1000000 0 1396.51/1396.90 c 310 512 502.19 99.61 5.04 1000000 0 1398.01/1398.49 c 310 532 504.04 84.65 5.95 1000000 0 1399.61/1400.08 c 303 536 517.65 84.46 6.13 1000000 0 1401.20/1401.67 c 261 392 520.50 111.00 4.69 1000000 0 1402.80/1403.24 c 268 509 506.35 99.94 5.07 1000000 0 1404.41/1404.84 c 288 403 536.19 91.50 5.86 1000000 0 1406.00/1406.42 c 294 578 530.65 94.35 5.62 1000000 0 1407.61/1408.01 c 266 426 508.69 99.43 5.12 1000000 0 1409.20/1409.60 c 298 516 529.40 95.46 5.55 1000000 0 1410.70/1411.19 c 278 553 523.31 87.77 5.96 1000000 0 1412.30/1412.78 c 329 481 534.77 86.58 6.18 1000000 0 1413.90/1414.37 c 284 554 520.01 107.84 4.82 1000000 0 1415.50/1415.96 c 288 473 524.63 110.50 4.75 1000000 0 1417.10/1417.55 c 255 543 515.20 117.98 4.37 1000000 0 1418.71/1419.15 c 300 511 516.68 84.82 6.09 1000000 0 1420.30/1420.74 c 319 402 526.21 94.51 5.57 1000000 0 1421.91/1422.34 c 287 493 523.40 111.20 4.71 1000000 0 1423.50/1423.92 c 232 475 506.09 92.34 5.48 1000000 0 1425.10/1425.51 c 313 500 520.32 105.56 4.93 1000000 0 1426.70/1427.10 c 312 511 519.51 110.29 4.71 1000000 0 1428.20/1428.69 c 231 396 509.04 91.43 5.57 1000000 0 1429.80/1430.27 c 297 448 505.51 104.78 4.82 1000000 0 1431.40/1431.86 c 286 582 528.73 101.38 5.22 1000000 0 1433.00/1433.45 c 291 599 524.25 101.59 5.16 1000000 0 1434.60/1435.04 c 325 434 522.36 83.17 6.28 1000000 0 1436.20/1436.63 c 274 501 520.76 106.17 4.91 1000000 0 1437.80/1438.22 c 315 442 514.21 85.82 5.99 1000000 0 1439.39/1439.81 c 310 553 520.95 100.64 5.18 1000000 0 1440.99/1441.40 c 302 440 520.55 87.58 5.94 1000000 0 1442.49/1442.99 c 319 502 525.18 110.33 4.76 1000000 0 1444.09/1444.58 c 303 465 502.40 94.77 5.30 1000000 0 1445.69/1446.17 c 292 574 512.93 105.16 4.88 1000000 0 1447.30/1447.75 c 308 445 518.51 98.79 5.25 1000000 0 1448.89/1449.33 c 294 451 508.20 96.72 5.25 1000000 0 1450.50/1450.93 c 297 577 537.52 113.73 4.73 1000000 0 1452.09/1452.52 c 280 418 503.05 109.59 4.59 1000000 0 1453.69/1454.11 c 318 560 523.54 111.72 4.69 1000000 0 1455.29/1455.70 c 302 480 531.03 119.11 4.46 1000000 0 1456.79/1457.30 c 254 458 515.88 86.65 5.95 1000000 0 1458.39/1458.89 c 319 575 543.71 95.75 5.68 1000000 0 1459.99/1460.48 c 275 550 524.47 106.51 4.92 1000000 0 1461.60/1462.07 c 273 434 514.15 118.26 4.35 1000000 0 1463.19/1463.66 c 271 472 522.67 107.69 4.85 1000000 0 1464.79/1465.24 c 270 554 508.68 90.86 5.60 1000000 0 1466.39/1466.83 c 276 592 522.61 98.18 5.32 1000000 0 1467.98/1468.42 c 289 595 510.84 97.23 5.25 1000000 0 1469.58/1470.01 c 278 498 512.22 91.72 5.58 1000000 0 1471.18/1471.60 c 324 522 522.68 89.34 5.85 1000000 0 1472.68/1473.19 c 285 554 519.20 121.56 4.27 1000000 0 1474.28/1474.78 c 321 572 517.15 108.82 4.75 1000000 0 1475.89/1476.37 c 266 523 511.49 94.00 5.44 1000000 0 1477.48/1477.96 c 288 560 522.21 95.19 5.49 1000000 0 1479.09/1479.55 c 317 520 521.31 115.05 4.53 1000000 0 1480.68/1481.14 c 319 588 512.79 98.92 5.18 1000000 0 1482.28/1482.72 c 284 518 505.39 90.47 5.59 1000000 0 1483.88/1484.31 c 243 464 519.58 101.38 5.13 1000000 0 1485.48/1485.90 c 275 534 512.49 101.48 5.05 1000000 0 1486.98/1487.49 c 279 522 513.06 83.31 6.16 1000000 0 1488.58/1489.07 c 304 424 515.00 110.80 4.65 1000000 0 1490.19/1490.66 c 280 612 524.06 97.59 5.37 1000000 0 1491.78/1492.25 c 290 460 526.99 90.62 5.82 1000000 0 1493.38/1493.84 c 281 394 509.00 108.95 4.67 1000000 0 1494.98/1495.42 c 281 451 511.16 97.78 5.23 1000000 0 1496.58/1497.01 c 277 535 527.99 94.58 5.58 1000000 0 1498.08/1498.59 c 298 477 510.47 104.03 4.91 1000000 0 1499.68/1500.18 c 335 513 532.86 95.42 5.58 1000000 0 1501.27/1501.77 c 227 548 520.99 118.49 4.40 1000000 0 1502.87/1503.35 c 300 584 504.38 93.23 5.41 1000000 0 1504.48/1504.94 c 236 546 506.55 98.08 5.16 1000000 0 1506.07/1506.53 c 290 539 519.30 104.33 4.98 1000000 0 1507.68/1508.12 c 332 386 529.10 110.00 4.81 1000000 0 1509.27/1509.71 c 289 542 515.21 100.91 5.11 1000000 0 1510.77/1511.29 c 330 569 513.05 88.12 5.82 1000000 0 1512.37/1512.88 c 297 481 525.62 119.37 4.40 1000000 0 1513.97/1514.48 c 332 507 530.96 121.68 4.36 1000000 0 1515.57/1516.07 c 283 561 498.67 90.10 5.53 1000000 0 1517.17/1517.65 c 304 451 517.76 95.06 5.45 1000000 0 1518.78/1519.24 c 292 478 525.40 105.56 4.98 1000000 0 1520.37/1520.82 c 308 487 522.66 93.79 5.57 1000000 0 1521.98/1522.41 c 267 526 519.48 96.86 5.36 1000000 0 1523.57/1524.00 c 300 405 524.99 109.71 4.79 1000000 0 1525.07/1525.58 c 278 497 514.48 85.97 5.98 1000000 0 1526.67/1527.16 c 290 581 505.64 92.20 5.48 1000000 0 1528.27/1528.75 c 334 423 517.93 117.48 4.41 1000000 0 1529.87/1530.34 c 301 481 519.40 103.44 5.02 1000000 0 1531.47/1531.92 c 300 503 500.44 103.81 4.82 1000000 0 1533.07/1533.50 c 249 349 498.38 107.38 4.64 1000000 0 1534.56/1535.09 c 309 514 529.32 106.45 4.97 1000000 0 1536.16/1536.68 c 326 557 521.78 100.89 5.17 1000000 0 1537.76/1538.27 c 312 583 520.19 99.21 5.24 1000000 0 1539.36/1539.86 c 296 565 523.80 112.15 4.67 1000000 0 1540.96/1541.46 c 285 546 520.23 110.78 4.70 1000000 0 1542.56/1543.05 c 305 481 522.63 98.71 5.29 1000000 0 1544.16/1544.62 c 267 450 500.26 92.07 5.43 1000000 0 1545.76/1546.21 c 262 550 503.55 80.98 6.22 1000000 0 1547.37/1547.81 c 305 550 530.06 94.91 5.58 1000000 0 1548.96/1549.40 c 299 573 522.68 89.50 5.84 1000000 0 1550.46/1550.98 c 304 465 524.89 103.05 5.09 1000000 0 1552.06/1552.57 c 327 533 521.84 102.05 5.11 1000000 0 1553.66/1554.17 c 326 542 521.11 114.13 4.57 1000000 0 1555.26/1555.75 c 275 505 517.21 110.62 4.68 1000000 0 1556.86/1557.34 c 302 574 517.13 106.05 4.88 1000000 0 1558.45/1558.93 c 309 543 523.27 108.80 4.81 1000000 0 1560.05/1560.52 c 268 496 523.92 101.98 5.14 1000000 0 1561.66/1562.11 c 299 471 519.86 90.28 5.76 1000000 0 1563.25/1563.70 c 303 512 523.21 83.20 6.29 1000000 0 1564.75/1565.29 c 302 345 543.44 113.75 4.78 1000000 0 1566.35/1566.87 c 285 434 495.26 99.40 4.98 1000000 0 1567.95/1568.45 c 281 490 509.37 108.83 4.68 1000000 0 1569.55/1570.05 c 317 559 530.07 92.91 5.71 1000000 0 1571.15/1571.64 c 304 534 516.36 102.39 5.04 1000000 0 1572.75/1573.23 c 297 392 526.02 91.97 5.72 1000000 0 1574.35/1574.82 c 257 574 522.39 96.97 5.39 1000000 0 1575.86/1576.40 c 241 335 512.85 114.28 4.49 1000000 0 1577.55/1578.00 c 283 562 531.99 95.10 5.59 1000000 0 1579.05/1579.59 c 314 523 516.86 85.06 6.08 1000000 0 1580.65/1581.19 c 291 654 515.03 105.34 4.89 1000000 0 1582.25/1582.78 c 293 470 521.65 111.59 4.67 1000000 0 1583.84/1584.36 c 295 444 519.37 88.30 5.88 1000000 0 1585.44/1585.94 c 293 695 515.96 94.07 5.48 1000000 0 1587.04/1587.53 c 291 503 516.37 95.26 5.42 1000000 0 1588.64/1589.11 c 286 500 510.57 84.82 6.02 1000000 0 1590.15/1590.70 c 292 464 526.98 92.79 5.68 1000000 0 1591.74/1592.28 c 301 675 514.26 102.70 5.01 1000000 0 1593.34/1593.88 c 270 494 527.13 102.55 5.14 1000000 0 1594.94/1595.47 c 335 542 527.59 102.94 5.13 1000000 0 1596.54/1597.06 c 290 493 524.54 111.12 4.72 1000000 0 1598.14/1598.65 c 293 517 519.36 101.78 5.10 1000000 0 1599.74/1600.24 c 294 486 521.54 110.52 4.72 1000000 0 1601.34/1601.84 c 300 578 526.62 86.73 6.07 1000000 0 1602.94/1603.42 c 290 502 516.02 117.01 4.41 1000000 0 1604.55/1605.02 c 330 556 519.09 101.00 5.14 1000000 0 1606.14/1606.62 c 263 621 527.15 101.82 5.18 1000000 0 1607.74/1608.21 c 316 414 526.76 119.80 4.40 1000000 0 1609.24/1609.79 c 302 487 521.38 106.57 4.89 1000000 0 1610.84/1611.38 c 300 432 497.90 115.56 4.31 1000000 0 1612.44/1612.96 c 303 546 521.58 86.14 6.05 1000000 0 1614.04/1614.56 c 307 581 529.54 113.37 4.67 1000000 0 1615.64/1616.15 c 279 545 515.66 107.29 4.81 1000000 0 1617.24/1617.73 c 286 530 507.09 97.63 5.19 1000000 0 1618.84/1619.32 c 313 473 526.47 89.54 5.88 1000000 0 1620.43/1620.91 c 340 553 539.88 105.87 5.10 1000000 0 1622.04/1622.51 c 278 448 524.82 106.63 4.92 1000000 0 1623.63/1624.10 c 260 523 524.11 97.50 5.38 1000000 0 1625.13/1625.69 c 298 498 524.02 90.23 5.81 1000000 0 1626.73/1627.28 c 314 520 517.72 92.33 5.61 1000000 0 1628.33/1628.87 c 300 579 536.49 101.42 5.29 1000000 0 1629.93/1630.45 c 294 497 514.83 95.56 5.39 1000000 0 1631.53/1632.04 c 296 597 519.15 93.07 5.58 1000000 0 1633.13/1633.64 c 304 472 526.53 108.95 4.83 1000000 0 1634.73/1635.22 c 270 499 502.47 105.99 4.74 1000000 0 1636.33/1636.81 c 307 485 508.44 93.07 5.46 1000000 0 1637.83/1638.39 c 296 498 526.62 107.60 4.89 1000000 0 1639.43/1639.98 c 249 537 511.89 104.35 4.91 1000000 0 1641.03/1641.57 c 290 415 517.28 99.54 5.20 1000000 0 1642.63/1643.17 c 306 458 525.63 94.80 5.54 1000000 0 1644.22/1644.76 c 264 599 526.63 101.28 5.20 1000000 0 1645.82/1646.35 c 251 484 508.75 101.44 5.02 1000000 0 1647.43/1647.93 c 305 460 507.84 120.75 4.21 1000000 0 1649.02/1649.52 c 314 527 511.09 115.92 4.41 1000000 0 1650.63/1651.11 c 300 454 512.28 120.23 4.26 1000000 0 1652.22/1652.71 c 307 462 526.27 79.27 6.64 1000000 0 1653.72/1654.30 c 305 603 515.89 85.05 6.07 1000000 0 1655.32/1655.88 c 267 463 505.64 98.78 5.12 1000000 0 1656.92/1657.48 c 281 451 534.59 103.42 5.17 1000000 0 1658.52/1659.08 c 337 578 526.14 107.66 4.89 1000000 0 1660.12/1660.66 c 294 626 529.00 115.06 4.60 1000000 0 1661.72/1662.24 c 288 400 512.09 90.68 5.65 1000000 0 1663.31/1663.83 c 317 395 518.67 117.73 4.41 1000000 0 1664.92/1665.43 c 274 553 513.15 95.09 5.40 1000000 0 1666.51/1667.02 c 279 622 517.86 93.36 5.55 1000000 0 1668.11/1668.60 c 295 455 522.61 106.29 4.92 1000000 0 1669.71/1670.20 c 290 536 536.75 108.18 4.96 1000000 0 1671.21/1671.79 c 296 573 521.70 107.77 4.84 1000000 0 1672.81/1673.38 c 314 450 525.33 102.83 5.11 1000000 0 1674.41/1674.98 c 296 547 534.61 129.94 4.11 1000000 0 1676.02/1676.57 c 291 555 512.01 106.12 4.83 1000000 0 1677.61/1678.15 c 266 472 502.15 97.03 5.18 1000000 0 1679.22/1679.74 c 323 447 524.21 105.37 4.97 1000000 0 1680.81/1681.33 c 269 531 519.81 114.36 4.55 1000000 0 1682.41/1682.93 c 301 521 537.19 94.11 5.71 1000000 0 1684.01/1684.51 c 308 521 512.79 90.07 5.69 1000000 0 1685.51/1686.09 c 271 588 514.40 110.12 4.67 1000000 0 1687.11/1687.69 c 302 458 513.46 97.77 5.25 1000000 0 1688.71/1689.27 c 309 491 517.39 100.30 5.16 1000000 0 1690.31/1690.86 c 291 512 523.33 117.42 4.46 1000000 0 1691.90/1692.44 c 274 487 516.66 115.21 4.48 1000000 0 1693.51/1694.04 c 315 569 522.94 106.02 4.93 1000000 0 1695.10/1695.64 c 306 587 536.84 95.73 5.61 1000000 0 1696.70/1697.23 c 292 460 529.61 106.74 4.96 1000000 0 1698.30/1698.82 c 258 493 514.72 112.34 4.58 1000000 0 1699.90/1700.41 c 264 504 525.93 92.63 5.68 1000000 0 1701.50/1702.00 c 285 539 518.07 116.61 4.44 1000000 0 1703.00/1703.59 c 293 515 516.13 95.10 5.43 1000000 0 1704.61/1705.18 c 290 612 514.63 90.44 5.69 1000000 0 1706.20/1706.77 c 311 504 520.65 95.06 5.48 1000000 0 1707.81/1708.36 c 293 574 524.29 99.87 5.25 1000000 0 1709.40/1709.95 c 250 421 526.67 106.46 4.95 1000000 0 1711.00/1711.54 c 317 554 520.44 86.46 6.02 1000000 0 1712.60/1713.13 c 305 592 521.69 96.37 5.41 1000000 0 1714.20/1714.72 c 281 504 524.26 100.03 5.24 1000000 0 1715.80/1716.31 c 270 535 514.95 100.50 5.12 1000000 0 1717.30/1717.90 c 320 512 528.10 101.52 5.20 1000000 0 1718.90/1719.49 c 324 336 530.15 110.95 4.78 1000000 0 1720.50/1721.08 c 285 392 522.50 90.03 5.80 1000000 0 1722.10/1722.68 c 283 609 528.33 103.15 5.12 1000000 0 1723.69/1724.27 c 312 509 521.60 97.82 5.33 1000000 0 1725.29/1725.86 c 335 499 522.64 101.99 5.12 1000000 0 1726.89/1727.45 c 323 586 527.26 117.59 4.48 1000000 0 1728.49/1729.03 c 278 486 500.20 85.75 5.83 1000000 0 1730.09/1730.62 c 282 576 510.54 102.67 4.97 1000000 0 1731.69/1732.21 c 294 494 514.71 99.38 5.18 1000000 0 1733.20/1733.79 c 295 557 509.42 109.66 4.65 1000000 0 1734.79/1735.38 c 285 514 509.28 98.19 5.19 1000000 0 1736.40/1736.97 c 293 477 529.06 104.63 5.06 1000000 0 1738.00/1738.56 c 242 559 530.63 119.30 4.45 1000000 0 1739.60/1740.16 c 325 457 526.52 97.58 5.40 1000000 0 1741.20/1741.75 c 313 572 538.87 107.13 5.03 1000000 0 1742.80/1743.34 c 277 526 503.87 108.20 4.66 1000000 0 1744.40/1744.93 c 256 423 508.14 116.44 4.36 1000000 0 1746.00/1746.52 c 282 444 516.41 106.09 4.87 1000000 0 1747.60/1748.11 c 347 389 544.11 95.55 5.69 1000000 0 1749.20/1749.70 c 279 478 516.55 95.21 5.43 1000000 0 1750.70/1751.29 c 292 527 524.73 90.27 5.81 1000000 0 1752.29/1752.87 c 291 442 515.76 96.41 5.35 1000000 0 1753.89/1754.47 c 277 518 519.84 105.54 4.93 1000000 0 1755.49/1756.06 c 281 587 518.09 122.49 4.23 1000000 0 1757.09/1757.65 c 303 430 519.48 91.12 5.70 1000000 0 1758.69/1759.23 c 310 497 509.92 109.85 4.64 1000000 0 1760.29/1760.82 c 276 523 534.29 102.77 5.20 1000000 0 1761.89/1762.41 c 314 410 515.66 103.28 4.99 1000000 0 1763.49/1764.00 c 310 545 522.58 95.72 5.46 1000000 0 1765.00/1765.59 c 298 457 521.56 96.75 5.39 1000000 0 1766.59/1767.17 c 294 530 508.36 95.29 5.34 1000000 0 1768.19/1768.76 c 331 551 514.65 104.68 4.92 1000000 0 1769.79/1770.35 c 321 576 539.27 106.50 5.06 1000000 0 1771.39/1771.95 c 308 427 522.15 93.50 5.58 1000000 0 1772.99/1773.53 c 275 602 503.68 88.86 5.67 1000000 0 1774.59/1775.11 c 304 598 517.10 103.40 5.00 1000000 0 1776.19/1776.70 c 310 518 520.11 92.90 5.60 1000000 0 1777.68/1778.29 c 272 513 525.70 89.37 5.88 1000000 0 1779.29/1779.88 c 311 364 525.33 105.91 4.96 1000000 0 1780.88/1781.47 c 307 553 520.94 102.61 5.08 1000000 0 1782.48/1783.06 c 309 539 523.56 90.18 5.81 1000000 0 1784.08/1784.64 c 293 424 507.81 105.13 4.83 1000000 0 1785.68/1786.24 c 303 471 533.47 104.91 5.08 1000000 0 1787.28/1787.83 c 274 500 501.54 88.47 5.67 1000000 0 1788.88/1789.42 c 277 443 523.95 86.65 6.05 1000000 0 1790.48/1791.00 c 292 483 513.21 98.67 5.20 1000000 0 1791.98/1792.59 c 308 458 513.34 100.69 5.10 1000000 0 1793.59/1794.18 c 308 440 516.60 99.03 5.22 1000000 0 1795.18/1795.76 c 306 415 531.36 92.28 5.76 1000000 0 1796.78/1797.36 c 289 608 536.08 100.38 5.34 1000000 0 1798.38/1798.94 c 323 610 519.20 85.04 6.11 1000000 0 1799.98/1800.54 c 278 562 529.04 90.24 5.86 1000000 0 1800.08/1800.60 HOME/run: line 2: 21165 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-2685182-1278439921/watcher-2685182-1278439921 -o /tmp/evaluation-result-2685182-1278439921/solver-2685182-1278439921 -C 1800 -W 2000 -M 1800 run HOME/instance-2685182-1278439921.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: 0.93 0.98 0.93 3/106 21164 /proc/meminfo: memFree=1849016/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [startup+0.103551 s] /proc/loadavg: 0.93 0.98 0.93 3/106 21164 /proc/meminfo: memFree=1849016/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.201561 s] /proc/loadavg: 0.93 0.98 0.93 3/106 21164 /proc/meminfo: memFree=1849016/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301572 s] /proc/loadavg: 0.93 0.98 0.93 3/106 21164 /proc/meminfo: memFree=1849016/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701614 s] /proc/loadavg: 0.93 0.98 0.93 3/106 21164 /proc/meminfo: memFree=1849016/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.5007 s] /proc/loadavg: 0.93 0.98 0.93 2/108 21166 /proc/meminfo: memFree=1843048/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=1.49 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1532 0 0 0 149 0 0 0 25 0 1 0 12204240 41422848 1461 1992294400 134512640 135071400 4294319248 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1461 62 137 0 9974 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49152 [startup+3.10087 s] /proc/loadavg: 0.93 0.98 0.93 2/108 21166 /proc/meminfo: memFree=1842800/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=3.09 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1540 0 0 0 309 0 0 0 25 0 1 0 12204240 41422848 1469 1992294400 134512640 135071400 4294319248 18446744073709551615 134537285 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1469 69 137 0 9974 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49152 [startup+6.30122 s] /proc/loadavg: 0.93 0.98 0.93 2/108 21166 /proc/meminfo: memFree=1842800/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=6.29 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1540 0 0 0 629 0 0 0 25 0 1 0 12204240 41422848 1469 1992294400 134512640 135071400 4294319248 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1469 69 137 0 9974 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 49152 [startup+12.7009 s] /proc/loadavg: 0.94 0.98 0.93 2/108 21166 /proc/meminfo: memFree=1842676/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=12.68 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 1268 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134536987 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.93 2/108 21168 /proc/meminfo: memFree=1842676/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=25.48 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 2548 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.102 s] /proc/loadavg: 0.97 0.98 0.93 2/108 21168 /proc/meminfo: memFree=1842676/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=51.08 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 5108 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49152 [startup+102.302 s] /proc/loadavg: 0.98 0.98 0.93 2/108 21170 /proc/meminfo: memFree=1842552/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=102.27 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 10227 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 49152 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.93 2/108 21170 /proc/meminfo: memFree=1842428/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=162.24 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 16224 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49152 [startup+222.309 s] /proc/loadavg: 0.99 0.98 0.93 2/108 21172 /proc/meminfo: memFree=1842428/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=222.24 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 22224 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526812 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 49152 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.93 3/108 21174 /proc/meminfo: memFree=1842304/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=282.21 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 28221 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526631 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 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: 0.99 0.98 0.93 2/108 21176 /proc/meminfo: memFree=1842304/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=342.19 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 34219 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 49152 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.93 2/108 21178 /proc/meminfo: memFree=1842180/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=402.18 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 40218 0 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 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... # ################ /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=1121.99 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 112198 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526703 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 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 0.94 2/108 21201 /proc/meminfo: memFree=1813432/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=1181.98 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 118197 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/108 21203 /proc/meminfo: memFree=1813184/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=1241.96 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 124195 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/108 21205 /proc/meminfo: memFree=1813060/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=1301.94 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 130193 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/108 21205 /proc/meminfo: memFree=1812936/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=1361.92 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 136191 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 49152 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.94 2/108 21207 /proc/meminfo: memFree=1812936/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=1421.91 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 142190 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/108 21209 /proc/meminfo: memFree=1812812/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=1481.88 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 148187 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 49152 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.94 2/108 21211 /proc/meminfo: memFree=1812688/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=1541.87 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 154186 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 3/108 21213 /proc/meminfo: memFree=1812564/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=1601.84 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 160183 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/108 21213 /proc/meminfo: memFree=1812564/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=1661.81 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 166180 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/108 21215 /proc/meminfo: memFree=1812564/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=1721.79 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 172178 1 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/108 21217 /proc/meminfo: memFree=1812192/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=1781.78 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 178176 2 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.94 2/108 21217 /proc/meminfo: memFree=1812192/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=1800.08 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 180006 2 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134525707 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) SSolver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.94 2/108 21217 /proc/meminfo: memFree=1812192/2059040 swapFree=4192956/4192956 [pid=21164] ppid=21162 vsize=8700 CPUtime=0 /proc/21164/stat : 21164 (run) S 21162 21164 20280 0 -1 4202496 360 0 0 0 0 0 0 0 18 0 1 0 12204240 8908800 244 1992294400 4194304 4922060 140737422283856 18446744073709551615 271797820549 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21164/statm: 2175 244 204 178 0 68 0 [pid=21165] ppid=21164 vsize=40452 CPUtime=1800.08 /proc/21165/stat : 21165 (PB-wave) R 21164 21164 20280 0 -1 4202496 1541 0 0 0 180006 2 0 0 25 0 1 0 12204240 41422848 1470 1992294400 134512640 135071400 4294319248 18446744073709551615 134525707 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/21165/statm: 10113 1470 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 49152 Child status: 143 Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1800.07 CPU system time (s): 0.024996 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.07 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= 1913 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= 3208 runsolver used 2.99854 second user time and 8.5537 second system time The end
Begin job on node019 at 2010-07-06 20:12:01 IDJOB=2685182 IDBENCH=74870 IDSOLVER=1171 FILE ID=node019/2685182-1278439921 PBS_JOBID= 11233453 Free space on /tmp= 62344 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j90/normalized-j9039_3-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685182-1278439921/watcher-2685182-1278439921 -o /tmp/evaluation-result-2685182-1278439921/solver-2685182-1278439921 -C 1800 -W 2000 -M 1800 run HOME/instance-2685182-1278439921.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fc45b70f2bffc38ba49073a3c4955a67 RANDOM SEED=1264601843 node019.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 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.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1849412 kB Buffers: 15148 kB Cached: 64188 kB SwapCached: 0 kB Active: 57680 kB Inactive: 81860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1849412 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2340 kB Writeback: 0 kB AnonPages: 60236 kB Mapped: 14468 kB Slab: 48092 kB PageTables: 4176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181552 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= 62344 MiB End job on node019 at 2010-07-06 20:42:02