| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.61 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/ aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb |
| MD5SUM | 61cf99fd35695f4955b2bd6e6269522f |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.017996 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2400 |
| Total number of constraints | 140 |
| Number of constraints which are clauses | 80 |
| Number of constraints which are cardinality constraints (but not clauses) | 60 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 30 |
| Maximum length of a constraint | 40 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 41 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-18T01:29:01+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-4099466-1466206141.opb"] 0.00/0.01 c use --random-gen="3800288857 1697769461 299230544 2256811550 3660356551 160084683 1735416104 3948170222 3433614627 2927698278 671337823 1366671629 2571666838 1599327541 3694525486 1596055569 1860255838 3159842667 2697626444 3119590968 758729109 922171530 3296199198 4080115513 4082344503 1514357162 3215279378 175590337 446931476 1313791707 2815781292 3160791831 1158225506 528873820 1595048462 1971989966 3438200228 1717534618 110834546 1172237610 3763372188 2758890035 50697291 1124987444 341741726 4135098170 1293630517 3184418148 2576957705 1605539451 512997973 3299346922 4087910122 4248356334 1019602000 1291854455 1594804189 2228519335 3614457459 4104794141 322257167 3686494562 3839389769 3520746957 2404150773 1144030325 3047934623 2012309074 83811719 802549105 1894054814 296158782 1243568153 2185724927 3734949832 27226897 2829611695 1538058955 3521201266 3685506491 2876042711 3202606064 634563513 3627373318 3217788929 3140851544 4054771738 1312388919 2621148659 3307250990 2208522762 2475372960 776680550 644071340 4150757883 1578290968 4280028578 4106623214 3246828658 3102352 165019385 700492179 2980258600 1583706715 2260389007 53642267 803759713 2900562715 1343271265 1693517136 313231352 760381244 667211693 2819191091 3742109117 1485111698 3905255087 887254785 1258710401 767746112 2258706536 2428071971 3884818864 838241015 644047161 3587115131 3496977283 37889564 3842491707 2503156439 2750933135 295209090 2665006437 3142793443 3522503668 144168361 397792934 601907525 217333553 3184046394 4156582837 3650792593 564067224 4169829191 53579066 1709385708 2608243576 705100966 495297271 3233320937 3904782701 2305710829 2272253963 1959199556 3616801555 2181846082 514633875 3527122253 3998617535 1789393180 918874926 1977900186 3231566788 3591595038 2097229578 4267442310 4053175818 3174746077 1275858654 1947502264 4269059279 1626791305 3006294658 548694588 4141120556 3194484579 4162837747 3806919450 2397809050 58062588 1303923785 3177177063 2123154997 2879861306 956481678 4007343608 3418949042 588377850 2917321519 3181080224 2159741225 1849702311 2790765568 62338295 2693999951 263393487 768658705 2413883353 2367955173 865389239 38642150 1821052464 1742968808 4118140585 3785914769 1553163886 3250897349 1188759726 3409229873 3656808156 903323088 1243318804 17346164 1391636900 468722451 352916484 3212822267 417530371 1625840680 1780361330 2384824694 3958296442 336752212 3393331925 1318591500 2415690826 683555746 3573662199 651330249 4149343761 1738147508 1765663726 2811380419 426267176 3011917685 3452896305 2873266971 2350750419 221082540 3447861869 902597096 4196651121 2275389091 13259589 3863026254 830387636 1762934068 1714956250 2571990770 1004632789 190022721 159541095 597348255 3369823418 2042213584 2454226706 255 362436" option to reproduce the execution 0.00/0.02 c #vars 2400 0.00/0.02 c #constraints 140 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 846 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 141 | 100 | 846 0 | 0 | 0 0.09/0.14 c 0.1s | 2 | 778 | 250 | 931 0 | 0 | 0 0.19/0.25 c 0.2s | 3 | 1531 | 475 | 1025 0 | 0 | 0 0.39/0.42 c 0.4s | 4 | 2429 | 813 | 1128 0 | 0 | 0 0.69/0.76 c 0.7s | 5 | 3506 | 1320 | 1241 0 | 0 | 0 1.10/1.10 c 1.1s | 6 | 4962 | 2081 | 1503 1 | 0 | 0 1.59/1.64 c 1.6s | 7 | 6829 | 3223 | 1654 1 | 0 | 0 3.09/3.11 c 3.1s | 8 | 9837 | 4936 | 1820 3 | 0 | 0 5.09/5.17 c 5.1s | 8 | 13496 | 7436 | 1820 4 | 0 | 0 5.19/5.23 c 5.2s | 9 | 13566 | 7506 | 2003 4 | 0 | 0 7.19/7.24 c 7.2s | 9 | 17450 | 10306 | 2003 6 | 0 | 0 8.19/8.27 c 8.2s | 10 | 18647 | 11361 | 2204 7 | 0 | 0 10.29/10.32 c 10.3s | 10 | 23086 | 14161 | 2204 8 | 0 | 0 12.30/12.38 c 12.3s | 10 | 25173 | 16061 | 2204 10 | 0 | 0 13.30/13.40 c 13.4s | 11 | 26397 | 17144 | 2425 10 | 0 | 0 15.39/15.43 c 15.4s | 11 | 30052 | 19844 | 2425 12 | 0 | 0 17.39/17.47 c 17.4s | 11 | 32354 | 21944 | 2425 13 | 0 | 0 19.59/19.60 c 19.6s | 11 | 35549 | 24544 | 2425 15 | 0 | 0 20.68/20.70 c 20.7s | 12 | 37029 | 25819 | 2668 15 | 0 | 0 22.68/22.75 c 22.7s | 12 | 40672 | 28219 | 2668 17 | 0 | 0 24.69/24.80 c 24.8s | 12 | 42550 | 29919 | 2668 17 | 0 | 0 26.79/26.83 c 26.8s | 12 | 44780 | 31919 | 2668 19 | 0 | 0 28.89/28.96 c 28.9s | 12 | 46859 | 33819 | 2668 20 | 0 | 0 30.99/31.04 c 31.0s | 12 | 48791 | 35619 | 2668 21 | 0 | 0 32.99/33.08 c 33.0s | 12 | 50729 | 37419 | 2668 21 | 0 | 0 34.88/34.93 c 34.9s | 13 | 52268 | 38832 | 2935 22 | 0 | 0 36.98/37.00 c 37.0s | 13 | 56530 | 41632 | 2935 24 | 0 | 0 39.08/39.10 c 39.1s | 13 | 58766 | 43632 | 2935 25 | 0 | 0 41.08/41.16 c 41.1s | 13 | 60929 | 45532 | 2935 26 | 0 | 0 43.18/43.23 c 43.2s | 13 | 63195 | 47532 | 2935 27 | 0 | 0 45.19/45.24 c 45.2s | 13 | 65089 | 49232 | 2935 27 | 0 | 0 47.28/47.34 c 47.3s | 13 | 66960 | 50932 | 2935 28 | 0 | 0 49.28/49.38 c 49.3s | 13 | 68814 | 52632 | 2935 29 | 0 | 0 51.28/51.39 c 51.4s | 13 | 70589 | 54232 | 2935 30 | 0 | 0 53.38/53.42 c 53.4s | 13 | 72363 | 55832 | 2935 31 | 0 | 0 55.38/55.44 c 55.4s | 13 | 73990 | 57332 | 2935 31 | 0 | 0 56.78/56.83 c 56.8s | 14 | 75117 | 58352 | 3229 32 | 0 | 0 58.78/58.88 c 58.9s | 14 | 79764 | 61152 | 3229 33 | 0 | 0 60.88/60.93 c 60.9s | 14 | 82296 | 63452 | 3229 34 | 0 | 0 62.88/62.97 c 62.9s | 14 | 84490 | 65452 | 3229 35 | 0 | 0 64.98/65.02 c 65.0s | 14 | 86478 | 67252 | 3229 36 | 0 | 0 67.08/67.13 c 67.1s | 14 | 88537 | 69152 | 3229 37 | 0 | 0 69.08/69.19 c 69.2s | 14 | 90898 | 71252 | 3229 37 | 0 | 0 71.18/71.25 c 71.2s | 14 | 92887 | 73052 | 3229 38 | 0 | 0 73.28/73.35 c 73.3s | 14 | 94802 | 74752 | 3229 39 | 0 | 0 75.28/75.36 c 75.3s | 14 | 96719 | 76452 | 3229 40 | 0 | 0 77.38/77.42 c 77.4s | 14 | 98610 | 78152 | 3229 40 | 0 | 0 79.38/79.42 c 79.4s | 14 | 100591 | 79952 | 3229 41 | 0 | 0 81.37/81.49 c 81.5s | 14 | 102484 | 81652 | 3229 42 | 0 | 0 83.57/83.61 c 83.6s | 14 | 104436 | 83352 | 3229 43 | 0 | 0 85.67/85.70 c 85.7s | 14 | 106312 | 85052 | 3229 44 | 0 | 0 87.67/87.78 c 87.8s | 14 | 108316 | 86852 | 3229 44 | 0 | 0 88.87/88.90 c 88.9s | 15 | 109190 | 87632 | 3552 45 | 0 | 0 90.88/90.97 c 90.9s | 15 | 113230 | 90132 | 3552 46 | 0 | 0 92.88/92.98 c 92.9s | 15 | 115250 | 91932 | 3552 46 | 0 | 0 95.08/95.11 c 95.1s | 15 | 117149 | 93632 | 3552 47 | 0 | 0 97.08/97.14 c 97.1s | 15 | 119097 | 95332 | 3552 48 | 0 | 0 99.18/99.28 c 99.3s | 15 | 121015 | 97032 | 3552 48 | 0 | 0 101.28/101.32 c 101s | 15 | 122830 | 98632 | 3552 49 | 0 | 0 103.28/103.37 c 103s | 15 | 124744 | 100332 | 3552 50 | 0 | 0 105.38/105.46 c 105s | 15 | 126541 | 101932 | 3552 50 | 0 | 0 107.38/107.47 c 107s | 15 | 128256 | 103432 | 3552 51 | 0 | 0 109.48/109.52 c 109s | 15 | 129851 | 104832 | 3552 52 | 0 | 0 111.58/111.66 c 111s | 15 | 131673 | 106432 | 3552 52 | 0 | 0 113.67/113.75 c 113s | 15 | 133337 | 107932 | 3552 53 | 0 | 0 115.77/115.82 c 115s | 15 | 134770 | 109232 | 3552 54 | 0 | 0 117.78/117.82 c 117s | 15 | 136593 | 110832 | 3552 54 | 0 | 0 119.87/119.90 c 119s | 15 | 138274 | 112332 | 3552 55 | 0 | 0 121.87/121.99 c 121s | 15 | 139801 | 113732 | 3552 55 | 0 | 0 123.97/124.08 c 124s | 15 | 141223 | 115032 | 3552 56 | 0 | 0 126.07/126.14 c 126s | 15 | 142811 | 116432 | 3552 57 | 0 | 0 128.17/128.24 c 128s | 15 | 144320 | 117832 | 3552 57 | 0 | 0 130.17/130.29 c 130s | 15 | 145883 | 119232 | 3552 58 | 0 | 0 132.27/132.34 c 132s | 15 | 147397 | 120632 | 3552 58 | 0 | 0 134.37/134.42 c 134s | 15 | 149052 | 122132 | 3552 59 | 0 | 0 136.37/136.49 c 136s | 15 | 150449 | 123432 | 3552 60 | 0 | 0 138.47/138.59 c 138s | 15 | 152536 | 125232 | 3552 60 | 0 | 0 140.57/140.62 c 140s | 15 | 154324 | 126832 | 3552 61 | 0 | 0 142.67/142.72 c 142s | 15 | 156118 | 128432 | 3552 62 | 0 | 0 144.77/144.84 c 144s | 15 | 157902 | 130032 | 3552 62 | 0 | 0 146.76/146.86 c 146s | 15 | 159368 | 131332 | 3908 63 | 0 | 0 147.16/147.20 c 147s | 16 | 159602 | 131552 | 3908 63 | 0 | 0 149.16/149.22 c 149s | 16 | 162031 | 133352 | 3908 64 | 0 | 0 151.16/151.29 c 151s | 16 | 164632 | 135652 | 3908 65 | 0 | 0 153.27/153.37 c 153s | 16 | 167312 | 138052 | 3908 66 | 0 | 0 155.37/155.42 c 155s | 16 | 169891 | 140352 | 3908 67 | 0 | 0 157.38/157.48 c 157s | 16 | 172267 | 142452 | 3908 68 | 0 | 0 159.47/159.50 c 159s | 16 | 175010 | 144952 | 3908 69 | 0 | 0 161.47/161.51 c 161s | 16 | 178061 | 147652 | 3908 70 | 0 | 0 163.47/163.54 c 163s | 16 | 180854 | 150152 | 3908 72 | 0 | 0 165.47/165.58 c 165s | 16 | 183511 | 152552 | 3908 73 | 0 | 0 167.57/167.61 c 167s | 16 | 186363 | 155152 | 3908 74 | 0 | 0 169.57/169.64 c 169s | 16 | 189189 | 157652 | 3908 75 | 0 | 0 171.67/171.71 c 171s | 16 | 192191 | 160352 | 3908 76 | 0 | 0 173.66/173.74 c 173s | 16 | 195690 | 163452 | 3908 78 | 0 | 0 175.76/175.83 c 175s | 16 | 198598 | 166052 | 3908 79 | 0 | 0 177.86/177.90 c 177s | 16 | 201288 | 168452 | 3908 80 | 0 | 0 179.86/179.93 c 179s | 16 | 204752 | 171552 | 3908 82 | 0 | 0 181.86/181.98 c 181s | 16 | 208355 | 174752 | 3908 83 | 0 | 0 183.96/184.02 c 183s | 16 | 212361 | 178252 | 3908 85 | 0 | 0 185.97/186.05 c 186s | 16 | 215875 | 181452 | 3908 86 | 0 | 0 187.96/188.07 c 188s | 16 | 218590 | 183952 | 3908 87 | 0 | 0 190.06/190.15 c 190s | 16 | 221444 | 186552 | 3908 89 | 0 | 0 192.06/192.18 c 192s | 16 | 224698 | 189452 | 3908 90 | 0 | 0 194.16/194.21 c 194s | 16 | 228181 | 192552 | 3908 91 | 0 | 0 196.16/196.27 c 196s | 16 | 231893 | 195252 | 3908 92 | 0 | 0 198.17/198.28 c 198s | 16 | 233684 | 196852 | 4299 93 | 0 | 0 198.96/199.05 c 199s | 17 | 234314 | 197432 | 4299 93 | 0 | 0 200.96/201.09 c 201s | 17 | 237609 | 199732 | 4299 94 | 0 | 0 203.06/203.17 c 203s | 17 | 239756 | 201632 | 4299 95 | 0 | 0 205.16/205.23 c 205s | 17 | 241829 | 203532 | 4299 95 | 0 | 0 207.26/207.33 c 207s | 17 | 243589 | 205132 | 4299 96 | 0 | 0 209.26/209.34 c 209s | 17 | 245137 | 206532 | 4299 96 | 0 | 0 211.36/211.44 c 211s | 17 | 246908 | 208132 | 4299 97 | 0 | 0 213.46/213.51 c 213s | 17 | 248384 | 209532 | 4299 98 | 0 | 0 215.46/215.60 c 215s | 17 | 250259 | 211232 | 4299 98 | 0 | 0 217.56/217.68 c 217s | 17 | 251882 | 212732 | 4299 99 | 0 | 0 219.76/219.81 c 219s | 17 | 253727 | 214432 | 4299 99 | 0 | 0 221.76/221.88 c 221s | 17 | 255685 | 216132 | 4299 100 | 0 | 0 223.86/223.96 c 223s | 17 | 257888 | 218032 | 4299 101 | 0 | 0 225.95/226.05 c 226s | 17 | 259881 | 219832 | 4299 101 | 0 | 0 227.95/228.06 c 228s | 17 | 261766 | 221532 | 4299 102 | 0 | 0 229.96/230.06 c 230s | 17 | 263522 | 223132 | 4299 103 | 0 | 0 232.05/232.15 c 232s | 17 | 265391 | 224832 | 4299 103 | 0 | 0 234.15/234.22 c 234s | 17 | 267234 | 226532 | 4299 104 | 0 | 0 236.15/236.23 c 236s | 17 | 269146 | 228232 | 4299 104 | 0 | 0 238.25/238.36 c 238s | 17 | 271259 | 230132 | 4299 105 | 0 | 0 240.35/240.45 c 240s | 17 | 273295 | 231932 | 4299 106 | 0 | 0 242.45/242.53 c 242s | 17 | 275195 | 233632 | 4299 106 | 0 | 0 244.45/244.58 c 244s | 17 | 277216 | 235432 | 4299 107 | 0 | 0 246.46/246.58 c 246s | 17 | 279024 | 237032 | 4299 108 | 0 | 0 248.66/248.70 c 248s | 17 | 281132 | 238932 | 4299 108 | 0 | 0 250.75/250.83 c 250s | 17 | 282989 | 240632 | 4299 109 | 0 | 0 252.75/252.87 c 252s | 17 | 284921 | 242332 | 4299 110 | 0 | 0 254.75/254.87 c 254s | 17 | 286665 | 243932 | 4299 110 | 0 | 0 256.85/256.96 c 256s | 17 | 288335 | 245432 | 4299 111 | 0 | 0 258.95/259.06 c 259s | 17 | 289842 | 246832 | 4299 111 | 0 | 0 260.95/261.08 c 261s | 17 | 291339 | 248232 | 4299 112 | 0 | 0 263.05/263.17 c 263s | 17 | 293171 | 249832 | 4299 112 | 0 | 0 265.15/265.27 c 265s | 17 | 294959 | 251432 | 4299 113 | 0 | 0 267.25/267.35 c 267s | 17 | 296641 | 252932 | 4299 114 | 0 | 0 269.25/269.38 c 269s | 17 | 298307 | 254432 | 4299 114 | 0 | 0 271.34/271.41 c 271s | 17 | 299953 | 255832 | 4299 115 | 0 | 0 273.34/273.48 c 273s | 17 | 301538 | 257232 | 4299 115 | 0 | 0 275.55/275.60 c 275s | 17 | 303227 | 258732 | 4299 116 | 0 | 0 277.65/277.76 c 277s | 17 | 304773 | 260132 | 4299 116 | 0 | 0 279.85/279.90 c 279s | 17 | 306444 | 261632 | 4299 117 | 0 | 0 281.85/281.93 c 281s | 17 | 307786 | 262832 | 4299 117 | 0 | 0 283.95/284.06 c 284s | 17 | 309226 | 264132 | 4299 118 | 0 | 0 286.05/286.13 c 286s | 17 | 310835 | 265532 | 4299 118 | 0 | 0 288.05/288.15 c 288s | 17 | 312742 | 267032 | 4299 119 | 0 | 0 290.05/290.15 c 290s | 17 | 314240 | 268332 | 4299 119 | 0 | 0 292.05/292.19 c 292s | 17 | 315768 | 269632 | 4299 120 | 0 | 0 294.15/294.21 c 294s | 17 | 317388 | 271032 | 4299 120 | 0 | 0 296.15/296.25 c 296s | 17 | 318884 | 272332 | 4299 121 | 0 | 0 298.25/298.30 c 298s | 17 | 320489 | 273732 | 4299 121 | 0 | 0 300.25/300.31 c 300s | 17 | 321912 | 275032 | 4299 122 | 0 | 0 302.24/302.37 c 302s | 17 | 323398 | 276332 | 4299 122 | 0 | 0 304.34/304.42 c 304s | 17 | 324995 | 277732 | 4299 123 | 0 | 0 306.44/306.59 c 306s | 17 | 326459 | 279032 | 4299 123 | 0 | 0 308.54/308.61 c 308s | 17 | 328061 | 280432 | 4299 124 | 0 | 0 310.54/310.61 c 310s | 17 | 329616 | 281832 | 4299 124 | 0 | 0 312.64/312.72 c 312s | 17 | 331163 | 283232 | 4299 125 | 0 | 0 314.65/314.74 c 314s | 17 | 332482 | 284432 | 4299 125 | 0 | 0 316.64/316.75 c 316s | 17 | 333847 | 285632 | 4299 126 | 0 | 0 318.64/318.79 c 318s | 17 | 335570 | 287132 | 4299 126 | 0 | 0 320.74/320.81 c 320s | 17 | 337239 | 288632 | 4299 127 | 0 | 0 322.84/322.94 c 322s | 17 | 338908 | 290132 | 4299 127 | 0 | 0 324.84/324.99 c 324s | 17 | 340314 | 291432 | 4299 128 | 0 | 0 326.94/327.04 c 327s | 17 | 341842 | 292832 | 4299 128 | 0 | 0 328.94/329.08 c 329s | 17 | 343234 | 294032 | 4299 129 | 0 | 0 331.04/331.18 c 331s | 17 | 344801 | 295432 | 4729 129 | 0 | 0 332.54/332.63 c 332s | 18 | 345746 | 296252 | 4729 130 | 0 | 0 334.55/334.67 c 334s | 18 | 351077 | 298952 | 4729 130 | 0 | 0 336.54/336.69 c 336s | 18 | 352863 | 300552 | 4729 131 | 0 | 0 338.74/338.84 c 338s | 18 | 354433 | 301952 | 4729 131 | 0 | 0 340.84/340.97 c 340s | 18 | 355789 | 303052 | 4729 131 | 0 | 0 342.94/343.04 c 343s | 18 | 357093 | 304152 | 4729 132 | 0 | 0 345.04/345.10 c 345s | 18 | 358339 | 305252 | 4729 132 | 0 | 0 347.04/347.18 c 347s | 18 | 359751 | 306452 | 4729 132 | 0 | 0 349.13/349.26 c 349s | 18 | 361372 | 307852 | 4729 133 | 0 | 0 351.23/351.36 c 351s | 18 | 363097 | 309252 | 4729 133 | 0 | 0 353.33/353.41 c 353s | 18 | 364515 | 310452 | 4729 134 | 0 | 0 355.35/355.43 c 355s | 18 | 366235 | 311952 | 4729 134 | 0 | 0 357.44/357.55 c 357s | 18 | 367691 | 313252 | 4729 134 | 0 | 0 359.53/359.67 c 359s | 18 | 369190 | 314552 | 4729 135 | 0 | 0 361.63/361.78 c 361s | 18 | 370806 | 315952 | 4729 135 | 0 | 0 363.83/363.91 c 363s | 18 | 372040 | 317052 | 4729 136 | 0 | 0 365.93/366.02 c 365s | 18 | 373670 | 318452 | 4729 136 | 0 | 0 367.94/368.06 c 368s | 18 | 374909 | 319552 | 4729 136 | 0 | 0 370.04/370.16 c 370s | 18 | 376548 | 320952 | 4729 137 | 0 | 0 372.13/372.21 c 372s | 18 | 378000 | 322252 | 4729 137 | 0 | 0 374.14/374.26 c 374s | 18 | 379319 | 323352 | 4729 137 | 0 | 0 376.13/376.26 c 376s | 18 | 380718 | 324552 | 4729 138 | 0 | 0 378.13/378.29 c 378s | 18 | 382175 | 325852 | 4729 138 | 0 | 0 380.23/380.38 c 380s | 18 | 383527 | 327052 | 4729 138 | 0 | 0 382.43/382.54 c 382s | 18 | 385035 | 328352 | 4729 139 | 0 | 0 384.43/384.55 c 384s | 18 | 386588 | 329652 | 4729 139 | 0 | 0 386.53/386.68 c 386s | 18 | 387846 | 330752 | 4729 140 | 0 | 0 388.73/388.82 c 388s | 18 | 389287 | 332052 | 4729 140 | 0 | 0 390.73/390.82 c 390s | 18 | 390405 | 333052 | 4729 140 | 0 | 0 392.83/392.91 c 392s | 18 | 391642 | 334152 | 4729 141 | 0 | 0 394.83/394.97 c 394s | 18 | 393248 | 335552 | 4729 141 | 0 | 0 397.03/397.15 c 397s | 18 | 394480 | 336652 | 4729 141 | 0 | 0 399.03/399.19 c 399s | 18 | 395470 | 337552 | 4729 142 | 0 | 0 401.23/401.34 c 401s | 18 | 396771 | 338752 | 4729 142 | 0 | 0 403.33/403.45 c 403s | 18 | 398020 | 339852 | 4729 142 | 0 | 0 405.43/405.58 c 405s | 18 | 398999 | 340752 | 4729 142 | 0 | 0 407.43/407.59 c 407s | 18 | 400017 | 341652 | 4729 143 | 0 | 0 409.53/409.67 c 409s | 18 | 401142 | 342652 | 4729 143 | 0 | 0 411.72/411.82 c 411s | 18 | 402865 | 344152 | 4729 143 | 0 | 0 413.73/413.88 c 413s | 18 | 404359 | 345452 | 4729 144 | 0 | 0 415.83/415.92 c 415s | 18 | 405825 | 346752 | 4729 144 | 0 | 0 417.93/418.07 c 418s | 18 | 407076 | 347852 | 4729 145 | 0 | 0 420.03/420.14 c 420s | 18 | 408546 | 349152 | 4729 145 | 0 | 0 422.03/422.16 c 422s | 18 | 409633 | 350152 | 4729 145 | 0 | 0 424.12/424.26 c 424s | 18 | 410635 | 351052 | 4729 146 | 0 | 0 426.22/426.36 c 426s | 18 | 411945 | 352152 | 4729 146 | 0 | 0 428.23/428.38 c 428s | 18 | 413053 | 353152 | 4729 146 | 0 | 0 430.43/430.51 c 430s | 18 | 414198 | 354152 | 4729 146 | 0 | 0 432.43/432.58 c 432s | 18 | 415210 | 355052 | 4729 147 | 0 | 0 434.53/434.66 c 434s | 18 | 416874 | 356452 | 4729 147 | 0 | 0 436.62/436.71 c 436s | 18 | 418341 | 357752 | 4729 147 | 0 | 0 438.62/438.76 c 438s | 18 | 419700 | 358952 | 4729 148 | 0 | 0 440.73/440.80 c 440s | 18 | 420841 | 359952 | 4729 148 | 0 | 0 442.72/442.83 c 442s | 18 | 422270 | 361152 | 4729 148 | 0 | 0 444.82/444.97 c 444s | 18 | 423656 | 362352 | 4729 149 | 0 | 0 446.92/447.01 c 446s | 18 | 424891 | 363452 | 4729 149 | 0 | 0 449.03/449.12 c 449s | 18 | 426044 | 364452 | 4729 149 | 0 | 0 451.13/451.23 c 451s | 18 | 427322 | 365552 | 4729 150 | 0 | 0 453.12/453.28 c 453s | 18 | 428359 | 366452 | 4729 150 | 0 | 0 455.32/455.40 c 455s | 18 | 429511 | 367452 | 4729 150 | 0 | 0 457.32/457.44 c 457s | 18 | 430844 | 368552 | 4729 151 | 0 | 0 459.32/459.44 c 459s | 18 | 432500 | 369952 | 4729 151 | 0 | 0 461.52/461.60 c 461s | 18 | 433867 | 371152 | 4729 151 | 0 | 0 463.52/463.69 c 463s | 18 | 435686 | 372652 | 4729 152 | 0 | 0 465.72/465.81 c 465s | 18 | 437060 | 373852 | 4729 152 | 0 | 0 467.82/467.91 c 467s | 18 | 438202 | 374852 | 4729 153 | 0 | 0 469.92/470.08 c 470s | 18 | 439621 | 376052 | 4729 153 | 0 | 0 472.12/472.26 c 472s | 18 | 440742 | 377052 | 4729 153 | 0 | 0 474.42/474.50 c 474s | 18 | 442164 | 378252 | 4729 154 | 0 | 0 476.42/476.55 c 476s | 18 | 444189 | 379952 | 4729 154 | 0 | 0 478.42/478.60 c 478s | 18 | 445997 | 381452 | 4729 154 | 0 | 0 480.52/480.67 c 480s | 18 | 447511 | 382752 | 4729 155 | 0 | 0 482.51/482.68 c 482s | 18 | 449008 | 384052 | 4729 155 | 0 | 0 484.71/484.84 c 484s | 18 | 450383 | 385252 | 4729 156 | 0 | 0 486.82/486.91 c 486s | 18 | 452126 | 386752 | 4729 156 | 0 | 0 488.82/488.92 c 488s | 18 | 453868 | 388252 | 4729 156 | 0 | 0 490.82/490.92 c 490s | 18 | 455461 | 389652 | 4729 157 | 0 | 0 492.82/492.99 c 492s | 18 | 457240 | 391152 | 4729 157 | 0 | 0 494.91/495.03 c 494s | 18 | 459074 | 392752 | 4729 158 | 0 | 0 497.01/497.11 c 497s | 18 | 461024 | 394452 | 4729 158 | 0 | 0 499.01/499.19 c 499s | 18 | 462702 | 395952 | 4729 159 | 0 | 0 501.02/501.19 c 501s | 18 | 464496 | 397552 | 4729 159 | 0 | 0 503.12/503.24 c 503s | 18 | 466186 | 399052 | 4729 160 | 0 | 0 505.12/505.27 c 505s | 18 | 468017 | 400652 | 4729 160 | 0 | 0 507.41/507.52 c 507s | 18 | 469619 | 402052 | 4729 161 | 0 | 0 509.42/509.54 c 509s | 18 | 471179 | 403452 | 4729 161 | 0 | 0 511.41/511.59 c 511s | 18 | 472869 | 404952 | 4729 161 | 0 | 0 513.51/513.64 c 513s | 18 | 474342 | 406252 | 4729 162 | 0 | 0 515.61/515.78 c 515s | 18 | 475919 | 407652 | 4729 162 | 0 | 0 517.71/517.81 c 517s | 18 | 477411 | 408952 | 4729 163 | 0 | 0 519.81/519.90 c 519s | 18 | 479021 | 410352 | 4729 163 | 0 | 0 521.81/521.90 c 521s | 18 | 480435 | 411552 | 4729 163 | 0 | 0 523.81/523.95 c 523s | 18 | 481785 | 412752 | 4729 164 | 0 | 0 525.92/526.07 c 526s | 18 | 483385 | 414152 | 4729 164 | 0 | 0 528.01/528.17 c 528s | 18 | 484747 | 415352 | 4729 164 | 0 | 0 530.11/530.25 c 530s | 18 | 485827 | 416352 | 4729 165 | 0 | 0 532.31/532.45 c 532s | 18 | 487320 | 417652 | 4729 165 | 0 | 0 534.31/534.47 c 534s | 18 | 488556 | 418752 | 4729 165 | 0 | 0 536.30/536.49 c 536s | 18 | 489840 | 419852 | 4729 166 | 0 | 0 538.51/538.61 c 538s | 18 | 491053 | 420952 | 4729 166 | 0 | 0 540.51/540.64 c 540s | 18 | 492559 | 422252 | 4729 166 | 0 | 0 542.51/542.66 c 542s | 18 | 493850 | 423352 | 4729 167 | 0 | 0 544.52/544.67 c 544s | 18 | 495207 | 424552 | 4729 167 | 0 | 0 546.71/546.81 c 546s | 18 | 496320 | 425552 | 4729 167 | 0 | 0 548.70/548.90 c 548s | 18 | 497722 | 426752 | 4729 168 | 0 | 0 550.80/550.99 c 550s | 18 | 498968 | 427852 | 4729 168 | 0 | 0 553.00/553.14 c 553s | 18 | 500241 | 428952 | 4729 168 | 0 | 0 555.01/555.19 c 555s | 18 | 501529 | 429952 | 4729 169 | 0 | 0 557.21/557.34 c 557s | 18 | 503050 | 431252 | 4729 169 | 0 | 0 559.31/559.40 c 559s | 18 | 504311 | 432352 | 4729 169 | 0 | 0 561.30/561.43 c 561s | 18 | 505565 | 433352 | 4729 170 | 0 | 0 563.40/563.53 c 563s | 18 | 507096 | 434652 | 4729 170 | 0 | 0 565.41/565.55 c 565s | 18 | 508464 | 435852 | 4729 170 | 0 | 0 567.50/567.67 c 567s | 18 | 509827 | 437052 | 4729 171 | 0 | 0 569.71/569.87 c 569s | 18 | 511036 | 438152 | 4729 171 | 0 | 0 571.80/571.99 c 571s | 18 | 512163 | 439152 | 4729 171 | 0 | 0 574.10/574.24 c 574s | 18 | 513226 | 440052 | 4729 172 | 0 | 0 576.20/576.34 c 576s | 18 | 514912 | 441552 | 5202 172 | 0 | 0 578.30/578.40 c 578s | 18 | 516505 | 442952 | 5202 172 | 0 | 0 580.30/580.44 c 580s | 18 | 517841 | 444152 | 5202 173 | 0 | 0 580.81/580.96 c 580s | 19 | 518213 | 444482 | 5202 173 | 0 | 0 582.80/583.00 c 582s | 19 | 521156 | 446482 | 5202 174 | 0 | 0 584.90/585.04 c 585s | 19 | 523037 | 448182 | 5202 174 | 0 | 0 587.00/587.12 c 587s | 19 | 524464 | 449482 | 5202 175 | 0 | 0 589.10/589.21 c 589s | 19 | 526029 | 450882 | 5202 175 | 0 | 0 591.10/591.28 c 591s | 19 | 527484 | 452182 | 5202 175 | 0 | 0 593.29/593.40 c 593s | 19 | 528928 | 453482 | 5202 176 | 0 | 0 595.39/595.54 c 595s | 19 | 530464 | 454882 | 5202 176 | 0 | 0 597.49/597.63 c 597s | 19 | 531785 | 456082 | 5202 177 | 0 | 0 599.50/599.70 c 599s | 19 | 533356 | 457482 | 5202 177 | 0 | 0 601.59/601.79 c 601s | 19 | 534813 | 458782 | 5202 178 | 0 | 0 603.69/603.86 c 603s | 19 | 536434 | 460282 | 5202 178 | 0 | 0 605.79/605.93 c 605s | 19 | 537906 | 461582 | 5202 178 | 0 | 0 607.89/608.01 c 607s | 19 | 539581 | 463082 | 5202 179 | 0 | 0 609.89/610.01 c 609s | 19 | 541014 | 464382 | 5202 179 | 0 | 0 611.88/612.09 c 612s | 19 | 542222 | 465482 | 5202 180 | 0 | 0 613.89/614.09 c 614s | 19 | 543679 | 466782 | 5202 180 | 0 | 0 616.18/616.34 c 616s | 19 | 544979 | 467982 | 5202 181 | 0 | 0 618.29/618.48 c 618s | 19 | 546546 | 469382 | 5202 181 | 0 | 0 620.28/620.48 c 620s | 19 | 547969 | 470682 | 5202 181 | 0 | 0 622.37/622.53 c 622s | 19 | 549203 | 471782 | 5202 182 | 0 | 0 624.47/624.69 c 624s | 19 | 550488 | 472982 | 5202 182 | 0 | 0 626.67/626.84 c 626s | 19 | 551799 | 474182 | 5202 182 | 0 | 0 628.77/628.97 c 628s | 19 | 553073 | 475382 | 5202 183 | 0 | 0 630.97/631.11 c 631s | 19 | 554315 | 476482 | 5202 183 | 0 | 0 633.07/633.22 c 633s | 19 | 555269 | 477382 | 5202 184 | 0 | 0 635.17/635.30 c 635s | 19 | 556564 | 478582 | 5202 184 | 0 | 0 637.17/637.35 c 637s | 19 | 557747 | 479682 | 5202 184 | 0 | 0 639.17/639.37 c 639s | 19 | 558805 | 480682 | 5202 185 | 0 | 0 641.27/641.44 c 641s | 19 | 560086 | 481882 | 5202 185 | 0 | 0 643.36/643.51 c 643s | 19 | 561245 | 482982 | 5202 185 | 0 | 0 645.46/645.61 c 645s | 19 | 562430 | 484082 | 5202 186 | 0 | 0 647.56/647.77 c 647s | 19 | 564282 | 485682 | 5202 186 | 0 | 0 649.66/649.88 c 649s | 19 | 565702 | 486982 | 5202 187 | 0 | 0 651.76/651.91 c 651s | 19 | 567003 | 488182 | 5202 187 | 0 | 0 653.75/653.93 c 653s | 19 | 568331 | 489382 | 5202 187 | 0 | 0 655.75/655.97 c 655s | 19 | 569517 | 490482 | 5202 188 | 0 | 0 657.86/658.01 c 657s | 19 | 570836 | 491682 | 5202 188 | 0 | 0 659.85/660.05 c 660s | 19 | 572042 | 492782 | 5202 188 | 0 | 0 661.86/662.09 c 662s | 19 | 573027 | 493682 | 5202 189 | 0 | 0 663.96/664.19 c 664s | 19 | 574401 | 494882 | 5202 189 | 0 | 0 666.06/666.26 c 666s | 19 | 575957 | 496282 | 5202 190 | 0 | 0 668.16/668.31 c 668s | 19 | 577469 | 497682 | 5202 190 | 0 | 0 670.15/670.32 c 670s | 19 | 578919 | 498982 | 5202 190 | 0 | 0 672.16/672.34 c 672s | 19 | 580262 | 500182 | 5202 191 | 0 | 0 674.25/674.42 c 674s | 19 | 581710 | 501482 | 5202 191 | 0 | 0 676.35/676.54 c 676s | 19 | 582897 | 502582 | 5202 192 | 0 | 0 678.45/678.61 c 678s | 19 | 584188 | 503782 | 5202 192 | 0 | 0 680.55/680.76 c 680s | 19 | 585632 | 505082 | 5202 192 | 0 | 0 682.74/682.90 c 682s | 19 | 587186 | 506482 | 5202 193 | 0 | 0 684.74/684.90 c 684s | 19 | 588566 | 507782 | 5202 193 | 0 | 0 686.84/687.04 c 687s | 19 | 590217 | 509282 | 5202 194 | 0 | 0 688.94/689.17 c 689s | 19 | 591878 | 510782 | 5202 194 | 0 | 0 691.04/691.23 c 691s | 19 | 593165 | 511982 | 5202 195 | 0 | 0 693.24/693.44 c 693s | 19 | 594709 | 513382 | 5202 195 | 0 | 0 695.34/695.51 c 695s | 19 | 596462 | 514882 | 5202 195 | 0 | 0 697.34/697.58 c 697s | 19 | 598143 | 516382 | 5202 196 | 0 | 0 699.43/699.66 c 699s | 19 | 599699 | 517782 | 5202 196 | 0 | 0 701.53/701.74 c 701s | 19 | 601348 | 519282 | 5202 197 | 0 | 0 703.53/703.77 c 703s | 19 | 602856 | 520682 | 5202 197 | 0 | 0 705.73/705.91 c 705s | 19 | 604391 | 522082 | 5202 198 | 0 | 0 707.74/707.94 c 707s | 19 | 605798 | 523382 | 5202 198 | 0 | 0 709.84/710.06 c 710s | 19 | 607214 | 524682 | 5202 199 | 0 | 0 711.93/712.18 c 712s | 19 | 608785 | 526082 | 5202 199 | 0 | 0 714.03/714.25 c 714s | 19 | 610239 | 527382 | 5202 199 | 0 | 0 716.14/716.34 c 716s | 19 | 611678 | 528682 | 5202 200 | 0 | 0 718.13/718.37 c 718s | 19 | 612991 | 529882 | 5202 200 | 0 | 0 720.23/720.41 c 720s | 19 | 614223 | 530982 | 5202 201 | 0 | 0 722.23/722.49 c 722s | 19 | 615635 | 532282 | 5202 201 | 0 | 0 724.33/724.58 c 724s | 19 | 616815 | 533382 | 5202 201 | 0 | 0 726.43/726.64 c 726s | 19 | 618024 | 534482 | 5202 202 | 0 | 0 728.63/728.80 c 728s | 19 | 619418 | 535782 | 5202 202 | 0 | 0 730.83/731.03 c 730s | 19 | 620630 | 536882 | 5202 203 | 0 | 0 732.92/733.10 c 733s | 19 | 622217 | 538282 | 5202 203 | 0 | 0 735.02/735.21 c 735s | 19 | 623681 | 539582 | 5202 203 | 0 | 0 737.03/737.25 c 737s | 19 | 625122 | 540882 | 5202 204 | 0 | 0 739.02/739.29 c 739s | 19 | 626413 | 542082 | 5202 204 | 0 | 0 741.12/741.30 c 741s | 19 | 627606 | 543182 | 5202 205 | 0 | 0 743.12/743.36 c 743s | 19 | 629034 | 544482 | 5202 205 | 0 | 0 745.22/745.43 c 745s | 19 | 630447 | 545782 | 5202 205 | 0 | 0 747.22/747.44 c 747s | 19 | 631753 | 546982 | 5202 206 | 0 | 0 749.31/749.55 c 749s | 19 | 633063 | 548182 | 5202 206 | 0 | 0 751.41/751.61 c 751s | 19 | 634355 | 549382 | 5202 206 | 0 | 0 753.51/753.75 c 753s | 19 | 635762 | 550682 | 5202 207 | 0 | 0 755.71/755.91 c 755s | 19 | 637193 | 551982 | 5202 207 | 0 | 0 757.81/758.02 c 757s | 19 | 638260 | 552982 | 5202 208 | 0 | 0 759.81/760.09 c 760s | 19 | 639667 | 554282 | 5202 208 | 0 | 0 761.91/762.11 c 762s | 19 | 640883 | 555382 | 5202 208 | 0 | 0 764.01/764.23 c 764s | 19 | 642369 | 556682 | 5202 209 | 0 | 0 766.11/766.31 c 766s | 19 | 643981 | 558082 | 5202 209 | 0 | 0 768.21/768.43 c 768s | 19 | 645269 | 559282 | 5202 210 | 0 | 0 770.31/770.51 c 770s | 19 | 646547 | 560482 | 5202 210 | 0 | 0 772.30/772.52 c 772s | 19 | 647979 | 561782 | 5202 210 | 0 | 0 774.31/774.57 c 774s | 19 | 649293 | 562982 | 5202 211 | 0 | 0 776.30/776.58 c 776s | 19 | 650658 | 564182 | 5202 211 | 0 | 0 778.40/778.69 c 778s | 19 | 651734 | 565182 | 5202 212 | 0 | 0 780.50/780.78 c 780s | 19 | 653175 | 566482 | 5202 212 | 0 | 0 782.60/782.88 c 782s | 19 | 654613 | 567782 | 5202 212 | 0 | 0 784.80/785.09 c 785s | 19 | 655938 | 568982 | 5202 213 | 0 | 0 787.00/787.24 c 787s | 19 | 657333 | 570282 | 5202 213 | 0 | 0 789.10/789.38 c 789s | 19 | 658647 | 571482 | 5202 214 | 0 | 0 791.19/791.46 c 791s | 19 | 659722 | 572482 | 5202 214 | 0 | 0 793.19/793.49 c 793s | 19 | 661432 | 573982 | 5202 214 | 0 | 0 795.30/795.55 c 795s | 19 | 662871 | 575282 | 5202 215 | 0 | 0 797.40/797.64 c 797s | 19 | 664304 | 576582 | 5202 215 | 0 | 0 799.49/799.72 c 799s | 19 | 665597 | 577782 | 5202 216 | 0 | 0 801.49/801.76 c 801s | 19 | 667003 | 579082 | 5202 216 | 0 | 0 803.48/803.77 c 803s | 19 | 668292 | 580282 | 5202 216 | 0 | 0 805.48/805.79 c 805s | 19 | 669463 | 581382 | 5202 217 | 0 | 0 807.58/807.81 c 807s | 19 | 670729 | 582582 | 5202 217 | 0 | 0 809.68/809.99 c 809s | 19 | 671886 | 583682 | 5202 217 | 0 | 0 811.78/812.05 c 812s | 19 | 673218 | 584882 | 5202 218 | 0 | 0 813.78/814.09 c 814s | 19 | 674427 | 585982 | 5202 218 | 0 | 0 815.98/816.21 c 816s | 19 | 675603 | 587082 | 5202 219 | 0 | 0 817.98/818.22 c 818s | 19 | 676897 | 588282 | 5202 219 | 0 | 0 819.98/820.29 c 820s | 19 | 678181 | 589482 | 5202 219 | 0 | 0 822.07/822.33 c 822s | 19 | 679543 | 590682 | 5202 220 | 0 | 0 824.17/824.41 c 824s | 19 | 681104 | 592082 | 5202 220 | 0 | 0 826.27/826.53 c 826s | 19 | 682527 | 593382 | 5202 221 | 0 | 0 828.38/828.60 c 828s | 19 | 683954 | 594682 | 5202 221 | 0 | 0 830.39/830.64 c 830s | 19 | 685264 | 595882 | 5202 221 | 0 | 0 832.48/832.76 c 832s | 19 | 686565 | 597082 | 5202 222 | 0 | 0 834.58/834.83 c 834s | 19 | 688100 | 598482 | 5202 222 | 0 | 0 836.67/836.96 c 836s | 19 | 689286 | 599582 | 5202 222 | 0 | 0 838.87/839.10 c 839s | 19 | 690587 | 600782 | 5202 223 | 0 | 0 840.87/841.16 c 841s | 19 | 691887 | 601982 | 5202 223 | 0 | 0 843.07/843.33 c 843s | 19 | 693080 | 603082 | 5202 224 | 0 | 0 845.07/845.35 c 845s | 19 | 694509 | 604382 | 5202 224 | 0 | 0 847.07/847.39 c 847s | 19 | 695674 | 605482 | 5202 224 | 0 | 0 849.26/849.58 c 849s | 19 | 696757 | 606482 | 5202 225 | 0 | 0 851.37/851.64 c 851s | 19 | 698477 | 607982 | 5202 225 | 0 | 0 853.47/853.75 c 853s | 19 | 700130 | 609482 | 5202 226 | 0 | 0 855.56/855.81 c 855s | 19 | 702166 | 611282 | 5202 226 | 0 | 0 857.66/857.92 c 857s | 19 | 704024 | 612982 | 5202 227 | 0 | 0 859.76/860.01 c 859s | 19 | 705916 | 614682 | 5202 227 | 0 | 0 861.85/862.10 c 862s | 19 | 707809 | 616382 | 5202 228 | 0 | 0 863.85/864.16 c 864s | 19 | 709485 | 617882 | 5202 228 | 0 | 0 866.05/866.34 c 866s | 19 | 711248 | 619482 | 5202 229 | 0 | 0 868.05/868.38 c 868s | 19 | 712924 | 620982 | 5202 229 | 0 | 0 870.15/870.41 c 870s | 19 | 714348 | 622282 | 5202 230 | 0 | 0 872.25/872.53 c 872s | 19 | 716293 | 623982 | 5202 230 | 0 | 0 874.25/874.58 c 874s | 19 | 717973 | 625482 | 5202 231 | 0 | 0 876.35/876.69 c 876s | 19 | 719691 | 627082 | 5202 231 | 0 | 0 878.45/878.77 c 878s | 19 | 721109 | 628382 | 5202 232 | 0 | 0 880.55/880.86 c 880s | 19 | 722552 | 629682 | 5202 232 | 0 | 0 882.64/882.91 c 882s | 19 | 724102 | 631082 | 5202 233 | 0 | 0 884.64/884.93 c 884s | 19 | 725977 | 632682 | 5202 233 | 0 | 0 886.84/887.11 c 887s | 19 | 727634 | 634082 | 5202 234 | 0 | 0 888.94/889.20 c 889s | 19 | 729353 | 635582 | 5202 234 | 0 | 0 890.94/891.24 c 891s | 19 | 730891 | 636982 | 5202 234 | 0 | 0 892.93/893.25 c 893s | 19 | 732383 | 638282 | 5202 235 | 0 | 0 895.03/895.30 c 895s | 19 | 733943 | 639682 | 5202 235 | 0 | 0 897.13/897.40 c 897s | 19 | 735261 | 640882 | 5202 236 | 0 | 0 899.13/899.46 c 899s | 19 | 736681 | 642182 | 5202 236 | 0 | 0 901.23/901.50 c 901s | 19 | 737858 | 643282 | 5202 236 | 0 | 0 903.33/903.60 c 903s | 19 | 739453 | 644682 | 5202 237 | 0 | 0 905.33/905.62 c 905s | 19 | 741127 | 646182 | 5202 237 | 0 | 0 907.33/907.62 c 907s | 19 | 742557 | 647482 | 5202 238 | 0 | 0 909.33/909.67 c 909s | 19 | 744199 | 648982 | 5202 238 | 0 | 0 911.42/911.70 c 911s | 19 | 745638 | 650282 | 5202 239 | 0 | 0 913.52/913.81 c 913s | 19 | 747535 | 651982 | 5202 239 | 0 | 0 915.53/915.83 c 915s | 19 | 749069 | 653382 | 5202 240 | 0 | 0 917.53/917.84 c 917s | 19 | 750534 | 654682 | 5202 240 | 0 | 0 919.63/919.98 c 919s | 19 | 751771 | 655782 | 5202 240 | 0 | 0 921.73/922.09 c 922s | 19 | 752973 | 656882 | 5202 241 | 0 | 0 923.83/924.11 c 924s | 19 | 754650 | 658382 | 5202 241 | 0 | 0 925.92/926.21 c 926s | 19 | 756606 | 660082 | 5202 242 | 0 | 0 928.02/928.33 c 928s | 19 | 758410 | 661682 | 5202 242 | 0 | 0 930.02/930.37 c 930s | 19 | 759753 | 662882 | 5723 243 | 0 | 0 932.11/932.49 c 932s | 19 | 761173 | 664182 | 5723 243 | 0 | 0 934.21/934.52 c 934s | 19 | 762481 | 665382 | 5723 243 | 0 | 0 936.31/936.66 c 936s | 19 | 763801 | 666582 | 5723 244 | 0 | 0 936.81/937.11 c 937s | 20 | 764078 | 666827 | 5723 244 | 0 | 0 938.81/939.11 c 939s | 20 | 767456 | 669127 | 5723 244 | 0 | 0 940.81/941.13 c 941s | 20 | 769380 | 670827 | 5723 245 | 0 | 0 942.81/943.18 c 943s | 20 | 771173 | 672427 | 5723 245 | 0 | 0 944.91/945.23 c 945s | 20 | 772999 | 674027 | 5723 246 | 0 | 0 947.01/947.31 c 947s | 20 | 774696 | 675527 | 5723 246 | 0 | 0 949.11/949.41 c 949s | 20 | 776383 | 677027 | 5723 247 | 0 | 0 951.20/951.50 c 951s | 20 | 778105 | 678527 | 5723 247 | 0 | 0 953.20/953.56 c 953s | 20 | 779581 | 679827 | 5723 247 | 0 | 0 955.30/955.64 c 955s | 20 | 780917 | 681027 | 5723 248 | 0 | 0 957.30/957.65 c 957s | 20 | 782385 | 682327 | 5723 248 | 0 | 0 959.50/959.87 c 959s | 20 | 783695 | 683527 | 5723 249 | 0 | 0 961.49/961.88 c 961s | 20 | 785476 | 685027 | 5723 249 | 0 | 0 963.60/963.94 c 963s | 20 | 787043 | 686427 | 5723 249 | 0 | 0 965.71/966.01 c 965s | 20 | 788371 | 687627 | 5723 250 | 0 | 0 967.81/968.18 c 968s | 20 | 789816 | 688927 | 5723 250 | 0 | 0 969.90/970.24 c 970s | 20 | 791168 | 690127 | 5723 250 | 0 | 0 972.00/972.32 c 972s | 20 | 792409 | 691227 | 5723 251 | 0 | 0 974.09/974.46 c 974s | 20 | 793990 | 692627 | 5723 251 | 0 | 0 976.19/976.51 c 976s | 20 | 795308 | 693827 | 5723 251 | 0 | 0 978.29/978.66 c 978s | 20 | 796744 | 695127 | 5723 252 | 0 | 0 980.39/980.70 c 980s | 20 | 798202 | 696427 | 5723 252 | 0 | 0 982.39/982.79 c 982s | 20 | 799783 | 697827 | 5723 253 | 0 | 0 984.59/984.90 c 984s | 20 | 801241 | 699127 | 5723 253 | 0 | 0 986.59/986.94 c 986s | 20 | 802602 | 700327 | 5723 253 | 0 | 0 988.69/989.01 c 988s | 20 | 803985 | 701527 | 5723 254 | 0 | 0 990.78/991.14 c 991s | 20 | 805480 | 702827 | 5723 254 | 0 | 0 992.88/993.26 c 993s | 20 | 806709 | 703927 | 5723 254 | 0 | 0 994.88/995.26 c 995s | 20 | 807950 | 705027 | 5723 255 | 0 | 0 996.98/997.37 c 997s | 20 | 809459 | 706327 | 5723 255 | 0 | 0 999.27/999.63 c 999s | 20 | 811032 | 707727 | 5723 256 | 0 | 0 1001.27/1001.67 c 1001s | 20 | 812467 | 709027 | 5723 256 | 0 | 0 1003.27/1003.68 c 1003s | 20 | 813695 | 710127 | 5723 256 | 0 | 0 1005.28/1005.69 c 1005s | 20 | 814849 | 711127 | 5723 256 | 0 | 0 1007.38/1007.73 c 1007s | 20 | 816199 | 712327 | 5723 257 | 0 | 0 1009.37/1009.75 c 1009s | 20 | 817327 | 713327 | 5723 257 | 0 | 0 1011.47/1011.83 c 1011s | 20 | 818423 | 714327 | 5723 257 | 0 | 0 1013.47/1013.87 c 1013s | 20 | 819642 | 715427 | 5723 258 | 0 | 0 1015.67/1016.00 c 1015s | 20 | 821189 | 716827 | 5723 258 | 0 | 0 1017.77/1018.15 c 1018s | 20 | 822687 | 718127 | 5723 259 | 0 | 0 1019.87/1020.27 c 1020s | 20 | 824452 | 719727 | 5723 259 | 0 | 0 1021.97/1022.35 c 1022s | 20 | 826060 | 721127 | 5723 259 | 0 | 0 1024.07/1024.49 c 1024s | 20 | 827506 | 722427 | 5723 260 | 0 | 0 1026.27/1026.61 c 1026s | 20 | 829085 | 723827 | 5723 260 | 0 | 0 1028.27/1028.62 c 1028s | 20 | 830545 | 725127 | 5723 261 | 0 | 0 1030.37/1030.80 c 1030s | 20 | 832265 | 726627 | 5723 261 | 0 | 0 1032.46/1032.82 c 1032s | 20 | 833710 | 727927 | 5723 261 | 0 | 0 1034.46/1034.88 c 1034s | 20 | 835043 | 729127 | 5723 262 | 0 | 0 1036.56/1036.96 c 1036s | 20 | 836353 | 730327 | 5723 262 | 0 | 0 1038.66/1039.06 c 1039s | 20 | 837582 | 731427 | 5723 262 | 0 | 0 1040.76/1041.17 c 1041s | 20 | 838853 | 732527 | 5723 263 | 0 | 0 1042.85/1043.25 c 1043s | 20 | 840505 | 734027 | 5723 263 | 0 | 0 1044.86/1045.25 c 1045s | 20 | 841700 | 735127 | 5723 263 | 0 | 0 1046.85/1047.29 c 1047s | 20 | 842794 | 736127 | 5723 264 | 0 | 0 1048.95/1049.31 c 1049s | 20 | 843878 | 737127 | 5723 264 | 0 | 0 1051.05/1051.47 c 1051s | 20 | 845092 | 738227 | 5723 264 | 0 | 0 1053.24/1053.61 c 1053s | 20 | 846111 | 739127 | 5723 265 | 0 | 0 1055.24/1055.69 c 1055s | 20 | 847549 | 740427 | 5723 265 | 0 | 0 1057.34/1057.76 c 1057s | 20 | 849509 | 742027 | 5723 265 | 0 | 0 1059.44/1059.80 c 1059s | 20 | 850922 | 743227 | 5723 266 | 0 | 0 1061.45/1061.88 c 1061s | 20 | 852250 | 744427 | 5723 266 | 0 | 0 1063.65/1064.01 c 1063s | 20 | 853414 | 745427 | 5723 266 | 0 | 0 1065.65/1066.02 c 1065s | 20 | 854735 | 746627 | 5723 267 | 0 | 0 1067.75/1068.19 c 1068s | 20 | 856246 | 747927 | 5723 267 | 0 | 0 1069.85/1070.22 c 1070s | 20 | 857474 | 749027 | 5723 267 | 0 | 0 1071.94/1072.32 c 1072s | 20 | 858741 | 750127 | 5723 268 | 0 | 0 1074.04/1074.49 c 1074s | 20 | 860059 | 751327 | 5723 268 | 0 | 0 1076.14/1076.60 c 1076s | 20 | 861067 | 752227 | 5723 268 | 0 | 0 1078.24/1078.65 c 1078s | 20 | 862087 | 753127 | 5723 269 | 0 | 0 1080.24/1080.66 c 1080s | 20 | 864081 | 754827 | 5723 269 | 0 | 0 1082.24/1082.68 c 1082s | 20 | 865565 | 756127 | 5723 270 | 0 | 0 1084.23/1084.70 c 1084s | 20 | 867034 | 757427 | 5723 270 | 0 | 0 1086.33/1086.76 c 1086s | 20 | 868369 | 758627 | 5723 270 | 0 | 0 1088.53/1088.96 c 1088s | 20 | 869940 | 759927 | 5723 271 | 0 | 0 1090.63/1091.05 c 1091s | 20 | 871349 | 761227 | 5723 271 | 0 | 0 1092.73/1093.15 c 1093s | 20 | 872524 | 762227 | 5723 271 | 0 | 0 1094.83/1095.25 c 1095s | 20 | 874116 | 763627 | 5723 272 | 0 | 0 1096.93/1097.31 c 1097s | 20 | 875802 | 765127 | 5723 272 | 0 | 0 1098.93/1099.37 c 1099s | 20 | 877131 | 766327 | 5723 272 | 0 | 0 1101.03/1101.40 c 1101s | 20 | 878514 | 767527 | 5723 273 | 0 | 0 1103.03/1103.47 c 1103s | 20 | 879821 | 768727 | 5723 273 | 0 | 0 1105.23/1105.69 c 1105s | 20 | 881157 | 769927 | 5723 274 | 0 | 0 1107.43/1107.87 c 1107s | 20 | 882591 | 771227 | 5723 274 | 0 | 0 1109.52/1109.98 c 1109s | 20 | 883945 | 772427 | 5723 274 | 0 | 0 1111.52/1111.98 c 1111s | 20 | 885039 | 773427 | 5723 275 | 0 | 0 1113.62/1114.01 c 1113s | 20 | 886359 | 774627 | 5723 275 | 0 | 0 1115.62/1116.05 c 1116s | 20 | 887659 | 775827 | 5723 275 | 0 | 0 1117.72/1118.17 c 1118s | 20 | 888741 | 776827 | 5723 276 | 0 | 0 1119.81/1120.20 c 1120s | 20 | 890056 | 778027 | 5723 276 | 0 | 0 1121.91/1122.31 c 1122s | 20 | 891249 | 779127 | 5723 276 | 0 | 0 1124.12/1124.54 c 1124s | 20 | 892443 | 780227 | 5723 277 | 0 | 0 1126.32/1126.70 c 1126s | 20 | 893885 | 781527 | 5723 277 | 0 | 0 1128.42/1128.88 c 1128s | 20 | 895134 | 782627 | 5723 277 | 0 | 0 1130.52/1130.97 c 1130s | 20 | 896237 | 783627 | 5723 277 | 0 | 0 1132.61/1133.03 c 1133s | 20 | 897356 | 784627 | 5723 278 | 0 | 0 1134.71/1135.11 c 1135s | 20 | 898831 | 785927 | 5723 278 | 0 | 0 1136.81/1137.20 c 1137s | 20 | 900023 | 787027 | 5723 278 | 0 | 0 1138.81/1139.25 c 1139s | 20 | 901167 | 788027 | 5723 279 | 0 | 0 1140.91/1141.33 c 1141s | 20 | 902355 | 789127 | 5723 279 | 0 | 0 1143.01/1143.42 c 1143s | 20 | 903559 | 790227 | 5723 279 | 0 | 0 1145.11/1145.53 c 1145s | 20 | 904798 | 791327 | 5723 280 | 0 | 0 1147.21/1147.67 c 1147s | 20 | 906197 | 792627 | 5723 280 | 0 | 0 1149.41/1149.87 c 1149s | 20 | 907404 | 793727 | 5723 280 | 0 | 0 1151.41/1151.88 c 1151s | 20 | 908408 | 794627 | 5723 281 | 0 | 0 1153.50/1154.00 c 1153s | 20 | 909861 | 795927 | 5723 281 | 0 | 0 1155.60/1156.02 c 1155s | 20 | 911202 | 797127 | 5723 281 | 0 | 0 1157.70/1158.10 c 1158s | 20 | 912667 | 798427 | 5723 282 | 0 | 0 1159.80/1160.21 c 1160s | 20 | 914285 | 799827 | 5723 282 | 0 | 0 1161.90/1162.40 c 1162s | 20 | 915474 | 800927 | 5723 283 | 0 | 0 1164.10/1164.53 c 1164s | 20 | 916942 | 802227 | 5723 283 | 0 | 0 1166.10/1166.56 c 1166s | 20 | 918403 | 803527 | 5723 283 | 0 | 0 1168.19/1168.65 c 1168s | 20 | 919895 | 804827 | 5723 284 | 0 | 0 1170.29/1170.72 c 1170s | 20 | 921560 | 806327 | 5723 284 | 0 | 0 1172.40/1172.89 c 1172s | 20 | 923118 | 807727 | 5723 284 | 0 | 0 1174.50/1174.98 c 1174s | 20 | 924549 | 809027 | 5723 285 | 0 | 0 1176.59/1177.00 c 1176s | 20 | 925995 | 810327 | 5723 285 | 0 | 0 1178.59/1179.05 c 1179s | 20 | 927265 | 811427 | 5723 286 | 0 | 0 1180.69/1181.15 c 1181s | 20 | 928899 | 812827 | 5723 286 | 0 | 0 1182.78/1183.27 c 1183s | 20 | 930479 | 814227 | 5723 286 | 0 | 0 1184.88/1185.38 c 1185s | 20 | 931900 | 815527 | 5723 287 | 0 | 0 1186.98/1187.45 c 1187s | 20 | 933532 | 816927 | 5723 287 | 0 | 0 1189.28/1189.71 c 1189s | 20 | 934883 | 818127 | 5723 288 | 0 | 0 1191.38/1191.88 c 1191s | 20 | 936456 | 819527 | 5723 288 | 0 | 0 1193.48/1193.97 c 1193s | 20 | 937916 | 820827 | 5723 288 | 0 | 0 1195.68/1196.12 c 1196s | 20 | 939402 | 822127 | 5723 289 | 0 | 0 1197.69/1198.19 c 1198s | 20 | 940526 | 823127 | 5723 289 | 0 | 0 1199.79/1200.22 c 1200s | 20 | 941860 | 824327 | 5723 289 | 0 | 0 1201.78/1202.27 c 1202s | 20 | 943087 | 825427 | 5723 290 | 0 | 0 1203.88/1204.32 c 1204s | 20 | 944603 | 826727 | 5723 290 | 0 | 0 1205.98/1206.40 c 1206s | 20 | 945850 | 827827 | 5723 290 | 0 | 0 1207.98/1208.48 c 1208s | 20 | 947138 | 828927 | 5723 291 | 0 | 0 1210.08/1210.55 c 1210s | 20 | 948637 | 830227 | 5723 291 | 0 | 0 1212.08/1212.58 c 1212s | 20 | 950012 | 831427 | 5723 291 | 0 | 0 1214.08/1214.58 c 1214s | 20 | 951382 | 832627 | 5723 292 | 0 | 0 1216.17/1216.70 c 1216s | 20 | 952840 | 833927 | 5723 292 | 0 | 0 1218.27/1218.73 c 1218s | 20 | 954063 | 835027 | 5723 292 | 0 | 0 1220.27/1220.73 c 1220s | 20 | 955308 | 836127 | 5723 293 | 0 | 0 1222.27/1222.77 c 1222s | 20 | 956422 | 837127 | 5723 293 | 0 | 0 1224.27/1224.78 c 1224s | 20 | 957790 | 838327 | 5723 293 | 0 | 0 1226.37/1226.84 c 1226s | 20 | 958934 | 839327 | 5723 294 | 0 | 0 1228.48/1228.94 c 1228s | 20 | 960201 | 840427 | 5723 294 | 0 | 0 1230.58/1231.10 c 1231s | 20 | 961657 | 841727 | 5723 294 | 0 | 0 1232.67/1233.17 c 1233s | 20 | 963034 | 842927 | 5723 295 | 0 | 0 1234.87/1235.32 c 1235s | 20 | 964467 | 844227 | 5723 295 | 0 | 0 1236.97/1237.48 c 1237s | 20 | 965771 | 845427 | 5723 295 | 0 | 0 1239.07/1239.60 c 1239s | 20 | 966971 | 846527 | 5723 296 | 0 | 0 1241.27/1241.73 c 1241s | 20 | 968168 | 847627 | 5723 296 | 0 | 0 1243.37/1243.83 c 1243s | 20 | 969403 | 848627 | 5723 296 | 0 | 0 1245.46/1245.97 c 1245s | 20 | 971178 | 850127 | 5723 297 | 0 | 0 1247.56/1248.10 c 1248s | 20 | 973192 | 851827 | 5723 297 | 0 | 0 1249.66/1250.12 c 1250s | 20 | 974924 | 853327 | 5723 298 | 0 | 0 1251.66/1252.19 c 1252s | 20 | 976465 | 854727 | 5723 298 | 0 | 0 1253.86/1254.36 c 1254s | 20 | 977802 | 855927 | 5723 298 | 0 | 0 1255.87/1256.37 c 1256s | 20 | 979068 | 857027 | 5723 299 | 0 | 0 1258.07/1258.57 c 1258s | 20 | 980495 | 858327 | 5723 299 | 0 | 0 1260.06/1260.59 c 1260s | 20 | 981582 | 859327 | 5723 299 | 0 | 0 1262.16/1262.65 c 1262s | 20 | 982702 | 860327 | 5723 300 | 0 | 0 1264.26/1264.71 c 1264s | 20 | 983781 | 861327 | 5723 300 | 0 | 0 1266.26/1266.78 c 1266s | 20 | 984650 | 862127 | 5723 300 | 0 | 0 1268.36/1268.80 c 1268s | 20 | 985540 | 862927 | 5723 300 | 0 | 0 1270.46/1270.90 c 1270s | 20 | 986532 | 863827 | 5723 301 | 0 | 0 1272.56/1273.08 c 1273s | 20 | 987737 | 864927 | 5723 301 | 0 | 0 1274.67/1275.17 c 1275s | 20 | 988622 | 865727 | 5723 301 | 0 | 0 1276.77/1277.22 c 1277s | 20 | 989650 | 866627 | 5723 302 | 0 | 0 1278.76/1279.23 c 1279s | 20 | 991079 | 867927 | 5723 302 | 0 | 0 1280.86/1281.34 c 1281s | 20 | 992396 | 869127 | 5723 302 | 0 | 0 1282.96/1283.45 c 1283s | 20 | 993483 | 870127 | 5723 303 | 0 | 0 1285.16/1285.65 c 1285s | 20 | 994447 | 871027 | 5723 303 | 0 | 0 1287.26/1287.73 c 1287s | 20 | 995209 | 871727 | 5723 303 | 0 | 0 1289.36/1289.86 c 1289s | 20 | 996546 | 872927 | 5723 303 | 0 | 0 1291.36/1291.88 c 1291s | 20 | 998047 | 874227 | 5723 304 | 0 | 0 1293.46/1293.99 c 1293s | 20 | 999579 | 875627 | 5723 304 | 0 | 0 1295.76/1296.24 c 1296s | 20 | 1000904 | 876827 | 5723 305 | 0 | 0 1297.95/1298.40 c 1298s | 20 | 1002189 | 878027 | 5723 305 | 0 | 0 1300.05/1300.51 c 1300s | 20 | 1003268 | 879027 | 5723 305 | 0 | 0 1302.16/1302.64 c 1302s | 20 | 1004549 | 880127 | 5723 305 | 0 | 0 1304.26/1304.78 c 1304s | 20 | 1006021 | 881427 | 5723 306 | 0 | 0 1306.35/1306.84 c 1306s | 20 | 1007370 | 882627 | 5723 306 | 0 | 0 1308.35/1308.87 c 1308s | 20 | 1008712 | 883727 | 5723 307 | 0 | 0 1310.35/1310.88 c 1310s | 20 | 1010641 | 885427 | 5723 307 | 0 | 0 1312.45/1312.96 c 1312s | 20 | 1012156 | 886827 | 5723 307 | 0 | 0 1314.45/1314.97 c 1314s | 20 | 1013558 | 888127 | 5723 308 | 0 | 0 1316.65/1317.11 c 1317s | 20 | 1014976 | 889427 | 5723 308 | 0 | 0 1318.66/1319.13 c 1319s | 20 | 1016325 | 890627 | 5723 309 | 0 | 0 1320.75/1321.24 c 1321s | 20 | 1017992 | 892127 | 5723 309 | 0 | 0 1322.75/1323.28 c 1323s | 20 | 1019384 | 893427 | 5723 309 | 0 | 0 1324.85/1325.36 c 1325s | 20 | 1020540 | 894527 | 5723 310 | 0 | 0 1327.05/1327.50 c 1327s | 20 | 1021978 | 895827 | 5723 310 | 0 | 0 1329.06/1329.59 c 1329s | 20 | 1023514 | 897227 | 5723 310 | 0 | 0 1331.25/1331.70 c 1331s | 20 | 1024974 | 898527 | 5723 311 | 0 | 0 1333.25/1333.73 c 1333s | 20 | 1026594 | 899927 | 5723 311 | 0 | 0 1335.35/1335.82 c 1335s | 20 | 1028049 | 901227 | 5723 312 | 0 | 0 1337.45/1337.93 c 1337s | 20 | 1029583 | 902627 | 5723 312 | 0 | 0 1339.46/1339.98 c 1339s | 20 | 1030930 | 903827 | 5723 312 | 0 | 0 1341.66/1342.10 c 1342s | 20 | 1032345 | 905127 | 5723 313 | 0 | 0 1343.65/1344.17 c 1344s | 20 | 1033655 | 906327 | 5723 313 | 0 | 0 1345.75/1346.21 c 1346s | 20 | 1034864 | 907427 | 5723 313 | 0 | 0 1347.85/1348.31 c 1348s | 20 | 1035941 | 908427 | 5723 314 | 0 | 0 1349.85/1350.38 c 1350s | 20 | 1037285 | 909627 | 5723 314 | 0 | 0 1352.05/1352.56 c 1352s | 20 | 1038592 | 910827 | 5723 314 | 0 | 0 1354.05/1354.59 c 1354s | 20 | 1039729 | 911827 | 5723 315 | 0 | 0 1356.15/1356.60 c 1356s | 20 | 1040922 | 912927 | 5723 315 | 0 | 0 1358.15/1358.62 c 1358s | 20 | 1042170 | 914027 | 5723 315 | 0 | 0 1360.25/1360.73 c 1360s | 20 | 1043269 | 915027 | 5723 316 | 0 | 0 1362.25/1362.80 c 1362s | 20 | 1044450 | 916127 | 5723 316 | 0 | 0 1364.34/1364.80 c 1364s | 20 | 1045598 | 917127 | 5723 316 | 0 | 0 1366.34/1366.83 c 1366s | 20 | 1047157 | 918527 | 5723 317 | 0 | 0 1368.44/1368.90 c 1368s | 20 | 1048593 | 919827 | 5723 317 | 0 | 0 1370.44/1370.92 c 1370s | 20 | 1049805 | 920927 | 5723 317 | 0 | 0 1372.45/1372.97 c 1372s | 20 | 1050776 | 921827 | 5723 318 | 0 | 0 1374.54/1375.10 c 1375s | 20 | 1052195 | 923027 | 5723 318 | 0 | 0 1376.64/1377.16 c 1377s | 20 | 1053666 | 924327 | 5723 318 | 0 | 0 1378.74/1379.25 c 1379s | 20 | 1055048 | 925527 | 5723 319 | 0 | 0 1380.74/1381.29 c 1381s | 20 | 1056361 | 926727 | 5723 319 | 0 | 0 1382.94/1383.41 c 1383s | 20 | 1057828 | 928027 | 5723 319 | 0 | 0 1384.94/1385.48 c 1385s | 20 | 1058921 | 929027 | 5723 320 | 0 | 0 1387.14/1387.63 c 1387s | 20 | 1060438 | 930427 | 5723 320 | 0 | 0 1389.34/1389.80 c 1389s | 20 | 1061630 | 931527 | 5723 320 | 0 | 0 1391.45/1391.94 c 1391s | 20 | 1062859 | 932627 | 5723 321 | 0 | 0 1393.55/1394.09 c 1394s | 20 | 1064170 | 933827 | 5723 321 | 0 | 0 1395.65/1396.11 c 1396s | 20 | 1065378 | 934927 | 5723 321 | 0 | 0 1397.64/1398.15 c 1398s | 20 | 1066365 | 935827 | 5723 322 | 0 | 0 1399.74/1400.29 c 1400s | 20 | 1067681 | 937027 | 5723 322 | 0 | 0 1401.84/1402.35 c 1402s | 20 | 1068910 | 938127 | 5723 322 | 0 | 0 1404.04/1404.52 c 1404s | 20 | 1070559 | 939527 | 5723 323 | 0 | 0 1406.04/1406.56 c 1406s | 20 | 1072094 | 940827 | 5723 323 | 0 | 0 1408.14/1408.61 c 1408s | 20 | 1073450 | 942027 | 5723 323 | 0 | 0 1410.14/1410.62 c 1410s | 20 | 1074557 | 943027 | 5723 324 | 0 | 0 1412.24/1412.75 c 1412s | 20 | 1075710 | 944027 | 5723 324 | 0 | 0 1414.35/1414.84 c 1414s | 20 | 1076966 | 945127 | 5723 324 | 0 | 0 1416.34/1416.87 c 1416s | 20 | 1077847 | 945927 | 5723 325 | 0 | 0 1418.44/1418.92 c 1418s | 20 | 1079096 | 947027 | 5723 325 | 0 | 0 1420.54/1421.06 c 1421s | 20 | 1080197 | 948027 | 5723 325 | 0 | 0 1422.54/1423.08 c 1423s | 20 | 1081067 | 948827 | 5723 325 | 0 | 0 1424.64/1425.18 c 1425s | 20 | 1081817 | 949527 | 5723 326 | 0 | 0 1426.74/1427.22 c 1427s | 20 | 1082780 | 950327 | 5723 326 | 0 | 0 1428.74/1429.23 c 1429s | 20 | 1084533 | 951827 | 5723 326 | 0 | 0 1430.84/1431.36 c 1431s | 20 | 1086009 | 953127 | 5723 327 | 0 | 0 1433.04/1433.52 c 1433s | 20 | 1087589 | 954527 | 5723 327 | 0 | 0 1435.04/1435.53 c 1435s | 20 | 1088971 | 955727 | 5723 327 | 0 | 0 1437.14/1437.66 c 1437s | 20 | 1090344 | 956927 | 5723 328 | 0 | 0 1439.24/1439.77 c 1439s | 20 | 1091848 | 958227 | 5723 328 | 0 | 0 1441.33/1441.82 c 1441s | 20 | 1093130 | 959327 | 5723 328 | 0 | 0 1443.33/1443.84 c 1443s | 20 | 1094216 | 960327 | 5723 329 | 0 | 0 1445.33/1445.89 c 1445s | 20 | 1095672 | 961627 | 5723 329 | 0 | 0 1447.34/1447.89 c 1447s | 20 | 1097020 | 962827 | 5723 329 | 0 | 0 1449.44/1449.99 c 1449s | 20 | 1098375 | 964027 | 5723 330 | 0 | 0 1451.53/1452.03 c 1451s | 20 | 1099839 | 965327 | 5723 330 | 0 | 0 1453.63/1454.12 c 1454s | 20 | 1101212 | 966527 | 5723 331 | 0 | 0 1455.63/1456.15 c 1456s | 20 | 1102969 | 968027 | 5723 331 | 0 | 0 1457.73/1458.28 c 1458s | 20 | 1104460 | 969327 | 5723 331 | 0 | 0 1459.94/1460.41 c 1460s | 20 | 1105737 | 970427 | 5723 332 | 0 | 0 1461.93/1462.47 c 1462s | 20 | 1107063 | 971627 | 5723 332 | 0 | 0 1464.03/1464.58 c 1464s | 20 | 1108437 | 972827 | 5723 332 | 0 | 0 1466.13/1466.65 c 1466s | 20 | 1109881 | 974127 | 5723 333 | 0 | 0 1468.14/1468.70 c 1468s | 20 | 1111316 | 975427 | 5723 333 | 0 | 0 1470.34/1470.87 c 1470s | 20 | 1112636 | 976627 | 5723 333 | 0 | 0 1472.43/1472.90 c 1472s | 20 | 1113753 | 977627 | 5723 334 | 0 | 0 1474.43/1474.97 c 1474s | 20 | 1115124 | 978827 | 5723 334 | 0 | 0 1476.53/1477.06 c 1477s | 20 | 1116592 | 980127 | 5723 334 | 0 | 0 1478.63/1479.14 c 1479s | 20 | 1117812 | 981227 | 5723 335 | 0 | 0 1480.63/1481.14 c 1481s | 20 | 1118917 | 982227 | 5723 335 | 0 | 0 1482.83/1483.35 c 1483s | 20 | 1120005 | 983227 | 5723 335 | 0 | 0 1484.83/1485.38 c 1485s | 20 | 1120957 | 984027 | 5723 336 | 0 | 0 1486.93/1487.47 c 1487s | 20 | 1122996 | 985827 | 5723 336 | 0 | 0 1489.03/1489.55 c 1489s | 20 | 1124743 | 987327 | 5723 337 | 0 | 0 1491.13/1491.67 c 1491s | 20 | 1126704 | 989027 | 5723 337 | 0 | 0 1493.22/1493.75 c 1493s | 20 | 1128417 | 990527 | 5723 337 | 0 | 0 1495.22/1495.79 c 1495s | 20 | 1130102 | 992027 | 5723 338 | 0 | 0 1497.42/1497.91 c 1497s | 20 | 1131756 | 993527 | 6296 338 | 0 | 0 1499.42/1499.99 c 1499s | 20 | 1133099 | 994727 | 6296 339 | 0 | 0 1501.62/1502.11 c 1502s | 20 | 1134706 | 996127 | 6296 339 | 0 | 0 1503.62/1504.12 c 1504s | 20 | 1136199 | 997427 | 6296 339 | 0 | 0 1505.63/1506.19 c 1506s | 20 | 1137457 | 998527 | 6296 340 | 0 | 0 1507.73/1508.24 c 1508s | 20 | 1139208 | 1000027 | 6296 340 | 0 | 0 1508.22/1508.71 c 1508s | 21 | 1139578 | 1000345 | 6296 340 | 0 | 0 1510.32/1510.81 c 1510s | 21 | 1142948 | 1002345 | 6296 341 | 0 | 0 1512.32/1512.86 c 1512s | 21 | 1144844 | 1004045 | 6296 341 | 0 | 0 1514.43/1514.98 c 1514s | 21 | 1146533 | 1005545 | 6296 341 | 0 | 0 1516.63/1517.12 c 1517s | 21 | 1147881 | 1006745 | 6296 342 | 0 | 0 1518.62/1519.13 c 1519s | 21 | 1149262 | 1007945 | 6296 342 | 0 | 0 1520.72/1521.26 c 1521s | 21 | 1150733 | 1009245 | 6296 342 | 0 | 0 1522.72/1523.28 c 1523s | 21 | 1152086 | 1010445 | 6296 343 | 0 | 0 1524.92/1525.41 c 1525s | 21 | 1153606 | 1011845 | 6296 343 | 0 | 0 1526.92/1527.46 c 1527s | 21 | 1155042 | 1013145 | 6296 343 | 0 | 0 1529.02/1529.51 c 1529s | 21 | 1156492 | 1014445 | 6296 344 | 0 | 0 1531.12/1531.61 c 1531s | 21 | 1158193 | 1015945 | 6296 344 | 0 | 0 1533.12/1533.65 c 1533s | 21 | 1159812 | 1017345 | 6296 345 | 0 | 0 1535.22/1535.73 c 1535s | 21 | 1161248 | 1018645 | 6296 345 | 0 | 0 1537.31/1537.86 c 1537s | 21 | 1162619 | 1019845 | 6296 345 | 0 | 0 1539.42/1539.94 c 1539s | 21 | 1163879 | 1020945 | 6296 346 | 0 | 0 1541.42/1541.99 c 1541s | 21 | 1165071 | 1022045 | 6296 346 | 0 | 0 1543.62/1544.15 c 1544s | 21 | 1166425 | 1023245 | 6296 346 | 0 | 0 1545.72/1546.22 c 1546s | 21 | 1167518 | 1024245 | 6296 346 | 0 | 0 1547.82/1548.39 c 1548s | 21 | 1168650 | 1025245 | 6296 347 | 0 | 0 1549.92/1550.42 c 1550s | 21 | 1169998 | 1026445 | 6296 347 | 0 | 0 1552.12/1552.61 c 1552s | 21 | 1171326 | 1027645 | 6296 347 | 0 | 0 1554.12/1554.62 c 1554s | 21 | 1172489 | 1028645 | 6296 348 | 0 | 0 1556.23/1556.74 c 1556s | 21 | 1173860 | 1029845 | 6296 348 | 0 | 0 1558.33/1558.84 c 1558s | 21 | 1175078 | 1030945 | 6296 348 | 0 | 0 1560.52/1561.08 c 1561s | 21 | 1176150 | 1031945 | 6296 348 | 0 | 0 1562.62/1563.20 c 1563s | 21 | 1177115 | 1032845 | 6296 349 | 0 | 0 1564.72/1565.25 c 1565s | 21 | 1178116 | 1033745 | 6296 349 | 0 | 0 1566.91/1567.40 c 1567s | 21 | 1179409 | 1034945 | 6296 349 | 0 | 0 1568.91/1569.44 c 1569s | 21 | 1180507 | 1035945 | 6296 350 | 0 | 0 1571.01/1571.54 c 1571s | 21 | 1181687 | 1037045 | 6296 350 | 0 | 0 1573.21/1573.70 c 1573s | 21 | 1182790 | 1038045 | 6296 350 | 0 | 0 1575.31/1575.86 c 1575s | 21 | 1184197 | 1039345 | 6296 350 | 0 | 0 1577.41/1577.90 c 1577s | 21 | 1185292 | 1040345 | 6296 351 | 0 | 0 1579.61/1580.10 c 1580s | 21 | 1186461 | 1041445 | 6296 351 | 0 | 0 1581.61/1582.20 c 1582s | 21 | 1187481 | 1042345 | 6296 351 | 0 | 0 1583.72/1584.24 c 1584s | 21 | 1188650 | 1043345 | 6296 352 | 0 | 0 1585.82/1586.33 c 1586s | 21 | 1189997 | 1044445 | 6296 352 | 0 | 0 1587.91/1588.45 c 1588s | 21 | 1191677 | 1045945 | 6296 352 | 0 | 0 1590.01/1590.57 c 1590s | 21 | 1193072 | 1047145 | 6296 353 | 0 | 0 1592.11/1592.60 c 1592s | 21 | 1194632 | 1048545 | 6296 353 | 0 | 0 1594.11/1594.67 c 1594s | 21 | 1196216 | 1049945 | 6296 353 | 0 | 0 1596.21/1596.75 c 1596s | 21 | 1197317 | 1050945 | 6296 354 | 0 | 0 1598.31/1598.81 c 1598s | 21 | 1198883 | 1052345 | 6296 354 | 0 | 0 1600.31/1600.89 c 1600s | 21 | 1200252 | 1053545 | 6296 354 | 0 | 0 1602.41/1602.93 c 1602s | 21 | 1201440 | 1054545 | 6296 355 | 0 | 0 1604.41/1604.93 c 1604s | 21 | 1202742 | 1055745 | 6296 355 | 0 | 0 1606.51/1607.08 c 1607s | 21 | 1204222 | 1057045 | 6296 355 | 0 | 0 1608.61/1609.12 c 1609s | 21 | 1205354 | 1058045 | 6296 355 | 0 | 0 1610.61/1611.13 c 1611s | 21 | 1206667 | 1059145 | 6296 356 | 0 | 0 1612.71/1613.25 c 1613s | 21 | 1208126 | 1060445 | 6296 356 | 0 | 0 1614.91/1615.42 c 1615s | 21 | 1209476 | 1061645 | 6296 356 | 0 | 0 1617.21/1617.70 c 1617s | 21 | 1210748 | 1062745 | 6296 357 | 0 | 0 1619.21/1619.72 c 1619s | 21 | 1212099 | 1063945 | 6296 357 | 0 | 0 1621.21/1621.78 c 1621s | 21 | 1213351 | 1065045 | 6296 357 | 0 | 0 1623.32/1623.85 c 1623s | 21 | 1214427 | 1066045 | 6296 358 | 0 | 0 1625.31/1625.87 c 1625s | 21 | 1215757 | 1067245 | 6296 358 | 0 | 0 1627.51/1628.03 c 1627s | 21 | 1216980 | 1068345 | 6296 358 | 0 | 0 1629.61/1630.14 c 1630s | 21 | 1218003 | 1069245 | 6296 359 | 0 | 0 1631.70/1632.26 c 1632s | 21 | 1219317 | 1070445 | 6296 359 | 0 | 0 1633.80/1634.35 c 1634s | 21 | 1220724 | 1071645 | 6296 359 | 0 | 0 1636.00/1636.54 c 1636s | 21 | 1221811 | 1072645 | 6296 359 | 0 | 0 1638.00/1638.57 c 1638s | 21 | 1222951 | 1073545 | 6296 360 | 0 | 0 1640.10/1640.65 c 1640s | 21 | 1224037 | 1074545 | 6296 360 | 0 | 0 1642.30/1642.82 c 1642s | 21 | 1225277 | 1075645 | 6296 360 | 0 | 0 1644.60/1645.12 c 1645s | 21 | 1226617 | 1076745 | 6296 361 | 0 | 0 1646.60/1647.19 c 1647s | 21 | 1227927 | 1077845 | 6296 361 | 0 | 0 1648.80/1649.39 c 1649s | 21 | 1229399 | 1079045 | 6296 361 | 0 | 0 1650.90/1651.46 c 1651s | 21 | 1230750 | 1080145 | 6296 361 | 0 | 0 1653.01/1653.56 c 1653s | 21 | 1231953 | 1081145 | 6296 362 | 0 | 0 1655.11/1655.63 c 1655s | 21 | 1233236 | 1082245 | 6296 362 | 0 | 0 1657.20/1657.79 c 1657s | 21 | 1234691 | 1083545 | 6296 362 | 0 | 0 1659.30/1659.87 c 1659s | 21 | 1235885 | 1084645 | 6296 363 | 0 | 0 1661.30/1661.88 c 1661s | 21 | 1236951 | 1085645 | 6296 363 | 0 | 0 1663.40/1663.97 c 1663s | 21 | 1238066 | 1086645 | 6296 363 | 0 | 0 1665.60/1666.13 c 1666s | 21 | 1239172 | 1087645 | 6296 363 | 0 | 0 1667.70/1668.30 c 1668s | 21 | 1240297 | 1088645 | 6296 364 | 0 | 0 1669.80/1670.35 c 1670s | 21 | 1241267 | 1089545 | 6296 364 | 0 | 0 1671.90/1672.42 c 1672s | 21 | 1242268 | 1090445 | 6296 364 | 0 | 0 1674.00/1674.55 c 1674s | 21 | 1243127 | 1091245 | 6296 364 | 0 | 0 1676.20/1676.77 c 1676s | 21 | 1244250 | 1092245 | 6296 365 | 0 | 0 1678.30/1678.86 c 1678s | 21 | 1245869 | 1093645 | 6296 365 | 0 | 0 1680.29/1680.87 c 1680s | 21 | 1247113 | 1094745 | 6296 365 | 0 | 0 1682.49/1683.04 c 1683s | 21 | 1248144 | 1095645 | 6296 366 | 0 | 0 1684.69/1685.21 c 1685s | 21 | 1249481 | 1096745 | 6296 366 | 0 | 0 1686.79/1687.34 c 1687s | 21 | 1250533 | 1097645 | 6296 366 | 0 | 0 1688.99/1689.57 c 1689s | 21 | 1251524 | 1098545 | 6296 366 | 0 | 0 1691.09/1691.68 c 1691s | 21 | 1252357 | 1099245 | 6296 367 | 0 | 0 1693.20/1693.70 c 1693s | 21 | 1253765 | 1100445 | 6296 367 | 0 | 0 1695.30/1695.88 c 1695s | 21 | 1254996 | 1101545 | 6296 367 | 0 | 0 1697.40/1697.92 c 1697s | 21 | 1255967 | 1102445 | 6296 367 | 0 | 0 1699.60/1700.11 c 1700s | 21 | 1256837 | 1103245 | 6296 368 | 0 | 0 1701.80/1702.33 c 1702s | 21 | 1257724 | 1104045 | 6296 368 | 0 | 0 1704.00/1704.51 c 1704s | 21 | 1259180 | 1105345 | 6296 368 | 0 | 0 1706.20/1706.70 c 1706s | 21 | 1260181 | 1106245 | 6296 368 | 0 | 0 1708.20/1708.71 c 1708s | 21 | 1261183 | 1107145 | 6296 369 | 0 | 0 1710.30/1710.80 c 1710s | 21 | 1262009 | 1107945 | 6296 369 | 0 | 0 1712.30/1712.81 c 1712s | 21 | 1263266 | 1108845 | 6296 369 | 0 | 0 1714.50/1715.06 c 1715s | 21 | 1264576 | 1109945 | 6296 369 | 0 | 0 1716.60/1717.10 c 1717s | 21 | 1265573 | 1110845 | 6296 370 | 0 | 0 1718.59/1719.16 c 1719s | 21 | 1266525 | 1111745 | 6296 370 | 0 | 0 1720.79/1721.32 c 1721s | 21 | 1268010 | 1112645 | 6296 370 | 0 | 0 1722.89/1723.44 c 1723s | 21 | 1269102 | 1113645 | 6296 370 | 0 | 0 1724.99/1725.54 c 1725s | 21 | 1270481 | 1114845 | 6296 371 | 0 | 0 1727.19/1727.71 c 1727s | 21 | 1271837 | 1116045 | 6296 371 | 0 | 0 1729.19/1729.77 c 1729s | 21 | 1273032 | 1117145 | 6296 371 | 0 | 0 1731.29/1731.85 c 1731s | 21 | 1274123 | 1118145 | 6296 372 | 0 | 0 1733.39/1733.90 c 1733s | 21 | 1275199 | 1119145 | 6296 372 | 0 | 0 1735.59/1736.13 c 1736s | 21 | 1276188 | 1120045 | 6296 372 | 0 | 0 1737.89/1738.40 c 1738s | 21 | 1277083 | 1120845 | 6296 372 | 0 | 0 1739.90/1740.48 c 1740s | 21 | 1277845 | 1121545 | 6296 373 | 0 | 0 1742.19/1742.78 c 1742s | 21 | 1278798 | 1122445 | 6296 373 | 0 | 0 1744.30/1744.90 c 1744s | 21 | 1279541 | 1123145 | 6296 373 | 0 | 0 1746.50/1747.08 c 1747s | 21 | 1280960 | 1124245 | 6296 373 | 0 | 0 1748.60/1749.11 c 1749s | 21 | 1282040 | 1125145 | 6296 374 | 0 | 0 1750.69/1751.27 c 1751s | 21 | 1283965 | 1126445 | 6296 374 | 0 | 0 1752.99/1753.53 c 1753s | 21 | 1285106 | 1127445 | 6296 374 | 0 | 0 1755.09/1755.66 c 1755s | 21 | 1285961 | 1128245 | 6296 374 | 0 | 0 1757.19/1757.75 c 1757s | 21 | 1287252 | 1129145 | 6296 375 | 0 | 0 1759.29/1759.83 c 1759s | 21 | 1288286 | 1130045 | 6296 375 | 0 | 0 1761.39/1761.93 c 1761s | 21 | 1289530 | 1130945 | 6296 375 | 0 | 0 1763.49/1764.07 c 1764s | 21 | 1290909 | 1132045 | 6296 375 | 0 | 0 1765.58/1766.14 c 1766s | 21 | 1292582 | 1133345 | 6296 376 | 0 | 0 1767.68/1768.25 c 1768s | 21 | 1294116 | 1134545 | 6296 376 | 0 | 0 1769.68/1770.27 c 1770s | 21 | 1295080 | 1135445 | 6296 376 | 0 | 0 1771.79/1772.33 c 1772s | 21 | 1296210 | 1136445 | 6296 377 | 0 | 0 1773.89/1774.50 c 1774s | 21 | 1297340 | 1137445 | 6296 377 | 0 | 0 1775.98/1776.52 c 1776s | 21 | 1298912 | 1138545 | 6296 377 | 0 | 0 1778.08/1778.68 c 1778s | 21 | 1300439 | 1139745 | 6296 377 | 0 | 0 1780.18/1780.78 c 1780s | 21 | 1301700 | 1140845 | 6296 378 | 0 | 0 1782.28/1782.88 c 1782s | 21 | 1302897 | 1141845 | 6296 378 | 0 | 0 1784.38/1784.93 c 1784s | 21 | 1303783 | 1142645 | 6296 378 | 0 | 0 1786.38/1786.94 c 1786s | 21 | 1305155 | 1143845 | 6296 379 | 0 | 0 1788.48/1789.08 c 1789s | 21 | 1306636 | 1145145 | 6296 379 | 0 | 0 1790.68/1791.20 c 1791s | 21 | 1307984 | 1146345 | 6296 379 | 0 | 0 1792.69/1793.26 c 1793s | 21 | 1309057 | 1147345 | 6296 380 | 0 | 0 1794.79/1795.31 c 1795s | 21 | 1310334 | 1148445 | 6296 380 | 0 | 0 1796.88/1797.46 c 1797s | 21 | 1311402 | 1149445 | 6296 380 | 0 | 0 1798.98/1799.50 c 1799s | 21 | 1312369 | 1150345 | 6296 380 | 0 | 0
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4099466-1466206141/watcher-4099466-1466206141 -o /tmp/evaluation-result-4099466-1466206141/solver-4099466-1466206141 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099466-1466206141.opb pid=17540 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.37 0.60 0.32 2/170 17543 /proc/meminfo: memFree=28707080/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=678332 CPUtime=0 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 2521 0 0 0 0 0 0 0 20 0 4 0 22659665 694611968 3392 33554432000 4194304 16246674 140734248348048 140734248347472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17543/statm: 170351 3401 441 2943 0 167245 0 [pid=17543/tid=17544] ppid=17540 vsize=696764 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 713486336 3464 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=701884 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 718729216 3482 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=704956 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 721874944 3497 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100178 s] /proc/loadavg: 1.37 0.60 0.32 2/170 17543 /proc/meminfo: memFree=28707080/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 32326 0 0 0 4 5 0 0 20 0 4 0 22659665 1247350784 33187 33554432000 4194304 16246674 140734248348048 140734248331040 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17543/statm: 304529 33209 705 2943 0 301423 0 [pid=17543/tid=17544] ppid=17540 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1247350784 33224 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1247350784 33239 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1247350784 33254 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200502 s] /proc/loadavg: 1.37 0.60 0.32 2/170 17543 /proc/meminfo: memFree=28707080/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 68490 0 0 0 9 10 0 0 20 0 4 0 22659665 1247350784 69351 33554432000 4194304 16246674 140734248348048 140734248331040 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17543/statm: 304529 69370 705 2943 0 301423 0 [pid=17543/tid=17544] ppid=17540 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1247350784 69379 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1247350784 69386 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1247350784 69390 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300485 s] /proc/loadavg: 1.37 0.60 0.32 2/170 17543 /proc/meminfo: memFree=28707080/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 103214 0 0 0 15 14 0 0 20 0 4 0 22659665 1247350784 104074 33554432000 4194304 16246674 140734248348048 140734248331040 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17543/statm: 304529 104100 705 2943 0 301423 0 [pid=17543/tid=17544] ppid=17540 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1247350784 104114 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1247350784 104129 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1247350784 104140 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700416 s] /proc/loadavg: 1.37 0.60 0.32 2/170 17543 /proc/meminfo: memFree=28707080/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 240364 0 0 0 36 33 0 0 20 0 4 0 22659665 1247350784 241225 33554432000 4194304 16246674 140734248348048 140734248331040 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17543/statm: 304529 241241 705 2943 0 301423 0 [pid=17543/tid=17544] ppid=17540 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1247350784 241249 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1247350784 241259 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1247350784 241273 33554432000 4194304 16246674 140734248348048 139668981017776 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) 1218116 [startup+1.50042 s] /proc/loadavg: 1.37 0.60 0.32 3/183 17565 /proc/meminfo: memFree=27437588/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1302084 CPUtime=1.49 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 266311 0 0 0 113 36 0 0 20 0 4 0 22659665 1333334016 267151 33554432000 4194304 16246674 140734248348048 140734248329920 13950188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17543/statm: 325521 267151 789 2943 0 322415 0 [pid=17543/tid=17544] ppid=17540 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1333334016 267151 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1333334016 267151 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1333334016 267151 33554432000 4194304 16246674 140734248348048 139668981017776 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) 1302084 [startup+3.10044 s] /proc/loadavg: 1.37 0.60 0.32 3/183 17565 /proc/meminfo: memFree=26547012/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1308228 CPUtime=3.09 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 267870 0 0 0 272 37 0 0 20 0 4 0 22659665 1339625472 268710 33554432000 4194304 16246674 140734248348048 140734248329920 5545930 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/17543/statm: 327057 268710 792 2943 0 323951 0 [pid=17543/tid=17544] ppid=17540 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1339625472 268710 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1339625472 268710 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1339625472 268710 33554432000 4194304 16246674 140734248348048 139668981017776 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) 1308228 [startup+6.30043 s] /proc/loadavg: 1.58 0.66 0.34 3/183 17565 /proc/meminfo: memFree=26541124/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1310276 CPUtime=6.29 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 268368 0 0 0 590 39 0 0 20 0 4 0 22659665 1341722624 269208 33554432000 4194304 16246674 140734248348048 140734248329920 5545708 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17543/statm: 327569 269208 792 2943 0 324463 0 [pid=17543/tid=17544] ppid=17540 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1341722624 269208 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1341722624 269208 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1341722624 269208 33554432000 4194304 16246674 140734248348048 139668981017776 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) 1310276 [startup+12.7004 s] /proc/loadavg: 1.62 0.68 0.35 3/183 17565 /proc/meminfo: memFree=26538988/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1310276 CPUtime=12.69 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 268593 0 0 0 1230 39 0 0 20 0 4 0 22659665 1341722624 269433 33554432000 4194304 16246674 140734248348048 140734248329920 13950199 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17543/statm: 327569 269433 792 2943 0 324463 0 [pid=17543/tid=17544] ppid=17540 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1341722624 269433 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1341722624 269433 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1310276 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1341722624 269433 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1310276 [startup+25.5076 s] /proc/loadavg: 1.85 0.78 0.38 4/183 17565 /proc/meminfo: memFree=26538604/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1311300 CPUtime=25.5 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 268849 0 0 0 2510 40 0 0 20 0 4 0 22659665 1342771200 269689 33554432000 4194304 16246674 140734248348048 140734248329920 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17543/statm: 327825 269689 792 2943 0 324719 0 [pid=17543/tid=17544] ppid=17540 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1342771200 269689 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1342771200 269689 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1342771200 269689 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 1311300 [startup+51.1004 s] /proc/loadavg: 1.97 0.89 0.43 3/183 17565 /proc/meminfo: memFree=26531788/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1316420 CPUtime=51.08 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 270130 0 0 0 5068 40 0 0 20 0 4 0 22659665 1348014080 270970 33554432000 4194304 16246674 140734248348048 140734248329920 13923716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17543/statm: 329105 270970 792 2943 0 325999 0 [pid=17543/tid=17544] ppid=17540 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1348014080 270970 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1348014080 270970 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1348014080 270970 33554432000 4194304 16246674 140734248348048 139668981017776 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) 1316420 [startup+102.3 s] /proc/loadavg: 2.13 1.10 0.52 3/184 17569 /proc/meminfo: memFree=26522392/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1323588 CPUtime=102.28 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 271922 0 0 0 10187 41 0 0 20 0 4 0 22659665 1355354112 272762 33554432000 4194304 16246674 140734248348048 140734248329920 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17543/statm: 330897 272762 792 2943 0 327791 0 [pid=17543/tid=17544] ppid=17540 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1355354112 272762 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1355354112 272762 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1323588 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1355354112 272762 33554432000 4194304 16246674 140734248348048 139668981017776 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) 1323588 ################ # More data... # ################ /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273633 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1327684 [startup+1362.3 s] /proc/loadavg: 2.22 2.25 1.81 3/183 17601 /proc/meminfo: memFree=26509584/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1327684 CPUtime=1361.85 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 273222 0 0 0 136112 73 0 0 20 0 4 0 22659665 1359548416 273633 33554432000 4194304 16246674 140734248348048 140734248329920 5546093 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17543/statm: 331921 273633 792 2943 0 328815 0 [pid=17543/tid=17544] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273633 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273633 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273633 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1327684 [startup+1422.3 s] /proc/loadavg: 2.22 2.24 1.83 4/182 17602 /proc/meminfo: memFree=26510844/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1327684 CPUtime=1421.84 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 273283 0 0 0 142110 74 0 0 20 0 4 0 22659665 1359548416 273694 33554432000 4194304 16246674 140734248348048 140734248329920 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17543/statm: 331921 273694 792 2943 0 328815 0 [pid=17543/tid=17544] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273694 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273694 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273694 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1327684 [startup+1482.3 s] /proc/loadavg: 2.18 2.23 1.85 3/183 17604 /proc/meminfo: memFree=26509628/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1327684 CPUtime=1481.83 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 273283 0 0 0 148108 75 0 0 20 0 4 0 22659665 1359548416 273694 33554432000 4194304 16246674 140734248348048 140734248329920 5545988 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17543/statm: 331921 273694 792 2943 0 328815 0 [pid=17543/tid=17544] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273694 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273694 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273694 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1327684 [startup+1542.3 s] /proc/loadavg: 2.15 2.21 1.87 3/183 17605 /proc/meminfo: memFree=26509548/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1327684 CPUtime=1541.83 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 273283 0 0 0 154107 76 0 0 20 0 4 0 22659665 1359548416 273694 33554432000 4194304 16246674 140734248348048 140734248329920 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17543/statm: 331921 273694 792 2943 0 328815 0 [pid=17543/tid=17544] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273694 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273694 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273694 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1327684 [startup+1602.3 s] /proc/loadavg: 2.31 2.25 1.90 4/183 17606 /proc/meminfo: memFree=26508164/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1327684 CPUtime=1601.81 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 273379 0 0 0 160105 76 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 140734248329920 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17543/statm: 331921 273790 792 2943 0 328815 0 [pid=17543/tid=17544] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1327684 [startup+1662.31 s] /proc/loadavg: 2.25 2.24 1.92 3/183 17608 /proc/meminfo: memFree=26508232/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1327684 CPUtime=1661.8 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 273379 0 0 0 166103 77 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 140734248329920 5545894 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17543/statm: 331921 273790 792 2943 0 328815 0 [pid=17543/tid=17544] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1327684 [startup+1722.3 s] /proc/loadavg: 2.21 2.23 1.93 3/183 17609 /proc/meminfo: memFree=26508432/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1327684 CPUtime=1721.79 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 273379 0 0 0 172101 78 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 140734248329920 5721414 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17543/statm: 331921 273790 792 2943 0 328815 0 [pid=17543/tid=17544] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1327684 [startup+1782.3 s] /proc/loadavg: 2.19 2.23 1.94 4/183 17610 /proc/meminfo: memFree=26507340/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1327684 CPUtime=1781.78 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 273379 0 0 0 178100 78 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 140734248329920 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17543/statm: 331921 273790 792 2943 0 328815 0 [pid=17543/tid=17544] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1327684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.28 2.24 1.95 3/183 17610 /proc/meminfo: memFree=26508244/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1327684 CPUtime=1800.08 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 273379 0 0 0 179930 78 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 140734248329920 5545930 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17543/statm: 331921 273790 792 2943 0 328815 0 [pid=17543/tid=17544] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1327684 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 17543 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.28 2.24 1.95 3/183 17610 /proc/meminfo: memFree=26508244/32872528 swapFree=1459628/1655852 [pid=17543] ppid=17540 vsize=1327684 CPUtime=1800.08 cores=1,3,5,7 /proc/17543/stat : 17543 (toysat) R 17540 17543 16189 0 -1 4202496 273379 0 0 0 179930 78 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 140734248329920 5545930 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17543/statm: 331921 273790 792 2943 0 328815 0 [pid=17543/tid=17544] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17544/stat : 17544 (toysat) S 17540 17543 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139669104733424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=17543/tid=17545] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17545/stat : 17545 (toysat) S 17540 17543 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139669094243568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=17543/tid=17546] ppid=17540 vsize=1327684 CPUtime=0 cores=1,3,5,7 /proc/17543/task/17546/stat : 17546 (toysat) S 17540 17543 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659665 1359548416 273790 33554432000 4194304 16246674 140734248348048 139668981017776 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1327684 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1799.31 CPU system time (s): 0.78688 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 1327684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.31 system time used= 0.78688 maximum resident set size= 1095160 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273379 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= 445 involuntary context switches= 2343 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.96924 second user time and 6.96794 second system time The end
Begin job on node136 at 2016-06-18 01:29:01 IDJOB=4099466 IDBENCH=1415 IDSOLVER=2542 FILE ID=node136/4099466-1466206141 RUNJOBID= node136-1466206055-16206 PBS_JOBID= 19918141 Free space on /tmp= 71740 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099466-1466206141/watcher-4099466-1466206141 -o /tmp/evaluation-result-4099466-1466206141/solver-4099466-1466206141 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099466-1466206141.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 61cf99fd35695f4955b2bd6e6269522f RANDOM SEED=1261066251 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 : 2667.278 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 : 5334.55 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 : 2667.278 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 : 2667.278 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.278 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 : 2667.278 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 : 2667.278 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.56 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 : 2667.278 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.67 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 : 2667.278 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: 28707988 kB Buffers: 132980 kB Cached: 1623496 kB SwapCached: 0 kB Active: 127356 kB Inactive: 1640036 kB Active(anon): 13072 kB Inactive(anon): 0 kB Active(file): 114284 kB Inactive(file): 1640036 kB Unevictable: 1655852 kB Mlocked: 1459628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 16356 kB Writeback: 0 kB AnonPages: 1667980 kB Mapped: 12944 kB Shmem: 204 kB Slab: 609240 kB SReclaimable: 52588 kB SUnreclaim: 556652 kB KernelStack: 1448 kB PageTables: 7032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1752444 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 198656 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= 71708 MiB End job on node136 at 2016-06-18 01:59:02