| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/ vertexcover-instances/normalized-vertexcover-grid10x13.opb |
| MD5SUM | ca30570e9c7e27b8edf6fec6726acac5 |
| 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.006998 |
| 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 | 130 |
| Total number of constraints | 261 |
| Number of constraints which are clauses | 260 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 130 |
| 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 | 65 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 195 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-15T23:04:55+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-4089274-1466024695.opb"] 0.00/0.01 c use --random-gen="2809027639 75614598 1890358158 3054258103 1894612424 1851758895 2807028292 704638575 119084954 834729511 2393104529 1874077787 1190005493 851183568 1138033054 58589582 2873586231 4286959497 372712877 3655527211 1889375396 3849121065 8435832 1382534787 2925062052 1124821608 271893118 3727288949 1409978271 1445746939 1374948159 1554233902 1152141159 2940016409 3254140885 2455382842 3747034506 1840299227 4020047244 3924900137 3257414297 898213563 1456376948 2796638161 2233071445 3959712559 2857533635 1869001864 2830965602 54031943 3625223906 209131954 1746264022 1028435572 2263705665 277663481 3112362277 585878908 1689556368 4055951620 3538274086 184470233 3879849215 4018041741 996701216 393649502 2273998089 631443972 3615958770 1877571380 3032938898 4280615130 2563928865 3590815214 3472950997 3870176009 2295210934 1983311735 3478133620 3077241371 2915505472 3568557815 610714051 1151384789 124548202 1009452026 1530969483 1334308353 4260817067 2227726581 3832860973 2800339228 819449542 2731290297 3895875459 2170977311 2195563196 3299137779 1041831694 4195507565 2048105784 4190644403 1493754457 3517210221 2443397714 2805559378 2295635672 1960121712 2715414885 21721966 2389829842 2127761923 2123995349 736241617 902473350 608402421 2476574777 2364500547 1701122381 2219192404 1890687222 2769297524 1206135479 4174662578 3537465394 578900122 134266741 1399528524 1100464827 2388380400 2465605803 3802343810 790385485 3929490312 4032346887 734198687 4064803039 3776365786 776610965 1195505823 1515689521 2843075965 3856762405 943548575 749938899 502454800 3115340968 2154652753 2919469743 581998458 3141956073 1299532389 4127967543 3910316585 3602510177 3523088044 4215361918 144552088 1973268329 1967060487 743157959 4061582823 3000023665 3133584479 2566823552 3422405719 2875941577 3399994810 2962222949 3003815164 444650034 207038439 3640600763 3930377076 179564798 3291721679 1092965817 3216820150 2743582464 2837292914 1171859367 3257552731 568990866 639495959 588349889 2548044846 3179601419 3044064723 4124435356 1455150730 2132636585 220839254 3892026630 3291669827 2400563382 1209270427 4234378523 386269800 80081276 693853356 1031858129 2289751321 975960904 871970196 942208312 2677394917 3247022895 3608750501 2311025879 1574501227 936812423 280072628 1073331434 723118798 825678434 1052443868 2030611723 2164221922 126055599 1637472081 2831370010 2963800117 2494558453 2533028144 867868416 1511400216 2372502133 3774979335 3127304327 3479869268 14233247 3942664098 3450383716 3808341890 76986359 3465689417 535813946 2319936824 131470839 1481698279 1857597456 3975406945 3907837469 517895261 2663045280 628935818 3135701797 1476217182 3873800930 2646314253 1936815500 3275265296 1085339515 2441393991 3087459091 2099644349 255 362436" option to reproduce the execution 0.00/0.01 c #vars 130 0.00/0.01 c #constraints 261 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 | 130 0 | 0 | 0 0.00/0.03 c 0.0s | 1 | 158 | 100 | 130 0 | 0 | 0 0.00/0.05 c 0.0s | 2 | 366 | 250 | 143 1 | 0 | 0 0.00/0.09 c 0.1s | 3 | 648 | 475 | 158 3 | 0 | 0 0.09/0.15 c 0.1s | 4 | 1035 | 813 | 174 6 | 0 | 0 0.19/0.24 c 0.2s | 5 | 1593 | 1320 | 192 10 | 0 | 0 0.29/0.38 c 0.4s | 6 | 2409 | 2081 | 234 16 | 0 | 0 0.49/0.59 c 0.6s | 7 | 3611 | 3223 | 258 24 | 0 | 0 0.79/0.89 c 0.9s | 8 | 5394 | 4936 | 284 34 | 0 | 0 1.10/1.20 c 1.2s | 9 | 8040 | 7506 | 313 49 | 0 | 0 1.59/1.69 c 1.7s | 10 | 11992 | 11361 | 345 70 | 0 | 0 2.39/2.41 c 2.4s | 11 | 17897 | 17144 | 380 99 | 0 | 0 3.39/3.48 c 3.5s | 12 | 26807 | 25819 | 419 139 | 0 | 0 5.09/5.14 c 5.1s | 13 | 40180 | 38832 | 461 194 | 0 | 0 7.09/7.14 c 7.1s | 13 | 55846 | 54132 | 461 253 | 0 | 0 7.69/7.70 c 7.7s | 14 | 60162 | 58352 | 508 270 | 0 | 0 9.68/9.71 c 9.7s | 14 | 75700 | 73452 | 508 323 | 0 | 0 11.49/11.59 c 11.6s | 15 | 90213 | 87632 | 559 374 | 0 | 0 13.58/13.60 c 13.6s | 15 | 105806 | 102732 | 559 423 | 0 | 0 15.58/15.61 c 15.6s | 15 | 120887 | 117432 | 559 471 | 0 | 0 17.48/17.55 c 17.5s | 16 | 135360 | 131552 | 615 517 | 0 | 0 19.48/19.56 c 19.5s | 16 | 150529 | 146352 | 615 561 | 0 | 0 21.48/21.56 c 21.5s | 16 | 165741 | 161252 | 615 606 | 0 | 0 23.48/23.57 c 23.6s | 16 | 180966 | 175952 | 615 650 | 0 | 0 25.48/25.57 c 25.6s | 16 | 196104 | 190652 | 615 694 | 0 | 0 26.39/26.49 c 26.5s | 17 | 203255 | 197432 | 677 714 | 0 | 0 28.48/28.50 c 28.5s | 17 | 218775 | 212532 | 677 755 | 0 | 0 30.48/30.50 c 30.5s | 17 | 234117 | 227332 | 677 796 | 0 | 0 32.48/32.50 c 32.5s | 17 | 249165 | 241932 | 677 836 | 0 | 0 34.48/34.51 c 34.5s | 17 | 264015 | 256232 | 677 875 | 0 | 0 36.48/36.52 c 36.5s | 17 | 279362 | 270832 | 677 915 | 0 | 0 38.49/38.52 c 38.5s | 17 | 294435 | 285232 | 677 955 | 0 | 0 39.98/40.04 c 40.0s | 18 | 305836 | 296252 | 745 985 | 0 | 0 41.99/42.04 c 42.0s | 18 | 321412 | 310952 | 745 1022 | 0 | 0 43.99/44.04 c 44.0s | 18 | 336370 | 325252 | 745 1057 | 0 | 0 45.99/46.05 c 46.0s | 18 | 351163 | 339552 | 745 1093 | 0 | 0 47.99/48.05 c 48.0s | 18 | 365587 | 353552 | 745 1129 | 0 | 0 49.99/50.05 c 50.0s | 18 | 380141 | 367652 | 745 1164 | 0 | 0 51.99/52.05 c 52.0s | 18 | 394948 | 381952 | 745 1200 | 0 | 0 53.99/54.06 c 54.0s | 18 | 409496 | 396052 | 745 1235 | 0 | 0 55.98/56.07 c 56.1s | 18 | 424024 | 410152 | 745 1271 | 0 | 0 57.98/58.08 c 58.1s | 18 | 438804 | 424452 | 745 1307 | 0 | 0 59.98/60.09 c 60.1s | 18 | 453236 | 438452 | 745 1342 | 0 | 0 60.88/60.93 c 60.9s | 19 | 459481 | 444482 | 820 1356 | 0 | 0 62.88/62.94 c 62.9s | 19 | 474687 | 458982 | 820 1390 | 0 | 0 64.89/64.94 c 64.9s | 19 | 489291 | 473082 | 820 1422 | 0 | 0 66.88/66.95 c 66.9s | 19 | 504045 | 487382 | 820 1455 | 0 | 0 68.88/68.96 c 68.9s | 19 | 519021 | 501682 | 820 1487 | 0 | 0 70.88/70.97 c 71.0s | 19 | 533640 | 515582 | 820 1519 | 0 | 0 72.88/72.98 c 73.0s | 19 | 547809 | 529282 | 820 1551 | 0 | 0 74.89/75.00 c 75.0s | 19 | 562489 | 543382 | 820 1583 | 0 | 0 76.99/77.01 c 77.0s | 19 | 576752 | 557082 | 820 1615 | 0 | 0 78.98/79.01 c 79.0s | 19 | 591172 | 570882 | 820 1646 | 0 | 0 80.98/81.02 c 81.0s | 19 | 605580 | 584782 | 820 1678 | 0 | 0 82.98/83.02 c 83.0s | 19 | 620279 | 598882 | 820 1711 | 0 | 0 84.98/85.03 c 85.0s | 19 | 634832 | 612882 | 820 1743 | 0 | 0 86.98/87.03 c 87.0s | 19 | 649393 | 626982 | 820 1775 | 0 | 0 88.97/89.04 c 89.0s | 19 | 664243 | 641082 | 820 1808 | 0 | 0 90.97/91.05 c 91.0s | 19 | 678997 | 655182 | 820 1840 | 0 | 0 92.67/92.72 c 92.7s | 20 | 691103 | 666827 | 903 1866 | 0 | 0 94.68/94.73 c 94.7s | 20 | 706325 | 681227 | 903 1896 | 0 | 0 96.67/96.74 c 96.7s | 20 | 720603 | 694927 | 903 1925 | 0 | 0 98.67/98.76 c 98.7s | 20 | 734949 | 708527 | 903 1953 | 0 | 0 100.67/100.77 c 100s | 20 | 749376 | 722227 | 903 1982 | 0 | 0 102.67/102.77 c 102s | 20 | 763746 | 735927 | 903 2011 | 0 | 0 104.68/104.78 c 104s | 20 | 777788 | 749427 | 903 2039 | 0 | 0 106.68/106.79 c 106s | 20 | 791856 | 762927 | 903 2068 | 0 | 0 108.67/108.79 c 108s | 20 | 806150 | 776627 | 903 2096 | 0 | 0 110.77/110.80 c 110s | 20 | 820363 | 790227 | 903 2125 | 0 | 0 112.77/112.81 c 112s | 20 | 834669 | 803527 | 903 2153 | 0 | 0 114.77/114.82 c 114s | 20 | 848676 | 816827 | 903 2181 | 0 | 0 116.77/116.83 c 116s | 20 | 862521 | 830127 | 903 2208 | 0 | 0 118.78/118.83 c 118s | 20 | 876305 | 843227 | 903 2236 | 0 | 0 120.77/120.85 c 120s | 20 | 890510 | 856827 | 903 2264 | 0 | 0 122.77/122.86 c 122s | 20 | 904326 | 870027 | 903 2292 | 0 | 0 124.77/124.87 c 124s | 20 | 918663 | 883627 | 903 2321 | 0 | 0 126.77/126.87 c 126s | 20 | 932606 | 896927 | 903 2349 | 0 | 0 128.78/128.87 c 128s | 20 | 946828 | 910127 | 903 2376 | 0 | 0 130.77/130.88 c 130s | 20 | 961017 | 923527 | 903 2404 | 0 | 0 132.77/132.89 c 132s | 20 | 975033 | 937227 | 903 2433 | 0 | 0 134.77/134.89 c 134s | 20 | 989137 | 950727 | 903 2461 | 0 | 0 136.86/136.90 c 136s | 20 | 1003045 | 964127 | 903 2489 | 0 | 0 138.87/138.90 c 138s | 20 | 1016850 | 977427 | 903 2517 | 0 | 0 140.78/140.90 c 140s | 20 | 1030653 | 990627 | 903 2545 | 0 | 0 142.27/142.36 c 142s | 21 | 1040792 | 1000345 | 994 2564 | 0 | 0 144.27/144.38 c 144s | 21 | 1054645 | 1013645 | 994 2590 | 0 | 0 146.27/146.40 c 146s | 21 | 1068289 | 1026745 | 994 2615 | 0 | 0 148.37/148.40 c 148s | 21 | 1081636 | 1039645 | 994 2639 | 0 | 0 150.37/150.40 c 150s | 21 | 1095354 | 1052745 | 994 2664 | 0 | 0 152.37/152.41 c 152s | 21 | 1108989 | 1066045 | 994 2690 | 0 | 0 154.37/154.42 c 154s | 21 | 1122675 | 1079145 | 994 2715 | 0 | 0 156.37/156.43 c 156s | 21 | 1136202 | 1092245 | 994 2740 | 0 | 0 158.37/158.43 c 158s | 21 | 1149688 | 1105245 | 994 2765 | 0 | 0 160.36/160.44 c 160s | 21 | 1163789 | 1118645 | 994 2791 | 0 | 0 162.37/162.45 c 162s | 21 | 1177834 | 1131845 | 994 2816 | 0 | 0 164.36/164.45 c 164s | 21 | 1191667 | 1144745 | 994 2840 | 0 | 0 166.36/166.46 c 166s | 21 | 1205450 | 1157445 | 994 2865 | 0 | 0 168.37/168.47 c 168s | 21 | 1219225 | 1170345 | 994 2889 | 0 | 0 170.36/170.48 c 170s | 21 | 1232842 | 1183445 | 994 2914 | 0 | 0 172.36/172.49 c 172s | 21 | 1246904 | 1196845 | 994 2940 | 0 | 0 174.46/174.50 c 174s | 21 | 1260869 | 1210045 | 994 2965 | 0 | 0 176.46/176.50 c 176s | 21 | 1274667 | 1223145 | 994 2991 | 0 | 0 178.46/178.51 c 178s | 21 | 1288408 | 1236245 | 994 3016 | 0 | 0 180.47/180.52 c 180s | 21 | 1302212 | 1249345 | 994 3041 | 0 | 0 182.46/182.52 c 182s | 21 | 1315947 | 1262345 | 994 3066 | 0 | 0 184.46/184.53 c 184s | 21 | 1329634 | 1275245 | 994 3091 | 0 | 0 186.46/186.53 c 186s | 21 | 1343194 | 1288245 | 994 3116 | 0 | 0 188.46/188.54 c 188s | 21 | 1356858 | 1301145 | 994 3140 | 0 | 0 190.46/190.55 c 190s | 21 | 1370607 | 1314345 | 994 3166 | 0 | 0 192.46/192.56 c 192s | 21 | 1384489 | 1327345 | 994 3191 | 0 | 0 194.46/194.57 c 194s | 21 | 1398060 | 1340445 | 994 3216 | 0 | 0 196.46/196.59 c 196s | 21 | 1411601 | 1353345 | 994 3241 | 0 | 0 198.55/198.60 c 198s | 21 | 1425017 | 1366045 | 994 3265 | 0 | 0 200.55/200.61 c 200s | 21 | 1438763 | 1378945 | 994 3290 | 0 | 0 202.56/202.62 c 202s | 21 | 1452616 | 1392045 | 994 3315 | 0 | 0 204.57/204.62 c 204s | 21 | 1466201 | 1405145 | 994 3340 | 0 | 0 206.56/206.63 c 206s | 21 | 1479772 | 1418145 | 994 3365 | 0 | 0 208.56/208.65 c 208s | 21 | 1493144 | 1431045 | 994 3390 | 0 | 0 210.56/210.65 c 210s | 21 | 1506614 | 1443845 | 994 3414 | 0 | 0 212.56/212.66 c 212s | 21 | 1520051 | 1456645 | 994 3439 | 0 | 0 214.56/214.67 c 214s | 21 | 1533520 | 1469645 | 994 3464 | 0 | 0 216.56/216.68 c 216s | 21 | 1546877 | 1482345 | 994 3488 | 0 | 0 218.56/218.69 c 218s | 21 | 1559943 | 1495045 | 1094 3511 | 0 | 0 219.45/219.59 c 219s | 22 | 1565715 | 1500622 | 1094 3521 | 0 | 0 221.45/221.59 c 221s | 22 | 1579827 | 1513822 | 1094 3544 | 0 | 0 223.55/223.60 c 223s | 22 | 1593228 | 1526622 | 1094 3567 | 0 | 0 225.56/225.61 c 225s | 22 | 1606962 | 1539922 | 1094 3590 | 0 | 0 227.55/227.62 c 227s | 22 | 1620413 | 1552722 | 1094 3612 | 0 | 0 229.55/229.62 c 229s | 22 | 1633576 | 1565322 | 1094 3634 | 0 | 0 231.55/231.62 c 231s | 22 | 1647382 | 1578522 | 1094 3657 | 0 | 0 233.55/233.63 c 233s | 22 | 1660993 | 1591422 | 1094 3680 | 0 | 0 235.56/235.64 c 235s | 22 | 1674793 | 1604322 | 1094 3702 | 0 | 0 237.56/237.65 c 237s | 22 | 1688181 | 1617122 | 1094 3725 | 0 | 0 239.56/239.65 c 239s | 22 | 1701577 | 1630022 | 1094 3747 | 0 | 0 241.56/241.67 c 241s | 22 | 1715000 | 1642922 | 1094 3770 | 0 | 0 243.56/243.68 c 243s | 22 | 1728438 | 1655822 | 1094 3792 | 0 | 0 245.56/245.69 c 245s | 22 | 1741809 | 1668622 | 1094 3815 | 0 | 0 247.66/247.70 c 247s | 22 | 1755509 | 1681522 | 1094 3837 | 0 | 0 249.66/249.72 c 249s | 22 | 1769092 | 1694422 | 1094 3860 | 0 | 0 251.65/251.73 c 251s | 22 | 1782322 | 1707022 | 1094 3882 | 0 | 0 253.65/253.73 c 253s | 22 | 1795406 | 1719622 | 1094 3904 | 0 | 0 255.65/255.74 c 255s | 22 | 1808678 | 1732322 | 1094 3926 | 0 | 0 257.65/257.74 c 257s | 22 | 1822164 | 1745222 | 1094 3948 | 0 | 0 259.66/259.75 c 259s | 22 | 1835308 | 1757722 | 1094 3970 | 0 | 0 261.65/261.75 c 261s | 22 | 1848926 | 1770622 | 1094 3993 | 0 | 0 263.65/263.76 c 263s | 22 | 1862452 | 1783722 | 1094 4016 | 0 | 0 265.65/265.77 c 265s | 22 | 1875589 | 1796522 | 1094 4038 | 0 | 0 267.65/267.77 c 267s | 22 | 1889061 | 1809722 | 1094 4061 | 0 | 0 269.65/269.78 c 269s | 22 | 1902604 | 1822822 | 1094 4084 | 0 | 0 271.65/271.78 c 271s | 22 | 1915909 | 1835522 | 1094 4106 | 0 | 0 273.65/273.79 c 273s | 22 | 1928838 | 1848122 | 1094 4128 | 0 | 0 275.65/275.80 c 275s | 22 | 1942260 | 1861022 | 1094 4151 | 0 | 0 277.75/277.80 c 277s | 22 | 1955388 | 1873622 | 1094 4173 | 0 | 0 279.75/279.81 c 279s | 22 | 1968696 | 1886522 | 1094 4195 | 0 | 0 281.75/281.81 c 281s | 22 | 1982008 | 1899522 | 1094 4218 | 0 | 0 283.75/283.81 c 283s | 22 | 1995473 | 1912522 | 1094 4241 | 0 | 0 285.74/285.82 c 285s | 22 | 2008976 | 1925222 | 1094 4263 | 0 | 0 287.74/287.82 c 287s | 22 | 2022279 | 1937922 | 1094 4286 | 0 | 0 289.74/289.83 c 289s | 22 | 2035662 | 1950622 | 1094 4308 | 0 | 0 291.74/291.83 c 291s | 22 | 2049349 | 1963422 | 1094 4330 | 0 | 0 293.75/293.83 c 293s | 22 | 2062799 | 1976322 | 1094 4353 | 0 | 0 295.74/295.85 c 295s | 22 | 2076259 | 1989222 | 1094 4375 | 0 | 0 297.74/297.87 c 297s | 22 | 2089705 | 2002022 | 1094 4398 | 0 | 0 299.74/299.87 c 299s | 22 | 2102966 | 2014722 | 1094 4420 | 0 | 0 301.74/301.89 c 301s | 22 | 2116192 | 2027422 | 1094 4442 | 0 | 0 303.74/303.89 c 303s | 22 | 2129808 | 2040322 | 1094 4465 | 0 | 0 305.75/305.90 c 305s | 22 | 2142970 | 2053022 | 1094 4487 | 0 | 0 307.85/307.90 c 307s | 22 | 2155979 | 2065522 | 1094 4509 | 0 | 0 309.85/309.91 c 309s | 22 | 2169159 | 2078122 | 1094 4531 | 0 | 0 311.85/311.92 c 311s | 22 | 2182621 | 2091222 | 1094 4554 | 0 | 0 313.85/313.93 c 313s | 22 | 2195773 | 2103822 | 1094 4576 | 0 | 0 315.85/315.94 c 315s | 22 | 2208903 | 2116522 | 1094 4598 | 0 | 0 317.85/317.95 c 317s | 22 | 2222116 | 2129222 | 1094 4620 | 0 | 0 319.84/319.96 c 319s | 22 | 2235149 | 2141722 | 1094 4642 | 0 | 0 321.84/321.96 c 321s | 22 | 2248513 | 2154422 | 1094 4664 | 0 | 0 323.84/323.98 c 323s | 22 | 2261792 | 2167022 | 1094 4686 | 0 | 0 325.84/325.98 c 325s | 22 | 2274957 | 2179522 | 1094 4708 | 0 | 0 327.85/327.99 c 327s | 22 | 2288413 | 2192022 | 1094 4730 | 0 | 0 329.84/330.00 c 329s | 22 | 2301544 | 2204522 | 1094 4752 | 0 | 0 331.94/332.01 c 331s | 22 | 2314840 | 2216822 | 1094 4774 | 0 | 0 333.94/334.02 c 334s | 22 | 2327992 | 2229522 | 1094 4796 | 0 | 0 335.94/336.02 c 336s | 22 | 2340654 | 2241722 | 1204 4816 | 0 | 0 337.34/337.46 c 337s | 23 | 2350473 | 2251038 | 1204 4831 | 0 | 0 339.34/339.46 c 339s | 23 | 2364027 | 2264038 | 1204 4851 | 0 | 0 341.34/341.48 c 341s | 23 | 2377565 | 2277038 | 1204 4872 | 0 | 0 343.34/343.49 c 343s | 23 | 2391011 | 2289938 | 1204 4893 | 0 | 0 345.34/345.50 c 345s | 23 | 2404714 | 2302938 | 1204 4913 | 0 | 0 347.44/347.50 c 347s | 23 | 2418090 | 2315538 | 1204 4933 | 0 | 0 349.43/349.50 c 349s | 23 | 2431218 | 2327938 | 1204 4953 | 0 | 0 351.43/351.51 c 351s | 23 | 2444313 | 2340438 | 1204 4973 | 0 | 0 353.43/353.52 c 353s | 23 | 2457442 | 2353038 | 1204 4993 | 0 | 0 355.43/355.52 c 355s | 23 | 2470538 | 2365638 | 1204 5013 | 0 | 0 357.44/357.53 c 357s | 23 | 2483510 | 2378138 | 1204 5033 | 0 | 0 359.43/359.53 c 359s | 23 | 2496601 | 2390638 | 1204 5053 | 0 | 0 361.43/361.54 c 361s | 23 | 2509775 | 2403338 | 1204 5073 | 0 | 0 363.44/363.55 c 363s | 23 | 2523432 | 2416438 | 1204 5094 | 0 | 0 365.44/365.56 c 365s | 23 | 2536747 | 2429238 | 1204 5115 | 0 | 0 367.44/367.57 c 367s | 23 | 2550272 | 2441938 | 1204 5135 | 0 | 0 369.44/369.57 c 369s | 23 | 2563555 | 2454738 | 1204 5155 | 0 | 0 371.44/371.58 c 371s | 23 | 2576993 | 2467438 | 1204 5175 | 0 | 0 373.44/373.59 c 373s | 23 | 2589969 | 2480038 | 1204 5196 | 0 | 0 375.54/375.60 c 375s | 23 | 2603217 | 2492738 | 1204 5216 | 0 | 0 377.54/377.61 c 377s | 23 | 2616619 | 2505438 | 1204 5236 | 0 | 0 379.54/379.61 c 379s | 23 | 2629610 | 2517838 | 1204 5256 | 0 | 0 381.53/381.63 c 381s | 23 | 2642384 | 2530238 | 1204 5276 | 0 | 0 383.53/383.64 c 383s | 23 | 2655806 | 2542938 | 1204 5296 | 0 | 0 385.53/385.64 c 385s | 23 | 2669018 | 2555638 | 1204 5316 | 0 | 0 387.53/387.66 c 387s | 23 | 2682092 | 2568038 | 1204 5336 | 0 | 0 389.53/389.66 c 389s | 23 | 2695424 | 2580338 | 1204 5356 | 0 | 0 391.54/391.66 c 391s | 23 | 2708605 | 2592838 | 1204 5376 | 0 | 0 393.53/393.67 c 393s | 23 | 2721808 | 2605538 | 1204 5396 | 0 | 0 395.53/395.67 c 395s | 23 | 2734975 | 2617938 | 1204 5416 | 0 | 0 397.52/397.68 c 397s | 23 | 2747939 | 2630438 | 1204 5436 | 0 | 0 399.53/399.69 c 399s | 23 | 2761042 | 2642938 | 1204 5456 | 0 | 0 401.54/401.69 c 401s | 23 | 2773950 | 2655238 | 1204 5475 | 0 | 0 403.53/403.69 c 403s | 23 | 2786608 | 2667138 | 1204 5494 | 0 | 0 405.63/405.71 c 405s | 23 | 2800449 | 2679938 | 1204 5515 | 0 | 0 407.63/407.72 c 407s | 23 | 2813895 | 2692538 | 1204 5535 | 0 | 0 409.63/409.73 c 409s | 23 | 2827001 | 2705038 | 1204 5555 | 0 | 0 411.63/411.73 c 411s | 23 | 2840183 | 2717538 | 1204 5575 | 0 | 0 413.63/413.75 c 413s | 23 | 2853494 | 2730038 | 1204 5595 | 0 | 0 415.62/415.75 c 415s | 23 | 2866476 | 2742438 | 1204 5614 | 0 | 0 417.62/417.76 c 417s | 23 | 2879838 | 2755038 | 1204 5634 | 0 | 0 419.62/419.77 c 419s | 23 | 2892685 | 2767338 | 1204 5654 | 0 | 0 421.62/421.77 c 421s | 23 | 2905680 | 2779738 | 1204 5674 | 0 | 0 423.62/423.78 c 423s | 23 | 2919118 | 2792438 | 1204 5694 | 0 | 0 425.63/425.79 c 425s | 23 | 2931968 | 2804838 | 1204 5714 | 0 | 0 427.72/427.81 c 427s | 23 | 2945061 | 2817138 | 1204 5734 | 0 | 0 429.72/429.81 c 429s | 23 | 2958179 | 2829438 | 1204 5753 | 0 | 0 431.72/431.82 c 431s | 23 | 2971090 | 2841738 | 1204 5773 | 0 | 0 433.72/433.82 c 433s | 23 | 2984161 | 2854138 | 1204 5793 | 0 | 0 435.72/435.82 c 435s | 23 | 2997329 | 2866438 | 1204 5812 | 0 | 0 437.73/437.84 c 437s | 23 | 3010512 | 2878938 | 1204 5832 | 0 | 0 439.72/439.85 c 439s | 23 | 3023643 | 2891438 | 1204 5852 | 0 | 0 441.73/441.85 c 441s | 23 | 3036483 | 2903738 | 1204 5872 | 0 | 0 443.73/443.86 c 443s | 23 | 3049192 | 2916038 | 1204 5892 | 0 | 0 445.73/445.87 c 445s | 23 | 3062655 | 2928438 | 1204 5912 | 0 | 0 447.73/447.88 c 447s | 23 | 3075522 | 2940438 | 1204 5931 | 0 | 0 449.72/449.88 c 449s | 23 | 3088820 | 2952838 | 1204 5951 | 0 | 0 451.72/451.88 c 451s | 23 | 3102073 | 2965238 | 1204 5970 | 0 | 0 453.72/453.90 c 453s | 23 | 3114981 | 2977538 | 1204 5990 | 0 | 0 455.82/455.90 c 455s | 23 | 3128281 | 2989938 | 1204 6010 | 0 | 0 457.82/457.91 c 457s | 23 | 3141891 | 3002638 | 1204 6030 | 0 | 0 459.83/459.92 c 459s | 23 | 3154886 | 3015038 | 1204 6050 | 0 | 0 461.82/461.93 c 461s | 23 | 3167714 | 3027338 | 1204 6069 | 0 | 0 463.82/463.93 c 463s | 23 | 3180662 | 3039738 | 1204 6089 | 0 | 0 465.82/465.95 c 465s | 23 | 3193909 | 3052138 | 1204 6109 | 0 | 0 467.81/467.96 c 467s | 23 | 3206844 | 3064438 | 1204 6129 | 0 | 0 469.82/469.96 c 469s | 23 | 3219767 | 3076638 | 1204 6148 | 0 | 0 471.83/471.96 c 471s | 23 | 3232558 | 3088738 | 1204 6168 | 0 | 0 473.82/473.97 c 473s | 23 | 3245376 | 3100938 | 1204 6187 | 0 | 0 475.82/475.98 c 475s | 23 | 3258531 | 3113438 | 1204 6207 | 0 | 0 477.82/477.98 c 477s | 23 | 3271787 | 3125838 | 1204 6227 | 0 | 0 479.92/480.00 c 479s | 23 | 3285139 | 3138238 | 1204 6247 | 0 | 0 481.92/482.01 c 481s | 23 | 3298082 | 3150438 | 1204 6266 | 0 | 0 483.93/484.02 c 484s | 23 | 3311208 | 3162838 | 1204 6286 | 0 | 0 485.92/486.02 c 486s | 23 | 3324359 | 3175438 | 1204 6306 | 0 | 0 487.92/488.03 c 488s | 23 | 3337448 | 3187838 | 1204 6326 | 0 | 0 489.92/490.04 c 490s | 23 | 3350863 | 3200538 | 1204 6346 | 0 | 0 491.92/492.06 c 492s | 23 | 3364079 | 3213138 | 1204 6366 | 0 | 0 493.92/494.06 c 494s | 23 | 3377131 | 3225438 | 1204 6386 | 0 | 0 495.91/496.07 c 496s | 23 | 3390251 | 3237938 | 1204 6406 | 0 | 0 497.91/498.07 c 498s | 23 | 3403250 | 3250338 | 1204 6426 | 0 | 0 499.91/500.08 c 500s | 23 | 3416087 | 3262638 | 1204 6445 | 0 | 0 501.91/502.09 c 502s | 23 | 3429111 | 3274938 | 1204 6465 | 0 | 0 504.01/504.10 c 504s | 23 | 3442184 | 3287238 | 1204 6484 | 0 | 0 506.02/506.11 c 506s | 23 | 3455300 | 3299538 | 1204 6504 | 0 | 0 508.01/508.12 c 508s | 23 | 3468235 | 3311738 | 1204 6524 | 0 | 0 510.01/510.13 c 510s | 23 | 3481562 | 3324038 | 1204 6543 | 0 | 0 512.01/512.13 c 512s | 23 | 3494547 | 3336438 | 1204 6563 | 0 | 0 514.01/514.14 c 514s | 23 | 3507418 | 3348738 | 1204 6583 | 0 | 0 516.01/516.14 c 516s | 23 | 3520134 | 3360838 | 1325 6601 | 0 | 0 518.01/518.16 c 518s | 23 | 3533029 | 3373138 | 1325 6619 | 0 | 0 518.61/518.74 c 518s | 24 | 3536734 | 3376662 | 1325 6624 | 0 | 0 520.61/520.75 c 520s | 24 | 3549941 | 3389162 | 1325 6642 | 0 | 0 522.62/522.76 c 522s | 24 | 3563356 | 3401662 | 1325 6660 | 0 | 0 524.62/524.77 c 524s | 24 | 3576177 | 3413862 | 1325 6678 | 0 | 0 526.61/526.77 c 526s | 24 | 3588913 | 3425862 | 1325 6695 | 0 | 0 528.61/528.78 c 528s | 24 | 3602155 | 3438162 | 1325 6713 | 0 | 0 530.61/530.78 c 530s | 24 | 3615160 | 3450262 | 1325 6731 | 0 | 0 532.61/532.79 c 532s | 24 | 3628178 | 3462662 | 1325 6749 | 0 | 0 534.71/534.80 c 534s | 24 | 3641038 | 3474862 | 1325 6766 | 0 | 0 536.72/536.81 c 536s | 24 | 3653780 | 3486962 | 1325 6784 | 0 | 0 538.71/538.81 c 538s | 24 | 3666744 | 3498962 | 1325 6801 | 0 | 0 540.71/540.82 c 540s | 24 | 3679591 | 3511062 | 1325 6819 | 0 | 0 542.71/542.83 c 542s | 24 | 3692228 | 3523162 | 1325 6836 | 0 | 0 544.71/544.83 c 544s | 24 | 3704931 | 3535262 | 1325 6854 | 0 | 0 546.71/546.84 c 546s | 24 | 3717481 | 3547062 | 1325 6871 | 0 | 0 548.71/548.86 c 548s | 24 | 3730117 | 3559162 | 1325 6889 | 0 | 0 550.71/550.87 c 550s | 24 | 3743267 | 3571462 | 1325 6906 | 0 | 0 552.71/552.87 c 552s | 24 | 3755989 | 3583562 | 1325 6924 | 0 | 0 554.71/554.88 c 554s | 24 | 3768839 | 3595562 | 1325 6942 | 0 | 0 556.71/556.89 c 556s | 24 | 3781569 | 3607562 | 1325 6959 | 0 | 0 558.81/558.91 c 558s | 24 | 3794500 | 3619762 | 1325 6977 | 0 | 0 560.80/560.91 c 560s | 24 | 3807091 | 3631662 | 1325 6994 | 0 | 0 562.80/562.93 c 562s | 24 | 3820382 | 3644162 | 1325 7012 | 0 | 0 564.80/564.94 c 564s | 24 | 3833432 | 3656562 | 1325 7030 | 0 | 0 566.80/566.95 c 566s | 24 | 3846640 | 3669062 | 1325 7048 | 0 | 0 568.80/568.96 c 568s | 24 | 3859400 | 3681062 | 1325 7066 | 0 | 0 570.81/570.97 c 570s | 24 | 3872074 | 3693362 | 1325 7084 | 0 | 0 572.80/572.97 c 572s | 24 | 3884889 | 3705562 | 1325 7101 | 0 | 0 574.80/574.98 c 574s | 24 | 3897413 | 3717562 | 1325 7119 | 0 | 0 576.80/576.99 c 576s | 24 | 3910264 | 3729662 | 1325 7137 | 0 | 0 578.90/579.00 c 578s | 24 | 3923262 | 3741962 | 1325 7154 | 0 | 0 580.90/581.01 c 580s | 24 | 3936112 | 3753862 | 1325 7172 | 0 | 0 582.90/583.01 c 582s | 24 | 3949228 | 3766062 | 1325 7190 | 0 | 0 584.90/585.02 c 585s | 24 | 3962089 | 3778162 | 1325 7207 | 0 | 0 586.90/587.03 c 587s | 24 | 3975056 | 3790262 | 1325 7225 | 0 | 0 588.90/589.05 c 589s | 24 | 3987825 | 3802462 | 1325 7243 | 0 | 0 590.90/591.05 c 591s | 24 | 4000596 | 3814562 | 1325 7260 | 0 | 0 592.91/593.05 c 593s | 24 | 4013216 | 3826762 | 1325 7278 | 0 | 0 594.90/595.07 c 595s | 24 | 4025884 | 3839062 | 1325 7296 | 0 | 0 596.90/597.07 c 597s | 24 | 4038659 | 3851362 | 1325 7314 | 0 | 0 598.90/599.08 c 599s | 24 | 4051479 | 3863562 | 1325 7331 | 0 | 0 600.90/601.09 c 601s | 24 | 4064411 | 3875762 | 1325 7349 | 0 | 0 603.00/603.10 c 603s | 24 | 4076951 | 3887662 | 1325 7367 | 0 | 0 605.01/605.11 c 605s | 24 | 4089483 | 3899762 | 1325 7384 | 0 | 0 607.00/607.13 c 607s | 24 | 4101802 | 3911562 | 1325 7401 | 0 | 0 609.00/609.13 c 609s | 24 | 4114298 | 3923562 | 1325 7419 | 0 | 0 611.00/611.14 c 611s | 24 | 4126817 | 3935562 | 1325 7436 | 0 | 0 613.00/613.14 c 613s | 24 | 4139452 | 3947562 | 1325 7454 | 0 | 0 615.00/615.15 c 615s | 24 | 4152279 | 3959762 | 1325 7471 | 0 | 0 617.00/617.16 c 617s | 24 | 4164928 | 3972062 | 1325 7489 | 0 | 0 618.99/619.18 c 619s | 24 | 4177592 | 3984162 | 1325 7507 | 0 | 0 620.99/621.20 c 621s | 24 | 4190358 | 3996362 | 1325 7525 | 0 | 0 623.09/623.21 c 623s | 24 | 4203028 | 4008462 | 1325 7542 | 0 | 0 625.09/625.22 c 625s | 24 | 4215575 | 4020362 | 1325 7560 | 0 | 0 627.09/627.23 c 627s | 24 | 4228292 | 4032662 | 1325 7577 | 0 | 0 629.10/629.23 c 629s | 24 | 4240849 | 4044662 | 1325 7595 | 0 | 0 631.09/631.25 c 631s | 24 | 4253597 | 4056762 | 1325 7613 | 0 | 0 633.09/633.25 c 633s | 24 | 4266246 | 4068862 | 1325 7630 | 0 | 0 635.09/635.27 c 635s | 24 | 4278814 | 4080962 | 1325 7648 | 0 | 0 637.09/637.28 c 637s | 24 | 4291269 | 4092962 | 1325 7665 | 0 | 0 639.10/639.28 c 639s | 24 | 4303753 | 4105062 | 1325 7683 | 0 | 0 641.09/641.30 c 641s | 24 | 4316321 | 4117162 | 1325 7701 | 0 | 0 643.19/643.30 c 643s | 24 | 4328840 | 4129262 | 1325 7718 | 0 | 0 645.19/645.32 c 645s | 24 | 4341788 | 4141662 | 1325 7736 | 0 | 0 647.19/647.33 c 647s | 24 | 4354582 | 4153962 | 1325 7754 | 0 | 0 649.20/649.35 c 649s | 24 | 4367261 | 4166062 | 1325 7772 | 0 | 0 651.20/651.36 c 651s | 24 | 4379876 | 4178162 | 1325 7790 | 0 | 0 653.19/653.36 c 653s | 24 | 4392395 | 4190062 | 1325 7807 | 0 | 0 655.19/655.38 c 655s | 24 | 4404664 | 4201962 | 1325 7824 | 0 | 0 657.19/657.39 c 657s | 24 | 4417334 | 4213862 | 1325 7842 | 0 | 0 659.19/659.39 c 659s | 24 | 4429756 | 4225662 | 1325 7859 | 0 | 0 661.19/661.39 c 661s | 24 | 4442278 | 4237562 | 1325 7876 | 0 | 0 663.30/663.40 c 663s | 24 | 4454415 | 4249362 | 1325 7893 | 0 | 0 665.29/665.42 c 665s | 24 | 4466792 | 4261162 | 1325 7911 | 0 | 0 667.29/667.43 c 667s | 24 | 4479246 | 4273062 | 1325 7928 | 0 | 0 669.29/669.45 c 669s | 24 | 4491802 | 4284962 | 1325 7945 | 0 | 0 671.29/671.46 c 671s | 24 | 4504366 | 4296662 | 1325 7962 | 0 | 0 673.28/673.46 c 673s | 24 | 4516763 | 4308262 | 1325 7979 | 0 | 0 675.29/675.46 c 675s | 24 | 4529135 | 4319762 | 1325 7996 | 0 | 0 677.28/677.46 c 677s | 24 | 4542191 | 4331862 | 1325 8014 | 0 | 0 679.29/679.47 c 679s | 24 | 4555011 | 4343962 | 1325 8031 | 0 | 0 681.29/681.49 c 681s | 24 | 4567721 | 4355962 | 1325 8049 | 0 | 0 683.39/683.50 c 683s | 24 | 4580293 | 4367862 | 1325 8066 | 0 | 0 685.39/685.51 c 685s | 24 | 4593064 | 4379862 | 1325 8083 | 0 | 0 687.40/687.52 c 687s | 24 | 4605708 | 4391862 | 1325 8101 | 0 | 0 689.39/689.54 c 689s | 24 | 4618754 | 4404162 | 1325 8119 | 0 | 0 691.38/691.54 c 691s | 24 | 4631942 | 4416662 | 1325 8137 | 0 | 0 693.38/693.55 c 693s | 24 | 4644749 | 4428762 | 1325 8154 | 0 | 0 695.38/695.55 c 695s | 24 | 4657272 | 4440862 | 1325 8172 | 0 | 0 697.39/697.57 c 697s | 24 | 4670144 | 4453062 | 1325 8190 | 0 | 0 699.38/699.57 c 699s | 24 | 4682742 | 4465062 | 1325 8207 | 0 | 0 701.38/701.57 c 701s | 24 | 4695245 | 4477062 | 1325 8225 | 0 | 0 703.38/703.58 c 703s | 24 | 4707899 | 4489062 | 1325 8242 | 0 | 0 705.38/705.59 c 705s | 24 | 4720327 | 4500962 | 1325 8260 | 0 | 0 707.48/707.61 c 707s | 24 | 4732799 | 4512962 | 1325 8277 | 0 | 0 709.49/709.62 c 709s | 24 | 4745448 | 4524862 | 1325 8294 | 0 | 0 711.48/711.64 c 711s | 24 | 4757961 | 4536662 | 1325 8312 | 0 | 0 713.48/713.65 c 713s | 24 | 4770722 | 4548762 | 1325 8329 | 0 | 0 715.48/715.66 c 715s | 24 | 4783482 | 4560762 | 1325 8347 | 0 | 0 717.48/717.67 c 717s | 24 | 4796223 | 4572962 | 1325 8364 | 0 | 0 719.48/719.68 c 719s | 24 | 4809103 | 4585062 | 1325 8382 | 0 | 0 721.48/721.69 c 721s | 24 | 4821455 | 4596962 | 1325 8400 | 0 | 0 723.58/723.70 c 723s | 24 | 4834114 | 4609062 | 1325 8417 | 0 | 0 725.58/725.72 c 725s | 24 | 4846563 | 4620962 | 1325 8434 | 0 | 0 727.57/727.72 c 727s | 24 | 4859029 | 4632762 | 1325 8452 | 0 | 0 729.57/729.72 c 729s | 24 | 4871518 | 4644662 | 1325 8469 | 0 | 0 731.57/731.73 c 731s | 24 | 4884352 | 4656962 | 1325 8487 | 0 | 0 733.58/733.75 c 733s | 24 | 4896930 | 4669162 | 1325 8505 | 0 | 0 735.57/735.76 c 735s | 24 | 4909531 | 4681062 | 1325 8522 | 0 | 0 737.57/737.78 c 737s | 24 | 4922070 | 4693262 | 1325 8540 | 0 | 0 739.57/739.78 c 739s | 24 | 4934808 | 4705462 | 1325 8557 | 0 | 0 741.58/741.78 c 741s | 24 | 4947114 | 4717362 | 1325 8575 | 0 | 0 743.59/743.79 c 743s | 24 | 4959667 | 4729562 | 1325 8592 | 0 | 0 745.69/745.80 c 745s | 24 | 4972017 | 4741462 | 1325 8610 | 0 | 0 747.68/747.81 c 747s | 24 | 4984283 | 4753262 | 1325 8627 | 0 | 0 749.68/749.81 c 749s | 24 | 4997085 | 4765262 | 1325 8644 | 0 | 0 751.67/751.81 c 751s | 24 | 5009504 | 4777162 | 1325 8662 | 0 | 0 753.67/753.83 c 753s | 24 | 5022047 | 4789262 | 1325 8679 | 0 | 0 755.68/755.83 c 755s | 24 | 5034586 | 4801162 | 1325 8697 | 0 | 0 757.67/757.84 c 757s | 24 | 5047088 | 4813162 | 1325 8714 | 0 | 0 759.67/759.85 c 759s | 24 | 5060064 | 4825662 | 1325 8732 | 0 | 0 761.67/761.86 c 761s | 24 | 5072608 | 4837662 | 1325 8750 | 0 | 0 763.67/763.88 c 763s | 24 | 5085294 | 4849962 | 1325 8768 | 0 | 0 765.66/765.89 c 765s | 24 | 5097902 | 4862162 | 1325 8785 | 0 | 0 767.77/767.91 c 767s | 24 | 5110433 | 4874262 | 1325 8803 | 0 | 0 769.76/769.92 c 769s | 24 | 5122799 | 4886162 | 1325 8820 | 0 | 0 771.76/771.92 c 771s | 24 | 5135156 | 4898062 | 1325 8838 | 0 | 0 773.76/773.92 c 773s | 24 | 5147632 | 4910162 | 1325 8855 | 0 | 0 775.77/775.93 c 775s | 24 | 5160489 | 4922362 | 1325 8873 | 0 | 0 777.76/777.94 c 777s | 24 | 5173154 | 4934462 | 1325 8891 | 0 | 0 779.77/779.95 c 779s | 24 | 5185734 | 4946562 | 1325 8909 | 0 | 0 781.76/781.97 c 781s | 24 | 5198399 | 4958862 | 1325 8927 | 0 | 0 783.76/783.98 c 783s | 24 | 5210840 | 4970862 | 1325 8944 | 0 | 0 785.76/785.99 c 785s | 24 | 5223493 | 4983062 | 1325 8962 | 0 | 0 787.85/788.00 c 787s | 24 | 5235756 | 4994862 | 1325 8979 | 0 | 0 789.85/790.01 c 789s | 24 | 5248066 | 5006762 | 1325 8997 | 0 | 0 791.86/792.01 c 792s | 24 | 5260316 | 5018762 | 1325 9014 | 0 | 0 793.85/794.02 c 794s | 24 | 5272701 | 5030762 | 1458 9031 | 0 | 0 795.85/796.04 c 796s | 24 | 5284960 | 5042662 | 1458 9047 | 0 | 0 797.85/798.04 c 798s | 24 | 5297191 | 5054562 | 1458 9063 | 0 | 0 799.65/799.83 c 799s | 25 | 5308061 | 5065098 | 1458 9077 | 0 | 0 801.64/801.84 c 801s | 25 | 5321434 | 5077598 | 1458 9093 | 0 | 0 803.64/803.85 c 803s | 25 | 5334396 | 5089698 | 1458 9109 | 0 | 0 805.64/805.86 c 805s | 25 | 5347208 | 5101898 | 1458 9125 | 0 | 0 807.64/807.87 c 807s | 25 | 5360080 | 5114098 | 1458 9141 | 0 | 0 809.64/809.88 c 809s | 25 | 5373106 | 5126298 | 1458 9157 | 0 | 0 811.64/811.89 c 811s | 25 | 5385582 | 5138398 | 1458 9173 | 0 | 0 813.74/813.91 c 813s | 25 | 5398713 | 5150498 | 1458 9189 | 0 | 0 815.74/815.92 c 815s | 25 | 5411545 | 5162498 | 1458 9205 | 0 | 0 817.73/817.93 c 817s | 25 | 5424217 | 5174498 | 1458 9221 | 0 | 0 819.73/819.94 c 819s | 25 | 5436958 | 5186498 | 1458 9237 | 0 | 0 821.73/821.94 c 821s | 25 | 5449572 | 5198398 | 1458 9253 | 0 | 0 823.74/823.94 c 823s | 25 | 5462340 | 5210398 | 1458 9269 | 0 | 0 825.73/825.95 c 825s | 25 | 5474932 | 5222298 | 1458 9284 | 0 | 0 827.73/827.95 c 827s | 25 | 5487657 | 5234198 | 1458 9300 | 0 | 0 829.73/829.96 c 829s | 25 | 5500344 | 5246298 | 1458 9316 | 0 | 0 831.73/831.97 c 831s | 25 | 5512859 | 5258198 | 1458 9332 | 0 | 0 833.74/833.97 c 833s | 25 | 5525534 | 5270098 | 1458 9348 | 0 | 0 835.73/835.98 c 835s | 25 | 5538229 | 5281898 | 1458 9363 | 0 | 0 837.72/837.98 c 837s | 25 | 5550735 | 5293598 | 1458 9379 | 0 | 0 839.82/840.00 c 839s | 25 | 5563891 | 5305698 | 1458 9395 | 0 | 0 841.82/842.00 c 841s | 25 | 5576488 | 5317398 | 1458 9410 | 0 | 0 843.82/844.02 c 844s | 25 | 5588984 | 5329098 | 1458 9426 | 0 | 0 845.82/846.02 c 846s | 25 | 5601727 | 5341198 | 1458 9442 | 0 | 0 847.82/848.03 c 848s | 25 | 5614476 | 5353098 | 1458 9457 | 0 | 0 849.82/850.03 c 850s | 25 | 5627291 | 5365198 | 1458 9473 | 0 | 0 851.82/852.04 c 852s | 25 | 5639913 | 5377098 | 1458 9489 | 0 | 0 853.82/854.06 c 854s | 25 | 5652326 | 5388898 | 1458 9505 | 0 | 0 855.82/856.07 c 856s | 25 | 5664765 | 5400598 | 1458 9520 | 0 | 0 857.83/858.08 c 858s | 25 | 5677121 | 5412298 | 1458 9536 | 0 | 0 859.82/860.09 c 860s | 25 | 5689241 | 5423898 | 1458 9551 | 0 | 0 861.92/862.10 c 862s | 25 | 5701519 | 5435698 | 1458 9566 | 0 | 0 863.92/864.11 c 864s | 25 | 5713630 | 5447298 | 1458 9582 | 0 | 0 865.92/866.11 c 866s | 25 | 5726319 | 5459098 | 1458 9597 | 0 | 0 867.91/868.12 c 868s | 25 | 5739404 | 5471198 | 1458 9613 | 0 | 0 869.92/870.13 c 870s | 25 | 5752042 | 5483098 | 1458 9629 | 0 | 0 871.91/872.14 c 872s | 25 | 5764666 | 5495098 | 1458 9645 | 0 | 0 873.91/874.16 c 874s | 25 | 5777083 | 5506898 | 1458 9661 | 0 | 0 875.91/876.17 c 876s | 25 | 5789461 | 5518798 | 1458 9676 | 0 | 0 877.91/878.17 c 878s | 25 | 5802154 | 5530798 | 1458 9692 | 0 | 0 879.92/880.18 c 880s | 25 | 5814585 | 5542598 | 1458 9708 | 0 | 0 881.91/882.19 c 882s | 25 | 5826825 | 5554398 | 1458 9723 | 0 | 0 884.01/884.20 c 884s | 25 | 5839265 | 5566298 | 1458 9739 | 0 | 0 886.01/886.22 c 886s | 25 | 5851919 | 5578298 | 1458 9755 | 0 | 0 888.00/888.22 c 888s | 25 | 5864440 | 5590198 | 1458 9771 | 0 | 0 890.00/890.23 c 890s | 25 | 5876866 | 5601998 | 1458 9786 | 0 | 0 892.01/892.24 c 892s | 25 | 5889811 | 5613798 | 1458 9802 | 0 | 0 894.00/894.24 c 894s | 25 | 5902184 | 5625398 | 1458 9817 | 0 | 0 896.00/896.25 c 896s | 25 | 5914530 | 5636998 | 1458 9833 | 0 | 0 898.00/898.25 c 898s | 25 | 5926766 | 5648598 | 1458 9848 | 0 | 0 900.00/900.26 c 900s | 25 | 5939013 | 5660298 | 1458 9863 | 0 | 0 902.00/902.27 c 902s | 25 | 5951834 | 5672198 | 1458 9879 | 0 | 0 904.00/904.28 c 904s | 25 | 5964303 | 5684098 | 1458 9895 | 0 | 0 906.00/906.28 c 906s | 25 | 5976733 | 5695898 | 1458 9910 | 0 | 0 907.99/908.29 c 908s | 25 | 5989058 | 5707698 | 1458 9926 | 0 | 0 910.09/910.30 c 910s | 25 | 6001458 | 5719598 | 1458 9942 | 0 | 0 912.09/912.31 c 912s | 25 | 6013904 | 5731498 | 1458 9957 | 0 | 0 914.09/914.33 c 914s | 25 | 6026299 | 5743298 | 1458 9973 | 0 | 0 916.09/916.34 c 916s | 25 | 6038994 | 5755298 | 1458 9989 | 0 | 0 918.09/918.34 c 918s | 25 | 6051101 | 5766998 | 1458 10004 | 0 | 0 920.08/920.36 c 920s | 25 | 6063330 | 5778698 | 1458 10020 | 0 | 0 922.08/922.36 c 922s | 25 | 6075596 | 5790498 | 1458 10035 | 0 | 0 924.08/924.37 c 924s | 25 | 6087638 | 5802098 | 1458 10051 | 0 | 0 926.08/926.39 c 926s | 25 | 6099943 | 5813998 | 1458 10067 | 0 | 0 928.07/928.39 c 928s | 25 | 6112264 | 5825898 | 1458 10082 | 0 | 0 930.17/930.40 c 930s | 25 | 6124555 | 5837698 | 1458 10098 | 0 | 0 932.17/932.40 c 932s | 25 | 6137038 | 5849498 | 1458 10114 | 0 | 0 934.17/934.41 c 934s | 25 | 6149211 | 5861198 | 1458 10129 | 0 | 0 936.17/936.41 c 936s | 25 | 6161415 | 5872898 | 1458 10145 | 0 | 0 938.18/938.43 c 938s | 25 | 6173843 | 5884598 | 1458 10160 | 0 | 0 940.18/940.44 c 940s | 25 | 6185979 | 5896198 | 1458 10175 | 0 | 0 942.17/942.45 c 942s | 25 | 6199075 | 5908198 | 1458 10191 | 0 | 0 944.17/944.45 c 944s | 25 | 6212117 | 5920298 | 1458 10207 | 0 | 0 946.17/946.46 c 946s | 25 | 6224978 | 5932298 | 1458 10223 | 0 | 0 948.17/948.46 c 948s | 25 | 6237795 | 5944198 | 1458 10239 | 0 | 0 950.18/950.47 c 950s | 25 | 6250396 | 5955898 | 1458 10254 | 0 | 0 952.17/952.47 c 952s | 25 | 6262951 | 5967698 | 1458 10270 | 0 | 0 954.17/954.49 c 954s | 25 | 6275115 | 5979398 | 1458 10285 | 0 | 0 956.16/956.49 c 956s | 25 | 6287164 | 5990898 | 1458 10301 | 0 | 0 958.26/958.50 c 958s | 25 | 6299426 | 6002598 | 1458 10316 | 0 | 0 960.26/960.51 c 960s | 25 | 6312125 | 6014498 | 1458 10332 | 0 | 0 962.27/962.51 c 962s | 25 | 6324898 | 6026498 | 1458 10348 | 0 | 0 964.26/964.53 c 964s | 25 | 6337687 | 6038598 | 1458 10364 | 0 | 0 966.26/966.54 c 966s | 25 | 6350371 | 6050598 | 1458 10379 | 0 | 0 968.26/968.55 c 968s | 25 | 6363043 | 6062398 | 1458 10395 | 0 | 0 970.25/970.56 c 970s | 25 | 6375535 | 6074298 | 1458 10411 | 0 | 0 972.26/972.56 c 972s | 25 | 6388218 | 6086298 | 1458 10427 | 0 | 0 974.25/974.57 c 974s | 25 | 6400587 | 6098198 | 1458 10442 | 0 | 0 976.25/976.57 c 976s | 25 | 6413040 | 6109998 | 1458 10458 | 0 | 0 978.25/978.58 c 978s | 25 | 6425369 | 6121698 | 1458 10474 | 0 | 0 980.25/980.59 c 980s | 25 | 6437910 | 6133598 | 1458 10489 | 0 | 0 982.25/982.59 c 982s | 25 | 6450454 | 6145498 | 1458 10505 | 0 | 0 984.36/984.61 c 984s | 25 | 6462940 | 6157498 | 1458 10521 | 0 | 0 986.35/986.61 c 986s | 25 | 6475413 | 6169498 | 1458 10537 | 0 | 0 988.35/988.63 c 988s | 25 | 6487921 | 6181398 | 1458 10553 | 0 | 0 990.35/990.64 c 990s | 25 | 6500264 | 6193098 | 1458 10568 | 0 | 0 992.35/992.65 c 992s | 25 | 6512803 | 6204898 | 1458 10584 | 0 | 0 994.34/994.66 c 994s | 25 | 6525308 | 6216798 | 1458 10600 | 0 | 0 996.35/996.67 c 996s | 25 | 6537646 | 6228598 | 1458 10615 | 0 | 0 998.34/998.67 c 998s | 25 | 6549941 | 6240298 | 1458 10631 | 0 | 0 1000.34/1000.69 c 1000s | 25 | 6562502 | 6252198 | 1458 10647 | 0 | 0 1002.44/1002.70 c 1002s | 25 | 6575053 | 6263898 | 1458 10662 | 0 | 0 1004.44/1004.72 c 1004s | 25 | 6587403 | 6275498 | 1458 10677 | 0 | 0 1006.44/1006.73 c 1006s | 25 | 6599476 | 6286998 | 1458 10693 | 0 | 0 1008.44/1008.74 c 1008s | 25 | 6611508 | 6298598 | 1458 10708 | 0 | 0 1010.43/1010.75 c 1010s | 25 | 6623822 | 6310198 | 1458 10723 | 0 | 0 1012.43/1012.76 c 1012s | 25 | 6635913 | 6321698 | 1458 10738 | 0 | 0 1014.43/1014.76 c 1014s | 25 | 6647638 | 6332898 | 1458 10753 | 0 | 0 1016.43/1016.78 c 1016s | 25 | 6659711 | 6344498 | 1458 10769 | 0 | 0 1018.45/1018.78 c 1018s | 25 | 6672566 | 6356598 | 1458 10785 | 0 | 0 1020.44/1020.80 c 1020s | 25 | 6685655 | 6368698 | 1458 10801 | 0 | 0 1022.54/1022.80 c 1022s | 25 | 6698392 | 6380498 | 1458 10816 | 0 | 0 1024.54/1024.81 c 1024s | 25 | 6710571 | 6392098 | 1458 10831 | 0 | 0 1026.53/1026.82 c 1026s | 25 | 6723352 | 6403898 | 1458 10847 | 0 | 0 1028.53/1028.82 c 1028s | 25 | 6735716 | 6415498 | 1458 10862 | 0 | 0 1030.54/1030.83 c 1030s | 25 | 6748501 | 6427098 | 1458 10878 | 0 | 0 1032.53/1032.83 c 1032s | 25 | 6760829 | 6438598 | 1458 10893 | 0 | 0 1034.53/1034.84 c 1034s | 25 | 6773527 | 6450298 | 1458 10908 | 0 | 0 1036.53/1036.85 c 1036s | 25 | 6786574 | 6461898 | 1458 10923 | 0 | 0 1038.53/1038.86 c 1038s | 25 | 6798924 | 6473498 | 1458 10939 | 0 | 0 1040.52/1040.87 c 1040s | 25 | 6811208 | 6485098 | 1458 10954 | 0 | 0 1042.53/1042.88 c 1042s | 25 | 6823835 | 6496898 | 1458 10970 | 0 | 0 1044.52/1044.89 c 1044s | 25 | 6836791 | 6508998 | 1458 10986 | 0 | 0 1046.62/1046.91 c 1046s | 25 | 6849315 | 6520698 | 1458 11001 | 0 | 0 1048.62/1048.92 c 1048s | 25 | 6861507 | 6532298 | 1458 11017 | 0 | 0 1050.62/1050.93 c 1050s | 25 | 6874043 | 6544098 | 1458 11032 | 0 | 0 1052.62/1052.94 c 1052s | 25 | 6886375 | 6555698 | 1458 11048 | 0 | 0 1054.62/1054.96 c 1054s | 25 | 6898828 | 6567498 | 1458 11063 | 0 | 0 1056.62/1056.97 c 1056s | 25 | 6911579 | 6579598 | 1458 11079 | 0 | 0 1058.62/1058.97 c 1058s | 25 | 6924523 | 6591698 | 1458 11095 | 0 | 0 1060.62/1060.98 c 1060s | 25 | 6936790 | 6603198 | 1458 11110 | 0 | 0 1062.62/1062.99 c 1062s | 25 | 6948896 | 6614698 | 1458 11126 | 0 | 0 1064.72/1065.00 c 1064s | 25 | 6961566 | 6626498 | 1458 11141 | 0 | 0 1066.72/1067.01 c 1066s | 25 | 6974025 | 6638198 | 1458 11157 | 0 | 0 1068.71/1069.02 c 1069s | 25 | 6986505 | 6649798 | 1458 11172 | 0 | 0 1070.71/1071.03 c 1071s | 25 | 6998957 | 6661398 | 1458 11188 | 0 | 0 1072.71/1073.05 c 1073s | 25 | 7011509 | 6673198 | 1458 11203 | 0 | 0 1074.71/1075.05 c 1075s | 25 | 7023784 | 6684598 | 1458 11218 | 0 | 0 1076.71/1077.06 c 1077s | 25 | 7036066 | 6696098 | 1458 11234 | 0 | 0 1078.71/1079.07 c 1079s | 25 | 7048386 | 6707798 | 1458 11249 | 0 | 0 1080.70/1081.08 c 1081s | 25 | 7060566 | 6719398 | 1458 11264 | 0 | 0 1082.70/1083.08 c 1083s | 25 | 7072470 | 6730898 | 1458 11280 | 0 | 0 1084.70/1085.09 c 1085s | 25 | 7084484 | 6742298 | 1458 11295 | 0 | 0 1086.70/1087.09 c 1087s | 25 | 7096445 | 6753598 | 1458 11310 | 0 | 0 1088.81/1089.10 c 1089s | 25 | 7108664 | 6765198 | 1458 11325 | 0 | 0 1090.80/1091.12 c 1091s | 25 | 7121158 | 6776798 | 1458 11340 | 0 | 0 1092.80/1093.13 c 1093s | 25 | 7133567 | 6788398 | 1458 11356 | 0 | 0 1094.80/1095.14 c 1095s | 25 | 7145647 | 6799798 | 1458 11371 | 0 | 0 1096.79/1097.14 c 1097s | 25 | 7158218 | 6811698 | 1458 11386 | 0 | 0 1098.79/1099.15 c 1099s | 25 | 7170668 | 6823598 | 1458 11402 | 0 | 0 1100.80/1101.17 c 1101s | 25 | 7183318 | 6835398 | 1458 11418 | 0 | 0 1102.79/1103.18 c 1103s | 25 | 7195861 | 6846998 | 1458 11433 | 0 | 0 1104.79/1105.18 c 1105s | 25 | 7208395 | 6858698 | 1458 11448 | 0 | 0 1106.79/1107.18 c 1107s | 25 | 7220504 | 6870298 | 1458 11464 | 0 | 0 1108.79/1109.18 c 1109s | 25 | 7232564 | 6881898 | 1458 11479 | 0 | 0 1110.79/1111.19 c 1111s | 25 | 7245122 | 6893698 | 1458 11495 | 0 | 0 1112.78/1113.19 c 1113s | 25 | 7257541 | 6905398 | 1458 11510 | 0 | 0 1114.88/1115.20 c 1115s | 25 | 7269785 | 6917098 | 1458 11525 | 0 | 0 1116.88/1117.21 c 1117s | 25 | 7282138 | 6928898 | 1458 11541 | 0 | 0 1118.89/1119.22 c 1119s | 25 | 7294381 | 6940598 | 1458 11557 | 0 | 0 1120.89/1121.23 c 1121s | 25 | 7306676 | 6952198 | 1458 11572 | 0 | 0 1122.89/1123.25 c 1123s | 25 | 7318853 | 6963798 | 1458 11587 | 0 | 0 1124.89/1125.26 c 1125s | 25 | 7331380 | 6975598 | 1458 11603 | 0 | 0 1126.88/1127.27 c 1127s | 25 | 7343880 | 6987498 | 1458 11619 | 0 | 0 1128.88/1129.27 c 1129s | 25 | 7356343 | 6999298 | 1458 11634 | 0 | 0 1130.88/1131.28 c 1131s | 25 | 7368226 | 7010798 | 1458 11649 | 0 | 0 1132.88/1133.28 c 1133s | 25 | 7380122 | 7022398 | 1458 11665 | 0 | 0 1134.89/1135.30 c 1135s | 25 | 7392136 | 7033998 | 1458 11680 | 0 | 0 1136.97/1137.31 c 1137s | 25 | 7404093 | 7045598 | 1458 11695 | 0 | 0 1138.97/1139.32 c 1139s | 25 | 7416035 | 7057198 | 1458 11711 | 0 | 0 1140.97/1141.32 c 1141s | 25 | 7427870 | 7068598 | 1458 11726 | 0 | 0 1142.97/1143.34 c 1143s | 25 | 7439821 | 7080198 | 1458 11741 | 0 | 0 1144.97/1145.35 c 1145s | 25 | 7451701 | 7091498 | 1458 11756 | 0 | 0 1146.97/1147.36 c 1147s | 25 | 7463945 | 7102998 | 1458 11772 | 0 | 0 1148.97/1149.37 c 1149s | 25 | 7475904 | 7114298 | 1458 11787 | 0 | 0 1150.96/1151.37 c 1151s | 25 | 7488301 | 7125998 | 1458 11802 | 0 | 0 1152.96/1153.38 c 1153s | 25 | 7500626 | 7137698 | 1458 11818 | 0 | 0 1154.96/1155.39 c 1155s | 25 | 7513019 | 7149398 | 1458 11833 | 0 | 0 1156.96/1157.39 c 1157s | 25 | 7525401 | 7160898 | 1458 11848 | 0 | 0 1159.06/1159.41 c 1159s | 25 | 7537790 | 7172598 | 1458 11864 | 0 | 0 1161.06/1161.42 c 1161s | 25 | 7550145 | 7184198 | 1458 11879 | 0 | 0 1163.06/1163.42 c 1163s | 25 | 7562322 | 7195698 | 1458 11894 | 0 | 0 1165.05/1165.44 c 1165s | 25 | 7574375 | 7207298 | 1458 11910 | 0 | 0 1167.06/1167.46 c 1167s | 25 | 7586636 | 7219098 | 1458 11925 | 0 | 0 1169.07/1169.47 c 1169s | 25 | 7598821 | 7230798 | 1458 11941 | 0 | 0 1171.06/1171.49 c 1171s | 25 | 7611027 | 7242498 | 1458 11956 | 0 | 0 1173.16/1173.50 c 1173s | 25 | 7623142 | 7254098 | 1458 11972 | 0 | 0 1175.16/1175.51 c 1175s | 25 | 7635332 | 7265698 | 1458 11987 | 0 | 0 1177.15/1177.53 c 1177s | 25 | 7647259 | 7277198 | 1458 12002 | 0 | 0 1179.15/1179.54 c 1179s | 25 | 7659337 | 7288798 | 1458 12018 | 0 | 0 1181.16/1181.54 c 1181s | 25 | 7671519 | 7300498 | 1458 12033 | 0 | 0 1183.15/1183.54 c 1183s | 25 | 7684303 | 7312298 | 1458 12049 | 0 | 0 1185.15/1185.56 c 1185s | 25 | 7696566 | 7323998 | 1458 12064 | 0 | 0 1187.15/1187.57 c 1187s | 25 | 7708839 | 7335698 | 1458 12080 | 0 | 0 1189.15/1189.58 c 1189s | 25 | 7720850 | 7347398 | 1458 12095 | 0 | 0 1191.25/1191.60 c 1191s | 25 | 7733188 | 7359098 | 1458 12111 | 0 | 0 1193.15/1193.60 c 1193s | 25 | 7745362 | 7370698 | 1458 12126 | 0 | 0 1195.24/1195.61 c 1195s | 25 | 7757321 | 7382298 | 1458 12142 | 0 | 0 1197.24/1197.62 c 1197s | 25 | 7769525 | 7393998 | 1458 12157 | 0 | 0 1199.24/1199.63 c 1199s | 25 | 7781647 | 7405598 | 1458 12173 | 0 | 0 1201.24/1201.65 c 1201s | 25 | 7794107 | 7417498 | 1458 12188 | 0 | 0 1203.24/1203.65 c 1203s | 25 | 7806308 | 7429098 | 1458 12204 | 0 | 0 1205.24/1205.66 c 1205s | 25 | 7818381 | 7440698 | 1458 12219 | 0 | 0 1207.23/1207.66 c 1207s | 25 | 7830219 | 7452098 | 1458 12234 | 0 | 0 1209.23/1209.67 c 1209s | 25 | 7841932 | 7463398 | 1458 12249 | 0 | 0 1211.24/1211.68 c 1211s | 25 | 7854036 | 7474998 | 1458 12265 | 0 | 0 1213.24/1213.68 c 1213s | 25 | 7866172 | 7486598 | 1458 12280 | 0 | 0 1215.25/1215.69 c 1215s | 25 | 7878626 | 7498298 | 1458 12296 | 0 | 0 1217.34/1217.70 c 1217s | 25 | 7891327 | 7510098 | 1458 12311 | 0 | 0 1219.33/1219.71 c 1219s | 25 | 7903339 | 7521498 | 1458 12326 | 0 | 0 1221.33/1221.73 c 1221s | 25 | 7915110 | 7532698 | 1458 12341 | 0 | 0 1223.33/1223.74 c 1223s | 25 | 7926825 | 7544098 | 1604 12356 | 0 | 0 1225.33/1225.74 c 1225s | 25 | 7939246 | 7555798 | 1604 12370 | 0 | 0 1227.34/1227.74 c 1227s | 25 | 7950904 | 7567098 | 1604 12384 | 0 | 0 1229.33/1229.75 c 1229s | 25 | 7962596 | 7578398 | 1604 12397 | 0 | 0 1231.33/1231.77 c 1231s | 25 | 7974590 | 7589798 | 1604 12411 | 0 | 0 1232.73/1233.17 c 1233s | 26 | 7982832 | 7597752 | 1604 12420 | 0 | 0 1234.73/1235.17 c 1235s | 26 | 7994800 | 7609152 | 1604 12434 | 0 | 0 1236.72/1237.18 c 1237s | 26 | 8007049 | 7620652 | 1604 12448 | 0 | 0 1238.72/1239.18 c 1239s | 26 | 8019456 | 7632052 | 1604 12462 | 0 | 0 1240.72/1241.20 c 1241s | 26 | 8031725 | 7643552 | 1604 12476 | 0 | 0 1242.82/1243.20 c 1243s | 26 | 8043881 | 7655052 | 1604 12489 | 0 | 0 1244.72/1245.20 c 1245s | 26 | 8055821 | 7666252 | 1604 12503 | 0 | 0 1246.82/1247.20 c 1247s | 26 | 8067761 | 7677652 | 1604 12517 | 0 | 0 1248.81/1249.21 c 1249s | 26 | 8079595 | 7689052 | 1604 12530 | 0 | 0 1250.82/1251.22 c 1251s | 26 | 8091446 | 7700452 | 1604 12544 | 0 | 0 1252.82/1253.23 c 1253s | 26 | 8103261 | 7711752 | 1604 12558 | 0 | 0 1254.83/1255.25 c 1255s | 26 | 8115275 | 7723252 | 1604 12571 | 0 | 0 1256.82/1257.25 c 1257s | 26 | 8126749 | 7734352 | 1604 12585 | 0 | 0 1258.82/1259.26 c 1259s | 26 | 8138191 | 7745352 | 1604 12598 | 0 | 0 1260.82/1261.28 c 1261s | 26 | 8149651 | 7756352 | 1604 12611 | 0 | 0 1262.82/1263.29 c 1263s | 26 | 8161198 | 7767352 | 1604 12625 | 0 | 0 1264.91/1265.30 c 1265s | 26 | 8172876 | 7778552 | 1604 12638 | 0 | 0 1266.92/1267.32 c 1267s | 26 | 8184396 | 7789752 | 1604 12652 | 0 | 0 1268.91/1269.32 c 1269s | 26 | 8196000 | 7800852 | 1604 12665 | 0 | 0 1270.91/1271.34 c 1271s | 26 | 8207749 | 7812152 | 1604 12679 | 0 | 0 1272.91/1273.35 c 1273s | 26 | 8219445 | 7823452 | 1604 12692 | 0 | 0 1274.91/1275.35 c 1275s | 26 | 8231206 | 7834652 | 1604 12706 | 0 | 0 1276.91/1277.35 c 1277s | 26 | 8242548 | 7845552 | 1604 12719 | 0 | 0 1278.91/1279.36 c 1279s | 26 | 8254215 | 7856752 | 1604 12732 | 0 | 0 1280.90/1281.38 c 1281s | 26 | 8266108 | 7868252 | 1604 12746 | 0 | 0 1282.90/1283.38 c 1283s | 26 | 8277796 | 7879452 | 1604 12760 | 0 | 0 1284.90/1285.39 c 1285s | 26 | 8289481 | 7890552 | 1604 12773 | 0 | 0 1287.00/1287.40 c 1287s | 26 | 8300998 | 7901552 | 1604 12786 | 0 | 0 1289.00/1289.40 c 1289s | 26 | 8312568 | 7912752 | 1604 12800 | 0 | 0 1291.01/1291.42 c 1291s | 26 | 8324630 | 7924252 | 1604 12814 | 0 | 0 1293.00/1293.43 c 1293s | 26 | 8336248 | 7935052 | 1604 12827 | 0 | 0 1295.00/1295.44 c 1295s | 26 | 8347998 | 7946152 | 1604 12840 | 0 | 0 1297.00/1297.46 c 1297s | 26 | 8359961 | 7957252 | 1604 12853 | 0 | 0 1299.00/1299.46 c 1299s | 26 | 8371347 | 7968152 | 1604 12866 | 0 | 0 1301.00/1301.47 c 1301s | 26 | 8383238 | 7979252 | 1604 12880 | 0 | 0 1303.00/1303.48 c 1303s | 26 | 8395047 | 7990052 | 1604 12893 | 0 | 0 1305.00/1305.49 c 1305s | 26 | 8406452 | 8000852 | 1604 12906 | 0 | 0 1307.09/1307.50 c 1307s | 26 | 8417911 | 8011852 | 1604 12919 | 0 | 0 1309.09/1309.52 c 1309s | 26 | 8429958 | 8023152 | 1604 12933 | 0 | 0 1311.09/1311.53 c 1311s | 26 | 8442310 | 8034452 | 1604 12946 | 0 | 0 1313.10/1313.53 c 1313s | 26 | 8454183 | 8045652 | 1604 12960 | 0 | 0 1315.09/1315.53 c 1315s | 26 | 8466019 | 8056952 | 1604 12973 | 0 | 0 1317.08/1317.55 c 1317s | 26 | 8477698 | 8067952 | 1604 12987 | 0 | 0 1319.08/1319.56 c 1319s | 26 | 8489428 | 8078952 | 1604 13000 | 0 | 0 1321.09/1321.58 c 1321s | 26 | 8501113 | 8090052 | 1604 13013 | 0 | 0 1323.09/1323.58 c 1323s | 26 | 8513112 | 8101252 | 1604 13027 | 0 | 0 1325.10/1325.59 c 1325s | 26 | 8524752 | 8112252 | 1604 13040 | 0 | 0 1327.18/1327.61 c 1327s | 26 | 8536513 | 8123252 | 1604 13053 | 0 | 0 1329.18/1329.62 c 1329s | 26 | 8547759 | 8134052 | 1604 13066 | 0 | 0 1331.18/1331.64 c 1331s | 26 | 8559495 | 8145152 | 1604 13080 | 0 | 0 1333.18/1333.65 c 1333s | 26 | 8570904 | 8156052 | 1604 13093 | 0 | 0 1335.18/1335.68 c 1335s | 26 | 8582348 | 8166652 | 1604 13106 | 0 | 0 1337.18/1337.70 c 1337s | 26 | 8594076 | 8177852 | 1604 13119 | 0 | 0 1339.27/1339.71 c 1339s | 26 | 8605675 | 8188852 | 1604 13132 | 0 | 0 1341.27/1341.72 c 1341s | 26 | 8617300 | 8199952 | 1604 13146 | 0 | 0 1343.27/1343.73 c 1343s | 26 | 8628790 | 8210952 | 1604 13159 | 0 | 0 1345.27/1345.74 c 1345s | 26 | 8640339 | 8221952 | 1604 13172 | 0 | 0 1347.27/1347.76 c 1347s | 26 | 8652102 | 8233152 | 1604 13186 | 0 | 0 1349.27/1349.76 c 1349s | 26 | 8663716 | 8244252 | 1604 13199 | 0 | 0 1351.26/1351.77 c 1351s | 26 | 8675256 | 8255252 | 1604 13212 | 0 | 0 1353.26/1353.78 c 1353s | 26 | 8686992 | 8266252 | 1604 13225 | 0 | 0 1355.26/1355.78 c 1355s | 26 | 8698716 | 8277352 | 1604 13239 | 0 | 0 1357.27/1357.79 c 1357s | 26 | 8710606 | 8288452 | 1604 13252 | 0 | 0 1359.37/1359.80 c 1359s | 26 | 8722249 | 8299452 | 1604 13265 | 0 | 0 1361.38/1361.82 c 1361s | 26 | 8733417 | 8310252 | 1604 13278 | 0 | 0 1363.37/1363.83 c 1363s | 26 | 8745007 | 8321152 | 1604 13292 | 0 | 0 1365.37/1365.84 c 1365s | 26 | 8756723 | 8332052 | 1604 13305 | 0 | 0 1367.36/1367.84 c 1367s | 26 | 8768700 | 8342852 | 1604 13318 | 0 | 0 1369.36/1369.85 c 1369s | 26 | 8780105 | 8353752 | 1604 13331 | 0 | 0 1371.37/1371.85 c 1371s | 26 | 8791427 | 8364552 | 1604 13344 | 0 | 0 1373.36/1373.86 c 1373s | 26 | 8802735 | 8375452 | 1604 13357 | 0 | 0 1375.36/1375.87 c 1375s | 26 | 8813678 | 8386052 | 1604 13370 | 0 | 0 1377.36/1377.88 c 1377s | 26 | 8824873 | 8396852 | 1604 13383 | 0 | 0 1379.36/1379.90 c 1379s | 26 | 8836209 | 8407752 | 1604 13396 | 0 | 0 1381.46/1381.91 c 1381s | 26 | 8847940 | 8418852 | 1604 13409 | 0 | 0 1383.46/1383.92 c 1383s | 26 | 8859456 | 8429652 | 1604 13422 | 0 | 0 1385.46/1385.93 c 1385s | 26 | 8871001 | 8440452 | 1604 13435 | 0 | 0 1387.45/1387.94 c 1387s | 26 | 8882292 | 8451052 | 1604 13448 | 0 | 0 1389.45/1389.95 c 1389s | 26 | 8893415 | 8461752 | 1604 13461 | 0 | 0 1391.45/1391.97 c 1391s | 26 | 8904580 | 8472452 | 1604 13474 | 0 | 0 1393.45/1393.98 c 1393s | 26 | 8916183 | 8483252 | 1604 13487 | 0 | 0 1395.45/1395.98 c 1395s | 26 | 8927714 | 8494152 | 1604 13500 | 0 | 0 1397.44/1397.98 c 1397s | 26 | 8939040 | 8504852 | 1604 13513 | 0 | 0 1399.44/1400.00 c 1399s | 26 | 8950551 | 8515652 | 1604 13526 | 0 | 0 1401.54/1402.00 c 1401s | 26 | 8961940 | 8526452 | 1604 13539 | 0 | 0 1403.54/1404.00 c 1403s | 26 | 8973289 | 8537152 | 1604 13552 | 0 | 0 1405.54/1406.02 c 1406s | 26 | 8984493 | 8547952 | 1604 13565 | 0 | 0 1407.55/1408.03 c 1408s | 26 | 8996045 | 8558852 | 1604 13578 | 0 | 0 1409.54/1410.04 c 1410s | 26 | 9007536 | 8569752 | 1604 13591 | 0 | 0 1411.54/1412.04 c 1412s | 26 | 9018874 | 8580452 | 1604 13604 | 0 | 0 1413.54/1414.06 c 1414s | 26 | 9030397 | 8591352 | 1604 13617 | 0 | 0 1415.54/1416.09 c 1416s | 26 | 9041931 | 8602252 | 1604 13630 | 0 | 0 1417.64/1418.10 c 1418s | 26 | 9053286 | 8613152 | 1604 13643 | 0 | 0 1419.65/1420.11 c 1420s | 26 | 9064601 | 8623952 | 1604 13656 | 0 | 0 1421.64/1422.12 c 1422s | 26 | 9075782 | 8634652 | 1604 13669 | 0 | 0 1423.64/1424.12 c 1424s | 26 | 9086999 | 8645352 | 1604 13682 | 0 | 0 1425.64/1426.13 c 1426s | 26 | 9097991 | 8655852 | 1604 13695 | 0 | 0 1427.64/1428.13 c 1428s | 26 | 9109100 | 8666452 | 1604 13708 | 0 | 0 1429.65/1430.15 c 1430s | 26 | 9120077 | 8676952 | 1604 13720 | 0 | 0 1431.64/1432.15 c 1432s | 26 | 9131170 | 8687452 | 1604 13733 | 0 | 0 1433.64/1434.16 c 1434s | 26 | 9142450 | 8698152 | 1604 13746 | 0 | 0 1435.64/1436.18 c 1436s | 26 | 9153708 | 8708752 | 1604 13759 | 0 | 0 1437.64/1438.18 c 1438s | 26 | 9165374 | 8719752 | 1604 13772 | 0 | 0 1439.64/1440.19 c 1440s | 26 | 9177062 | 8730952 | 1604 13785 | 0 | 0 1441.64/1442.19 c 1442s | 26 | 9188786 | 8742152 | 1604 13799 | 0 | 0 1443.64/1444.19 c 1444s | 26 | 9200475 | 8753152 | 1604 13812 | 0 | 0 1445.74/1446.20 c 1446s | 26 | 9211567 | 8763752 | 1604 13825 | 0 | 0 1447.74/1448.21 c 1448s | 26 | 9223163 | 8774752 | 1604 13838 | 0 | 0 1449.73/1450.21 c 1450s | 26 | 9234391 | 8785452 | 1604 13851 | 0 | 0 1451.73/1452.21 c 1452s | 26 | 9245966 | 8796552 | 1604 13864 | 0 | 0 1453.74/1454.21 c 1454s | 26 | 9257347 | 8807452 | 1604 13877 | 0 | 0 1455.73/1456.22 c 1456s | 26 | 9268791 | 8818352 | 1604 13890 | 0 | 0 1457.74/1458.24 c 1458s | 26 | 9280104 | 8829152 | 1604 13903 | 0 | 0 1459.74/1460.24 c 1460s | 26 | 9291171 | 8839852 | 1604 13916 | 0 | 0 1461.74/1462.26 c 1462s | 26 | 9302467 | 8850652 | 1604 13929 | 0 | 0 1463.75/1464.26 c 1464s | 26 | 9313529 | 8861152 | 1604 13942 | 0 | 0 1465.74/1466.27 c 1466s | 26 | 9324951 | 8872152 | 1604 13955 | 0 | 0 1467.74/1468.28 c 1468s | 26 | 9336095 | 8882952 | 1604 13968 | 0 | 0 1469.74/1470.28 c 1470s | 26 | 9347068 | 8893552 | 1604 13981 | 0 | 0 1471.74/1472.29 c 1472s | 26 | 9358266 | 8904352 | 1604 13994 | 0 | 0 1473.74/1474.30 c 1474s | 26 | 9369420 | 8915052 | 1604 14007 | 0 | 0 1475.75/1476.30 c 1476s | 26 | 9380624 | 8925852 | 1604 14020 | 0 | 0 1477.84/1478.30 c 1478s | 26 | 9391679 | 8936552 | 1604 14033 | 0 | 0 1479.84/1480.32 c 1480s | 26 | 9402894 | 8947352 | 1604 14046 | 0 | 0 1481.84/1482.33 c 1482s | 26 | 9414266 | 8958152 | 1604 14059 | 0 | 0 1483.84/1484.35 c 1484s | 26 | 9425685 | 8969052 | 1604 14072 | 0 | 0 1485.84/1486.35 c 1486s | 26 | 9436822 | 8979652 | 1604 14085 | 0 | 0 1487.84/1488.36 c 1488s | 26 | 9447866 | 8990252 | 1604 14098 | 0 | 0 1489.84/1490.37 c 1490s | 26 | 9459371 | 9001252 | 1604 14111 | 0 | 0 1491.84/1492.37 c 1492s | 26 | 9470464 | 9012052 | 1604 14124 | 0 | 0 1493.83/1494.38 c 1494s | 26 | 9481729 | 9022952 | 1604 14137 | 0 | 0 1495.83/1496.39 c 1496s | 26 | 9493116 | 9033852 | 1604 14150 | 0 | 0 1497.84/1498.39 c 1498s | 26 | 9504353 | 9044552 | 1604 14163 | 0 | 0 1499.94/1500.41 c 1500s | 26 | 9515525 | 9055352 | 1604 14176 | 0 | 0 1501.93/1502.42 c 1502s | 26 | 9526990 | 9066152 | 1604 14189 | 0 | 0 1503.93/1504.43 c 1504s | 26 | 9538440 | 9076952 | 1604 14202 | 0 | 0 1505.93/1506.43 c 1506s | 26 | 9549710 | 9087752 | 1604 14215 | 0 | 0 1507.93/1508.44 c 1508s | 26 | 9561042 | 9098652 | 1604 14228 | 0 | 0 1509.93/1510.46 c 1510s | 26 | 9572317 | 9109352 | 1604 14241 | 0 | 0 1511.93/1512.48 c 1512s | 26 | 9584045 | 9120252 | 1604 14254 | 0 | 0 1513.92/1514.49 c 1514s | 26 | 9595791 | 9131352 | 1604 14268 | 0 | 0 1516.03/1516.51 c 1516s | 26 | 9607279 | 9142252 | 1604 14281 | 0 | 0 1518.03/1518.52 c 1518s | 26 | 9618445 | 9152952 | 1604 14294 | 0 | 0 1520.03/1520.52 c 1520s | 26 | 9629547 | 9163652 | 1604 14307 | 0 | 0 1522.04/1522.54 c 1522s | 26 | 9640885 | 9174552 | 1604 14320 | 0 | 0 1524.03/1524.54 c 1524s | 26 | 9652145 | 9185152 | 1604 14333 | 0 | 0 1526.03/1526.55 c 1526s | 26 | 9663139 | 9195752 | 1604 14346 | 0 | 0 1528.03/1528.56 c 1528s | 26 | 9674447 | 9206652 | 1604 14359 | 0 | 0 1530.03/1530.56 c 1530s | 26 | 9685733 | 9217352 | 1604 14372 | 0 | 0 1532.03/1532.57 c 1532s | 26 | 9696625 | 9227852 | 1604 14384 | 0 | 0 1534.03/1534.58 c 1534s | 26 | 9707783 | 9238552 | 1604 14397 | 0 | 0 1536.03/1536.59 c 1536s | 26 | 9719158 | 9249452 | 1604 14410 | 0 | 0 1538.13/1538.60 c 1538s | 26 | 9730074 | 9259952 | 1604 14423 | 0 | 0 1540.12/1540.61 c 1540s | 26 | 9741112 | 9270552 | 1604 14436 | 0 | 0 1542.12/1542.62 c 1542s | 26 | 9752144 | 9281152 | 1604 14449 | 0 | 0 1544.12/1544.62 c 1544s | 26 | 9763921 | 9292252 | 1604 14462 | 0 | 0 1546.13/1546.63 c 1546s | 26 | 9775907 | 9303452 | 1604 14475 | 0 | 0 1548.12/1548.64 c 1548s | 26 | 9787555 | 9314352 | 1604 14489 | 0 | 0 1550.12/1550.65 c 1550s | 26 | 9799049 | 9325052 | 1604 14501 | 0 | 0 1552.12/1552.66 c 1552s | 26 | 9810630 | 9335952 | 1604 14515 | 0 | 0 1554.12/1554.67 c 1554s | 26 | 9822016 | 9346552 | 1604 14527 | 0 | 0 1556.13/1556.68 c 1556s | 26 | 9833377 | 9357352 | 1604 14540 | 0 | 0 1558.12/1558.69 c 1558s | 26 | 9844621 | 9368052 | 1604 14553 | 0 | 0 1560.12/1560.69 c 1560s | 26 | 9855885 | 9378752 | 1604 14566 | 0 | 0 1562.22/1562.70 c 1562s | 26 | 9867261 | 9389552 | 1604 14579 | 0 | 0 1564.22/1564.70 c 1564s | 26 | 9878768 | 9400552 | 1604 14592 | 0 | 0 1566.22/1566.72 c 1566s | 26 | 9890367 | 9411752 | 1604 14606 | 0 | 0 1568.23/1568.72 c 1568s | 26 | 9901597 | 9422552 | 1604 14619 | 0 | 0 1570.22/1570.73 c 1570s | 26 | 9913048 | 9433252 | 1604 14632 | 0 | 0 1572.22/1572.73 c 1572s | 26 | 9924435 | 9443952 | 1604 14645 | 0 | 0 1574.22/1574.74 c 1574s | 26 | 9935595 | 9454552 | 1604 14657 | 0 | 0 1576.22/1576.74 c 1576s | 26 | 9946879 | 9465252 | 1604 14670 | 0 | 0 1578.22/1578.76 c 1578s | 26 | 9958349 | 9476152 | 1604 14683 | 0 | 0 1580.22/1580.77 c 1580s | 26 | 9969878 | 9487052 | 1604 14696 | 0 | 0 1582.21/1582.79 c 1582s | 26 | 9981509 | 9497852 | 1604 14709 | 0 | 0 1584.32/1584.80 c 1584s | 26 | 9993038 | 9508452 | 1604 14722 | 0 | 0 1586.32/1586.81 c 1586s | 26 | 10004376 | 9519152 | 1604 14735 | 0 | 0 1588.32/1588.82 c 1588s | 26 | 10016120 | 9530052 | 1604 14748 | 0 | 0 1590.32/1590.84 c 1590s | 26 | 10027909 | 9540852 | 1604 14761 | 0 | 0 1592.33/1592.86 c 1592s | 26 | 10039535 | 9551552 | 1604 14774 | 0 | 0 1594.32/1594.88 c 1594s | 26 | 10051292 | 9562652 | 1604 14788 | 0 | 0 1596.32/1596.89 c 1596s | 26 | 10062785 | 9573452 | 1604 14801 | 0 | 0 1598.42/1598.90 c 1598s | 26 | 10074297 | 9584352 | 1604 14814 | 0 | 0 1600.42/1600.91 c 1600s | 26 | 10085575 | 9595052 | 1604 14827 | 0 | 0 1602.42/1602.92 c 1602s | 26 | 10096855 | 9605852 | 1604 14840 | 0 | 0 1604.42/1604.94 c 1604s | 26 | 10108120 | 9616652 | 1604 14853 | 0 | 0 1606.42/1606.94 c 1606s | 26 | 10119341 | 9627452 | 1604 14866 | 0 | 0 1608.42/1608.96 c 1608s | 26 | 10130721 | 9638252 | 1604 14879 | 0 | 0 1610.42/1610.97 c 1610s | 26 | 10141964 | 9648952 | 1604 14892 | 0 | 0 1612.41/1612.98 c 1612s | 26 | 10152980 | 9659552 | 1604 14904 | 0 | 0 1614.51/1615.00 c 1614s | 26 | 10164092 | 9670352 | 1604 14917 | 0 | 0 1616.52/1617.02 c 1617s | 26 | 10175719 | 9681252 | 1604 14931 | 0 | 0 1618.51/1619.02 c 1619s | 26 | 10186950 | 9692052 | 1604 14944 | 0 | 0 1620.51/1621.04 c 1621s | 26 | 10198374 | 9702852 | 1604 14957 | 0 | 0 1622.51/1623.04 c 1623s | 26 | 10209284 | 9713352 | 1604 14969 | 0 | 0 1624.51/1625.06 c 1625s | 26 | 10220769 | 9724252 | 1604 14983 | 0 | 0 1626.52/1627.06 c 1627s | 26 | 10232168 | 9735152 | 1604 14996 | 0 | 0 1628.51/1629.06 c 1629s | 26 | 10243104 | 9745752 | 1604 15008 | 0 | 0 1630.51/1631.07 c 1631s | 26 | 10254175 | 9756352 | 1604 15021 | 0 | 0 1632.51/1633.07 c 1633s | 26 | 10265346 | 9767052 | 1604 15034 | 0 | 0 1634.51/1635.08 c 1635s | 26 | 10276546 | 9777852 | 1604 15047 | 0 | 0 1636.51/1637.09 c 1637s | 26 | 10287910 | 9788752 | 1604 15060 | 0 | 0 1638.51/1639.10 c 1639s | 26 | 10299212 | 9799552 | 1604 15073 | 0 | 0 1640.61/1641.12 c 1641s | 26 | 10310683 | 9810452 | 1604 15087 | 0 | 0 1642.61/1643.13 c 1643s | 26 | 10322092 | 9821352 | 1604 15100 | 0 | 0 1644.61/1645.14 c 1645s | 26 | 10333441 | 9832052 | 1604 15113 | 0 | 0 1646.61/1647.16 c 1647s | 26 | 10344527 | 9842752 | 1604 15126 | 0 | 0 1648.61/1649.17 c 1649s | 26 | 10355782 | 9853452 | 1604 15139 | 0 | 0 1650.62/1651.17 c 1651s | 26 | 10367044 | 9864152 | 1604 15151 | 0 | 0 1652.61/1653.17 c 1653s | 26 | 10378092 | 9874652 | 1604 15164 | 0 | 0 1654.61/1655.19 c 1655s | 26 | 10389281 | 9885352 | 1604 15177 | 0 | 0 1656.71/1657.20 c 1657s | 26 | 10400860 | 9896352 | 1604 15190 | 0 | 0 1658.71/1659.21 c 1659s | 26 | 10412272 | 9907352 | 1604 15204 | 0 | 0 1660.71/1661.22 c 1661s | 26 | 10423799 | 9918352 | 1604 15217 | 0 | 0 1662.71/1663.22 c 1663s | 26 | 10434968 | 9929152 | 1604 15230 | 0 | 0 1664.71/1665.23 c 1665s | 26 | 10446254 | 9940052 | 1604 15243 | 0 | 0 1666.71/1667.24 c 1667s | 26 | 10458012 | 9951152 | 1604 15256 | 0 | 0 1668.70/1669.24 c 1669s | 26 | 10469528 | 9962152 | 1604 15270 | 0 | 0 1670.70/1671.25 c 1671s | 26 | 10480825 | 9973152 | 1604 15283 | 0 | 0 1672.71/1673.25 c 1673s | 26 | 10492146 | 9984152 | 1604 15296 | 0 | 0 1674.70/1675.26 c 1675s | 26 | 10503513 | 9995152 | 1604 15310 | 0 | 0 1676.70/1677.26 c 1677s | 26 | 10514987 | 10006252 | 1604 15323 | 0 | 0 1678.70/1679.27 c 1679s | 26 | 10526339 | 10017152 | 1604 15336 | 0 | 0 1680.70/1681.28 c 1681s | 26 | 10537723 | 10028052 | 1604 15349 | 0 | 0 1682.70/1683.29 c 1683s | 26 | 10549096 | 10038952 | 1604 15362 | 0 | 0 1684.81/1685.31 c 1685s | 26 | 10560154 | 10049552 | 1604 15375 | 0 | 0 1686.80/1687.32 c 1687s | 26 | 10571365 | 10060352 | 1604 15388 | 0 | 0 1688.80/1689.33 c 1689s | 26 | 10582682 | 10071252 | 1604 15402 | 0 | 0 1690.81/1691.36 c 1691s | 26 | 10594054 | 10082052 | 1604 15415 | 0 | 0 1692.81/1693.37 c 1693s | 26 | 10605480 | 10093052 | 1604 15428 | 0 | 0 1694.80/1695.38 c 1695s | 26 | 10617020 | 10104052 | 1604 15441 | 0 | 0 1696.91/1697.40 c 1697s | 26 | 10628605 | 10115152 | 1604 15455 | 0 | 0 1698.90/1699.41 c 1699s | 26 | 10639909 | 10126052 | 1604 15468 | 0 | 0 1700.90/1701.43 c 1701s | 26 | 10651240 | 10137052 | 1604 15481 | 0 | 0 1702.90/1703.43 c 1703s | 26 | 10662382 | 10147752 | 1604 15494 | 0 | 0 1704.90/1705.44 c 1705s | 26 | 10673801 | 10158552 | 1604 15507 | 0 | 0 1706.90/1707.45 c 1707s | 26 | 10684989 | 10169252 | 1604 15520 | 0 | 0 1708.91/1709.46 c 1709s | 26 | 10696049 | 10179852 | 1604 15533 | 0 | 0 1710.90/1711.47 c 1711s | 26 | 10707124 | 10190452 | 1604 15546 | 0 | 0 1712.90/1713.47 c 1713s | 26 | 10718289 | 10201052 | 1604 15558 | 0 | 0 1714.90/1715.49 c 1715s | 26 | 10730117 | 10211852 | 1604 15571 | 0 | 0 1716.90/1717.49 c 1717s | 26 | 10741346 | 10222552 | 1604 15584 | 0 | 0 1719.00/1719.51 c 1719s | 26 | 10752648 | 10233352 | 1604 15597 | 0 | 0 1721.01/1721.51 c 1721s | 26 | 10764394 | 10244452 | 1604 15611 | 0 | 0 1723.00/1723.52 c 1723s | 26 | 10775979 | 10255452 | 1604 15624 | 0 | 0 1725.00/1725.53 c 1725s | 26 | 10787746 | 10266452 | 1604 15637 | 0 | 0 1727.00/1727.53 c 1727s | 26 | 10798910 | 10277152 | 1604 15650 | 0 | 0 1729.00/1729.54 c 1729s | 26 | 10810109 | 10287652 | 1604 15663 | 0 | 0 1731.00/1731.54 c 1731s | 26 | 10821420 | 10298152 | 1604 15675 | 0 | 0 1732.99/1733.56 c 1733s | 26 | 10832756 | 10308752 | 1604 15688 | 0 | 0 1734.99/1735.57 c 1735s | 26 | 10844076 | 10319452 | 1604 15701 | 0 | 0 1736.99/1737.58 c 1737s | 26 | 10855216 | 10330052 | 1604 15714 | 0 | 0 1738.99/1739.58 c 1739s | 26 | 10866351 | 10340552 | 1604 15726 | 0 | 0 1740.99/1741.59 c 1741s | 26 | 10877920 | 10351452 | 1604 15740 | 0 | 0 1743.11/1743.61 c 1743s | 26 | 10889393 | 10362152 | 1604 15752 | 0 | 0 1745.10/1745.61 c 1745s | 26 | 10900508 | 10372552 | 1604 15765 | 0 | 0 1747.10/1747.62 c 1747s | 26 | 10911753 | 10383152 | 1604 15778 | 0 | 0 1749.10/1749.63 c 1749s | 26 | 10923215 | 10393952 | 1604 15791 | 0 | 0 1751.10/1751.64 c 1751s | 26 | 10934944 | 10404952 | 1604 15804 | 0 | 0 1753.10/1753.64 c 1753s | 26 | 10946567 | 10415752 | 1604 15817 | 0 | 0 1755.10/1755.66 c 1755s | 26 | 10958184 | 10426352 | 1604 15830 | 0 | 0 1757.10/1757.67 c 1757s | 26 | 10969765 | 10437152 | 1604 15843 | 0 | 0 1759.10/1759.67 c 1759s | 26 | 10980950 | 10447752 | 1604 15856 | 0 | 0 1761.10/1761.68 c 1761s | 26 | 10992340 | 10458452 | 1604 15869 | 0 | 0 1763.20/1763.70 c 1763s | 26 | 11004034 | 10469252 | 1604 15882 | 0 | 0 1765.20/1765.71 c 1765s | 26 | 11015881 | 10480052 | 1604 15895 | 0 | 0 1767.20/1767.72 c 1767s | 26 | 11027848 | 10490852 | 1604 15908 | 0 | 0 1769.19/1769.73 c 1769s | 26 | 11039350 | 10501452 | 1604 15920 | 0 | 0 1771.19/1771.74 c 1771s | 26 | 11051062 | 10511852 | 1604 15933 | 0 | 0 1773.19/1773.75 c 1773s | 26 | 11062865 | 10522652 | 1604 15946 | 0 | 0 1775.19/1775.75 c 1775s | 26 | 11074764 | 10533552 | 1604 15959 | 0 | 0 1777.20/1777.77 c 1777s | 26 | 11086575 | 10544352 | 1604 15972 | 0 | 0 1779.19/1779.78 c 1779s | 26 | 11098500 | 10554952 | 1604 15985 | 0 | 0 1781.19/1781.78 c 1781s | 26 | 11109833 | 10565552 | 1604 15998 | 0 | 0 1783.19/1783.79 c 1783s | 26 | 11121488 | 10576452 | 1604 16011 | 0 | 0 1785.29/1785.80 c 1785s | 26 | 11133072 | 10587252 | 1604 16024 | 0 | 0 1787.29/1787.81 c 1787s | 26 | 11144559 | 10598052 | 1604 16037 | 0 | 0 1789.29/1789.82 c 1789s | 26 | 11156072 | 10608752 | 1604 16050 | 0 | 0 1791.28/1791.83 c 1791s | 26 | 11167702 | 10619652 | 1604 16063 | 0 | 0 1793.28/1793.84 c 1793s | 26 | 11179816 | 10630452 | 1604 16076 | 0 | 0 1795.28/1795.84 c 1795s | 26 | 11191093 | 10641152 | 1604 16089 | 0 | 0 1797.28/1797.85 c 1797s | 26 | 11202623 | 10652052 | 1604 16102 | 0 | 0 1799.28/1799.86 c 1799s | 26 | 11213876 | 10662752 | 1604 16115 | 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-4089274-1466024695/watcher-4089274-1466024695 -o /tmp/evaluation-result-4089274-1466024695/solver-4089274-1466024695 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089274-1466024695.opb pid=7280 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.33 2.24 2.25 3/179 7283 /proc/meminfo: memFree=29462276/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=741820 CPUtime=0 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 2767 0 0 0 0 0 0 0 20 0 4 0 4515977 759623680 3639 33554432000 4194304 16246674 140734811071472 140734811070896 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 186223 3650 441 2943 0 183117 0 [pid=7283/tid=7284] ppid=7280 vsize=759228 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 777449472 3710 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=763324 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 781643776 3726 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=767420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4515977 785838080 3742 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100175 s] /proc/loadavg: 2.33 2.24 2.25 3/179 7283 /proc/meminfo: memFree=29462276/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 29322 0 0 0 5 4 0 0 20 0 4 0 4515977 1247350784 30183 33554432000 4194304 16246674 140734811071472 140734811070896 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 304529 30195 711 2943 0 301423 0 [pid=7283/tid=7284] ppid=7280 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1247350784 30201 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1247350784 30207 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4515977 1247350784 30214 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200525 s] /proc/loadavg: 2.33 2.24 2.25 3/179 7283 /proc/meminfo: memFree=29462276/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 58142 0 0 0 12 7 0 0 20 0 4 0 4515977 1247350784 59002 33554432000 4194304 16246674 140734811071472 140734811070896 5523634 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 304529 59012 711 2943 0 301423 0 [pid=7283/tid=7284] ppid=7280 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1247350784 59023 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1247350784 59032 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4515977 1247350784 59039 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.30048 s] /proc/loadavg: 2.33 2.24 2.25 3/179 7283 /proc/meminfo: memFree=29462276/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 86500 0 0 0 18 11 0 0 20 0 4 0 4515977 1247350784 87360 33554432000 4194304 16246674 140734811071472 140734811070896 6011022 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 304529 87372 711 2943 0 301423 0 [pid=7283/tid=7284] ppid=7280 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1247350784 87377 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1247350784 87386 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4515977 1247350784 87399 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700412 s] /proc/loadavg: 2.33 2.24 2.25 3/179 7283 /proc/meminfo: memFree=29462276/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 202462 0 0 0 42 27 0 0 20 0 4 0 4515977 1247350784 203322 33554432000 4194304 16246674 140734811071472 140734811070896 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 304529 203341 711 2943 0 301423 0 [pid=7283/tid=7284] ppid=7280 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1247350784 203352 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1247350784 203359 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4515977 1247350784 203367 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.33 2.24 2.25 3/183 7287 /proc/meminfo: memFree=28477748/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1305156 CPUtime=1.49 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 267258 0 0 0 113 36 0 0 20 0 4 0 4515977 1336479744 268098 33554432000 4194304 16246674 140734811071472 140734811053376 13808416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 326289 268098 789 2943 0 323183 0 [pid=7283/tid=7284] ppid=7280 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1336479744 268098 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1336479744 268098 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1305156 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1336479744 268098 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1305156 [startup+3.10045 s] /proc/loadavg: 2.33 2.24 2.25 3/183 7287 /proc/meminfo: memFree=28390072/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 267415 0 0 0 273 36 0 0 20 0 4 0 4515977 1337528320 268255 33554432000 4194304 16246674 140734811071472 140734811053376 5724467 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 326545 268255 789 2943 0 323439 0 [pid=7283/tid=7284] ppid=7280 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1337528320 268255 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1337528320 268255 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1337528320 268255 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30039 s] /proc/loadavg: 2.31 2.24 2.25 4/182 7287 /proc/meminfo: memFree=28389476/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1306180 CPUtime=6.29 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 267461 0 0 0 593 36 0 0 20 0 4 0 4515977 1337528320 268301 33554432000 4194304 16246674 140734811071472 140734811053376 5722730 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 326545 268301 789 2943 0 323439 0 [pid=7283/tid=7284] ppid=7280 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1337528320 268301 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1337528320 268301 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1337528320 268301 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1306180 [startup+12.7004 s] /proc/loadavg: 2.28 2.23 2.25 3/183 7288 /proc/meminfo: memFree=28389408/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1306180 CPUtime=12.68 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 267503 0 0 0 1232 36 0 0 20 0 4 0 4515977 1337528320 268343 33554432000 4194304 16246674 140734811071472 140734811053376 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 326545 268343 791 2943 0 323439 0 [pid=7283/tid=7284] ppid=7280 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1337528320 268343 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1337528320 268343 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1337528320 268343 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1306180 [startup+25.5005 s] /proc/loadavg: 2.37 2.26 2.25 4/183 7288 /proc/meminfo: memFree=28389408/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1306180 CPUtime=25.48 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 267533 0 0 0 2512 36 0 0 20 0 4 0 4515977 1337528320 268373 33554432000 4194304 16246674 140734811071472 140734811053376 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 326545 268373 791 2943 0 323439 0 [pid=7283/tid=7284] ppid=7280 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1337528320 268373 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1337528320 268373 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1337528320 268373 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1306180 [startup+51.1005 s] /proc/loadavg: 2.31 2.25 2.25 3/183 7288 /proc/meminfo: memFree=28388296/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1307204 CPUtime=51.09 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 267828 0 0 0 5072 37 0 0 20 0 4 0 4515977 1338576896 268668 33554432000 4194304 16246674 140734811071472 140734811054472 5553716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 326801 268668 791 2943 0 323695 0 [pid=7283/tid=7284] ppid=7280 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1338576896 268668 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1338576896 268668 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1338576896 268668 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1307204 [startup+102.3 s] /proc/loadavg: 2.36 2.27 2.26 3/183 7289 /proc/meminfo: memFree=28386804/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1307204 CPUtime=102.28 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 267829 0 0 0 10191 37 0 0 20 0 4 0 4515977 1338576896 268669 33554432000 4194304 16246674 140734811071472 140734811053376 5722592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 326801 268669 792 2943 0 323695 0 [pid=7283/tid=7284] ppid=7280 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1338576896 268669 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1338576896 268669 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1338576896 268669 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1307204 ################ # More data... # ################ /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1341722624 269441 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1310276 [startup+1302.3 s] /proc/loadavg: 2.28 2.28 2.26 3/183 7368 /proc/meminfo: memFree=28381120/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1312324 CPUtime=1301.9 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 269491 0 0 0 130130 60 0 0 20 0 4 0 4515977 1343819776 269953 33554432000 4194304 16246674 140734811071472 140734811053376 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 328081 269953 793 2943 0 324975 0 [pid=7283/tid=7284] ppid=7280 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1343819776 269953 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1343819776 269953 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1343819776 269953 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1312324 [startup+1362.3 s] /proc/loadavg: 2.22 2.27 2.26 3/183 7369 /proc/meminfo: memFree=28377528/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1315396 CPUtime=1361.87 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 270303 0 0 0 136125 62 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 140734811053376 12875016 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 328849 270721 793 2943 0 325743 0 [pid=7283/tid=7284] ppid=7280 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1315396 [startup+1422.3 s] /proc/loadavg: 2.40 2.31 2.28 4/183 7370 /proc/meminfo: memFree=28378012/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1315396 CPUtime=1421.85 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 270328 0 0 0 142123 62 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 140734811053376 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 328849 270721 793 2943 0 325743 0 [pid=7283/tid=7284] ppid=7280 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1315396 [startup+1482.3 s] /proc/loadavg: 2.29 2.29 2.27 3/183 7371 /proc/meminfo: memFree=28375512/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1315396 CPUtime=1481.84 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 270328 0 0 0 148121 63 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 140734811053376 13950236 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 328849 270721 793 2943 0 325743 0 [pid=7283/tid=7284] ppid=7280 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1315396 [startup+1542.31 s] /proc/loadavg: 2.25 2.28 2.27 3/184 7376 /proc/meminfo: memFree=28374840/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1315396 CPUtime=1541.83 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 270328 0 0 0 154119 64 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 140734811054472 5754700 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 328849 270721 793 2943 0 325743 0 [pid=7283/tid=7284] ppid=7280 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1346965504 270721 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1315396 [startup+1602.3 s] /proc/loadavg: 2.42 2.32 2.28 4/183 7377 /proc/meminfo: memFree=28374140/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1316420 CPUtime=1601.82 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 270584 0 0 0 160117 65 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 140734811054472 13192128 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 329105 270977 793 2943 0 325999 0 [pid=7283/tid=7284] ppid=7280 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1316420 [startup+1662.3 s] /proc/loadavg: 2.45 2.35 2.29 3/183 7378 /proc/meminfo: memFree=28374284/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1316420 CPUtime=1661.81 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 270584 0 0 0 166115 66 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 140734811053376 5668706 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 329105 270977 793 2943 0 325999 0 [pid=7283/tid=7284] ppid=7280 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1316420 [startup+1722.3 s] /proc/loadavg: 2.36 2.34 2.29 4/183 7379 /proc/meminfo: memFree=28374188/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1316420 CPUtime=1721.8 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 270584 0 0 0 172113 67 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 140734811054472 5721708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 329105 270977 793 2943 0 325999 0 [pid=7283/tid=7284] ppid=7280 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1316420 [startup+1782.3 s] /proc/loadavg: 2.29 2.32 2.28 4/183 7380 /proc/meminfo: memFree=28371012/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1316420 CPUtime=1781.79 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 270584 0 0 0 178111 68 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 140734811054472 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 329105 270977 793 2943 0 325999 0 [pid=7283/tid=7284] ppid=7280 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1316420 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.29 2.32 2.28 3/183 7380 /proc/meminfo: memFree=28371352/32872528 swapFree=1369816/1516984 [pid=7283] ppid=7280 vsize=1316420 CPUtime=1800.08 cores=1,3,5,7 /proc/7283/stat : 7283 (toysat) R 7280 7283 5822 0 -1 4202496 270584 0 0 0 179940 68 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 140734811054472 6021169 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/7283/statm: 329105 270977 793 2943 0 325999 0 [pid=7283/tid=7284] ppid=7280 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7284/stat : 7284 (toysat) S 7280 7283 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 139958098570480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=7283/tid=7285] ppid=7280 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7285/stat : 7285 (toysat) S 7280 7283 5822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 139958018878704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=7283/tid=7286] ppid=7280 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/7283/task/7286/stat : 7286 (toysat) S 7280 7283 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4515977 1348014080 270977 33554432000 4194304 16246674 140734811071472 139958008405168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1316420 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 7283 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.1 CPU user time (s): 1799.41 CPU system time (s): 0.688895 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 1316420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.41 system time used= 0.688895 maximum resident set size= 1083908 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270584 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= 463 involuntary context switches= 1970 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.4573 second user time and 14.0919 second system time The end
Begin job on node129 at 2016-06-15 23:04:55 IDJOB=4089274 IDBENCH=107383 IDSOLVER=2542 FILE ID=node129/4089274-1466024695 RUNJOBID= node129-1466013843-5839 PBS_JOBID= 19902811 Free space on /tmp= 71720 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid10x13.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089274-1466024695/watcher-4089274-1466024695 -o /tmp/evaluation-result-4089274-1466024695/solver-4089274-1466024695 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089274-1466024695.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ca30570e9c7e27b8edf6fec6726acac5 RANDOM SEED=1440666868 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: 29462276 kB Buffers: 19508 kB Cached: 75292 kB SwapCached: 20172 kB Active: 1137068 kB Inactive: 54492 kB Active(anon): 1079104 kB Inactive(anon): 20104 kB Active(file): 57964 kB Inactive(file): 34388 kB Unevictable: 1516984 kB Mlocked: 1369816 kB SwapTotal: 67108856 kB SwapFree: 67081532 kB Dirty: 16292 kB Writeback: 0 kB AnonPages: 2597172 kB Mapped: 10388 kB Shmem: 0 kB Slab: 566632 kB SReclaimable: 10724 kB SUnreclaim: 555908 kB KernelStack: 1472 kB PageTables: 9484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2740176 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1218560 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-15 23:34:56