| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.08 | 1800.61 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/ subsetcard/normalized-subsetcard-eq-random4regular-30.opb |
| MD5SUM | 385932e95fa98a18d84f560f29bbc773 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.011998 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 121 |
| Total number of constraints | 60 |
| Number of constraints which are clauses | 0 |
| 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 | 4 |
| Maximum length of a constraint | 5 |
| 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 | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 8 |
| Number of bits of the biggest sum of numbers | 4 |
| 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-16T20:55:53+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-4096141-1466103353.opb"] 0.00/0.01 c use --random-gen="2576933872 1539984258 3457762005 3982571782 1642358759 1799454091 3211367239 2349572283 1349990485 1671275289 726795400 3568358387 3342848924 3975708689 3974298116 2700825535 4010871675 1013230829 4213417873 2313304739 3821071502 1416351071 424698263 3085165344 562212371 12714930 371597096 2826013271 3207936961 2846421378 3701204919 2063286643 2032765883 3199158249 1715791042 3051244119 484348531 401498449 2263735948 3162965194 291506509 2331168771 2350653788 2778839008 2938230479 2930574929 1548570681 1571988116 1642101909 1674766435 1606945096 2691830786 546316366 2566842218 2064558688 579586209 2889460116 4143718682 3233887053 1474888789 560633265 1426442331 3791095593 2132718099 1271929964 268012346 3481747079 2145237733 2915312228 757125616 2955838842 3954170441 1723600703 95806024 3214372317 1189250102 1045157103 2601410508 4172129005 3747334441 290583681 1875268992 1846569963 932785587 2898062952 2222447067 4088113217 395669399 773705316 1422317318 3855336700 2332708779 2702600784 2752833017 2758299848 505079423 2343633443 1443602577 918674451 251730579 2991982482 147948617 831731302 2408209717 2995763502 558672929 3524292721 302513166 3459991078 2983436540 1258687173 100311199 2638651202 1959974281 4101798963 3923505438 1253190278 231981372 190796756 3679392178 1742610061 3540412651 3240862068 524852491 1125329944 350165697 2852448287 3134144770 2392681564 722034925 3728129880 175692422 3917966041 3300967345 274057130 1672926291 1287920085 2612975718 312277690 1435115945 454093849 1653760427 1111646402 2689180525 556370507 1893521943 65778153 3892451058 1551116145 533110326 1425466803 3430194650 3828920482 1607689935 3619628009 3800078221 313753367 2055999984 306621932 1481932045 3604244456 4159888981 3582786490 990043388 2445145547 2655477852 485085286 3701596886 409644188 1549822031 2605240217 4207750840 2092934928 2217669779 1243127332 1344280389 962066356 693301574 1119386961 4053518994 3893645728 135953191 4185671719 4191990336 351092734 2264384195 356513491 70782871 3253978457 1315585689 923000062 3487897933 954996539 1085483465 2443166377 2623657606 475668696 2593840347 3260186660 1356871314 2589394485 1420374762 1390254384 2767335717 843266429 965046783 1376604032 3461655517 1073980316 2553252373 1420390428 3467567463 2005242592 3449034272 2086821420 4259465263 1210475452 3402448689 273385486 3025140853 3894269570 3295549012 4216254606 4197659358 1285579524 3765759638 690828230 1380196797 1919108602 301121587 3988040954 3559649998 3322473822 267729007 711655326 800052643 873805508 2930859731 1121172999 53772107 3226216136 3795420527 2559578978 3395383092 4021591851 1418042003 2150303199 396474028 928374332 1605553801 232437943 3098233112 2983306361 3289635903 4060027607 3419545797 255 362436" option to reproduce the execution 0.00/0.01 c #vars 121 0.00/0.01 c #constraints 60 0.00/0.01 c Solving starts ... 0.00/0.01 c ============================[ Search Statistics ]============================ 0.00/0.01 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.01 c | | | | Limit GC | Var | Constra 0.00/0.01 c ============================================================================= 0.00/0.01 c 0.0s | 0 | 0 | 0 | 80 0 | 0 | 0 0.00/0.02 c 0.0s | 1 | 135 | 100 | 80 0 | 0 | 0 0.00/0.04 c 0.0s | 2 | 340 | 250 | 88 2 | 0 | 0 0.00/0.06 c 0.1s | 3 | 685 | 475 | 97 5 | 0 | 0 0.09/0.10 c 0.1s | 4 | 1192 | 813 | 107 10 | 0 | 0 0.09/0.16 c 0.1s | 5 | 1832 | 1320 | 118 15 | 0 | 0 0.19/0.25 c 0.2s | 6 | 2711 | 2081 | 143 24 | 0 | 0 0.29/0.38 c 0.4s | 7 | 4511 | 3223 | 158 36 | 0 | 0 0.49/0.58 c 0.6s | 8 | 6576 | 4936 | 174 53 | 0 | 0 0.79/0.88 c 0.9s | 9 | 10019 | 7506 | 192 78 | 0 | 0 1.20/1.27 c 1.3s | 10 | 14692 | 11361 | 212 111 | 0 | 0 1.69/1.73 c 1.7s | 11 | 22723 | 17144 | 234 157 | 0 | 0 2.39/2.49 c 2.5s | 12 | 34137 | 25819 | 258 222 | 0 | 0 3.49/3.59 c 3.6s | 13 | 51956 | 38832 | 284 310 | 0 | 0 5.18/5.24 c 5.2s | 14 | 78607 | 58352 | 313 433 | 0 | 0 7.19/7.24 c 7.2s | 14 | 108042 | 81652 | 313 568 | 0 | 0 7.70/7.77 c 7.8s | 15 | 115158 | 87632 | 345 603 | 0 | 0 9.69/9.77 c 9.8s | 15 | 151407 | 112232 | 345 735 | 0 | 0 11.29/11.36 c 11.3s | 16 | 177829 | 131552 | 380 840 | 0 | 0 13.30/13.36 c 13.3s | 16 | 210937 | 155652 | 380 958 | 0 | 0 15.29/15.36 c 15.4s | 16 | 239645 | 178052 | 380 1068 | 0 | 0 16.99/17.01 c 17.0s | 17 | 265907 | 197432 | 419 1162 | 0 | 0 18.99/19.01 c 19.0s | 17 | 293171 | 219332 | 419 1260 | 0 | 0 21.00/21.01 c 21.0s | 17 | 320735 | 241732 | 419 1360 | 0 | 0 22.99/23.02 c 23.0s | 17 | 349088 | 263732 | 419 1459 | 0 | 0 24.99/25.02 c 25.0s | 17 | 378981 | 286232 | 419 1561 | 0 | 0 25.89/25.95 c 25.9s | 18 | 391715 | 296252 | 461 1605 | 0 | 0 27.88/27.96 c 27.9s | 18 | 417927 | 316852 | 461 1688 | 0 | 0 29.88/29.97 c 30.0s | 18 | 442750 | 337152 | 461 1771 | 0 | 0 31.89/31.97 c 32.0s | 18 | 470489 | 358952 | 461 1859 | 0 | 0 33.88/33.98 c 34.0s | 18 | 496708 | 380452 | 461 1947 | 0 | 0 35.88/35.98 c 36.0s | 18 | 525435 | 402652 | 461 2038 | 0 | 0 37.88/37.99 c 38.0s | 18 | 550608 | 423152 | 461 2121 | 0 | 0 39.98/40.00 c 40.0s | 18 | 574484 | 442952 | 508 2200 | 0 | 0 40.08/40.17 c 40.2s | 19 | 576246 | 444482 | 508 2206 | 0 | 0 42.08/42.17 c 42.2s | 19 | 604513 | 466482 | 508 2287 | 0 | 0 44.09/44.17 c 44.2s | 19 | 634066 | 488882 | 508 2372 | 0 | 0 46.09/46.18 c 46.2s | 19 | 664104 | 511482 | 508 2456 | 0 | 0 48.09/48.18 c 48.2s | 19 | 691287 | 532382 | 508 2535 | 0 | 0 50.09/50.19 c 50.2s | 19 | 717499 | 553482 | 508 2614 | 0 | 0 52.08/52.20 c 52.2s | 19 | 743717 | 574482 | 508 2693 | 0 | 0 54.18/54.20 c 54.2s | 19 | 770904 | 595782 | 508 2772 | 0 | 0 56.19/56.21 c 56.2s | 19 | 799066 | 617482 | 508 2853 | 0 | 0 58.18/58.21 c 58.2s | 19 | 824496 | 637982 | 508 2930 | 0 | 0 60.18/60.22 c 60.2s | 19 | 851030 | 658682 | 508 3008 | 0 | 0 60.98/61.01 c 61.0s | 20 | 861370 | 666827 | 559 3036 | 0 | 0 62.98/63.01 c 63.0s | 20 | 888964 | 687727 | 559 3107 | 0 | 0 64.99/65.02 c 65.0s | 20 | 914724 | 707927 | 559 3176 | 0 | 0 66.98/67.02 c 67.0s | 20 | 940008 | 727927 | 559 3245 | 0 | 0 68.98/69.03 c 69.0s | 20 | 965709 | 748327 | 559 3314 | 0 | 0 70.98/71.03 c 71.0s | 20 | 992380 | 768927 | 559 3385 | 0 | 0 72.98/73.03 c 73.0s | 20 | 1017856 | 789427 | 559 3455 | 0 | 0 74.98/75.04 c 75.0s | 20 | 1043203 | 810327 | 559 3526 | 0 | 0 76.98/77.04 c 77.0s | 20 | 1067174 | 830427 | 559 3595 | 0 | 0 78.97/79.05 c 79.0s | 20 | 1091693 | 850527 | 559 3664 | 0 | 0 80.97/81.05 c 81.0s | 20 | 1116098 | 870627 | 559 3733 | 0 | 0 82.97/83.05 c 83.0s | 20 | 1140687 | 890527 | 559 3801 | 0 | 0 84.97/85.06 c 85.0s | 20 | 1164384 | 910127 | 559 3868 | 0 | 0 86.99/87.07 c 87.1s | 20 | 1190676 | 931027 | 559 3939 | 0 | 0 88.98/89.07 c 89.1s | 20 | 1216198 | 951527 | 559 4009 | 0 | 0 90.98/91.08 c 91.1s | 20 | 1244062 | 972527 | 559 4082 | 0 | 0 92.98/93.09 c 93.1s | 20 | 1271714 | 993627 | 615 4153 | 0 | 0 93.68/93.77 c 93.8s | 21 | 1279987 | 1000345 | 615 4174 | 0 | 0 95.68/95.77 c 95.8s | 21 | 1306822 | 1020845 | 615 4238 | 0 | 0 97.68/97.78 c 97.8s | 21 | 1334567 | 1042045 | 615 4304 | 0 | 0 99.68/99.79 c 99.8s | 21 | 1359971 | 1062245 | 615 4367 | 0 | 0 101.67/101.79 c 101s | 21 | 1384292 | 1081945 | 615 4428 | 0 | 0 103.77/103.80 c 103s | 21 | 1407658 | 1101245 | 615 4488 | 0 | 0 105.77/105.80 c 105s | 21 | 1431464 | 1121345 | 615 4550 | 0 | 0 107.78/107.80 c 107s | 21 | 1454001 | 1140545 | 615 4610 | 0 | 0 109.77/109.81 c 109s | 21 | 1476571 | 1159445 | 615 4669 | 0 | 0 111.77/111.81 c 111s | 21 | 1499831 | 1178545 | 615 4728 | 0 | 0 113.78/113.82 c 113s | 21 | 1523943 | 1197845 | 615 4788 | 0 | 0 115.78/115.83 c 115s | 21 | 1546302 | 1216645 | 615 4846 | 0 | 0 117.78/117.83 c 117s | 21 | 1569882 | 1236045 | 615 4907 | 0 | 0 119.77/119.83 c 119s | 21 | 1593115 | 1255245 | 615 4967 | 0 | 0 121.77/121.84 c 121s | 21 | 1617069 | 1274545 | 615 5027 | 0 | 0 123.77/123.84 c 123s | 21 | 1640099 | 1293445 | 615 5086 | 0 | 0 125.77/125.84 c 125s | 21 | 1661899 | 1311945 | 615 5144 | 0 | 0 127.77/127.85 c 127s | 21 | 1685703 | 1331145 | 615 5203 | 0 | 0 129.78/129.85 c 129s | 21 | 1709161 | 1350445 | 615 5263 | 0 | 0 131.77/131.85 c 131s | 21 | 1732774 | 1369445 | 615 5322 | 0 | 0 133.77/133.86 c 133s | 21 | 1753927 | 1387545 | 615 5379 | 0 | 0 135.77/135.87 c 135s | 21 | 1777009 | 1406445 | 615 5438 | 0 | 0 137.77/137.88 c 137s | 21 | 1798600 | 1424445 | 615 5494 | 0 | 0 139.78/139.88 c 139s | 21 | 1819697 | 1442245 | 615 5549 | 0 | 0 141.77/141.89 c 141s | 21 | 1843293 | 1460845 | 615 5607 | 0 | 0 143.77/143.90 c 143s | 21 | 1865473 | 1479245 | 615 5664 | 0 | 0 145.87/145.90 c 145s | 21 | 1890032 | 1498845 | 677 5723 | 0 | 0 145.97/146.09 c 146s | 22 | 1892061 | 1500622 | 677 5728 | 0 | 0 148.07/148.10 c 148s | 22 | 1912695 | 1518322 | 677 5778 | 0 | 0 150.06/150.10 c 150s | 22 | 1933833 | 1536122 | 677 5828 | 0 | 0 152.06/152.10 c 152s | 22 | 1957353 | 1555322 | 677 5882 | 0 | 0 153.97/154.10 c 154s | 22 | 1978285 | 1573322 | 677 5933 | 0 | 0 156.06/156.10 c 156s | 22 | 2000588 | 1591622 | 677 5984 | 0 | 0 158.07/158.11 c 158s | 22 | 2022954 | 1609822 | 677 6035 | 0 | 0 160.07/160.12 c 160s | 22 | 2045496 | 1627622 | 677 6086 | 0 | 0 162.07/162.12 c 162s | 22 | 2067155 | 1645122 | 677 6135 | 0 | 0 164.07/164.12 c 164s | 22 | 2090371 | 1663622 | 677 6187 | 0 | 0 166.07/166.13 c 166s | 22 | 2111958 | 1681622 | 677 6238 | 0 | 0 168.07/168.14 c 168s | 22 | 2134351 | 1699822 | 677 6289 | 0 | 0 170.07/170.14 c 170s | 22 | 2156956 | 1718022 | 677 6340 | 0 | 0 172.06/172.14 c 172s | 22 | 2182119 | 1737522 | 677 6395 | 0 | 0 174.06/174.16 c 174s | 22 | 2205853 | 1756422 | 677 6449 | 0 | 0 176.07/176.16 c 176s | 22 | 2229686 | 1775522 | 677 6503 | 0 | 0 178.06/178.17 c 178s | 22 | 2250691 | 1793222 | 677 6553 | 0 | 0 180.06/180.18 c 180s | 22 | 2277326 | 1813122 | 677 6609 | 0 | 0 182.06/182.18 c 182s | 22 | 2303621 | 1833122 | 677 6665 | 0 | 0 184.06/184.18 c 184s | 22 | 2325745 | 1851322 | 677 6717 | 0 | 0 186.06/186.19 c 186s | 22 | 2349677 | 1870322 | 677 6770 | 0 | 0 188.07/188.20 c 188s | 22 | 2373248 | 1889322 | 677 6823 | 0 | 0 190.16/190.20 c 190s | 22 | 2396398 | 1908322 | 677 6877 | 0 | 0 192.16/192.21 c 192s | 22 | 2417645 | 1926322 | 677 6928 | 0 | 0 194.16/194.22 c 194s | 22 | 2440504 | 1944822 | 677 6980 | 0 | 0 196.16/196.23 c 196s | 22 | 2463984 | 1963722 | 677 7033 | 0 | 0 198.15/198.23 c 198s | 22 | 2490202 | 1984122 | 677 7090 | 0 | 0 200.16/200.23 c 200s | 22 | 2515911 | 2004122 | 677 7147 | 0 | 0 202.16/202.24 c 202s | 22 | 2542659 | 2024022 | 677 7203 | 0 | 0 204.16/204.24 c 204s | 22 | 2566927 | 2043222 | 677 7257 | 0 | 0 206.16/206.25 c 206s | 22 | 2591405 | 2062322 | 677 7311 | 0 | 0 208.16/208.25 c 208s | 22 | 2616125 | 2081522 | 677 7365 | 0 | 0 210.17/210.26 c 210s | 22 | 2640191 | 2100522 | 677 7419 | 0 | 0 212.16/212.26 c 212s | 22 | 2663403 | 2119322 | 677 7472 | 0 | 0 214.16/214.27 c 214s | 22 | 2688572 | 2139122 | 677 7527 | 0 | 0 216.16/216.28 c 216s | 22 | 2714368 | 2158622 | 677 7581 | 0 | 0 218.16/218.29 c 218s | 22 | 2738613 | 2177722 | 677 7636 | 0 | 0 220.16/220.29 c 220s | 22 | 2765111 | 2197722 | 677 7692 | 0 | 0 222.16/222.29 c 222s | 22 | 2788618 | 2216122 | 677 7744 | 0 | 0 224.15/224.29 c 224s | 22 | 2809876 | 2233822 | 677 7794 | 0 | 0 226.15/226.26 c 226s | 23 | 2830360 | 2251038 | 745 7838 | 0 | 0 228.15/228.27 c 228s | 23 | 2851657 | 2268538 | 745 7883 | 0 | 0 230.15/230.27 c 230s | 23 | 2873466 | 2286438 | 745 7929 | 0 | 0 232.16/232.27 c 232s | 23 | 2896712 | 2305138 | 745 7978 | 0 | 0 234.15/234.28 c 234s | 23 | 2918319 | 2323138 | 745 8024 | 0 | 0 236.15/236.29 c 236s | 23 | 2941511 | 2341538 | 745 8072 | 0 | 0 238.15/238.29 c 238s | 23 | 2965491 | 2360538 | 745 8121 | 0 | 0 240.25/240.30 c 240s | 23 | 2989533 | 2379738 | 745 8171 | 0 | 0 242.25/242.30 c 242s | 23 | 3012515 | 2398438 | 745 8219 | 0 | 0 244.26/244.31 c 244s | 23 | 3035545 | 2417138 | 745 8268 | 0 | 0 246.25/246.31 c 246s | 23 | 3058247 | 2435538 | 745 8315 | 0 | 0 248.25/248.32 c 248s | 23 | 3078785 | 2452438 | 745 8359 | 0 | 0 250.25/250.32 c 250s | 23 | 3100925 | 2470338 | 745 8405 | 0 | 0 252.25/252.32 c 252s | 23 | 3120970 | 2487138 | 745 8448 | 0 | 0 254.25/254.33 c 254s | 23 | 3141807 | 2504538 | 745 8493 | 0 | 0 256.25/256.33 c 256s | 23 | 3162354 | 2521538 | 745 8537 | 0 | 0 258.25/258.34 c 258s | 23 | 3181118 | 2537638 | 745 8579 | 0 | 0 260.25/260.35 c 260s | 23 | 3202391 | 2554938 | 745 8624 | 0 | 0 262.25/262.35 c 262s | 23 | 3224845 | 2572638 | 745 8670 | 0 | 0 264.25/264.37 c 264s | 23 | 3244801 | 2589438 | 745 8714 | 0 | 0 266.26/266.37 c 266s | 23 | 3266946 | 2607238 | 745 8759 | 0 | 0 268.25/268.38 c 268s | 23 | 3291182 | 2626238 | 745 8809 | 0 | 0 270.25/270.39 c 270s | 23 | 3318911 | 2646238 | 745 8860 | 0 | 0 272.25/272.39 c 272s | 23 | 3342936 | 2665038 | 745 8909 | 0 | 0 274.25/274.39 c 274s | 23 | 3366954 | 2683838 | 745 8958 | 0 | 0 276.35/276.40 c 276s | 23 | 3390681 | 2702938 | 745 9007 | 0 | 0 278.36/278.40 c 278s | 23 | 3411298 | 2720538 | 745 9053 | 0 | 0 280.35/280.41 c 280s | 23 | 3434163 | 2738738 | 745 9100 | 0 | 0 282.35/282.42 c 282s | 23 | 3459359 | 2757638 | 745 9149 | 0 | 0 284.35/284.43 c 284s | 23 | 3484228 | 2776138 | 745 9197 | 0 | 0 286.35/286.43 c 286s | 23 | 3510581 | 2795438 | 745 9248 | 0 | 0 288.35/288.43 c 288s | 23 | 3533393 | 2814538 | 745 9297 | 0 | 0 290.35/290.44 c 290s | 23 | 3557280 | 2833038 | 745 9345 | 0 | 0 292.35/292.45 c 292s | 23 | 3579114 | 2850538 | 745 9391 | 0 | 0 294.35/294.46 c 294s | 23 | 3600339 | 2867938 | 745 9436 | 0 | 0 296.34/296.46 c 296s | 23 | 3620700 | 2884638 | 745 9479 | 0 | 0 298.34/298.47 c 298s | 23 | 3641251 | 2901238 | 745 9522 | 0 | 0 300.35/300.47 c 300s | 23 | 3663074 | 2918538 | 745 9566 | 0 | 0 302.34/302.47 c 302s | 23 | 3684935 | 2936438 | 745 9613 | 0 | 0 304.34/304.48 c 304s | 23 | 3706357 | 2954138 | 745 9659 | 0 | 0 306.34/306.49 c 306s | 23 | 3726207 | 2970938 | 745 9702 | 0 | 0 308.44/308.50 c 308s | 23 | 3747983 | 2988138 | 745 9746 | 0 | 0 310.44/310.50 c 310s | 23 | 3769434 | 3005138 | 745 9791 | 0 | 0 312.45/312.51 c 312s | 23 | 3790272 | 3022038 | 745 9835 | 0 | 0 314.44/314.52 c 314s | 23 | 3810470 | 3038338 | 745 9877 | 0 | 0 316.44/316.52 c 316s | 23 | 3831771 | 3055038 | 745 9920 | 0 | 0 318.44/318.53 c 318s | 23 | 3850517 | 3070838 | 745 9961 | 0 | 0 320.44/320.53 c 320s | 23 | 3871707 | 3087938 | 745 10006 | 0 | 0 322.44/322.53 c 322s | 23 | 3890954 | 3104438 | 745 10049 | 0 | 0 324.44/324.54 c 324s | 23 | 3910234 | 3120838 | 745 10091 | 0 | 0 326.44/326.54 c 326s | 23 | 3929293 | 3137538 | 745 10134 | 0 | 0 328.44/328.55 c 328s | 23 | 3949156 | 3154438 | 745 10178 | 0 | 0 330.44/330.56 c 330s | 23 | 3968405 | 3171038 | 745 10221 | 0 | 0 332.44/332.57 c 332s | 23 | 3988102 | 3187638 | 745 10263 | 0 | 0 334.45/334.58 c 334s | 23 | 4009093 | 3205138 | 745 10309 | 0 | 0 336.44/336.58 c 336s | 23 | 4029122 | 3222138 | 745 10353 | 0 | 0 338.44/338.58 c 338s | 23 | 4047999 | 3238438 | 745 10395 | 0 | 0 340.44/340.58 c 340s | 23 | 4065928 | 3254238 | 745 10436 | 0 | 0 342.44/342.58 c 342s | 23 | 4085596 | 3270438 | 745 10478 | 0 | 0 344.44/344.59 c 344s | 23 | 4103510 | 3285738 | 745 10517 | 0 | 0 346.44/346.60 c 346s | 23 | 4120773 | 3300938 | 745 10557 | 0 | 0 348.44/348.60 c 348s | 23 | 4139096 | 3316638 | 745 10597 | 0 | 0 350.54/350.60 c 350s | 23 | 4159219 | 3333338 | 745 10640 | 0 | 0 352.54/352.60 c 352s | 23 | 4177663 | 3349138 | 745 10681 | 0 | 0 354.54/354.61 c 354s | 23 | 4196355 | 3364838 | 820 10719 | 0 | 0 356.03/356.14 c 356s | 24 | 4210326 | 3376662 | 820 10747 | 0 | 0 358.03/358.14 c 358s | 24 | 4228395 | 3392162 | 820 10783 | 0 | 0 360.03/360.15 c 360s | 24 | 4250093 | 3409462 | 820 10823 | 0 | 0 362.03/362.16 c 362s | 24 | 4270521 | 3426562 | 820 10864 | 0 | 0 364.04/364.16 c 364s | 24 | 4289659 | 3442662 | 820 10901 | 0 | 0 366.03/366.16 c 366s | 24 | 4308587 | 3458562 | 820 10939 | 0 | 0 368.03/368.17 c 368s | 24 | 4328530 | 3474862 | 820 10977 | 0 | 0 370.03/370.19 c 370s | 24 | 4347684 | 3491162 | 820 11015 | 0 | 0 372.03/372.19 c 372s | 24 | 4367898 | 3507862 | 820 11054 | 0 | 0 374.13/374.20 c 374s | 24 | 4389698 | 3525262 | 820 11095 | 0 | 0 376.13/376.21 c 376s | 24 | 4409662 | 3541862 | 820 11134 | 0 | 0 378.13/378.21 c 378s | 24 | 4431570 | 3559362 | 820 11175 | 0 | 0 380.13/380.21 c 380s | 24 | 4454264 | 3577162 | 820 11217 | 0 | 0 382.14/382.22 c 382s | 24 | 4474317 | 3594162 | 820 11257 | 0 | 0 384.13/384.23 c 384s | 24 | 4495599 | 3611662 | 820 11298 | 0 | 0 386.14/386.23 c 386s | 24 | 4515386 | 3628262 | 820 11337 | 0 | 0 388.13/388.23 c 388s | 24 | 4536397 | 3645662 | 820 11378 | 0 | 0 390.13/390.23 c 390s | 24 | 4557827 | 3663162 | 820 11419 | 0 | 0 392.13/392.23 c 392s | 24 | 4578868 | 3680462 | 820 11460 | 0 | 0 394.13/394.24 c 394s | 24 | 4602910 | 3699262 | 820 11504 | 0 | 0 396.13/396.25 c 396s | 24 | 4623071 | 3716262 | 820 11544 | 0 | 0 398.14/398.25 c 398s | 24 | 4643346 | 3733362 | 820 11584 | 0 | 0 400.13/400.26 c 400s | 24 | 4662336 | 3749962 | 820 11623 | 0 | 0 402.13/402.27 c 402s | 24 | 4684994 | 3768362 | 820 11667 | 0 | 0 404.13/404.27 c 404s | 24 | 4706985 | 3786062 | 820 11708 | 0 | 0 406.13/406.28 c 406s | 24 | 4727398 | 3802562 | 820 11747 | 0 | 0 408.14/408.28 c 408s | 24 | 4750621 | 3820362 | 820 11789 | 0 | 0 410.13/410.29 c 410s | 24 | 4772828 | 3837762 | 820 11830 | 0 | 0 412.13/412.29 c 412s | 24 | 4792294 | 3854062 | 820 11868 | 0 | 0 414.13/414.30 c 414s | 24 | 4811310 | 3870362 | 820 11907 | 0 | 0 416.12/416.30 c 416s | 24 | 4831694 | 3887462 | 820 11947 | 0 | 0 418.22/418.30 c 418s | 24 | 4853410 | 3905062 | 820 11989 | 0 | 0 420.23/420.31 c 420s | 24 | 4874484 | 3922362 | 820 12030 | 0 | 0 422.23/422.32 c 422s | 24 | 4894303 | 3939162 | 820 12069 | 0 | 0 424.23/424.32 c 424s | 24 | 4914664 | 3955862 | 820 12108 | 0 | 0 426.23/426.33 c 426s | 24 | 4937316 | 3973362 | 820 12149 | 0 | 0 428.23/428.33 c 428s | 24 | 4962650 | 3992062 | 820 12193 | 0 | 0 430.22/430.34 c 430s | 24 | 4988222 | 4011062 | 820 12238 | 0 | 0 432.23/432.35 c 432s | 24 | 5011896 | 4029262 | 820 12281 | 0 | 0 434.22/434.35 c 434s | 24 | 5036173 | 4047862 | 820 12325 | 0 | 0 436.22/436.35 c 436s | 24 | 5061890 | 4067262 | 820 12371 | 0 | 0 438.22/438.36 c 438s | 24 | 5085900 | 4085962 | 820 12415 | 0 | 0 440.22/440.37 c 440s | 24 | 5106666 | 4103162 | 820 12456 | 0 | 0 442.23/442.38 c 442s | 24 | 5131602 | 4121962 | 820 12500 | 0 | 0 444.22/444.38 c 444s | 24 | 5152783 | 4139262 | 820 12541 | 0 | 0 446.22/446.39 c 446s | 24 | 5176126 | 4157362 | 820 12583 | 0 | 0 448.22/448.40 c 448s | 24 | 5200759 | 4176062 | 820 12628 | 0 | 0 450.32/450.40 c 450s | 24 | 5225838 | 4194762 | 820 12672 | 0 | 0 452.32/452.41 c 452s | 24 | 5244113 | 4210662 | 820 12710 | 0 | 0 454.33/454.41 c 454s | 24 | 5261276 | 4225962 | 820 12746 | 0 | 0 456.32/456.42 c 456s | 24 | 5281141 | 4242262 | 820 12784 | 0 | 0 458.32/458.42 c 458s | 24 | 5299326 | 4258162 | 820 12822 | 0 | 0 460.32/460.43 c 460s | 24 | 5318401 | 4274562 | 820 12860 | 0 | 0 462.32/462.44 c 462s | 24 | 5338394 | 4291262 | 820 12900 | 0 | 0 464.31/464.45 c 464s | 24 | 5359323 | 4308362 | 820 12940 | 0 | 0 466.32/466.46 c 466s | 24 | 5378365 | 4324562 | 820 12979 | 0 | 0 468.32/468.47 c 468s | 24 | 5397539 | 4340862 | 820 13017 | 0 | 0 470.32/470.47 c 470s | 24 | 5418568 | 4357862 | 820 13057 | 0 | 0 472.32/472.48 c 472s | 24 | 5438733 | 4374462 | 820 13097 | 0 | 0 474.32/474.49 c 474s | 24 | 5459111 | 4391262 | 820 13136 | 0 | 0 476.42/476.50 c 476s | 24 | 5478915 | 4407662 | 820 13175 | 0 | 0 478.43/478.51 c 478s | 24 | 5498682 | 4423762 | 820 13213 | 0 | 0 480.42/480.51 c 480s | 24 | 5518389 | 4439962 | 820 13252 | 0 | 0 482.42/482.52 c 482s | 24 | 5537443 | 4455962 | 820 13290 | 0 | 0 484.42/484.52 c 484s | 24 | 5557821 | 4472562 | 820 13329 | 0 | 0 486.42/486.52 c 486s | 24 | 5579217 | 4490162 | 820 13371 | 0 | 0 488.43/488.53 c 488s | 24 | 5602908 | 4508462 | 820 13414 | 0 | 0 490.42/490.54 c 490s | 24 | 5625631 | 4526262 | 820 13456 | 0 | 0 492.42/492.54 c 492s | 24 | 5647362 | 4543462 | 820 13497 | 0 | 0 494.42/494.55 c 494s | 24 | 5667553 | 4560262 | 820 13536 | 0 | 0 496.42/496.55 c 496s | 24 | 5689855 | 4578062 | 820 13578 | 0 | 0 498.42/498.56 c 498s | 24 | 5709900 | 4594462 | 820 13616 | 0 | 0 500.42/500.56 c 500s | 24 | 5731389 | 4611462 | 820 13656 | 0 | 0 502.41/502.57 c 502s | 24 | 5752079 | 4628262 | 820 13696 | 0 | 0 504.41/504.58 c 504s | 24 | 5773054 | 4645062 | 820 13735 | 0 | 0 506.41/506.58 c 506s | 24 | 5792756 | 4661362 | 820 13774 | 0 | 0 508.41/508.59 c 508s | 24 | 5812038 | 4677162 | 820 13811 | 0 | 0 510.42/510.59 c 510s | 24 | 5830565 | 4692762 | 820 13848 | 0 | 0 512.41/512.60 c 512s | 24 | 5849763 | 4708662 | 820 13886 | 0 | 0 514.51/514.61 c 514s | 24 | 5871840 | 4725862 | 820 13927 | 0 | 0 516.51/516.62 c 516s | 24 | 5892774 | 4742862 | 820 13967 | 0 | 0 518.51/518.62 c 518s | 24 | 5913346 | 4760062 | 820 14007 | 0 | 0 520.51/520.63 c 520s | 24 | 5935868 | 4777662 | 820 14049 | 0 | 0 522.52/522.64 c 522s | 24 | 5956658 | 4794462 | 820 14088 | 0 | 0 524.51/524.65 c 524s | 24 | 5978027 | 4811562 | 820 14129 | 0 | 0 526.51/526.65 c 526s | 24 | 5999683 | 4829062 | 820 14170 | 0 | 0 528.51/528.66 c 528s | 24 | 6020339 | 4845762 | 820 14209 | 0 | 0 530.51/530.67 c 530s | 24 | 6040889 | 4862462 | 820 14249 | 0 | 0 532.51/532.68 c 532s | 24 | 6061861 | 4879462 | 820 14289 | 0 | 0 534.51/534.69 c 534s | 24 | 6083735 | 4896862 | 820 14330 | 0 | 0 536.50/536.69 c 536s | 24 | 6104227 | 4913562 | 820 14370 | 0 | 0 538.50/538.69 c 538s | 24 | 6123987 | 4929962 | 820 14408 | 0 | 0 540.60/540.70 c 540s | 24 | 6142362 | 4945762 | 820 14446 | 0 | 0 542.60/542.71 c 542s | 24 | 6162282 | 4962262 | 820 14485 | 0 | 0 544.60/544.71 c 544s | 24 | 6182887 | 4979262 | 820 14525 | 0 | 0 546.61/546.72 c 546s | 24 | 6202570 | 4995862 | 820 14565 | 0 | 0 548.60/548.73 c 548s | 24 | 6222664 | 5012462 | 820 14604 | 0 | 0 550.61/550.74 c 550s | 24 | 6241811 | 5028562 | 820 14642 | 0 | 0 552.61/552.75 c 552s | 24 | 6261167 | 5044662 | 903 14677 | 0 | 0 554.61/554.75 c 554s | 24 | 6281628 | 5060862 | 903 14712 | 0 | 0 555.11/555.27 c 555s | 25 | 6286760 | 5065098 | 903 14721 | 0 | 0 557.11/557.28 c 557s | 25 | 6305795 | 5081198 | 903 14755 | 0 | 0 559.11/559.28 c 559s | 25 | 6325765 | 5097598 | 903 14790 | 0 | 0 561.11/561.28 c 561s | 25 | 6343399 | 5112998 | 903 14823 | 0 | 0 563.11/563.29 c 563s | 25 | 6362216 | 5128698 | 903 14856 | 0 | 0 565.10/565.29 c 565s | 25 | 6380398 | 5144198 | 903 14890 | 0 | 0 567.20/567.30 c 567s | 25 | 6397712 | 5159198 | 903 14922 | 0 | 0 569.20/569.30 c 569s | 25 | 6416563 | 5175098 | 903 14956 | 0 | 0 571.20/571.30 c 571s | 25 | 6435158 | 5190898 | 903 14990 | 0 | 0 573.20/573.30 c 573s | 25 | 6455760 | 5207598 | 903 15025 | 0 | 0 575.21/575.31 c 575s | 25 | 6477440 | 5224498 | 903 15062 | 0 | 0 577.20/577.32 c 577s | 25 | 6497492 | 5240998 | 903 15097 | 0 | 0 579.20/579.33 c 579s | 25 | 6518640 | 5257898 | 903 15133 | 0 | 0 581.20/581.33 c 581s | 25 | 6536040 | 5272898 | 903 15166 | 0 | 0 583.20/583.34 c 583s | 25 | 6555417 | 5288798 | 903 15200 | 0 | 0 585.21/585.35 c 585s | 25 | 6573756 | 5304598 | 903 15234 | 0 | 0 587.20/587.36 c 587s | 25 | 6591780 | 5319998 | 903 15267 | 0 | 0 589.20/589.37 c 589s | 25 | 6610354 | 5335898 | 903 15301 | 0 | 0 591.20/591.38 c 591s | 25 | 6627355 | 5350898 | 903 15333 | 0 | 0 593.20/593.39 c 593s | 25 | 6644247 | 5365898 | 903 15365 | 0 | 0 595.20/595.39 c 595s | 25 | 6663495 | 5381998 | 903 15399 | 0 | 0 597.20/597.40 c 597s | 25 | 6684889 | 5398998 | 903 15436 | 0 | 0 599.29/599.41 c 599s | 25 | 6705764 | 5415998 | 903 15473 | 0 | 0 601.29/601.42 c 601s | 25 | 6726204 | 5432798 | 903 15509 | 0 | 0 603.29/603.42 c 603s | 25 | 6743590 | 5447898 | 903 15541 | 0 | 0 605.29/605.43 c 605s | 25 | 6762735 | 5463898 | 903 15575 | 0 | 0 607.29/607.44 c 607s | 25 | 6784765 | 5480798 | 903 15612 | 0 | 0 609.30/609.44 c 609s | 25 | 6804724 | 5497198 | 903 15647 | 0 | 0 611.29/611.44 c 611s | 25 | 6824120 | 5512998 | 903 15680 | 0 | 0 613.29/613.45 c 613s | 25 | 6846310 | 5530498 | 903 15718 | 0 | 0 615.30/615.45 c 615s | 25 | 6866663 | 5546998 | 903 15753 | 0 | 0 617.30/617.46 c 617s | 25 | 6886817 | 5563398 | 903 15788 | 0 | 0 619.31/619.46 c 619s | 25 | 6906137 | 5579398 | 903 15823 | 0 | 0 621.30/621.47 c 621s | 25 | 6924713 | 5595098 | 903 15856 | 0 | 0 623.30/623.48 c 623s | 25 | 6943064 | 5610798 | 903 15890 | 0 | 0 625.30/625.48 c 625s | 25 | 6962746 | 5626998 | 903 15925 | 0 | 0 627.29/627.49 c 627s | 25 | 6981866 | 5642998 | 903 15959 | 0 | 0 629.39/629.50 c 629s | 25 | 6999921 | 5658498 | 903 15992 | 0 | 0 631.40/631.51 c 631s | 25 | 7018679 | 5673998 | 903 16026 | 0 | 0 633.39/633.52 c 633s | 25 | 7038917 | 5690098 | 903 16060 | 0 | 0 635.39/635.52 c 635s | 25 | 7057236 | 5705498 | 903 16093 | 0 | 0 637.39/637.53 c 637s | 25 | 7076666 | 5721698 | 903 16128 | 0 | 0 639.39/639.54 c 639s | 25 | 7096406 | 5738098 | 903 16163 | 0 | 0 641.39/641.55 c 641s | 25 | 7117253 | 5754698 | 903 16199 | 0 | 0 643.40/643.55 c 643s | 25 | 7137798 | 5771298 | 903 16235 | 0 | 0 645.39/645.56 c 645s | 25 | 7158292 | 5787998 | 903 16270 | 0 | 0 647.39/647.57 c 647s | 25 | 7181384 | 5805798 | 903 16309 | 0 | 0 649.39/649.57 c 649s | 25 | 7199441 | 5821298 | 903 16342 | 0 | 0 651.39/651.58 c 651s | 25 | 7218753 | 5837398 | 903 16376 | 0 | 0 653.40/653.58 c 653s | 25 | 7237807 | 5853498 | 903 16411 | 0 | 0 655.39/655.59 c 655s | 25 | 7257743 | 5869798 | 903 16446 | 0 | 0 657.39/657.59 c 657s | 25 | 7277383 | 5886298 | 903 16481 | 0 | 0 659.39/659.59 c 659s | 25 | 7297192 | 5902798 | 903 16517 | 0 | 0 661.49/661.60 c 661s | 25 | 7316026 | 5918798 | 903 16551 | 0 | 0 663.49/663.60 c 663s | 25 | 7335670 | 5935198 | 903 16586 | 0 | 0 665.50/665.61 c 665s | 25 | 7354985 | 5951398 | 903 16621 | 0 | 0 667.49/667.61 c 667s | 25 | 7375292 | 5967798 | 903 16656 | 0 | 0 669.49/669.62 c 669s | 25 | 7395783 | 5984298 | 903 16692 | 0 | 0 671.49/671.62 c 671s | 25 | 7416322 | 6000998 | 903 16727 | 0 | 0 673.48/673.62 c 673s | 25 | 7437675 | 6017998 | 903 16764 | 0 | 0 675.48/675.64 c 675s | 25 | 7457972 | 6034298 | 903 16799 | 0 | 0 677.49/677.65 c 677s | 25 | 7475914 | 6049898 | 903 16832 | 0 | 0 679.48/679.66 c 679s | 25 | 7492644 | 6064498 | 903 16864 | 0 | 0 681.48/681.66 c 681s | 25 | 7509167 | 6079298 | 903 16896 | 0 | 0 683.48/683.68 c 683s | 25 | 7527507 | 6095098 | 903 16929 | 0 | 0 685.48/685.68 c 685s | 25 | 7546586 | 6111298 | 903 16964 | 0 | 0 687.49/687.69 c 687s | 25 | 7565892 | 6127598 | 903 16999 | 0 | 0 689.49/689.69 c 689s | 25 | 7585572 | 6143898 | 903 17034 | 0 | 0 691.59/691.70 c 691s | 25 | 7604484 | 6159798 | 903 17068 | 0 | 0 693.59/693.70 c 693s | 25 | 7625648 | 6176998 | 903 17105 | 0 | 0 695.59/695.70 c 695s | 25 | 7646560 | 6193798 | 903 17141 | 0 | 0 697.59/697.71 c 697s | 25 | 7667417 | 6210898 | 903 17178 | 0 | 0 699.59/699.72 c 699s | 25 | 7685567 | 6226298 | 903 17211 | 0 | 0 701.58/701.72 c 701s | 25 | 7703994 | 6242198 | 903 17245 | 0 | 0 703.58/703.73 c 703s | 25 | 7723420 | 6258498 | 903 17280 | 0 | 0 705.58/705.73 c 705s | 25 | 7742142 | 6274398 | 903 17314 | 0 | 0 707.58/707.74 c 707s | 25 | 7760063 | 6289798 | 903 17347 | 0 | 0 709.58/709.75 c 709s | 25 | 7777315 | 6304998 | 903 17379 | 0 | 0 711.59/711.75 c 711s | 25 | 7793207 | 6319298 | 903 17410 | 0 | 0 713.58/713.76 c 713s | 25 | 7809152 | 6333398 | 903 17440 | 0 | 0 715.58/715.77 c 715s | 25 | 7827853 | 6348898 | 903 17473 | 0 | 0 717.58/717.77 c 717s | 25 | 7845104 | 6363698 | 903 17505 | 0 | 0 719.58/719.79 c 719s | 25 | 7862488 | 6378698 | 903 17537 | 0 | 0 721.58/721.79 c 721s | 25 | 7879896 | 6393798 | 903 17569 | 0 | 0 723.58/723.80 c 723s | 25 | 7896635 | 6408698 | 903 17601 | 0 | 0 725.68/725.81 c 725s | 25 | 7914103 | 6423898 | 903 17634 | 0 | 0 727.68/727.81 c 727s | 25 | 7931053 | 6438698 | 903 17666 | 0 | 0 729.68/729.82 c 729s | 25 | 7949090 | 6454198 | 903 17699 | 0 | 0 731.67/731.82 c 731s | 25 | 7966855 | 6469398 | 903 17732 | 0 | 0 733.68/733.83 c 733s | 25 | 7983279 | 6483898 | 903 17763 | 0 | 0 735.67/735.84 c 735s | 25 | 8003400 | 6500298 | 903 17798 | 0 | 0 737.67/737.85 c 737s | 25 | 8024176 | 6517298 | 903 17834 | 0 | 0 739.67/739.85 c 739s | 25 | 8043721 | 6533298 | 903 17869 | 0 | 0 741.67/741.86 c 741s | 25 | 8063352 | 6549898 | 903 17904 | 0 | 0 743.67/743.87 c 743s | 25 | 8082504 | 6566298 | 903 17940 | 0 | 0 745.69/745.88 c 745s | 25 | 8102710 | 6582998 | 903 17976 | 0 | 0 747.68/747.88 c 747s | 25 | 8120920 | 6598598 | 903 18009 | 0 | 0 749.68/749.89 c 749s | 25 | 8142265 | 6615698 | 903 18046 | 0 | 0 751.68/751.89 c 751s | 25 | 8162156 | 6632098 | 903 18082 | 0 | 0 753.68/753.89 c 753s | 25 | 8182098 | 6648098 | 903 18116 | 0 | 0 755.69/755.89 c 755s | 25 | 8203734 | 6665198 | 903 18153 | 0 | 0 757.68/757.90 c 757s | 25 | 8222616 | 6681298 | 903 18188 | 0 | 0 759.78/759.91 c 759s | 25 | 8241369 | 6697298 | 903 18223 | 0 | 0 761.78/761.91 c 761s | 25 | 8261166 | 6713898 | 903 18258 | 0 | 0 763.77/763.92 c 763s | 25 | 8279752 | 6729898 | 903 18293 | 0 | 0 765.77/765.92 c 765s | 25 | 8296179 | 6744598 | 903 18325 | 0 | 0 767.78/767.92 c 767s | 25 | 8313183 | 6759798 | 903 18357 | 0 | 0 769.77/769.93 c 769s | 25 | 8332913 | 6775998 | 903 18392 | 0 | 0 771.77/771.93 c 771s | 25 | 8352290 | 6792198 | 903 18427 | 0 | 0 773.77/773.94 c 773s | 25 | 8372099 | 6808598 | 903 18462 | 0 | 0 775.77/775.95 c 775s | 25 | 8391076 | 6824398 | 903 18496 | 0 | 0 777.77/777.96 c 777s | 25 | 8409837 | 6840298 | 903 18531 | 0 | 0 779.77/779.96 c 779s | 25 | 8428020 | 6855998 | 903 18564 | 0 | 0 781.77/781.97 c 781s | 25 | 8446461 | 6871898 | 903 18598 | 0 | 0 783.77/783.97 c 783s | 25 | 8465330 | 6887898 | 903 18633 | 0 | 0 785.77/785.97 c 785s | 25 | 8482992 | 6903198 | 903 18666 | 0 | 0 787.77/787.98 c 787s | 25 | 8501816 | 6919098 | 903 18700 | 0 | 0 789.78/789.98 c 789s | 25 | 8520980 | 6935498 | 903 18735 | 0 | 0 791.77/792.00 c 791s | 25 | 8540503 | 6951898 | 903 18770 | 0 | 0 793.87/794.00 c 793s | 25 | 8560481 | 6968798 | 903 18807 | 0 | 0 795.87/796.01 c 795s | 25 | 8580058 | 6985298 | 903 18842 | 0 | 0 797.87/798.03 c 798s | 25 | 8599478 | 7001698 | 903 18878 | 0 | 0 799.87/800.03 c 800s | 25 | 8618797 | 7017998 | 903 18912 | 0 | 0 801.88/802.04 c 802s | 25 | 8638941 | 7034398 | 903 18947 | 0 | 0 803.87/804.04 c 804s | 25 | 8659163 | 7050598 | 903 18982 | 0 | 0 805.87/806.06 c 806s | 25 | 8678246 | 7066598 | 903 19017 | 0 | 0 807.87/808.07 c 808s | 25 | 8697116 | 7082098 | 903 19050 | 0 | 0 809.87/810.07 c 810s | 25 | 8717185 | 7098398 | 903 19085 | 0 | 0 811.87/812.07 c 812s | 25 | 8738620 | 7114798 | 903 19120 | 0 | 0 813.87/814.08 c 814s | 25 | 8757056 | 7130298 | 903 19153 | 0 | 0 815.87/816.09 c 816s | 25 | 8775177 | 7145898 | 903 19187 | 0 | 0 817.87/818.09 c 818s | 25 | 8793479 | 7161398 | 903 19220 | 0 | 0 819.87/820.09 c 820s | 25 | 8813902 | 7178098 | 903 19256 | 0 | 0 821.97/822.11 c 822s | 25 | 8835682 | 7195598 | 903 19294 | 0 | 0 823.97/824.11 c 824s | 25 | 8856081 | 7212198 | 903 19330 | 0 | 0 825.97/826.11 c 826s | 25 | 8875243 | 7228398 | 903 19365 | 0 | 0 827.96/828.11 c 828s | 25 | 8895920 | 7245298 | 903 19401 | 0 | 0 829.96/830.12 c 830s | 25 | 8917386 | 7262298 | 903 19438 | 0 | 0 831.96/832.13 c 832s | 25 | 8936928 | 7278598 | 903 19473 | 0 | 0 833.96/834.13 c 834s | 25 | 8956079 | 7294998 | 903 19509 | 0 | 0 835.97/836.15 c 836s | 25 | 8975428 | 7311198 | 903 19544 | 0 | 0 837.96/838.16 c 838s | 25 | 8994978 | 7327498 | 903 19579 | 0 | 0 839.96/840.16 c 840s | 25 | 9015674 | 7344398 | 903 19615 | 0 | 0 841.96/842.16 c 842s | 25 | 9034662 | 7360298 | 903 19650 | 0 | 0 843.96/844.16 c 844s | 25 | 9055627 | 7376998 | 903 19686 | 0 | 0 845.96/846.17 c 846s | 25 | 9077077 | 7394598 | 903 19724 | 0 | 0 847.97/848.18 c 848s | 25 | 9097858 | 7411398 | 903 19761 | 0 | 0 849.96/850.18 c 850s | 25 | 9117049 | 7427398 | 903 19795 | 0 | 0 851.96/852.19 c 852s | 25 | 9135841 | 7443398 | 903 19830 | 0 | 0 853.96/854.19 c 854s | 25 | 9155627 | 7459798 | 903 19866 | 0 | 0 856.06/856.20 c 856s | 25 | 9174591 | 7475998 | 903 19900 | 0 | 0 858.06/858.21 c 858s | 25 | 9193046 | 7491798 | 903 19934 | 0 | 0 860.06/860.22 c 860s | 25 | 9213538 | 7508298 | 903 19969 | 0 | 0 862.06/862.22 c 862s | 25 | 9231399 | 7523698 | 903 20002 | 0 | 0 864.06/864.23 c 864s | 25 | 9249279 | 7539198 | 903 20036 | 0 | 0 866.06/866.24 c 866s | 25 | 9266583 | 7553998 | 994 20065 | 0 | 0 868.06/868.24 c 868s | 25 | 9285700 | 7570098 | 994 20097 | 0 | 0 870.07/870.24 c 870s | 25 | 9305936 | 7586798 | 994 20129 | 0 | 0 871.46/871.64 c 871s | 26 | 9318662 | 7597752 | 994 20151 | 0 | 0 873.46/873.65 c 873s | 26 | 9339860 | 7614252 | 994 20183 | 0 | 0 875.47/875.66 c 875s | 26 | 9359813 | 7630252 | 994 20214 | 0 | 0 877.46/877.67 c 877s | 26 | 9381618 | 7647252 | 994 20248 | 0 | 0 879.46/879.67 c 879s | 26 | 9401513 | 7663552 | 994 20280 | 0 | 0 881.46/881.68 c 881s | 26 | 9420520 | 7679252 | 994 20310 | 0 | 0 883.46/883.69 c 883s | 26 | 9439078 | 7694652 | 994 20340 | 0 | 0 885.47/885.69 c 885s | 26 | 9457610 | 7709852 | 994 20370 | 0 | 0 887.46/887.70 c 887s | 26 | 9476475 | 7725552 | 994 20401 | 0 | 0 889.56/889.71 c 889s | 26 | 9495692 | 7741352 | 994 20432 | 0 | 0 891.56/891.72 c 891s | 26 | 9513920 | 7756752 | 994 20462 | 0 | 0 893.56/893.72 c 893s | 26 | 9534348 | 7772952 | 994 20494 | 0 | 0 895.56/895.73 c 895s | 26 | 9553410 | 7788452 | 994 20524 | 0 | 0 897.56/897.73 c 897s | 26 | 9571609 | 7804052 | 994 20555 | 0 | 0 899.55/899.74 c 899s | 26 | 9590699 | 7819952 | 994 20586 | 0 | 0 901.55/901.75 c 901s | 26 | 9609230 | 7835152 | 994 20616 | 0 | 0 903.55/903.75 c 903s | 26 | 9628908 | 7851352 | 994 20647 | 0 | 0 905.55/905.75 c 905s | 26 | 9649107 | 7867552 | 994 20679 | 0 | 0 907.55/907.76 c 907s | 26 | 9669606 | 7883552 | 994 20711 | 0 | 0 909.56/909.76 c 909s | 26 | 9690671 | 7900052 | 994 20743 | 0 | 0 911.55/911.76 c 911s | 26 | 9712684 | 7917052 | 994 20776 | 0 | 0 913.55/913.77 c 913s | 26 | 9732027 | 7933052 | 994 20807 | 0 | 0 915.55/915.78 c 915s | 26 | 9752210 | 7949152 | 994 20839 | 0 | 0 917.55/917.78 c 917s | 26 | 9770576 | 7964452 | 994 20869 | 0 | 0 919.55/919.79 c 919s | 26 | 9788025 | 7979552 | 994 20898 | 0 | 0 921.55/921.79 c 921s | 26 | 9805232 | 7994352 | 994 20927 | 0 | 0 923.65/923.80 c 923s | 26 | 9821288 | 8008652 | 994 20955 | 0 | 0 925.65/925.81 c 925s | 26 | 9837724 | 8023152 | 994 20983 | 0 | 0 927.65/927.82 c 927s | 26 | 9854407 | 8037852 | 994 21012 | 0 | 0 929.65/929.83 c 929s | 26 | 9870980 | 8052252 | 994 21040 | 0 | 0 931.66/931.83 c 931s | 26 | 9888370 | 8067152 | 994 21069 | 0 | 0 933.65/933.84 c 933s | 26 | 9906644 | 8082652 | 994 21099 | 0 | 0 935.65/935.85 c 935s | 26 | 9925781 | 8098452 | 994 21131 | 0 | 0 937.65/937.86 c 937s | 26 | 9944229 | 8114052 | 994 21161 | 0 | 0 939.65/939.87 c 939s | 26 | 9961663 | 8129252 | 994 21191 | 0 | 0 941.65/941.88 c 941s | 26 | 9979680 | 8144752 | 994 21221 | 0 | 0 943.65/943.88 c 943s | 26 | 9996745 | 8159752 | 994 21250 | 0 | 0 945.64/945.89 c 945s | 26 | 10014943 | 8175352 | 994 21281 | 0 | 0 947.74/947.90 c 947s | 26 | 10031094 | 8189652 | 994 21309 | 0 | 0 949.74/949.90 c 949s | 26 | 10048085 | 8204452 | 994 21338 | 0 | 0 951.74/951.90 c 951s | 26 | 10065345 | 8219452 | 994 21368 | 0 | 0 953.74/953.91 c 953s | 26 | 10081637 | 8233852 | 994 21396 | 0 | 0 955.75/955.92 c 955s | 26 | 10099854 | 8249652 | 994 21427 | 0 | 0 957.74/957.93 c 957s | 26 | 10119569 | 8266352 | 994 21460 | 0 | 0 959.74/959.93 c 959s | 26 | 10138726 | 8282352 | 994 21491 | 0 | 0 961.74/961.94 c 961s | 26 | 10157426 | 8298252 | 994 21522 | 0 | 0 963.74/963.95 c 963s | 26 | 10176361 | 8314352 | 994 21554 | 0 | 0 965.75/965.95 c 965s | 26 | 10195570 | 8330252 | 994 21585 | 0 | 0 967.74/967.95 c 967s | 26 | 10216045 | 8346852 | 994 21618 | 0 | 0 969.74/969.96 c 969s | 26 | 10235507 | 8362952 | 994 21650 | 0 | 0 971.75/971.97 c 971s | 26 | 10254955 | 8378652 | 994 21681 | 0 | 0 973.75/973.98 c 973s | 26 | 10275297 | 8394852 | 994 21712 | 0 | 0 975.74/975.98 c 975s | 26 | 10294714 | 8410852 | 994 21744 | 0 | 0 977.75/977.99 c 977s | 26 | 10316439 | 8427552 | 994 21777 | 0 | 0 979.84/980.00 c 979s | 26 | 10333132 | 8442052 | 994 21805 | 0 | 0 981.84/982.01 c 981s | 26 | 10350132 | 8456752 | 994 21834 | 0 | 0 983.84/984.01 c 984s | 26 | 10367582 | 8471752 | 994 21863 | 0 | 0 985.84/986.02 c 986s | 26 | 10384476 | 8486652 | 994 21893 | 0 | 0 987.84/988.03 c 988s | 26 | 10403050 | 8502352 | 994 21924 | 0 | 0 989.85/990.04 c 990s | 26 | 10423960 | 8519052 | 994 21957 | 0 | 0 991.84/992.04 c 992s | 26 | 10443213 | 8535252 | 994 21989 | 0 | 0 993.84/994.05 c 994s | 26 | 10463791 | 8551252 | 994 22020 | 0 | 0 995.84/996.05 c 996s | 26 | 10481737 | 8566552 | 994 22050 | 0 | 0 997.84/998.06 c 998s | 26 | 10499487 | 8581652 | 994 22080 | 0 | 0 999.85/1000.07 c 1000s | 26 | 10517537 | 8597052 | 994 22110 | 0 | 0 1001.84/1002.08 c 1002s | 26 | 10534647 | 8611852 | 994 22138 | 0 | 0 1003.84/1004.08 c 1004s | 26 | 10552516 | 8626952 | 994 22168 | 0 | 0 1005.84/1006.08 c 1006s | 26 | 10571616 | 8642852 | 994 22199 | 0 | 0 1007.84/1008.09 c 1008s | 26 | 10589309 | 8657852 | 994 22228 | 0 | 0 1009.84/1010.09 c 1010s | 26 | 10605862 | 8672452 | 994 22256 | 0 | 0 1011.84/1012.10 c 1012s | 26 | 10623026 | 8687252 | 994 22285 | 0 | 0 1013.93/1014.10 c 1014s | 26 | 10640592 | 8702252 | 994 22315 | 0 | 0 1015.93/1016.10 c 1016s | 26 | 10658614 | 8717752 | 994 22345 | 0 | 0 1017.93/1018.11 c 1018s | 26 | 10674677 | 8731852 | 994 22372 | 0 | 0 1019.93/1020.12 c 1020s | 26 | 10690552 | 8745752 | 994 22399 | 0 | 0 1021.93/1022.13 c 1022s | 26 | 10708161 | 8761052 | 994 22429 | 0 | 0 1023.94/1024.13 c 1024s | 26 | 10727326 | 8777152 | 994 22461 | 0 | 0 1025.93/1026.13 c 1026s | 26 | 10748045 | 8793852 | 994 22493 | 0 | 0 1027.93/1028.14 c 1028s | 26 | 10769488 | 8810852 | 994 22526 | 0 | 0 1029.93/1030.15 c 1030s | 26 | 10788725 | 8826852 | 994 22558 | 0 | 0 1031.93/1032.16 c 1032s | 26 | 10806981 | 8842352 | 994 22588 | 0 | 0 1033.94/1034.17 c 1034s | 26 | 10824406 | 8857452 | 994 22618 | 0 | 0 1035.93/1036.18 c 1036s | 26 | 10844535 | 8873552 | 994 22649 | 0 | 0 1037.93/1038.18 c 1038s | 26 | 10865062 | 8889552 | 994 22680 | 0 | 0 1039.94/1040.18 c 1040s | 26 | 10881800 | 8904152 | 994 22709 | 0 | 0 1041.94/1042.18 c 1042s | 26 | 10899142 | 8919152 | 994 22738 | 0 | 0 1043.94/1044.19 c 1044s | 26 | 10916120 | 8933852 | 994 22767 | 0 | 0 1045.94/1046.20 c 1046s | 26 | 10932367 | 8948152 | 994 22795 | 0 | 0 1048.03/1048.22 c 1048s | 26 | 10949771 | 8963152 | 994 22825 | 0 | 0 1050.03/1050.22 c 1050s | 26 | 10967752 | 8978452 | 994 22855 | 0 | 0 1052.03/1052.23 c 1052s | 26 | 10984507 | 8993052 | 994 22883 | 0 | 0 1054.03/1054.25 c 1054s | 26 | 11000150 | 9007152 | 994 22911 | 0 | 0 1056.03/1056.26 c 1056s | 26 | 11017673 | 9022252 | 994 22941 | 0 | 0 1058.04/1058.27 c 1058s | 26 | 11037413 | 9038652 | 994 22973 | 0 | 0 1060.03/1060.28 c 1060s | 26 | 11055965 | 9054352 | 994 23003 | 0 | 0 1062.03/1062.28 c 1062s | 26 | 11075027 | 9069852 | 994 23034 | 0 | 0 1064.03/1064.29 c 1064s | 26 | 11094933 | 9086252 | 994 23066 | 0 | 0 1066.03/1066.30 c 1066s | 26 | 11117248 | 9103152 | 994 23099 | 0 | 0 1068.13/1068.30 c 1068s | 26 | 11137743 | 9119252 | 994 23131 | 0 | 0 1070.03/1070.30 c 1070s | 26 | 11155743 | 9134552 | 994 23161 | 0 | 0 1072.13/1072.31 c 1072s | 26 | 11173534 | 9150052 | 994 23191 | 0 | 0 1074.12/1074.31 c 1074s | 26 | 11189548 | 9164352 | 994 23219 | 0 | 0 1076.12/1076.32 c 1076s | 26 | 11206536 | 9179252 | 994 23249 | 0 | 0 1078.12/1078.33 c 1078s | 26 | 11225080 | 9194452 | 994 23278 | 0 | 0 1080.13/1080.34 c 1080s | 26 | 11243065 | 9209652 | 994 23308 | 0 | 0 1082.12/1082.34 c 1082s | 26 | 11263213 | 9226252 | 994 23341 | 0 | 0 1084.12/1084.34 c 1084s | 26 | 11284015 | 9243052 | 994 23374 | 0 | 0 1086.12/1086.34 c 1086s | 26 | 11301691 | 9258152 | 994 23403 | 0 | 0 1088.12/1088.35 c 1088s | 26 | 11319225 | 9273052 | 994 23432 | 0 | 0 1090.12/1090.35 c 1090s | 26 | 11336836 | 9287852 | 994 23462 | 0 | 0 1092.13/1092.37 c 1092s | 26 | 11355635 | 9303152 | 994 23492 | 0 | 0 1094.13/1094.37 c 1094s | 26 | 11372957 | 9317852 | 994 23520 | 0 | 0 1096.13/1096.38 c 1096s | 26 | 11390226 | 9332552 | 994 23549 | 0 | 0 1098.13/1098.39 c 1098s | 26 | 11406101 | 9346852 | 994 23577 | 0 | 0 1100.23/1100.40 c 1100s | 26 | 11423102 | 9361452 | 994 23606 | 0 | 0 1102.23/1102.42 c 1102s | 26 | 11442140 | 9377352 | 994 23638 | 0 | 0 1104.23/1104.43 c 1104s | 26 | 11460008 | 9392452 | 994 23667 | 0 | 0 1106.23/1106.43 c 1106s | 26 | 11477860 | 9407652 | 994 23697 | 0 | 0 1108.23/1108.43 c 1108s | 26 | 11495349 | 9422652 | 994 23726 | 0 | 0 1110.22/1110.43 c 1110s | 26 | 11514974 | 9438352 | 994 23757 | 0 | 0 1112.22/1112.45 c 1112s | 26 | 11531369 | 9452652 | 994 23785 | 0 | 0 1114.23/1114.45 c 1114s | 26 | 11547713 | 9466952 | 994 23814 | 0 | 0 1116.22/1116.47 c 1116s | 26 | 11564390 | 9481752 | 994 23842 | 0 | 0 1118.22/1118.48 c 1118s | 26 | 11581461 | 9496552 | 994 23871 | 0 | 0 1120.22/1120.48 c 1120s | 26 | 11598117 | 9511252 | 994 23900 | 0 | 0 1122.22/1122.49 c 1122s | 26 | 11615076 | 9526152 | 994 23929 | 0 | 0 1124.32/1124.50 c 1124s | 26 | 11633209 | 9541652 | 994 23960 | 0 | 0 1126.23/1126.50 c 1126s | 26 | 11649113 | 9555752 | 994 23987 | 0 | 0 1128.32/1128.51 c 1128s | 26 | 11668058 | 9571652 | 994 24019 | 0 | 0 1130.32/1130.52 c 1130s | 26 | 11688288 | 9588252 | 994 24051 | 0 | 0 1132.32/1132.53 c 1132s | 26 | 11709675 | 9605152 | 994 24084 | 0 | 0 1134.32/1134.53 c 1134s | 26 | 11729561 | 9621552 | 994 24117 | 0 | 0 1136.32/1136.54 c 1136s | 26 | 11750850 | 9638652 | 994 24150 | 0 | 0 1138.32/1138.55 c 1138s | 26 | 11769728 | 9654552 | 994 24181 | 0 | 0 1140.32/1140.56 c 1140s | 26 | 11787088 | 9669752 | 994 24211 | 0 | 0 1142.32/1142.56 c 1142s | 26 | 11805227 | 9685052 | 994 24241 | 0 | 0 1144.32/1144.56 c 1144s | 26 | 11823903 | 9700652 | 994 24272 | 0 | 0 1146.31/1146.57 c 1146s | 26 | 11841314 | 9715552 | 994 24301 | 0 | 0 1148.32/1148.57 c 1148s | 26 | 11858173 | 9730352 | 994 24330 | 0 | 0 1150.31/1150.58 c 1150s | 26 | 11874940 | 9745052 | 994 24359 | 0 | 0 1152.31/1152.58 c 1152s | 26 | 11891478 | 9759652 | 994 24388 | 0 | 0 1154.31/1154.59 c 1154s | 26 | 11910730 | 9775652 | 994 24420 | 0 | 0 1156.41/1156.60 c 1156s | 26 | 11928251 | 9790752 | 994 24449 | 0 | 0 1158.41/1158.60 c 1158s | 26 | 11949489 | 9807352 | 994 24482 | 0 | 0 1160.42/1160.61 c 1160s | 26 | 11969423 | 9823752 | 994 24514 | 0 | 0 1162.41/1162.62 c 1162s | 26 | 11988566 | 9839652 | 994 24546 | 0 | 0 1164.41/1164.63 c 1164s | 26 | 12008356 | 9855852 | 994 24578 | 0 | 0 1166.41/1166.63 c 1166s | 26 | 12026421 | 9871352 | 994 24608 | 0 | 0 1168.41/1168.64 c 1168s | 26 | 12046717 | 9887652 | 994 24640 | 0 | 0 1170.41/1170.64 c 1170s | 26 | 12065420 | 9903252 | 994 24671 | 0 | 0 1172.41/1172.66 c 1172s | 26 | 12087048 | 9920052 | 994 24704 | 0 | 0 1174.41/1174.67 c 1174s | 26 | 12108892 | 9936752 | 994 24737 | 0 | 0 1176.41/1176.68 c 1176s | 26 | 12129973 | 9953452 | 994 24769 | 0 | 0 1178.41/1178.69 c 1178s | 26 | 12150601 | 9970152 | 994 24802 | 0 | 0 1180.41/1180.69 c 1180s | 26 | 12170254 | 9986252 | 994 24834 | 0 | 0 1182.50/1182.70 c 1182s | 26 | 12188242 | 10001352 | 994 24863 | 0 | 0 1184.40/1184.70 c 1184s | 26 | 12205965 | 10016652 | 994 24893 | 0 | 0 1186.51/1186.70 c 1186s | 26 | 12224565 | 10032152 | 994 24924 | 0 | 0 1188.51/1188.71 c 1188s | 26 | 12242158 | 10047152 | 994 24953 | 0 | 0 1190.51/1190.72 c 1190s | 26 | 12260324 | 10062352 | 994 24983 | 0 | 0 1192.50/1192.73 c 1192s | 26 | 12278997 | 10077952 | 994 25014 | 0 | 0 1194.51/1194.73 c 1194s | 26 | 12295750 | 10092752 | 994 25043 | 0 | 0 1196.50/1196.75 c 1196s | 26 | 12315701 | 10109352 | 994 25076 | 0 | 0 1198.50/1198.76 c 1198s | 26 | 12334590 | 10125152 | 994 25107 | 0 | 0 1200.50/1200.77 c 1200s | 26 | 12354279 | 10141752 | 994 25139 | 0 | 0 1202.50/1202.77 c 1202s | 26 | 12371782 | 10156952 | 994 25169 | 0 | 0 1204.50/1204.78 c 1204s | 26 | 12389793 | 10172652 | 994 25201 | 0 | 0 1206.51/1206.79 c 1206s | 26 | 12407181 | 10187552 | 994 25230 | 0 | 0 1208.50/1208.79 c 1208s | 26 | 12426076 | 10203052 | 994 25260 | 0 | 0 1210.50/1210.80 c 1210s | 26 | 12446932 | 10219552 | 994 25293 | 0 | 0 1212.59/1212.81 c 1212s | 26 | 12467064 | 10235652 | 994 25324 | 0 | 0 1214.59/1214.81 c 1214s | 26 | 12488566 | 10252652 | 994 25358 | 0 | 0 1216.59/1216.82 c 1216s | 26 | 12509259 | 10269052 | 994 25390 | 0 | 0 1218.60/1218.82 c 1218s | 26 | 12527115 | 10284352 | 994 25420 | 0 | 0 1220.59/1220.83 c 1220s | 26 | 12544900 | 10299352 | 994 25449 | 0 | 0 1222.59/1222.84 c 1222s | 26 | 12561982 | 10313852 | 994 25478 | 0 | 0 1224.59/1224.84 c 1224s | 26 | 12580278 | 10329352 | 994 25508 | 0 | 0 1226.59/1226.86 c 1226s | 26 | 12598299 | 10344352 | 994 25538 | 0 | 0 1228.60/1228.87 c 1228s | 26 | 12616394 | 10359752 | 994 25568 | 0 | 0 1230.59/1230.87 c 1230s | 26 | 12634781 | 10375352 | 994 25598 | 0 | 0 1232.58/1232.88 c 1232s | 26 | 12653002 | 10390652 | 994 25628 | 0 | 0 1234.58/1234.89 c 1234s | 26 | 12672566 | 10406652 | 994 25660 | 0 | 0 1236.68/1236.91 c 1236s | 26 | 12689425 | 10421352 | 994 25689 | 0 | 0 1238.68/1238.91 c 1238s | 26 | 12706099 | 10436052 | 994 25718 | 0 | 0 1240.69/1240.91 c 1240s | 26 | 12723165 | 10450652 | 994 25746 | 0 | 0 1242.67/1242.91 c 1242s | 26 | 12740742 | 10465252 | 994 25775 | 0 | 0 1244.67/1244.91 c 1244s | 26 | 12760230 | 10481352 | 994 25807 | 0 | 0 1246.67/1246.92 c 1246s | 26 | 12777971 | 10496252 | 994 25836 | 0 | 0 1248.67/1248.93 c 1248s | 26 | 12795036 | 10511052 | 994 25865 | 0 | 0 1250.67/1250.94 c 1250s | 26 | 12812713 | 10526252 | 994 25895 | 0 | 0 1252.68/1252.94 c 1252s | 26 | 12832459 | 10542252 | 994 25926 | 0 | 0 1254.67/1254.95 c 1254s | 26 | 12851563 | 10558152 | 994 25957 | 0 | 0 1256.67/1256.95 c 1256s | 26 | 12871049 | 10574052 | 994 25989 | 0 | 0 1258.67/1258.96 c 1258s | 26 | 12890120 | 10589452 | 994 26019 | 0 | 0 1260.67/1260.97 c 1260s | 26 | 12908883 | 10604952 | 994 26049 | 0 | 0 1262.67/1262.98 c 1262s | 26 | 12927487 | 10620352 | 994 26080 | 0 | 0 1264.66/1264.98 c 1264s | 26 | 12946200 | 10635752 | 994 26110 | 0 | 0 1266.66/1266.98 c 1266s | 26 | 12963371 | 10650452 | 994 26139 | 0 | 0 1268.66/1268.99 c 1268s | 26 | 12982050 | 10666152 | 994 26170 | 0 | 0 1270.77/1271.00 c 1270s | 26 | 13001372 | 10682052 | 994 26201 | 0 | 0 1272.76/1273.00 c 1272s | 26 | 13020248 | 10697452 | 994 26231 | 0 | 0 1274.77/1275.02 c 1275s | 26 | 13037739 | 10712152 | 994 26260 | 0 | 0 1276.76/1277.02 c 1277s | 26 | 13054393 | 10726752 | 994 26289 | 0 | 0 1278.76/1279.03 c 1279s | 26 | 13071684 | 10741552 | 994 26318 | 0 | 0 1280.76/1281.03 c 1281s | 26 | 13090538 | 10757152 | 994 26348 | 0 | 0 1282.76/1283.03 c 1283s | 26 | 13108622 | 10772452 | 994 26378 | 0 | 0 1284.76/1285.05 c 1285s | 26 | 13127268 | 10787852 | 994 26409 | 0 | 0 1286.76/1287.05 c 1287s | 26 | 13145869 | 10803352 | 994 26439 | 0 | 0 1288.76/1289.05 c 1289s | 26 | 13165011 | 10819052 | 994 26470 | 0 | 0 1290.75/1291.06 c 1291s | 26 | 13183494 | 10834652 | 994 26501 | 0 | 0 1292.75/1293.07 c 1293s | 26 | 13200695 | 10849452 | 994 26530 | 0 | 0 1294.75/1295.08 c 1295s | 26 | 13218612 | 10864852 | 994 26560 | 0 | 0 1296.76/1297.09 c 1297s | 26 | 13237527 | 10880652 | 994 26591 | 0 | 0 1298.75/1299.09 c 1299s | 26 | 13255675 | 10896252 | 994 26622 | 0 | 0 1300.85/1301.10 c 1301s | 26 | 13276466 | 10912852 | 994 26655 | 0 | 0 1302.84/1303.11 c 1303s | 26 | 13295511 | 10928152 | 994 26685 | 0 | 0 1304.84/1305.11 c 1305s | 26 | 13316272 | 10944452 | 994 26717 | 0 | 0 1306.84/1307.11 c 1307s | 26 | 13336401 | 10960652 | 994 26749 | 0 | 0 1308.85/1309.12 c 1309s | 26 | 13357806 | 10977552 | 994 26782 | 0 | 0 1310.85/1311.13 c 1311s | 26 | 13378593 | 10994652 | 994 26816 | 0 | 0 1312.84/1313.14 c 1313s | 26 | 13398211 | 11010952 | 994 26848 | 0 | 0 1314.84/1315.14 c 1315s | 26 | 13416340 | 11026352 | 994 26878 | 0 | 0 1316.84/1317.15 c 1317s | 26 | 13435220 | 11041752 | 994 26909 | 0 | 0 1318.84/1319.15 c 1319s | 26 | 13453219 | 11056952 | 994 26938 | 0 | 0 1320.85/1321.16 c 1321s | 26 | 13472436 | 11073052 | 994 26970 | 0 | 0 1322.84/1323.17 c 1323s | 26 | 13490710 | 11088252 | 994 27000 | 0 | 0 1324.84/1325.18 c 1325s | 26 | 13509515 | 11104052 | 994 27031 | 0 | 0 1326.84/1327.18 c 1327s | 26 | 13529126 | 11120452 | 994 27063 | 0 | 0 1328.84/1329.19 c 1329s | 26 | 13548732 | 11136452 | 994 27095 | 0 | 0 1330.84/1331.19 c 1331s | 26 | 13568292 | 11152652 | 994 27126 | 0 | 0 1332.83/1333.20 c 1333s | 26 | 13586949 | 11168052 | 994 27157 | 0 | 0 1334.93/1335.20 c 1335s | 26 | 13606476 | 11184052 | 994 27188 | 0 | 0 1336.93/1337.21 c 1337s | 26 | 13626943 | 11200252 | 994 27220 | 0 | 0 1338.93/1339.22 c 1339s | 26 | 13644722 | 11215252 | 994 27249 | 0 | 0 1340.93/1341.22 c 1341s | 26 | 13665423 | 11231052 | 994 27280 | 0 | 0 1342.93/1343.23 c 1343s | 26 | 13685090 | 11246752 | 994 27311 | 0 | 0 1344.92/1345.24 c 1345s | 26 | 13702348 | 11261652 | 994 27340 | 0 | 0 1346.92/1347.25 c 1347s | 26 | 13719574 | 11276052 | 994 27369 | 0 | 0 1348.92/1349.26 c 1349s | 26 | 13739649 | 11291452 | 994 27399 | 0 | 0 1350.92/1351.26 c 1351s | 26 | 13757206 | 11305752 | 994 27427 | 0 | 0 1352.92/1353.27 c 1353s | 26 | 13774706 | 11319852 | 1094 27454 | 0 | 0 1354.92/1355.28 c 1355s | 26 | 13791925 | 11333852 | 1094 27479 | 0 | 0 1357.02/1357.30 c 1357s | 26 | 13809664 | 11348652 | 1094 27506 | 0 | 0 1359.01/1359.30 c 1359s | 26 | 13829257 | 11364752 | 1094 27534 | 0 | 0 1361.01/1361.31 c 1361s | 26 | 13846711 | 11379652 | 1094 27561 | 0 | 0 1363.01/1363.31 c 1363s | 26 | 13863387 | 11394052 | 1094 27586 | 0 | 0 1363.41/1363.71 c 1363s | 27 | 13866438 | 11396733 | 1094 27591 | 0 | 0 1365.41/1365.71 c 1365s | 27 | 13884221 | 11412033 | 1094 27618 | 0 | 0 1367.42/1367.72 c 1367s | 27 | 13901524 | 11426933 | 1094 27645 | 0 | 0 1369.42/1369.72 c 1369s | 27 | 13918589 | 11441533 | 1094 27671 | 0 | 0 1371.43/1371.72 c 1371s | 27 | 13934627 | 11455633 | 1094 27696 | 0 | 0 1373.41/1373.73 c 1373s | 27 | 13951896 | 11470433 | 1094 27722 | 0 | 0 1375.41/1375.73 c 1375s | 27 | 13969475 | 11485633 | 1094 27749 | 0 | 0 1377.41/1377.74 c 1377s | 27 | 13987531 | 11501033 | 1094 27777 | 0 | 0 1379.41/1379.75 c 1379s | 27 | 14005089 | 11516133 | 1094 27803 | 0 | 0 1381.42/1381.76 c 1381s | 27 | 14022632 | 11530933 | 1094 27830 | 0 | 0 1383.41/1383.76 c 1383s | 27 | 14039506 | 11545733 | 1094 27856 | 0 | 0 1385.41/1385.77 c 1385s | 27 | 14056958 | 11560833 | 1094 27883 | 0 | 0 1387.41/1387.77 c 1387s | 27 | 14075560 | 11576433 | 1094 27910 | 0 | 0 1389.41/1389.78 c 1389s | 27 | 14093973 | 11591933 | 1094 27938 | 0 | 0 1391.41/1391.79 c 1391s | 27 | 14110534 | 11606333 | 1094 27964 | 0 | 0 1393.41/1393.79 c 1393s | 27 | 14127857 | 11621333 | 1094 27990 | 0 | 0 1395.50/1395.80 c 1395s | 27 | 14147087 | 11637033 | 1094 28018 | 0 | 0 1397.50/1397.81 c 1397s | 27 | 14165940 | 11652733 | 1094 28046 | 0 | 0 1399.50/1399.81 c 1399s | 27 | 14183562 | 11668033 | 1094 28073 | 0 | 0 1401.50/1401.82 c 1401s | 27 | 14200005 | 11682633 | 1094 28099 | 0 | 0 1403.49/1403.83 c 1403s | 27 | 14217333 | 11697733 | 1094 28126 | 0 | 0 1405.50/1405.84 c 1405s | 27 | 14235259 | 11713233 | 1094 28154 | 0 | 0 1407.49/1407.85 c 1407s | 27 | 14250369 | 11726833 | 1094 28178 | 0 | 0 1409.49/1409.85 c 1409s | 27 | 14267161 | 11741233 | 1094 28203 | 0 | 0 1411.49/1411.86 c 1411s | 27 | 14284265 | 11756033 | 1094 28230 | 0 | 0 1413.49/1413.86 c 1413s | 27 | 14301017 | 11770733 | 1094 28256 | 0 | 0 1415.49/1415.86 c 1415s | 27 | 14319707 | 11786333 | 1094 28284 | 0 | 0 1417.49/1417.87 c 1417s | 27 | 14337005 | 11801133 | 1094 28310 | 0 | 0 1419.49/1419.88 c 1419s | 27 | 14356319 | 11817133 | 1094 28339 | 0 | 0 1421.48/1421.88 c 1421s | 27 | 14372218 | 11830933 | 1094 28363 | 0 | 0 1423.48/1423.88 c 1423s | 27 | 14388559 | 11845033 | 1094 28388 | 0 | 0 1425.48/1425.89 c 1425s | 27 | 14406403 | 11860133 | 1094 28415 | 0 | 0 1427.49/1427.90 c 1427s | 27 | 14423178 | 11874433 | 1094 28440 | 0 | 0 1429.58/1429.90 c 1429s | 27 | 14440613 | 11889033 | 1094 28466 | 0 | 0 1431.58/1431.92 c 1431s | 27 | 14457110 | 11903533 | 1094 28492 | 0 | 0 1433.58/1433.93 c 1433s | 27 | 14474582 | 11918633 | 1094 28518 | 0 | 0 1435.58/1435.93 c 1435s | 27 | 14491586 | 11933633 | 1094 28545 | 0 | 0 1437.58/1437.93 c 1437s | 27 | 14508572 | 11948633 | 1094 28572 | 0 | 0 1439.59/1439.94 c 1439s | 27 | 14525301 | 11963333 | 1094 28598 | 0 | 0 1441.58/1441.95 c 1441s | 27 | 14542704 | 11978133 | 1094 28624 | 0 | 0 1443.58/1443.96 c 1443s | 27 | 14559631 | 11992933 | 1094 28650 | 0 | 0 1445.58/1445.97 c 1445s | 27 | 14575134 | 12006633 | 1094 28674 | 0 | 0 1447.57/1447.98 c 1447s | 27 | 14590847 | 12020233 | 1094 28698 | 0 | 0 1449.58/1449.99 c 1449s | 27 | 14604972 | 12033233 | 1094 28721 | 0 | 0 1451.57/1452.00 c 1451s | 27 | 14619348 | 12046233 | 1094 28744 | 0 | 0 1453.67/1454.00 c 1453s | 27 | 14636283 | 12060833 | 1094 28770 | 0 | 0 1455.67/1456.01 c 1455s | 27 | 14651814 | 12074733 | 1094 28795 | 0 | 0 1457.67/1458.02 c 1458s | 27 | 14668351 | 12089133 | 1094 28821 | 0 | 0 1459.67/1460.03 c 1460s | 27 | 14684281 | 12103133 | 1094 28845 | 0 | 0 1461.67/1462.03 c 1462s | 27 | 14700304 | 12117033 | 1094 28870 | 0 | 0 1463.66/1464.04 c 1464s | 27 | 14717934 | 12131733 | 1094 28896 | 0 | 0 1465.66/1466.05 c 1466s | 27 | 14734792 | 12146533 | 1094 28923 | 0 | 0 1467.66/1468.05 c 1468s | 27 | 14752984 | 12161833 | 1094 28950 | 0 | 0 1469.66/1470.06 c 1470s | 27 | 14770880 | 12176433 | 1094 28976 | 0 | 0 1471.65/1472.06 c 1472s | 27 | 14789697 | 12192333 | 1094 29004 | 0 | 0 1473.66/1474.07 c 1474s | 27 | 14808434 | 12208033 | 1094 29032 | 0 | 0 1475.65/1476.08 c 1476s | 27 | 14826819 | 12223533 | 1094 29060 | 0 | 0 1477.66/1478.09 c 1478s | 27 | 14844778 | 12238833 | 1094 29087 | 0 | 0 1479.66/1480.09 c 1480s | 27 | 14864115 | 12254933 | 1094 29116 | 0 | 0 1481.75/1482.11 c 1482s | 27 | 14879927 | 12268833 | 1094 29141 | 0 | 0 1483.75/1484.11 c 1484s | 27 | 14897607 | 12284033 | 1094 29168 | 0 | 0 1485.76/1486.12 c 1486s | 27 | 14913956 | 12298333 | 1094 29193 | 0 | 0 1487.75/1488.13 c 1488s | 27 | 14929727 | 12312533 | 1094 29219 | 0 | 0 1489.75/1490.15 c 1490s | 27 | 14948714 | 12328633 | 1094 29247 | 0 | 0 1491.74/1492.16 c 1492s | 27 | 14967946 | 12344633 | 1094 29276 | 0 | 0 1493.74/1494.17 c 1494s | 27 | 14987265 | 12360833 | 1094 29305 | 0 | 0 1495.75/1496.17 c 1496s | 27 | 15006054 | 12376433 | 1094 29333 | 0 | 0 1497.74/1498.18 c 1498s | 27 | 15023863 | 12391533 | 1094 29360 | 0 | 0 1499.74/1500.18 c 1500s | 27 | 15041267 | 12406533 | 1094 29387 | 0 | 0 1501.73/1502.19 c 1502s | 27 | 15059498 | 12422133 | 1094 29414 | 0 | 0 1503.83/1504.20 c 1504s | 27 | 15079687 | 12438833 | 1094 29444 | 0 | 0 1505.83/1506.21 c 1506s | 27 | 15097888 | 12454333 | 1094 29472 | 0 | 0 1507.84/1508.21 c 1508s | 27 | 15115566 | 12469733 | 1094 29499 | 0 | 0 1509.83/1510.21 c 1510s | 27 | 15134507 | 12485733 | 1094 29528 | 0 | 0 1511.83/1512.21 c 1512s | 27 | 15152696 | 12501233 | 1094 29555 | 0 | 0 1513.83/1514.23 c 1514s | 27 | 15170586 | 12516533 | 1094 29583 | 0 | 0 1515.83/1516.24 c 1516s | 27 | 15188461 | 12531633 | 1094 29610 | 0 | 0 1517.83/1518.25 c 1518s | 27 | 15204647 | 12545933 | 1094 29635 | 0 | 0 1519.84/1520.26 c 1520s | 27 | 15221590 | 12560633 | 1094 29662 | 0 | 0 1521.82/1522.27 c 1522s | 27 | 15239716 | 12576033 | 1094 29689 | 0 | 0 1523.82/1524.29 c 1524s | 27 | 15258057 | 12591733 | 1094 29717 | 0 | 0 1525.82/1526.29 c 1526s | 27 | 15275006 | 12606633 | 1094 29744 | 0 | 0 1527.82/1528.29 c 1528s | 27 | 15293871 | 12622133 | 1094 29771 | 0 | 0 1529.92/1530.30 c 1530s | 27 | 15311600 | 12637233 | 1094 29798 | 0 | 0 1531.92/1532.31 c 1532s | 27 | 15330062 | 12652233 | 1094 29825 | 0 | 0 1533.91/1534.31 c 1534s | 27 | 15348720 | 12667933 | 1094 29853 | 0 | 0 1535.91/1536.32 c 1536s | 27 | 15368374 | 12683633 | 1094 29881 | 0 | 0 1537.91/1538.32 c 1538s | 27 | 15385492 | 12698133 | 1094 29906 | 0 | 0 1539.91/1540.33 c 1540s | 27 | 15402764 | 12712733 | 1094 29932 | 0 | 0 1541.92/1542.33 c 1542s | 27 | 15421006 | 12728133 | 1094 29960 | 0 | 0 1543.91/1544.34 c 1544s | 27 | 15439632 | 12743633 | 1094 29987 | 0 | 0 1545.91/1546.35 c 1546s | 27 | 15457804 | 12758933 | 1094 30014 | 0 | 0 1547.91/1548.35 c 1548s | 27 | 15474589 | 12773433 | 1094 30040 | 0 | 0 1549.91/1550.36 c 1550s | 27 | 15492491 | 12788833 | 1094 30067 | 0 | 0 1551.90/1552.36 c 1552s | 27 | 15510547 | 12804333 | 1094 30095 | 0 | 0 1553.91/1554.37 c 1554s | 27 | 15528672 | 12819833 | 1094 30122 | 0 | 0 1555.90/1556.39 c 1556s | 27 | 15547517 | 12835333 | 1094 30150 | 0 | 0 1557.90/1558.39 c 1558s | 27 | 15566605 | 12851133 | 1094 30178 | 0 | 0 1559.90/1560.39 c 1560s | 27 | 15586174 | 12867233 | 1094 30206 | 0 | 0 1561.89/1562.39 c 1562s | 27 | 15606016 | 12883233 | 1094 30235 | 0 | 0 1563.90/1564.40 c 1564s | 27 | 15623086 | 12897833 | 1094 30261 | 0 | 0 1565.89/1566.40 c 1566s | 27 | 15640725 | 12912733 | 1094 30287 | 0 | 0 1567.99/1568.41 c 1568s | 27 | 15656718 | 12926633 | 1094 30312 | 0 | 0 1569.99/1570.43 c 1570s | 27 | 15673934 | 12941233 | 1094 30338 | 0 | 0 1571.99/1572.43 c 1572s | 27 | 15694032 | 12957433 | 1094 30366 | 0 | 0 1573.99/1574.44 c 1574s | 27 | 15712641 | 12972833 | 1094 30394 | 0 | 0 1576.00/1576.45 c 1576s | 27 | 15729444 | 12987433 | 1094 30420 | 0 | 0 1577.99/1578.46 c 1578s | 27 | 15747540 | 13002333 | 1094 30447 | 0 | 0 1579.99/1580.47 c 1580s | 27 | 15766131 | 13017533 | 1094 30474 | 0 | 0 1581.98/1582.47 c 1582s | 27 | 15783291 | 13032533 | 1094 30500 | 0 | 0 1583.99/1584.47 c 1584s | 27 | 15802614 | 13048133 | 1094 30528 | 0 | 0 1585.99/1586.48 c 1586s | 27 | 15820505 | 13063433 | 1094 30555 | 0 | 0 1587.99/1588.49 c 1588s | 27 | 15836809 | 13077933 | 1094 30581 | 0 | 0 1590.09/1590.50 c 1590s | 27 | 15854970 | 13093233 | 1094 30609 | 0 | 0 1592.08/1592.51 c 1592s | 27 | 15871770 | 13108033 | 1094 30635 | 0 | 0 1594.08/1594.51 c 1594s | 27 | 15888843 | 13122533 | 1094 30661 | 0 | 0 1596.08/1596.51 c 1596s | 27 | 15906204 | 13137633 | 1094 30688 | 0 | 0 1598.08/1598.52 c 1598s | 27 | 15922382 | 13152133 | 1094 30714 | 0 | 0 1600.09/1600.53 c 1600s | 27 | 15940537 | 13167533 | 1094 30742 | 0 | 0 1602.07/1602.53 c 1602s | 27 | 15957161 | 13182233 | 1094 30769 | 0 | 0 1604.07/1604.53 c 1604s | 27 | 15974784 | 13197333 | 1094 30796 | 0 | 0 1606.07/1606.54 c 1606s | 27 | 15994239 | 13212533 | 1094 30823 | 0 | 0 1608.07/1608.55 c 1608s | 27 | 16013430 | 13228233 | 1094 30851 | 0 | 0 1610.08/1610.56 c 1610s | 27 | 16032148 | 13243933 | 1094 30879 | 0 | 0 1612.07/1612.57 c 1612s | 27 | 16050992 | 13259533 | 1094 30907 | 0 | 0 1614.07/1614.58 c 1614s | 27 | 16069841 | 13275033 | 1094 30935 | 0 | 0 1616.07/1616.59 c 1616s | 27 | 16088696 | 13290933 | 1094 30963 | 0 | 0 1618.07/1618.59 c 1618s | 27 | 16107081 | 13306633 | 1094 30991 | 0 | 0 1620.17/1620.60 c 1620s | 27 | 16123553 | 13321133 | 1094 31017 | 0 | 0 1622.18/1622.61 c 1622s | 27 | 16140131 | 13335533 | 1094 31043 | 0 | 0 1624.17/1624.63 c 1624s | 27 | 16157950 | 13350633 | 1094 31070 | 0 | 0 1626.17/1626.63 c 1626s | 27 | 16174904 | 13365333 | 1094 31096 | 0 | 0 1628.17/1628.64 c 1628s | 27 | 16191935 | 13380233 | 1094 31122 | 0 | 0 1630.17/1630.66 c 1630s | 27 | 16210408 | 13396033 | 1094 31151 | 0 | 0 1632.16/1632.67 c 1632s | 27 | 16228054 | 13411133 | 1094 31178 | 0 | 0 1634.17/1634.68 c 1634s | 27 | 16245432 | 13426133 | 1094 31204 | 0 | 0 1636.16/1636.69 c 1636s | 27 | 16263673 | 13441633 | 1094 31232 | 0 | 0 1638.16/1638.69 c 1638s | 27 | 16283013 | 13457233 | 1094 31260 | 0 | 0 1640.26/1640.70 c 1640s | 27 | 16301048 | 13472033 | 1094 31286 | 0 | 0 1642.25/1642.71 c 1642s | 27 | 16318281 | 13486533 | 1094 31312 | 0 | 0 1644.25/1644.71 c 1644s | 27 | 16333234 | 13499733 | 1094 31335 | 0 | 0 1646.26/1646.71 c 1646s | 27 | 16349272 | 13513533 | 1094 31360 | 0 | 0 1648.25/1648.71 c 1648s | 27 | 16365459 | 13527833 | 1094 31385 | 0 | 0 1650.25/1650.73 c 1650s | 27 | 16381461 | 13541933 | 1094 31411 | 0 | 0 1652.25/1652.74 c 1652s | 27 | 16397112 | 13555933 | 1094 31435 | 0 | 0 1654.25/1654.74 c 1654s | 27 | 16412316 | 13569433 | 1094 31459 | 0 | 0 1656.25/1656.75 c 1656s | 27 | 16428726 | 13583633 | 1094 31484 | 0 | 0 1658.24/1658.76 c 1658s | 27 | 16445097 | 13598033 | 1094 31510 | 0 | 0 1660.24/1660.76 c 1660s | 27 | 16461943 | 13612633 | 1094 31536 | 0 | 0 1662.24/1662.76 c 1662s | 27 | 16479046 | 13627533 | 1094 31562 | 0 | 0 1664.24/1664.76 c 1664s | 27 | 16497960 | 13643133 | 1094 31590 | 0 | 0 1666.24/1666.76 c 1666s | 27 | 16516240 | 13658633 | 1094 31618 | 0 | 0 1668.24/1668.78 c 1668s | 27 | 16531760 | 13672733 | 1094 31644 | 0 | 0 1670.24/1670.78 c 1670s | 27 | 16546874 | 13686433 | 1094 31668 | 0 | 0 1672.23/1672.79 c 1672s | 27 | 16564739 | 13701833 | 1094 31696 | 0 | 0 1674.33/1674.80 c 1674s | 27 | 16581712 | 13716533 | 1094 31722 | 0 | 0 1676.33/1676.81 c 1676s | 27 | 16598308 | 13731033 | 1094 31748 | 0 | 0 1678.33/1678.81 c 1678s | 27 | 16614118 | 13745233 | 1094 31773 | 0 | 0 1680.34/1680.82 c 1680s | 27 | 16629613 | 13759333 | 1094 31799 | 0 | 0 1682.32/1682.84 c 1682s | 27 | 16645930 | 13773933 | 1094 31825 | 0 | 0 1684.33/1684.85 c 1684s | 27 | 16663519 | 13788733 | 1094 31851 | 0 | 0 1686.33/1686.85 c 1686s | 27 | 16678354 | 13801933 | 1094 31874 | 0 | 0 1688.33/1688.86 c 1688s | 27 | 16693173 | 13815133 | 1094 31897 | 0 | 0 1690.34/1690.86 c 1690s | 27 | 16709326 | 13829433 | 1094 31922 | 0 | 0 1692.33/1692.86 c 1692s | 27 | 16724976 | 13843033 | 1094 31947 | 0 | 0 1694.33/1694.87 c 1694s | 27 | 16741032 | 13856833 | 1094 31971 | 0 | 0 1696.33/1696.88 c 1696s | 27 | 16759281 | 13871633 | 1094 31997 | 0 | 0 1698.33/1698.89 c 1698s | 27 | 16776600 | 13886433 | 1094 32023 | 0 | 0 1700.33/1700.89 c 1700s | 27 | 16793783 | 13901233 | 1094 32050 | 0 | 0 1702.33/1702.90 c 1702s | 27 | 16810114 | 13915633 | 1094 32075 | 0 | 0 1704.42/1704.90 c 1704s | 27 | 16826160 | 13929933 | 1094 32101 | 0 | 0 1706.42/1706.91 c 1706s | 27 | 16841749 | 13943933 | 1094 32125 | 0 | 0 1708.42/1708.92 c 1708s | 27 | 16856909 | 13957633 | 1094 32150 | 0 | 0 1710.42/1710.93 c 1710s | 27 | 16874335 | 13972533 | 1094 32176 | 0 | 0 1712.41/1712.94 c 1712s | 27 | 16890907 | 13987033 | 1094 32202 | 0 | 0 1714.42/1714.94 c 1714s | 27 | 16907032 | 14001233 | 1094 32227 | 0 | 0 1716.41/1716.94 c 1716s | 27 | 16924589 | 14015833 | 1094 32253 | 0 | 0 1718.41/1718.95 c 1718s | 27 | 16942592 | 14030533 | 1094 32279 | 0 | 0 1720.41/1720.97 c 1720s | 27 | 16960281 | 14045433 | 1094 32306 | 0 | 0 1722.41/1722.97 c 1722s | 27 | 16976961 | 14059833 | 1094 32331 | 0 | 0 1724.41/1724.98 c 1724s | 27 | 16994234 | 14074633 | 1094 32358 | 0 | 0 1726.40/1726.98 c 1726s | 27 | 17012557 | 14089833 | 1094 32385 | 0 | 0 1728.40/1728.98 c 1728s | 27 | 17030613 | 14105133 | 1094 32412 | 0 | 0 1730.40/1730.99 c 1730s | 27 | 17047689 | 14119933 | 1094 32439 | 0 | 0 1732.50/1733.00 c 1732s | 27 | 17065089 | 14134633 | 1094 32465 | 0 | 0 1734.50/1735.01 c 1735s | 27 | 17080034 | 14148133 | 1094 32489 | 0 | 0 1736.51/1737.02 c 1737s | 27 | 17096363 | 14162533 | 1094 32514 | 0 | 0 1738.50/1739.02 c 1739s | 27 | 17113327 | 14176933 | 1094 32540 | 0 | 0 1740.50/1741.03 c 1741s | 27 | 17131296 | 14191933 | 1094 32567 | 0 | 0 1742.49/1743.04 c 1743s | 27 | 17148945 | 14206833 | 1094 32593 | 0 | 0 1744.49/1745.05 c 1745s | 27 | 17165659 | 14221433 | 1094 32620 | 0 | 0 1746.49/1747.06 c 1747s | 27 | 17181402 | 14235333 | 1094 32644 | 0 | 0 1748.50/1749.07 c 1749s | 27 | 17198752 | 14249833 | 1094 32670 | 0 | 0 1750.49/1751.08 c 1751s | 27 | 17217096 | 14265033 | 1094 32697 | 0 | 0 1752.49/1753.08 c 1753s | 27 | 17234370 | 14279733 | 1094 32724 | 0 | 0 1754.49/1755.09 c 1755s | 27 | 17251702 | 14294433 | 1094 32750 | 0 | 0 1756.59/1757.10 c 1757s | 27 | 17267568 | 14308133 | 1094 32775 | 0 | 0 1758.59/1759.11 c 1759s | 27 | 17284240 | 14322533 | 1094 32800 | 0 | 0 1760.60/1761.12 c 1761s | 27 | 17299662 | 14336233 | 1094 32824 | 0 | 0 1762.59/1763.13 c 1763s | 27 | 17316454 | 14350533 | 1094 32850 | 0 | 0 1764.59/1765.13 c 1765s | 27 | 17332595 | 14364733 | 1094 32875 | 0 | 0 1766.59/1767.14 c 1767s | 27 | 17349564 | 14379233 | 1094 32901 | 0 | 0 1768.59/1769.15 c 1769s | 27 | 17368341 | 14394533 | 1094 32928 | 0 | 0 1770.59/1771.15 c 1771s | 27 | 17387158 | 14409933 | 1094 32956 | 0 | 0 1772.58/1773.16 c 1773s | 27 | 17406218 | 14425333 | 1094 32983 | 0 | 0 1774.58/1775.17 c 1775s | 27 | 17424765 | 14440733 | 1094 33011 | 0 | 0 1776.58/1777.18 c 1777s | 27 | 17443989 | 14456233 | 1094 33039 | 0 | 0 1778.58/1779.18 c 1779s | 27 | 17463035 | 14471733 | 1094 33067 | 0 | 0 1780.58/1781.19 c 1781s | 27 | 17480647 | 14486233 | 1094 33093 | 0 | 0 1782.58/1783.20 c 1783s | 27 | 17497318 | 14500633 | 1094 33118 | 0 | 0 1784.67/1785.21 c 1785s | 27 | 17515834 | 14515833 | 1094 33146 | 0 | 0 1786.67/1787.22 c 1787s | 27 | 17532388 | 14530433 | 1094 33172 | 0 | 0 1788.67/1789.23 c 1789s | 27 | 17551662 | 14545833 | 1094 33200 | 0 | 0 1790.67/1791.23 c 1791s | 27 | 17569239 | 14560533 | 1094 33226 | 0 | 0 1792.67/1793.24 c 1793s | 27 | 17586143 | 14574933 | 1094 33252 | 0 | 0 1794.67/1795.25 c 1795s | 27 | 17603067 | 14589333 | 1094 33278 | 0 | 0 1796.66/1797.25 c 1797s | 27 | 17619342 | 14603233 | 1094 33303 | 0 | 0 1798.66/1799.26 c 1799s | 27 | 17638184 | 14618433 | 1094 33331 | 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-4096141-1466103353/watcher-4096141-1466103353 -o /tmp/evaluation-result-4096141-1466103353/solver-4096141-1466103353 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466103353-30255 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096141-1466103353.opb pid=30277 running on 4 cores: 0,2,4,6 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.30 1.25 1.54 4/175 30284 /proc/meminfo: memFree=30460096/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=774588 CPUtime=0 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 2900 0 0 0 0 0 0 0 20 0 4 0 12381772 793178112 2750 33554432000 4194304 16246674 140733907605328 140733907604752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 194159 2759 441 2943 0 191053 0 [pid=30283/tid=30286] ppid=30277 vsize=798140 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 817295360 2844 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=802236 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 821489664 2860 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=807356 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12381772 826732544 2877 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.10017 s] /proc/loadavg: 1.30 1.25 1.54 4/175 30284 /proc/meminfo: memFree=30460096/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 24788 0 0 0 6 3 0 0 20 0 4 0 12381772 1247350784 24627 33554432000 4194304 16246674 140733907605328 140733907604752 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 304529 24638 711 2943 0 301423 0 [pid=30283/tid=30286] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 24645 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 24651 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 24656 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200512 s] /proc/loadavg: 1.30 1.25 1.54 4/175 30284 /proc/meminfo: memFree=30460096/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 48309 0 0 0 13 6 0 0 20 0 4 0 12381772 1247350784 48147 33554432000 4194304 16246674 140733907605328 140733907604752 5828874 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 304529 48156 711 2943 0 301423 0 [pid=30283/tid=30286] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 48160 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 48165 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 48171 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.30 1.25 1.54 4/175 30284 /proc/meminfo: memFree=30460096/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 71320 0 0 0 19 10 0 0 20 0 4 0 12381772 1247350784 71158 33554432000 4194304 16246674 140733907605328 140733907604752 6076251 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 304529 71167 711 2943 0 301423 0 [pid=30283/tid=30286] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 71178 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 71188 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 71194 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700373 s] /proc/loadavg: 1.30 1.25 1.54 4/175 30284 /proc/meminfo: memFree=30460096/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 163004 0 0 0 46 23 0 0 20 0 4 0 12381772 1247350784 162842 33554432000 4194304 16246674 140733907605328 140733907604752 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 304529 162852 712 2943 0 301423 0 [pid=30283/tid=30286] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 162861 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 162866 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 162875 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 1.30 1.25 1.54 4/183 30292 /proc/meminfo: memFree=28497388/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1218116 CPUtime=1.49 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 245499 0 0 0 113 36 0 0 20 0 4 0 12381772 1247350784 245317 33554432000 4194304 16246674 140733907605328 140733907604640 5667339 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 304529 245317 786 2943 0 301423 0 [pid=30283/tid=30286] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 245317 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 245317 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1247350784 245317 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1218116 [startup+3.1004 s] /proc/loadavg: 1.43 1.28 1.55 4/183 30292 /proc/meminfo: memFree=28321184/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267404 0 0 0 271 38 0 0 20 0 4 0 12381772 1337528320 267222 33554432000 4194304 16246674 140733907605328 140733907587200 6009952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326545 267222 786 2943 0 323439 0 [pid=30283/tid=30286] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267222 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267222 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267222 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 1.43 1.28 1.55 5/183 30292 /proc/meminfo: memFree=28320252/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1306180 CPUtime=6.28 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267409 0 0 0 590 38 0 0 20 0 4 0 12381772 1337528320 267227 33554432000 4194304 16246674 140733907605328 140733907587200 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326545 267227 786 2943 0 323439 0 [pid=30283/tid=30286] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267227 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267227 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267227 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 1.52 1.30 1.55 4/183 30292 /proc/meminfo: memFree=28320628/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1306180 CPUtime=12.69 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267414 0 0 0 1230 39 0 0 20 0 4 0 12381772 1337528320 267232 33554432000 4194304 16246674 140733907605328 140733907587200 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326545 267232 788 2943 0 323439 0 [pid=30283/tid=30286] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267232 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267232 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267232 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 1.67 1.34 1.56 4/183 30292 /proc/meminfo: memFree=28321048/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1306180 CPUtime=25.49 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267462 0 0 0 2510 39 0 0 20 0 4 0 12381772 1337528320 267280 33554432000 4194304 16246674 140733907605328 140733907588328 5992598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326545 267280 788 2943 0 323439 0 [pid=30283/tid=30286] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267280 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267280 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267280 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1306180 [startup+51.1004 s] /proc/loadavg: 1.84 1.41 1.58 4/183 30292 /proc/meminfo: memFree=28320932/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1306180 CPUtime=51.09 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267464 0 0 0 5069 40 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 140733907587200 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326545 267282 789 2943 0 323439 0 [pid=30283/tid=30286] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1306180 [startup+102.3 s] /proc/loadavg: 1.98 1.52 1.60 4/183 30294 /proc/meminfo: memFree=28320808/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1306180 CPUtime=102.28 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267464 0 0 0 10187 41 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 140733907587200 5721725 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326545 267282 789 2943 0 323439 0 [pid=30283/tid=30286] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1337528320 267282 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1306180 ################ # More data... # ################ /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 1307204 [startup+1302.3 s] /proc/loadavg: 2.20 2.23 2.05 4/183 30347 /proc/meminfo: memFree=28313248/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1307204 CPUtime=1302.04 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267782 0 0 0 130142 62 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 140733907587200 5717852 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326801 267770 791 2943 0 323695 0 [pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 1307204 [startup+1362.3 s] /proc/loadavg: 2.33 2.26 2.07 5/183 30348 /proc/meminfo: memFree=28313028/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1307204 CPUtime=1362.01 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267824 0 0 0 136138 63 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 140733907587200 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326801 267770 791 2943 0 323695 0 [pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1362.01 Current children cumulated vsize (KiB) 1307204 [startup+1422.3 s] /proc/loadavg: 2.30 2.26 2.08 4/183 30349 /proc/meminfo: memFree=28313032/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1307204 CPUtime=1421.99 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267867 0 0 0 142135 64 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 140733907587200 5523307 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326801 267770 791 2943 0 323695 0 [pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 1307204 [startup+1482.3 s] /proc/loadavg: 2.31 2.27 2.09 4/184 30353 /proc/meminfo: memFree=28312848/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1307204 CPUtime=1481.95 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267912 0 0 0 148129 66 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 140733907587200 5522909 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326801 267770 791 2943 0 323695 0 [pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 1307204 [startup+1542.31 s] /proc/loadavg: 2.31 2.28 2.10 4/183 30354 /proc/meminfo: memFree=28312448/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1307204 CPUtime=1541.92 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267954 0 0 0 154125 67 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 140733907587200 5726535 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326801 267770 791 2943 0 323695 0 [pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1307204 [startup+1602.3 s] /proc/loadavg: 2.35 2.28 2.11 5/183 30356 /proc/meminfo: memFree=28312788/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1307204 CPUtime=1601.87 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 267996 0 0 0 160119 68 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 140733907587200 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326801 267770 791 2943 0 323695 0 [pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1307204 [startup+1662.3 s] /proc/loadavg: 2.19 2.25 2.11 4/183 30357 /proc/meminfo: memFree=28312008/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1307204 CPUtime=1661.84 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 268041 0 0 0 166115 69 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 140733907587200 5545872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326801 267770 791 2943 0 323695 0 [pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267770 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1307204 [startup+1722.3 s] /proc/loadavg: 2.22 2.24 2.11 4/183 30358 /proc/meminfo: memFree=28312880/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1307204 CPUtime=1721.81 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 268086 0 0 0 172111 70 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 140733907587200 5672201 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326801 267771 791 2943 0 323695 0 [pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1307204 [startup+1782.3 s] /proc/loadavg: 2.20 2.23 2.11 5/183 30359 /proc/meminfo: memFree=28312160/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1307204 CPUtime=1781.77 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 268131 0 0 0 178106 71 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 140733907588328 5823600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326801 267771 791 2943 0 323695 0 [pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1307204 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.45 2.28 2.13 4/183 30359 /proc/meminfo: memFree=28312256/32872528 swapFree=1370072/1517240 [pid=30283] ppid=30277 vsize=1307204 CPUtime=1800.06 cores=0,2,4,6 /proc/30283/stat : 30283 (toysat) R 30277 30283 29649 0 -1 4202496 268136 0 0 0 179935 71 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 140733907587200 5861860 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/30283/statm: 326801 267771 791 2943 0 323695 0 [pid=30283/tid=30286] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30286/stat : 30286 (toysat) S 30277 30283 29649 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865879457008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=30283/tid=30287] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30287/stat : 30287 (toysat) S 30277 30283 29649 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865868967152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=30283/tid=30288] ppid=30277 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/30283/task/30288/stat : 30288 (toysat) S 30277 30283 29649 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12381772 1338576896 267771 33554432000 4194304 16246674 140733907605328 139865858493616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1307204 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 30283 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.08 CPU user time (s): 1799.36 CPU system time (s): 0.712891 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 1307204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.36 system time used= 0.712891 maximum resident set size= 1071084 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 268136 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= 454 involuntary context switches= 1841 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.70698 second user time and 8.65168 second system time The end
Begin job on node129 at 2016-06-16 20:55:53 IDJOB=4096141 IDBENCH=107572 IDSOLVER=2542 FILE ID=node129/4096141-1466103353 RUNJOBID= node129-1466103353-30255 PBS_JOBID= 19904039 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-eq-random4regular-30.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096141-1466103353/watcher-4096141-1466103353 -o /tmp/evaluation-result-4096141-1466103353/solver-4096141-1466103353 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466103353-30255 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096141-1466103353.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 385932e95fa98a18d84f560f29bbc773 RANDOM SEED=1612421401 node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.28 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.143 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30461424 kB Buffers: 49320 kB Cached: 140008 kB SwapCached: 672 kB Active: 108724 kB Inactive: 82704 kB Active(anon): 3964 kB Inactive(anon): 912 kB Active(file): 104760 kB Inactive(file): 81792 kB Unevictable: 1517240 kB Mlocked: 1370072 kB SwapTotal: 67108856 kB SwapFree: 67100228 kB Dirty: 32764 kB Writeback: 44 kB AnonPages: 1519288 kB Mapped: 7088 kB Shmem: 0 kB Slab: 569872 kB SReclaimable: 13900 kB SUnreclaim: 555972 kB KernelStack: 1384 kB PageTables: 6444 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1613316 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71704 MiB End job on node129 at 2016-06-16 21:25:54