| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=149-P1=191-P2=149-P3=191-B.opb |
| MD5SUM | cc19af3381948bbdeb155f7d94c524f8 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.05499 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 72 |
| Total number of constraints | 7 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 192 |
| Sum of products size (including duplicates) | 384 |
| Number of different products | 192 |
| Sum of products size | 384 |
0.00/0.00 c 2016-06-18T19:56:30+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106505-1466272590.opb"] 0.00/0.01 c use --random-gen="1714423320 383051370 4059184406 2957598105 2748819147 2971978127 2359142374 848319585 3579181406 1691774795 2306859762 556923163 2430573447 1827874999 3142401065 169237035 1977209819 1097360338 1421642113 3071431569 57611803 695407169 3597928076 2757712786 646088064 3216940394 3345333199 3284212035 1439072838 2681003111 792091653 1962675091 2443948264 3557562863 2408459538 1942897374 313025021 2545366405 1956324196 3967307634 213173429 2830780526 3968021940 58515766 751519124 2707433984 598877816 1551566426 1009354846 135022341 686584406 311392646 3345858830 3496896419 2933600214 3110892752 2125324555 928817268 3049035359 1638614376 2044700972 3790704128 1959282524 3246660994 3863714375 3904251494 3213203301 3258343868 3178270773 2971831529 2547678576 1588223746 1699629206 1623070486 936053110 3184583638 2664018294 3488618602 3328672099 2928720466 2532524246 3849055259 3269060022 1370437098 1112478866 1550511831 4241416330 980944523 494163820 4269825930 4008258266 3884624022 3554453128 1262489903 2030048579 986594208 992991345 1449843830 1216368157 1904997631 805672277 1602384170 2015392261 1358662717 3450668178 831895147 3817992864 827337501 2535919624 1937215819 1513891044 2398263133 2754638320 3277887975 1328835779 795071607 704206044 434952905 946845480 2742984238 406521007 4012286260 4277704521 192048902 3497653789 3789341372 1473857042 3629196127 3306157442 3519984110 2023291278 3318755080 1851220603 2963588311 2382846070 221048752 3541351578 4003598297 3484535814 1467693556 3176871132 866358286 2752856255 825743511 3140465768 2557753169 966275543 1870641585 1683149814 2502386536 1776703074 1685945456 2660655337 3897464512 1755793308 2311411323 3336968209 3273507301 1822437434 2417396341 1234712016 3266902377 3850058403 1863314865 3565126000 263561294 3354389325 3122064001 1024207908 18144257 4202914515 4263630721 161504562 1493503254 3902960838 3449524123 568142755 3405042834 3700722141 1600542521 1648916609 3388066189 2153543014 2399540811 4251975271 2226360450 1724315280 3028007922 3180379514 3958958244 119320687 4268170431 1618472949 3326643195 2514412763 1682868035 1125772375 1605626262 1345380722 1595390852 464152004 868537100 468861301 3341189133 1873904668 956981271 2563693264 3355358709 2298680635 1921091189 4054996649 2499771844 1053586894 2832502011 856370139 2164023395 753160462 54826297 558002937 1930991360 3192134503 2078197113 1449364558 1106698152 1842675048 2878191963 1166884438 2406684498 1063469720 1853278985 2708079602 939844522 1122497196 1800828957 3050332317 1855950349 33964491 1608003162 1104735984 3508817271 1829896633 4160037935 633131797 2664651638 2935510128 380806710 420500548 1801114823 2384923347 121712068 2618768009 3185681551 444655113 78680127 1956780550 2298978757 255 362436" option to reproduce the execution 0.00/0.01 c #vars 72 0.00/0.01 c #constraints 7 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 283 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 133 | 100 | 283 0 | 0 | 0 0.00/0.08 c 0.1s | 2 | 311 | 250 | 312 0 | 0 | 0 0.09/0.13 c 0.1s | 2 | 483 | 387 | 344 0 | 0 | 0 0.09/0.13 c #cpu_time = 0.117s 0.09/0.13 c #wall_clock_time = 0.117s 0.09/0.13 c #decision = 483 0.09/0.13 c #random_decision = 1 0.09/0.13 c #conflict = 387 0.09/0.13 c #restart = 2 0.09/0.13 o 177 0.09/0.13 c BCD2: updating upper bound: 255 -> 176 0.09/0.13 c BCD2: 0 <= obj <= 176 0.09/0.13 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=0 0.09/0.13 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 344 0 | 0 | 0 0.09/0.14 c 0.0s | 0 | 6 | 0 | 344 1 | 0 | 0 0.09/0.14 c #cpu_time = 0.003s 0.09/0.14 c #wall_clock_time = 0.003s 0.09/0.14 c #decision = 6 0.09/0.14 c #random_decision = 0 0.09/0.14 c #conflict = 0 0.09/0.14 c #restart = 0 0.09/0.14 c BCD2: found a new core of size 7: cost of the new core is >=2 0.09/0.14 c lower bound updated to 2 0.09/0.14 c BCD2: 2 <= obj <= 176 0.09/0.14 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=0 0.09/0.14 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 344 0 | 0 | 0 0.09/0.16 c 0.0s | 1 | 144 | 100 | 379 0 | 0 | 0 0.29/0.30 c 0.2s | 2 | 327 | 250 | 379 0 | 0 | 0 0.29/0.35 c 0.2s | 3 | 620 | 475 | 417 1 | 0 | 0 0.49/0.51 c 0.4s | 4 | 1003 | 813 | 417 2 | 0 | 0 0.58/0.63 c 0.5s | 5 | 1552 | 1320 | 459 4 | 0 | 0 0.98/1.05 c 0.9s | 6 | 2475 | 2081 | 505 6 | 0 | 0 1.28/1.39 c 1.3s | 7 | 3708 | 3223 | 556 10 | 0 | 0 1.69/1.71 c 1.6s | 8 | 5495 | 4936 | 612 14 | 0 | 0 2.39/2.41 c 2.3s | 9 | 8216 | 7506 | 674 20 | 0 | 0 3.09/3.14 c 3.0s | 10 | 12220 | 11361 | 742 29 | 0 | 0 4.39/4.45 c 4.3s | 11 | 18247 | 17144 | 817 41 | 0 | 0 6.09/6.17 c 6.0s | 12 | 27230 | 25819 | 899 58 | 0 | 0 8.18/8.20 c 8.1s | 12 | 36335 | 34419 | 899 74 | 0 | 0 9.18/9.22 c 9.1s | 13 | 40939 | 38832 | 989 82 | 0 | 0 11.18/11.23 c 11.1s | 13 | 50533 | 48132 | 989 98 | 0 | 0 13.19/13.25 c 13.1s | 13 | 59296 | 56732 | 989 113 | 0 | 0 13.68/13.70 c 13.6s | 14 | 61006 | 58352 | 1088 115 | 0 | 0 15.68/15.71 c 15.6s | 14 | 69553 | 66252 | 1088 128 | 0 | 0 17.69/17.72 c 17.6s | 14 | 78251 | 73952 | 1088 140 | 0 | 0 19.68/19.73 c 19.6s | 14 | 87455 | 82652 | 1088 154 | 0 | 0 20.89/20.93 c 20.8s | 15 | 92653 | 87632 | 1197 161 | 0 | 0 22.88/22.94 c 22.8s | 15 | 102773 | 97332 | 1197 176 | 0 | 0 24.89/24.94 c 24.8s | 15 | 113225 | 107432 | 1197 192 | 0 | 0 26.89/26.95 c 26.8s | 15 | 123715 | 117532 | 1197 207 | 0 | 0 28.89/28.97 c 28.8s | 15 | 133638 | 127132 | 1197 221 | 0 | 0 29.99/30.07 c 29.9s | 16 | 138347 | 131552 | 1317 227 | 0 | 0 31.99/32.09 c 31.9s | 16 | 147144 | 140152 | 1317 239 | 0 | 0 33.98/34.10 c 34.0s | 16 | 155976 | 148752 | 1317 250 | 0 | 0 36.08/36.10 c 36.0s | 16 | 165492 | 158052 | 1317 263 | 0 | 0 38.08/38.12 c 38.0s | 16 | 174862 | 167252 | 1317 275 | 0 | 0 40.08/40.12 c 40.0s | 16 | 183390 | 175652 | 1317 286 | 0 | 0 42.08/42.13 c 42.0s | 16 | 192141 | 184152 | 1317 298 | 0 | 0 44.09/44.14 c 44.0s | 16 | 200415 | 192252 | 1317 309 | 0 | 0 45.28/45.31 c 45.2s | 17 | 205723 | 197432 | 1449 315 | 0 | 0 47.29/47.33 c 47.2s | 17 | 213896 | 205032 | 1449 324 | 0 | 0 49.28/49.33 c 49.2s | 17 | 221985 | 212632 | 1449 334 | 0 | 0 51.28/51.35 c 51.2s | 17 | 230642 | 220932 | 1449 344 | 0 | 0 53.28/53.38 c 53.2s | 17 | 238500 | 228332 | 1449 353 | 0 | 0 55.38/55.40 c 55.3s | 17 | 245217 | 234732 | 1449 361 | 0 | 0 57.38/57.41 c 57.3s | 17 | 253974 | 243232 | 1449 371 | 0 | 0 59.39/59.41 c 59.3s | 17 | 261578 | 250532 | 1449 380 | 0 | 0 61.38/61.45 c 61.3s | 17 | 268410 | 257032 | 1449 388 | 0 | 0 63.38/63.46 c 63.3s | 17 | 276315 | 264232 | 1449 396 | 0 | 0 65.38/65.47 c 65.3s | 17 | 285473 | 273132 | 1449 408 | 0 | 0 67.38/67.49 c 67.4s | 17 | 294784 | 281832 | 1449 418 | 0 | 0 69.48/69.50 c 69.4s | 17 | 303943 | 290432 | 1449 429 | 0 | 0 71.08/71.14 c 71.0s | 18 | 310304 | 296252 | 1594 436 | 0 | 0 73.07/73.14 c 73.0s | 18 | 319515 | 305052 | 1594 446 | 0 | 0 75.07/75.16 c 75.0s | 18 | 327720 | 313052 | 1594 455 | 0 | 0 77.08/77.16 c 77.0s | 18 | 334732 | 319752 | 1594 463 | 0 | 0 79.07/79.17 c 79.0s | 18 | 341985 | 326652 | 1594 470 | 0 | 0 81.07/81.18 c 81.0s | 18 | 349311 | 333652 | 1594 478 | 0 | 0 83.07/83.18 c 83.0s | 18 | 356883 | 341052 | 1594 487 | 0 | 0 85.17/85.21 c 85.1s | 18 | 363968 | 347852 | 1594 494 | 0 | 0 87.17/87.21 c 87.1s | 18 | 373045 | 356652 | 1594 504 | 0 | 0 89.18/89.22 c 89.1s | 18 | 381871 | 365252 | 1594 514 | 0 | 0 91.17/91.24 c 91.1s | 18 | 389747 | 372852 | 1594 522 | 0 | 0 93.17/93.25 c 93.1s | 18 | 397577 | 380452 | 1594 531 | 0 | 0 95.17/95.27 c 95.1s | 18 | 405454 | 388152 | 1594 540 | 0 | 0 97.17/97.29 c 97.2s | 18 | 413605 | 396152 | 1594 549 | 0 | 0 99.27/99.31 c 99.2s | 18 | 419938 | 402352 | 1594 556 | 0 | 0 101.28/101.32 c 101s | 18 | 427620 | 409852 | 1594 564 | 0 | 0 103.27/103.34 c 103s | 18 | 436631 | 418652 | 1594 574 | 0 | 0 105.27/105.36 c 105s | 18 | 444788 | 426652 | 1594 583 | 0 | 0 107.27/107.37 c 107s | 18 | 452480 | 434152 | 1594 591 | 0 | 0 109.27/109.39 c 109s | 18 | 460568 | 442052 | 1754 600 | 0 | 0 109.87/109.98 c 109s | 19 | 463118 | 444482 | 1754 602 | 0 | 0 111.87/111.98 c 111s | 19 | 471338 | 452182 | 1754 610 | 0 | 0 113.87/113.99 c 113s | 19 | 479804 | 460182 | 1754 618 | 0 | 0 115.97/116.01 c 115s | 19 | 488667 | 468682 | 1754 627 | 0 | 0 117.97/118.03 c 117s | 19 | 497532 | 477082 | 1754 636 | 0 | 0 119.97/120.04 c 119s | 19 | 505687 | 484382 | 1754 643 | 0 | 0 121.97/122.04 c 121s | 19 | 512777 | 491082 | 1754 650 | 0 | 0 123.97/124.07 c 123s | 19 | 520620 | 498482 | 1754 658 | 0 | 0 125.97/126.08 c 125s | 19 | 527709 | 505182 | 1754 664 | 0 | 0 128.07/128.10 c 127s | 19 | 535360 | 512282 | 1754 672 | 0 | 0 130.07/130.10 c 129s | 19 | 542542 | 519082 | 1754 679 | 0 | 0 132.07/132.11 c 131s | 19 | 551098 | 527182 | 1754 687 | 0 | 0 134.06/134.11 c 133s | 19 | 559689 | 535282 | 1754 695 | 0 | 0 136.07/136.11 c 135s | 19 | 568800 | 543782 | 1754 704 | 0 | 0 138.07/138.12 c 137s | 19 | 577076 | 551282 | 1754 712 | 0 | 0 140.07/140.14 c 140s | 19 | 584613 | 558482 | 1754 719 | 0 | 0 142.07/142.16 c 142s | 19 | 592821 | 566082 | 1754 727 | 0 | 0 144.08/144.16 c 144s | 19 | 601039 | 573782 | 1754 735 | 0 | 0 146.07/146.16 c 146s | 19 | 608973 | 581282 | 1754 743 | 0 | 0 148.07/148.18 c 148s | 19 | 618029 | 589882 | 1754 752 | 0 | 0 150.17/150.20 c 150s | 19 | 627363 | 598782 | 1754 761 | 0 | 0 152.17/152.21 c 152s | 19 | 635720 | 606782 | 1754 769 | 0 | 0 154.17/154.23 c 154s | 19 | 643987 | 614782 | 1754 778 | 0 | 0 156.17/156.26 c 156s | 19 | 651732 | 622282 | 1754 785 | 0 | 0 158.16/158.29 c 158s | 19 | 659091 | 629382 | 1754 793 | 0 | 0 160.16/160.29 c 160s | 19 | 666885 | 636982 | 1754 801 | 0 | 0 162.26/162.31 c 162s | 19 | 674078 | 643882 | 1754 808 | 0 | 0 164.26/164.31 c 164s | 19 | 681838 | 651282 | 1754 816 | 0 | 0 166.26/166.32 c 166s | 19 | 689850 | 658982 | 1754 824 | 0 | 0 168.27/168.34 c 168s | 19 | 697367 | 666182 | 1930 831 | 0 | 0 168.46/168.54 c 168s | 20 | 698039 | 666827 | 1930 832 | 0 | 0 170.47/170.55 c 170s | 20 | 707279 | 675627 | 1930 840 | 0 | 0 172.46/172.57 c 172s | 20 | 716494 | 684627 | 1930 849 | 0 | 0 174.46/174.59 c 174s | 20 | 725795 | 693627 | 1930 858 | 0 | 0 176.56/176.61 c 176s | 20 | 734934 | 702327 | 1930 866 | 0 | 0 178.56/178.61 c 178s | 20 | 743962 | 711027 | 1930 875 | 0 | 0 180.56/180.64 c 180s | 20 | 753151 | 719927 | 1930 884 | 0 | 0 182.56/182.65 c 182s | 20 | 762694 | 729127 | 1930 893 | 0 | 0 184.56/184.66 c 184s | 20 | 771528 | 737727 | 1930 901 | 0 | 0 186.55/186.68 c 186s | 20 | 780619 | 746627 | 1930 910 | 0 | 0 188.65/188.70 c 188s | 20 | 789856 | 755627 | 1930 918 | 0 | 0 190.65/190.71 c 190s | 20 | 798489 | 764127 | 1930 926 | 0 | 0 192.65/192.73 c 192s | 20 | 807020 | 772527 | 1930 934 | 0 | 0 194.66/194.74 c 194s | 20 | 815451 | 780827 | 1930 942 | 0 | 0 196.65/196.75 c 196s | 20 | 823567 | 788627 | 1930 950 | 0 | 0 198.66/198.76 c 198s | 20 | 831633 | 796327 | 1930 957 | 0 | 0 200.66/200.76 c 200s | 20 | 839836 | 804027 | 1930 964 | 0 | 0 202.66/202.78 c 202s | 20 | 846848 | 810527 | 1930 970 | 0 | 0 204.76/204.80 c 204s | 20 | 855058 | 818127 | 1930 978 | 0 | 0 206.66/206.80 c 206s | 20 | 863874 | 826527 | 1930 986 | 0 | 0 208.76/208.81 c 208s | 20 | 871636 | 833727 | 1930 992 | 0 | 0 210.76/210.82 c 210s | 20 | 879627 | 841127 | 1930 999 | 0 | 0 212.76/212.84 c 212s | 20 | 887821 | 848827 | 1930 1007 | 0 | 0 214.76/214.85 c 214s | 20 | 894798 | 855427 | 1930 1013 | 0 | 0 216.76/216.86 c 216s | 20 | 903028 | 863027 | 1930 1020 | 0 | 0 218.76/218.90 c 218s | 20 | 911690 | 871327 | 1930 1028 | 0 | 0 220.86/220.94 c 220s | 20 | 918868 | 878127 | 1930 1035 | 0 | 0 222.86/222.95 c 222s | 20 | 927170 | 885827 | 1930 1042 | 0 | 0 224.85/224.97 c 224s | 20 | 936812 | 894827 | 1930 1050 | 0 | 0 226.85/226.98 c 226s | 20 | 946127 | 903227 | 1930 1058 | 0 | 0 228.86/228.99 c 228s | 20 | 954782 | 911427 | 1930 1066 | 0 | 0 230.85/230.99 c 230s | 20 | 962329 | 918627 | 1930 1073 | 0 | 0 232.95/233.01 c 232s | 20 | 970816 | 926627 | 1930 1080 | 0 | 0 234.95/235.03 c 234s | 20 | 979662 | 935127 | 1930 1088 | 0 | 0 236.95/237.05 c 236s | 20 | 987779 | 942427 | 1930 1095 | 0 | 0 238.95/239.08 c 238s | 20 | 996258 | 950127 | 1930 1103 | 0 | 0 241.05/241.11 c 240s | 20 | 1004514 | 957527 | 1930 1109 | 0 | 0 243.06/243.12 c 242s | 20 | 1013691 | 966027 | 1930 1118 | 0 | 0 245.05/245.13 c 244s | 20 | 1023091 | 975027 | 1930 1126 | 0 | 0 247.05/247.15 c 247s | 20 | 1032908 | 984427 | 1930 1135 | 0 | 0 249.05/249.16 c 249s | 20 | 1042346 | 993327 | 2123 1143 | 0 | 0 250.65/250.79 c 250s | 21 | 1049666 | 1000345 | 2123 1149 | 0 | 0 252.75/252.81 c 252s | 21 | 1058664 | 1009145 | 2123 1157 | 0 | 0 254.75/254.82 c 254s | 21 | 1067464 | 1017745 | 2123 1165 | 0 | 0 256.75/256.84 c 256s | 21 | 1076469 | 1026445 | 2123 1172 | 0 | 0 258.75/258.84 c 258s | 21 | 1084389 | 1034245 | 2123 1179 | 0 | 0 260.76/260.85 c 260s | 21 | 1092853 | 1042445 | 2123 1186 | 0 | 0 262.75/262.87 c 262s | 21 | 1101406 | 1050845 | 2123 1193 | 0 | 0 264.75/264.88 c 264s | 21 | 1109886 | 1059145 | 2123 1200 | 0 | 0 266.85/266.90 c 266s | 21 | 1118360 | 1067445 | 2123 1208 | 0 | 0 268.84/268.93 c 268s | 21 | 1126478 | 1075445 | 2123 1215 | 0 | 0 270.84/270.94 c 270s | 21 | 1134779 | 1083545 | 2123 1222 | 0 | 0 272.85/272.94 c 272s | 21 | 1143350 | 1091945 | 2123 1229 | 0 | 0 274.84/274.96 c 274s | 21 | 1152181 | 1100545 | 2123 1236 | 0 | 0 276.85/276.96 c 276s | 21 | 1160582 | 1108745 | 2123 1243 | 0 | 0 278.85/278.98 c 278s | 21 | 1169184 | 1117145 | 2123 1251 | 0 | 0 280.95/281.00 c 280s | 21 | 1177546 | 1125345 | 2123 1258 | 0 | 0 282.95/283.02 c 282s | 21 | 1186080 | 1133745 | 2123 1265 | 0 | 0 284.95/285.04 c 284s | 21 | 1194546 | 1142045 | 2123 1272 | 0 | 0 286.95/287.06 c 286s | 21 | 1202628 | 1150045 | 2123 1279 | 0 | 0 288.95/289.07 c 288s | 21 | 1210695 | 1157845 | 2123 1286 | 0 | 0 290.95/291.07 c 290s | 21 | 1218397 | 1165345 | 2123 1293 | 0 | 0 292.94/293.08 c 292s | 21 | 1226468 | 1173045 | 2123 1299 | 0 | 0 295.04/295.11 c 294s | 21 | 1234184 | 1180345 | 2123 1306 | 0 | 0 297.05/297.11 c 296s | 21 | 1241956 | 1187745 | 2123 1312 | 0 | 0 299.04/299.12 c 298s | 21 | 1250318 | 1195645 | 2123 1319 | 0 | 0 301.04/301.14 c 301s | 21 | 1258369 | 1203445 | 2123 1326 | 0 | 0 303.04/303.18 c 303s | 21 | 1266034 | 1210845 | 2123 1332 | 0 | 0 305.04/305.19 c 305s | 21 | 1273290 | 1217745 | 2123 1338 | 0 | 0 307.14/307.20 c 307s | 21 | 1280983 | 1225145 | 2123 1345 | 0 | 0 309.14/309.21 c 309s | 21 | 1287626 | 1231445 | 2123 1350 | 0 | 0 311.13/311.21 c 311s | 21 | 1295616 | 1239045 | 2123 1357 | 0 | 0 313.13/313.22 c 313s | 21 | 1303548 | 1246745 | 2123 1363 | 0 | 0 315.13/315.25 c 315s | 21 | 1310992 | 1253845 | 2123 1370 | 0 | 0 317.13/317.27 c 317s | 21 | 1318698 | 1261145 | 2123 1376 | 0 | 0 319.13/319.28 c 319s | 21 | 1326003 | 1268045 | 2123 1382 | 0 | 0 321.14/321.29 c 321s | 21 | 1333672 | 1275245 | 2123 1388 | 0 | 0 323.22/323.31 c 323s | 21 | 1341711 | 1282945 | 2123 1395 | 0 | 0 325.22/325.32 c 325s | 21 | 1349488 | 1290345 | 2123 1401 | 0 | 0 327.22/327.32 c 327s | 21 | 1357177 | 1297745 | 2123 1408 | 0 | 0 329.22/329.34 c 329s | 21 | 1364737 | 1304945 | 2123 1414 | 0 | 0 331.22/331.35 c 331s | 21 | 1372131 | 1312045 | 2123 1420 | 0 | 0 333.23/333.37 c 333s | 21 | 1380001 | 1319545 | 2123 1427 | 0 | 0 335.32/335.40 c 335s | 21 | 1388026 | 1327245 | 2123 1434 | 0 | 0 337.32/337.41 c 337s | 21 | 1396270 | 1335145 | 2123 1440 | 0 | 0 339.31/339.43 c 339s | 21 | 1404030 | 1342545 | 2123 1447 | 0 | 0 341.31/341.44 c 341s | 21 | 1411370 | 1349445 | 2123 1453 | 0 | 0 343.31/343.45 c 343s | 21 | 1419013 | 1356845 | 2123 1459 | 0 | 0 345.32/345.46 c 345s | 21 | 1426478 | 1364045 | 2123 1466 | 0 | 0 347.31/347.48 c 347s | 21 | 1434668 | 1371945 | 2123 1473 | 0 | 0 349.41/349.50 c 349s | 21 | 1442638 | 1379545 | 2123 1479 | 0 | 0 351.41/351.53 c 351s | 21 | 1450357 | 1386845 | 2123 1486 | 0 | 0 353.41/353.55 c 353s | 21 | 1458478 | 1394645 | 2123 1492 | 0 | 0 355.41/355.56 c 355s | 21 | 1465580 | 1401345 | 2123 1498 | 0 | 0 357.42/357.57 c 357s | 21 | 1473276 | 1408645 | 2123 1505 | 0 | 0 359.41/359.58 c 359s | 21 | 1480862 | 1415745 | 2123 1511 | 0 | 0 361.51/361.62 c 361s | 21 | 1489143 | 1423645 | 2123 1518 | 0 | 0 363.51/363.63 c 363s | 21 | 1497398 | 1431545 | 2123 1524 | 0 | 0 365.51/365.64 c 365s | 21 | 1505390 | 1439345 | 2123 1531 | 0 | 0 367.51/367.66 c 367s | 21 | 1513177 | 1446845 | 2123 1538 | 0 | 0 369.51/369.68 c 369s | 21 | 1521201 | 1454645 | 2123 1544 | 0 | 0 371.51/371.69 c 371s | 21 | 1529293 | 1462445 | 2123 1551 | 0 | 0 373.60/373.71 c 373s | 21 | 1537345 | 1470145 | 2123 1558 | 0 | 0 375.60/375.73 c 375s | 21 | 1544809 | 1477145 | 2123 1564 | 0 | 0 377.60/377.74 c 377s | 21 | 1552651 | 1484445 | 2123 1570 | 0 | 0 379.60/379.75 c 379s | 21 | 1560552 | 1491645 | 2336 1576 | 0 | 0 381.61/381.75 c 381s | 21 | 1567974 | 1498745 | 2336 1582 | 0 | 0 382.10/382.25 c 382s | 22 | 1569938 | 1500622 | 2336 1584 | 0 | 0 384.10/384.27 c 384s | 22 | 1578270 | 1508722 | 2336 1590 | 0 | 0 386.10/386.29 c 386s | 22 | 1586823 | 1517022 | 2336 1597 | 0 | 0 388.20/388.31 c 388s | 22 | 1595175 | 1525222 | 2336 1604 | 0 | 0 390.19/390.33 c 390s | 22 | 1602713 | 1532422 | 2336 1609 | 0 | 0 392.19/392.36 c 392s | 22 | 1609504 | 1538922 | 2336 1614 | 0 | 0 394.19/394.36 c 394s | 22 | 1618382 | 1547522 | 2336 1621 | 0 | 0 396.19/396.37 c 396s | 22 | 1626999 | 1555822 | 2336 1628 | 0 | 0 398.20/398.38 c 398s | 22 | 1634290 | 1562622 | 2336 1634 | 0 | 0 400.30/400.41 c 400s | 22 | 1643138 | 1571022 | 2336 1640 | 0 | 0 402.29/402.43 c 402s | 22 | 1650521 | 1578022 | 2336 1646 | 0 | 0 404.29/404.45 c 404s | 22 | 1658627 | 1585722 | 2336 1652 | 0 | 0 406.29/406.47 c 406s | 22 | 1666732 | 1593422 | 2336 1658 | 0 | 0 408.29/408.48 c 408s | 22 | 1675179 | 1601422 | 2336 1665 | 0 | 0 410.39/410.50 c 410s | 22 | 1683172 | 1609222 | 2336 1671 | 0 | 0 412.39/412.52 c 412s | 22 | 1690354 | 1616122 | 2336 1677 | 0 | 0 414.38/414.52 c 414s | 22 | 1697830 | 1623422 | 2336 1683 | 0 | 0 416.38/416.54 c 416s | 22 | 1706013 | 1631222 | 2336 1689 | 0 | 0 418.38/418.55 c 418s | 22 | 1714326 | 1639022 | 2336 1695 | 0 | 0 420.38/420.58 c 420s | 22 | 1721479 | 1645622 | 2336 1701 | 0 | 0 422.39/422.59 c 422s | 22 | 1728907 | 1652122 | 2336 1706 | 0 | 0 424.49/424.62 c 424s | 22 | 1736906 | 1659122 | 2336 1711 | 0 | 0 426.48/426.64 c 426s | 22 | 1744605 | 1666022 | 2336 1717 | 0 | 0 428.48/428.66 c 428s | 22 | 1752654 | 1673422 | 2336 1723 | 0 | 0 430.48/430.68 c 430s | 22 | 1760802 | 1681022 | 2336 1729 | 0 | 0 432.47/432.69 c 432s | 22 | 1768799 | 1688322 | 2336 1735 | 0 | 0 434.48/434.69 c 434s | 22 | 1776728 | 1695722 | 2336 1741 | 0 | 0 436.47/436.69 c 436s | 22 | 1785184 | 1703222 | 2336 1747 | 0 | 0 438.47/438.69 c 438s | 22 | 1792739 | 1710322 | 2336 1753 | 0 | 0 440.57/440.72 c 440s | 22 | 1799925 | 1717122 | 2336 1758 | 0 | 0 442.57/442.73 c 442s | 22 | 1807835 | 1724522 | 2336 1764 | 0 | 0 444.57/444.74 c 444s | 22 | 1814821 | 1731122 | 2336 1770 | 0 | 0 446.57/446.75 c 446s | 22 | 1822602 | 1738322 | 2336 1775 | 0 | 0 448.57/448.78 c 448s | 22 | 1830542 | 1745522 | 2336 1781 | 0 | 0 450.57/450.79 c 450s | 22 | 1838382 | 1752422 | 2336 1787 | 0 | 0 452.66/452.82 c 452s | 22 | 1846160 | 1759422 | 2336 1792 | 0 | 0 454.66/454.83 c 454s | 22 | 1853949 | 1766522 | 2336 1798 | 0 | 0 456.66/456.83 c 456s | 22 | 1862375 | 1773822 | 2336 1804 | 0 | 0 458.67/458.84 c 458s | 22 | 1871165 | 1781922 | 2336 1810 | 0 | 0 460.66/460.85 c 460s | 22 | 1878198 | 1788422 | 2336 1816 | 0 | 0 462.66/462.89 c 462s | 22 | 1886237 | 1795722 | 2336 1821 | 0 | 0 464.66/464.89 c 464s | 22 | 1894231 | 1803022 | 2336 1827 | 0 | 0 466.75/466.91 c 466s | 22 | 1901847 | 1810022 | 2336 1833 | 0 | 0 468.75/468.94 c 468s | 22 | 1909957 | 1817122 | 2336 1839 | 0 | 0 470.76/470.96 c 470s | 22 | 1917677 | 1824222 | 2336 1844 | 0 | 0 472.75/472.98 c 472s | 22 | 1924513 | 1830722 | 2336 1850 | 0 | 0 474.75/474.98 c 474s | 22 | 1932109 | 1837822 | 2336 1855 | 0 | 0 476.85/477.00 c 476s | 22 | 1940512 | 1845822 | 2336 1862 | 0 | 0 478.85/479.00 c 478s | 22 | 1948433 | 1853522 | 2336 1868 | 0 | 0 480.85/481.01 c 480s | 22 | 1957066 | 1861622 | 2336 1874 | 0 | 0 482.85/483.02 c 482s | 22 | 1964336 | 1868522 | 2336 1880 | 0 | 0 484.85/485.03 c 484s | 22 | 1973274 | 1877022 | 2336 1887 | 0 | 0 486.85/487.05 c 486s | 22 | 1982119 | 1885522 | 2336 1894 | 0 | 0 488.84/489.06 c 488s | 22 | 1990955 | 1893822 | 2336 1900 | 0 | 0 490.84/491.08 c 490s | 22 | 1999344 | 1902022 | 2336 1907 | 0 | 0 492.84/493.09 c 492s | 22 | 2007505 | 1910022 | 2336 1914 | 0 | 0 494.85/495.10 c 494s | 22 | 2015546 | 1917722 | 2336 1920 | 0 | 0 496.95/497.13 c 496s | 22 | 2023080 | 1924922 | 2336 1926 | 0 | 0 498.95/499.15 c 499s | 22 | 2030792 | 1932422 | 2336 1931 | 0 | 0 500.95/501.17 c 501s | 22 | 2039609 | 1940822 | 2336 1938 | 0 | 0 502.94/503.18 c 503s | 22 | 2048749 | 1949622 | 2336 1945 | 0 | 0 505.04/505.20 c 505s | 22 | 2057498 | 1958022 | 2336 1952 | 0 | 0 507.05/507.21 c 507s | 22 | 2066188 | 1966322 | 2336 1959 | 0 | 0 509.04/509.23 c 509s | 22 | 2074980 | 1974722 | 2336 1965 | 0 | 0 511.04/511.24 c 511s | 22 | 2083275 | 1982522 | 2336 1972 | 0 | 0 513.04/513.26 c 513s | 22 | 2091829 | 1990922 | 2336 1978 | 0 | 0 515.04/515.27 c 515s | 22 | 2099880 | 1998822 | 2336 1985 | 0 | 0 517.04/517.27 c 517s | 22 | 2108468 | 2007222 | 2336 1991 | 0 | 0 519.05/519.27 c 519s | 22 | 2116612 | 2015222 | 2336 1998 | 0 | 0 521.04/521.28 c 521s | 22 | 2124783 | 2023222 | 2336 2004 | 0 | 0 523.13/523.30 c 523s | 22 | 2132950 | 2031222 | 2336 2011 | 0 | 0 525.13/525.31 c 525s | 22 | 2141094 | 2039122 | 2336 2017 | 0 | 0 527.13/527.32 c 527s | 22 | 2149463 | 2047222 | 2336 2023 | 0 | 0 529.13/529.32 c 529s | 22 | 2157137 | 2054522 | 2336 2029 | 0 | 0 531.14/531.34 c 531s | 22 | 2165491 | 2062322 | 2336 2036 | 0 | 0 533.13/533.36 c 533s | 22 | 2173281 | 2069522 | 2336 2041 | 0 | 0 535.13/535.37 c 535s | 22 | 2181584 | 2077322 | 2336 2048 | 0 | 0 537.12/537.38 c 537s | 22 | 2189997 | 2085222 | 2336 2054 | 0 | 0 539.22/539.40 c 539s | 22 | 2198080 | 2092822 | 2336 2060 | 0 | 0 541.23/541.42 c 541s | 22 | 2207011 | 2101422 | 2336 2067 | 0 | 0 543.23/543.43 c 543s | 22 | 2214942 | 2108922 | 2336 2073 | 0 | 0 545.23/545.44 c 545s | 22 | 2223437 | 2116922 | 2336 2080 | 0 | 0 547.23/547.47 c 547s | 22 | 2231819 | 2124722 | 2336 2086 | 0 | 0 549.23/549.47 c 549s | 22 | 2240076 | 2132522 | 2336 2092 | 0 | 0 551.23/551.48 c 551s | 22 | 2249396 | 2141322 | 2336 2099 | 0 | 0 553.32/553.50 c 553s | 22 | 2258095 | 2149422 | 2336 2106 | 0 | 0 555.33/555.51 c 555s | 22 | 2265742 | 2156422 | 2336 2111 | 0 | 0 557.32/557.51 c 557s | 22 | 2273447 | 2163722 | 2336 2117 | 0 | 0 559.32/559.52 c 559s | 22 | 2282226 | 2171822 | 2336 2124 | 0 | 0 561.32/561.54 c 561s | 22 | 2290640 | 2179522 | 2336 2130 | 0 | 0 563.32/563.57 c 563s | 22 | 2299570 | 2187822 | 2336 2137 | 0 | 0 565.32/565.59 c 565s | 22 | 2308231 | 2195822 | 2336 2143 | 0 | 0 567.42/567.62 c 567s | 22 | 2315550 | 2202722 | 2336 2148 | 0 | 0 569.42/569.63 c 569s | 22 | 2323211 | 2209922 | 2336 2154 | 0 | 0 571.42/571.63 c 571s | 22 | 2331155 | 2217322 | 2336 2160 | 0 | 0 573.41/573.63 c 573s | 22 | 2339194 | 2224922 | 2336 2166 | 0 | 0 575.41/575.64 c 575s | 22 | 2345751 | 2231022 | 2336 2171 | 0 | 0 577.42/577.66 c 577s | 22 | 2354698 | 2239322 | 2570 2177 | 0 | 0 579.41/579.68 c 579s | 22 | 2363186 | 2247022 | 2570 2183 | 0 | 0 580.62/580.80 c 580s | 23 | 2367460 | 2251038 | 2570 2186 | 0 | 0 582.61/582.81 c 582s | 23 | 2376255 | 2259438 | 2570 2192 | 0 | 0 584.61/584.83 c 584s | 23 | 2384645 | 2267638 | 2570 2198 | 0 | 0 586.60/586.83 c 586s | 23 | 2392664 | 2275338 | 2570 2204 | 0 | 0 588.60/588.85 c 588s | 23 | 2399810 | 2282238 | 2570 2209 | 0 | 0 590.61/590.88 c 590s | 23 | 2406740 | 2288938 | 2570 2214 | 0 | 0 592.60/592.89 c 592s | 23 | 2414887 | 2296938 | 2570 2219 | 0 | 0 594.70/594.91 c 594s | 23 | 2422229 | 2303938 | 2570 2224 | 0 | 0 596.70/596.91 c 596s | 23 | 2429248 | 2310838 | 2570 2229 | 0 | 0 598.70/598.92 c 598s | 23 | 2436662 | 2317938 | 2570 2235 | 0 | 0 600.70/600.95 c 600s | 23 | 2444290 | 2325438 | 2570 2240 | 0 | 0 602.70/602.96 c 602s | 23 | 2452148 | 2333038 | 2570 2246 | 0 | 0 604.70/604.96 c 604s | 23 | 2459966 | 2340738 | 2570 2251 | 0 | 0 606.69/606.98 c 606s | 23 | 2467067 | 2347638 | 2570 2256 | 0 | 0 608.79/609.00 c 608s | 23 | 2474668 | 2354738 | 2570 2261 | 0 | 0 610.79/611.00 c 610s | 23 | 2481926 | 2361738 | 2570 2266 | 0 | 0 612.79/613.02 c 612s | 23 | 2489247 | 2368538 | 2570 2272 | 0 | 0 614.80/615.04 c 614s | 23 | 2497045 | 2375838 | 2570 2277 | 0 | 0 616.79/617.06 c 616s | 23 | 2504653 | 2383038 | 2570 2282 | 0 | 0 618.79/619.07 c 618s | 23 | 2512119 | 2390238 | 2570 2287 | 0 | 0 620.89/621.10 c 620s | 23 | 2520615 | 2398538 | 2570 2293 | 0 | 0 622.88/623.11 c 622s | 23 | 2528841 | 2406438 | 2570 2299 | 0 | 0 624.88/625.12 c 624s | 23 | 2536344 | 2413438 | 2570 2304 | 0 | 0 626.89/627.13 c 626s | 23 | 2543135 | 2420038 | 2570 2309 | 0 | 0 628.88/629.16 c 629s | 23 | 2550817 | 2427338 | 2570 2315 | 0 | 0 630.88/631.17 c 631s | 23 | 2558107 | 2434138 | 2570 2320 | 0 | 0 632.98/633.20 c 633s | 23 | 2566099 | 2441838 | 2570 2325 | 0 | 0 634.98/635.20 c 635s | 23 | 2574088 | 2449538 | 2570 2331 | 0 | 0 636.98/637.20 c 637s | 23 | 2582173 | 2457438 | 2570 2336 | 0 | 0 638.98/639.21 c 639s | 23 | 2589596 | 2464438 | 2570 2342 | 0 | 0 640.98/641.21 c 641s | 23 | 2597127 | 2471638 | 2570 2347 | 0 | 0 642.98/643.22 c 643s | 23 | 2604984 | 2479138 | 2570 2352 | 0 | 0 644.98/645.24 c 645s | 23 | 2612922 | 2486838 | 2570 2358 | 0 | 0 646.98/647.26 c 647s | 23 | 2620228 | 2493938 | 2570 2363 | 0 | 0 648.98/649.26 c 649s | 23 | 2627515 | 2500938 | 2570 2368 | 0 | 0 650.98/651.28 c 651s | 23 | 2635213 | 2508338 | 2570 2374 | 0 | 0 652.97/653.29 c 653s | 23 | 2642321 | 2515238 | 2570 2379 | 0 | 0 655.07/655.30 c 655s | 23 | 2650233 | 2522838 | 2570 2384 | 0 | 0 657.07/657.30 c 657s | 23 | 2657701 | 2530038 | 2570 2389 | 0 | 0 659.07/659.30 c 659s | 23 | 2665356 | 2537438 | 2570 2395 | 0 | 0 661.07/661.31 c 661s | 23 | 2672889 | 2544738 | 2570 2400 | 0 | 0 663.07/663.34 c 663s | 23 | 2680791 | 2552238 | 2570 2406 | 0 | 0 665.06/665.36 c 665s | 23 | 2688715 | 2559838 | 2570 2411 | 0 | 0 667.06/667.38 c 667s | 23 | 2696430 | 2567338 | 2570 2417 | 0 | 0 669.16/669.40 c 669s | 23 | 2703871 | 2574538 | 2570 2422 | 0 | 0 671.16/671.43 c 671s | 23 | 2711737 | 2582138 | 2570 2427 | 0 | 0 673.16/673.44 c 673s | 23 | 2719318 | 2589238 | 2570 2432 | 0 | 0 675.17/675.45 c 675s | 23 | 2726963 | 2596438 | 2570 2438 | 0 | 0 677.16/677.45 c 677s | 23 | 2734770 | 2604038 | 2570 2443 | 0 | 0 679.16/679.45 c 679s | 23 | 2742287 | 2611238 | 2570 2449 | 0 | 0 681.16/681.46 c 681s | 23 | 2749797 | 2618538 | 2570 2454 | 0 | 0 683.15/683.48 c 683s | 23 | 2757759 | 2626238 | 2570 2459 | 0 | 0 685.16/685.48 c 685s | 23 | 2765272 | 2633438 | 2570 2465 | 0 | 0 687.15/687.49 c 687s | 23 | 2772747 | 2640638 | 2570 2470 | 0 | 0 689.15/689.49 c 689s | 23 | 2780305 | 2647838 | 2570 2475 | 0 | 0 691.25/691.52 c 691s | 23 | 2787821 | 2655138 | 2570 2480 | 0 | 0 693.25/693.53 c 693s | 23 | 2795245 | 2662338 | 2570 2486 | 0 | 0 695.25/695.54 c 695s | 23 | 2803128 | 2669938 | 2570 2491 | 0 | 0 697.25/697.55 c 697s | 23 | 2810928 | 2677338 | 2570 2497 | 0 | 0 699.24/699.58 c 699s | 23 | 2818599 | 2684738 | 2570 2502 | 0 | 0 701.24/701.58 c 701s | 23 | 2826271 | 2692038 | 2570 2507 | 0 | 0 703.34/703.62 c 703s | 23 | 2833948 | 2699438 | 2570 2513 | 0 | 0 705.34/705.65 c 705s | 23 | 2841772 | 2707038 | 2570 2518 | 0 | 0 707.34/707.65 c 707s | 23 | 2849329 | 2714338 | 2570 2524 | 0 | 0 709.35/709.67 c 709s | 23 | 2857119 | 2721738 | 2570 2529 | 0 | 0 711.34/711.68 c 711s | 23 | 2865222 | 2729538 | 2570 2535 | 0 | 0 713.34/713.68 c 713s | 23 | 2873014 | 2736838 | 2570 2540 | 0 | 0 715.44/715.71 c 715s | 23 | 2880946 | 2744438 | 2570 2546 | 0 | 0 717.44/717.74 c 717s | 23 | 2888448 | 2751738 | 2570 2551 | 0 | 0 719.44/719.76 c 719s | 23 | 2896220 | 2759238 | 2570 2556 | 0 | 0 721.44/721.76 c 721s | 23 | 2904010 | 2766738 | 2570 2562 | 0 | 0 723.43/723.79 c 723s | 23 | 2911647 | 2774138 | 2570 2567 | 0 | 0 725.43/725.79 c 725s | 23 | 2918786 | 2781038 | 2570 2572 | 0 | 0 727.53/727.80 c 727s | 23 | 2927024 | 2788938 | 2570 2578 | 0 | 0 729.53/729.80 c 729s | 23 | 2934525 | 2796138 | 2570 2583 | 0 | 0 731.53/731.81 c 731s | 23 | 2941926 | 2803238 | 2570 2588 | 0 | 0 733.53/733.82 c 733s | 23 | 2949088 | 2810238 | 2570 2593 | 0 | 0 735.53/735.84 c 735s | 23 | 2956606 | 2817538 | 2570 2599 | 0 | 0 737.53/737.84 c 737s | 23 | 2964465 | 2825238 | 2570 2604 | 0 | 0 739.53/739.87 c 739s | 23 | 2971012 | 2831438 | 2570 2609 | 0 | 0 741.63/741.90 c 741s | 23 | 2977631 | 2837838 | 2570 2613 | 0 | 0 743.62/743.90 c 743s | 23 | 2984550 | 2844538 | 2570 2618 | 0 | 0 745.63/745.92 c 745s | 23 | 2992687 | 2852538 | 2570 2624 | 0 | 0 747.62/747.94 c 747s | 23 | 3000677 | 2860338 | 2570 2630 | 0 | 0 749.62/749.96 c 749s | 23 | 3009461 | 2868838 | 2570 2636 | 0 | 0 751.62/751.97 c 751s | 23 | 3017303 | 2876538 | 2570 2641 | 0 | 0 753.71/754.00 c 753s | 23 | 3024538 | 2883638 | 2570 2647 | 0 | 0 755.71/756.00 c 755s | 23 | 3032530 | 2891438 | 2570 2652 | 0 | 0 757.72/758.01 c 757s | 23 | 3041164 | 2899838 | 2570 2658 | 0 | 0 759.71/760.03 c 759s | 23 | 3049634 | 2908138 | 2570 2664 | 0 | 0 761.70/762.05 c 761s | 23 | 3058073 | 2916338 | 2570 2670 | 0 | 0 763.70/764.05 c 763s | 23 | 3065923 | 2923838 | 2570 2676 | 0 | 0 765.71/766.06 c 765s | 23 | 3073932 | 2931538 | 2570 2681 | 0 | 0 767.71/768.07 c 767s | 23 | 3082211 | 2939538 | 2570 2687 | 0 | 0 769.72/770.09 c 769s | 23 | 3089925 | 2947138 | 2570 2693 | 0 | 0 771.81/772.12 c 771s | 23 | 3096738 | 2953638 | 2570 2697 | 0 | 0 773.81/774.13 c 773s | 23 | 3103897 | 2960438 | 2570 2702 | 0 | 0 775.81/776.15 c 776s | 23 | 3111110 | 2967338 | 2570 2707 | 0 | 0 777.80/778.18 c 778s | 23 | 3117621 | 2973538 | 2570 2712 | 0 | 0 779.80/780.19 c 780s | 23 | 3124717 | 2980438 | 2570 2717 | 0 | 0 781.81/782.20 c 782s | 23 | 3131894 | 2987338 | 2570 2722 | 0 | 0 783.90/784.21 c 784s | 23 | 3139158 | 2994138 | 2570 2727 | 0 | 0 785.90/786.22 c 786s | 23 | 3146781 | 3001438 | 2570 2732 | 0 | 0 787.90/788.23 c 788s | 23 | 3153886 | 3008138 | 2570 2737 | 0 | 0 789.90/790.25 c 790s | 23 | 3161494 | 3015438 | 2570 2743 | 0 | 0 791.89/792.28 c 792s | 23 | 3169039 | 3022438 | 2570 2748 | 0 | 0 793.90/794.30 c 794s | 23 | 3176317 | 3029338 | 2570 2753 | 0 | 0 795.99/796.31 c 796s | 23 | 3183814 | 3036538 | 2570 2758 | 0 | 0 797.99/798.34 c 798s | 23 | 3191521 | 3043938 | 2570 2764 | 0 | 0 799.99/800.36 c 800s | 23 | 3198998 | 3051138 | 2570 2769 | 0 | 0 801.99/802.37 c 802s | 23 | 3206472 | 3058238 | 2570 2774 | 0 | 0 803.99/804.38 c 804s | 23 | 3213682 | 3065138 | 2570 2779 | 0 | 0 806.00/806.39 c 806s | 23 | 3222012 | 3072738 | 2570 2785 | 0 | 0 808.09/808.40 c 808s | 23 | 3229298 | 3079438 | 2570 2790 | 0 | 0 810.09/810.41 c 810s | 23 | 3237187 | 3086438 | 2570 2795 | 0 | 0 812.09/812.42 c 812s | 23 | 3245060 | 3094138 | 2570 2800 | 0 | 0 814.09/814.44 c 814s | 23 | 3252682 | 3101038 | 2570 2805 | 0 | 0 816.09/816.45 c 816s | 23 | 3260073 | 3108038 | 2570 2810 | 0 | 0 818.09/818.47 c 818s | 23 | 3267736 | 3115038 | 2570 2816 | 0 | 0 820.09/820.47 c 820s | 23 | 3275370 | 3122138 | 2570 2821 | 0 | 0 822.08/822.49 c 822s | 23 | 3282564 | 3129038 | 2570 2826 | 0 | 0 824.18/824.51 c 824s | 23 | 3289652 | 3135638 | 2570 2831 | 0 | 0 826.18/826.51 c 826s | 23 | 3297054 | 3142438 | 2570 2836 | 0 | 0 828.18/828.53 c 828s | 23 | 3304725 | 3149738 | 2570 2841 | 0 | 0 830.19/830.55 c 830s | 23 | 3312616 | 3157138 | 2570 2846 | 0 | 0 832.18/832.56 c 832s | 23 | 3319992 | 3163838 | 2570 2851 | 0 | 0 834.18/834.59 c 834s | 23 | 3327591 | 3171038 | 2570 2856 | 0 | 0 836.27/836.61 c 836s | 23 | 3335079 | 3178138 | 2570 2861 | 0 | 0 838.27/838.65 c 838s | 23 | 3341961 | 3184738 | 2570 2866 | 0 | 0 840.27/840.66 c 840s | 23 | 3349279 | 3191538 | 2570 2871 | 0 | 0 842.28/842.67 c 842s | 23 | 3357239 | 3198738 | 2570 2876 | 0 | 0 844.27/844.69 c 844s | 23 | 3365051 | 3205938 | 2570 2882 | 0 | 0 846.37/846.70 c 846s | 23 | 3373020 | 3213238 | 2570 2887 | 0 | 0 848.37/848.73 c 848s | 23 | 3380788 | 3220338 | 2570 2892 | 0 | 0 850.37/850.73 c 850s | 23 | 3388436 | 3227438 | 2570 2897 | 0 | 0 852.36/852.74 c 852s | 23 | 3395924 | 3234438 | 2570 2902 | 0 | 0 854.37/854.74 c 854s | 23 | 3403740 | 3241638 | 2570 2908 | 0 | 0 856.36/856.76 c 856s | 23 | 3411625 | 3249138 | 2570 2913 | 0 | 0 858.37/858.78 c 858s | 23 | 3419607 | 3256538 | 2570 2919 | 0 | 0 860.47/860.80 c 860s | 23 | 3427654 | 3264238 | 2570 2924 | 0 | 0 862.47/862.81 c 862s | 23 | 3435055 | 3271538 | 2570 2929 | 0 | 0 864.47/864.83 c 864s | 23 | 3443296 | 3279638 | 2570 2935 | 0 | 0 866.47/866.84 c 866s | 23 | 3451228 | 3287438 | 2570 2941 | 0 | 0 868.47/868.86 c 868s | 23 | 3458834 | 3294738 | 2570 2946 | 0 | 0 870.47/870.88 c 870s | 23 | 3466027 | 3301538 | 2570 2951 | 0 | 0 872.56/872.90 c 872s | 23 | 3472939 | 3307938 | 2570 2956 | 0 | 0 874.56/874.92 c 874s | 23 | 3480203 | 3314838 | 2570 2961 | 0 | 0 876.56/876.94 c 876s | 23 | 3486924 | 3321238 | 2570 2966 | 0 | 0 878.57/878.94 c 878s | 23 | 3493317 | 3327338 | 2570 2970 | 0 | 0 880.56/880.95 c 880s | 23 | 3500008 | 3333538 | 2570 2975 | 0 | 0 882.56/882.97 c 882s | 23 | 3507180 | 3340338 | 2570 2980 | 0 | 0 884.66/885.02 c 884s | 23 | 3514352 | 3347138 | 2570 2985 | 0 | 0 886.65/887.02 c 886s | 23 | 3521362 | 3353638 | 2828 2989 | 0 | 0 888.65/889.04 c 888s | 23 | 3528118 | 3359938 | 2828 2993 | 0 | 0 890.66/891.06 c 890s | 23 | 3534662 | 3366238 | 2828 2997 | 0 | 0 892.65/893.07 c 892s | 23 | 3541206 | 3372538 | 2828 3002 | 0 | 0 893.96/894.38 c 894s | 24 | 3545495 | 3376662 | 2828 3004 | 0 | 0 896.05/896.42 c 896s | 24 | 3552365 | 3383362 | 2828 3009 | 0 | 0 898.05/898.43 c 898s | 24 | 3558419 | 3389262 | 2828 3013 | 0 | 0 900.05/900.46 c 900s | 24 | 3564691 | 3395362 | 2828 3017 | 0 | 0 902.04/902.48 c 902s | 24 | 3570747 | 3401162 | 2828 3021 | 0 | 0 904.04/904.49 c 904s | 24 | 3577950 | 3408062 | 2828 3025 | 0 | 0 906.05/906.50 c 906s | 24 | 3584066 | 3413962 | 2828 3029 | 0 | 0 908.14/908.51 c 908s | 24 | 3591593 | 3421062 | 2828 3034 | 0 | 0 910.14/910.52 c 910s | 24 | 3598577 | 3427562 | 2828 3038 | 0 | 0 912.14/912.53 c 912s | 24 | 3604340 | 3433062 | 2828 3042 | 0 | 0 914.14/914.55 c 914s | 24 | 3612448 | 3440662 | 2828 3047 | 0 | 0 916.14/916.55 c 916s | 24 | 3620037 | 3447862 | 2828 3052 | 0 | 0 918.14/918.57 c 918s | 24 | 3626901 | 3454362 | 2828 3056 | 0 | 0 920.14/920.59 c 920s | 24 | 3633986 | 3461162 | 2828 3061 | 0 | 0 922.23/922.60 c 922s | 24 | 3640948 | 3467662 | 2828 3065 | 0 | 0 924.23/924.60 c 924s | 24 | 3647903 | 3474362 | 2828 3070 | 0 | 0 926.23/926.63 c 926s | 24 | 3655582 | 3481662 | 2828 3075 | 0 | 0 928.23/928.63 c 928s | 24 | 3662961 | 3488762 | 2828 3079 | 0 | 0 930.24/930.63 c 930s | 24 | 3670040 | 3495462 | 2828 3084 | 0 | 0 932.23/932.66 c 932s | 24 | 3678132 | 3503262 | 2828 3089 | 0 | 0 934.23/934.69 c 934s | 24 | 3685923 | 3510662 | 2828 3094 | 0 | 0 936.22/936.69 c 936s | 24 | 3693525 | 3518062 | 2828 3099 | 0 | 0 938.32/938.72 c 938s | 24 | 3700280 | 3524562 | 2828 3103 | 0 | 0 940.32/940.73 c 940s | 24 | 3706678 | 3530762 | 2828 3107 | 0 | 0 942.33/942.75 c 942s | 24 | 3713084 | 3536862 | 2828 3112 | 0 | 0 944.32/944.76 c 944s | 24 | 3720572 | 3543962 | 2828 3116 | 0 | 0 946.32/946.77 c 946s | 24 | 3727925 | 3550962 | 2828 3121 | 0 | 0 948.32/948.79 c 948s | 24 | 3734863 | 3557662 | 2828 3126 | 0 | 0 950.32/950.79 c 950s | 24 | 3741518 | 3563962 | 2828 3130 | 0 | 0 952.42/952.80 c 952s | 24 | 3747413 | 3569562 | 2828 3134 | 0 | 0 954.44/954.81 c 954s | 24 | 3754560 | 3576362 | 2828 3138 | 0 | 0 956.43/956.82 c 956s | 24 | 3761004 | 3582562 | 2828 3142 | 0 | 0 958.43/958.84 c 958s | 24 | 3767257 | 3588462 | 2828 3146 | 0 | 0 960.43/960.85 c 960s | 24 | 3774289 | 3595162 | 2828 3151 | 0 | 0 962.43/962.87 c 962s | 24 | 3781074 | 3601262 | 2828 3155 | 0 | 0 964.43/964.89 c 964s | 24 | 3788581 | 3608262 | 2828 3160 | 0 | 0 966.53/966.91 c 966s | 24 | 3795244 | 3614362 | 2828 3164 | 0 | 0 968.52/968.94 c 968s | 24 | 3803158 | 3621862 | 2828 3169 | 0 | 0 970.52/970.94 c 970s | 24 | 3809535 | 3627762 | 2828 3173 | 0 | 0 972.52/972.95 c 972s | 24 | 3816141 | 3633862 | 2828 3177 | 0 | 0 974.52/974.97 c 974s | 24 | 3824080 | 3641262 | 2828 3182 | 0 | 0 976.62/977.00 c 976s | 24 | 3830025 | 3646762 | 2828 3185 | 0 | 0 978.63/979.01 c 978s | 24 | 3836368 | 3652662 | 2828 3189 | 0 | 0 980.62/981.04 c 980s | 24 | 3842969 | 3658762 | 2828 3193 | 0 | 0 982.62/983.06 c 982s | 24 | 3849034 | 3664562 | 2828 3197 | 0 | 0 984.62/985.07 c 984s | 24 | 3854963 | 3670162 | 2828 3201 | 0 | 0 986.62/987.08 c 986s | 24 | 3862200 | 3676962 | 2828 3206 | 0 | 0 988.72/989.10 c 988s | 24 | 3869554 | 3683662 | 2828 3210 | 0 | 0 990.73/991.13 c 990s | 24 | 3876744 | 3690562 | 2828 3215 | 0 | 0 992.72/993.15 c 993s | 24 | 3884131 | 3697462 | 2828 3219 | 0 | 0 994.72/995.15 c 995s | 24 | 3891532 | 3704462 | 2828 3224 | 0 | 0 996.72/997.16 c 997s | 24 | 3897272 | 3709862 | 2828 3228 | 0 | 0 998.72/999.17 c 999s | 24 | 3904263 | 3716362 | 2828 3232 | 0 | 0 1000.72/1001.18 c 1001s | 24 | 3911441 | 3722862 | 2828 3236 | 0 | 0 1002.72/1003.18 c 1003s | 24 | 3919308 | 3730362 | 2828 3242 | 0 | 0 1004.72/1005.19 c 1005s | 24 | 3927643 | 3738462 | 2828 3247 | 0 | 0 1006.82/1007.21 c 1007s | 24 | 3935811 | 3746362 | 2828 3252 | 0 | 0 1008.82/1009.22 c 1009s | 24 | 3943547 | 3753762 | 2828 3257 | 0 | 0 1010.82/1011.23 c 1011s | 24 | 3950359 | 3760162 | 2828 3262 | 0 | 0 1012.82/1013.25 c 1013s | 24 | 3957055 | 3766362 | 2828 3266 | 0 | 0 1014.81/1015.25 c 1015s | 24 | 3964248 | 3773162 | 2828 3270 | 0 | 0 1016.81/1017.27 c 1017s | 24 | 3971972 | 3780462 | 2828 3275 | 0 | 0 1018.81/1019.28 c 1019s | 24 | 3978925 | 3787062 | 2828 3280 | 0 | 0 1020.81/1021.28 c 1021s | 24 | 3986150 | 3793862 | 2828 3284 | 0 | 0 1022.91/1023.31 c 1023s | 24 | 3993783 | 3801262 | 2828 3289 | 0 | 0 1024.92/1025.32 c 1025s | 24 | 4000128 | 3807362 | 2828 3293 | 0 | 0 1026.91/1027.34 c 1027s | 24 | 4006294 | 3813262 | 2828 3297 | 0 | 0 1028.91/1029.36 c 1029s | 24 | 4013655 | 3820262 | 2828 3302 | 0 | 0 1030.91/1031.39 c 1031s | 24 | 4020058 | 3826362 | 2828 3306 | 0 | 0 1033.01/1033.40 c 1033s | 24 | 4026394 | 3832462 | 2828 3310 | 0 | 0 1035.01/1035.42 c 1035s | 24 | 4032928 | 3838662 | 2828 3314 | 0 | 0 1037.02/1037.45 c 1037s | 24 | 4039652 | 3845162 | 2828 3319 | 0 | 0 1039.01/1039.45 c 1039s | 24 | 4046618 | 3851762 | 2828 3323 | 0 | 0 1041.01/1041.48 c 1041s | 24 | 4053160 | 3858062 | 2828 3327 | 0 | 0 1043.01/1043.49 c 1043s | 24 | 4059545 | 3864162 | 2828 3331 | 0 | 0 1045.01/1045.49 c 1045s | 24 | 4066525 | 3870862 | 2828 3336 | 0 | 0 1047.11/1047.50 c 1047s | 24 | 4072688 | 3876662 | 2828 3340 | 0 | 0 1049.11/1049.51 c 1049s | 24 | 4079254 | 3882962 | 2828 3344 | 0 | 0 1051.11/1051.52 c 1051s | 24 | 4086378 | 3889862 | 2828 3349 | 0 | 0 1053.11/1053.54 c 1053s | 24 | 4093284 | 3896462 | 2828 3353 | 0 | 0 1055.11/1055.56 c 1055s | 24 | 4100549 | 3903362 | 2828 3358 | 0 | 0 1057.11/1057.59 c 1057s | 24 | 4107174 | 3909662 | 2828 3362 | 0 | 0 1059.21/1059.61 c 1059s | 24 | 4113874 | 3915762 | 2828 3366 | 0 | 0 1061.21/1061.62 c 1061s | 24 | 4121073 | 3922362 | 2828 3370 | 0 | 0 1063.21/1063.63 c 1063s | 24 | 4127613 | 3928562 | 2828 3374 | 0 | 0 1065.21/1065.65 c 1065s | 24 | 4135164 | 3935962 | 2828 3379 | 0 | 0 1067.21/1067.66 c 1067s | 24 | 4142843 | 3943462 | 2828 3384 | 0 | 0 1069.21/1069.69 c 1069s | 24 | 4150849 | 3951262 | 2828 3390 | 0 | 0 1071.31/1071.72 c 1071s | 24 | 4158512 | 3958662 | 2828 3395 | 0 | 0 1073.32/1073.72 c 1073s | 24 | 4166206 | 3966062 | 2828 3400 | 0 | 0 1075.31/1075.75 c 1075s | 24 | 4173938 | 3973462 | 2828 3405 | 0 | 0 1077.31/1077.77 c 1077s | 24 | 4182097 | 3981262 | 2828 3410 | 0 | 0 1079.31/1079.79 c 1079s | 24 | 4190745 | 3989262 | 2828 3415 | 0 | 0 1081.41/1081.81 c 1081s | 24 | 4199050 | 3996662 | 2828 3420 | 0 | 0 1083.41/1083.82 c 1083s | 24 | 4205522 | 4002662 | 2828 3424 | 0 | 0 1085.42/1085.86 c 1085s | 24 | 4213480 | 4009962 | 2828 3429 | 0 | 0 1087.41/1087.89 c 1087s | 24 | 4220260 | 4016362 | 2828 3433 | 0 | 0 1089.41/1089.89 c 1089s | 24 | 4228033 | 4023462 | 2828 3438 | 0 | 0 1091.51/1091.91 c 1091s | 24 | 4235682 | 4030562 | 2828 3443 | 0 | 0 1093.51/1093.95 c 1093s | 24 | 4243071 | 4037562 | 2828 3448 | 0 | 0 1095.51/1095.97 c 1095s | 24 | 4251551 | 4045762 | 2828 3453 | 0 | 0 1097.51/1097.99 c 1097s | 24 | 4259843 | 4053462 | 2828 3458 | 0 | 0 1099.61/1100.01 c 1099s | 24 | 4268180 | 4061162 | 2828 3463 | 0 | 0 1101.60/1102.03 c 1101s | 24 | 4275692 | 4068262 | 2828 3468 | 0 | 0 1103.60/1104.05 c 1103s | 24 | 4282504 | 4074862 | 2828 3473 | 0 | 0 1105.60/1106.08 c 1105s | 24 | 4290120 | 4081962 | 2828 3477 | 0 | 0 1107.60/1108.09 c 1107s | 24 | 4296437 | 4087962 | 2828 3481 | 0 | 0 1109.70/1110.11 c 1109s | 24 | 4303094 | 4094262 | 2828 3486 | 0 | 0 1111.71/1112.14 c 1111s | 24 | 4308351 | 4099362 | 2828 3489 | 0 | 0 1113.70/1114.17 c 1114s | 24 | 4313382 | 4104162 | 2828 3492 | 0 | 0 1115.80/1116.20 c 1116s | 24 | 4319000 | 4109462 | 2828 3496 | 0 | 0 1117.80/1118.23 c 1118s | 24 | 4325191 | 4115362 | 2828 3500 | 0 | 0 1119.80/1120.24 c 1120s | 24 | 4332341 | 4122162 | 2828 3504 | 0 | 0 1121.80/1122.26 c 1122s | 24 | 4339392 | 4128862 | 2828 3509 | 0 | 0 1123.81/1124.28 c 1124s | 24 | 4347091 | 4136362 | 2828 3514 | 0 | 0 1125.80/1126.29 c 1126s | 24 | 4354648 | 4143462 | 2828 3519 | 0 | 0 1127.90/1128.31 c 1128s | 24 | 4362190 | 4150662 | 2828 3524 | 0 | 0 1129.90/1130.33 c 1130s | 24 | 4369845 | 4158062 | 2828 3529 | 0 | 0 1131.90/1132.34 c 1132s | 24 | 4377370 | 4165262 | 2828 3533 | 0 | 0 1133.90/1134.38 c 1134s | 24 | 4383449 | 4171062 | 2828 3537 | 0 | 0 1135.90/1136.38 c 1136s | 24 | 4390060 | 4177262 | 2828 3541 | 0 | 0 1138.00/1138.43 c 1138s | 24 | 4397304 | 4184262 | 2828 3546 | 0 | 0 1139.99/1140.45 c 1140s | 24 | 4404667 | 4191262 | 2828 3551 | 0 | 0 1141.99/1142.48 c 1142s | 24 | 4412165 | 4198462 | 2828 3556 | 0 | 0 1143.99/1144.49 c 1144s | 24 | 4419977 | 4205962 | 2828 3561 | 0 | 0 1145.99/1146.49 c 1146s | 24 | 4426933 | 4212562 | 2828 3565 | 0 | 0 1148.10/1148.52 c 1148s | 24 | 4432785 | 4218262 | 2828 3569 | 0 | 0 1150.09/1150.53 c 1150s | 24 | 4438356 | 4223562 | 2828 3572 | 0 | 0 1152.09/1152.54 c 1152s | 24 | 4444960 | 4229562 | 2828 3577 | 0 | 0 1154.09/1154.58 c 1154s | 24 | 4452685 | 4237062 | 2828 3582 | 0 | 0 1156.19/1156.60 c 1156s | 24 | 4459969 | 4244062 | 2828 3586 | 0 | 0 1158.19/1158.61 c 1158s | 24 | 4467460 | 4251262 | 2828 3591 | 0 | 0 1160.20/1160.63 c 1160s | 24 | 4475065 | 4258462 | 2828 3596 | 0 | 0 1162.20/1162.65 c 1162s | 24 | 4482557 | 4265462 | 2828 3601 | 0 | 0 1164.20/1164.69 c 1164s | 24 | 4489785 | 4272362 | 2828 3605 | 0 | 0 1166.30/1166.72 c 1166s | 24 | 4496814 | 4278962 | 2828 3610 | 0 | 0 1168.30/1168.73 c 1168s | 24 | 4503851 | 4285662 | 2828 3614 | 0 | 0 1170.30/1170.75 c 1170s | 24 | 4511261 | 4292662 | 2828 3619 | 0 | 0 1172.30/1172.75 c 1172s | 24 | 4518512 | 4299562 | 2828 3624 | 0 | 0 1174.30/1174.76 c 1174s | 24 | 4525776 | 4306562 | 2828 3628 | 0 | 0 1176.30/1176.76 c 1176s | 24 | 4533260 | 4313562 | 2828 3633 | 0 | 0 1178.29/1178.77 c 1178s | 24 | 4541026 | 4320962 | 2828 3638 | 0 | 0 1180.29/1180.78 c 1180s | 24 | 4549094 | 4328662 | 2828 3643 | 0 | 0 1182.29/1182.79 c 1182s | 24 | 4556972 | 4336162 | 2828 3648 | 0 | 0 1184.30/1184.80 c 1184s | 24 | 4564328 | 4343162 | 2828 3653 | 0 | 0 1186.39/1186.82 c 1186s | 24 | 4571057 | 4349662 | 2828 3657 | 0 | 0 1188.39/1188.84 c 1188s | 24 | 4578246 | 4356562 | 2828 3662 | 0 | 0 1190.39/1190.86 c 1190s | 24 | 4585382 | 4363362 | 2828 3666 | 0 | 0 1192.39/1192.87 c 1192s | 24 | 4592196 | 4369862 | 2828 3671 | 0 | 0 1194.39/1194.89 c 1194s | 24 | 4599221 | 4376562 | 2828 3675 | 0 | 0 1196.40/1196.90 c 1196s | 24 | 4606504 | 4383562 | 2828 3680 | 0 | 0 1198.49/1198.90 c 1198s | 24 | 4614102 | 4390962 | 2828 3685 | 0 | 0 1200.49/1200.91 c 1200s | 24 | 4621440 | 4398062 | 2828 3690 | 0 | 0 1202.49/1202.94 c 1202s | 24 | 4629036 | 4405362 | 2828 3695 | 0 | 0 1204.49/1204.96 c 1204s | 24 | 4636925 | 4412962 | 2828 3700 | 0 | 0 1206.49/1206.97 c 1206s | 24 | 4644616 | 4420462 | 2828 3705 | 0 | 0 1208.49/1209.00 c 1208s | 24 | 4651618 | 4427062 | 2828 3709 | 0 | 0 1210.59/1211.04 c 1210s | 24 | 4658749 | 4433862 | 2828 3714 | 0 | 0 1212.59/1213.05 c 1212s | 24 | 4666000 | 4440762 | 2828 3718 | 0 | 0 1214.59/1215.08 c 1214s | 24 | 4672760 | 4447262 | 2828 3723 | 0 | 0 1216.69/1217.11 c 1216s | 24 | 4679899 | 4453962 | 2828 3727 | 0 | 0 1218.69/1219.14 c 1219s | 24 | 4686860 | 4460562 | 2828 3731 | 0 | 0 1220.69/1221.17 c 1221s | 24 | 4693876 | 4466962 | 2828 3736 | 0 | 0 1222.68/1223.19 c 1223s | 24 | 4700849 | 4473662 | 2828 3740 | 0 | 0 1224.78/1225.20 c 1225s | 24 | 4708081 | 4480562 | 2828 3745 | 0 | 0 1226.78/1227.22 c 1227s | 24 | 4715769 | 4488062 | 2828 3750 | 0 | 0 1228.78/1229.23 c 1229s | 24 | 4723398 | 4495362 | 2828 3755 | 0 | 0 1230.78/1231.24 c 1231s | 24 | 4730144 | 4501862 | 2828 3759 | 0 | 0 1232.79/1233.26 c 1233s | 24 | 4737549 | 4508962 | 2828 3764 | 0 | 0 1234.78/1235.27 c 1235s | 24 | 4744561 | 4515662 | 2828 3768 | 0 | 0 1236.78/1237.28 c 1237s | 24 | 4751117 | 4521962 | 2828 3773 | 0 | 0 1238.78/1239.29 c 1239s | 24 | 4757589 | 4527962 | 2828 3777 | 0 | 0 1240.88/1241.31 c 1241s | 24 | 4765094 | 4535162 | 2828 3781 | 0 | 0 1242.88/1243.34 c 1243s | 24 | 4770934 | 4540662 | 2828 3785 | 0 | 0 1244.89/1245.36 c 1245s | 24 | 4778567 | 4547962 | 2828 3790 | 0 | 0 1246.88/1247.36 c 1247s | 24 | 4785476 | 4554562 | 2828 3795 | 0 | 0 1248.88/1249.37 c 1249s | 24 | 4790783 | 4559562 | 2828 3798 | 0 | 0 1250.88/1251.38 c 1251s | 24 | 4797269 | 4565662 | 2828 3802 | 0 | 0 1252.88/1253.39 c 1253s | 24 | 4804513 | 4572562 | 2828 3807 | 0 | 0 1254.98/1255.40 c 1255s | 24 | 4812373 | 4580162 | 2828 3812 | 0 | 0 1256.99/1257.42 c 1257s | 24 | 4819457 | 4586962 | 2828 3816 | 0 | 0 1258.98/1259.44 c 1259s | 24 | 4826667 | 4593862 | 2828 3821 | 0 | 0 1260.98/1261.44 c 1261s | 24 | 4833786 | 4600662 | 2828 3826 | 0 | 0 1262.98/1263.45 c 1263s | 24 | 4841465 | 4607962 | 2828 3830 | 0 | 0 1264.98/1265.47 c 1265s | 24 | 4849484 | 4615662 | 2828 3836 | 0 | 0 1266.98/1267.48 c 1267s | 24 | 4857461 | 4623362 | 2828 3841 | 0 | 0 1268.99/1269.48 c 1269s | 24 | 4863990 | 4629462 | 2828 3845 | 0 | 0 1270.98/1271.50 c 1271s | 24 | 4870991 | 4636162 | 2828 3849 | 0 | 0 1273.08/1273.50 c 1273s | 24 | 4877796 | 4642462 | 2828 3854 | 0 | 0 1275.08/1275.51 c 1275s | 24 | 4885501 | 4649762 | 2828 3859 | 0 | 0 1277.08/1277.51 c 1277s | 24 | 4892117 | 4655762 | 2828 3862 | 0 | 0 1279.08/1279.52 c 1279s | 24 | 4899488 | 4662862 | 2828 3867 | 0 | 0 1281.08/1281.53 c 1281s | 24 | 4906720 | 4669662 | 2828 3872 | 0 | 0 1283.08/1283.54 c 1283s | 24 | 4914338 | 4676962 | 2828 3877 | 0 | 0 1285.08/1285.54 c 1285s | 24 | 4922158 | 4684562 | 2828 3882 | 0 | 0 1287.08/1287.58 c 1287s | 24 | 4930345 | 4692362 | 2828 3887 | 0 | 0 1289.07/1289.59 c 1289s | 24 | 4937186 | 4698862 | 2828 3891 | 0 | 0 1291.17/1291.61 c 1291s | 24 | 4943872 | 4705262 | 2828 3896 | 0 | 0 1293.18/1293.63 c 1293s | 24 | 4950659 | 4711762 | 2828 3900 | 0 | 0 1295.17/1295.65 c 1295s | 24 | 4957889 | 4718462 | 2828 3905 | 0 | 0 1297.17/1297.66 c 1297s | 24 | 4965715 | 4725862 | 2828 3910 | 0 | 0 1299.17/1299.66 c 1299s | 24 | 4972565 | 4732362 | 2828 3914 | 0 | 0 1301.17/1301.67 c 1301s | 24 | 4980405 | 4739862 | 2828 3919 | 0 | 0 1303.18/1303.68 c 1303s | 24 | 4988059 | 4747062 | 2828 3924 | 0 | 0 1305.17/1305.69 c 1305s | 24 | 4995635 | 4754162 | 2828 3929 | 0 | 0 1307.27/1307.70 c 1307s | 24 | 5002806 | 4760962 | 2828 3933 | 0 | 0 1309.27/1309.72 c 1309s | 24 | 5008688 | 4766462 | 2828 3937 | 0 | 0 1311.27/1311.72 c 1311s | 24 | 5014537 | 4772062 | 2828 3941 | 0 | 0 1313.27/1313.76 c 1313s | 24 | 5020353 | 4777562 | 2828 3945 | 0 | 0 1315.28/1315.76 c 1315s | 24 | 5025243 | 4782162 | 2828 3948 | 0 | 0 1317.38/1317.81 c 1317s | 24 | 5031915 | 4788562 | 2828 3952 | 0 | 0 1319.37/1319.82 c 1319s | 24 | 5038544 | 4794862 | 2828 3956 | 0 | 0 1321.37/1321.83 c 1321s | 24 | 5045695 | 4801562 | 2828 3961 | 0 | 0 1323.37/1323.84 c 1323s | 24 | 5053768 | 4809362 | 2828 3966 | 0 | 0 1325.37/1325.86 c 1325s | 24 | 5061247 | 4816662 | 2828 3971 | 0 | 0 1327.38/1327.86 c 1327s | 24 | 5068066 | 4823262 | 2828 3975 | 0 | 0 1329.37/1329.87 c 1329s | 24 | 5075405 | 4830262 | 2828 3980 | 0 | 0 1331.47/1331.90 c 1331s | 24 | 5082696 | 4837062 | 2828 3985 | 0 | 0 1333.47/1333.91 c 1333s | 24 | 5089949 | 4843662 | 2828 3989 | 0 | 0 1335.47/1335.92 c 1335s | 24 | 5097518 | 4850662 | 2828 3994 | 0 | 0 1337.47/1337.92 c 1337s | 24 | 5104623 | 4857362 | 2828 3998 | 0 | 0 1339.47/1339.93 c 1339s | 24 | 5111787 | 4864062 | 2828 4003 | 0 | 0 1341.46/1341.95 c 1341s | 24 | 5118421 | 4870162 | 2828 4007 | 0 | 0 1343.46/1343.95 c 1343s | 24 | 5125052 | 4876362 | 2828 4011 | 0 | 0 1345.47/1345.96 c 1345s | 24 | 5131506 | 4882462 | 2828 4015 | 0 | 0 1347.47/1347.98 c 1347s | 24 | 5137529 | 4888162 | 2828 4019 | 0 | 0 1349.47/1349.99 c 1349s | 24 | 5144866 | 4894962 | 2828 4024 | 0 | 0 1351.58/1352.01 c 1351s | 24 | 5152084 | 4901862 | 2828 4028 | 0 | 0 1353.57/1354.04 c 1353s | 24 | 5158433 | 4907762 | 2828 4032 | 0 | 0 1355.57/1356.04 c 1355s | 24 | 5164554 | 4913562 | 2828 4036 | 0 | 0 1357.57/1358.05 c 1357s | 24 | 5172113 | 4920562 | 2828 4041 | 0 | 0 1359.57/1360.07 c 1359s | 24 | 5179151 | 4927262 | 2828 4045 | 0 | 0 1361.57/1362.08 c 1361s | 24 | 5186049 | 4933662 | 2828 4050 | 0 | 0 1363.57/1364.08 c 1363s | 24 | 5192553 | 4939762 | 2828 4054 | 0 | 0 1365.67/1366.11 c 1365s | 24 | 5199936 | 4946862 | 2828 4059 | 0 | 0 1367.67/1368.13 c 1367s | 24 | 5206541 | 4953062 | 2828 4063 | 0 | 0 1369.67/1370.16 c 1370s | 24 | 5213615 | 4959762 | 2828 4067 | 0 | 0 1371.67/1372.17 c 1372s | 24 | 5220805 | 4966562 | 2828 4072 | 0 | 0 1373.67/1374.19 c 1374s | 24 | 5227794 | 4973262 | 2828 4076 | 0 | 0 1375.77/1376.21 c 1376s | 24 | 5235213 | 4980462 | 2828 4081 | 0 | 0 1377.76/1378.25 c 1378s | 24 | 5240591 | 4985562 | 2828 4084 | 0 | 0 1379.76/1380.27 c 1380s | 24 | 5247070 | 4991662 | 2828 4089 | 0 | 0 1381.76/1382.29 c 1382s | 24 | 5254345 | 4998762 | 2828 4093 | 0 | 0 1383.86/1384.31 c 1384s | 24 | 5263036 | 5007362 | 2828 4099 | 0 | 0 1385.86/1386.33 c 1386s | 24 | 5270120 | 5014262 | 2828 4104 | 0 | 0 1387.87/1388.34 c 1388s | 24 | 5277393 | 5021362 | 2828 4108 | 0 | 0 1389.86/1390.36 c 1390s | 24 | 5283819 | 5027562 | 2828 4112 | 0 | 0 1391.86/1392.36 c 1392s | 24 | 5290375 | 5033662 | 3111 4116 | 0 | 0 1393.86/1394.38 c 1394s | 24 | 5296060 | 5039162 | 3111 4119 | 0 | 0 1395.86/1396.38 c 1396s | 24 | 5302738 | 5045562 | 3111 4123 | 0 | 0 1397.86/1398.39 c 1398s | 24 | 5309751 | 5052262 | 3111 4127 | 0 | 0 1399.97/1400.42 c 1400s | 24 | 5315800 | 5057962 | 3111 4131 | 0 | 0 1401.96/1402.44 c 1402s | 24 | 5322007 | 5063662 | 3111 4134 | 0 | 0 1402.46/1402.92 c 1402s | 25 | 5323529 | 5065098 | 3111 4135 | 0 | 0 1404.46/1404.95 c 1404s | 25 | 5330061 | 5070998 | 3111 4139 | 0 | 0 1406.46/1406.95 c 1406s | 25 | 5336828 | 5077198 | 3111 4143 | 0 | 0 1408.46/1408.95 c 1408s | 25 | 5343328 | 5082998 | 3111 4146 | 0 | 0 1410.45/1410.97 c 1410s | 25 | 5350464 | 5089598 | 3111 4150 | 0 | 0 1412.45/1412.99 c 1412s | 25 | 5358728 | 5097098 | 3111 4155 | 0 | 0 1414.55/1415.02 c 1414s | 25 | 5366970 | 5104598 | 3111 4159 | 0 | 0 1416.55/1417.03 c 1416s | 25 | 5374380 | 5111498 | 3111 4164 | 0 | 0 1418.56/1419.06 c 1418s | 25 | 5382835 | 5119098 | 3111 4168 | 0 | 0 1420.55/1421.07 c 1420s | 25 | 5390365 | 5125698 | 3111 4172 | 0 | 0 1422.55/1423.09 c 1422s | 25 | 5398300 | 5132998 | 3111 4177 | 0 | 0 1424.65/1425.10 c 1424s | 25 | 5406355 | 5140298 | 3111 4181 | 0 | 0 1426.65/1427.12 c 1426s | 25 | 5414219 | 5147498 | 3111 4186 | 0 | 0 1428.65/1429.14 c 1429s | 25 | 5422022 | 5154598 | 3111 4190 | 0 | 0 1430.66/1431.16 c 1431s | 25 | 5428755 | 5160598 | 3111 4193 | 0 | 0 1432.65/1433.19 c 1433s | 25 | 5436053 | 5167298 | 3111 4198 | 0 | 0 1434.75/1435.20 c 1435s | 25 | 5443907 | 5174598 | 3111 4202 | 0 | 0 1436.75/1437.24 c 1437s | 25 | 5450501 | 5180698 | 3111 4206 | 0 | 0 1438.75/1439.24 c 1439s | 25 | 5457752 | 5187598 | 3111 4210 | 0 | 0 1440.75/1441.26 c 1441s | 25 | 5465055 | 5194498 | 3111 4214 | 0 | 0 1442.75/1443.28 c 1443s | 25 | 5472184 | 5201098 | 3111 4218 | 0 | 0 1444.76/1445.29 c 1445s | 25 | 5480272 | 5208098 | 3111 4223 | 0 | 0 1446.86/1447.31 c 1447s | 25 | 5487970 | 5214998 | 3111 4227 | 0 | 0 1448.85/1449.34 c 1449s | 25 | 5496045 | 5222298 | 3111 4231 | 0 | 0 1450.85/1451.35 c 1451s | 25 | 5503957 | 5229498 | 3111 4236 | 0 | 0 1452.85/1453.37 c 1453s | 25 | 5511868 | 5236498 | 3111 4240 | 0 | 0 1454.86/1455.37 c 1455s | 25 | 5519929 | 5243798 | 3111 4244 | 0 | 0 1456.85/1457.40 c 1457s | 25 | 5527871 | 5251098 | 3111 4249 | 0 | 0 1458.95/1459.40 c 1459s | 25 | 5535297 | 5257598 | 3111 4253 | 0 | 0 1460.95/1461.42 c 1461s | 25 | 5543731 | 5265198 | 3111 4258 | 0 | 0 1462.95/1463.44 c 1463s | 25 | 5551874 | 5272398 | 3111 4262 | 0 | 0 1464.95/1465.46 c 1465s | 25 | 5560499 | 5280398 | 3111 4267 | 0 | 0 1466.96/1467.48 c 1467s | 25 | 5569103 | 5288398 | 3111 4272 | 0 | 0 1468.95/1469.49 c 1469s | 25 | 5576662 | 5295398 | 3111 4276 | 0 | 0 1471.05/1471.50 c 1471s | 25 | 5585046 | 5303098 | 3111 4281 | 0 | 0 1473.05/1473.51 c 1473s | 25 | 5593094 | 5310498 | 3111 4286 | 0 | 0 1475.05/1475.52 c 1475s | 25 | 5601334 | 5317998 | 3111 4290 | 0 | 0 1477.05/1477.54 c 1477s | 25 | 5608393 | 5324498 | 3111 4294 | 0 | 0 1479.05/1479.54 c 1479s | 25 | 5615892 | 5331598 | 3111 4298 | 0 | 0 1481.05/1481.55 c 1481s | 25 | 5623142 | 5338498 | 3111 4303 | 0 | 0 1483.05/1483.57 c 1483s | 25 | 5630726 | 5345898 | 3111 4307 | 0 | 0 1485.05/1485.58 c 1485s | 25 | 5637713 | 5352598 | 3111 4311 | 0 | 0 1487.05/1487.59 c 1487s | 25 | 5645093 | 5359298 | 3111 4315 | 0 | 0 1489.14/1489.60 c 1489s | 25 | 5653057 | 5366798 | 3111 4320 | 0 | 0 1491.15/1491.60 c 1491s | 25 | 5660443 | 5373798 | 3111 4324 | 0 | 0 1493.14/1493.63 c 1493s | 25 | 5668695 | 5381698 | 3111 4329 | 0 | 0 1495.14/1495.64 c 1495s | 25 | 5676509 | 5389098 | 3111 4334 | 0 | 0 1497.14/1497.64 c 1497s | 25 | 5684431 | 5396598 | 3111 4338 | 0 | 0 1499.14/1499.64 c 1499s | 25 | 5692296 | 5403798 | 3111 4343 | 0 | 0 1501.15/1501.66 c 1501s | 25 | 5700553 | 5411298 | 3111 4347 | 0 | 0 1503.14/1503.66 c 1503s | 25 | 5708873 | 5418698 | 3111 4352 | 0 | 0 1505.14/1505.67 c 1505s | 25 | 5716990 | 5426298 | 3111 4357 | 0 | 0 1507.14/1507.68 c 1507s | 25 | 5725262 | 5433998 | 3111 4361 | 0 | 0 1509.14/1509.69 c 1509s | 25 | 5733324 | 5441598 | 3111 4366 | 0 | 0 1511.24/1511.71 c 1511s | 25 | 5741428 | 5448898 | 3111 4370 | 0 | 0 1513.25/1513.73 c 1513s | 25 | 5748186 | 5455298 | 3111 4374 | 0 | 0 1515.24/1515.75 c 1515s | 25 | 5756096 | 5462598 | 3111 4379 | 0 | 0 1517.24/1517.76 c 1517s | 25 | 5763832 | 5469698 | 3111 4383 | 0 | 0 1519.24/1519.78 c 1519s | 25 | 5772234 | 5477398 | 3111 4388 | 0 | 0 1521.24/1521.79 c 1521s | 25 | 5780274 | 5484798 | 3111 4392 | 0 | 0 1523.34/1523.81 c 1523s | 25 | 5788456 | 5492498 | 3111 4397 | 0 | 0 1525.34/1525.82 c 1525s | 25 | 5796405 | 5499898 | 3111 4402 | 0 | 0 1527.34/1527.84 c 1527s | 25 | 5804462 | 5507298 | 3111 4406 | 0 | 0 1529.34/1529.85 c 1529s | 25 | 5812693 | 5514698 | 3111 4411 | 0 | 0 1531.34/1531.88 c 1531s | 25 | 5820760 | 5522298 | 3111 4415 | 0 | 0 1533.44/1533.91 c 1533s | 25 | 5828835 | 5529698 | 3111 4420 | 0 | 0 1535.44/1535.91 c 1535s | 25 | 5837065 | 5537198 | 3111 4425 | 0 | 0 1537.44/1537.91 c 1537s | 25 | 5845591 | 5544998 | 3111 4429 | 0 | 0 1539.44/1539.93 c 1539s | 25 | 5853991 | 5552498 | 3111 4434 | 0 | 0 1541.43/1541.94 c 1541s | 25 | 5862196 | 5560198 | 3111 4439 | 0 | 0 1543.43/1543.97 c 1543s | 25 | 5870798 | 5567998 | 3111 4444 | 0 | 0 1545.43/1545.98 c 1545s | 25 | 5878949 | 5575498 | 3111 4448 | 0 | 0 1547.43/1547.98 c 1547s | 25 | 5886823 | 5582698 | 3111 4453 | 0 | 0 1549.54/1550.01 c 1549s | 25 | 5895003 | 5590298 | 3111 4457 | 0 | 0 1551.53/1552.02 c 1551s | 25 | 5903671 | 5598198 | 3111 4462 | 0 | 0 1553.53/1554.03 c 1553s | 25 | 5911289 | 5605698 | 3111 4467 | 0 | 0 1555.53/1556.05 c 1555s | 25 | 5918735 | 5612998 | 3111 4471 | 0 | 0 1557.53/1558.07 c 1557s | 25 | 5926178 | 5620298 | 3111 4476 | 0 | 0 1559.63/1560.10 c 1559s | 25 | 5934089 | 5627898 | 3111 4480 | 0 | 0 1561.64/1562.12 c 1561s | 25 | 5941044 | 5634298 | 3111 4484 | 0 | 0 1563.63/1564.15 c 1564s | 25 | 5947814 | 5640598 | 3111 4488 | 0 | 0 1565.63/1566.17 c 1566s | 25 | 5954857 | 5646998 | 3111 4492 | 0 | 0 1567.63/1568.19 c 1568s | 25 | 5962082 | 5653798 | 3111 4496 | 0 | 0 1569.73/1570.21 c 1570s | 25 | 5969769 | 5660798 | 3111 4500 | 0 | 0 1571.73/1572.21 c 1572s | 25 | 5976293 | 5666898 | 3111 4504 | 0 | 0 1573.73/1574.21 c 1574s | 25 | 5982219 | 5672398 | 3111 4507 | 0 | 0 1575.74/1576.23 c 1576s | 25 | 5988264 | 5678098 | 3111 4511 | 0 | 0 1577.74/1578.26 c 1578s | 25 | 5995431 | 5684298 | 3111 4515 | 0 | 0 1579.73/1580.28 c 1580s | 25 | 6002374 | 5690798 | 3111 4519 | 0 | 0 1581.73/1582.29 c 1582s | 25 | 6009937 | 5697798 | 3111 4523 | 0 | 0 1583.73/1584.29 c 1584s | 25 | 6016527 | 5703898 | 3111 4527 | 0 | 0 1585.84/1586.30 c 1586s | 25 | 6023838 | 5710798 | 3111 4531 | 0 | 0 1587.83/1588.32 c 1588s | 25 | 6032042 | 5718098 | 3111 4535 | 0 | 0 1589.83/1590.34 c 1590s | 25 | 6039762 | 5725198 | 3111 4540 | 0 | 0 1591.83/1592.38 c 1592s | 25 | 6047793 | 5732698 | 3111 4544 | 0 | 0 1593.93/1594.41 c 1594s | 25 | 6054728 | 5739098 | 3111 4548 | 0 | 0 1595.93/1596.44 c 1596s | 25 | 6061994 | 5745798 | 3111 4552 | 0 | 0 1597.94/1598.46 c 1598s | 25 | 6068982 | 5752398 | 3111 4556 | 0 | 0 1599.93/1600.47 c 1600s | 25 | 6075784 | 5758598 | 3111 4560 | 0 | 0 1601.93/1602.48 c 1602s | 25 | 6083700 | 5765698 | 3111 4564 | 0 | 0 1604.03/1604.50 c 1604s | 25 | 6091785 | 5772898 | 3111 4569 | 0 | 0 1606.03/1606.52 c 1606s | 25 | 6099280 | 5779898 | 3111 4573 | 0 | 0 1608.03/1608.54 c 1608s | 25 | 6105912 | 5785898 | 3111 4577 | 0 | 0 1610.03/1610.57 c 1610s | 25 | 6112161 | 5791598 | 3111 4580 | 0 | 0 1612.13/1612.63 c 1612s | 25 | 6120445 | 5799498 | 3111 4585 | 0 | 0 1614.12/1614.65 c 1614s | 25 | 6127579 | 5805898 | 3111 4589 | 0 | 0 1616.12/1616.67 c 1616s | 25 | 6135218 | 5813098 | 3111 4593 | 0 | 0 1618.12/1618.67 c 1618s | 25 | 6142590 | 5819898 | 3111 4598 | 0 | 0 1620.12/1620.69 c 1620s | 25 | 6150829 | 5827498 | 3111 4602 | 0 | 0 1622.22/1622.70 c 1622s | 25 | 6158783 | 5834798 | 3111 4607 | 0 | 0 1624.23/1624.71 c 1624s | 25 | 6165636 | 5840998 | 3111 4611 | 0 | 0 1626.22/1626.72 c 1626s | 25 | 6173578 | 5848298 | 3111 4615 | 0 | 0 1628.22/1628.73 c 1628s | 25 | 6182268 | 5855998 | 3111 4620 | 0 | 0 1630.22/1630.74 c 1630s | 25 | 6190411 | 5863198 | 3111 4624 | 0 | 0 1632.22/1632.75 c 1632s | 25 | 6198512 | 5870498 | 3111 4629 | 0 | 0 1634.23/1634.77 c 1634s | 25 | 6206982 | 5878398 | 3111 4634 | 0 | 0 1636.22/1636.78 c 1636s | 25 | 6215164 | 5885798 | 3111 4638 | 0 | 0 1638.22/1638.78 c 1638s | 25 | 6222635 | 5892698 | 3111 4642 | 0 | 0 1640.22/1640.79 c 1640s | 25 | 6230392 | 5899898 | 3111 4647 | 0 | 0 1642.23/1642.79 c 1642s | 25 | 6238433 | 5907398 | 3111 4652 | 0 | 0 1644.33/1644.82 c 1644s | 25 | 6247181 | 5915598 | 3111 4657 | 0 | 0 1646.33/1646.84 c 1646s | 25 | 6255301 | 5923098 | 3111 4661 | 0 | 0 1648.32/1648.84 c 1648s | 25 | 6263706 | 5930898 | 3111 4666 | 0 | 0 1650.32/1650.86 c 1650s | 25 | 6272010 | 5938498 | 3111 4671 | 0 | 0 1652.32/1652.87 c 1652s | 25 | 6279816 | 5945598 | 3111 4675 | 0 | 0 1654.32/1654.89 c 1654s | 25 | 6288278 | 5953498 | 3111 4680 | 0 | 0 1656.42/1656.91 c 1656s | 25 | 6295915 | 5960798 | 3111 4684 | 0 | 0 1658.43/1658.91 c 1658s | 25 | 6303219 | 5967698 | 3111 4689 | 0 | 0 1660.42/1660.94 c 1660s | 25 | 6309640 | 5973798 | 3111 4693 | 0 | 0 1662.42/1662.94 c 1662s | 25 | 6316795 | 5980698 | 3111 4697 | 0 | 0 1664.42/1664.97 c 1664s | 25 | 6324005 | 5987498 | 3111 4701 | 0 | 0 1666.42/1666.97 c 1666s | 25 | 6330713 | 5993998 | 3111 4705 | 0 | 0 1668.52/1669.01 c 1668s | 25 | 6336725 | 5999798 | 3111 4708 | 0 | 0 1670.52/1671.04 c 1670s | 25 | 6343862 | 6006698 | 3111 4713 | 0 | 0 1672.52/1673.06 c 1672s | 25 | 6350140 | 6012698 | 3111 4716 | 0 | 0 1674.52/1675.08 c 1674s | 25 | 6357515 | 6019198 | 3111 4720 | 0 | 0 1676.62/1677.10 c 1676s | 25 | 6364859 | 6025898 | 3111 4725 | 0 | 0 1678.62/1679.13 c 1678s | 25 | 6372352 | 6032698 | 3111 4729 | 0 | 0 1680.62/1681.16 c 1681s | 25 | 6381081 | 6040598 | 3111 4734 | 0 | 0 1682.62/1683.19 c 1683s | 25 | 6389232 | 6047898 | 3111 4738 | 0 | 0 1684.72/1685.22 c 1685s | 25 | 6396731 | 6054798 | 3111 4742 | 0 | 0 1686.71/1687.22 c 1687s | 25 | 6403280 | 6060898 | 3111 4746 | 0 | 0 1688.71/1689.24 c 1689s | 25 | 6409337 | 6066598 | 3111 4749 | 0 | 0 1690.71/1691.24 c 1691s | 25 | 6416253 | 6073098 | 3111 4753 | 0 | 0 1692.71/1693.25 c 1693s | 25 | 6423329 | 6079798 | 3111 4757 | 0 | 0 1694.72/1695.27 c 1695s | 25 | 6429771 | 6085898 | 3111 4761 | 0 | 0 1696.71/1697.29 c 1697s | 25 | 6436241 | 6092098 | 3111 4765 | 0 | 0 1698.81/1699.30 c 1699s | 25 | 6443452 | 6098998 | 3111 4769 | 0 | 0 1700.81/1701.34 c 1701s | 25 | 6450769 | 6105798 | 3111 4773 | 0 | 0 1702.81/1703.35 c 1703s | 25 | 6457724 | 6112198 | 3111 4777 | 0 | 0 1704.81/1705.37 c 1705s | 25 | 6464540 | 6118498 | 3111 4781 | 0 | 0 1706.82/1707.39 c 1707s | 25 | 6472010 | 6125298 | 3111 4785 | 0 | 0 1708.92/1709.41 c 1709s | 25 | 6478397 | 6131398 | 3111 4789 | 0 | 0 1710.91/1711.44 c 1711s | 25 | 6484901 | 6137598 | 3111 4793 | 0 | 0 1712.91/1713.44 c 1713s | 25 | 6492121 | 6144398 | 3111 4797 | 0 | 0 1714.91/1715.46 c 1715s | 25 | 6499199 | 6151098 | 3111 4801 | 0 | 0 1716.91/1717.48 c 1717s | 25 | 6506064 | 6157598 | 3111 4805 | 0 | 0 1719.01/1719.50 c 1719s | 25 | 6513174 | 6164198 | 3111 4809 | 0 | 0 1721.01/1721.52 c 1721s | 25 | 6520039 | 6170798 | 3111 4813 | 0 | 0 1723.01/1723.53 c 1723s | 25 | 6525931 | 6176298 | 3111 4817 | 0 | 0 1725.01/1725.55 c 1725s | 25 | 6532943 | 6182898 | 3111 4821 | 0 | 0 1727.01/1727.57 c 1727s | 25 | 6539009 | 6188698 | 3111 4824 | 0 | 0 1729.01/1729.59 c 1729s | 25 | 6546032 | 6195398 | 3111 4829 | 0 | 0 1731.10/1731.61 c 1731s | 25 | 6553394 | 6202498 | 3111 4833 | 0 | 0 1733.11/1733.61 c 1733s | 25 | 6560085 | 6208798 | 3111 4837 | 0 | 0 1735.10/1735.64 c 1735s | 25 | 6567190 | 6215398 | 3111 4841 | 0 | 0 1737.10/1737.68 c 1737s | 25 | 6574773 | 6222198 | 3111 4845 | 0 | 0 1739.20/1739.71 c 1739s | 25 | 6582896 | 6229798 | 3111 4850 | 0 | 0 1741.20/1741.73 c 1741s | 25 | 6590610 | 6236998 | 3111 4854 | 0 | 0 1743.20/1743.74 c 1743s | 25 | 6597289 | 6242798 | 3111 4858 | 0 | 0 1745.21/1745.76 c 1745s | 25 | 6604946 | 6249598 | 3111 4862 | 0 | 0 1747.20/1747.78 c 1747s | 25 | 6612809 | 6256598 | 3111 4866 | 0 | 0 1749.30/1749.80 c 1749s | 25 | 6620906 | 6263698 | 3111 4870 | 0 | 0 1751.30/1751.82 c 1751s | 25 | 6629082 | 6271198 | 3111 4875 | 0 | 0 1753.30/1753.82 c 1753s | 25 | 6637502 | 6279098 | 3111 4880 | 0 | 0 1755.30/1755.83 c 1755s | 25 | 6645339 | 6286398 | 3111 4884 | 0 | 0 1757.31/1757.85 c 1757s | 25 | 6653415 | 6293898 | 3111 4889 | 0 | 0 1759.31/1759.88 c 1759s | 25 | 6661657 | 6301198 | 3111 4893 | 0 | 0 1761.31/1761.88 c 1761s | 25 | 6669659 | 6308798 | 3111 4898 | 0 | 0 1763.31/1763.89 c 1763s | 25 | 6677557 | 6316098 | 3111 4903 | 0 | 0 1765.41/1765.90 c 1765s | 25 | 6685670 | 6323698 | 3111 4907 | 0 | 0 1767.41/1767.92 c 1767s | 25 | 6693760 | 6331298 | 3111 4912 | 0 | 0 1769.41/1769.94 c 1769s | 25 | 6702416 | 6338998 | 3111 4917 | 0 | 0 1771.41/1771.96 c 1771s | 25 | 6710661 | 6346698 | 3111 4922 | 0 | 0 1773.40/1773.96 c 1773s | 25 | 6718200 | 6353698 | 3111 4926 | 0 | 0 1775.40/1775.97 c 1775s | 25 | 6726023 | 6360998 | 3111 4930 | 0 | 0 1777.40/1777.99 c 1777s | 25 | 6734087 | 6368498 | 3111 4935 | 0 | 0 1779.50/1780.00 c 1779s | 25 | 6742261 | 6376098 | 3111 4940 | 0 | 0 1781.51/1782.02 c 1781s | 25 | 6750879 | 6384298 | 3111 4945 | 0 | 0 1783.50/1784.02 c 1783s | 25 | 6758014 | 6391098 | 3111 4949 | 0 | 0 1785.50/1786.05 c 1785s | 25 | 6764676 | 6397598 | 3111 4953 | 0 | 0 1787.50/1788.05 c 1787s | 25 | 6771475 | 6404098 | 3111 4957 | 0 | 0 1789.50/1790.07 c 1789s | 25 | 6778693 | 6410998 | 3111 4961 | 0 | 0 1791.51/1792.08 c 1791s | 25 | 6785425 | 6417498 | 3111 4965 | 0 | 0 1793.50/1794.10 c 1793s | 25 | 6791839 | 6423698 | 3111 4969 | 0 | 0 1795.60/1796.12 c 1795s | 25 | 6798170 | 6429798 | 3111 4973 | 0 | 0 1797.60/1798.12 c 1797s | 25 | 6805445 | 6436598 | 3111 4977 | 0 | 0 1799.60/1800.14 c 1800s | 25 | 6812542 | 6443298 | 3111 4981 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106505-1466272590/watcher-4106505-1466272590 -o /tmp/evaluation-result-4106505-1466272590/solver-4106505-1466272590 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106505-1466272590.opb pid=26363 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.52 2.39 2.30 3/179 26366 /proc/meminfo: memFree=28945864/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=482748 CPUtime=0 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 1756 0 0 0 0 0 0 0 20 0 4 0 29304738 494333952 2117 33554432000 4194304 16246674 140737212034352 140737212033776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 121199 2125 441 2943 0 118093 0 [pid=26366/tid=26367] ppid=26363 vsize=498108 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 510062592 2179 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=502204 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 514256896 2195 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=506300 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29304738 518451200 2211 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100209 s] /proc/loadavg: 2.52 2.39 2.30 3/179 26366 /proc/meminfo: memFree=28945864/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 21251 0 0 0 7 2 0 0 20 0 4 0 29304738 1247350784 21600 33554432000 4194304 16246674 140737212034352 140737212033776 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 304529 21608 758 2943 0 301423 0 [pid=26366/tid=26367] ppid=26363 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1247350784 21613 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1247350784 21618 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29304738 1247350784 21624 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200534 s] /proc/loadavg: 2.52 2.39 2.30 3/179 26366 /proc/meminfo: memFree=28945864/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 38696 0 0 0 14 5 0 0 20 0 4 0 29304738 1247350784 39044 33554432000 4194304 16246674 140737212034352 140737212033776 5721660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 304529 39051 794 2943 0 301423 0 [pid=26366/tid=26367] ppid=26363 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1247350784 39056 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1247350784 39060 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29304738 1247350784 39064 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300478 s] /proc/loadavg: 2.52 2.39 2.30 3/179 26366 /proc/meminfo: memFree=28945864/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 53431 0 0 0 23 6 0 0 20 0 4 0 29304738 1247350784 53779 33554432000 4194304 16246674 140737212034352 140737212033776 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 304529 53787 794 2943 0 301423 0 [pid=26366/tid=26367] ppid=26363 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1247350784 53791 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1247350784 53798 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29304738 1247350784 53805 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700416 s] /proc/loadavg: 2.52 2.39 2.30 3/179 26366 /proc/meminfo: memFree=28945864/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1218116 CPUtime=0.68 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 126482 0 0 0 51 17 0 0 20 0 4 0 29304738 1247350784 126830 33554432000 4194304 16246674 140737212034352 140737212016256 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 304529 126839 794 2943 0 301423 0 [pid=26366/tid=26367] ppid=26363 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1247350784 126843 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1247350784 126847 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29304738 1247350784 126851 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.52 2.39 2.30 3/183 26370 /proc/meminfo: memFree=28180904/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1219140 CPUtime=1.49 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 245821 0 0 0 115 34 0 0 20 0 4 0 29304738 1248399360 246147 33554432000 4194304 16246674 140737212034352 140737212033664 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 304785 246147 851 2943 0 301679 0 [pid=26366/tid=26367] ppid=26363 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1248399360 246147 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1248399360 246147 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1248399360 246147 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10043 s] /proc/loadavg: 2.48 2.39 2.30 3/183 26370 /proc/meminfo: memFree=27876096/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 267519 0 0 0 273 36 0 0 20 0 4 0 29304738 1337528320 267845 33554432000 4194304 16246674 140737212034352 140737212016256 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 326545 267845 851 2943 0 323439 0 [pid=26366/tid=26367] ppid=26363 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1337528320 267845 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1337528320 267845 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1337528320 267845 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30035 s] /proc/loadavg: 2.48 2.39 2.30 3/183 26370 /proc/meminfo: memFree=27874288/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 267639 0 0 0 593 36 0 0 20 0 4 0 29304738 1337528320 267965 33554432000 4194304 16246674 140737212034352 140737212016256 5822740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 326545 267965 851 2943 0 323439 0 [pid=26366/tid=26367] ppid=26363 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1337528320 267965 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1337528320 267965 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1337528320 267965 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.40 2.37 2.30 3/183 26370 /proc/meminfo: memFree=27871816/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1308228 CPUtime=12.68 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 268141 0 0 0 1232 36 0 0 20 0 4 0 29304738 1339625472 268467 33554432000 4194304 16246674 140737212034352 140737212016256 5827656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 327057 268467 853 2943 0 323951 0 [pid=26366/tid=26367] ppid=26363 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1339625472 268467 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1339625472 268467 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1339625472 268467 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.41 2.38 2.30 3/183 26370 /proc/meminfo: memFree=27871460/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1309252 CPUtime=25.49 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 268369 0 0 0 2512 37 0 0 20 0 4 0 29304738 1340674048 268695 33554432000 4194304 16246674 140737212034352 140737212017352 5827632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 327313 268695 853 2943 0 324207 0 [pid=26366/tid=26367] ppid=26363 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1340674048 268695 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1340674048 268695 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1340674048 268695 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1309252 [startup+51.1005 s] /proc/loadavg: 2.41 2.38 2.30 3/183 26370 /proc/meminfo: memFree=27871552/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1309252 CPUtime=51.08 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 268373 0 0 0 5071 37 0 0 20 0 4 0 29304738 1340674048 268699 33554432000 4194304 16246674 140737212034352 140737212017352 5754660 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 327313 268699 853 2943 0 324207 0 [pid=26366/tid=26367] ppid=26363 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1340674048 268699 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1340674048 268699 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1340674048 268699 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1309252 [startup+102.3 s] /proc/loadavg: 2.41 2.37 2.30 3/183 26371 /proc/meminfo: memFree=27871260/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1309252 CPUtime=102.28 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 268409 0 0 0 10191 37 0 0 20 0 4 0 29304738 1340674048 268735 33554432000 4194304 16246674 140737212034352 140737212016256 13808416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 327313 268735 853 2943 0 324207 0 [pid=26366/tid=26367] ppid=26363 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1340674048 268735 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1340674048 268735 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1340674048 268735 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1345916928 270273 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1314372 [startup+1362.3 s] /proc/loadavg: 2.14 2.24 2.29 3/183 26620 /proc/meminfo: memFree=27857968/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1314372 CPUtime=1361.87 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 270115 0 0 0 136136 51 0 0 20 0 4 0 29304738 1345916928 270273 33554432000 4194304 16246674 140737212034352 140737212016256 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 328593 270273 855 2943 0 325487 0 [pid=26366/tid=26367] ppid=26363 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1345916928 270273 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1345916928 270273 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1345916928 270273 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1314372 [startup+1422.3 s] /proc/loadavg: 2.19 2.24 2.28 4/184 26625 /proc/meminfo: memFree=27854276/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1318468 CPUtime=1421.86 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 270911 0 0 0 142135 51 0 0 20 0 4 0 29304738 1350111232 271069 33554432000 4194304 16246674 140737212034352 140737212016256 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 329617 271069 855 2943 0 326511 0 [pid=26366/tid=26367] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271069 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271069 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271069 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1318468 [startup+1482.3 s] /proc/loadavg: 2.30 2.25 2.28 4/183 26626 /proc/meminfo: memFree=27853736/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1318468 CPUtime=1481.85 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 271139 0 0 0 148133 52 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140737212016256 5823615 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 329617 271297 855 2943 0 326511 0 [pid=26366/tid=26367] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1318468 [startup+1542.31 s] /proc/loadavg: 2.34 2.27 2.28 3/183 26627 /proc/meminfo: memFree=27848872/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1318468 CPUtime=1541.84 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 271139 0 0 0 154132 52 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140737212016256 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 329617 271297 855 2943 0 326511 0 [pid=26366/tid=26367] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1318468 [startup+1602.3 s] /proc/loadavg: 2.35 2.28 2.28 4/183 26628 /proc/meminfo: memFree=27764584/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1318468 CPUtime=1601.83 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 271139 0 0 0 160130 53 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140737212016256 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 329617 271297 855 2943 0 326511 0 [pid=26366/tid=26367] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1318468 [startup+1662.3 s] /proc/loadavg: 2.32 2.27 2.27 4/183 26629 /proc/meminfo: memFree=27700888/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1318468 CPUtime=1661.82 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 271139 0 0 0 166128 54 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140737212016256 5822592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 329617 271297 855 2943 0 326511 0 [pid=26366/tid=26367] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1318468 [startup+1722.3 s] /proc/loadavg: 2.34 2.28 2.27 4/183 26631 /proc/meminfo: memFree=27522956/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1318468 CPUtime=1721.81 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 271139 0 0 0 172127 54 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140737212017352 5822240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 329617 271297 855 2943 0 326511 0 [pid=26366/tid=26367] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1318468 [startup+1782.3 s] /proc/loadavg: 2.19 2.25 2.26 3/183 26632 /proc/meminfo: memFree=27460872/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1318468 CPUtime=1781.8 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 271139 0 0 0 178125 55 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140737212016256 13191438 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 329617 271297 855 2943 0 326511 0 [pid=26366/tid=26367] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1318468 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.30 2.27 2.27 3/183 26632 /proc/meminfo: memFree=27413844/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1318468 CPUtime=1800 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 271139 0 0 0 179945 55 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140737212016256 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 329617 271297 855 2943 0 326511 0 [pid=26366/tid=26367] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1318468 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 26366 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.30 2.27 2.27 3/183 26632 /proc/meminfo: memFree=27413844/32872528 swapFree=1499884/1696108 [pid=26366] ppid=26363 vsize=1318468 CPUtime=1800 cores=1,3,5,7 /proc/26366/stat : 26366 (toysat) R 26363 26366 24910 0 -1 4202496 271139 0 0 0 179945 55 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140737212016256 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/26366/statm: 329617 271297 855 2943 0 326511 0 [pid=26366/tid=26367] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26367/stat : 26367 (toysat) S 26363 26366 24910 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202442992880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=26366/tid=26368] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26368/stat : 26368 (toysat) S 26363 26366 24910 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202362252528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=26366/tid=26369] ppid=26363 vsize=1318468 CPUtime=0 cores=1,3,5,7 /proc/26366/task/26369/stat : 26369 (toysat) S 26363 26366 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29304738 1350111232 271297 33554432000 4194304 16246674 140737212034352 140202351778992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1318468 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1799.46 CPU system time (s): 0.555915 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 1318468 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.46 system time used= 0.555915 maximum resident set size= 1085188 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271139 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= 437 involuntary context switches= 1841 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.43033 second user time and 7.09292 second system time The end
Begin job on node137 at 2016-06-18 19:56:30 IDJOB=4106505 IDBENCH=48084 IDSOLVER=2542 FILE ID=node137/4106505-1466272590 RUNJOBID= node137-1466264772-24927 PBS_JOBID= 19918225 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=149-P1=191-P2=149-P3=191-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106505-1466272590/watcher-4106505-1466272590 -o /tmp/evaluation-result-4106505-1466272590/solver-4106505-1466272590 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106505-1466272590.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cc19af3381948bbdeb155f7d94c524f8 RANDOM SEED=895534497 node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28946244 kB Buffers: 152020 kB Cached: 257220 kB SwapCached: 1268 kB Active: 1230448 kB Inactive: 256872 kB Active(anon): 1079652 kB Inactive(anon): 1028 kB Active(file): 150796 kB Inactive(file): 255844 kB Unevictable: 1696108 kB Mlocked: 1499884 kB SwapTotal: 67108856 kB SwapFree: 67100008 kB Dirty: 16532 kB Writeback: 0 kB AnonPages: 2773816 kB Mapped: 10460 kB Shmem: 0 kB Slab: 607624 kB SReclaimable: 51624 kB SUnreclaim: 556000 kB KernelStack: 1520 kB PageTables: 9460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2916456 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 204800 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71672 MiB End job on node137 at 2016-06-18 20:26:31