Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB-wave alpha 2 | ? (TO) | 1800.06 | 1800.62 |
Name | /DEC-SMALLINT-LIN/oliveras/j60/ normalized-j6013_2-unsat.opb |
MD5SUM | c3eb9faf1d58b30f1971366448425ca3 |
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 | 61.8236 |
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 | 12322 |
Total number of constraints | 38967 |
Number of constraints which are clauses | 38567 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 400 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 60 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 394 |
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.11 c PB-wave - v2 0.00/0.11 c command line = ./PB-wave 0.00/0.11 c seed = 59045827 0.00/0.11 c cutoff = 1000000 0.00/0.11 c tries = 1000000 0.00/0.11 c heuristic = c best, noise 50 / 100 0.00/0.11 #var 12322 #con 38967 0.00/0.11 mode is SAT 0.00/0.11 c tail starts after flip = 36966 0.00/0.11 c numatom = 12322, numclause = 38967, numliterals = 106626 0.00/0.11 c wff read in 0.00/0.11 c 0.00/0.11 c lowest final avg noise noise total avg mean mean 0.00/0.11 c #unsat #unsat noise std dev ratio flips length flips flips 0.00/0.11 c this this this this this this success success until std 0.00/0.11 c try try try try try try rate tries assign dev 0.00/0.11 c 1.58/1.65 c 355 506 523.76 47.69 10.98 1000000 0 3.08/3.19 c 375 450 534.90 49.11 10.89 1000000 0 4.68/4.74 c 364 519 535.47 51.62 10.37 1000000 0 6.18/6.28 c 399 491 533.44 49.04 10.88 1000000 0 7.78/7.83 c 370 491 529.12 53.14 9.96 1000000 0 9.28/9.37 c 358 519 519.70 49.59 10.48 1000000 0 10.89/10.91 c 363 415 528.07 53.18 9.93 1000000 0 12.38/12.44 c 365 608 529.62 50.60 10.47 1000000 0 13.88/13.97 c 359 513 530.19 53.61 9.89 1000000 0 15.48/15.51 c 373 555 528.51 45.75 11.55 1000000 0 16.98/17.05 c 368 564 529.09 56.03 9.44 1000000 0 18.48/18.59 c 374 469 532.39 51.06 10.43 1000000 0 20.08/20.13 c 382 518 529.41 61.52 8.61 1000000 0 21.58/21.67 c 364 491 532.23 56.99 9.34 1000000 0 23.18/23.21 c 392 475 532.67 49.00 10.87 1000000 0 24.68/24.75 c 399 448 539.07 57.37 9.40 1000000 0 26.18/26.29 c 360 595 531.75 52.19 10.19 1000000 0 27.77/27.83 c 366 511 520.82 55.81 9.33 1000000 0 29.28/29.38 c 359 585 545.30 59.69 9.14 1000000 0 30.87/30.92 c 356 578 516.25 48.41 10.67 1000000 0 32.37/32.46 c 364 506 526.28 47.08 11.18 1000000 0 33.98/34.00 c 389 509 527.34 55.11 9.57 1000000 0 35.47/35.54 c 372 578 529.14 50.76 10.43 1000000 0 36.97/37.08 c 368 479 530.49 55.16 9.62 1000000 0 38.57/38.61 c 392 550 538.43 50.07 10.75 1000000 0 40.07/40.15 c 387 608 534.41 51.30 10.42 1000000 0 41.57/41.69 c 384 622 531.48 47.73 11.13 1000000 0 43.17/43.23 c 378 533 542.10 56.03 9.68 1000000 0 44.67/44.77 c 384 531 525.89 49.84 10.55 1000000 0 46.27/46.31 c 399 495 542.44 52.97 10.24 1000000 0 47.77/47.85 c 381 573 533.17 53.34 10.00 1000000 0 49.27/49.39 c 336 464 532.83 51.29 10.39 1000000 0 50.87/50.94 c 349 486 527.22 52.88 9.97 1000000 0 52.37/52.48 c 350 533 543.45 53.94 10.08 1000000 0 53.97/54.02 c 387 504 528.31 50.22 10.52 1000000 0 55.46/55.56 c 368 467 533.03 51.13 10.42 1000000 0 57.07/57.11 c 364 515 534.52 49.87 10.72 1000000 0 58.56/58.64 c 362 582 531.50 55.50 9.58 1000000 0 60.06/60.19 c 379 500 536.49 50.43 10.64 1000000 0 61.66/61.73 c 383 561 528.38 53.39 9.90 1000000 0 63.16/63.27 c 389 551 540.31 47.64 11.34 1000000 0 64.77/64.81 c 368 524 532.45 48.53 10.97 1000000 0 66.26/66.36 c 366 507 524.25 54.86 9.56 1000000 0 67.86/67.90 c 362 566 541.16 62.45 8.67 1000000 0 69.36/69.44 c 378 526 527.67 46.48 11.35 1000000 0 70.86/70.98 c 365 522 537.10 56.10 9.57 1000000 0 72.47/72.52 c 394 501 534.03 47.16 11.32 1000000 0 73.96/74.06 c 383 502 534.81 48.48 11.03 1000000 0 75.56/75.60 c 366 500 537.23 56.59 9.49 1000000 0 77.06/77.15 c 386 516 533.41 55.83 9.55 1000000 0 78.56/78.69 c 354 584 524.42 54.34 9.65 1000000 0 80.16/80.23 c 365 533 532.32 54.96 9.69 1000000 0 81.66/81.77 c 363 506 524.92 50.57 10.38 1000000 0 83.26/83.32 c 357 502 537.76 59.29 9.07 1000000 0 84.76/84.86 c 385 465 528.65 53.54 9.87 1000000 0 86.35/86.40 c 364 567 528.75 55.73 9.49 1000000 0 87.86/87.95 c 375 442 534.31 51.57 10.36 1000000 0 89.35/89.48 c 367 559 526.71 46.54 11.32 1000000 0 90.95/91.02 c 376 561 534.38 47.34 11.29 1000000 0 92.45/92.56 c 388 599 536.67 48.95 10.96 1000000 0 94.05/94.10 c 357 525 522.05 53.41 9.77 1000000 0 95.56/95.65 c 391 497 533.60 46.02 11.59 1000000 0 97.05/97.19 c 347 552 527.16 49.60 10.63 1000000 0 98.65/98.73 c 378 485 520.28 48.48 10.73 1000000 0 100.15/100.27 c 387 546 522.33 47.67 10.96 1000000 0 101.75/101.82 c 349 557 527.43 52.09 10.13 1000000 0 103.26/103.36 c 387 559 541.36 52.15 10.38 1000000 0 104.85/104.90 c 368 590 536.80 50.25 10.68 1000000 0 106.35/106.44 c 366 521 525.67 49.89 10.54 1000000 0 107.85/107.97 c 368 563 534.62 53.60 9.97 1000000 0 109.45/109.52 c 387 468 537.72 51.39 10.46 1000000 0 110.95/111.06 c 383 495 538.83 55.88 9.64 1000000 0 112.55/112.60 c 363 586 525.94 52.50 10.02 1000000 0 114.05/114.14 c 358 468 534.97 53.53 9.99 1000000 0 115.55/115.68 c 365 617 530.20 50.69 10.46 1000000 0 117.15/117.22 c 402 490 535.33 49.77 10.76 1000000 0 118.65/118.76 c 345 528 524.69 49.21 10.66 1000000 0 120.24/120.31 c 383 494 535.78 54.72 9.79 1000000 0 121.74/121.85 c 352 622 527.24 48.16 10.95 1000000 0 123.24/123.39 c 384 490 530.17 46.94 11.29 1000000 0 124.84/124.93 c 386 535 532.03 53.75 9.90 1000000 0 126.35/126.47 c 365 574 533.47 57.13 9.34 1000000 0 127.94/128.01 c 370 505 526.94 51.62 10.21 1000000 0 129.44/129.55 c 394 501 532.48 53.00 10.05 1000000 0 130.94/131.09 c 390 569 538.15 53.96 9.97 1000000 0 132.54/132.63 c 366 596 525.69 50.37 10.44 1000000 0 134.05/134.16 c 395 496 543.96 52.42 10.38 1000000 0 135.64/135.70 c 377 505 528.80 47.01 11.25 1000000 0 137.14/137.24 c 341 603 523.23 48.00 10.90 1000000 0 138.64/138.79 c 349 449 527.21 52.24 10.09 1000000 0 140.24/140.33 c 377 521 520.05 49.52 10.50 1000000 0 141.74/141.86 c 397 609 542.04 52.61 10.30 1000000 0 143.24/143.40 c 387 532 534.16 48.91 10.92 1000000 0 144.83/144.94 c 375 614 528.25 51.25 10.31 1000000 0 146.33/146.47 c 374 514 530.32 48.76 10.88 1000000 0 147.93/148.01 c 386 486 530.32 50.48 10.51 1000000 0 149.44/149.55 c 397 478 530.27 47.23 11.23 1000000 0 150.93/151.09 c 352 489 524.72 52.47 10.00 1000000 0 152.53/152.63 c 375 569 520.75 48.02 10.84 1000000 0 154.03/154.17 c 366 589 535.74 53.84 9.95 1000000 0 155.63/155.71 c 369 464 524.69 54.55 9.62 1000000 0 157.14/157.25 c 381 526 531.75 53.63 9.91 1000000 0 158.63/158.79 c 373 551 532.79 52.03 10.24 1000000 0 160.23/160.33 c 388 501 523.84 48.19 10.87 1000000 0 161.73/161.87 c 371 471 529.24 48.94 10.81 1000000 0 163.33/163.41 c 366 635 533.76 52.13 10.24 1000000 0 164.84/164.94 c 348 500 524.71 46.03 11.40 1000000 0 166.33/166.48 c 391 597 529.80 54.07 9.80 1000000 0 167.93/168.02 c 390 550 527.18 46.18 11.41 1000000 0 169.43/169.55 c 351 500 527.42 53.48 9.86 1000000 0 171.03/171.10 c 370 544 533.20 56.57 9.43 1000000 0 172.53/172.63 c 393 533 527.85 48.93 10.79 1000000 0 174.03/174.17 c 388 574 530.58 51.11 10.38 1000000 0 175.62/175.72 c 368 561 526.15 49.91 10.54 1000000 0 177.13/177.26 c 383 468 537.38 51.85 10.36 1000000 0 178.72/178.80 c 362 495 524.23 45.75 11.46 1000000 0 180.23/180.34 c 379 614 522.12 51.77 10.09 1000000 0 181.72/181.87 c 384 568 540.62 48.19 11.22 1000000 0 183.32/183.41 c 335 524 529.31 56.58 9.35 1000000 0 184.82/184.95 c 383 612 538.92 51.04 10.56 1000000 0 186.32/186.49 c 379 555 528.12 50.39 10.48 1000000 0 187.93/188.02 c 381 629 536.06 50.01 10.72 1000000 0 189.42/189.57 c 392 471 533.78 58.38 9.14 1000000 0 191.02/191.11 c 353 524 530.59 52.88 10.03 1000000 0 192.52/192.65 c 336 457 534.43 46.91 11.39 1000000 0 194.02/194.19 c 395 605 522.92 51.21 10.21 1000000 0 195.63/195.72 c 391 495 528.34 52.69 10.03 1000000 0 197.12/197.26 c 391 592 536.61 51.81 10.36 1000000 0 198.72/198.80 c 378 579 533.21 49.43 10.79 1000000 0 200.22/200.34 c 394 680 536.60 49.66 10.80 1000000 0 201.72/201.88 c 382 598 537.75 55.08 9.76 1000000 0 203.32/203.42 c 375 506 538.51 50.47 10.67 1000000 0 204.82/204.96 c 384 541 535.97 51.16 10.48 1000000 0 206.42/206.51 c 360 477 537.04 51.04 10.52 1000000 0 207.92/208.05 c 353 486 525.82 48.13 10.93 1000000 0 209.42/209.59 c 372 501 525.73 52.50 10.01 1000000 0 211.02/211.13 c 360 581 540.93 54.71 9.89 1000000 0 212.51/212.67 c 391 528 534.41 53.72 9.95 1000000 0 214.11/214.21 c 371 492 528.39 54.60 9.68 1000000 0 215.61/215.77 c 381 549 536.23 52.70 10.18 1000000 0 217.21/217.31 c 372 515 522.87 44.47 11.76 1000000 0 218.72/218.85 c 375 525 530.44 52.16 10.17 1000000 0 220.21/220.39 c 370 492 520.87 50.42 10.33 1000000 0 221.81/221.93 c 372 651 529.70 50.21 10.55 1000000 0 223.31/223.46 c 371 582 529.83 50.54 10.48 1000000 0 224.91/225.00 c 366 570 538.77 53.52 10.07 1000000 0 226.42/226.54 c 379 556 526.52 56.02 9.40 1000000 0 227.91/228.08 c 369 559 530.33 54.29 9.77 1000000 0 229.51/229.62 c 355 496 529.61 58.55 9.05 1000000 0 231.01/231.16 c 375 590 535.20 53.74 9.96 1000000 0 232.61/232.70 c 363 611 532.27 59.08 9.01 1000000 0 234.11/234.25 c 398 462 537.88 54.13 9.94 1000000 0 235.61/235.79 c 371 457 529.27 48.17 10.99 1000000 0 237.20/237.32 c 384 539 532.44 54.40 9.79 1000000 0 238.70/238.86 c 381 506 530.22 48.90 10.84 1000000 0 240.30/240.40 c 372 578 531.63 51.27 10.37 1000000 0 241.81/241.94 c 380 508 528.77 54.36 9.73 1000000 0 243.30/243.48 c 379 617 535.57 56.63 9.46 1000000 0 244.90/245.02 c 362 499 535.46 51.20 10.46 1000000 0 246.40/246.57 c 365 566 522.56 52.06 10.04 1000000 0 248.00/248.10 c 374 522 535.41 58.52 9.15 1000000 0 249.51/249.65 c 382 626 536.69 49.66 10.81 1000000 0 251.00/251.20 c 373 532 519.17 46.20 11.24 1000000 0 252.60/252.74 c 361 567 531.36 51.09 10.40 1000000 0 254.10/254.27 c 365 445 536.44 47.55 11.28 1000000 0 255.70/255.81 c 367 575 537.53 52.04 10.33 1000000 0 257.21/257.36 c 365 552 526.67 53.50 9.84 1000000 0 258.70/258.90 c 396 503 542.52 49.31 11.00 1000000 0 260.30/260.43 c 372 426 528.68 53.99 9.79 1000000 0 261.80/261.97 c 367 494 528.56 49.67 10.64 1000000 0 263.40/263.51 c 388 493 537.52 46.41 11.58 1000000 0 264.90/265.05 c 393 566 534.25 51.61 10.35 1000000 0 266.40/266.59 c 391 533 540.93 51.53 10.50 1000000 0 268.00/268.12 c 356 588 528.36 52.74 10.02 1000000 0 269.50/269.66 c 365 568 534.87 44.92 11.91 1000000 0 271.10/271.20 c 380 485 532.11 53.65 9.92 1000000 0 272.60/272.74 c 375 505 534.12 52.79 10.12 1000000 0 274.09/274.28 c 353 516 528.35 47.62 11.10 1000000 0 275.69/275.83 c 384 501 527.34 53.72 9.82 1000000 0 277.19/277.37 c 370 524 535.37 51.16 10.46 1000000 0 278.79/278.91 c 374 571 529.31 55.52 9.53 1000000 0 280.30/280.44 c 381 431 537.22 48.86 10.99 1000000 0 281.79/281.99 c 386 486 532.14 49.61 10.73 1000000 0 283.39/283.53 c 375 510 534.00 53.31 10.02 1000000 0 284.89/285.07 c 372 513 534.71 68.21 7.84 1000000 0 286.49/286.61 c 371 519 527.88 60.94 8.66 1000000 0 288.00/288.15 c 384 583 523.20 53.36 9.80 1000000 0 289.49/289.69 c 385 485 531.86 51.37 10.35 1000000 0 291.09/291.23 c 381 574 527.95 54.06 9.77 1000000 0 292.59/292.78 c 378 522 527.94 51.24 10.30 1000000 0 294.19/294.32 c 370 555 538.36 51.33 10.49 1000000 0 295.69/295.87 c 390 471 530.80 51.43 10.32 1000000 0 297.29/297.41 c 369 504 518.77 52.27 9.92 1000000 0 298.78/298.96 c 354 570 539.33 55.88 9.65 1000000 0 300.38/300.50 c 372 503 541.02 52.75 10.26 1000000 0 301.88/302.03 c 374 566 522.31 49.72 10.50 1000000 0 303.39/303.57 c 387 470 529.27 52.79 10.03 1000000 0 304.98/305.11 c 399 550 537.28 48.19 11.15 1000000 0 306.48/306.65 c 370 546 518.57 50.58 10.25 1000000 0 307.98/308.19 c 370 537 530.24 53.56 9.90 1000000 0 309.58/309.73 c 375 438 527.60 48.24 10.94 1000000 0 311.09/311.27 c 385 597 532.59 48.46 10.99 1000000 0 312.68/312.82 c 376 477 525.33 54.88 9.57 1000000 0 314.18/314.36 c 312 452 528.42 50.55 10.45 1000000 0 315.78/315.90 c 349 471 532.11 55.69 9.55 1000000 0 317.28/317.44 c 396 496 534.67 47.19 11.33 1000000 0 318.78/318.97 c 378 543 532.93 43.66 12.21 1000000 0 320.38/320.51 c 360 485 534.75 50.29 10.63 1000000 0 321.88/322.05 c 400 516 538.20 56.45 9.53 1000000 0 323.38/323.59 c 370 472 533.75 50.93 10.48 1000000 0 324.98/325.15 c 328 474 527.88 55.82 9.46 1000000 0 326.48/326.68 c 371 536 539.24 54.61 9.87 1000000 0 328.08/328.23 c 351 497 532.17 47.62 11.18 1000000 0 329.58/329.77 c 348 563 520.77 50.60 10.29 1000000 0 331.18/331.31 c 354 552 530.06 51.04 10.38 1000000 0 332.68/332.86 c 365 573 532.91 60.38 8.83 1000000 0 334.18/334.40 c 380 586 533.08 48.03 11.10 1000000 0 335.77/335.93 c 377 589 520.60 47.88 10.87 1000000 0 337.27/337.47 c 366 501 529.91 49.74 10.65 1000000 0 338.87/339.00 c 357 498 521.85 53.58 9.74 1000000 0 340.37/340.54 c 365 594 520.21 53.24 9.77 1000000 0 341.88/342.08 c 367 516 529.53 50.04 10.58 1000000 0 343.47/343.62 c 390 456 540.44 49.97 10.81 1000000 0 344.97/345.16 c 378 575 527.19 48.56 10.86 1000000 0 346.57/346.71 c 374 574 530.54 53.54 9.91 1000000 0 348.07/348.25 c 381 520 529.20 57.70 9.17 1000000 0 349.58/349.79 c 379 467 531.10 57.59 9.22 1000000 0 351.17/351.33 c 381 589 536.83 59.95 8.95 1000000 0 352.67/352.87 c 375 474 541.39 56.04 9.66 1000000 0 354.27/354.41 c 378 474 532.74 51.22 10.40 1000000 0 355.77/355.95 c 377 517 526.97 56.48 9.33 1000000 0 357.27/357.49 c 384 471 541.36 54.03 10.02 1000000 0 358.87/359.03 c 381 469 531.47 53.41 9.95 1000000 0 360.37/360.57 c 377 491 531.49 51.41 10.34 1000000 0 361.97/362.11 c 381 515 524.80 51.75 10.14 1000000 0 363.47/363.65 c 399 469 545.89 49.63 11.00 1000000 0 364.97/365.19 c 380 550 535.28 53.95 9.92 1000000 0 366.57/366.74 c 388 550 533.08 55.41 9.62 1000000 0 368.07/368.28 c 377 464 532.66 56.61 9.41 1000000 0 369.66/369.82 c 381 542 539.73 50.50 10.69 1000000 0 371.16/371.36 c 373 488 529.35 52.94 10.00 1000000 0 372.67/372.90 c 338 545 523.38 52.11 10.04 1000000 0 374.26/374.43 c 361 553 528.15 48.73 10.84 1000000 0 375.76/375.98 c 405 488 530.14 44.85 11.82 1000000 0 377.36/377.53 c 369 482 530.56 53.49 9.92 1000000 0 378.86/379.06 c 360 497 523.01 58.83 8.89 1000000 0 380.37/380.60 c 374 519 524.99 51.39 10.21 1000000 0 381.96/382.14 c 374 514 530.42 51.82 10.24 1000000 0 383.46/383.68 c 387 584 531.34 51.17 10.38 1000000 0 385.06/385.22 c 379 594 534.63 48.97 10.92 1000000 0 386.56/386.77 c 373 524 528.51 50.29 10.51 1000000 0 388.07/388.30 c 380 579 529.02 53.73 9.85 1000000 0 389.66/389.84 c 388 500 535.03 52.46 10.20 1000000 0 391.16/391.38 c 390 537 536.77 52.34 10.26 1000000 0 392.76/392.91 c 372 496 520.94 47.42 10.99 1000000 0 394.26/394.45 c 358 507 524.99 48.98 10.72 1000000 0 395.76/395.99 c 382 470 524.26 52.79 9.93 1000000 0 397.36/397.54 c 361 564 528.72 55.13 9.59 1000000 0 398.86/399.08 c 372 519 527.02 52.29 10.08 1000000 0 400.46/400.61 c 379 593 524.16 49.59 10.57 1000000 0 401.95/402.15 c 348 498 516.40 47.89 10.78 1000000 0 403.46/403.69 c 373 540 530.75 53.71 9.88 1000000 0 405.05/405.23 c 371 569 528.47 51.01 10.36 1000000 0 406.55/406.77 c 338 472 541.41 55.16 9.81 1000000 0 408.15/408.30 c 376 497 534.37 50.32 10.62 1000000 0 409.65/409.84 c 320 526 527.96 50.50 10.45 1000000 0 411.16/411.38 c 370 528 526.21 51.49 10.22 1000000 0 412.75/412.92 c 355 524 518.13 48.44 10.70 1000000 0 414.25/414.46 c 392 467 538.61 52.80 10.20 1000000 0 415.85/416.00 c 375 551 532.22 47.85 11.12 1000000 0 417.35/417.55 c 381 498 529.06 51.38 10.30 1000000 0 418.86/419.08 c 368 502 530.78 48.08 11.04 1000000 0 420.45/420.62 c 370 521 515.33 50.15 10.28 1000000 0 421.95/422.16 c 361 607 522.43 50.90 10.26 1000000 0 423.55/423.70 c 385 577 534.12 49.81 10.72 1000000 0 425.05/425.24 c 396 547 531.35 48.40 10.98 1000000 0 426.55/426.79 c 361 527 529.29 53.85 9.83 1000000 0 428.14/428.33 c 347 534 526.79 55.23 9.54 1000000 0 429.64/429.87 c 356 482 528.61 49.78 10.62 1000000 0 431.24/431.41 c 398 514 538.61 48.71 11.06 1000000 0 432.74/432.94 c 346 485 526.22 46.77 11.25 1000000 0 434.25/434.49 c 372 519 526.07 55.27 9.52 1000000 0 435.84/436.03 c 382 565 530.67 48.18 11.02 1000000 0 437.34/437.57 c 377 481 525.16 58.93 8.91 1000000 0 438.94/439.11 c 358 504 527.31 57.66 9.15 1000000 0 440.44/440.65 c 359 507 533.09 54.97 9.70 1000000 0 441.95/442.19 c 386 565 532.92 48.18 11.06 1000000 0 443.54/443.74 c 396 537 533.19 49.63 10.74 1000000 0 445.04/445.27 c 340 499 527.85 51.48 10.25 1000000 0 446.64/446.81 c 394 492 534.67 53.50 9.99 1000000 0 448.14/448.36 c 370 512 534.89 56.85 9.41 1000000 0 449.65/449.90 c 370 414 526.12 53.10 9.91 1000000 0 451.24/451.44 c 364 513 524.96 47.03 11.16 1000000 0 452.74/452.98 c 388 503 529.24 47.70 11.09 1000000 0 454.34/454.51 c 352 623 530.10 56.80 9.33 1000000 0 455.84/456.05 c 364 532 534.38 51.18 10.44 1000000 0 457.44/457.60 c 379 540 532.21 48.30 11.02 1000000 0 458.94/459.15 c 377 517 534.57 49.79 10.74 1000000 0 460.43/460.69 c 359 459 527.22 53.29 9.89 1000000 0 462.03/462.22 c 386 422 528.21 49.20 10.74 1000000 0 463.53/463.76 c 374 523 528.85 47.38 11.16 1000000 0 465.04/465.30 c 379 540 533.48 53.79 9.92 1000000 0 466.63/466.84 c 381 596 527.98 51.41 10.27 1000000 0 468.13/468.38 c 383 477 537.42 51.65 10.41 1000000 0 469.73/469.92 c 380 548 540.76 49.54 10.92 1000000 0 471.23/471.46 c 361 569 528.07 50.17 10.53 1000000 0 472.74/472.99 c 316 498 546.99 56.35 9.71 1000000 0 474.33/474.53 c 380 558 523.23 47.46 11.02 1000000 0 475.83/476.07 c 395 604 542.98 53.07 10.23 1000000 0 477.43/477.61 c 372 550 528.25 52.63 10.04 1000000 0 478.93/479.14 c 394 528 539.67 57.61 9.37 1000000 0 480.43/480.69 c 357 575 532.37 53.25 10.00 1000000 0 482.03/482.23 c 378 495 536.94 57.67 9.31 1000000 0 483.53/483.78 c 336 539 529.36 53.85 9.83 1000000 0 485.13/485.32 c 364 527 535.61 47.21 11.35 1000000 0 486.63/486.86 c 381 483 526.22 43.88 11.99 1000000 0 488.23/488.40 c 377 556 539.35 53.27 10.13 1000000 0 489.72/489.95 c 379 635 527.87 55.40 9.53 1000000 0 491.22/491.49 c 398 508 534.71 50.31 10.63 1000000 0 492.82/493.02 c 377 521 515.30 47.27 10.90 1000000 0 494.32/494.56 c 387 468 529.62 50.39 10.51 1000000 0 495.93/496.11 c 383 562 530.77 48.39 10.97 1000000 0 497.43/497.65 c 399 516 532.01 53.59 9.93 1000000 0 498.93/499.19 c 380 497 527.60 49.03 10.76 1000000 0 500.53/500.73 c 369 509 527.51 54.17 9.74 1000000 0 502.03/502.26 c 370 521 520.65 49.04 10.62 1000000 0 503.64/503.81 c 373 577 527.14 66.64 7.91 1000000 0 505.13/505.35 c 370 500 520.67 48.57 10.72 1000000 0 506.63/506.89 c 361 513 527.71 50.87 10.37 1000000 0 508.23/508.45 c 373 512 530.91 54.48 9.74 1000000 0 509.73/509.99 c 374 514 519.26 47.47 10.94 1000000 0 511.33/511.53 c 378 558 535.11 52.43 10.21 1000000 0 512.83/513.07 c 391 531 531.11 50.04 10.61 1000000 0 514.42/514.60 c 377 486 530.08 49.98 10.61 1000000 0 515.92/516.15 c 387 478 534.06 51.58 10.35 1000000 0 517.52/517.70 c 377 559 538.07 50.24 10.71 1000000 0 519.03/519.24 c 371 490 523.88 52.09 10.06 1000000 0 520.52/520.78 c 385 598 523.84 50.30 10.41 1000000 0 522.12/522.32 c 362 547 525.62 48.41 10.86 1000000 0 523.62/523.85 c 354 528 528.43 53.27 9.92 1000000 0 525.12/525.39 c 391 511 529.74 50.73 10.44 1000000 0 526.73/526.92 c 380 551 531.67 50.30 10.57 1000000 0 528.22/528.46 c 404 635 537.74 57.48 9.35 1000000 0 529.82/530.01 c 376 431 518.08 51.36 10.09 1000000 0 531.32/531.55 c 372 542 535.42 50.84 10.53 1000000 0 532.82/533.09 c 366 465 530.49 52.90 10.03 1000000 0 534.43/534.62 c 377 533 531.22 47.11 11.28 1000000 0 535.92/536.17 c 390 560 537.77 51.60 10.42 1000000 0 537.52/537.72 c 379 603 538.07 56.74 9.48 1000000 0 539.02/539.25 c 369 519 518.00 46.50 11.14 1000000 0 540.51/540.80 c 381 636 535.57 51.72 10.35 1000000 0 542.12/542.34 c 360 467 529.26 53.04 9.98 1000000 0 543.61/543.88 c 367 493 528.61 47.74 11.07 1000000 0 545.21/545.42 c 382 533 532.61 48.22 11.05 1000000 0 546.71/546.96 c 396 648 538.67 50.22 10.73 1000000 0 548.31/548.50 c 384 499 536.45 49.73 10.79 1000000 0 549.82/550.03 c 357 528 526.33 50.82 10.36 1000000 0 551.31/551.57 c 403 535 530.93 54.41 9.76 1000000 0 552.91/553.11 c 394 519 536.53 57.07 9.40 1000000 0 554.41/554.65 c 373 531 531.07 52.58 10.10 1000000 0 555.91/556.19 c 380 518 529.18 51.66 10.24 1000000 0 557.52/557.73 c 382 564 532.02 49.77 10.69 1000000 0 559.01/559.28 c 379 539 533.18 46.93 11.36 1000000 0 560.61/560.82 c 391 525 534.09 52.15 10.24 1000000 0 562.11/562.36 c 367 473 533.34 57.84 9.22 1000000 0 563.71/563.90 c 377 511 533.82 57.60 9.27 1000000 0 565.21/565.45 c 350 549 536.84 48.10 11.16 1000000 0 566.80/567.01 c 385 568 533.93 50.06 10.67 1000000 0 568.30/568.55 c 394 517 540.57 48.60 11.12 1000000 0 569.80/570.08 c 351 550 528.36 53.77 9.83 1000000 0 571.40/571.62 c 368 501 524.84 50.01 10.49 1000000 0 572.91/573.16 c 384 497 530.76 53.17 9.98 1000000 0 574.50/574.70 c 370 465 524.06 54.90 9.55 1000000 0 576.00/576.24 c 396 497 534.97 50.72 10.55 1000000 0 577.50/577.79 c 398 529 537.71 51.95 10.35 1000000 0 579.10/579.33 c 391 547 535.39 52.29 10.24 1000000 0 580.61/580.87 c 350 521 530.85 51.42 10.32 1000000 0 582.20/582.41 c 395 486 537.07 54.14 9.92 1000000 0 583.70/583.95 c 398 500 532.05 51.79 10.27 1000000 0 585.20/585.50 c 385 435 535.69 48.17 11.12 1000000 0 586.80/587.04 c 369 619 528.11 49.40 10.69 1000000 0 588.30/588.58 c 375 546 526.75 50.82 10.36 1000000 0 589.90/590.12 c 384 464 533.30 53.70 9.93 1000000 0 591.39/591.65 c 391 501 526.04 46.53 11.31 1000000 0 592.89/593.19 c 377 484 531.13 49.02 10.84 1000000 0 594.49/594.74 c 381 512 530.64 49.76 10.66 1000000 0 596.00/596.28 c 398 577 530.87 45.96 11.55 1000000 0 597.59/597.82 c 392 526 526.94 48.56 10.85 1000000 0 599.09/599.36 c 353 508 526.77 58.33 9.03 1000000 0 600.69/600.90 c 359 500 523.44 51.06 10.25 1000000 0 602.19/602.45 c 388 540 540.69 49.20 10.99 1000000 0 603.70/603.99 c 373 543 529.66 52.00 10.18 1000000 0 605.29/605.54 c 351 507 536.29 55.38 9.68 1000000 0 606.79/607.07 c 386 513 525.87 47.10 11.16 1000000 0 608.39/608.61 c 380 439 521.85 45.01 11.59 1000000 0 609.89/610.15 c 392 457 528.86 45.69 11.57 1000000 0 611.40/611.67 c 380 571 529.55 46.11 11.48 1000000 0 612.99/613.21 c 345 555 527.04 58.43 9.02 1000000 0 614.49/614.75 c 359 550 530.91 50.30 10.56 1000000 0 615.98/616.29 c 378 552 529.24 59.18 8.94 1000000 0 617.58/617.84 c 373 565 531.88 53.65 9.91 1000000 0 619.09/619.38 c 376 636 530.13 49.65 10.68 1000000 0 620.68/620.92 c 394 468 538.20 46.19 11.65 1000000 0 622.18/622.46 c 386 522 528.74 51.54 10.26 1000000 0 623.78/624.00 c 388 562 533.12 47.73 11.17 1000000 0 625.28/625.54 c 376 519 530.57 53.28 9.96 1000000 0 626.79/627.09 c 357 486 541.27 57.68 9.38 1000000 0 628.38/628.64 c 354 421 528.23 51.85 10.19 1000000 0 629.88/630.17 c 397 525 525.88 46.46 11.32 1000000 0 631.48/631.72 c 371 604 537.88 48.97 10.98 1000000 0 632.98/633.26 c 380 483 529.41 50.31 10.52 1000000 0 634.58/634.81 c 388 555 544.50 48.23 11.29 1000000 0 636.08/636.34 c 388 537 523.91 50.21 10.43 1000000 0 637.58/637.88 c 380 567 535.58 54.86 9.76 1000000 0 639.18/639.43 c 395 578 534.36 54.26 9.85 1000000 0 640.67/640.96 c 391 531 530.38 48.03 11.04 1000000 0 642.27/642.50 c 352 529 538.36 49.81 10.81 1000000 0 643.77/644.04 c 393 482 530.52 51.77 10.25 1000000 0 645.27/645.58 c 363 561 528.81 45.04 11.74 1000000 0 646.87/647.12 c 394 519 538.93 53.93 9.99 1000000 0 648.37/648.66 c 365 533 537.57 49.86 10.78 1000000 0 649.97/650.20 c 361 556 531.60 51.20 10.38 1000000 0 651.47/651.73 c 384 519 526.68 52.75 9.98 1000000 0 652.97/653.26 c 396 546 532.64 48.47 10.99 1000000 0 654.57/654.80 c 356 525 511.70 50.13 10.21 1000000 0 656.07/656.35 c 381 391 530.36 49.49 10.72 1000000 0 657.58/657.89 c 391 459 528.20 47.40 11.14 1000000 0 659.17/659.43 c 391 522 532.79 47.81 11.14 1000000 0 660.67/660.98 c 402 495 531.32 46.90 11.33 1000000 0 662.27/662.53 c 385 478 533.33 52.48 10.16 1000000 0 663.77/664.07 c 379 538 534.12 56.65 9.43 1000000 0 665.37/665.62 c 377 409 531.31 57.35 9.26 1000000 0 666.86/667.16 c 335 564 529.34 47.14 11.23 1000000 0 668.36/668.70 c 384 593 541.62 53.10 10.20 1000000 0 669.96/670.24 c 367 554 546.02 56.39 9.68 1000000 0 671.46/671.77 c 368 624 532.77 57.46 9.27 1000000 0 673.06/673.31 c 335 546 528.14 51.94 10.17 1000000 0 674.56/674.85 c 376 604 538.52 52.39 10.28 1000000 0 676.06/676.40 c 355 524 529.35 50.04 10.58 1000000 0 677.66/677.94 c 370 516 528.11 56.96 9.27 1000000 0 679.16/679.48 c 385 500 532.89 50.66 10.52 1000000 0 680.76/681.01 c 357 489 516.69 50.43 10.25 1000000 0 682.26/682.55 c 375 610 537.97 52.53 10.24 1000000 0 683.76/684.10 c 356 605 536.72 54.99 9.76 1000000 0 685.36/685.63 c 380 487 528.47 55.93 9.45 1000000 0 686.86/687.17 c 370 514 527.81 57.90 9.12 1000000 0 688.46/688.72 c 383 473 529.23 51.89 10.20 1000000 0 689.96/690.24 c 373 536 525.89 49.80 10.56 1000000 0 691.46/691.79 c 371 470 525.72 51.33 10.24 1000000 0 693.06/693.33 c 375 505 532.58 53.66 9.92 1000000 0 694.56/694.88 c 386 522 534.01 52.27 10.22 1000000 0 696.16/696.42 c 359 569 519.00 48.72 10.65 1000000 0 697.65/697.97 c 371 437 524.58 55.26 9.49 1000000 0 699.26/699.51 c 371 483 526.63 48.54 10.85 1000000 0 700.75/701.05 c 367 607 531.70 57.26 9.28 1000000 0 702.25/702.59 c 394 600 537.83 49.26 10.92 1000000 0 703.85/704.13 c 368 483 533.04 54.90 9.71 1000000 0 705.35/705.67 c 384 537 522.05 48.50 10.76 1000000 0 706.96/707.21 c 390 530 527.86 54.93 9.61 1000000 0 708.45/708.75 c 391 469 532.59 49.22 10.82 1000000 0 709.95/710.29 c 392 539 532.46 49.90 10.67 1000000 0 711.55/711.83 c 368 539 521.57 47.86 10.90 1000000 0 713.05/713.37 c 387 513 535.19 48.66 11.00 1000000 0 714.66/714.91 c 378 518 544.33 56.34 9.66 1000000 0 716.15/716.45 c 337 512 518.67 52.60 9.86 1000000 0 717.65/717.99 c 376 538 527.58 49.22 10.72 1000000 0 719.25/719.53 c 386 573 541.76 52.39 10.34 1000000 0 720.75/721.06 c 352 517 522.67 49.34 10.59 1000000 0 722.35/722.61 c 376 520 527.89 50.17 10.52 1000000 0 723.85/724.14 c 386 539 528.50 49.74 10.62 1000000 0 725.35/725.69 c 372 620 533.04 53.52 9.96 1000000 0 726.95/727.22 c 371 444 530.50 49.25 10.77 1000000 0 728.45/728.77 c 331 478 534.04 51.97 10.28 1000000 0 730.05/730.31 c 390 427 538.77 47.28 11.40 1000000 0 731.55/731.85 c 379 504 530.94 47.31 11.22 1000000 0 733.05/733.39 c 395 551 528.31 46.31 11.41 1000000 0 734.64/734.93 c 374 498 537.87 59.10 9.10 1000000 0 736.14/736.48 c 373 538 526.72 55.28 9.53 1000000 0 737.75/738.02 c 377 567 534.24 48.85 10.94 1000000 0 739.24/739.56 c 357 598 530.21 59.97 8.84 1000000 0 740.74/741.10 c 374 553 522.04 55.39 9.42 1000000 0 742.34/742.63 c 366 501 537.03 52.51 10.23 1000000 0 743.84/744.16 c 383 452 532.91 46.68 11.42 1000000 0 745.34/745.70 c 373 495 529.60 52.12 10.16 1000000 0 746.94/747.24 c 367 546 531.29 57.36 9.26 1000000 0 748.44/748.78 c 380 425 523.83 52.16 10.04 1000000 0 750.04/750.31 c 385 502 537.90 48.94 10.99 1000000 0 751.54/751.85 c 355 501 528.20 47.14 11.21 1000000 0 753.04/753.39 c 353 525 519.61 52.59 9.88 1000000 0 754.64/754.94 c 352 562 530.69 52.95 10.02 1000000 0 756.14/756.47 c 380 544 527.85 48.42 10.90 1000000 0 757.74/758.01 c 355 477 522.38 60.73 8.60 1000000 0 759.24/759.54 c 383 616 520.76 47.94 10.86 1000000 0 760.74/761.08 c 386 544 530.28 44.98 11.79 1000000 0 762.34/762.62 c 384 585 538.86 52.13 10.34 1000000 0 763.83/764.16 c 387 504 522.83 48.19 10.85 1000000 0 765.34/765.69 c 373 592 529.89 55.46 9.55 1000000 0 766.93/767.24 c 359 583 525.44 53.33 9.85 1000000 0 768.44/768.78 c 376 550 530.06 50.90 10.41 1000000 0 770.03/770.32 c 384 478 518.86 46.94 11.05 1000000 0 771.53/771.85 c 366 520 517.60 54.69 9.46 1000000 0 773.04/773.39 c 368 568 531.36 52.77 10.07 1000000 0 774.63/774.93 c 377 530 531.73 55.37 9.60 1000000 0 776.13/776.47 c 379 463 536.24 52.98 10.12 1000000 0 777.73/778.00 c 377 584 534.84 55.51 9.64 1000000 0 779.23/779.55 c 370 557 528.30 52.57 10.05 1000000 0 780.73/781.09 c 392 616 534.45 46.20 11.57 1000000 0 782.33/782.63 c 368 537 526.72 50.42 10.45 1000000 0 783.83/784.17 c 343 493 522.31 44.08 11.85 1000000 0 785.43/785.72 c 398 485 538.90 53.50 10.07 1000000 0 786.93/787.26 c 346 480 519.44 50.78 10.23 1000000 0 788.53/788.80 c 367 485 543.51 55.77 9.75 1000000 0 790.02/790.35 c 371 553 523.33 49.84 10.50 1000000 0 791.52/791.89 c 393 499 534.29 58.18 9.18 1000000 0 793.12/793.43 c 363 559 531.51 50.77 10.47 1000000 0 794.62/794.97 c 338 443 523.32 61.03 8.58 1000000 0 796.22/796.52 c 367 481 535.01 52.37 10.22 1000000 0 797.72/798.06 c 354 486 530.27 58.17 9.12 1000000 0 799.22/799.60 c 368 509 519.56 52.36 9.92 1000000 0 800.82/801.14 c 351 556 529.90 50.85 10.42 1000000 0 802.32/802.67 c 370 520 532.68 59.14 9.01 1000000 0 803.92/804.21 c 391 493 529.15 46.66 11.34 1000000 0 805.42/805.74 c 357 545 533.69 47.73 11.18 1000000 0 806.92/807.29 c 398 551 535.21 47.57 11.25 1000000 0 808.52/808.83 c 363 543 537.80 53.63 10.03 1000000 0 810.02/810.37 c 389 605 537.00 50.31 10.67 1000000 0 811.62/811.90 c 398 523 537.66 47.40 11.34 1000000 0 813.12/813.44 c 390 500 534.96 53.30 10.04 1000000 0 814.62/814.98 c 343 534 530.64 51.52 10.30 1000000 0 816.22/816.51 c 373 600 524.47 51.80 10.12 1000000 0 817.72/818.06 c 341 506 525.60 54.05 9.72 1000000 0 819.22/819.59 c 352 579 518.97 54.81 9.47 1000000 0 820.82/821.13 c 354 515 531.51 50.92 10.44 1000000 0 822.31/822.68 c 362 510 530.29 54.64 9.71 1000000 0 823.91/824.22 c 387 490 527.75 51.22 10.30 1000000 0 825.41/825.76 c 383 587 531.04 54.75 9.70 1000000 0 827.01/827.31 c 377 512 527.18 52.36 10.07 1000000 0 828.51/828.85 c 402 601 536.30 49.84 10.76 1000000 0 830.01/830.39 c 399 513 533.05 48.66 10.96 1000000 0 831.61/831.92 c 373 435 524.02 47.17 11.11 1000000 0 833.11/833.46 c 367 548 526.95 54.77 9.62 1000000 0 834.71/835.01 c 389 536 534.28 54.61 9.78 1000000 0 836.21/836.55 c 395 575 541.02 56.60 9.56 1000000 0 837.71/838.09 c 380 555 534.72 49.62 10.78 1000000 0 839.31/839.64 c 369 506 536.50 50.71 10.58 1000000 0 840.81/841.18 c 375 451 523.00 48.36 10.82 1000000 0 842.41/842.72 c 388 518 531.84 54.70 9.72 1000000 0 843.91/844.26 c 370 545 522.95 47.06 11.11 1000000 0 845.41/845.80 c 361 508 531.62 59.12 8.99 1000000 0 847.01/847.34 c 382 535 532.26 57.43 9.27 1000000 0 848.51/848.87 c 356 584 528.15 51.38 10.28 1000000 0 850.11/850.40 c 391 417 539.21 46.99 11.47 1000000 0 851.61/851.95 c 393 540 527.53 52.23 10.10 1000000 0 853.11/853.48 c 360 413 525.61 57.26 9.18 1000000 0 854.71/855.02 c 386 479 532.23 49.25 10.81 1000000 0 856.20/856.56 c 353 704 534.90 54.84 9.75 1000000 0 857.80/858.10 c 380 545 531.22 54.68 9.72 1000000 0 859.30/859.64 c 312 648 526.36 49.23 10.69 1000000 0 860.80/861.18 c 388 583 538.96 51.53 10.46 1000000 0 862.40/862.72 c 399 526 535.70 47.81 11.21 1000000 0 863.90/864.26 c 372 436 525.89 52.53 10.01 1000000 0 865.50/865.80 c 383 549 527.17 47.36 11.13 1000000 0 867.00/867.34 c 382 479 536.08 50.83 10.55 1000000 0 868.50/868.88 c 377 506 521.27 43.42 12.01 1000000 0 870.10/870.42 c 370 495 532.32 52.27 10.18 1000000 0 871.60/871.95 c 388 507 525.03 49.29 10.65 1000000 0 873.11/873.49 c 374 589 525.95 46.46 11.32 1000000 0 874.70/875.03 c 360 542 535.04 62.92 8.50 1000000 0 876.20/876.58 c 384 559 528.04 54.07 9.77 1000000 0 877.80/878.12 c 385 494 525.49 52.15 10.08 1000000 0 879.30/879.66 c 372 621 529.11 61.59 8.59 1000000 0 880.90/881.20 c 369 525 536.23 53.84 9.96 1000000 0 882.40/882.74 c 390 492 528.44 47.49 11.13 1000000 0 883.90/884.28 c 369 592 524.78 44.45 11.81 1000000 0 885.50/885.82 c 391 484 531.93 48.76 10.91 1000000 0 887.00/887.36 c 328 468 529.37 61.43 8.62 1000000 0 888.50/888.89 c 369 616 535.09 53.43 10.02 1000000 0 890.09/890.43 c 355 523 539.63 50.05 10.78 1000000 0 891.59/891.98 c 363 539 530.44 47.97 11.06 1000000 0 893.19/893.51 c 376 551 536.78 53.55 10.02 1000000 0 894.69/895.05 c 392 599 533.67 51.41 10.38 1000000 0 896.20/896.59 c 380 508 528.76 55.38 9.55 1000000 0 897.79/898.13 c 383 464 528.69 45.81 11.54 1000000 0 899.29/899.68 c 388 503 539.91 56.20 9.61 1000000 0 900.89/901.22 c 348 572 518.85 50.10 10.36 1000000 0 902.39/902.76 c 342 561 533.83 51.41 10.38 1000000 0 903.99/904.31 c 393 629 540.60 53.36 10.13 1000000 0 905.49/905.85 c 407 520 536.04 52.42 10.23 1000000 0 906.99/907.39 c 364 431 525.64 57.17 9.19 1000000 0 908.59/908.94 c 340 485 531.04 55.14 9.63 1000000 0 910.09/910.47 c 373 501 528.14 54.70 9.66 1000000 0 911.69/912.02 c 381 528 532.77 55.36 9.62 1000000 0 913.19/913.56 c 358 530 531.34 50.55 10.51 1000000 0 914.69/915.10 c 376 561 532.62 48.94 10.88 1000000 0 916.29/916.64 c 385 546 528.75 47.27 11.19 1000000 0 917.79/918.18 c 385 553 538.87 54.22 9.94 1000000 0 919.39/919.72 c 371 548 513.11 47.05 10.91 1000000 0 920.89/921.26 c 384 576 534.56 47.46 11.26 1000000 0 922.49/922.80 c 383 535 529.91 53.19 9.96 1000000 0 923.98/924.34 c 341 489 523.45 53.73 9.74 1000000 0 925.48/925.88 c 337 529 532.54 52.62 10.12 1000000 0 927.08/927.42 c 351 588 536.85 54.92 9.78 1000000 0 928.58/928.96 c 377 498 532.26 50.02 10.64 1000000 0 930.19/930.51 c 364 569 533.25 51.02 10.45 1000000 0 931.68/932.04 c 345 563 542.66 53.64 10.12 1000000 0 933.18/933.58 c 388 549 538.49 49.50 10.88 1000000 0 934.78/935.13 c 395 479 533.31 49.09 10.86 1000000 0 936.28/936.67 c 373 477 533.43 51.09 10.44 1000000 0 937.89/938.21 c 374 453 532.23 47.39 11.23 1000000 0 939.38/939.76 c 382 595 536.15 52.87 10.14 1000000 0 940.88/941.29 c 393 535 532.53 54.90 9.70 1000000 0 942.48/942.84 c 379 616 531.93 56.28 9.45 1000000 0 943.98/944.38 c 380 524 535.51 52.62 10.18 1000000 0 945.59/945.92 c 369 469 524.12 49.77 10.53 1000000 0 947.08/947.47 c 386 460 524.54 48.45 10.83 1000000 0 948.68/949.00 c 390 441 517.09 44.19 11.70 1000000 0 950.18/950.54 c 372 483 529.55 49.14 10.78 1000000 0 951.68/952.08 c 355 528 532.00 52.70 10.09 1000000 0 953.28/953.61 c 361 491 526.89 50.16 10.50 1000000 0 954.78/955.15 c 396 619 532.43 45.08 11.81 1000000 0 956.28/956.69 c 386 505 531.16 48.03 11.06 1000000 0 957.87/958.23 c 374 479 531.30 47.79 11.12 1000000 0 959.37/959.77 c 376 551 530.22 52.93 10.02 1000000 0 960.98/961.31 c 366 491 520.46 60.55 8.60 1000000 0 962.47/962.86 c 345 536 528.40 53.78 9.83 1000000 0 964.07/964.40 c 377 569 530.84 50.44 10.52 1000000 0 965.57/965.95 c 375 461 535.52 53.78 9.96 1000000 0 967.07/967.49 c 381 508 531.70 51.67 10.29 1000000 0 968.68/969.03 c 382 482 522.01 53.76 9.71 1000000 0 970.17/970.56 c 386 565 532.40 50.95 10.45 1000000 0 971.77/972.10 c 374 474 533.85 54.47 9.80 1000000 0 973.27/973.63 c 368 392 534.34 50.36 10.61 1000000 0 974.77/975.17 c 380 525 541.92 54.51 9.94 1000000 0 976.38/976.71 c 384 459 541.95 59.49 9.11 1000000 0 977.87/978.25 c 379 543 529.94 50.60 10.47 1000000 0 979.37/979.78 c 378 459 522.22 51.55 10.13 1000000 0 980.97/981.33 c 367 481 525.39 48.44 10.85 1000000 0 982.47/982.86 c 324 487 525.18 46.19 11.37 1000000 0 983.97/984.40 c 374 522 527.45 48.58 10.86 1000000 0 985.57/985.93 c 351 579 529.91 50.25 10.55 1000000 0 987.06/987.47 c 352 535 526.12 58.30 9.02 1000000 0 988.67/989.01 c 374 480 529.64 45.88 11.54 1000000 0 990.17/990.55 c 357 445 532.73 51.62 10.32 1000000 0 991.66/992.09 c 385 548 533.18 54.89 9.71 1000000 0 993.26/993.63 c 377 553 526.06 46.61 11.29 1000000 0 994.76/995.16 c 364 542 536.05 55.14 9.72 1000000 0 996.36/996.71 c 366 547 531.21 50.14 10.59 1000000 0 997.86/998.24 c 391 555 535.22 49.03 10.92 1000000 0 999.36/999.79 c 374 485 528.50 50.76 10.41 1000000 0 1000.96/1001.32 c 377 572 532.37 52.74 10.09 1000000 0 1002.46/1002.86 c 391 503 539.69 51.25 10.53 1000000 0 1004.06/1004.40 c 335 532 520.27 50.24 10.36 1000000 0 1005.56/1005.95 c 399 482 536.14 49.63 10.80 1000000 0 1007.06/1007.48 c 369 513 525.70 47.25 11.13 1000000 0 1008.66/1009.02 c 329 537 532.15 58.41 9.11 1000000 0 1010.16/1010.56 c 366 544 525.27 48.32 10.87 1000000 0 1011.76/1012.10 c 357 520 526.24 53.71 9.80 1000000 0 1013.26/1013.64 c 350 531 520.73 53.81 9.68 1000000 0 1014.76/1015.19 c 381 499 537.20 55.54 9.67 1000000 0 1016.36/1016.72 c 379 556 526.06 50.20 10.48 1000000 0 1017.86/1018.27 c 371 460 528.64 52.93 9.99 1000000 0 1019.46/1019.81 c 380 521 526.01 49.84 10.55 1000000 0 1020.96/1021.36 c 376 496 535.74 50.90 10.52 1000000 0 1022.46/1022.90 c 364 492 524.73 48.41 10.84 1000000 0 1024.06/1024.43 c 383 522 529.66 47.61 11.13 1000000 0 1025.56/1025.97 c 370 502 522.65 51.59 10.13 1000000 0 1027.16/1027.51 c 357 588 535.64 57.08 9.38 1000000 0 1028.66/1029.04 c 371 534 524.00 53.39 9.81 1000000 0 1030.16/1030.58 c 379 504 539.51 48.81 11.05 1000000 0 1031.76/1032.12 c 382 451 524.94 58.01 9.05 1000000 0 1033.25/1033.65 c 382 487 530.44 51.83 10.23 1000000 0 1034.85/1035.20 c 401 508 536.79 48.09 11.16 1000000 0 1036.35/1036.73 c 383 478 523.46 50.56 10.35 1000000 0 1037.85/1038.27 c 392 596 536.17 49.15 10.91 1000000 0 1039.45/1039.81 c 392 430 528.58 49.49 10.68 1000000 0 1040.95/1041.35 c 367 649 533.56 55.17 9.67 1000000 0 1042.46/1042.89 c 339 488 519.91 48.91 10.63 1000000 0 1044.05/1044.43 c 383 507 531.40 50.61 10.50 1000000 0 1045.55/1045.98 c 387 481 532.41 47.56 11.20 1000000 0 1047.15/1047.52 c 343 534 525.44 50.08 10.49 1000000 0 1048.65/1049.05 c 373 512 535.70 50.29 10.65 1000000 0 1050.16/1050.59 c 383 562 532.51 50.65 10.51 1000000 0 1051.75/1052.14 c 391 515 541.40 50.61 10.70 1000000 0 1053.25/1053.67 c 363 510 521.94 54.32 9.61 1000000 0 1054.85/1055.21 c 374 563 531.51 53.92 9.86 1000000 0 1056.35/1056.75 c 374 513 534.82 52.42 10.20 1000000 0 1057.86/1058.29 c 391 571 525.89 47.49 11.07 1000000 0 1059.45/1059.84 c 379 548 539.64 50.66 10.65 1000000 0 1060.94/1061.38 c 364 586 542.87 61.94 8.76 1000000 0 1062.54/1062.93 c 382 467 540.29 50.39 10.72 1000000 0 1064.04/1064.47 c 372 503 536.80 49.07 10.94 1000000 0 1065.64/1066.00 c 391 595 534.55 47.49 11.26 1000000 0 1067.14/1067.55 c 391 570 529.32 52.14 10.15 1000000 0 1068.64/1069.09 c 358 543 524.65 51.51 10.18 1000000 0 1070.24/1070.63 c 366 575 536.90 54.03 9.94 1000000 0 1071.74/1072.17 c 354 495 524.44 51.73 10.14 1000000 0 1073.34/1073.71 c 362 504 519.65 51.94 10.00 1000000 0 1074.84/1075.25 c 394 513 537.58 45.00 11.95 1000000 0 1076.34/1076.79 c 375 518 525.35 47.18 11.13 1000000 0 1077.94/1078.33 c 387 530 530.26 52.23 10.15 1000000 0 1079.44/1079.85 c 377 557 529.81 51.09 10.37 1000000 0 1080.95/1081.39 c 393 484 524.44 50.91 10.30 1000000 0 1082.54/1082.94 c 376 533 521.88 53.60 9.74 1000000 0 1084.04/1084.47 c 381 549 531.78 55.72 9.54 1000000 0 1085.64/1086.01 c 378 569 530.66 47.98 11.06 1000000 0 1087.14/1087.55 c 392 513 531.11 44.51 11.93 1000000 0 1088.64/1089.09 c 356 480 532.82 53.31 10.00 1000000 0 1090.24/1090.63 c 378 607 523.01 52.73 9.92 1000000 0 1091.74/1092.16 c 381 588 526.52 46.64 11.29 1000000 0 1093.34/1093.70 c 374 532 527.58 50.95 10.35 1000000 0 1094.83/1095.24 c 368 494 528.45 49.52 10.67 1000000 0 1096.34/1096.78 c 397 553 535.25 54.58 9.81 1000000 0 1097.93/1098.33 c 378 508 540.91 52.13 10.38 1000000 0 1099.43/1099.86 c 376 552 529.16 47.83 11.06 1000000 0 1101.03/1101.40 c 379 602 523.54 53.92 9.71 1000000 0 1102.53/1102.94 c 342 537 531.14 53.12 10.00 1000000 0 1104.04/1104.48 c 374 536 523.57 49.29 10.62 1000000 0 1105.63/1106.02 c 378 459 535.52 49.34 10.85 1000000 0 1107.13/1107.56 c 380 492 532.09 53.89 9.87 1000000 0 1108.63/1109.09 c 403 534 532.20 52.77 10.09 1000000 0 1110.23/1110.64 c 348 573 528.67 54.28 9.74 1000000 0 1111.74/1112.18 c 357 500 526.57 48.32 10.90 1000000 0 1113.33/1113.71 c 374 574 532.36 47.13 11.30 1000000 0 1114.83/1115.25 c 388 506 525.18 54.35 9.66 1000000 0 1116.33/1116.78 c 349 490 523.00 55.04 9.50 1000000 0 1117.93/1118.33 c 367 585 534.05 59.59 8.96 1000000 0 1119.44/1119.87 c 344 584 530.78 53.18 9.98 1000000 0 1121.03/1121.40 c 376 433 533.40 51.98 10.26 1000000 0 1122.53/1122.94 c 387 568 528.15 52.50 10.06 1000000 0 1124.03/1124.48 c 362 523 527.06 52.11 10.12 1000000 0 1125.63/1126.02 c 398 611 531.25 52.18 10.18 1000000 0 1127.13/1127.56 c 371 533 523.31 50.77 10.31 1000000 0 1128.72/1129.10 c 362 491 527.00 55.41 9.51 1000000 0 1130.22/1130.64 c 390 556 536.84 54.17 9.91 1000000 0 1131.72/1132.18 c 384 573 530.50 45.24 11.73 1000000 0 1133.32/1133.72 c 361 629 540.65 55.81 9.69 1000000 0 1134.83/1135.26 c 375 580 535.32 69.13 7.74 1000000 0 1136.32/1136.79 c 389 471 528.05 49.94 10.57 1000000 0 1137.92/1138.33 c 381 489 526.26 50.26 10.47 1000000 0 1139.42/1139.87 c 361 538 521.50 52.77 9.88 1000000 0 1141.02/1141.41 c 380 587 531.49 50.37 10.55 1000000 0 1142.53/1142.95 c 361 575 527.91 49.05 10.76 1000000 0 1144.02/1144.49 c 370 489 528.46 53.29 9.92 1000000 0 1145.62/1146.03 c 363 472 532.03 53.10 10.02 1000000 0 1147.12/1147.57 c 352 487 524.54 47.73 10.99 1000000 0 1148.72/1149.10 c 358 499 528.31 48.56 10.88 1000000 0 1150.22/1150.64 c 388 491 528.57 46.76 11.30 1000000 0 1151.72/1152.18 c 394 546 541.11 58.25 9.29 1000000 0 1153.32/1153.72 c 381 509 524.06 44.59 11.75 1000000 0 1154.81/1155.26 c 387 460 540.98 50.53 10.71 1000000 0 1156.41/1156.80 c 387 557 536.24 54.30 9.87 1000000 0 1157.92/1158.34 c 382 621 532.84 48.05 11.09 1000000 0 1159.41/1159.88 c 392 546 530.28 50.12 10.58 1000000 0 1161.01/1161.42 c 385 568 538.95 50.84 10.60 1000000 0 1162.51/1162.96 c 383 553 520.31 50.08 10.39 1000000 0 1164.11/1164.51 c 394 509 536.19 50.73 10.57 1000000 0 1165.62/1166.05 c 362 541 523.20 57.90 9.04 1000000 0 1167.11/1167.59 c 394 539 534.76 51.64 10.36 1000000 0 1168.71/1169.13 c 385 537 534.02 45.34 11.78 1000000 0 1170.21/1170.68 c 393 485 534.70 62.02 8.62 1000000 0 1171.81/1172.22 c 376 514 526.63 55.39 9.51 1000000 0 1173.32/1173.76 c 354 501 524.74 52.32 10.03 1000000 0 1174.91/1175.30 c 373 605 530.53 50.41 10.52 1000000 0 1176.41/1176.84 c 390 479 529.98 52.43 10.11 1000000 0 1177.91/1178.38 c 362 605 524.28 54.70 9.58 1000000 0 1179.51/1179.92 c 393 450 524.56 53.70 9.77 1000000 0 1181.01/1181.46 c 394 538 536.75 51.99 10.32 1000000 0 1182.61/1183.00 c 346 599 531.03 48.98 10.84 1000000 0 1184.11/1184.53 c 336 534 530.98 46.89 11.32 1000000 0 1185.61/1186.07 c 354 522 530.76 55.52 9.56 1000000 0 1187.21/1187.62 c 363 546 537.43 48.85 11.00 1000000 0 1188.71/1189.16 c 367 560 526.39 46.34 11.36 1000000 0 1190.31/1190.70 c 385 589 527.38 50.33 10.48 1000000 0 1191.80/1192.24 c 381 493 525.89 46.88 11.22 1000000 0 1193.30/1193.78 c 381 418 525.58 55.43 9.48 1000000 0 1194.90/1195.32 c 380 527 522.68 46.80 11.17 1000000 0 1196.41/1196.86 c 380 522 541.29 64.12 8.44 1000000 0 1197.90/1198.39 c 383 535 532.26 50.72 10.49 1000000 0 1199.50/1199.93 c 352 521 528.91 53.53 9.88 1000000 0 1201.00/1201.47 c 391 525 537.70 58.00 9.27 1000000 0 1202.60/1203.01 c 405 472 533.04 50.94 10.46 1000000 0 1204.11/1204.56 c 380 510 513.88 47.07 10.92 1000000 0 1205.70/1206.11 c 372 596 536.03 48.69 11.01 1000000 0 1207.20/1207.66 c 361 548 526.47 50.95 10.33 1000000 0 1208.80/1209.20 c 382 493 535.80 47.28 11.33 1000000 0 1210.30/1210.74 c 369 559 533.23 52.06 10.24 1000000 0 1211.81/1212.28 c 391 554 532.19 51.84 10.27 1000000 0 1213.40/1213.83 c 375 547 539.20 52.81 10.21 1000000 0 1214.90/1215.37 c 353 526 529.27 56.15 9.43 1000000 0 1216.50/1216.91 c 348 467 532.75 56.93 9.36 1000000 0 1218.00/1218.45 c 371 502 534.33 51.97 10.28 1000000 0 1219.50/1220.00 c 389 540 530.10 52.72 10.06 1000000 0 1221.10/1221.54 c 375 429 531.72 50.49 10.53 1000000 0 1222.60/1223.08 c 355 572 528.32 47.75 11.06 1000000 0 1224.19/1224.62 c 387 519 532.94 50.06 10.65 1000000 0 1225.69/1226.16 c 352 560 535.21 53.61 9.98 1000000 0 1227.29/1227.71 c 405 479 531.94 48.82 10.90 1000000 0 1228.79/1229.25 c 373 449 523.96 47.33 11.07 1000000 0 1230.29/1230.79 c 372 601 527.13 50.83 10.37 1000000 0 1231.89/1232.32 c 368 495 521.22 48.29 10.79 1000000 0 1233.39/1233.86 c 386 549 532.81 46.30 11.51 1000000 0 1234.90/1235.39 c 361 524 535.57 48.60 11.02 1000000 0 1236.49/1236.93 c 360 586 524.56 50.27 10.43 1000000 0 1237.99/1238.47 c 363 583 530.45 52.63 10.08 1000000 0 1239.59/1240.01 c 366 701 538.68 54.17 9.94 1000000 0 1241.09/1241.55 c 362 566 532.81 53.81 9.90 1000000 0 1242.60/1243.09 c 367 496 528.02 55.04 9.59 1000000 0 1244.19/1244.63 c 390 635 535.90 49.47 10.83 1000000 0 1245.69/1246.16 c 374 564 540.53 63.06 8.57 1000000 0 1247.29/1247.70 c 381 476 540.54 55.62 9.72 1000000 0 1248.79/1249.24 c 393 554 534.12 49.15 10.87 1000000 0 1250.30/1250.79 c 385 560 525.32 49.43 10.63 1000000 0 1251.89/1252.32 c 374 513 527.03 54.83 9.61 1000000 0 1253.39/1253.87 c 382 574 527.58 58.96 8.95 1000000 0 1254.99/1255.41 c 357 545 526.37 50.74 10.37 1000000 0 1256.49/1256.95 c 389 484 531.55 50.05 10.62 1000000 0 1257.99/1258.49 c 378 480 531.14 53.44 9.94 1000000 0 1259.59/1260.03 c 362 488 530.88 55.01 9.65 1000000 0 1261.09/1261.58 c 383 504 534.68 51.34 10.41 1000000 0 1262.69/1263.12 c 384 558 536.08 46.88 11.44 1000000 0 1264.19/1264.66 c 370 524 533.87 50.64 10.54 1000000 0 1265.78/1266.21 c 381 511 532.46 52.88 10.07 1000000 0 1267.28/1267.75 c 366 538 530.21 52.48 10.10 1000000 0 1268.78/1269.28 c 382 560 523.70 48.59 10.78 1000000 0 1270.38/1270.82 c 369 638 536.18 50.00 10.72 1000000 0 1271.88/1272.36 c 388 546 526.54 49.48 10.64 1000000 0 1273.48/1273.90 c 378 482 535.07 51.93 10.30 1000000 0 1274.98/1275.44 c 372 458 535.36 49.02 10.92 1000000 0 1276.48/1276.99 c 355 558 523.00 48.63 10.76 1000000 0 1278.08/1278.53 c 357 515 526.61 53.91 9.77 1000000 0 1279.58/1280.07 c 350 628 541.81 54.76 9.89 1000000 0 1281.18/1281.60 c 358 579 528.85 55.27 9.57 1000000 0 1282.68/1283.15 c 376 546 531.88 51.77 10.27 1000000 0 1284.18/1284.69 c 373 540 527.60 59.26 8.90 1000000 0 1285.78/1286.23 c 332 473 536.94 44.34 12.11 1000000 0 1287.28/1287.77 c 363 531 537.77 52.78 10.19 1000000 0 1288.88/1289.32 c 370 566 525.00 47.91 10.96 1000000 0 1290.38/1290.86 c 339 574 532.80 51.82 10.28 1000000 0 1291.98/1292.41 c 377 502 540.97 52.48 10.31 1000000 0 1293.48/1293.95 c 392 566 527.88 49.31 10.70 1000000 0 1294.98/1295.49 c 360 513 538.76 51.20 10.52 1000000 0 1296.58/1297.02 c 352 585 526.00 58.52 8.99 1000000 0 1298.08/1298.58 c 366 559 534.57 56.17 9.52 1000000 0 1299.68/1300.12 c 376 512 525.31 50.89 10.32 1000000 0 1301.17/1301.66 c 366 619 532.17 55.23 9.64 1000000 0 1302.77/1303.21 c 364 481 524.35 53.25 9.85 1000000 0 1304.27/1304.76 c 362 545 528.47 63.32 8.35 1000000 0 1305.77/1306.29 c 358 545 538.88 62.87 8.57 1000000 0 1307.38/1307.83 c 384 513 533.51 56.56 9.43 1000000 0 1308.87/1309.37 c 386 471 528.45 54.21 9.75 1000000 0 1310.47/1310.91 c 386 497 523.60 50.56 10.36 1000000 0 1311.97/1312.45 c 386 549 525.74 51.66 10.18 1000000 0 1313.47/1313.98 c 371 490 527.82 49.45 10.67 1000000 0 1315.08/1315.52 c 382 533 532.31 49.58 10.74 1000000 0 1316.57/1317.06 c 375 482 529.29 56.70 9.33 1000000 0 1318.17/1318.61 c 400 493 530.46 46.59 11.39 1000000 0 1319.67/1320.15 c 377 573 537.57 54.17 9.92 1000000 0 1321.17/1321.69 c 403 597 538.03 49.97 10.77 1000000 0 1322.78/1323.23 c 360 517 529.25 51.00 10.38 1000000 0 1324.27/1324.78 c 384 512 531.03 51.35 10.34 1000000 0 1325.87/1326.31 c 371 513 526.53 48.11 10.94 1000000 0 1327.37/1327.85 c 386 428 532.27 46.19 11.52 1000000 0 1328.87/1329.39 c 382 564 537.13 49.86 10.77 1000000 0 1330.47/1330.93 c 388 512 536.04 48.43 11.07 1000000 0 1331.97/1332.47 c 355 561 519.34 58.74 8.84 1000000 0 1333.57/1334.00 c 396 530 537.47 52.07 10.32 1000000 0 1335.06/1335.54 c 349 573 517.69 48.89 10.59 1000000 0 1336.56/1337.08 c 370 593 533.23 53.68 9.93 1000000 0 1338.17/1338.63 c 378 486 532.95 53.88 9.89 1000000 0 1339.66/1340.17 c 354 529 528.04 46.91 11.26 1000000 0 1341.26/1341.71 c 377 523 540.56 56.98 9.49 1000000 0 1342.76/1343.25 c 394 554 538.32 56.56 9.52 1000000 0 1344.26/1344.79 c 402 517 533.53 45.71 11.67 1000000 0 1345.87/1346.33 c 387 511 532.71 58.65 9.08 1000000 0 1347.36/1347.87 c 366 507 526.30 51.00 10.32 1000000 0 1348.96/1349.41 c 367 582 532.88 54.25 9.82 1000000 0 1350.46/1350.94 c 375 510 531.40 50.87 10.45 1000000 0 1351.96/1352.49 c 390 551 536.22 45.13 11.88 1000000 0 1353.57/1354.02 c 351 575 518.01 49.18 10.53 1000000 0 1355.06/1355.57 c 369 512 526.61 54.32 9.69 1000000 0 1356.66/1357.11 c 396 482 535.76 48.73 10.99 1000000 0 1358.16/1358.65 c 381 477 533.97 49.00 10.90 1000000 0 1359.66/1360.19 c 399 538 535.66 48.33 11.08 1000000 0 1361.27/1361.74 c 359 522 527.66 53.72 9.82 1000000 0 1362.76/1363.27 c 383 565 528.21 50.95 10.37 1000000 0 1364.36/1364.81 c 362 514 516.37 48.47 10.65 1000000 0 1365.86/1366.34 c 378 700 545.29 53.58 10.18 1000000 0 1367.36/1367.89 c 368 482 534.12 55.27 9.66 1000000 0 1368.96/1369.43 c 362 509 526.79 50.95 10.34 1000000 0 1370.45/1370.97 c 385 503 535.26 52.99 10.10 1000000 0 1372.05/1372.52 c 361 587 528.51 48.39 10.92 1000000 0 1373.55/1374.06 c 349 588 537.15 51.31 10.47 1000000 0 1375.15/1375.60 c 359 607 534.10 50.90 10.49 1000000 0 1376.66/1377.15 c 397 564 527.08 45.40 11.61 1000000 0 1378.15/1378.69 c 360 539 532.62 50.43 10.56 1000000 0 1379.75/1380.23 c 381 531 530.14 54.12 9.80 1000000 0 1381.25/1381.76 c 386 643 527.62 53.76 9.81 1000000 0 1382.85/1383.30 c 385 536 521.95 50.61 10.31 1000000 0 1384.36/1384.83 c 337 458 541.46 53.42 10.14 1000000 0 1385.85/1386.37 c 377 573 526.46 52.01 10.12 1000000 0 1387.45/1387.92 c 362 465 530.81 49.51 10.72 1000000 0 1388.95/1389.46 c 369 535 532.37 50.43 10.56 1000000 0 1390.55/1391.00 c 375 602 530.79 51.03 10.40 1000000 0 1392.05/1392.55 c 383 467 533.01 47.24 11.28 1000000 0 1393.55/1394.08 c 361 526 534.29 50.29 10.62 1000000 0 1395.15/1395.63 c 377 537 525.37 56.34 9.32 1000000 0 1396.65/1397.17 c 379 566 531.29 56.32 9.43 1000000 0 1398.25/1398.71 c 387 497 537.92 55.41 9.71 1000000 0 1399.75/1400.26 c 395 505 528.95 47.25 11.19 1000000 0 1401.24/1401.79 c 371 556 535.04 54.44 9.83 1000000 0 1402.84/1403.33 c 382 584 527.57 45.82 11.51 1000000 0 1404.34/1404.87 c 365 509 518.51 49.88 10.40 1000000 0 1405.94/1406.41 c 352 546 523.11 57.02 9.17 1000000 0 1407.45/1407.95 c 369 573 534.67 54.26 9.85 1000000 0 1408.94/1409.48 c 383 520 525.06 49.47 10.61 1000000 0 1410.54/1411.02 c 402 604 546.06 51.02 10.70 1000000 0 1412.04/1412.56 c 373 447 527.84 48.00 11.00 1000000 0 1413.64/1414.10 c 374 457 527.35 56.95 9.26 1000000 0 1415.15/1415.64 c 373 434 533.43 55.72 9.57 1000000 0 1416.64/1417.18 c 370 544 530.36 51.66 10.27 1000000 0 1418.24/1418.72 c 393 576 532.56 51.93 10.26 1000000 0 1419.74/1420.27 c 351 498 521.75 46.83 11.14 1000000 0 1421.34/1421.81 c 377 469 530.90 54.11 9.81 1000000 0 1422.84/1423.35 c 373 548 527.32 48.47 10.88 1000000 0 1424.34/1424.89 c 388 451 539.00 47.66 11.31 1000000 0 1425.94/1426.43 c 367 547 524.24 48.36 10.84 1000000 0 1427.44/1427.97 c 368 476 522.56 54.61 9.57 1000000 0 1429.03/1429.51 c 386 529 525.38 49.90 10.53 1000000 0 1430.54/1431.05 c 379 512 535.29 55.68 9.61 1000000 0 1432.03/1432.59 c 388 506 531.33 54.74 9.71 1000000 0 1433.63/1434.14 c 365 573 536.29 53.04 10.11 1000000 0 1435.13/1435.68 c 373 575 533.08 48.61 10.97 1000000 0 1436.73/1437.23 c 388 508 535.22 54.99 9.73 1000000 0 1438.24/1438.77 c 379 583 528.69 46.82 11.29 1000000 0 1439.83/1440.31 c 357 514 531.87 51.00 10.43 1000000 0 1441.33/1441.85 c 398 482 529.30 50.62 10.46 1000000 0 1442.83/1443.39 c 398 570 542.10 53.44 10.14 1000000 0 1444.43/1444.93 c 382 553 520.15 55.03 9.45 1000000 0 1445.94/1446.46 c 395 520 535.86 54.76 9.79 1000000 0 1447.53/1448.00 c 382 567 524.72 53.47 9.81 1000000 0 1449.03/1449.54 c 359 514 523.10 49.77 10.51 1000000 0 1450.53/1451.08 c 377 467 529.50 55.10 9.61 1000000 0 1452.13/1452.63 c 361 513 536.03 51.85 10.34 1000000 0 1453.63/1454.17 c 365 526 522.97 49.15 10.64 1000000 0 1455.23/1455.72 c 362 517 522.52 51.86 10.07 1000000 0 1456.73/1457.25 c 388 516 535.13 54.56 9.81 1000000 0 1458.23/1458.79 c 365 564 520.99 50.00 10.42 1000000 0 1459.83/1460.33 c 382 498 534.97 54.38 9.84 1000000 0 1461.33/1461.88 c 378 480 527.35 51.30 10.28 1000000 0 1462.92/1463.42 c 376 549 526.56 54.98 9.58 1000000 0 1464.42/1464.96 c 369 538 536.32 51.83 10.35 1000000 0 1465.92/1466.49 c 367 573 527.84 47.83 11.03 1000000 0 1467.52/1468.04 c 366 538 539.47 56.17 9.60 1000000 0 1469.03/1469.58 c 364 568 529.54 51.79 10.22 1000000 0 1470.62/1471.12 c 395 530 537.70 48.71 11.04 1000000 0 1472.12/1472.66 c 380 541 526.92 54.51 9.67 1000000 0 1473.72/1474.20 c 376 442 531.73 47.68 11.15 1000000 0 1475.22/1475.74 c 394 591 534.56 49.34 10.84 1000000 0 1476.73/1477.28 c 374 590 537.43 57.53 9.34 1000000 0 1478.32/1478.82 c 353 575 531.10 55.66 9.54 1000000 0 1479.82/1480.36 c 353 563 529.82 55.74 9.51 1000000 0 1481.42/1481.90 c 389 517 534.36 52.71 10.14 1000000 0 1482.92/1483.45 c 387 619 540.86 48.69 11.11 1000000 0 1484.43/1484.98 c 381 599 533.63 53.03 10.06 1000000 0 1486.02/1486.52 c 352 557 534.49 54.57 9.79 1000000 0 1487.52/1488.06 c 393 528 534.23 53.44 10.00 1000000 0 1489.12/1489.61 c 355 589 534.41 51.28 10.42 1000000 0 1490.62/1491.15 c 387 523 540.85 53.61 10.09 1000000 0 1492.12/1492.69 c 379 496 525.40 52.43 10.02 1000000 0 1493.72/1494.23 c 386 584 528.93 51.96 10.18 1000000 0 1495.22/1495.78 c 330 483 531.61 55.60 9.56 1000000 0 1496.81/1497.32 c 341 614 533.15 48.63 10.96 1000000 0 1498.31/1498.86 c 381 526 535.07 49.16 10.89 1000000 0 1499.82/1500.40 c 342 540 529.46 47.83 11.07 1000000 0 1501.41/1501.94 c 383 473 530.46 51.64 10.27 1000000 0 1502.91/1503.48 c 384 560 529.90 50.08 10.58 1000000 0 1504.51/1505.01 c 378 518 531.01 56.62 9.38 1000000 0 1506.01/1506.56 c 376 589 536.18 57.27 9.36 1000000 0 1507.62/1508.10 c 386 515 525.91 51.95 10.12 1000000 0 1509.11/1509.65 c 383 500 527.26 53.21 9.91 1000000 0 1510.61/1511.19 c 387 533 526.16 52.84 9.96 1000000 0 1512.21/1512.73 c 384 574 530.11 52.83 10.03 1000000 0 1513.71/1514.27 c 378 576 521.02 50.45 10.33 1000000 0 1515.32/1515.81 c 385 520 523.50 60.54 8.65 1000000 0 1516.81/1517.36 c 388 669 537.40 62.44 8.61 1000000 0 1518.31/1518.90 c 390 459 527.51 52.19 10.11 1000000 0 1519.91/1520.44 c 365 484 530.97 54.90 9.67 1000000 0 1521.41/1521.98 c 385 539 534.84 52.78 10.13 1000000 0 1523.01/1523.52 c 368 505 530.70 47.83 11.09 1000000 0 1524.51/1525.05 c 377 545 535.34 51.45 10.40 1000000 0 1526.01/1526.59 c 367 641 532.60 53.35 9.98 1000000 0 1527.60/1528.13 c 373 476 524.82 58.50 8.97 1000000 0 1529.10/1529.67 c 364 509 537.52 59.87 8.98 1000000 0 1530.71/1531.20 c 377 458 528.36 55.95 9.44 1000000 0 1532.20/1532.74 c 373 536 538.72 54.66 9.86 1000000 0 1533.70/1534.28 c 379 490 531.79 54.34 9.79 1000000 0 1535.30/1535.82 c 388 548 529.43 51.84 10.21 1000000 0 1536.80/1537.36 c 373 536 532.89 50.55 10.54 1000000 0 1538.31/1538.90 c 364 543 528.42 49.88 10.59 1000000 0 1539.90/1540.44 c 368 566 528.38 51.28 10.30 1000000 0 1541.40/1541.98 c 388 486 537.39 54.44 9.87 1000000 0 1543.00/1543.52 c 357 529 531.54 52.60 10.11 1000000 0 1544.50/1545.05 c 367 513 530.19 50.78 10.44 1000000 0 1546.01/1546.59 c 390 541 534.79 56.40 9.48 1000000 0 1547.60/1548.13 c 371 577 527.35 45.94 11.48 1000000 0 1549.10/1549.66 c 361 526 529.99 52.97 10.01 1000000 0 1550.70/1551.20 c 352 488 528.33 57.51 9.19 1000000 0 1552.20/1552.74 c 338 532 533.14 53.25 10.01 1000000 0 1553.71/1554.28 c 379 503 536.08 58.48 9.17 1000000 0 1555.30/1555.82 c 364 497 535.49 54.80 9.77 1000000 0 1556.80/1557.36 c 390 532 533.33 46.31 11.52 1000000 0 1558.40/1558.90 c 390 529 534.78 52.33 10.22 1000000 0 1559.90/1560.44 c 388 533 536.30 53.23 10.08 1000000 0 1561.40/1561.98 c 344 438 530.94 52.64 10.09 1000000 0 1563.00/1563.52 c 365 494 529.88 54.38 9.74 1000000 0 1564.50/1565.05 c 365 523 524.15 50.25 10.43 1000000 0 1565.99/1566.59 c 396 523 534.29 50.95 10.49 1000000 0 1567.59/1568.13 c 367 519 530.67 45.32 11.71 1000000 0 1569.10/1569.67 c 362 522 523.42 53.29 9.82 1000000 0 1570.69/1571.21 c 365 498 531.77 46.50 11.44 1000000 0 1572.19/1572.75 c 354 510 530.61 59.14 8.97 1000000 0 1573.79/1574.30 c 392 511 532.80 55.58 9.59 1000000 0 1575.29/1575.84 c 352 500 534.18 47.02 11.36 1000000 0 1576.80/1577.38 c 354 443 528.88 53.81 9.83 1000000 0 1578.39/1578.92 c 367 553 529.69 51.78 10.23 1000000 0 1579.89/1580.46 c 370 502 527.15 52.12 10.11 1000000 0 1581.49/1582.00 c 392 586 534.21 54.18 9.86 1000000 0 1582.99/1583.54 c 370 549 521.02 51.08 10.20 1000000 0 1584.50/1585.07 c 357 444 530.49 53.90 9.84 1000000 0 1586.09/1586.62 c 362 554 529.50 53.64 9.87 1000000 0 1587.59/1588.16 c 381 542 530.62 51.01 10.40 1000000 0 1589.19/1589.70 c 385 578 527.07 51.84 10.17 1000000 0 1590.69/1591.24 c 379 637 522.68 52.61 9.93 1000000 0 1592.19/1592.79 c 362 508 541.34 54.21 9.99 1000000 0 1593.79/1594.32 c 352 456 532.93 50.78 10.49 1000000 0 1595.29/1595.87 c 369 481 529.99 54.80 9.67 1000000 0 1596.89/1597.41 c 366 485 522.16 47.64 10.96 1000000 0 1598.39/1598.94 c 392 561 535.46 56.50 9.48 1000000 0 1599.89/1600.49 c 376 498 527.91 48.36 10.92 1000000 0 1601.48/1602.03 c 387 589 535.05 52.40 10.21 1000000 0 1602.98/1603.56 c 374 508 535.33 51.02 10.49 1000000 0 1604.58/1605.10 c 375 595 526.41 53.79 9.79 1000000 0 1606.08/1606.64 c 392 479 533.99 49.55 10.78 1000000 0 1607.59/1608.18 c 374 528 525.46 46.02 11.42 1000000 0 1609.18/1609.73 c 370 557 529.76 54.90 9.65 1000000 0 1610.68/1611.26 c 373 529 524.69 49.11 10.68 1000000 0 1612.28/1612.80 c 405 553 541.19 48.56 11.14 1000000 0 1613.78/1614.34 c 377 495 533.85 51.88 10.29 1000000 0 1615.29/1615.88 c 369 524 525.39 48.73 10.78 1000000 0 1616.88/1617.42 c 370 464 525.46 49.84 10.54 1000000 0 1618.38/1618.96 c 364 521 528.31 54.76 9.65 1000000 0 1619.98/1620.51 c 345 632 518.34 58.23 8.90 1000000 0 1621.48/1622.05 c 387 485 531.41 52.62 10.10 1000000 0 1622.99/1623.60 c 354 576 525.68 52.91 9.94 1000000 0 1624.58/1625.13 c 361 534 532.23 53.96 9.86 1000000 0 1626.08/1626.67 c 377 527 531.02 54.55 9.73 1000000 0 1627.68/1628.22 c 371 553 536.22 53.17 10.09 1000000 0 1629.18/1629.76 c 395 476 524.89 43.05 12.19 1000000 0 1630.78/1631.30 c 381 453 520.06 48.63 10.70 1000000 0 1632.27/1632.84 c 386 572 527.71 48.20 10.95 1000000 0 1633.77/1634.37 c 394 588 534.88 49.71 10.76 1000000 0 1635.37/1635.91 c 390 631 532.74 48.78 10.92 1000000 0 1636.87/1637.46 c 384 511 532.49 49.10 10.84 1000000 0 1638.38/1639.00 c 355 612 533.93 56.56 9.44 1000000 0 1639.97/1640.53 c 397 556 527.90 46.15 11.44 1000000 0 1641.47/1642.08 c 371 673 533.85 55.00 9.71 1000000 0 1643.07/1643.62 c 370 446 526.22 49.30 10.67 1000000 0 1644.57/1645.16 c 368 546 531.09 49.61 10.71 1000000 0 1646.08/1646.70 c 375 446 530.78 45.70 11.61 1000000 0 1647.67/1648.24 c 381 590 523.03 48.50 10.78 1000000 0 1649.17/1649.78 c 371 605 531.42 51.63 10.29 1000000 0 1650.77/1651.32 c 381 501 529.44 50.94 10.39 1000000 0 1652.27/1652.86 c 373 491 526.20 51.38 10.24 1000000 0 1653.88/1654.40 c 387 518 531.02 51.37 10.34 1000000 0 1655.37/1655.94 c 358 585 527.85 50.34 10.48 1000000 0 1656.87/1657.48 c 336 585 526.25 51.64 10.19 1000000 0 1658.47/1659.03 c 352 543 532.59 53.40 9.97 1000000 0 1659.97/1660.57 c 384 459 534.15 50.41 10.60 1000000 0 1661.47/1662.09 c 372 549 523.55 52.49 9.97 1000000 0 1663.07/1663.64 c 390 525 536.08 55.67 9.63 1000000 0 1664.56/1665.17 c 394 535 532.29 51.16 10.40 1000000 0 1666.16/1666.72 c 381 503 525.92 52.19 10.08 1000000 0 1667.66/1668.27 c 364 532 526.81 48.65 10.83 1000000 0 1669.27/1669.81 c 364 542 529.86 47.27 11.21 1000000 0 1670.76/1671.35 c 375 501 531.27 53.78 9.88 1000000 0 1672.26/1672.89 c 370 454 530.06 55.79 9.50 1000000 0 1673.86/1674.44 c 366 516 530.54 56.18 9.44 1000000 0 1675.36/1675.98 c 383 449 534.43 51.86 10.30 1000000 0 1676.97/1677.52 c 374 576 532.31 51.11 10.42 1000000 0 1678.46/1679.05 c 375 536 528.15 52.77 10.01 1000000 0 1679.96/1680.59 c 351 564 532.63 49.40 10.78 1000000 0 1681.56/1682.13 c 363 491 535.22 60.80 8.80 1000000 0 1683.06/1683.67 c 350 453 519.98 45.28 11.48 1000000 0 1684.66/1685.21 c 387 530 533.82 56.91 9.38 1000000 0 1686.16/1686.75 c 374 581 546.59 57.71 9.47 1000000 0 1687.66/1688.30 c 348 462 527.14 51.75 10.19 1000000 0 1689.26/1689.84 c 355 585 526.00 49.35 10.66 1000000 0 1690.76/1691.38 c 385 516 531.54 52.33 10.16 1000000 0 1692.36/1692.91 c 392 556 535.37 48.13 11.12 1000000 0 1693.85/1694.45 c 344 558 528.50 56.30 9.39 1000000 0 1695.36/1695.99 c 397 505 535.24 49.11 10.90 1000000 0 1696.96/1697.54 c 382 530 529.02 57.53 9.20 1000000 0 1698.46/1699.08 c 378 505 530.68 52.94 10.02 1000000 0 1700.07/1700.62 c 388 592 538.33 52.57 10.24 1000000 0 1701.56/1702.16 c 384 471 525.95 48.08 10.94 1000000 0 1703.16/1703.71 c 398 489 544.63 52.19 10.44 1000000 0 1704.66/1705.25 c 374 511 529.19 52.87 10.01 1000000 0 1706.26/1706.80 c 386 561 529.53 45.95 11.53 1000000 0 1707.77/1708.33 c 366 516 534.94 50.36 10.62 1000000 0 1709.26/1709.88 c 364 629 532.57 49.18 10.83 1000000 0 1710.86/1711.42 c 357 595 520.22 51.71 10.06 1000000 0 1712.36/1712.95 c 374 540 529.39 49.74 10.64 1000000 0 1713.96/1714.50 c 379 517 531.13 54.42 9.76 1000000 0 1715.47/1716.04 c 388 518 527.64 50.73 10.40 1000000 0 1716.96/1717.58 c 365 506 527.52 51.11 10.32 1000000 0 1718.56/1719.10 c 373 462 523.13 49.89 10.49 1000000 0 1720.05/1720.64 c 370 524 532.72 56.22 9.48 1000000 0 1721.55/1722.19 c 375 436 539.31 54.87 9.83 1000000 0 1723.16/1723.72 c 359 444 524.74 55.13 9.52 1000000 0 1724.65/1725.26 c 379 536 531.78 49.47 10.75 1000000 0 1726.15/1726.80 c 370 555 537.67 48.88 11.00 1000000 0 1727.75/1728.34 c 371 436 521.80 50.21 10.39 1000000 0 1729.25/1729.88 c 390 603 525.03 51.61 10.17 1000000 0 1730.86/1731.41 c 365 625 532.56 51.45 10.35 1000000 0 1732.35/1732.95 c 361 543 531.38 53.76 9.88 1000000 0 1733.85/1734.49 c 387 499 536.43 53.76 9.98 1000000 0 1735.45/1736.03 c 388 546 535.26 49.96 10.71 1000000 0 1736.95/1737.59 c 372 478 537.67 55.87 9.62 1000000 0 1738.56/1739.13 c 371 489 532.80 49.59 10.74 1000000 0 1740.05/1740.67 c 382 540 531.29 47.17 11.26 1000000 0 1741.65/1742.21 c 370 627 530.65 54.42 9.75 1000000 0 1743.15/1743.75 c 377 553 522.79 48.61 10.76 1000000 0 1744.65/1745.28 c 387 514 528.06 48.06 10.99 1000000 0 1746.25/1746.82 c 381 421 528.70 49.57 10.67 1000000 0 1747.75/1748.36 c 372 534 527.64 53.15 9.93 1000000 0 1749.35/1749.91 c 391 497 534.64 53.53 9.99 1000000 0 1750.84/1751.46 c 378 536 528.98 55.03 9.61 1000000 0 1752.34/1752.99 c 375 548 530.92 56.34 9.42 1000000 0 1753.95/1754.53 c 352 544 523.47 51.55 10.15 1000000 0 1755.44/1756.07 c 365 482 525.93 48.21 10.91 1000000 0 1757.04/1757.62 c 393 474 525.54 46.63 11.27 1000000 0 1758.54/1759.16 c 367 525 521.15 47.26 11.03 1000000 0 1760.14/1760.70 c 371 545 528.71 49.92 10.59 1000000 0 1761.65/1762.24 c 381 536 533.94 52.90 10.09 1000000 0 1763.14/1763.78 c 374 527 526.02 45.76 11.49 1000000 0 1764.74/1765.31 c 349 417 530.15 49.43 10.73 1000000 0 1766.24/1766.86 c 362 471 528.53 54.98 9.61 1000000 0 1767.84/1768.40 c 354 585 522.44 58.55 8.92 1000000 0 1769.35/1769.94 c 352 481 520.98 52.00 10.02 1000000 0 1770.84/1771.48 c 397 561 533.46 47.71 11.18 1000000 0 1772.44/1773.02 c 362 538 531.55 49.97 10.64 1000000 0 1773.94/1774.56 c 379 440 525.82 43.95 11.97 1000000 0 1775.54/1776.10 c 348 466 523.30 51.51 10.16 1000000 0 1777.04/1777.64 c 379 586 522.31 52.26 9.99 1000000 0 1778.54/1779.18 c 379 518 523.42 50.52 10.36 1000000 0 1780.14/1780.71 c 378 605 524.12 52.87 9.91 1000000 0 1781.64/1782.26 c 365 493 533.46 57.39 9.30 1000000 0 1783.24/1783.80 c 361 567 531.21 51.44 10.33 1000000 0 1784.74/1785.34 c 378 479 531.08 58.46 9.08 1000000 0 1786.24/1786.88 c 360 567 517.32 45.62 11.34 1000000 0 1787.83/1788.42 c 373 485 525.83 51.89 10.13 1000000 0 1789.33/1789.95 c 373 541 519.63 46.31 11.22 1000000 0 1790.93/1791.50 c 369 549 535.44 50.26 10.65 1000000 0 1792.44/1793.03 c 386 720 521.38 47.69 10.93 1000000 0 1793.93/1794.56 c 393 598 528.59 48.48 10.90 1000000 0 1795.53/1796.10 c 378 521 539.63 56.19 9.60 1000000 0 1797.03/1797.64 c 348 545 534.63 53.04 10.08 1000000 0 1798.53/1799.18 c 367 465 528.74 51.70 10.23 1000000 0 1800.05/1800.61 HOME/run: line 2: 19694 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-2685406-1278440890/watcher-2685406-1278440890 -o /tmp/evaluation-result-2685406-1278440890/solver-2685406-1278440890 -C 1800 -W 2000 -M 1800 run HOME/instance-2685406-1278440890.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.08 1.03 1.00 2/106 19693 /proc/meminfo: memFree=1416428/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) R 19691 19693 19164 0 -1 4202496 343 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490223509 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [startup+0.0510299 s] /proc/loadavg: 1.08 1.03 1.00 2/106 19693 /proc/meminfo: memFree=1416428/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101034 s] /proc/loadavg: 1.08 1.03 1.00 2/106 19693 /proc/meminfo: memFree=1416428/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301051 s] /proc/loadavg: 1.08 1.03 1.00 2/106 19693 /proc/meminfo: memFree=1416428/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701088 s] /proc/loadavg: 1.08 1.03 1.00 2/106 19693 /proc/meminfo: memFree=1416428/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50116 s] /proc/loadavg: 1.08 1.03 1.00 2/108 19695 /proc/meminfo: memFree=1410956/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=1.48 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1379 0 0 0 148 0 0 0 25 0 1 0 12295768 41422848 1308 1992294400 134512640 135071400 4286727344 18446744073709551615 134537285 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1308 62 137 0 9974 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 49152 [startup+3.1013 s] /proc/loadavg: 1.08 1.03 1.00 2/108 19695 /proc/meminfo: memFree=1410832/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=3.08 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1387 0 0 0 308 0 0 0 25 0 1 0 12295768 41422848 1316 1992294400 134512640 135071400 4286727344 18446744073709551615 134526535 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1316 69 137 0 9974 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 49152 [startup+6.30159 s] /proc/loadavg: 1.07 1.03 1.00 2/108 19695 /proc/meminfo: memFree=1410460/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=6.28 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1387 0 0 0 628 0 0 0 25 0 1 0 12295768 41422848 1316 1992294400 134512640 135071400 4286727344 18446744073709551615 134526505 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1316 69 137 0 9974 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49152 [startup+12.7012 s] /proc/loadavg: 1.06 1.03 1.00 2/108 19697 /proc/meminfo: memFree=1410336/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=12.68 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1387 0 0 0 1268 0 0 0 25 0 1 0 12295768 41422848 1316 1992294400 134512640 135071400 4286727344 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1316 69 137 0 9974 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49152 [startup+25.5003 s] /proc/loadavg: 1.05 1.03 1.00 2/108 19697 /proc/meminfo: memFree=1410336/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=25.48 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 2548 0 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49152 [startup+51.1006 s] /proc/loadavg: 1.10 1.04 1.01 2/108 19697 /proc/meminfo: memFree=1410336/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=51.07 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 5107 0 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134525654 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 49152 [startup+102.308 s] /proc/loadavg: 1.04 1.03 1.00 2/108 19699 /proc/meminfo: memFree=1410212/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=102.26 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 10226 0 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 49152 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.00 2/108 19701 /proc/meminfo: memFree=1410088/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=162.23 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 16223 0 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134526651 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 49152 [startup+222.301 s] /proc/loadavg: 1.08 1.03 1.01 2/108 19701 /proc/meminfo: memFree=1409964/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=222.21 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 22221 0 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 49152 [startup+282.3 s] /proc/loadavg: 1.03 1.03 1.00 2/108 19703 /proc/meminfo: memFree=1409964/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=282.19 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 28219 0 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 49152 [startup+342.301 s] /proc/loadavg: 1.01 1.02 1.00 2/108 19705 /proc/meminfo: memFree=1409964/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=342.17 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 34217 0 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 49152 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/108 19707 /proc/meminfo: memFree=1409840/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=402.15 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 40215 0 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 49152 [startup+462.301 s] ################ # More data... # ################ [pid=19694] ppid=19693 vsize=40452 CPUtime=1061.94 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 106193 1 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 49152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19725 /proc/meminfo: memFree=1408600/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=1121.93 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 112192 1 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 49152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19727 /proc/meminfo: memFree=1408476/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=1181.91 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 118190 1 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 49152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19729 /proc/meminfo: memFree=1408228/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=1241.89 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 124188 1 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 49152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19731 /proc/meminfo: memFree=1408104/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=1301.88 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 130187 1 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 49152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19733 /proc/meminfo: memFree=1407980/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=1361.86 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 136185 1 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 49152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19733 /proc/meminfo: memFree=1407980/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=1421.84 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 142183 1 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134526283 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 49152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19735 /proc/meminfo: memFree=1407856/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=1481.82 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 148181 1 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 49152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19737 /proc/meminfo: memFree=1407856/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=1541.8 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 154179 1 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134526661 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 49152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19739 /proc/meminfo: memFree=1407608/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=1601.78 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 160177 1 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 49152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19741 /proc/meminfo: memFree=1407484/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=1661.77 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 166176 1 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134526834 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 49152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19741 /proc/meminfo: memFree=1407360/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=1721.75 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 172173 2 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 49152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19743 /proc/meminfo: memFree=1407236/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=1781.74 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 178172 2 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134526451 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 49152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19743 /proc/meminfo: memFree=1407236/2059040 swapFree=4192956/4192956 [pid=19693] ppid=19691 vsize=8700 CPUtime=0 /proc/19693/stat : 19693 (run) S 19691 19693 19164 0 -1 4202496 360 0 0 0 0 0 0 0 22 0 1 0 12295767 8908800 244 1992294400 4194304 4922060 140734243468896 18446744073709551615 273490222213 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/19693/statm: 2175 244 204 178 0 68 0 [pid=19694] ppid=19693 vsize=40452 CPUtime=1800.05 /proc/19694/stat : 19694 (PB-wave) R 19693 19693 19164 0 -1 4202496 1388 0 0 0 180003 2 0 0 25 0 1 0 12295768 41422848 1317 1992294400 134512640 135071400 4286727344 18446744073709551615 134526080 0 0 4096 2 0 0 0 17 1 0 0 0 /proc/19694/statm: 10113 1317 69 137 0 9974 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 49152 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1800.62 CPU time (s): 1800.06 CPU user time (s): 1800.03 CPU system time (s): 0.022996 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 49152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.022996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1760 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= 4 involuntary context switches= 4217 runsolver used 3.2765 second user time and 8.29474 second system time The end
Begin job on node051 at 2010-07-06 20:28:11 IDJOB=2685406 IDBENCH=75736 IDSOLVER=1171 FILE ID=node051/2685406-1278440890 PBS_JOBID= 11233484 Free space on /tmp= 62520 MiB SOLVER NAME= PB-wave alpha 2 BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j60/normalized-j6013_2-unsat.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2685406-1278440890/watcher-2685406-1278440890 -o /tmp/evaluation-result-2685406-1278440890/solver-2685406-1278440890 -C 1800 -W 2000 -M 1800 run HOME/instance-2685406-1278440890.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c3eb9faf1d58b30f1971366448425ca3 RANDOM SEED=728562898 node051.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.201 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.40 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.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1416832 kB Buffers: 110560 kB Cached: 394576 kB SwapCached: 0 kB Active: 186972 kB Inactive: 378044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1416832 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 1904 kB Writeback: 0 kB AnonPages: 59800 kB Mapped: 14524 kB Slab: 55296 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181736 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= 62520 MiB End job on node051 at 2010-07-06 20:58:11