| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_2.opb |
| MD5SUM | 219f407da86957d900e068170e9af8b6 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -28 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -32 |
| Optimality of the best value was proved | NO |
| Number of variables | 400 |
| Total number of constraints | 601 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 12440 |
| Sum of products size (including duplicates) | 24880 |
| Number of different products | 6220 |
| Sum of products size | 12440 |
0.00/0.00 c 2016-06-07T03:01:24+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-4080100-1465261284.opb"] 0.00/0.01 c use --random-gen="2754628749 4002669971 2318325031 1326724275 3798417021 163843683 1256844034 4056862891 1360500716 2610550806 3498401843 3060853832 1525030829 905057949 863004032 3730566907 3288793732 306858402 3198791862 2959963787 561040771 1814146212 2359762249 3445309347 2329985935 1772735312 3044003099 2230739846 3168669474 3966518250 4038335096 2642454718 3399297840 3917427829 3427029281 3636777650 45297029 3420608803 3359797837 711480566 1620456408 2606959607 217570681 1824507621 2416463808 2192290810 286567984 191612383 3884677855 1233078869 2259287293 131510249 4180271366 1310422784 93104600 802103655 1374650820 1803352751 1111805222 3739951760 2956467085 4149281010 259451569 3198843829 647186915 1521196777 1698996074 157877655 1096881093 3690139429 3293549684 2258101908 3421498638 3804423987 3161438080 1519864182 1682435750 3062800914 4053307675 1863334809 267609645 2148269613 2138951765 2619935029 3829639062 3166709583 520807472 1731179317 2712486532 3050055714 2123138456 2829503332 2129963623 2531424871 1980479988 43349953 2802072385 1494272465 437499566 1400959971 2970757090 2794291477 1689419441 965705822 2725035431 1740028624 3830386345 25142826 927907037 2247940788 449577613 3942916995 3664497827 1002577540 249524222 581202861 203069307 3037069906 2042500289 3685848682 1506011983 994849518 574447030 220625681 2343046085 1628958564 2457188903 2320223294 3766423723 3490323413 3502694525 3355606770 2888470785 367750147 3842585839 578159632 1009570015 2565260437 834111013 241655043 1461674223 557737974 9685769 3954526682 2540251632 1083162623 2652189658 1853962556 82022918 2051371694 3934131812 3620808345 593125387 2617484007 877103989 396921209 2475054889 1085712595 2409630279 838257355 639803509 487181202 2272044215 2523734323 2392944984 3802673255 3486384509 3455881154 2880705134 707446824 263138562 2140474875 4245746413 1129443214 2801319728 1854929826 3761124704 2543647169 1850952566 1351956331 1440723974 2949708909 2672542734 2173981663 4084678627 2523573708 1988839867 4263082078 2387632523 1090427267 914248551 2939661035 1255623089 838731325 309460511 853631147 1405437416 3590621064 2582280064 1857739853 97056438 2186787126 3321857594 539609561 990014774 4119318029 2077099737 2057342994 2801123601 4003908518 3095305797 1873143972 1070704901 2962947892 2118264138 463155436 3875431524 3807912347 763296725 41327994 3233380248 2717849913 1818180112 3628960442 1132783676 2681320082 3168596248 3594397345 2641208915 3690892803 1297879732 2301768485 80040115 3595716720 3371025806 1195001766 1556841430 915020525 299330886 263570790 3950009151 3593144338 2249961015 2327353043 3803509269 896865567 805162112 376555504 385044964 279802355 2410482806 396584679 365774788 2115894057 2700204021 3765834235 255 362436" option to reproduce the execution 0.00/0.06 c #vars 400 0.00/0.06 c #constraints 601 0.19/0.20 c BCD2: Hardening is enabled. 0.19/0.20 c BCD2: BiasedSearch is enabled. 0.19/0.20 c Solving starts ... 0.19/0.20 c ============================[ Search Statistics ]============================ 0.19/0.20 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.20 c | | | | Limit GC | Var | Constra 0.19/0.20 c ============================================================================= 0.19/0.20 c 0.0s | 0 | 0 | 0 | 4480 0 | 0 | 0 0.19/0.22 c 0.0s | 0 | 257 | 1 | 4480 0 | 0 | 0 0.19/0.22 c #cpu_time = 0.012s 0.19/0.22 c #wall_clock_time = 0.012s 0.19/0.22 c #decision = 257 0.19/0.22 c #random_decision = 2 0.19/0.22 c #conflict = 1 0.19/0.22 c #restart = 0 0.19/0.22 o -19 0.19/0.22 c BCD2: updating upper bound: 200 -> 180 0.19/0.22 c BCD2: 0 <= obj <= 180 0.19/0.22 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.19/0.22 c BCD2: #sat=1 #unsat=1 bias=1/2 0.19/0.22 c Solving starts ... 0.19/0.22 c ============================[ Search Statistics ]============================ 0.19/0.22 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.22 c | | | | Limit GC | Var | Constra 0.19/0.22 c ============================================================================= 0.19/0.22 c 0.0s | 0 | 0 | 0 | 4480 0 | 0 | 0 0.19/0.23 c 0.0s | 0 | 109 | 2 | 4480 0 | 0 | 0 0.19/0.23 c #cpu_time = 0.009s 0.19/0.23 c #wall_clock_time = 0.009s 0.19/0.23 c #decision = 109 0.19/0.23 c #random_decision = 0 0.19/0.23 c #conflict = 2 0.19/0.23 c #restart = 0 0.19/0.23 c BCD2: found a new core of size 100: cost of the new core is >=1 0.19/0.23 c lower bound updated to -199 0.19/0.23 c BCD2: 1 <= obj <= 180 0.19/0.23 c BCD2: #cores=1, #unrelaxed=100, #relaxed=100, #hardened=0 0.19/0.23 c BCD2: #sat=1 #unsat=2 bias=2/3 0.19/0.23 c Solving starts ... 0.19/0.23 c ============================[ Search Statistics ]============================ 0.19/0.23 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.23 c | | | | Limit GC | Var | Constra 0.19/0.23 c ============================================================================= 0.19/0.23 c 0.0s | 0 | 0 | 0 | 4480 0 | 0 | 0 0.19/0.24 c 0.0s | 0 | 101 | 1 | 4480 0 | 0 | 0 0.19/0.24 c #cpu_time = 0.014s 0.19/0.24 c #wall_clock_time = 0.014s 0.19/0.24 c #decision = 101 0.19/0.24 c #random_decision = 0 0.19/0.24 c #conflict = 1 0.19/0.24 c #restart = 0 0.19/0.24 c BCD2: relaxing 100 and merging with 1 cores into a new core of size 200: cost of the new core is >=2 0.19/0.24 c lower bound updated to -198 0.19/0.24 c BCD2: 2 <= obj <= 180 0.19/0.24 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 0.19/0.24 c BCD2: #sat=1 #unsat=3 bias=3/4 0.19/0.24 c Solving starts ... 0.19/0.24 c ============================[ Search Statistics ]============================ 0.19/0.24 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.24 c | | | | Limit GC | Var | Constra 0.19/0.24 c ============================================================================= 0.19/0.24 c 0.0s | 0 | 0 | 0 | 4480 0 | 1 | 0 0.29/0.31 c 0.1s | 1 | 3162 | 100 | 4928 0 | 1 | 1 0.39/0.48 c 0.2s | 2 | 12682 | 250 | 5421 0 | 1 | 1 0.89/0.91 c 0.7s | 3 | 18909 | 475 | 5964 0 | 1 | 1 1.29/1.33 c 1.1s | 4 | 28538 | 813 | 6561 0 | 1 | 1 2.20/2.27 c 2.0s | 5 | 30393 | 1320 | 7218 0 | 1 | 1 3.39/3.45 c 3.2s | 6 | 34471 | 2081 | 7940 0 | 1 | 1 4.99/5.05 c 4.8s | 7 | 47764 | 3223 | 8734 0 | 1 | 1 7.08/7.12 c 6.9s | 7 | 68862 | 4823 | 8734 0 | 1 | 1 7.38/7.40 c 7.2s | 8 | 68970 | 4936 | 9608 0 | 1 | 1 9.48/9.51 c 9.3s | 8 | 96204 | 6636 | 9608 0 | 1 | 1 10.99/11.02 c 10.8s | 9 | 113174 | 7506 | 10569 0 | 1 | 1 13.08/13.17 c 12.9s | 9 | 126537 | 8906 | 10569 0 | 1 | 1 15.18/15.25 c 15.0s | 9 | 151361 | 10206 | 10569 0 | 1 | 1 17.19/17.27 c 17.0s | 9 | 161405 | 11206 | 10569 1 | 1 | 1 17.39/17.49 c 17.2s | 10 | 162619 | 11361 | 11626 1 | 1 | 1 19.59/19.63 c 19.4s | 10 | 175931 | 12961 | 11626 1 | 1 | 1 21.59/21.67 c 21.4s | 10 | 189859 | 14161 | 11626 1 | 1 | 1 23.68/23.70 c 23.5s | 10 | 208021 | 15661 | 11626 1 | 1 | 1 25.58/25.64 c 25.4s | 11 | 228005 | 17144 | 12789 1 | 1 | 1 27.59/27.68 c 27.4s | 11 | 262816 | 18344 | 12789 1 | 1 | 1 29.69/29.76 c 29.5s | 11 | 307090 | 19644 | 12789 2 | 1 | 1 31.68/31.77 c 31.5s | 11 | 355325 | 21144 | 12789 2 | 1 | 1 33.78/33.87 c 33.6s | 11 | 391177 | 22644 | 12789 2 | 1 | 1 35.78/35.87 c 35.6s | 11 | 408208 | 24244 | 12789 2 | 1 | 1 37.88/37.96 c 37.7s | 11 | 423706 | 25644 | 12789 3 | 1 | 1 38.18/38.23 c 38.0s | 12 | 427427 | 25819 | 14068 3 | 1 | 1 40.28/40.30 c 40.1s | 12 | 444229 | 27019 | 14068 3 | 1 | 1 42.38/42.41 c 42.2s | 12 | 462093 | 28319 | 14068 3 | 1 | 1 44.38/44.42 c 44.2s | 12 | 490034 | 29919 | 14068 3 | 1 | 1 46.48/46.50 c 46.3s | 12 | 530599 | 31419 | 14068 3 | 1 | 1 48.58/48.61 c 48.4s | 12 | 570098 | 32719 | 14068 4 | 1 | 1 50.59/50.64 c 50.4s | 12 | 611592 | 34319 | 14068 4 | 1 | 1 52.68/52.70 c 52.5s | 12 | 639331 | 35719 | 14068 4 | 1 | 1 54.78/54.82 c 54.6s | 12 | 675095 | 37019 | 14068 4 | 1 | 1 56.78/56.83 c 56.6s | 12 | 702054 | 38519 | 14068 4 | 1 | 1 57.38/57.43 c 57.2s | 13 | 703557 | 38832 | 15475 4 | 1 | 1 59.48/59.59 c 59.3s | 13 | 705543 | 39432 | 15475 4 | 1 | 1 61.68/61.76 c 61.5s | 13 | 717274 | 40532 | 15475 4 | 1 | 1 63.88/63.93 c 63.7s | 13 | 723289 | 41332 | 15475 5 | 1 | 1 65.98/66.09 c 65.8s | 13 | 728124 | 42332 | 15475 5 | 1 | 1 68.37/68.44 c 68.2s | 13 | 733091 | 43432 | 15475 5 | 1 | 1 70.48/70.52 c 70.3s | 13 | 744695 | 44732 | 15475 5 | 1 | 1 72.58/72.70 c 72.5s | 13 | 757876 | 45732 | 15475 5 | 1 | 1 74.78/74.81 c 74.6s | 13 | 782823 | 47032 | 15475 5 | 1 | 1 76.87/76.90 c 76.7s | 13 | 796697 | 48432 | 15475 5 | 1 | 1 78.97/79.02 c 78.8s | 13 | 806767 | 49532 | 15475 6 | 1 | 1 80.97/81.08 c 80.8s | 13 | 821256 | 50732 | 15475 6 | 1 | 1 83.07/83.13 c 82.9s | 13 | 834523 | 52032 | 15475 6 | 1 | 1 85.17/85.25 c 85.0s | 13 | 835847 | 52932 | 15475 6 | 1 | 1 87.27/87.37 c 87.1s | 13 | 838137 | 54132 | 15475 6 | 1 | 1 89.37/89.40 c 89.2s | 13 | 847090 | 55532 | 15475 6 | 1 | 1 91.38/91.45 c 91.2s | 13 | 865497 | 56732 | 15475 6 | 1 | 1 93.38/93.48 c 93.2s | 13 | 873088 | 57632 | 15475 7 | 1 | 1 94.78/94.80 c 94.6s | 14 | 883454 | 58352 | 17023 7 | 1 | 1 96.78/96.86 c 96.6s | 14 | 897941 | 59452 | 17023 7 | 1 | 1 98.87/98.94 c 98.7s | 14 | 908487 | 60552 | 17023 7 | 1 | 1 100.97/101.03 c 100s | 14 | 915661 | 61552 | 17023 7 | 1 | 1 103.07/103.12 c 102s | 14 | 917308 | 62652 | 17023 7 | 1 | 1 105.07/105.16 c 104s | 14 | 942598 | 63852 | 17023 7 | 1 | 1 107.27/107.38 c 107s | 14 | 947054 | 64952 | 17023 7 | 1 | 1 109.47/109.54 c 109s | 14 | 966566 | 66052 | 17023 7 | 1 | 1 111.47/111.58 c 111s | 14 | 978107 | 67352 | 17023 8 | 1 | 1 113.57/113.61 c 113s | 14 | 995616 | 68552 | 17023 8 | 1 | 1 115.58/115.64 c 115s | 14 | 1012900 | 69952 | 17023 8 | 1 | 1 117.68/117.72 c 117s | 14 | 1024991 | 71052 | 17023 8 | 1 | 1 119.77/119.85 c 119s | 14 | 1037612 | 72152 | 17023 8 | 1 | 1 121.87/121.99 c 121s | 14 | 1042914 | 73052 | 17023 8 | 1 | 1 124.07/124.19 c 123s | 14 | 1045792 | 74152 | 17023 8 | 1 | 1 126.27/126.33 c 126s | 14 | 1050113 | 75052 | 17023 8 | 1 | 1 128.36/128.44 c 128s | 14 | 1053801 | 76252 | 17023 9 | 1 | 1 130.56/130.61 c 130s | 14 | 1059316 | 77552 | 17023 9 | 1 | 1 132.66/132.76 c 132s | 14 | 1061375 | 78652 | 17023 9 | 1 | 1 134.66/134.77 c 134s | 14 | 1063494 | 79752 | 17023 9 | 1 | 1 136.76/136.84 c 136s | 14 | 1070332 | 81152 | 17023 9 | 1 | 1 138.86/138.96 c 138s | 14 | 1075606 | 82552 | 17023 9 | 1 | 1 141.06/141.14 c 140s | 14 | 1083021 | 83852 | 17023 10 | 1 | 1 143.26/143.33 c 143s | 14 | 1103521 | 85152 | 17023 10 | 1 | 1 145.27/145.39 c 145s | 14 | 1108491 | 86252 | 17023 10 | 1 | 1 147.37/147.48 c 147s | 14 | 1120672 | 87552 | 18726 10 | 1 | 1 147.56/147.64 c 147s | 15 | 1121104 | 87632 | 18726 10 | 1 | 1 149.57/149.66 c 149s | 15 | 1130023 | 88832 | 18726 10 | 1 | 1 151.66/151.70 c 151s | 15 | 1133966 | 89832 | 18726 10 | 1 | 1 153.67/153.73 c 153s | 15 | 1154034 | 90932 | 18726 10 | 1 | 1 155.67/155.76 c 155s | 15 | 1173848 | 92032 | 18726 10 | 1 | 1 157.87/157.91 c 157s | 15 | 1177284 | 93032 | 18726 10 | 1 | 1 160.06/160.17 c 159s | 15 | 1186384 | 94132 | 18726 11 | 1 | 1 162.26/162.33 c 162s | 15 | 1189570 | 95332 | 18726 11 | 1 | 1 164.26/164.39 c 164s | 15 | 1195095 | 96632 | 18726 11 | 1 | 1 166.46/166.53 c 166s | 15 | 1209815 | 97932 | 18726 11 | 1 | 1 168.46/168.58 c 168s | 15 | 1224169 | 99132 | 18726 11 | 1 | 1 170.66/170.70 c 170s | 15 | 1241236 | 100432 | 18726 11 | 1 | 1 172.66/172.72 c 172s | 15 | 1249351 | 101632 | 18726 11 | 1 | 1 174.66/174.76 c 174s | 15 | 1259516 | 102932 | 18726 11 | 1 | 1 176.86/176.91 c 176s | 15 | 1278141 | 104232 | 18726 12 | 1 | 1 179.06/179.11 c 178s | 15 | 1283102 | 105532 | 18726 12 | 1 | 1 181.06/181.11 c 180s | 15 | 1287516 | 106632 | 18726 12 | 1 | 1 183.06/183.13 c 182s | 15 | 1295932 | 108032 | 18726 12 | 1 | 1 185.15/185.23 c 184s | 15 | 1302610 | 109232 | 18726 12 | 1 | 1 187.25/187.31 c 187s | 15 | 1306389 | 110432 | 18726 12 | 1 | 1 189.35/189.47 c 189s | 15 | 1314664 | 111632 | 18726 12 | 1 | 1 191.36/191.48 c 191s | 15 | 1322522 | 112832 | 18726 12 | 1 | 1 193.56/193.67 c 193s | 15 | 1325849 | 113832 | 18726 13 | 1 | 1 195.65/195.70 c 195s | 15 | 1330024 | 114932 | 18726 13 | 1 | 1 197.75/197.80 c 197s | 15 | 1333570 | 116032 | 18726 13 | 1 | 1 199.75/199.85 c 199s | 15 | 1337875 | 117132 | 18726 13 | 1 | 1 201.75/201.87 c 201s | 15 | 1340430 | 118232 | 18726 13 | 1 | 1 203.85/203.94 c 203s | 15 | 1342981 | 119332 | 18726 13 | 1 | 1 206.25/206.37 c 206s | 15 | 1344979 | 120432 | 18726 13 | 1 | 1 208.36/208.49 c 208s | 15 | 1350107 | 121632 | 18726 13 | 1 | 1 210.56/210.62 c 210s | 15 | 1356099 | 122932 | 18726 14 | 1 | 1 212.56/212.65 c 212s | 15 | 1357947 | 123732 | 18726 14 | 1 | 1 214.66/214.76 c 214s | 15 | 1361649 | 125132 | 18726 14 | 1 | 1 216.86/216.95 c 216s | 15 | 1366407 | 126532 | 18726 14 | 1 | 1 218.96/219.03 c 218s | 15 | 1371137 | 127832 | 18726 14 | 1 | 1 220.95/221.10 c 220s | 15 | 1372728 | 129032 | 18726 14 | 1 | 1 223.15/223.27 c 223s | 15 | 1375076 | 130232 | 18726 14 | 1 | 1 225.25/225.36 c 225s | 15 | 1382589 | 131332 | 20599 14 | 1 | 1 225.65/225.70 c 225s | 16 | 1383190 | 131552 | 20599 14 | 1 | 1 227.66/227.72 c 227s | 16 | 1391788 | 132652 | 20599 14 | 1 | 1 229.65/229.76 c 229s | 16 | 1397505 | 133752 | 20599 14 | 1 | 1 231.65/231.77 c 231s | 16 | 1400040 | 134752 | 20599 15 | 1 | 1 234.45/234.56 c 234s | 16 | 1403182 | 135952 | 20599 15 | 1 | 1 236.56/236.64 c 236s | 16 | 1411823 | 137252 | 20599 15 | 1 | 1 238.66/238.72 c 238s | 16 | 1419980 | 138552 | 20599 15 | 1 | 1 240.65/240.73 c 240s | 16 | 1425830 | 139852 | 20599 15 | 1 | 1 242.85/242.91 c 242s | 16 | 1431025 | 141352 | 20599 15 | 1 | 1 244.95/245.07 c 244s | 16 | 1435415 | 142752 | 20599 15 | 1 | 1 247.15/247.21 c 246s | 16 | 1437446 | 143752 | 20599 15 | 1 | 1 249.35/249.42 c 249s | 16 | 1439729 | 144752 | 20599 16 | 1 | 1 251.35/251.47 c 251s | 16 | 1443804 | 145952 | 20599 16 | 1 | 1 253.55/253.62 c 253s | 16 | 1445478 | 147052 | 20599 16 | 1 | 1 255.55/255.63 c 255s | 16 | 1450372 | 148352 | 20599 16 | 1 | 1 257.65/257.74 c 257s | 16 | 1454947 | 149752 | 20599 16 | 1 | 1 259.85/259.91 c 259s | 16 | 1471732 | 151152 | 20599 16 | 1 | 1 261.95/262.00 c 261s | 16 | 1495202 | 152352 | 20599 16 | 1 | 1 263.95/264.04 c 263s | 16 | 1498790 | 153552 | 20599 16 | 1 | 1 266.05/266.10 c 265s | 16 | 1502131 | 154652 | 20599 16 | 1 | 1 268.15/268.21 c 267s | 16 | 1506687 | 155752 | 20599 17 | 1 | 1 270.24/270.36 c 270s | 16 | 1522344 | 157052 | 20599 17 | 1 | 1 272.34/272.44 c 272s | 16 | 1527563 | 158352 | 20599 17 | 1 | 1 274.54/274.67 c 274s | 16 | 1530986 | 159452 | 20599 17 | 1 | 1 276.64/276.79 c 276s | 16 | 1542133 | 160952 | 20599 17 | 1 | 1 278.74/278.87 c 278s | 16 | 1552641 | 162252 | 20599 17 | 1 | 1 280.74/280.88 c 280s | 16 | 1555968 | 163352 | 20599 17 | 1 | 1 282.94/283.00 c 282s | 16 | 1559526 | 164552 | 20599 17 | 1 | 1 284.85/285.00 c 284s | 16 | 1562507 | 165652 | 20599 17 | 1 | 1 287.05/287.11 c 286s | 16 | 1570423 | 166852 | 20599 18 | 1 | 1 289.04/289.13 c 288s | 16 | 1573049 | 168052 | 20599 18 | 1 | 1 291.04/291.19 c 290s | 16 | 1578969 | 169352 | 20599 18 | 1 | 1 293.24/293.31 c 293s | 16 | 1581949 | 170552 | 20599 18 | 1 | 1 295.44/295.52 c 295s | 16 | 1584825 | 171752 | 20599 18 | 1 | 1 297.44/297.53 c 297s | 16 | 1586520 | 172752 | 20599 18 | 1 | 1 299.43/299.59 c 299s | 16 | 1595439 | 173852 | 20599 18 | 1 | 1 301.53/301.66 c 301s | 16 | 1601884 | 175452 | 20599 18 | 1 | 1 303.54/303.66 c 303s | 16 | 1606149 | 176552 | 20599 19 | 1 | 1 305.63/305.78 c 305s | 16 | 1612610 | 178052 | 20599 19 | 1 | 1 307.63/307.79 c 307s | 16 | 1615901 | 179352 | 20599 19 | 1 | 1 309.83/309.92 c 309s | 16 | 1617968 | 180652 | 20599 19 | 1 | 1 311.83/311.93 c 311s | 16 | 1624458 | 182052 | 20599 19 | 1 | 1 313.93/314.03 c 313s | 16 | 1627707 | 183452 | 20599 19 | 1 | 1 316.03/316.14 c 315s | 16 | 1634578 | 184952 | 20599 19 | 1 | 1 318.23/318.30 c 318s | 16 | 1640603 | 186252 | 20599 19 | 1 | 1 320.23/320.33 c 320s | 16 | 1649018 | 187552 | 20599 20 | 1 | 1 322.93/323.06 c 322s | 16 | 1652091 | 188552 | 20599 20 | 1 | 1 324.93/325.07 c 324s | 16 | 1665144 | 189852 | 20599 20 | 1 | 1 326.93/327.08 c 326s | 16 | 1669595 | 191052 | 20599 20 | 1 | 1 329.13/329.25 c 329s | 16 | 1678989 | 192452 | 20599 20 | 1 | 1 331.33/331.46 c 331s | 16 | 1681577 | 193652 | 20599 20 | 1 | 1 333.33/333.46 c 333s | 16 | 1687315 | 194852 | 20599 20 | 1 | 1 335.43/335.57 c 335s | 16 | 1690223 | 195952 | 20599 20 | 1 | 1 337.53/337.61 c 337s | 16 | 1695412 | 197152 | 22659 20 | 1 | 1 337.93/338.09 c 337s | 17 | 1696708 | 197432 | 22659 20 | 1 | 1 340.03/340.19 c 339s | 17 | 1700680 | 198432 | 22659 20 | 1 | 1 342.13/342.24 c 341s | 17 | 1702247 | 199432 | 22659 21 | 1 | 1 344.23/344.32 c 344s | 17 | 1704467 | 200532 | 22659 21 | 1 | 1 346.32/346.43 c 346s | 17 | 1707060 | 201732 | 22659 21 | 1 | 1 348.42/348.57 c 348s | 17 | 1709400 | 202932 | 22659 21 | 1 | 1 350.53/350.61 c 350s | 17 | 1718886 | 203932 | 22659 21 | 1 | 1 352.53/352.65 c 352s | 17 | 1723110 | 205232 | 22659 21 | 1 | 1 354.63/354.75 c 354s | 17 | 1726714 | 206532 | 22659 21 | 1 | 1 356.73/356.83 c 356s | 17 | 1730039 | 207832 | 22659 21 | 1 | 1 358.83/358.91 c 358s | 17 | 1733276 | 209132 | 22659 21 | 1 | 1 360.83/360.93 c 360s | 17 | 1735170 | 210332 | 22659 21 | 1 | 1 362.93/363.10 c 362s | 17 | 1737964 | 211432 | 22659 22 | 1 | 1 365.02/365.13 c 364s | 17 | 1744712 | 212632 | 22659 22 | 1 | 1 367.02/367.14 c 366s | 17 | 1748889 | 213932 | 22659 22 | 1 | 1 369.02/369.17 c 368s | 17 | 1756930 | 215232 | 22659 22 | 1 | 1 371.22/371.32 c 371s | 17 | 1759924 | 216432 | 22659 22 | 1 | 1 373.22/373.37 c 373s | 17 | 1762162 | 217632 | 22659 22 | 1 | 1 375.42/375.51 c 375s | 17 | 1764078 | 218932 | 22659 22 | 1 | 1 377.53/377.61 c 377s | 17 | 1766288 | 220232 | 22659 22 | 1 | 1 379.53/379.63 c 379s | 17 | 1769579 | 221532 | 22659 22 | 1 | 1 381.63/381.78 c 381s | 17 | 1775966 | 222832 | 22659 23 | 1 | 1 383.72/383.89 c 383s | 17 | 1779991 | 224332 | 22659 23 | 1 | 1 385.92/386.00 c 385s | 17 | 1783006 | 225732 | 22659 23 | 1 | 1 387.92/388.08 c 387s | 17 | 1787904 | 226832 | 22659 23 | 1 | 1 390.02/390.17 c 389s | 17 | 1802305 | 228232 | 22659 23 | 1 | 1 392.22/392.35 c 392s | 17 | 1808724 | 229632 | 22659 23 | 1 | 1 394.32/394.43 c 394s | 17 | 1817715 | 230732 | 22659 23 | 1 | 1 396.32/396.45 c 396s | 17 | 1820779 | 231632 | 22659 23 | 1 | 1 398.52/398.67 c 398s | 17 | 1825451 | 232732 | 22659 23 | 1 | 1 400.72/400.89 c 400s | 17 | 1830481 | 233832 | 22659 23 | 1 | 1 402.82/402.92 c 402s | 17 | 1832753 | 234632 | 22659 24 | 1 | 1 404.82/404.96 c 404s | 17 | 1836045 | 235632 | 22659 24 | 1 | 1 406.82/406.97 c 406s | 17 | 1838963 | 236732 | 22659 24 | 1 | 1 408.92/409.08 c 408s | 17 | 1843389 | 237632 | 22659 24 | 1 | 1 411.02/411.17 c 410s | 17 | 1847202 | 238832 | 22659 24 | 1 | 1 413.22/413.35 c 413s | 17 | 1856625 | 240132 | 22659 24 | 1 | 1 415.31/415.40 c 415s | 17 | 1864858 | 241432 | 22659 24 | 1 | 1 417.41/417.55 c 417s | 17 | 1873579 | 242632 | 22659 24 | 1 | 1 419.61/419.73 c 419s | 17 | 1880071 | 243932 | 22659 24 | 1 | 1 421.71/421.81 c 421s | 17 | 1884958 | 244932 | 22659 24 | 1 | 1 423.71/423.83 c 423s | 17 | 1887271 | 245832 | 22659 25 | 1 | 1 425.72/425.83 c 425s | 17 | 1889207 | 246732 | 22659 25 | 1 | 1 427.82/427.94 c 427s | 17 | 1891385 | 247832 | 22659 25 | 1 | 1 430.02/430.13 c 429s | 17 | 1893825 | 248432 | 22659 25 | 1 | 1 432.12/432.27 c 432s | 17 | 1901569 | 249732 | 22659 25 | 1 | 1 434.22/434.38 c 434s | 17 | 1907785 | 250932 | 22659 25 | 1 | 1 436.41/436.57 c 436s | 17 | 1912849 | 252232 | 22659 25 | 1 | 1 438.51/438.68 c 438s | 17 | 1915281 | 253332 | 22659 25 | 1 | 1 440.71/440.85 c 440s | 17 | 1920521 | 254532 | 22659 25 | 1 | 1 442.81/442.99 c 442s | 17 | 1922827 | 255632 | 22659 25 | 1 | 1 444.91/445.04 c 444s | 17 | 1923829 | 256332 | 22659 25 | 1 | 1 447.01/447.17 c 446s | 17 | 1927067 | 257232 | 22659 25 | 1 | 1 449.21/449.40 c 449s | 17 | 1938469 | 258532 | 22659 26 | 1 | 1 451.31/451.48 c 451s | 17 | 1941186 | 259732 | 22659 26 | 1 | 1 453.41/453.55 c 453s | 17 | 1959487 | 260932 | 22659 26 | 1 | 1 455.51/455.64 c 455s | 17 | 1965437 | 262232 | 22659 26 | 1 | 1 457.51/457.66 c 457s | 17 | 1975782 | 263532 | 22659 26 | 1 | 1 459.61/459.72 c 459s | 17 | 1978362 | 264632 | 22659 26 | 1 | 1 461.60/461.77 c 461s | 17 | 1981066 | 265732 | 22659 26 | 1 | 1 463.80/463.96 c 463s | 17 | 1987465 | 267032 | 22659 26 | 1 | 1 465.90/466.07 c 465s | 17 | 1992338 | 268132 | 22659 26 | 1 | 1 468.01/468.17 c 467s | 17 | 1995003 | 269032 | 22659 27 | 1 | 1 470.11/470.25 c 470s | 17 | 1999213 | 269932 | 22659 27 | 1 | 1 472.31/472.45 c 472s | 17 | 2006843 | 271232 | 22659 27 | 1 | 1 474.31/474.46 c 474s | 17 | 2012145 | 272232 | 22659 27 | 1 | 1 476.32/476.47 c 476s | 17 | 2015815 | 273332 | 22659 27 | 1 | 1 478.31/478.49 c 478s | 17 | 2019639 | 274432 | 22659 27 | 1 | 1 480.41/480.54 c 480s | 17 | 2025594 | 275532 | 22659 27 | 1 | 1 482.41/482.54 c 482s | 17 | 2027363 | 276532 | 22659 27 | 1 | 1 484.41/484.54 c 484s | 17 | 2030802 | 277532 | 22659 27 | 1 | 1 486.51/486.66 c 486s | 17 | 2033037 | 278532 | 22659 27 | 1 | 1 488.61/488.72 c 488s | 17 | 2034319 | 279432 | 22659 27 | 1 | 1 490.81/490.93 c 490s | 17 | 2035507 | 280432 | 22659 27 | 1 | 1 492.91/493.08 c 492s | 17 | 2036325 | 281232 | 22659 28 | 1 | 1 495.11/495.22 c 494s | 17 | 2040438 | 282232 | 22659 28 | 1 | 1 497.11/497.28 c 497s | 17 | 2044639 | 283332 | 22659 28 | 1 | 1 499.21/499.30 c 499s | 17 | 2046015 | 284232 | 22659 28 | 1 | 1 501.20/501.39 c 501s | 17 | 2046959 | 285132 | 22659 28 | 1 | 1 503.71/503.85 c 503s | 17 | 2049376 | 285832 | 22659 28 | 1 | 1 505.80/505.93 c 505s | 17 | 2052464 | 286932 | 22659 28 | 1 | 1 507.90/508.03 c 507s | 17 | 2054223 | 287932 | 22659 28 | 1 | 1 509.90/510.03 c 509s | 17 | 2055387 | 288832 | 22659 28 | 1 | 1 512.00/512.17 c 511s | 17 | 2061246 | 290032 | 22659 28 | 1 | 1 514.00/514.18 c 513s | 17 | 2064305 | 291132 | 22659 28 | 1 | 1 516.39/516.53 c 516s | 17 | 2065938 | 292132 | 22659 29 | 1 | 1 518.39/518.56 c 518s | 17 | 2068130 | 293032 | 22659 29 | 1 | 1 520.50/520.69 c 520s | 17 | 2069681 | 294032 | 22659 29 | 1 | 1 522.60/522.79 c 522s | 17 | 2071362 | 295032 | 24925 29 | 1 | 1 524.71/524.84 c 524s | 17 | 2076212 | 296232 | 24925 29 | 1 | 1 524.71/524.88 c 524s | 18 | 2076434 | 296252 | 24925 29 | 1 | 1 526.81/526.94 c 526s | 18 | 2089142 | 297352 | 24925 29 | 1 | 1 528.90/529.01 c 528s | 18 | 2094695 | 298352 | 24925 29 | 1 | 1 531.00/531.12 c 530s | 18 | 2117666 | 299452 | 24925 29 | 1 | 1 533.10/533.22 c 532s | 18 | 2136903 | 300752 | 24925 29 | 1 | 1 535.10/535.25 c 535s | 18 | 2146842 | 301952 | 24925 29 | 1 | 1 537.40/537.51 c 537s | 18 | 2157834 | 302952 | 24925 29 | 1 | 1 539.50/539.62 c 539s | 18 | 2168828 | 303852 | 24925 29 | 1 | 1 541.50/541.67 c 541s | 18 | 2186331 | 304652 | 24925 29 | 1 | 1 543.80/543.99 c 543s | 18 | 2200994 | 305652 | 24925 30 | 1 | 1 545.90/546.01 c 545s | 18 | 2225996 | 306752 | 24925 30 | 1 | 1 549.09/549.21 c 548s | 18 | 2240086 | 307452 | 24925 30 | 1 | 1 551.19/551.32 c 551s | 18 | 2256299 | 308752 | 24925 30 | 1 | 1 553.20/553.34 c 553s | 18 | 2265592 | 309852 | 24925 30 | 1 | 1 555.29/555.42 c 555s | 18 | 2286199 | 311052 | 24925 30 | 1 | 1 557.49/557.60 c 557s | 18 | 2314483 | 312252 | 24925 30 | 1 | 1 559.49/559.69 c 559s | 18 | 2345732 | 313552 | 24925 30 | 1 | 1 561.79/561.91 c 561s | 18 | 2360743 | 314852 | 24925 30 | 1 | 1 563.89/564.02 c 563s | 18 | 2369569 | 315952 | 24925 30 | 1 | 1 566.09/566.24 c 565s | 18 | 2374108 | 316852 | 24925 30 | 1 | 1 568.29/568.41 c 568s | 18 | 2385427 | 317952 | 24925 30 | 1 | 1 570.29/570.50 c 570s | 18 | 2406683 | 318952 | 24925 31 | 1 | 1 572.49/572.61 c 572s | 18 | 2418025 | 320052 | 24925 31 | 1 | 1 574.48/574.62 c 574s | 18 | 2426336 | 321152 | 24925 31 | 1 | 1 576.58/576.75 c 576s | 18 | 2432522 | 322252 | 24925 31 | 1 | 1 578.59/578.77 c 578s | 18 | 2440301 | 323352 | 24925 31 | 1 | 1 580.79/580.97 c 580s | 18 | 2446322 | 324452 | 24925 31 | 1 | 1 582.89/583.03 c 582s | 18 | 2451053 | 325352 | 24925 31 | 1 | 1 584.98/585.16 c 584s | 18 | 2463417 | 326352 | 24925 31 | 1 | 1 587.18/587.30 c 587s | 18 | 2474600 | 327152 | 24925 31 | 1 | 1 589.28/589.45 c 589s | 18 | 2486411 | 328152 | 24925 31 | 1 | 1 591.48/591.62 c 591s | 18 | 2493601 | 329152 | 24925 31 | 1 | 1 593.48/593.67 c 593s | 18 | 2505556 | 330052 | 24925 31 | 1 | 1 595.78/595.91 c 595s | 18 | 2510713 | 330952 | 24925 31 | 1 | 1 597.78/597.93 c 597s | 18 | 2514743 | 331652 | 24925 32 | 1 | 1 599.88/600.09 c 599s | 18 | 2528489 | 332752 | 24925 32 | 1 | 1 602.08/602.25 c 602s | 18 | 2542074 | 333852 | 24925 32 | 1 | 1 604.18/604.37 c 604s | 18 | 2552971 | 334852 | 24925 32 | 1 | 1 606.28/606.49 c 606s | 18 | 2570968 | 336052 | 24925 32 | 1 | 1 608.48/608.60 c 608s | 18 | 2587194 | 337252 | 24925 32 | 1 | 1 610.88/611.03 c 610s | 18 | 2600963 | 338452 | 24925 32 | 1 | 1 612.87/613.08 c 612s | 18 | 2614264 | 339452 | 24925 32 | 1 | 1 614.98/615.19 c 614s | 18 | 2634117 | 340652 | 24925 32 | 1 | 1 617.28/617.49 c 617s | 18 | 2647472 | 341752 | 24925 32 | 1 | 1 619.38/619.54 c 619s | 18 | 2670062 | 342852 | 24925 32 | 1 | 1 621.39/621.54 c 621s | 18 | 2684658 | 343752 | 24925 33 | 1 | 1 623.48/623.69 c 623s | 18 | 2696145 | 344952 | 24925 33 | 1 | 1 625.68/625.89 c 625s | 18 | 2703495 | 345852 | 24925 33 | 1 | 1 627.78/627.91 c 627s | 18 | 2706802 | 346852 | 24925 33 | 1 | 1 629.98/630.10 c 629s | 18 | 2709830 | 347852 | 24925 33 | 1 | 1 632.08/632.26 c 632s | 18 | 2715098 | 348952 | 24925 33 | 1 | 1 634.18/634.38 c 634s | 18 | 2725813 | 350152 | 24925 33 | 1 | 1 636.28/636.42 c 636s | 18 | 2737406 | 351052 | 24925 33 | 1 | 1 638.38/638.59 c 638s | 18 | 2745240 | 352052 | 24925 33 | 1 | 1 640.57/640.78 c 640s | 18 | 2748806 | 353052 | 24925 33 | 1 | 1 642.67/642.82 c 642s | 18 | 2762773 | 354052 | 24925 33 | 1 | 1 644.87/645.05 c 644s | 18 | 2769895 | 354952 | 24925 33 | 1 | 1 646.87/647.05 c 646s | 18 | 2782241 | 355752 | 24925 33 | 1 | 1 648.98/649.16 c 648s | 18 | 2790547 | 356652 | 24925 34 | 1 | 1 650.97/651.19 c 650s | 18 | 2801036 | 357952 | 24925 34 | 1 | 1 653.07/653.26 c 653s | 18 | 2807661 | 358952 | 24925 34 | 1 | 1 655.27/655.41 c 655s | 18 | 2810274 | 359952 | 24925 34 | 1 | 1 657.27/657.44 c 657s | 18 | 2813907 | 360952 | 24925 34 | 1 | 1 659.37/659.59 c 659s | 18 | 2821175 | 362052 | 24925 34 | 1 | 1 661.47/661.67 c 661s | 18 | 2828668 | 363052 | 24925 34 | 1 | 1 663.57/663.78 c 663s | 18 | 2837744 | 364252 | 24925 34 | 1 | 1 665.66/665.87 c 665s | 18 | 2846625 | 365352 | 24925 34 | 1 | 1 667.67/667.88 c 667s | 18 | 2850544 | 366352 | 24925 34 | 1 | 1 669.77/669.91 c 669s | 18 | 2854484 | 367252 | 24925 34 | 1 | 1 671.86/672.03 c 671s | 18 | 2856507 | 368152 | 24925 34 | 1 | 1 673.86/674.07 c 673s | 18 | 2861872 | 368952 | 24925 35 | 1 | 1 676.06/676.22 c 675s | 18 | 2865613 | 369952 | 24925 35 | 1 | 1 678.26/678.40 c 678s | 18 | 2867209 | 370852 | 24925 35 | 1 | 1 680.37/680.54 c 680s | 18 | 2876790 | 371952 | 24925 35 | 1 | 1 682.47/682.67 c 682s | 18 | 2883467 | 373052 | 24925 35 | 1 | 1 684.67/684.80 c 684s | 18 | 2885784 | 373952 | 24925 35 | 1 | 1 686.87/687.01 c 686s | 18 | 2892861 | 375052 | 24925 35 | 1 | 1 688.97/689.17 c 688s | 18 | 2900245 | 376252 | 24925 35 | 1 | 1 691.07/691.29 c 691s | 18 | 2904527 | 377352 | 24925 35 | 1 | 1 693.37/693.52 c 693s | 18 | 2907375 | 378352 | 24925 35 | 1 | 1 695.47/695.64 c 695s | 18 | 2909369 | 379252 | 24925 35 | 1 | 1 697.57/697.79 c 697s | 18 | 2912987 | 380252 | 24925 35 | 1 | 1 699.66/699.84 c 699s | 18 | 2919173 | 381052 | 24925 35 | 1 | 1 703.66/703.80 c 703s | 18 | 2922827 | 381352 | 24925 35 | 1 | 1 705.66/705.89 c 705s | 18 | 2925390 | 382152 | 24925 36 | 1 | 1 707.86/708.07 c 707s | 18 | 2930367 | 382852 | 24925 36 | 1 | 1 709.86/710.07 c 709s | 18 | 2940426 | 383952 | 24925 36 | 1 | 1 711.96/712.16 c 711s | 18 | 2945199 | 384952 | 24925 36 | 1 | 1 714.06/714.29 c 714s | 18 | 2947411 | 385952 | 24925 36 | 1 | 1 716.26/716.40 c 716s | 18 | 2951125 | 387052 | 24925 36 | 1 | 1 718.26/718.47 c 718s | 18 | 2959436 | 388252 | 24925 36 | 1 | 1 720.46/720.64 c 720s | 18 | 2966264 | 389352 | 24925 36 | 1 | 1 722.56/722.78 c 722s | 18 | 2973814 | 390452 | 24925 36 | 1 | 1 724.66/724.80 c 724s | 18 | 2975834 | 391352 | 24925 36 | 1 | 1 726.76/726.97 c 726s | 18 | 2979538 | 392552 | 24925 36 | 1 | 1 728.76/728.98 c 728s | 18 | 2987796 | 393652 | 24925 36 | 1 | 1 730.96/731.14 c 730s | 18 | 2998435 | 394352 | 24925 37 | 1 | 1 732.96/733.19 c 732s | 18 | 3008639 | 395252 | 24925 37 | 1 | 1 735.06/735.27 c 735s | 18 | 3031707 | 396452 | 24925 37 | 1 | 1 737.26/737.48 c 737s | 18 | 3059713 | 397852 | 24925 37 | 1 | 1 739.36/739.55 c 739s | 18 | 3073208 | 399052 | 24925 37 | 1 | 1 741.46/741.67 c 741s | 18 | 3081306 | 400352 | 24925 37 | 1 | 1 743.46/743.69 c 743s | 18 | 3082743 | 401152 | 24925 37 | 1 | 1 745.55/745.71 c 745s | 18 | 3105010 | 402352 | 24925 37 | 1 | 1 747.65/747.81 c 747s | 18 | 3118305 | 403652 | 24925 37 | 1 | 1 749.65/749.86 c 749s | 18 | 3131464 | 404852 | 24925 37 | 1 | 1 751.65/751.88 c 751s | 18 | 3142186 | 406052 | 24925 37 | 1 | 1 753.85/754.04 c 753s | 18 | 3147445 | 407252 | 24925 38 | 1 | 1 756.05/756.24 c 755s | 18 | 3152294 | 408552 | 24925 38 | 1 | 1 758.25/758.43 c 758s | 18 | 3177102 | 409952 | 24925 38 | 1 | 1 760.35/760.54 c 760s | 18 | 3183621 | 411152 | 24925 38 | 1 | 1 762.45/762.68 c 762s | 18 | 3193406 | 412352 | 24925 38 | 1 | 1 764.55/764.75 c 764s | 18 | 3206091 | 413552 | 24925 38 | 1 | 1 766.66/766.84 c 766s | 18 | 3217311 | 414752 | 24925 38 | 1 | 1 768.65/768.85 c 768s | 18 | 3225085 | 415852 | 24925 38 | 1 | 1 770.75/770.90 c 770s | 18 | 3234628 | 416952 | 24925 38 | 1 | 1 772.85/773.10 c 772s | 18 | 3236922 | 418052 | 24925 38 | 1 | 1 775.05/775.23 c 774s | 18 | 3238539 | 419052 | 24925 38 | 1 | 1 777.05/777.23 c 776s | 18 | 3245892 | 419952 | 24925 39 | 1 | 1 779.15/779.35 c 779s | 18 | 3255539 | 421252 | 24925 39 | 1 | 1 781.25/781.44 c 781s | 18 | 3260320 | 422452 | 24925 39 | 1 | 1 783.35/783.58 c 783s | 18 | 3264860 | 423552 | 24925 39 | 1 | 1 785.55/785.77 c 785s | 18 | 3268106 | 424652 | 24925 39 | 1 | 1 787.74/787.91 c 787s | 18 | 3271524 | 425752 | 24925 39 | 1 | 1 789.75/789.95 c 789s | 18 | 3273684 | 426752 | 24925 39 | 1 | 1 791.74/791.97 c 791s | 18 | 3276551 | 427652 | 24925 39 | 1 | 1 793.84/794.04 c 793s | 18 | 3278308 | 428252 | 24925 39 | 1 | 1 795.84/796.09 c 795s | 18 | 3293781 | 429252 | 24925 39 | 1 | 1 797.94/798.18 c 797s | 18 | 3316668 | 430452 | 24925 39 | 1 | 1 800.14/800.36 c 800s | 18 | 3331928 | 431652 | 24925 39 | 1 | 1 802.24/802.46 c 802s | 18 | 3347104 | 432652 | 24925 40 | 1 | 1 804.34/804.52 c 804s | 18 | 3357349 | 433952 | 24925 40 | 1 | 1 806.44/806.68 c 806s | 18 | 3373143 | 435252 | 24925 40 | 1 | 1 808.55/808.72 c 808s | 18 | 3386646 | 436652 | 24925 40 | 1 | 1 810.56/810.77 c 810s | 18 | 3390685 | 437552 | 24925 40 | 1 | 1 812.76/812.92 c 812s | 18 | 3394698 | 438752 | 24925 40 | 1 | 1 814.75/814.94 c 814s | 18 | 3414707 | 439952 | 24925 40 | 1 | 1 816.85/817.03 c 816s | 18 | 3430512 | 441252 | 24925 40 | 1 | 1 818.85/819.04 c 818s | 18 | 3458650 | 442352 | 27418 40 | 1 | 1 820.95/821.10 c 820s | 18 | 3483262 | 443552 | 27418 40 | 1 | 1 822.65/822.85 c 822s | 19 | 3490275 | 444482 | 27418 40 | 1 | 1 824.75/824.97 c 824s | 19 | 3492876 | 445182 | 27418 40 | 1 | 1 826.75/826.99 c 826s | 19 | 3499209 | 446282 | 27418 40 | 1 | 1 828.85/829.06 c 828s | 19 | 3502417 | 447182 | 27418 40 | 1 | 1 830.95/831.10 c 830s | 19 | 3503980 | 447982 | 27418 41 | 1 | 1 832.94/833.18 c 832s | 19 | 3521410 | 448982 | 27418 41 | 1 | 1 835.14/835.30 c 835s | 19 | 3534427 | 450082 | 27418 41 | 1 | 1 837.14/837.32 c 837s | 19 | 3543445 | 451082 | 27418 41 | 1 | 1 839.15/839.40 c 839s | 19 | 3551177 | 452082 | 27418 41 | 1 | 1 841.45/841.64 c 841s | 19 | 3552833 | 452882 | 27418 41 | 1 | 1 843.55/843.77 c 843s | 19 | 3554260 | 453682 | 27418 41 | 1 | 1 845.64/845.82 c 845s | 19 | 3557255 | 454182 | 27418 41 | 1 | 1 847.64/847.89 c 847s | 19 | 3559872 | 454982 | 27418 41 | 1 | 1 849.74/849.93 c 849s | 19 | 3567793 | 455982 | 27418 41 | 1 | 1 851.74/851.98 c 851s | 19 | 3573560 | 457082 | 27418 41 | 1 | 1 854.04/854.26 c 854s | 19 | 3577142 | 457882 | 27418 41 | 1 | 1 856.14/856.39 c 856s | 19 | 3580047 | 458782 | 27418 41 | 1 | 1 858.24/858.42 c 858s | 19 | 3597411 | 459882 | 27418 41 | 1 | 1 860.34/860.52 c 860s | 19 | 3609181 | 460782 | 27418 41 | 1 | 1 862.43/862.63 c 862s | 19 | 3614379 | 461582 | 27418 42 | 1 | 1 864.44/864.70 c 864s | 19 | 3624798 | 462382 | 27418 42 | 1 | 1 866.74/866.97 c 866s | 19 | 3634537 | 463582 | 27418 42 | 1 | 1 868.84/869.09 c 868s | 19 | 3650098 | 464582 | 27418 42 | 1 | 1 870.83/871.10 c 870s | 19 | 3654798 | 465482 | 27418 42 | 1 | 1 872.93/873.16 c 872s | 19 | 3662740 | 466682 | 27418 42 | 1 | 1 874.93/875.19 c 874s | 19 | 3666497 | 467582 | 27418 42 | 1 | 1 877.03/877.25 c 877s | 19 | 3672162 | 468482 | 27418 42 | 1 | 1 879.03/879.28 c 879s | 19 | 3686204 | 469582 | 27418 42 | 1 | 1 881.33/881.50 c 881s | 19 | 3698949 | 470682 | 27418 42 | 1 | 1 883.33/883.54 c 883s | 19 | 3715717 | 471782 | 27418 42 | 1 | 1 885.44/885.64 c 885s | 19 | 3719703 | 472782 | 27418 42 | 1 | 1 887.64/887.83 c 887s | 19 | 3722520 | 473682 | 27418 42 | 1 | 1 889.73/889.93 c 889s | 19 | 3724173 | 474582 | 27418 42 | 1 | 1 891.73/891.95 c 891s | 19 | 3732779 | 475482 | 27418 43 | 1 | 1 893.93/894.11 c 893s | 19 | 3739712 | 476482 | 27418 43 | 1 | 1 895.92/896.18 c 895s | 19 | 3743984 | 477482 | 27418 43 | 1 | 1 898.02/898.20 c 897s | 19 | 3751741 | 478582 | 27418 43 | 1 | 1 900.12/900.35 c 900s | 19 | 3763215 | 479682 | 27418 43 | 1 | 1 902.22/902.40 c 902s | 19 | 3776160 | 480682 | 27418 43 | 1 | 1 904.32/904.52 c 904s | 19 | 3786809 | 481782 | 27418 43 | 1 | 1 906.34/906.53 c 906s | 19 | 3790430 | 482682 | 27418 43 | 1 | 1 908.33/908.55 c 908s | 19 | 3795331 | 483682 | 27418 43 | 1 | 1 910.53/910.72 c 910s | 19 | 3798334 | 484582 | 27418 43 | 1 | 1 912.63/912.83 c 912s | 19 | 3801612 | 485582 | 27418 43 | 1 | 1 914.93/915.10 c 914s | 19 | 3809101 | 486782 | 27418 43 | 1 | 1 917.13/917.38 c 917s | 19 | 3810931 | 487582 | 27418 43 | 1 | 1 919.33/919.56 c 919s | 19 | 3813000 | 488582 | 27418 43 | 1 | 1 921.43/921.63 c 921s | 19 | 3817438 | 489582 | 27418 44 | 1 | 1 923.43/923.69 c 923s | 19 | 3825562 | 490782 | 27418 44 | 1 | 1 926.62/926.81 c 926s | 19 | 3828125 | 491882 | 27418 44 | 1 | 1 928.62/928.84 c 928s | 19 | 3836506 | 492382 | 27418 44 | 1 | 1 930.72/930.99 c 930s | 19 | 3847393 | 493682 | 27418 44 | 1 | 1 933.92/934.11 c 933s | 19 | 3854617 | 494682 | 27418 44 | 1 | 1 936.03/936.27 c 936s | 19 | 3869267 | 495882 | 27418 44 | 1 | 1 938.13/938.38 c 938s | 19 | 3874311 | 496982 | 27418 44 | 1 | 1 940.23/940.46 c 940s | 19 | 3879273 | 498082 | 27418 44 | 1 | 1 942.32/942.59 c 942s | 19 | 3884640 | 499182 | 27418 44 | 1 | 1 944.62/944.85 c 944s | 19 | 3889116 | 500282 | 27418 44 | 1 | 1 946.62/946.88 c 946s | 19 | 3891416 | 501082 | 27418 44 | 1 | 1 948.82/949.04 c 948s | 19 | 3894562 | 502182 | 27418 44 | 1 | 1 951.02/951.26 c 951s | 19 | 3898418 | 503082 | 27418 45 | 1 | 1 953.22/953.43 c 953s | 19 | 3905891 | 504282 | 27418 45 | 1 | 1 955.32/955.52 c 955s | 19 | 3907994 | 505182 | 27418 45 | 1 | 1 957.42/957.64 c 957s | 19 | 3913118 | 506282 | 27418 45 | 1 | 1 959.62/959.85 c 959s | 19 | 3915740 | 507282 | 27418 45 | 1 | 1 963.12/963.32 c 963s | 19 | 3922050 | 507982 | 27418 45 | 1 | 1 965.22/965.41 c 965s | 19 | 3952559 | 509182 | 27418 45 | 1 | 1 967.32/967.56 c 967s | 19 | 3964336 | 509682 | 27418 45 | 1 | 1 969.32/969.58 c 969s | 19 | 3979538 | 510782 | 27418 45 | 1 | 1 971.52/971.72 c 971s | 19 | 3992597 | 511882 | 27418 45 | 1 | 1 973.52/973.79 c 973s | 19 | 4005494 | 512782 | 27418 45 | 1 | 1 975.62/975.83 c 975s | 19 | 4014418 | 513782 | 27418 45 | 1 | 1 977.72/977.97 c 977s | 19 | 4017974 | 514582 | 27418 45 | 1 | 1 979.92/980.12 c 979s | 19 | 4029556 | 515482 | 27418 45 | 1 | 1 981.91/982.19 c 981s | 19 | 4039180 | 516382 | 27418 45 | 1 | 1 984.01/984.23 c 983s | 19 | 4044891 | 517082 | 27418 46 | 1 | 1 986.21/986.41 c 986s | 19 | 4051062 | 517982 | 27418 46 | 1 | 1 988.21/988.42 c 988s | 19 | 4057194 | 518782 | 27418 46 | 1 | 1 990.41/990.67 c 990s | 19 | 4063649 | 519782 | 27418 46 | 1 | 1 992.51/992.76 c 992s | 19 | 4079377 | 520782 | 27418 46 | 1 | 1 994.70/994.94 c 994s | 19 | 4087365 | 521682 | 27418 46 | 1 | 1 996.90/997.10 c 996s | 19 | 4098323 | 522882 | 27418 46 | 1 | 1 998.90/999.18 c 998s | 19 | 4104822 | 523982 | 27418 46 | 1 | 1 1001.00/1001.20 c 1000s | 19 | 4109016 | 524882 | 27418 46 | 1 | 1 1003.11/1003.34 c 1003s | 19 | 4122140 | 525882 | 27418 46 | 1 | 1 1005.31/1005.51 c 1005s | 19 | 4125931 | 526682 | 27418 46 | 1 | 1 1007.41/1007.61 c 1007s | 19 | 4131839 | 527582 | 27418 46 | 1 | 1 1009.50/1009.79 c 1009s | 19 | 4133684 | 528382 | 27418 46 | 1 | 1 1011.60/1011.88 c 1011s | 19 | 4137811 | 529382 | 27418 46 | 1 | 1 1013.90/1014.13 c 1013s | 19 | 4159572 | 530282 | 27418 46 | 1 | 1 1016.20/1016.49 c 1016s | 19 | 4180023 | 531082 | 27418 47 | 1 | 1 1018.30/1018.50 c 1018s | 19 | 4191117 | 532082 | 27418 47 | 1 | 1 1020.39/1020.61 c 1020s | 19 | 4227462 | 533482 | 27418 47 | 1 | 1 1022.39/1022.61 c 1022s | 19 | 4255182 | 534982 | 27418 47 | 1 | 1 1024.39/1024.63 c 1024s | 19 | 4273788 | 536082 | 27418 47 | 1 | 1 1026.39/1026.67 c 1026s | 19 | 4292494 | 537182 | 27418 47 | 1 | 1 1028.40/1028.69 c 1028s | 19 | 4319222 | 538282 | 27418 47 | 1 | 1 1030.50/1030.80 c 1030s | 19 | 4344267 | 539382 | 27418 47 | 1 | 1 1032.70/1033.00 c 1032s | 19 | 4360047 | 540482 | 27418 47 | 1 | 1 1034.89/1035.11 c 1034s | 19 | 4381755 | 541482 | 27418 47 | 1 | 1 1036.89/1037.12 c 1036s | 19 | 4399309 | 542482 | 27418 47 | 1 | 1 1038.89/1039.12 c 1038s | 19 | 4409379 | 543482 | 27418 47 | 1 | 1 1041.18/1041.40 c 1041s | 19 | 4415536 | 544382 | 27418 48 | 1 | 1 1043.18/1043.42 c 1043s | 19 | 4422725 | 545682 | 27418 48 | 1 | 1 1045.28/1045.59 c 1045s | 19 | 4432895 | 546882 | 27418 48 | 1 | 1 1047.39/1047.60 c 1047s | 19 | 4439037 | 547882 | 27418 48 | 1 | 1 1049.39/1049.68 c 1049s | 19 | 4449202 | 548982 | 27418 48 | 1 | 1 1051.69/1051.93 c 1051s | 19 | 4458704 | 550082 | 27418 48 | 1 | 1 1053.69/1053.99 c 1053s | 19 | 4462430 | 550982 | 27418 48 | 1 | 1 1055.79/1056.09 c 1055s | 19 | 4470936 | 552082 | 27418 48 | 1 | 1 1057.88/1058.13 c 1057s | 19 | 4475029 | 552882 | 27418 48 | 1 | 1 1059.88/1060.17 c 1059s | 19 | 4481592 | 553782 | 27418 48 | 1 | 1 1061.98/1062.28 c 1062s | 19 | 4484013 | 554682 | 27418 48 | 1 | 1 1064.08/1064.32 c 1064s | 19 | 4486404 | 555582 | 27418 48 | 1 | 1 1066.28/1066.50 c 1066s | 19 | 4489929 | 556582 | 27418 48 | 1 | 1 1068.38/1068.61 c 1068s | 19 | 4506728 | 557782 | 27418 48 | 1 | 1 1070.67/1070.96 c 1070s | 19 | 4515910 | 558382 | 27418 49 | 1 | 1 1072.77/1073.00 c 1072s | 19 | 4526342 | 559382 | 27418 49 | 1 | 1 1074.77/1075.08 c 1074s | 19 | 4543382 | 560482 | 27418 49 | 1 | 1 1076.97/1077.27 c 1077s | 19 | 4555568 | 561582 | 27418 49 | 1 | 1 1079.17/1079.46 c 1079s | 19 | 4564828 | 562682 | 27418 49 | 1 | 1 1081.26/1081.52 c 1081s | 19 | 4579804 | 563782 | 27418 49 | 1 | 1 1083.27/1083.57 c 1083s | 19 | 4589377 | 564682 | 27418 49 | 1 | 1 1085.37/1085.63 c 1085s | 19 | 4593904 | 565482 | 27418 49 | 1 | 1 1087.57/1087.85 c 1087s | 19 | 4597408 | 566382 | 27418 49 | 1 | 1 1089.57/1089.86 c 1089s | 19 | 4599126 | 567182 | 27418 49 | 1 | 1 1091.57/1091.89 c 1091s | 19 | 4601418 | 567982 | 27418 49 | 1 | 1 1093.67/1093.99 c 1093s | 19 | 4623229 | 569082 | 27418 49 | 1 | 1 1095.76/1096.06 c 1095s | 19 | 4630241 | 569982 | 27418 49 | 1 | 1 1097.96/1098.23 c 1097s | 19 | 4648091 | 571182 | 27418 49 | 1 | 1 1100.26/1100.59 c 1100s | 19 | 4660196 | 572082 | 27418 50 | 1 | 1 1102.46/1102.73 c 1102s | 19 | 4668840 | 573082 | 27418 50 | 1 | 1 1104.46/1104.79 c 1104s | 19 | 4675568 | 574082 | 27418 50 | 1 | 1 1106.56/1106.87 c 1106s | 19 | 4679896 | 575182 | 27418 50 | 1 | 1 1108.76/1109.03 c 1108s | 19 | 4687894 | 576082 | 27418 50 | 1 | 1 1110.77/1111.07 c 1110s | 19 | 4698405 | 577282 | 27418 50 | 1 | 1 1112.96/1113.21 c 1112s | 19 | 4702504 | 578282 | 27418 50 | 1 | 1 1115.06/1115.32 c 1115s | 19 | 4705736 | 579282 | 27418 50 | 1 | 1 1117.06/1117.37 c 1117s | 19 | 4711343 | 580382 | 27418 50 | 1 | 1 1119.06/1119.38 c 1119s | 19 | 4724314 | 581482 | 27418 50 | 1 | 1 1121.25/1121.58 c 1121s | 19 | 4728409 | 582482 | 27418 50 | 1 | 1 1123.25/1123.59 c 1123s | 19 | 4736440 | 583582 | 27418 50 | 1 | 1 1125.35/1125.63 c 1125s | 19 | 4742713 | 584482 | 27418 50 | 1 | 1 1127.55/1127.84 c 1127s | 19 | 4753068 | 585482 | 27418 50 | 1 | 1 1129.75/1130.01 c 1129s | 19 | 4755569 | 586282 | 27418 51 | 1 | 1 1131.75/1132.09 c 1131s | 19 | 4757977 | 587182 | 27418 51 | 1 | 1 1133.85/1134.20 c 1133s | 19 | 4760070 | 588182 | 27418 51 | 1 | 1 1135.95/1136.21 c 1135s | 19 | 4763801 | 589282 | 27418 51 | 1 | 1 1137.95/1138.22 c 1137s | 19 | 4770362 | 590182 | 27418 51 | 1 | 1 1139.94/1140.25 c 1140s | 19 | 4779767 | 591282 | 27418 51 | 1 | 1 1142.04/1142.39 c 1142s | 19 | 4783513 | 592182 | 27418 51 | 1 | 1 1144.24/1144.57 c 1144s | 19 | 4785270 | 592982 | 27418 51 | 1 | 1 1146.24/1146.57 c 1146s | 19 | 4792147 | 594082 | 27418 51 | 1 | 1 1148.34/1148.66 c 1148s | 19 | 4795094 | 594982 | 27418 51 | 1 | 1 1150.44/1150.78 c 1150s | 19 | 4799838 | 596082 | 27418 51 | 1 | 1 1152.54/1152.86 c 1152s | 19 | 4802648 | 596982 | 27418 51 | 1 | 1 1154.74/1155.02 c 1154s | 19 | 4804739 | 597882 | 27418 51 | 1 | 1 1156.73/1157.04 c 1156s | 19 | 4806386 | 598682 | 27418 51 | 1 | 1 1158.74/1159.06 c 1158s | 19 | 4807666 | 599582 | 27418 51 | 1 | 1 1161.84/1162.16 c 1161s | 19 | 4809128 | 599782 | 27418 52 | 1 | 1 1164.03/1164.34 c 1164s | 19 | 4819880 | 600582 | 27418 52 | 1 | 1 1166.53/1166.86 c 1166s | 19 | 4831304 | 601382 | 27418 52 | 1 | 1 1168.63/1168.93 c 1168s | 19 | 4836089 | 602282 | 27418 52 | 1 | 1 1170.63/1170.99 c 1170s | 19 | 4840743 | 603182 | 27418 52 | 1 | 1 1172.82/1173.14 c 1172s | 19 | 4856137 | 604382 | 27418 52 | 1 | 1 1174.92/1175.23 c 1174s | 19 | 4867127 | 605382 | 27418 52 | 1 | 1 1177.02/1177.39 c 1177s | 19 | 4878460 | 606482 | 27418 52 | 1 | 1 1179.12/1179.47 c 1179s | 19 | 4880646 | 607382 | 27418 52 | 1 | 1 1181.23/1181.57 c 1181s | 19 | 4882031 | 608282 | 27418 52 | 1 | 1 1183.43/1183.70 c 1183s | 19 | 4888777 | 609382 | 27418 52 | 1 | 1 1185.53/1185.88 c 1185s | 19 | 4894517 | 610382 | 27418 52 | 1 | 1 1187.63/1187.91 c 1187s | 19 | 4899203 | 611482 | 27418 52 | 1 | 1 1189.73/1190.04 c 1189s | 19 | 4902226 | 612482 | 27418 52 | 1 | 1 1191.83/1192.18 c 1191s | 19 | 4904918 | 613482 | 27418 52 | 1 | 1 1193.93/1194.27 c 1194s | 19 | 4907619 | 614382 | 27418 53 | 1 | 1 1196.13/1196.44 c 1196s | 19 | 4913341 | 615482 | 27418 53 | 1 | 1 1198.12/1198.45 c 1198s | 19 | 4917177 | 616682 | 27418 53 | 1 | 1 1200.22/1200.56 c 1200s | 19 | 4925314 | 617882 | 27418 53 | 1 | 1 1202.22/1202.57 c 1202s | 19 | 4933452 | 619182 | 27418 53 | 1 | 1 1204.33/1204.64 c 1204s | 19 | 4940462 | 620382 | 27418 53 | 1 | 1 1208.22/1208.59 c 1208s | 19 | 4945212 | 621182 | 27418 53 | 1 | 1 1210.32/1210.60 c 1210s | 19 | 4952878 | 621982 | 27418 53 | 1 | 1 1212.51/1212.80 c 1212s | 19 | 4958786 | 622882 | 27418 53 | 1 | 1 1214.51/1214.88 c 1214s | 19 | 4968348 | 623682 | 27418 53 | 1 | 1 1216.71/1217.02 c 1216s | 19 | 4976695 | 624582 | 27418 53 | 1 | 1 1218.91/1219.23 c 1218s | 19 | 4979700 | 625382 | 27418 53 | 1 | 1 1221.01/1221.32 c 1221s | 19 | 4983710 | 626082 | 27418 53 | 1 | 1 1223.11/1223.46 c 1223s | 19 | 4990875 | 627082 | 27418 53 | 1 | 1 1225.11/1225.48 c 1225s | 19 | 4993366 | 627682 | 27418 53 | 1 | 1 1227.31/1227.68 c 1227s | 19 | 5004643 | 628482 | 27418 54 | 1 | 1 1229.40/1229.78 c 1229s | 19 | 5023015 | 629582 | 27418 54 | 1 | 1 1231.51/1231.86 c 1231s | 19 | 5028911 | 630782 | 27418 54 | 1 | 1 1233.51/1233.89 c 1233s | 19 | 5040002 | 631882 | 27418 54 | 1 | 1 1235.70/1236.08 c 1235s | 19 | 5051333 | 633082 | 27418 54 | 1 | 1 1237.80/1238.11 c 1237s | 19 | 5055628 | 634282 | 27418 54 | 1 | 1 1239.90/1240.23 c 1239s | 19 | 5063798 | 635382 | 27418 54 | 1 | 1 1241.99/1242.37 c 1242s | 19 | 5075076 | 636482 | 27418 54 | 1 | 1 1244.09/1244.41 c 1244s | 19 | 5096986 | 637582 | 27418 54 | 1 | 1 1246.29/1246.62 c 1246s | 19 | 5110694 | 638682 | 27418 54 | 1 | 1 1248.30/1248.64 c 1248s | 19 | 5113790 | 639482 | 27418 54 | 1 | 1 1250.29/1250.65 c 1250s | 19 | 5118241 | 640482 | 27418 54 | 1 | 1 1252.49/1252.80 c 1252s | 19 | 5126260 | 641482 | 27418 54 | 1 | 1 1254.59/1254.94 c 1254s | 19 | 5129762 | 642382 | 27418 55 | 1 | 1 1256.59/1256.94 c 1256s | 19 | 5134794 | 643482 | 27418 55 | 1 | 1 1258.58/1258.96 c 1258s | 19 | 5137112 | 644382 | 27418 55 | 1 | 1 1260.68/1261.04 c 1260s | 19 | 5138883 | 645282 | 27418 55 | 1 | 1 1262.78/1263.14 c 1262s | 19 | 5144048 | 646182 | 27418 55 | 1 | 1 1264.88/1265.26 c 1265s | 19 | 5158610 | 647182 | 27418 55 | 1 | 1 1266.99/1267.32 c 1267s | 19 | 5171599 | 648182 | 27418 55 | 1 | 1 1269.19/1269.53 c 1269s | 19 | 5183663 | 649382 | 27418 55 | 1 | 1 1271.18/1271.57 c 1271s | 19 | 5194959 | 650282 | 27418 55 | 1 | 1 1273.28/1273.63 c 1273s | 19 | 5205646 | 651282 | 27418 55 | 1 | 1 1275.28/1275.64 c 1275s | 19 | 5207535 | 651982 | 27418 55 | 1 | 1 1277.28/1277.65 c 1277s | 19 | 5214005 | 652782 | 27418 55 | 1 | 1 1279.38/1279.75 c 1279s | 19 | 5221322 | 653882 | 27418 55 | 1 | 1 1281.47/1281.82 c 1281s | 19 | 5227378 | 654682 | 27418 55 | 1 | 1 1283.67/1284.05 c 1283s | 19 | 5232711 | 655482 | 27418 55 | 1 | 1 1285.78/1286.10 c 1285s | 19 | 5233550 | 656082 | 27418 56 | 1 | 1 1287.89/1288.26 c 1288s | 19 | 5239723 | 656882 | 27418 56 | 1 | 1 1289.99/1290.36 c 1290s | 19 | 5247554 | 657882 | 27418 56 | 1 | 1 1292.18/1292.52 c 1292s | 19 | 5254752 | 658882 | 27418 56 | 1 | 1 1294.28/1294.69 c 1294s | 19 | 5262690 | 659982 | 27418 56 | 1 | 1 1296.58/1296.94 c 1296s | 19 | 5268472 | 660982 | 27418 56 | 1 | 1 1298.68/1299.09 c 1298s | 19 | 5278337 | 662082 | 27418 56 | 1 | 1 1300.78/1301.14 c 1300s | 19 | 5288164 | 663082 | 30160 56 | 1 | 1 1302.88/1303.26 c 1303s | 19 | 5293460 | 663982 | 30160 56 | 1 | 1 1305.07/1305.43 c 1305s | 19 | 5297005 | 664882 | 30160 56 | 1 | 1 1307.27/1307.60 c 1307s | 19 | 5299253 | 665782 | 30160 56 | 1 | 1 1309.27/1309.64 c 1309s | 19 | 5301407 | 666582 | 30160 56 | 1 | 1 1309.97/1310.31 c 1310s | 20 | 5302459 | 666827 | 30160 56 | 1 | 1 1312.07/1312.48 c 1312s | 20 | 5316987 | 667527 | 30160 56 | 1 | 1 1315.47/1315.87 c 1315s | 20 | 5323168 | 668427 | 30160 56 | 1 | 1 1317.66/1318.04 c 1317s | 20 | 5333077 | 669227 | 30160 56 | 1 | 1 1319.77/1320.15 c 1319s | 20 | 5348732 | 670027 | 30160 56 | 1 | 1 1321.87/1322.21 c 1321s | 20 | 5357619 | 670927 | 30160 56 | 1 | 1 1323.86/1324.24 c 1323s | 20 | 5368337 | 671727 | 30160 56 | 1 | 1 1325.96/1326.30 c 1326s | 20 | 5375418 | 672227 | 30160 57 | 1 | 1 1328.06/1328.44 c 1328s | 20 | 5390856 | 673027 | 30160 57 | 1 | 1 1330.36/1330.72 c 1330s | 20 | 5414361 | 673927 | 30160 57 | 1 | 1 1332.75/1333.13 c 1332s | 20 | 5436759 | 674827 | 30160 57 | 1 | 1 1334.85/1335.28 c 1335s | 20 | 5438481 | 675727 | 30160 57 | 1 | 1 1336.95/1337.35 c 1337s | 20 | 5443677 | 676627 | 30160 57 | 1 | 1 1339.05/1339.44 c 1339s | 20 | 5461956 | 677627 | 30160 57 | 1 | 1 1341.05/1341.46 c 1341s | 20 | 5478459 | 678427 | 30160 57 | 1 | 1 1343.15/1343.58 c 1343s | 20 | 5494885 | 679427 | 30160 57 | 1 | 1 1345.45/1345.80 c 1345s | 20 | 5501777 | 680227 | 30160 57 | 1 | 1 1347.45/1347.89 c 1347s | 20 | 5510048 | 681127 | 30160 57 | 1 | 1 1349.55/1349.92 c 1349s | 20 | 5519646 | 681927 | 30160 57 | 1 | 1 1351.65/1352.08 c 1351s | 20 | 5530974 | 682827 | 30160 57 | 1 | 1 1353.75/1354.17 c 1353s | 20 | 5544073 | 683627 | 30160 57 | 1 | 1 1355.84/1356.23 c 1355s | 20 | 5549321 | 684227 | 30160 57 | 1 | 1 1358.04/1358.48 c 1358s | 20 | 5560591 | 685027 | 30160 57 | 1 | 1 1360.14/1360.52 c 1360s | 20 | 5571728 | 685727 | 30160 57 | 1 | 1 1362.14/1362.52 c 1362s | 20 | 5583637 | 686427 | 30160 57 | 1 | 1 1364.64/1365.08 c 1364s | 20 | 5597104 | 687327 | 30160 58 | 1 | 1 1366.74/1367.14 c 1366s | 20 | 5605555 | 688227 | 30160 58 | 1 | 1 1368.84/1369.22 c 1368s | 20 | 5622012 | 689027 | 30160 58 | 1 | 1 1370.84/1371.24 c 1370s | 20 | 5631060 | 690027 | 30160 58 | 1 | 1 1372.93/1373.30 c 1373s | 20 | 5640123 | 690827 | 30160 58 | 1 | 1 1374.93/1375.39 c 1375s | 20 | 5653972 | 691927 | 30160 58 | 1 | 1 1377.23/1377.68 c 1377s | 20 | 5659724 | 692927 | 30160 58 | 1 | 1 1379.33/1379.74 c 1379s | 20 | 5675305 | 693827 | 30160 58 | 1 | 1 1381.43/1381.87 c 1381s | 20 | 5691694 | 694927 | 30160 58 | 1 | 1 1383.73/1384.17 c 1383s | 20 | 5703036 | 695927 | 30160 58 | 1 | 1 1386.03/1386.41 c 1386s | 20 | 5717695 | 696727 | 30160 58 | 1 | 1 1388.24/1388.60 c 1388s | 20 | 5725599 | 697527 | 30160 58 | 1 | 1 1390.43/1390.86 c 1390s | 20 | 5728632 | 698327 | 30160 58 | 1 | 1 1392.53/1392.96 c 1392s | 20 | 5743090 | 699227 | 30160 58 | 1 | 1 1394.83/1395.23 c 1394s | 20 | 5749998 | 700127 | 30160 58 | 1 | 1 1397.03/1397.43 c 1397s | 20 | 5758770 | 701027 | 30160 58 | 1 | 1 1399.23/1399.62 c 1399s | 20 | 5765435 | 701927 | 30160 58 | 1 | 1 1401.32/1401.79 c 1401s | 20 | 5772484 | 702727 | 30160 59 | 1 | 1 1403.42/1403.84 c 1403s | 20 | 5777093 | 703527 | 30160 59 | 1 | 1 1405.43/1405.88 c 1405s | 20 | 5780391 | 704527 | 30160 59 | 1 | 1 1407.63/1408.03 c 1407s | 20 | 5792356 | 705527 | 30160 59 | 1 | 1 1409.62/1410.06 c 1409s | 20 | 5804267 | 706727 | 30160 59 | 1 | 1 1411.72/1412.10 c 1411s | 20 | 5809885 | 707727 | 30160 59 | 1 | 1 1413.82/1414.25 c 1414s | 20 | 5812513 | 708727 | 30160 59 | 1 | 1 1416.02/1416.43 c 1416s | 20 | 5818495 | 709827 | 30160 59 | 1 | 1 1418.12/1418.56 c 1418s | 20 | 5832294 | 711027 | 30160 59 | 1 | 1 1420.32/1420.74 c 1420s | 20 | 5854767 | 712027 | 30160 59 | 1 | 1 1422.31/1422.78 c 1422s | 20 | 5865159 | 713327 | 30160 59 | 1 | 1 1424.51/1424.96 c 1424s | 20 | 5871580 | 714227 | 30160 59 | 1 | 1 1426.71/1427.15 c 1426s | 20 | 5878155 | 715127 | 30160 59 | 1 | 1 1428.91/1429.35 c 1429s | 20 | 5885558 | 716027 | 30160 59 | 1 | 1 1432.31/1432.73 c 1432s | 20 | 5891668 | 717027 | 30160 59 | 1 | 1 1434.50/1434.95 c 1434s | 20 | 5902745 | 717427 | 30160 59 | 1 | 1 1436.60/1437.01 c 1436s | 20 | 5921779 | 718027 | 30160 60 | 1 | 1 1438.70/1439.12 c 1438s | 20 | 5940797 | 719027 | 30160 60 | 1 | 1 1440.71/1441.16 c 1440s | 20 | 5950595 | 720027 | 30160 60 | 1 | 1 1442.81/1443.30 c 1443s | 20 | 5962078 | 720827 | 30160 60 | 1 | 1 1445.20/1445.62 c 1445s | 20 | 5986116 | 722027 | 30160 60 | 1 | 1 1447.31/1447.75 c 1447s | 20 | 6008481 | 723027 | 30160 60 | 1 | 1 1449.51/1449.95 c 1449s | 20 | 6021253 | 724127 | 30160 60 | 1 | 1 1451.71/1452.13 c 1451s | 20 | 6030867 | 725127 | 30160 60 | 1 | 1 1453.70/1454.20 c 1453s | 20 | 6040882 | 725927 | 30160 60 | 1 | 1 1455.90/1456.32 c 1456s | 20 | 6054749 | 726827 | 30160 60 | 1 | 1 1457.90/1458.32 c 1458s | 20 | 6056043 | 727527 | 30160 60 | 1 | 1 1460.10/1460.55 c 1460s | 20 | 6065658 | 728327 | 30160 60 | 1 | 1 1462.10/1462.56 c 1462s | 20 | 6074738 | 729127 | 30160 60 | 1 | 1 1464.10/1464.58 c 1464s | 20 | 6086266 | 730227 | 30160 60 | 1 | 1 1466.40/1466.82 c 1466s | 20 | 6091003 | 731127 | 30160 60 | 1 | 1 1468.40/1468.88 c 1468s | 20 | 6098427 | 731827 | 30160 60 | 1 | 1 1470.50/1470.94 c 1470s | 20 | 6104432 | 732627 | 30160 60 | 1 | 1 1472.60/1473.01 c 1472s | 20 | 6107867 | 733427 | 30160 61 | 1 | 1 1474.70/1475.13 c 1474s | 20 | 6110121 | 734327 | 30160 61 | 1 | 1 1476.79/1477.26 c 1477s | 20 | 6112273 | 735127 | 30160 61 | 1 | 1 1479.20/1479.63 c 1479s | 20 | 6113194 | 735727 | 30160 61 | 1 | 1 1481.18/1481.70 c 1481s | 20 | 6135625 | 736727 | 30160 61 | 1 | 1 1483.28/1483.78 c 1483s | 20 | 6149125 | 737827 | 30160 61 | 1 | 1 1485.48/1485.91 c 1485s | 20 | 6153260 | 738727 | 30160 61 | 1 | 1 1487.58/1488.08 c 1487s | 20 | 6164584 | 739727 | 30160 61 | 1 | 1 1489.78/1490.26 c 1490s | 20 | 6169964 | 740527 | 30160 61 | 1 | 1 1491.88/1492.39 c 1492s | 20 | 6183104 | 741327 | 30160 61 | 1 | 1 1494.08/1494.51 c 1494s | 20 | 6187925 | 742127 | 30160 61 | 1 | 1 1496.18/1496.68 c 1496s | 20 | 6195640 | 743127 | 30160 61 | 1 | 1 1498.48/1498.94 c 1498s | 20 | 6202452 | 743927 | 30160 61 | 1 | 1 1500.48/1500.97 c 1500s | 20 | 6203119 | 744527 | 30160 61 | 1 | 1 1502.67/1503.15 c 1502s | 20 | 6204034 | 745227 | 30160 61 | 1 | 1 1504.87/1505.30 c 1505s | 20 | 6204972 | 745927 | 30160 61 | 1 | 1 1506.87/1507.38 c 1507s | 20 | 6206345 | 746727 | 30160 61 | 1 | 1 1509.07/1509.55 c 1509s | 20 | 6207462 | 747527 | 30160 61 | 1 | 1 1511.17/1511.61 c 1511s | 20 | 6215725 | 748327 | 30160 61 | 1 | 1 1513.28/1513.75 c 1513s | 20 | 6223358 | 749127 | 30160 62 | 1 | 1 1515.38/1515.81 c 1515s | 20 | 6233267 | 750027 | 30160 62 | 1 | 1 1517.47/1517.93 c 1517s | 20 | 6243353 | 750827 | 30160 62 | 1 | 1 1519.57/1520.01 c 1519s | 20 | 6255717 | 751927 | 30160 62 | 1 | 1 1521.56/1522.02 c 1521s | 20 | 6264295 | 752927 | 30160 62 | 1 | 1 1523.77/1524.23 c 1523s | 20 | 6281278 | 753927 | 30160 62 | 1 | 1 1525.77/1526.24 c 1525s | 20 | 6284565 | 754727 | 30160 62 | 1 | 1 1527.87/1528.39 c 1528s | 20 | 6296571 | 755627 | 30160 62 | 1 | 1 1530.17/1530.64 c 1530s | 20 | 6316569 | 756527 | 30160 62 | 1 | 1 1532.27/1532.71 c 1532s | 20 | 6328965 | 757327 | 30160 62 | 1 | 1 1534.27/1534.75 c 1534s | 20 | 6335621 | 758127 | 30160 62 | 1 | 1 1536.28/1536.79 c 1536s | 20 | 6349244 | 758927 | 30160 62 | 1 | 1 1538.37/1538.90 c 1538s | 20 | 6361338 | 759727 | 30160 62 | 1 | 1 1540.56/1541.03 c 1540s | 20 | 6368088 | 760627 | 30160 62 | 1 | 1 1542.66/1543.16 c 1542s | 20 | 6372918 | 761427 | 30160 62 | 1 | 1 1544.76/1545.21 c 1544s | 20 | 6381952 | 762227 | 30160 62 | 1 | 1 1546.86/1547.37 c 1547s | 20 | 6392992 | 763027 | 30160 62 | 1 | 1 1548.96/1549.42 c 1549s | 20 | 6397122 | 763727 | 30160 63 | 1 | 1 1551.06/1551.54 c 1551s | 20 | 6407459 | 764727 | 30160 63 | 1 | 1 1553.26/1553.77 c 1553s | 20 | 6415283 | 765627 | 30160 63 | 1 | 1 1555.36/1555.85 c 1555s | 20 | 6420826 | 766627 | 30160 63 | 1 | 1 1557.46/1557.97 c 1557s | 20 | 6428116 | 767627 | 30160 63 | 1 | 1 1559.66/1560.11 c 1559s | 20 | 6443710 | 768627 | 30160 63 | 1 | 1 1561.66/1562.18 c 1561s | 20 | 6450165 | 769427 | 30160 63 | 1 | 1 1563.86/1564.33 c 1564s | 20 | 6455863 | 770527 | 30160 63 | 1 | 1 1565.96/1566.43 c 1566s | 20 | 6458496 | 771527 | 30160 63 | 1 | 1 1568.65/1569.11 c 1568s | 20 | 6461210 | 772027 | 30160 63 | 1 | 1 1570.65/1571.19 c 1570s | 20 | 6480570 | 773227 | 30160 63 | 1 | 1 1572.75/1573.26 c 1573s | 20 | 6495702 | 774227 | 30160 63 | 1 | 1 1574.86/1575.38 c 1575s | 20 | 6513123 | 775327 | 30160 63 | 1 | 1 1576.85/1577.39 c 1577s | 20 | 6525663 | 776227 | 30160 63 | 1 | 1 1579.05/1579.55 c 1579s | 20 | 6540595 | 777127 | 30160 63 | 1 | 1 1581.15/1581.69 c 1581s | 20 | 6546754 | 777927 | 30160 63 | 1 | 1 1583.25/1583.72 c 1583s | 20 | 6553985 | 778727 | 30160 63 | 1 | 1 1585.45/1585.93 c 1585s | 20 | 6572331 | 779527 | 30160 64 | 1 | 1 1587.55/1588.01 c 1587s | 20 | 6582207 | 780627 | 30160 64 | 1 | 1 1589.55/1590.02 c 1589s | 20 | 6599416 | 781627 | 30160 64 | 1 | 1 1591.64/1592.13 c 1591s | 20 | 6612198 | 782727 | 30160 64 | 1 | 1 1593.84/1594.32 c 1594s | 20 | 6623690 | 783627 | 30160 64 | 1 | 1 1595.94/1596.44 c 1596s | 20 | 6629770 | 784527 | 30160 64 | 1 | 1 1598.04/1598.58 c 1598s | 20 | 6638589 | 785427 | 30160 64 | 1 | 1 1600.24/1600.71 c 1600s | 20 | 6645468 | 786327 | 30160 64 | 1 | 1 1602.35/1602.87 c 1602s | 20 | 6653898 | 787227 | 30160 64 | 1 | 1 1604.56/1605.08 c 1604s | 20 | 6660144 | 788127 | 30160 64 | 1 | 1 1606.66/1607.14 c 1606s | 20 | 6666286 | 788927 | 30160 64 | 1 | 1 1608.65/1609.17 c 1608s | 20 | 6667791 | 789627 | 30160 64 | 1 | 1 1610.75/1611.22 c 1610s | 20 | 6670067 | 790427 | 30160 64 | 1 | 1 1612.94/1613.43 c 1613s | 20 | 6677093 | 790927 | 30160 64 | 1 | 1 1615.14/1615.60 c 1615s | 20 | 6687180 | 791827 | 30160 64 | 1 | 1 1617.24/1617.71 c 1617s | 20 | 6695497 | 792727 | 30160 64 | 1 | 1 1619.34/1619.80 c 1619s | 20 | 6697586 | 793227 | 30160 64 | 1 | 1 1621.34/1621.80 c 1621s | 20 | 6711195 | 794027 | 30160 64 | 1 | 1 1623.44/1623.96 c 1623s | 20 | 6718721 | 794927 | 30160 65 | 1 | 1 1625.64/1626.16 c 1625s | 20 | 6727403 | 796127 | 30160 65 | 1 | 1 1627.74/1628.23 c 1627s | 20 | 6739185 | 797127 | 30160 65 | 1 | 1 1629.84/1630.35 c 1630s | 20 | 6750429 | 798127 | 30160 65 | 1 | 1 1631.83/1632.38 c 1632s | 20 | 6762005 | 799127 | 30160 65 | 1 | 1 1633.93/1634.46 c 1634s | 20 | 6766769 | 800227 | 30160 65 | 1 | 1 1636.23/1636.73 c 1636s | 20 | 6768339 | 801127 | 30160 65 | 1 | 1 1638.54/1639.02 c 1638s | 20 | 6772117 | 801827 | 30160 65 | 1 | 1 1640.74/1641.23 c 1640s | 20 | 6787201 | 802727 | 30160 65 | 1 | 1 1642.83/1643.38 c 1643s | 20 | 6803883 | 803727 | 30160 65 | 1 | 1 1645.13/1645.61 c 1645s | 20 | 6815311 | 804727 | 30160 65 | 1 | 1 1647.13/1647.64 c 1647s | 20 | 6818630 | 805827 | 30160 65 | 1 | 1 1649.33/1649.82 c 1649s | 20 | 6827337 | 807027 | 30160 65 | 1 | 1 1651.53/1652.02 c 1651s | 20 | 6830753 | 807927 | 30160 65 | 1 | 1 1653.73/1654.25 c 1654s | 20 | 6844605 | 808827 | 30160 65 | 1 | 1 1655.82/1656.32 c 1656s | 20 | 6861931 | 809627 | 30160 66 | 1 | 1 1657.82/1658.39 c 1658s | 20 | 6884553 | 810727 | 30160 66 | 1 | 1 1659.92/1660.43 c 1660s | 20 | 6901685 | 811627 | 30160 66 | 1 | 1 1662.02/1662.50 c 1662s | 20 | 6918957 | 812527 | 30160 66 | 1 | 1 1664.02/1664.57 c 1664s | 20 | 6930450 | 813427 | 30160 66 | 1 | 1 1666.22/1666.76 c 1666s | 20 | 6938572 | 814427 | 30160 66 | 1 | 1 1668.42/1668.96 c 1668s | 20 | 6944084 | 815427 | 30160 66 | 1 | 1 1670.53/1671.08 c 1670s | 20 | 6946012 | 816327 | 30160 66 | 1 | 1 1672.63/1673.16 c 1672s | 20 | 6962392 | 817327 | 30160 66 | 1 | 1 1674.72/1675.28 c 1675s | 20 | 6975680 | 818327 | 30160 66 | 1 | 1 1676.93/1677.47 c 1677s | 20 | 6984023 | 819427 | 30160 66 | 1 | 1 1679.03/1679.51 c 1679s | 20 | 6992026 | 820427 | 30160 66 | 1 | 1 1681.23/1681.73 c 1681s | 20 | 7002849 | 821527 | 30160 66 | 1 | 1 1683.23/1683.78 c 1683s | 20 | 7010710 | 822327 | 30160 66 | 1 | 1 1685.33/1685.85 c 1685s | 20 | 7023997 | 823327 | 30160 66 | 1 | 1 1687.43/1687.90 c 1687s | 20 | 7033837 | 824127 | 30160 66 | 1 | 1 1689.43/1689.95 c 1689s | 20 | 7037764 | 824827 | 30160 67 | 1 | 1 1691.53/1692.06 c 1691s | 20 | 7046835 | 825927 | 30160 67 | 1 | 1 1693.73/1694.30 c 1694s | 20 | 7049941 | 826927 | 30160 67 | 1 | 1 1695.83/1696.38 c 1696s | 20 | 7058557 | 827827 | 30160 67 | 1 | 1 1697.83/1698.38 c 1698s | 20 | 7066088 | 828627 | 30160 67 | 1 | 1 1700.03/1700.58 c 1700s | 20 | 7075278 | 829627 | 30160 67 | 1 | 1 1702.23/1702.74 c 1702s | 20 | 7079786 | 830527 | 30160 67 | 1 | 1 1704.53/1705.02 c 1704s | 20 | 7085642 | 831327 | 30160 67 | 1 | 1 1706.62/1707.12 c 1706s | 20 | 7087918 | 832027 | 30160 67 | 1 | 1 1708.62/1709.14 c 1708s | 20 | 7090872 | 832727 | 30160 67 | 1 | 1 1710.92/1711.45 c 1711s | 20 | 7093770 | 833627 | 30160 67 | 1 | 1 1712.92/1713.49 c 1713s | 20 | 7096518 | 834527 | 30160 67 | 1 | 1 1715.12/1715.64 c 1715s | 20 | 7101743 | 835527 | 30160 67 | 1 | 1 1717.22/1717.71 c 1717s | 20 | 7107065 | 836427 | 30160 67 | 1 | 1 1719.22/1719.74 c 1719s | 20 | 7114804 | 837327 | 30160 67 | 1 | 1 1721.32/1721.89 c 1721s | 20 | 7120628 | 838227 | 30160 67 | 1 | 1 1723.42/1723.94 c 1723s | 20 | 7130784 | 839027 | 30160 67 | 1 | 1 1725.53/1726.05 c 1725s | 20 | 7133986 | 839727 | 30160 67 | 1 | 1 1727.73/1728.22 c 1727s | 20 | 7135067 | 840327 | 30160 68 | 1 | 1 1729.83/1730.32 c 1730s | 20 | 7136489 | 841027 | 30160 68 | 1 | 1 1731.92/1732.44 c 1732s | 20 | 7142216 | 841927 | 30160 68 | 1 | 1 1734.12/1734.63 c 1734s | 20 | 7149567 | 842827 | 30160 68 | 1 | 1 1736.22/1736.70 c 1736s | 20 | 7156253 | 843827 | 30160 68 | 1 | 1 1738.52/1739.01 c 1738s | 20 | 7160660 | 844727 | 30160 68 | 1 | 1 1740.62/1741.13 c 1740s | 20 | 7163830 | 845527 | 30160 68 | 1 | 1 1742.92/1743.41 c 1743s | 20 | 7168113 | 846427 | 30160 68 | 1 | 1 1744.91/1745.46 c 1745s | 20 | 7171272 | 847427 | 30160 68 | 1 | 1 1747.01/1747.59 c 1747s | 20 | 7176354 | 848527 | 30160 68 | 1 | 1 1749.21/1749.72 c 1749s | 20 | 7179038 | 849627 | 30160 68 | 1 | 1 1751.21/1751.77 c 1751s | 20 | 7191257 | 850727 | 30160 68 | 1 | 1 1753.41/1753.91 c 1753s | 20 | 7198887 | 851627 | 30160 68 | 1 | 1 1755.51/1756.07 c 1755s | 20 | 7203508 | 852627 | 30160 68 | 1 | 1 1757.61/1758.12 c 1757s | 20 | 7206775 | 853627 | 30160 68 | 1 | 1 1759.81/1760.31 c 1760s | 20 | 7214742 | 854627 | 30160 68 | 1 | 1 1761.91/1762.42 c 1762s | 20 | 7219935 | 855427 | 30160 69 | 1 | 1 1763.92/1764.45 c 1764s | 20 | 7222079 | 856227 | 30160 69 | 1 | 1 1775.41/1775.97 c 1775s | 20 | 7222806 | 856527 | 30160 69 | 1 | 1 1778.11/1778.63 c 1778s | 20 | 7223026 | 856627 | 30160 69 | 1 | 1 1780.21/1780.71 c 1780s | 20 | 7226856 | 857027 | 30160 69 | 1 | 1 1782.21/1782.77 c 1782s | 20 | 7241049 | 858127 | 30160 69 | 1 | 1 1784.31/1784.80 c 1784s | 20 | 7260669 | 859127 | 30160 69 | 1 | 1 1786.51/1787.02 c 1786s | 20 | 7282096 | 860427 | 30160 69 | 1 | 1 1788.61/1789.12 c 1788s | 20 | 7292397 | 861427 | 30160 69 | 1 | 1 1790.71/1791.21 c 1790s | 20 | 7313127 | 862427 | 30160 69 | 1 | 1 1792.71/1793.25 c 1793s | 20 | 7317239 | 863227 | 30160 69 | 1 | 1 1794.91/1795.43 c 1795s | 20 | 7324339 | 864227 | 30160 69 | 1 | 1 1797.11/1797.63 c 1797s | 20 | 7328591 | 865127 | 30160 69 | 1 | 1 1799.21/1799.73 c 1799s | 20 | 7332716 | 866027 | 30160 69 | 1 | 1
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-4080100-1465261284/watcher-4080100-1465261284 -o /tmp/evaluation-result-4080100-1465261284/solver-4080100-1465261284 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080100-1465261284.opb pid=9931 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: 1.49 2.04 2.18 2/175 9934 /proc/meminfo: memFree=30296016/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=558524 CPUtime=0 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 2050 0 0 0 0 0 0 0 20 0 4 0 108061727 571928576 2922 33554432000 4194304 16246674 140735033516432 140735033515856 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9934/statm: 140143 2932 441 2943 0 137037 0 [pid=9934/tid=9937] ppid=9931 vsize=574908 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 588705792 2989 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=580028 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 593948672 3009 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=585148 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108061728 599191552 3028 33554432000 4194304 16246674 140735033516432 139728909233328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100173 s] /proc/loadavg: 1.49 2.04 2.18 2/175 9934 /proc/meminfo: memFree=30296016/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1221188 CPUtime=0.09 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 21429 0 0 0 7 2 0 0 20 0 4 0 108061727 1250496512 22238 33554432000 4194304 16246674 140735033516432 140735033515744 12481133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9934/statm: 305297 22238 835 2943 0 302191 0 [pid=9934/tid=9937] ppid=9931 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1250496512 22238 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1250496512 22238 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108061728 1250496512 22238 33554432000 4194304 16246674 140735033516432 139728909233328 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) 1221188 [startup+0.200558 s] /proc/loadavg: 1.49 2.04 2.18 2/175 9934 /proc/meminfo: memFree=30296016/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1299012 CPUtime=0.19 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 40014 0 0 0 14 5 0 0 20 0 4 0 108061727 1330188288 40824 33554432000 4194304 16246674 140735033516432 140735033515744 6760209 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9934/statm: 324753 40835 836 2943 0 321647 0 [pid=9934/tid=9937] ppid=9931 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1330188288 40842 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1330188288 40850 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1330188288 40857 33554432000 4194304 16246674 140735033516432 139728909233328 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) 1299012 [startup+0.300494 s] /proc/loadavg: 1.49 2.04 2.18 2/175 9934 /proc/meminfo: memFree=30296016/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1299012 CPUtime=0.29 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 46682 0 0 0 23 6 0 0 20 0 4 0 108061727 1330188288 47491 33554432000 4194304 16246674 140735033516432 140735033515744 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9934/statm: 324753 47502 907 2943 0 321647 0 [pid=9934/tid=9937] ppid=9931 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1330188288 47508 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1330188288 47514 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1330188288 47520 33554432000 4194304 16246674 140735033516432 139728909233328 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) 1299012 [startup+0.700415 s] /proc/loadavg: 1.49 2.04 2.18 2/175 9934 /proc/meminfo: memFree=30296016/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1299012 CPUtime=0.69 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 144094 0 0 0 50 19 0 0 20 0 4 0 108061727 1330188288 144903 33554432000 4194304 16246674 140735033516432 140735033498304 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9934/statm: 324753 144923 907 2943 0 321647 0 [pid=9934/tid=9937] ppid=9931 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1330188288 144934 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1330188288 144945 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1299012 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1330188288 144957 33554432000 4194304 16246674 140735033516432 139728909233328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1299012 [startup+1.50043 s] /proc/loadavg: 1.49 2.04 2.18 3/185 9947 /proc/meminfo: memFree=28256076/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1307204 CPUtime=1.49 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 268002 0 0 0 114 35 0 0 20 0 4 0 108061727 1338576896 268811 33554432000 4194304 16246674 140735033516432 140735033498304 6845816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9934/statm: 326801 268811 914 2943 0 323695 0 [pid=9934/tid=9937] ppid=9931 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1338576896 268811 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1338576896 268811 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1338576896 268811 33554432000 4194304 16246674 140735033516432 139728909233328 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) 1307204 [startup+3.10043 s] /proc/loadavg: 1.49 2.04 2.18 3/185 9947 /proc/meminfo: memFree=28149156/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 268002 0 0 0 274 35 0 0 20 0 4 0 108061727 1338576896 268811 33554432000 4194304 16246674 140735033516432 140735033498304 6020536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9934/statm: 326801 268811 914 2943 0 323695 0 [pid=9934/tid=9937] ppid=9931 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1338576896 268811 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1338576896 268811 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1338576896 268811 33554432000 4194304 16246674 140735033516432 139728909233328 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) 1307204 [startup+6.30043 s] /proc/loadavg: 1.53 2.04 2.18 3/185 9947 /proc/meminfo: memFree=28147336/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 268002 0 0 0 592 37 0 0 20 0 4 0 108061727 1338576896 268811 33554432000 4194304 16246674 140735033516432 140735033498304 6021672 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9934/statm: 326801 268811 914 2943 0 323695 0 [pid=9934/tid=9937] ppid=9931 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1338576896 268811 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1338576896 268811 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1338576896 268811 33554432000 4194304 16246674 140735033516432 139728909233328 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) 1307204 [startup+12.7004 s] /proc/loadavg: 1.65 2.06 2.19 3/185 9947 /proc/meminfo: memFree=28147048/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1307204 CPUtime=12.68 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 268004 0 0 0 1231 37 0 0 20 0 4 0 108061727 1338576896 268813 33554432000 4194304 16246674 140735033516432 140735033498304 12483387 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9934/statm: 326801 268813 916 2943 0 323695 0 [pid=9934/tid=9937] ppid=9931 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1338576896 268813 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1338576896 268813 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1338576896 268813 33554432000 4194304 16246674 140735033516432 139728909233328 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) 1307204 [startup+25.5005 s] /proc/loadavg: 1.72 2.06 2.18 3/185 9947 /proc/meminfo: memFree=28139988/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1311300 CPUtime=25.48 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 269030 0 0 0 2510 38 0 0 20 0 4 0 108061727 1342771200 269839 33554432000 4194304 16246674 140735033516432 140735033498304 5823182 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9934/statm: 327825 269839 917 2943 0 324719 0 [pid=9934/tid=9937] ppid=9931 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1342771200 269839 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1342771200 269839 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1342771200 269839 33554432000 4194304 16246674 140735033516432 139728909233328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 1.89 2.07 2.18 3/184 9947 /proc/meminfo: memFree=28121660/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1320516 CPUtime=51.08 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 271334 0 0 0 5069 39 0 0 20 0 4 0 108061727 1352208384 272143 33554432000 4194304 16246674 140735033516432 140735033499424 6011708 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9934/statm: 330129 272143 917 2943 0 327023 0 [pid=9934/tid=9937] ppid=9931 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1352208384 272143 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1352208384 272143 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1352208384 272143 33554432000 4194304 16246674 140735033516432 139728909233328 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) 1320516 [startup+102.301 s] /proc/loadavg: 2.13 2.10 2.19 3/184 9948 /proc/meminfo: memFree=28120104/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1320516 CPUtime=102.28 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 271334 0 0 0 10188 40 0 0 20 0 4 0 108061727 1352208384 272143 33554432000 4194304 16246674 140735033516432 140735033499432 5723304 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9934/statm: 330129 272143 917 2943 0 327023 0 [pid=9934/tid=9937] ppid=9931 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1352208384 272143 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1352208384 272143 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1320516 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1352208384 272143 33554432000 4194304 16246674 140735033516432 139728909233328 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) 1320516 ################ # More data... # ################ /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139728909233328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1351236 [startup+1362.3 s] /proc/loadavg: 2.25 2.20 2.18 3/183 9991 /proc/meminfo: memFree=28058352/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1351236 CPUtime=1361.94 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 279229 0 0 0 136134 60 0 0 20 0 4 0 108061727 1383665664 279828 33554432000 4194304 16246674 140735033516432 140735033499432 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9934/statm: 337809 279828 919 2943 0 334703 0 [pid=9934/tid=9937] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139728909233328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1351236 [startup+1422.3 s] /proc/loadavg: 2.25 2.21 2.18 3/183 9992 /proc/meminfo: memFree=28058540/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1351236 CPUtime=1421.92 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 279266 0 0 0 142131 61 0 0 20 0 4 0 108061727 1383665664 279828 33554432000 4194304 16246674 140735033516432 140735033498304 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9934/statm: 337809 279828 919 2943 0 334703 0 [pid=9934/tid=9937] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139728909233328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1351236 [startup+1482.3 s] /proc/loadavg: 2.19 2.20 2.18 3/183 9994 /proc/meminfo: memFree=28058596/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1351236 CPUtime=1481.88 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 279302 0 0 0 148126 62 0 0 20 0 4 0 108061727 1383665664 279828 33554432000 4194304 16246674 140735033516432 140735033499424 5707789 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9934/statm: 337809 279828 919 2943 0 334703 0 [pid=9934/tid=9937] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139728909233328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1351236 [startup+1542.31 s] /proc/loadavg: 2.26 2.22 2.18 3/183 9995 /proc/meminfo: memFree=28058044/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1351236 CPUtime=1541.87 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 279327 0 0 0 154124 63 0 0 20 0 4 0 108061727 1383665664 279828 33554432000 4194304 16246674 140735033516432 140735033498304 5822740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9934/statm: 337809 279828 919 2943 0 334703 0 [pid=9934/tid=9937] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139728909233328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1351236 [startup+1602.3 s] /proc/loadavg: 2.29 2.24 2.19 3/183 9996 /proc/meminfo: memFree=28058092/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1351236 CPUtime=1601.84 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 279339 0 0 0 160121 63 0 0 20 0 4 0 108061727 1383665664 279828 33554432000 4194304 16246674 140735033516432 140735033498304 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9934/statm: 337809 279828 919 2943 0 334703 0 [pid=9934/tid=9937] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279828 33554432000 4194304 16246674 140735033516432 139728909233328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1351236 [startup+1662.3 s] /proc/loadavg: 2.25 2.24 2.19 3/183 9997 /proc/meminfo: memFree=28058388/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1351236 CPUtime=1661.82 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 279352 0 0 0 166118 64 0 0 20 0 4 0 108061727 1383665664 279837 33554432000 4194304 16246674 140735033516432 140735033498304 6021544 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9934/statm: 337809 279837 919 2943 0 334703 0 [pid=9934/tid=9937] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279837 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279837 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279837 33554432000 4194304 16246674 140735033516432 139728909233328 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) 1351236 [startup+1722.3 s] /proc/loadavg: 2.23 2.23 2.19 3/184 10001 /proc/meminfo: memFree=28056004/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1351236 CPUtime=1721.82 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 279352 0 0 0 172117 65 0 0 20 0 4 0 108061727 1383665664 279837 33554432000 4194304 16246674 140735033516432 140735033499424 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9934/statm: 337809 279837 919 2943 0 334703 0 [pid=9934/tid=9937] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279837 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279837 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279837 33554432000 4194304 16246674 140735033516432 139728909233328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1351236 [startup+1782.3 s] /proc/loadavg: 2.17 2.22 2.18 3/183 10003 /proc/meminfo: memFree=28056112/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1351236 CPUtime=1781.81 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 279352 0 0 0 178113 68 0 0 20 0 4 0 108061727 1383665664 279837 33554432000 4194304 16246674 140735033516432 140735033498304 6021672 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9934/statm: 337809 279837 919 2943 0 334703 0 [pid=9934/tid=9937] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279837 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279837 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279837 33554432000 4194304 16246674 140735033516432 139728909233328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1351236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.20 2.22 2.18 4/183 10003 /proc/meminfo: memFree=28056844/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1351236 CPUtime=1800.01 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 279352 0 0 0 179933 68 0 0 20 0 4 0 108061727 1383665664 279837 33554432000 4194304 16246674 140735033516432 140735033498304 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9934/statm: 337809 279837 919 2943 0 334703 0 [pid=9934/tid=9937] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279837 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279837 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279837 33554432000 4194304 16246674 140735033516432 139728909233328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1351236 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 9934 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.20 2.22 2.18 4/183 10003 /proc/meminfo: memFree=28056844/32872528 swapFree=15272/1656604 [pid=9934] ppid=9931 vsize=1351236 CPUtime=1800.01 cores=1,3,5,7 /proc/9934/stat : 9934 (toysat) R 9931 9934 9894 0 -1 4202496 279352 0 0 0 179933 68 0 0 20 0 4 0 108061727 1383665664 279837 33554432000 4194304 16246674 140735033516432 140735033498304 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/9934/statm: 337809 279837 919 2943 0 334703 0 [pid=9934/tid=9937] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9937/stat : 9937 (toysat) S 9931 9934 9894 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279837 33554432000 4194304 16246674 140735033516432 139729032948976 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9934/tid=9938] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9938/stat : 9938 (toysat) S 9931 9934 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279837 33554432000 4194304 16246674 140735033516432 139729022459120 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9934/tid=9939] ppid=9931 vsize=1351236 CPUtime=0 cores=1,3,5,7 /proc/9934/task/9939/stat : 9939 (toysat) S 9931 9934 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108061728 1383665664 279837 33554432000 4194304 16246674 140735033516432 139728909233328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1351236 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.34 CPU system time (s): 0.683896 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (KiB): 1351236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.34 system time used= 0.683896 maximum resident set size= 1119348 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 279352 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= 354 involuntary context switches= 2895 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.5713 second user time and 6.94194 second system time The end
Begin job on node136 at 2016-06-07 03:01:24 IDJOB=4080100 IDBENCH=48238 IDSOLVER=2542 FILE ID=node136/4080100-1465261284 RUNJOBID= node136-1465261284-9911 PBS_JOBID= 19843291 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080100-1465261284/watcher-4080100-1465261284 -o /tmp/evaluation-result-4080100-1465261284/solver-4080100-1465261284 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080100-1465261284.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 219f407da86957d900e068170e9af8b6 RANDOM SEED=649009184 node136.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.959 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 : 5333.91 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.959 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.959 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.55 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.959 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.959 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.959 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.59 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.959 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.55 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.959 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: 30297188 kB Buffers: 44676 kB Cached: 168396 kB SwapCached: 804 kB Active: 100248 kB Inactive: 115864 kB Active(anon): 4324 kB Inactive(anon): 1208 kB Active(file): 95924 kB Inactive(file): 114656 kB Unevictable: 1656604 kB Mlocked: 15272 kB SwapTotal: 67108856 kB SwapFree: 67099344 kB Dirty: 32624 kB Writeback: 0 kB AnonPages: 1659000 kB Mapped: 6796 kB Shmem: 0 kB Slab: 568572 kB SReclaimable: 13184 kB SUnreclaim: 555388 kB KernelStack: 1352 kB PageTables: 7624 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1754260 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1644544 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= 71704 MiB End job on node136 at 2016-06-07 03:31:25